[논문 리뷰] Lectures on Special Lagrangian Submanifolds

Nigel Hitchin|ArXiv.org|1999. 07. 06.

Geometry and complex manifolds참고 문헌 10인용 수 156

한 줄 요약

이 논문은 3차원 칼라비-유만 다양체에서 특수 라그랑주 부분다양체를 이해하기 위한 게르베 이론적 프레임워크를 개발한다. 이는 스트로밍저-예우-자슬로우(SYZ) 미러 대칭 추측에 기하학적 기반을 제공한다. 논문은 B-장 게르베의 평탄한 자명화를 갖춘 특수 라그랑주 토러스의 모듈리 공간으로서 SYZ 미러를 구성하고, 원래 공간과 미러 공간 간의 레전드르 변환 이중성에 의해 결과적으로 얻어진 계량 구조가 켈러임을 보인다.

ABSTRACT

These notes consist of a study of special Lagrangian submanifolds of Calabi-Yau manifolds and their moduli spaces. The particular case of three dimensions, important in string theory, allows us to introduce the notion of gerbes. These offer an appropriate language for describing many significant features of the Strominger-Yau-Zaslow approach to mirror symmetry.

연구 동기 및 목표

• 3차원 칼라비-유만 다양체에서 특수 라그랑주 부분다양체를 기술하기 위해 게르베를 사용하는 기하학적 프레임워크를 제공하기 위해.
• 스트로밍저-예우-자슬로우 (SYZ) 미러 대칭 프로그램에서 B-장의 역할을 명확히 하기 위해.
• 특수 라그랑주 토러스와 그 위의 게르베에 대한 평탄한 자명화를 갖춘 쌍의 모듈리 공간으로서 SYZ 미러를 정의하기 위해.
• 원래 공간과 미러 공간의 계량 구조 간의 레전드르 변환에 의한 이중성으로, 두 공간의 계량 구조 간의 관계를 확립하기 위해.

제안 방법

• 원환면군에 값을 갖는 체흐 코호몰로지 사이클을 사용하여 게르베를 정의하고, $H^3(X,\mathbf{Z})$의 코homology 클래스를 기록하기 위해.
• 특수 라그랑주 토러스 섬유 위에서 평탄한 게르베로 B-장을 모델링하며, 이는 호몰로지가 자명함을 의미한다.
• SYZ 미러 $\check{Z}$를 쌍 $(M,T)$의 모듈리 공간으로 구성한다. 여기서 $M$은 특수 라그랑주 토러스이고, $T$는 $M$ 위의 게르베 ${\bf B}$에 대한 평탄한 자명화이다.
• 기저 계량 $\mathcal{B}$에서 온 계량과 섬유 위의 쌍대 토러스 계량을 조합하여 $\check{Z}$ 위의 계량을 정의한다.
• 레전드르 변환을 적용하여 $\check{Z}$ 위의 계량이 $\check{\phi}$를 잠재함수로 갖는 켈러 계량임을 보이며, 이는 원래 잠재함수 $\phi$와 이중성을 가진다.
• 가우스-마이너 연결을 사용하여 $\check{Z}$의 접다양체를 수평 및 수직 성분으로 분해함으로써 켈러 계량의 구성이 가능해진다.

실험 결과

연구 질문

• RQ1 어떻게 게르베를 사용하여 3차원 칼라비-유만 다양체에서 특수 라그랑주 부분다양체의 맥락에서 B-장을 기술할 수 있는가?
• RQ2 비자명한 B-장이 존재할 경우, SYZ 미러의 정확한 기하학적 구조는 어떠한가?
• RQ3 특수 라그랑주 토러스 섬유 위에서 게르베의 평탄성이 미러 다양체의 구성에 어떻게 영향을 주는가?
• RQ4 원래 잠재함수와 미러 잠재함수 간의 이중성에 의해, 미러 다양체 위의 계량이 켈러임을 보일 수 있는가?
• RQ5 가우스-마이너 연결은 미러 공간의 접다양체 분해를 정의하는 데 어떤 역할을 하는가?

주요 결과

• B-장을 갖는 칼라비-유만 다양체의 SYZ 미러 $\check{Z}$는 특수 라그랑주 토러스 $M$과 그 위의 게르베 ${\bf B}$에 대한 평탄한 자명화 $T$의 쌍 $(M,T)$의 모듈리 공간으로 구성된다.
• B-장이 자명할 경우, 이 구성은 기존의 SYZ 미러를 회복하며, 표준 프레임워크와의 일관성을 보여준다.
• 모든 특수 라그랑주 토러스 섬유에 제한된 B-장은 자명한 호몰로지를 가지며, 이는 미러 모듈리 공간을 정의하는 평탄한 자명화를 가능하게 한다.
• $\check{Z}$ 위의 계량은 켈러임이 증명되며, 이 계량의 켈러 잠재함수 $\check{\phi}$는 원래 잠재함수 $\phi$와 레전드르 변환에 의해 관련되어 있다.
• 접다양체 분해 $T{\check{Z}} \cong H^1(M,\mathbf{R}) \otimes \mathbf{C}$는 자연스럽게 거의 복소 구조를 유도하며, 계량은 $\check{g} = \sum_{ij} \frac{\partial^2 \check{\phi}}{\partial \xi_i \partial \xi_j} (d\xi_i d\xi_j + d\eta_i d\eta_j)$ 형태를 취하여 켈러 성질을 확인한다.
• 원래 공간과 미러 공간의 계량 구조 간의 레전드르 변환에 의한 이중성은, 둘 다 높은 대칭성으로 인해 진정한 컴acts 칼라비-유만 계량이 아니지만, $Z$와 $\check{Z}$ 사이의 계량 구조에 깊은 대칭성을 드러낸다.