[논문 리뷰] Lagrangian Floer theory on compact toric manifolds: survey

Kenji Fukaya, Yong‐Geun Oh외 2명|arXiv (Cornell University)|2010. 11. 17.

Geometric and Algebraic Topology참고 문헌 47인용 수 15

한 줄 요약

이 종합 논문은 컴acts한 토릭 다양체에서 $T^n$-오빗의 라그랑주 플로어 코hom로지와 잠재 함수 $\mathfrak{PO}$의 잭비안 링 사이의 깊은 연결을 수립하며, 비영인 플로어 코호몰로지 클래스의 수가 다양체의 베티 수와 일치함을 증명한다. 이는 큰 양자 코호몰로지와 잭비안 링 사이의 이sovom르피즘을 구축하여, 사이타오의 프로베누스 다양체 이론과 잔여 쌍대화를 통해 토릭 A모델과 랑던-긴즈부르크 B모델 간의 미러 대칭을 실현한다.

ABSTRACT

This article is a survey of a series of papers [FOOO3,FOOO4,FOOO5] in which we developed the method of calculation of Floer cohomology of Lagrangian torus orbits in compact toric manifolds, and its applications to symplectic topology and to mirror symmetry. In this article we summarize the main ingredients of calculation and illustrate them by examples. The second half of the survey is devoted to discussion of the most recent result from [FOOO5] (arXiv:1009.1648) where the mirror symmetry between the two Frobenius manifolds arising from the big quantum cohomology and from the K. Saito theory of singularities was established.

연구 동기 및 목표

• 특수한 $\mathcal{F}^{\text{Fuk}}$-이론 기법을 사용하여 컴팩트 토릭 다양체에서 $T^n$-오빗의 라그랑주 플로어 코호몰로지를 체계적으로 계산한다.
• 큰 양자 코호몰로지 $QH(X;\Lambda_0)$와 잠재 함수 $\mathfrak{PO}$의 잭비안 링 $\text{Jac}(\mathfrak{PO})$ 사이의 링 이sovom르피즘을 수립하여 심플렉틱 토폴로지와 특이점 이론을 연결한다.
• 비이동 가능한 라그랑주 부분다양체 $L(\mathbf{u})$가 $\mathfrak{PO}$의 임계점과 일대일로 대응되며, 반순수 양자 코호몰로지의 직접 합성분과도 대응됨을 보인다.
• $QH(X;\Lambda_0)$의 피카르- dual pairing이 $\mathfrak{ks}_{\mathfrak{b}}$ 사상에 의해 유도되는 이sovom르피즘을 통해 잭비안 링의 잔여 쌍대화와 일치함을 보인다.
• 특수 예제들, 즉 $\mathbb{C}P^2$의 블로우업과 히르체브루흐 표면을 통해 이 미러 대칭 이sovom르피즘을 검증하며, 헤시안 행렬식과 잔여 계산을 통해 대응 관계를 확인한다.

제안 방법

• 플로어 이론과 양자 코호몰로지에서 계수를 형식화하기 위해 일반화된 노비코프 링 $\Lambda_0$와 그 확장 $\Lambda$, $\Lambda_+$ 를 사용한다.
• $T^n$-오빗에 경계를 가진 허위-해석적 디스크 이론을 적용하여 양자 보정을 포함한 잠재 함수 $\mathfrak{PO}^\mathfrak{b}$를 정의한다.
• 플로어 코호몰로지에서의 블록 변형을 활용하여 $QH(X;\Lambda_0)$와 $\text{Jac}(\mathfrak{PO}^\mathfrak{b})$ 사이의 이sovom르피즘을 큰 양자 코호몰로지 설정으로 일반화한다.
• $QH(X;\Lambda_0)$에서 잭비안 링으로의 $\mathfrak{ks}_{\mathfrak{b}}$ 준동형을 구성하며, 명시적 대수적 및 기하적 추론을 통해 이것이 이sovom르피즘이 됨을 증명한다.
• 고립된 초표면 특이점 이론을 이용해 $\text{Jac}(\mathfrak{PO}^\mathfrak{b})$에서의 잔여 쌍대화를 정의하며, 이가 $QH(X;\Lambda_0)$의 피카르- dual pairing과 일치함을 보인다.
• 특수 예제들, 예를 들어 $F_2(\alpha)$와 $\mathbb{C}P^2$의 단조 블로우업에서 이sovom르피즘과 대칭성을 명시적으로 계산하여 검증한다. 헤시안 행렬식과 잔여 합을 계산한다.

실험 결과

연구 질문

• RQ1 컴팩트 토릭 다양체에서 $T^n$-오빗의 플로어 코호몰로지는 잠재 함수 $\mathfrak{PO}$의 임계점과 어떻게 관련이 있는가?
• RQ2 토릭 다양체의 큰 양자 코호몰로지가 그 잠재 함수 $\mathfrak{PO}^\mathfrak{b}$의 잭비안 링과 이sov오모르피즘을 이룰 수 있으며, 이 이sov오모르피즘이 프로베누스 다양체의 구조를 유지하는가?
• RQ3 $QH(X;\Lambda_0)$의 피카르- dual pairing이 이sov오모르피즘 하에서 잭비안 링의 잔여 쌍대화와 일치하는가?
• RQ4 비이동 가능한 라그랑주 부분다양체 $L(\mathbf{u})$는 반순수 양자 코호몰로지의 분해를 통해 어떻게 유도되며, 엔토프-폴터비치의 준상태와 어떻게 관련되는가?
• RQ5 특정 예제들, 예를 들어 $F_2(\alpha)$와 $\mathbb{C}P^2$의 단조 블로우업에서 양자 코호몰로지와 잭비안 링 사이의 이sov오모르피즘이 명시적으로 검증될 수 있는가?

주요 결과

• $T^n$-오빗의 비영인 플로어 코호몰로지 쌍 $(L(\mathbf{u}), b)$의 수는 토릭 다양체 $X$의 베티 수와 일치하며, 각 쌍은 잠재 함수 $\mathfrak{PO}$의 임계점에 대응된다.
• $QH(X;\Lambda_0) \cong \text{Jac}(\mathfrak{PO})$의 링 이sov오모르피즘이 성립하며, $QH(X;\Lambda)$가 반순수일 경우 각 직접 합성분은 $\mathfrak{PO}$의 임계점에 대응된다.
• $\mathfrak{ks}_{\mathfrak{b}}: QH(X;\Lambda_0) \to \text{Jac}(\mathfrak{PO}^\mathfrak{b})$의 이sov오모르피즘이 링으로서의 이sov오모르피즘임을 보이며, 왼쪽의 피카르- dual pairing과 오른쪽의 잔여 쌍대화를 교환한다.
• 히르체브루흐 표면 $F_2(\alpha)$의 네 개의 임계점에서 헤시안 행렬식은 각각 $4T, 4T, -4T, -4T$이며, 비퇴화성과 양자 코호몰로지의 구조를 확인한다.
• $\mathbb{C}P^2$의 단조 블로우업에서 $T^{-2/3} \sum_{i=1}^4 \frac{z_i}{4 - z_i^3} = 0$이 확인되어, 정리 12.21과 잔여 쌍대화 항등식이 검증된다.
• 큰 양자 코호몰로지의 프로베누스 다양체 구조(Dubrovin)는 $\text{Jac}(\mathfrak{PO}^\mathfrak{b})$의 사이타오 프로베누스 구조와 일치하며, 이는 토릭 A모델과 랑던-긴즈부르크 B모델 간의 미러 대칭을 실현한다.