[논문 리뷰] Gromov-Witten theory of elliptic orbifold P^1 and quasi-modular forms

Todor Milanov, Yongbin Ruan|arXiv (Cornell University)|2011. 06. 12.

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

한 줄 요약

이 논문은 가중치 (3,3,3), (2,4,4), 및 (2,3,6)를 가진 타원 고리형 오비폴드 $\mathbb{P}^1$에 대해 그로모프-위튼 불변량의 모듈러성과 그 생성 함수가 특정 모듈러 변환 하에서 준모듈러 형식으로 수렴함을 입증한다. 기존의 칼라비-야우 대상으로의 확장이 아닌, 기브탈의 고차원 위상 이론과 반해석적 완성법을 사용하여, 저자들은 이러한 불변량이 $SL_2(\mathbb{Z})$ 의 유한지수 부분군에 대해 변환됨을 증명하며, 이는 칼라비-야우 이외의 경우에도 모듈러성 결과를 확장한다.

ABSTRACT

In this paper we prove that the GW invariants of the elliptic orbifold lines with weights (3,3,3), (4,4,2), and (6,3,2) are quasi-modular forms. Our method is based on Givental's higher genus reconstruction formalism applied to the settings of Saito's Frobenius structures for simple elliptic singularities. Our results are part of a larger project whose goal is to prove the Landau-Ginzburg/Calabi-Yau correspondence for simple elliptic singularities. The correspondence describes a relation between Gromov-Witten theory (of a certain hypersurface) and Fan-Jarvis-Ruan-Witten theory (of a certain Landau-Ginzburg potential). Roughly, the main statement is that the Saito's Frobenius manifold for simple elliptic singularities has some special points such that locally near these points the Frobenius structure governs one of the two theories. The local part of the correspondence is established in a companion article by M. Krawitz and Y. Shen, while here we describe the global picture.

연구 동기 및 목표

• 가중치 (3,3,3), (2,4,4), 및 (2,3,6)를 가진 타원 고리형 오비폴드 $\mathbb{P}^1$에 대해 그로모프-위튼 불변량의 모듈러성 수립.
• 기브탈의 고차원 생성함수 이론을 비단순 프로베누스 구조와 비콤팩트 대상으로 확장.
• 이러한 오비폴드의 총 조상 잠재함수의 적절한 모듈러 변환 하에서 준모듈러 형식임을 보여줌.
• 미뉴어 링과 기본 형식을 통한 특이점 이론과 이 오비폴드의 그로모프-위튼 이론을 연결.
• 오쿠노프-판다리파데의 접근과는 다름없이 반해석적 완성법과 프로베누스 구조 기법을 사용하여 그로모프-위튼 이론에서의 모듈러성 증명을 위한 새로운 방법 제공.

제안 방법

• 각 오비폴드 $\mathbb{P}^1$에 대응하는 단순 타원 특이점의 최소자명한 편이에 전역 프로베누스 구조를 구성.
• 특이점 이론의 맥락에서 오실레이터리 적분과 겔판트-레일 주기로 기본 형식 정의.
• 기브탈의 형식적 접근을 사용하여 총 조상 잠재함수 $\mathcal{A}_t$ 정의하고, 비단순 지점으로의 확장을 수행.
• 조상 잠재함수의 반해석적 완성을 수행하여 준모듈러 형식과의 연관성 설정.
• 평탄한 좌표의 모듈러 변환과 경계에서의 가우스-마이너스 접속 분석을 통해 불변성 성질 유도.
• 사타케-타카하시가 확립한 오비폴드 양자코homology와 단순 타원 특이점의 미뉴어 링 사이의 동형을 기반으로 한다.

실험 결과

연구 질문

• RQ1 가중치 (3,3,3), (2,4,4), 및 (2,3,6)를 가진 타원 고리형 오비폴드 $\mathbb{P}^1$의 그로모프-위튼 불변량은 매개변수 $q = e^{2\pi i\tau/N}$ 의 적절한 변환 하에서 모듈러성을 보일까?
• RQ2 반해석적 완성법과 프로베누스 구조 기법을 통해 이 오비폴드의 총 조상 잠재함수를 준모듈러 형식임을 입증할 수 있을까?
• RQ3 이 불변량의 모듈러 성질은 대규모 복소 구조 한계에서의 단순 회전과 가우스-마이너스 접속과 어떻게 관련이 있을까?
• RQ4 기본 형식과 오실레이터리 적분은 비단순 프로베누스 구조에 대한 조상 잠재함수를 구성하는 데 어떤 역할을 할까?
• RQ5 특이점 이론적 및 심플렉틱 기법을 사용하여 오쿠노프-판다리파데 방법과 독립적으로 모듈러성 결과를 도출할 수 있을까?

주요 결과

• 가중치 (3,3,3), (2,4,4), 및 (2,3,6)를 가진 세 개의 타원 고리형 오비폴드 $\mathbb{P}^1$에 대해 그로모프-위튼 불변량의 생성 함수는 각각 $q = e^{2\pi i\tau/3}$, $e^{2\pi i\tau/4}$, $e^{2\pi i\tau/6}$ 하에서 준모듈러 형식으로 수렴한다.
• 이 불변량은 특정 무게를 가진 $SL_2(\mathbb{Z})$ 의 유한지수 부분군 $\Gamma$ 에 대해 변환되며, 칼라비-야우의 경우를 초월한 모듈러성 확인.
• 반해석적 완성 후 총 조상 잠재함수 $\mathcal{A}_t$ 는 준모듈러 형식임을 입증하여 고차원 그로모프-위튼 이론에서 모듈러 형식과의 연결 고리 확립.
• 기본 형식은 오실레이터리 적분의 겔판트-레일 주기로 구성되며, 매개변수 $\sigma = s_{-1}$ 에 대한 두 번째 차수 미분방정식이 해공간을 지배한다.
• 경계에서의 가우스-마이너스 접속을 이용하여 프로베누스 구조의 모듈러 행동을 도출하며, 특히 대규모 복소 구조 한계에서 유의미하다.
• 확장된 딜라톤 이동을 피하기 위해 직접적으로 조상 잠재함수를 다루며, 결과는 동반 연구에서 크라위츠-셴의 결과와 일치한다.