[논문 리뷰] Diffeological Dirac operators and diffeological gluing

Ekaterina Pervova|arXiv (Cornell University)|2017. 01. 24.

Algebraic and Geometric Analysis참고 문헌 5인용 수 3

한 줄 요약

이 논문은 미분학적 구조를 사용하여 비미분 가능 공간 위에서 딜레올로지컬 프레임워크를 도입함으로써 딜레올로지컬 공간 위의 딜레올로지컬 딜레르 연산자를 정의한다. 이는 편의성, 편의성, 클리포드 모듈, 접속 등의 핵심 기하학적 구조를 일반화하여 정의한다. 이는 특정 호환 조건 하에서 딜레올로지컬 공간 위의 딜레르 연산자를 결합하는 접합 절차를 수립하며, 그 결과가 여전히 딜레르 연산자임을 보여주어 아티야-식스 이론을 특이적이고 다양체가 아닌 설정으로 확장한다.

ABSTRACT

This manuscript attempts to present a way in which the classical construction of the Dirac operator can be carried over to the setting of diffeology. A more specific aim is to describe a procedure for gluing together two usual Dirac operators and to explain in what sense the result is again a Dirac operator. Since versions of cut-and-paste (surgery) operations have already appeared in the context of Atiyah-Singer theory, we specify that our gluing procedure is designed to lead to spaces that are not smooth manifolds in any ordinary sense, and since much attention has been paid in recent years to Dirac operators on spaces with singularities, we also specify that our approach is more of a piecewise-linear nature (although, hopefully, singular spaces in a more analytic sense will enter the picture sooner or later; but this work is not yet about them). Most of it is devoted to the diffeological versions of the components that go into the standard definition of a Dirac operator as the composition of a Clifford connection with Clifford action by sections of the cotangent bundle; a diffeological Dirac operator is then standardly defined.

연구 동기 및 목표

• 스무스 다양체가 아닌 딜레올로지컬 공간으로 고전 이론의 딜레르 연산자 이론을 확장하는 것, 특히 특이적 또는 조각별 선형 구성에서 유래하는 공간들을 대상으로 한다.
• 표준 리만 기하학적 및 접선 번들의 구조를 대체하기 위해 편의성, 편의성, 클리포드 접속을 사용하여 딜레올로지컬 딜레르 연산자의 유사체를 정의하는 것.
• 두 개의 딜레올로지컬 공간 위의 딜레르 연산자를 접합하는 형식적 절차를 정의하여, 호환 조건이 만족될 경우 결과 물체가 여전히 유효한 딜레르 연산자임을 보장하는 것.
• 특히 비스무스 설정에서 접합 연산 하에서 접속, 메트릭, 미분 형식 등의 기하학적 구조가 어떻게 행동하는지 탐색하는 것.
• 미분기하학 및 수학적 물리학 분야의 향후 응용을 위한 기초를 마련하기 위해 현재 프레임워크의 열린 문제와 한계를 규명하는 것.

제안 방법

• 표준 벡터 번들의 일반화로서, 편의성 메트릭을 갖춘 딜레올로지컬 편의성 번들을 정의한다.
• 편의성 번들의 1형식의 번들 $\Lambda^1(X)$ 과 그 쌍대 $ (\Lambda^1(X))^* $ 을 도입하여 고전적 설정에서의 코탄젠트 및 탄젠트 번들을 대체한다.
• 편의성 번들의 메트릭을 사용하여 딜레올로지컬 클리포드 대수 번들을 구성함으로써 클리포드 작용의 정의를 가능하게 한다.
• 표준 접속의 일반화로서 딜레올로지컬 접속을 정의하며, 이는 딜레올로지컬 맥락에서 리베이-시비타 및 클리포드 접속을 이끌어낸다.
• 클리포드 작용 $ c $ 와 클리포드 모듈 편의성 번들 위의 호환 접속 $ \nabla^E $ 의 복합 $ D = c \circ \nabla^E $ 로서 딜레올로지컬 딜레르 연산자를 형식적으로 정의한다.
• 기초 집합 위의 몫 딜레올로지컬 구조를 통한 접합 절차를 구현하며, 결과 공간에 표준 몫 딜레올로지컬 구조를 할당하고, 이 연산 하에서 기하학적 구조의 변환을 분석한다.

실험 결과

연구 질문

• RQ1 특정 딜레올로지컬 위상수학적 사상에 의한 두 딜레올로지컬 공간의 접합이 딜레르 연산자의 구조를 유지하는 조건은 무엇인가?
• RQ2 어떤 딜레올로지컬 벡터 편의성 번들이 편의성 메트릭을 가지며, 이러한 메트릭이 접합 연산을 통해 구성될 수 있는가?
• RQ3 편의성 번들의 단면 공간과 1형식의 공간 $ \Omega^1(X) $ 이 접합 하에서 필요한 연장 가능성 조건을 만족하는가?
• RQ4 딜레올로지컬 공간 위의 리베이-시비타 및 클리포드 접속은 접합 절차와 호환되는가? 그리고 언제 유일하게 결정되는가?
• RQ5 접합된 공간에서 유도된 메트릭과 접속의 호환성 간의 관계는 무엇인가?

주요 결과

• 딜레올로지컬 딜레르 연산자는 클리포드 작용과 클리포드 모듈 편의성 번들 위의 호환 접속의 복합으로서 정의되며, 고전적 구성의 일반화이다.
• 접합 지도가 특정 호환 조건(예: 편의성 메트릭 및 접속 자료를 유지하는 것)을 만족할 경우 접합 절차는 딜레르 연산자 구조를 유지한다.
• 접합된 공간 위의 딜레올로지컬 구조는 몫 딜레올로지컬 구조이며, 이는 약하지만 형식적 프레임워크에는 충분하며, 향후 분석적 응용에는 너무 약할 수 있다.
• 논문은 딜레올로지컬 공간 위에서의 파artition of unity, 편의성 메트릭, 접속의 존재 문제는 아직 열려 있으며, 일반적인 존재 정리가 수립되지 않았음을 밝혔다.
• 접합 하에서 단면과 미분 형식의 행동은 일반적으로 만족되지 않는 조건 $ \mathcal{D}_1^\Omega = \mathcal{D}_2^\Omega $ 에 따라 달라지며, 추가 가정이 필요하다.
• 다양한 열린 질문들이 남아 있으며, 특히 일반 딜레올로지컬 공간에서의 편의성 메트릭 및 접속의 존재 문제와 접합 후 유도된 기하학적 구조의 호환성에 관한 것이다.