[논문 리뷰] Morse Homology, Tropical Geometry, and Homological Mirror Symmetry for Toric Varieties

Mohammed Abouzaid|arXiv (Cornell University)|2006. 09. 29.

Nonlinear Waves and Solitons참고 문헌 21인용 수 5

한 줄 요약

이 논문은 매끄럽고 사영적인 토릭 팬로 다양체에 대해 호모로지 미러 대칭 동치를 구축함으로써, 랑그랑주언 섹션의 $A_\infty$ 분류를 랑구랑주 미러에서 구성하고, 이것이 원래 다양체 위의 코herent sheaf의 유도 분류와 준동치임을 증명한다. 이 구성은 토로피컬 기하학과 모르스 이론을 사용하여 랑그랑주 교차를 선다발의 체흐 코hom로 연결한다.

ABSTRACT

Given a smooth projective toric variety X, we construct an A-infinity category of Lagrangians with boundary on a level set of the Landau-Ginzburg mirror of X. We prove that this category is quasi-equivalent to the DG category of line bundles on X. This establishes part of the Homological Mirror Conjecture for toric varieties.

연구 동기 및 목표

• 매끄럽고 사영적인 토릭 팬로 다양체에 대해 미러 대칭의 호모로지 이론을 대칭 기하학과 대수기하학 간의 관계로 설정한다.
• 토릭 다양체의 랑구랑주 미러에서 랑그랑주언 섹션의 $A_\infty$ 분류를 구성한다.
• 이 심플렉틱 분류가 원래 토릭 다양체 위의 코herent sheaf의 유도 분류와 준동치임을 증명한다.
• 랑그랑주 교차와 선다발의 체흐 코hom 사이의 다리로 토로피컬 기하학과 모르스 이론을 조합한다.
• 반사에서 세포 분할과 쌍대성에 의해 Fano 다양체에 대한 HMS 추측을 기하학적으로 실현한다.

제안 방법

• 초위력의 수준집합을 사용하여 랑구랑주 미러에서 랑그랑주언 섹션의 $A_\infty$ 분류를 구성한다.
• 토로피컬 기하학을 사용하여 랑그랑주 부분다양체를 반사 공간 내 다각형 분할의 쌍대로 모델링한다.
• 모르스 이론을 적용하여 경계를 가진 다양체 위의 세포 체인을 정의하고, 이를 단체 코체인과 연결한다.
• 반사 내 분할 간의 세포 교차 쌍대를 $C^1$-근접한 세포 분할을 사용하여 정의한다.
• 높이 함수를 갖춘 세포 랑그랑주언의 분류 $\operatorname{Cell}(\check{{\mathscr{P}}})$ 를 도입하고, 교차를 압축함으로써 곱을 정의한다.
• 분류 $\operatorname{Cell}(\check{{\mathscr{P}}})$ 에서 $\operatorname{Simp}({\mathscr{P}})$ 로의 忘却 함자(forgotten functor)가 준동치임을 증명함으로써 HMS 동치를 확립한다.

실험 결과

연구 질문

• RQ1 토릭 팬로 다양체에 대한 호모로지 미러 대칭은 랑구랑주 미러 내 랑그랑주언 섹션의 심플렉틱 분류를 통해 실현될 수 있는가?
• RQ2 토로피컬 기하학과 모르스 이론을 어떻게 조합하여 토릭 다양체 위의 코herent sheaf의 유도 분류를 모델링할 수 있는가?
• RQ3 반사 내 세포 체인과 원래 다양체 위의 선다발의 체흐 코hom 사이의 정확한 관계는 무엇인가?
• RQ4 반사 내 세포 분할이 어떤 조건에서 잘 정의된 교차 쌍대를 제공하여 유도 분류의 구조를 반영하는가?
• RQ5 토로피컬 랑그랑주언의 $A_\infty$ 분류는 토릭 다양체 위의 코herent sheaf의 유도 분류와 준동치인가?

주요 결과

• 매끄럽고 사영적인 토릭 팬로 다양체의 랑구랑주 미러 내 랑그랑주언의 $A_\infty$ 분류는 원래 다양체 위의 코herent sheaf의 유도 분류와 준동치이다.
• 두 세포 분할 $\check{{\mathscr{P}}}_0$ 과 $\check{{\mathscr{P}}}_1$ 이 단체적 위치에 있을 경우, 그들의 교차 패턴은 다각형 분할의 쌍대 세포 구조와 일치한다.
• 분할이 $C^1$-근접해 있을 경우, 세포의 교차 $\check{\sigma}_0 \cap \check{\tau}_1$ 는 $\delta$-근접하게 쌍대 세포 $\check{\rho}_1$ 와 일치하여 위상적 제어를 보장한다.
• 반사에서 $\check{{\mathscr{P}}}_0 \Cap \check{{\mathscr{P}}}_1$ 에서 $\check{{\mathscr{P}}}_1$ 으로의 압축 사상 $\operatorname{coll}_{{\mathscr{P}}_1}$ 이 세포 분류 내 잘 정의된 곱을 유도한다.
• 분류 $\operatorname{Cell}(\check{{\mathscr{P}}})$ 에서 $\operatorname{Simp}({\mathscr{P}})$ 로의 忘却 함자 $\operatorname{Cell}(\check{{\mathscr{P}}}) \to \operatorname{Simp}({\mathscr{P}})$ 는 준동치이며, 이는 세포 모델이 전체 유도 분류의 구조를 포괄함을 의미한다.
• 이 구성은 코ント세비치의 HMS 추측을 실현하며, 반사의 유도 푸카야 분류를 토릭 다양체 위의 코herent sheaf의 유도 분류와 동일시한다.