[논문 리뷰] Gromov-Witten theory and cycle-valued modular forms

Todor Milanov, Yongbin Ruan외 1명|arXiv (Cornell University)|2012. 06. 18.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 거울 대칭을 통해 원형으로 분해된 A-모델 Gromov-Witten 이론의 모듈러성에 대해, 예외적 특이성을 가진 타원적 오비폴드 $\mathbb{P}^1$에 대해 증명함으로써, 조상 Gromov-Witten 불변량이 사이클 값을 갖는 준모듈러 형식으로 수렴함을 보였다. 글로벌 B-모델 CohFT와 반해조화 완성법을 사용하여, 저자들은 생성 함수가 해석적으로 연장되고 모듈러 군 작용 하에서 준모듈러 형식으로 변환됨을 보였으며, 이러한 경우에 대해 BCOV 추측의 엄밀한 수학적 실현을 완성하였다.

ABSTRACT

In this paper, we proved generating functions of Gromov-Witten cycles of the elliptic orbifold lines with weights (3,3,3), (4,4,2), and (6,3,2) are cycle-valued quasi-modular forms. This is a generalization of Milanov and Ruan's work on cycle-valued level. First we construct a global cohomology field theory (CohFT) for simple elliptic singularities (modulo an extension problem) and prove its modularity. Then, we apply Teleman's reconstruction theorem to prove mirror theorems on cycled-valued level and match it with a CohFT from Gromov-Witten theory of a corresponding orbifold.This solves the extension property as well as inducing the modularity for a Gromov-Witten CohFT.

연구 동기 및 목표

• 예외적 특이성을 가진 타원적 오비폴드 $\mathbb{P}^1$에 대한 A-모델 Gromov-Witten 이론의 모듈러성을 엄밀히 확립함으로써, 이전의 물리적 및 부분적인 수학적 결과를 확장함.
• 거울 사상 하에서 조상 Gromov-Witten 불변량이 사이클 값을 갖는 준모듈러 형식으로 수렴함을 증명하여, 해석적 이상성과 확장 문제를 해결함.
• Givental의 형식과 반해조화 완성법을 통해 구성된 글로벌 B-모델 CohFT가 A-모델 이론과 일치하는 모듈러 변환을 갖는다는 것을 보임.
• Gromov-Witten 생성 함수가 극점 $ q = 0 $에서 해석적으로 연장됨을 확보하여, 모듈러 컴actification을 보장함.
• 정확한 거울 사상에 의해 A-모델과 B-모델의 관점을 통합하고, A-모델 생성 함수와 B-모델 내의 모듈러 대상 간의 동치성을 증명함.

제안 방법

• 단순 타원 특이성에 대한 Saito 이론과 원시 형식을 사용하여 B-모델 상에 글로벌 프로베누스 다양체 구조를 구성함.
• 프로베누스 다양체에 Givental의 양자화 형식을 적용하여 글로벌 B-모델 CohFT $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $를 정의함.
• 반해조화 완성법을 $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $에 적용하여, 해석적 이상 방정식에 의해 지배되는 비해석적 의존성을 도입함.
• 거울 사상 $ q = e^{2\pi i \tau / N} $을 사용하여 A-모델 생성 함수 $ \Lambda_{g,n}^{\mathcal{X}}(q) $를 B-모델 $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $와 연결함. 여기서 $ \mathbf{t}^B $는 다이스크 $ D^{B}_\epsilon $ 내에 있음.
• Teleman의 재구성 정리를 적용하여, A-모델 CohFT $ {}_{\mathbf{t}}\Lambda^{\mathcal{X}} $가 반단순 영역 내에서 B-모델 $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $와 일치함을 보임.
• Coates–Iritani의 보조정리를 활용하여 생성 함수의 수렴성과 해석적 연장성을 증명함. 이는 해석성과 모듈러 행동을 보장함.

실험 결과

연구 질문

• RQ1 예외적 특이성을 가진 타원적 오비폴드 $ \mathbb{P}^1 $의 A-모델 Gromov-Witten 불변량이 사이클 값을 갖는 준모듈러 형식으로 변환됨을 보일 수 있는가?
• RQ2 프로베누스 다양체 구조에서 유도된 글로벌 B-모델 CohFT는 거울 대칭을 통해 A-모델과 어떻게 관련이 있는가?
• RQ3 반해조화 완성법은 비해석적 Gromov-Witten 생성 함수에 대해 모듈러 불변성을 실현하는 데 어떤 역할을 하는가?
• RQ4 조상 Gromov-Witten 생성 함수는 극점 $ q = 0 $에서 해석적으로 연장될 수 있는가? 이는 어떻게 모듈러 컴actification과 관련이 있는가?
• RQ5 사이클 값을 갖는 모듈러 형식의 프레임워크 내에서 A-모델 생성 함수의 수렴성과 해석성이 엄밀히 증명될 수 있는가?

주요 결과

• 세 가지 타원적 오비폴드 $ \mathbb{P}^1 $에 대해 A-모델 조상 Gromov-Witten 불변량 $ \Lambda_{g,n}^{\mathcal{X}}(q) $는 사이클 값을 갖는 준모듈러 형식으로 수렴함.
• 생성 함수 $ \Lambda_{g,n}^{\mathcal{X}}(q) $는 극점 $ q = 0 $에서 해석적으로 연장되며, 이는 모듈러 컴actification과 모듈러 군 작용과의 호환성을 보장함.
• A-모델 CohFT $ {}_{\mathbf{t}}\Lambda^{\mathcal{X}} $는 모든 $ \mathbf{t} \in D_\epsilon $에서 B-모델 CohFT $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $와 일치함. 이는 코homology 클래스 수준에서의 거울 대칭을 확립함.
• B-모델 CohFT $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $는 전체 영역 $ D^{B}_\epsilon $에서 해석적임을 보였으며, 오직 코너디멘션 1인 $ \mathbb{C}^* $-불변 해석적 집합에서만 잔여극이 있음. 이는 전단성과 $ \mathbb{H} \times \{0\} $이 특이점 집합에 포함되지 않음을 통해 배제됨.
• 모듈러 군 $ \Gamma \subset SL_2(\mathbb{Z}) $ 작용 하에서 $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $의 변환은 적절한 무게를 갖는 준모듈러 형식임을 증명함. 여기서 $ N = 3,4,6 $에 대해 각각 $ q = e^{2\pi i \tau / N} $임.
• Hartogs의 정리와 $ \mathbb{C}^* $-불변성에 의해 확장 성질이 확립됨. 이는 $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $의 계수들이 전체 모듈리 공간 $ \mathcal{M} $에서 해석적으로 연장됨을 보여주며, 잠재적 특이점을 제거함.