[논문 리뷰] Special Lagrangian Fibrations II: Geometry

Mark Gross|ArXiv.org|1998. 09. 14.

Geometry and complex manifolds참고 문헌 24인용 수 43

한 줄 요약

이 논문은 칼라비-유만만의 특수 라그랑주 분할에 대한 기하학을 조사하며, 반사 분할을 통한 미러 다양체 구축에 초점을 맞춘다. 특수 라그랑주 분할의 존재를 가정함으로써, 심플렉틱 기하학과 복소 기하학을 사용하여 이중 분할을 정의하고, 토렐리 정리에 의존하지 않고, 야우의 정리와 타원 분할 위에서의 조화형식 분석을 활용하여 차원 2에서 반사 대칭을 달성하는 미러 K3 표면을 구축한다.

ABSTRACT

We continue the study of the Strominger-Yau-Zaslow mirror symmetry conjecture. Roughly put, this states that if two Calabi-Yau manifolds X and Y are mirror partners, then X and Y have special Lagrangian torus fibrations which are dual to each other. Much work on this conjecture is necessarily of a speculative nature, as in dimension 3 it is still a very difficult problem of how to construct such fibrations. Nevertheless, assuming the existence of such fibrations there are many things one can prove. This paper covers a number of issues. First it applies results from the theory of completely integrable hamiltonian systems to understand some aspects of the geometry of such fibrations. From this, using reasonable regularity assumptions on the fibrations, one can understand how the cohomology of dual fibrations are related. We then study the question of how, given one such fibration, one would put a symplectic and complex structure on the dual fibrations, generalising work of Hitchin. While this question cannot be answered at this stage, these results should give insight into the nature of the problem. We sum up these ideas in a refined version of the Strominger-Yau-Zaslow conjecture. Finally, to give evidence for this conjecture, we prove it explicitly for K3 surfaces. One finds a construction of mirror symmetry for K3 surfaces which does not require the use of Torelli theorems, and is much more differential geometric in nature than previous constructions.

연구 동기 및 목표

• 특수 라그랑주 분할의 기하적 성질을 칼라비-유 다양체 위에서 탐구하며, 스트로미ン저-야우-자슬로프 반사 대칭 추측의 맥락에서 고려한다.
• 특수 라그랑주 분할이 존재할 경우, 이중 분할을 통해 칼라비-유 3차원 다양체의 반사 다양체를 구축하는 방법을 수립한다.
• K3 표면의 경우, 토렐리 정리를 언급하지 않고도 특수 라그랑주 분할에서 직접적으로 반사를 구성할 수 있음을 보여준다.
• 구축된 반사 다양체가 요구되는 코homological 반사 대칭 조건을 충족하는지 확인한다. 이는 허지 수 교환과 켈러 클래스의 양성 포함한다.
• 예외적 분할을 제외한 조화형식과 코homology 데이터를 통해 반사 복소 구조와 켈러 형식이 유일하게 결정됨을 보여준다.

제안 방법

• 특수 라그랑주 분할 $ f: X \to B $ 의 존재를 가정하며, 정규 부분과 그 심플렉틱 구조에 초점을 맞춘다.
• 두이스터마트의 전역 작용-각도 좌표 이론을 적용하여 기저 $ B $ 의 코탄제인트 번들의 사용으로 분할의 정규 부분에서 표준 좌표를 구성한다.
• 특수 라그랑주 부분다양체가 체적 최소화임을 이용해, 분할의 정규성과 행동에 대한 기대를 이끌어낸다.
• sheaf $ R^1f_{0*}\mathbb{R}/R^1f_{0*}\mathbb{Z} $ 를 통해 이중 분할 $ \check{X}_0 \to B_0 $ 를 구성하고, 이를 컴actify하여 $ \check{X} $ 를 얻는다.
• 야우의 정리를 적용하여, 허미트 2형식의 실수부의 코homology 클래스가 양성이고 (1,1)형임을 보장함으로써, 반사 다양체에 리치-평탄한 켈러 메트릭을 구축한다.
• 호지 분해와 쌍대성을 사용하여 $ \Omega $, $ \check{\Omega} $, $ \omega $, $ \check{\omega} $ 의 코homology 클래스를 연결하고, 섹션 선택을 통해 $ B $-필드의 모호함을 해결한다.

실험 결과

연구 질문

• RQ1 칼라비-유 다양체 위의 특수 라그랑주 분할을 어떻게 사용하여 토렐리 정리를 의존하지 않고 반사 다양체를 구축할 수 있는가?
• RQ2 특수 라그랑주 분할에서 유도된 이중 분할이 반사 다양체에 잘 정의된 복소 구조를 제공하기 위해 필요한 조건은 무엇인가?
• RQ3 원본 및 반사 다양체의 허미트 및 켈러 형식의 코homological 데이터가 어떻게 반사 대칭 조건을 충족하는가?
• RQ4 이중 분할의 다른 영-zero 섹션을 선택함으로써 $ B $-필드의 모호함은 어느 정도 해결될 수 있는가?
• RQ5 조화형식과 체적 최소화는 어떻게 반사 켈러 구조의 존재성과 유일성을 보장하는가?

주요 결과

• 반사 K3 표면 $ \check{S}_K $ 는 토렐리 정리를 언급하지 않고도 $ S $ 위의 특수 라그랑주 분할에서 직접적으로 구성된다.
• 반사 다양체의 허미트 2형식 $ \Omega $ 의 코homology 클래스는 예외적 분할 $ E $ 에 대해 모듈로 결정되며, $ [\Omega]^2 = 0 $ 을 만족함으로써 정규화를 제외하고는 유일하게 결정된다.
• 켈러 클래스 $ [\mathop{\rm Re}\check{\Omega}] $ 는 양성이고 (1,1)형임을 보여주어, 야우의 정리를 통해 유일한 리치-평탄한 켈러 메트릭의 존재를 보장한다.
• 영-zero 섹션 $ \sigma_0 $ 를 재정의함으로써 $ B $-필드의 모호함이 해결되어 반사 구조의 유일성이 보장된다.
• 반사 대칭 관계 $ \mathop{\rm Im}\check{\Omega} \propto \omega $, $ \mathop{\rm Im}\Omega \propto \check{\omega} $, 및 $ \mathop{\rm Re}\check{\Omega} - \sigma_0 = \mathbf{B} $ 는 $ E $ 에 대해 코homological 동치를 제외하고 성립한다.
• 반사 섬유의 체적은 $ \mathop{\rm Vol}(\check{S}_b) = 1/\mathop{\rm Vol}(S_b) $ 를 만족하여, 섬유 체적 간의 기대되는 쌍대성 확인된다.