[논문 리뷰] Higher-genus Gromov-Witten invariants as genus 0 invariants of symmetric products

Kevin Costello|ArXiv.org|2003. 03. 31.

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

한 줄 요약

이 논문은 매끄러운 프로젝티브 다양체 $X$의 고유계수 Gromov-Witten 불변량을 그 대칭적 제품 스택 $S^{g+1}(X)$의 종수 0 불변량으로 표현하는 정확한 공식을 수립한다. 이는 이중 곡선의 모듈리 스택과 정수 덮개를 활용하여 가상 기본류의 푸시포워드 공식을 도출함으로써, 종수 $g$ 불변량을 대칭 제품에서 종수 0 불변량으로 환원한다. 특히 점의 경우, 대칭군의 구조 상수를 통해 $̅{\mathcal{M}}_{g,n}$ 위의 타우톨로지적 적분에 대한 새로운 공식을 제공한다.

ABSTRACT

I prove a formula expressing the descendent genus g Gromov-Witten invariants of a projective variety X in terms of genus 0 invariants of its symmetric product stack S^{g+1}(X). When X is a point, the latter are structure constants of the symmetric group, and we obtain a new way of calculating the Gromov-Witten invariants of a point.

연구 동기 및 목표

• 매끄러운 프로젝티브 다양체 $X$의 종수 $g$ 내림차순 Gromov-Witten 불변량을 그 대칭 제품 스택 $S^{g+1}(X)$의 종수 0 불변량으로 표현하는 일반 공식을 수립하는 것.
• 모든 종수에서의 $X$의 전체 양자 cohomology가 Fock 공간 $\mathcal{F} = \bigoplus_{d \geq 0} H^{\ast}_{\text{orb}}(S^d(X), \mathbb{C})$ 위의 Frobenius 다양체 구조의 수열에 의해 암호화됨을 보여주는 것.
• 점의 Gromov-Witten 불변량을 계산하는 데 새로운 계산 프레임워크를 제공하며, 이를 통해 $\mathbb{C}[S_d]^{S_d}$의 중심의 구조 상수로 표현하는 것.
• 유한 차수의 사상 $p$에 대해, 에테일 대응의 모듈리 스택에서 일반적인 안정 사상의 모듈리 공간으로의 가상 푸시포워드 공식 $p_*[\overline{\mathcal{M}}_\eta(X)]_{\text{virt}} = k[\overline{\mathcal{M}}_{g,r}(X)]_{\text{virt}}$를 증명하는 것.

제안 방법

• 이 방법은 $\mathcal{C}$가 종수 0 이중 곡선이고 $\mathcal{C}'$가 고유계수 곡선이며 $G$-작용을 갖는 $\mathcal{C}' \to \mathcal{C} \to X$의 에테일 대응을 매개변수화하는 모듈리 스택 $\overline{\mathcal{M}}_\eta(X)$를 구성한다.
• 이들은 $C(X)$-값을 갖는 표식을 가진 곡선의 모듈리 스택 $\mathfrak{M}_{g,n,\beta}$를 사용하는 일반 설정을 도입하며, 이는 매끄럽고 적절한 축소 사상이 존재하여 가상 범주에서 기저 변경 추론이 가능하게 한다.
• 핵심 기술적 단계는 모리 원뿔 $C(X)$의 구조와 안정 그래프 분해를 이용하여, 일반 스택 $\overline{\mathcal{M}}_{g,\beta}(X)$에서의 기저 변경을 통해 가상 푸시포워드 공식 (1.0.1)을 증명하는 것이다.
• 이 방법은 주요 공식 (8.0.2)을 적용하여 $\overline{\mathcal{M}}_{g,r}(X)$ 위의 적분을 그래프 $f: \rho \to \eta$로의 합으로 전개하며, 경계 성분과 자동형사상 인자 $\|f\|^{-1}$의 기여를 포함한다.
• 공식 (9.1.1)을 사용하여 $\overline{\mathcal{M}}_\eta$와 $\overline{\mathcal{M}}_{\rho_i}$ 위의 적분을 목표 그래프의 정점들로의 곱으로 분해함으로써, $\overline{\mathcal{M}}_{0,n}$에 대한 알려진 결과를 활용한다.
• 이 접근법은 이중 곡선의 기하학과 그 평가 사상의 분석을 통해 복잡한 종수-$g$ 적분을 대칭 제품 위의 종수 0 불변량으로 환원하며, 결국 $\int_{\overline{\mathcal{M}}_{2,1}} \psi^4$를 대칭군 데이터로 표현한다.

실험 결과

연구 질문

• RQ1 매끄러운 프로젝티브 다양체 $X$의 고유계수 Gromov-Witten 불변량은 그 대칭 제품 스택 $S^{g+1}(X)$의 종수 0 불변량으로 완전히 표현될 수 있는가?
• RQ2 에테일 대응의 모듈리 스택 $\overline{\mathcal{M}}_\eta(X)$와 표준 모듈리 공간 $\overline{\mathcal{M}}_{g,r}(X)$ 사이의 정확한 가상 푸시포워드 공식은 무엇인가?
• RQ3 대칭군 대수 $\mathbb{C}[S_d]^{S_d}$의 구조 상수는 $\overline{\mathcal{M}}_{g,n}$ 위의 타우톨로지적 적분을 어떻게 계산하는 데 사용될 수 있는가?
• RQ4 반군 값 표식을 가진 곡선의 모듈리 스택은 기저 변경과 가상 푸시포워드 추론을 가능하게 하는 데 어떤 역할을 하는가?
• RQ5 대칭 제품 $S^dX$의 큰 양자 cohomology는 Frobenius 다양체 구조를 사용하여 $X$의 양자 cohomology로부터 얼마나 잘 재구성될 수 있는가?

주요 결과

• 논문은 $X$의 종수 $g$ 내림차순 Gromov-Witten 불변량이 $S^{g+1}(X)$의 종수 0 불변량에 의해 결정됨을 증명하며, 후자는 $H^{\ast}_{\text{orb}}(S^{g+1}(X), \mathbb{C})$ 위의 Frobenius 다양체 구조에 암호화되어 있음을 보여준다.
• $X = \ast$인 점의 경우, $\int_{\overline{\mathcal{M}}_{g,n}} \psi_1^{a_1} \cdots \psi_n^{a_n}$는 $\mathbb{C}[S_d]$의 중심의 구조 상수의 유리수 선형 조합으로 표현되며, 이는 새로운 조합론적 공식을 제공한다.
• 가상 푸시포워드 공식 $p_*[\overline{\mathcal{M}}_\eta(X)]_{\text{virt}} = k[\overline{\mathcal{M}}_{g,r}(X)]_{\text{virt}}$는 $k \in \mathbb{Q}^\times$일 때 성립하며, 일반 스택에서의 기저 변경을 통해 확립되었고 특정 예시에서 검증되었다.
• $\int_{\overline{\mathcal{M}}_{2,1}} \psi^4$의 경우, 정확한 값 $2^{-7} \cdot 3^{-2}$를 도출하여 공식이 알려진 결과와 일치함을 확인한다.
• $\int_{\overline{\mathcal{M}}_\eta} \psi_1^4 = 2^{-6} \cdot 3^{-1}$과 $\int_{\overline{\mathcal{M}}_{\rho_i}} \psi_e^3 = 2^{-12} \cdot 3^{-1}$을 성공적으로 계산하였으며, 후자는 정점별 분해와 $\overline{\mathcal{M}}_{0,n}$에 대한 알려진 적분을 기반으로 유도되었다.
• 논문은 Lehn-Sorger 구성에 의해 $S^dX$의 소형 양자 cohomology가 $X$의 그것에 의해 완전히 결정됨을 보여주지만, 큰 양자 cohomology는 일반적으로 그렇지 않음을 밝혔다.