[논문 리뷰] Topological recursion relations in genus 2

Ezra Getzler|ArXiv.org|1998. 01. 01.

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

한 줄 요약

이 논문은 $\overline{\mathcal{M}}_{2,2}$의 매끄러운 분포 공간에서의 교차 이론을 이용하여 종수 2에서 중력 유도 함수에 대한 위상적 재귀 관계를 수립한다. $\overline{\mathcal{M}}_{2,2}$의 호지 다항식을 계산하고 타우토로지 클래스를 분석함으로써, $\psi_i$ 클래스의 이차 다항식이 경계 사이클임을 보이며, 종수 2 상관 함수에 대한 명시적 재귀 관계를 도출한다. 주요 결과로는, $\overline{\mathcal{M}}_{2,2}$의 유리수 코homology 링이 $\psi_1$, $\psi_2$, $\delta_1$, $\delta_{1,1}$, $\delta_{1,2}$, $\delta_0$의 여섯 개의 디바이저로 생성됨을 확인한다. 이 작업은 종수 0과 1에서의 재귀 관계를 확장하며, 명시적 교차 계산과 초과 교차 정리에 의해 종수 2에서의 관계 구조를 확인한다.

ABSTRACT

In Part 1 of this paper, we study gravitational descendents of Gromov-Witten invariants for general projective manifolds, applying the Behrend-Fantechi construction of the virtual fundamental classes. In Part 2, we calculate the topological recursion relations in genus 2. There are two of these, one for the second descendent of a field, and one for the first descendents of two fields. The proof uses the results of Part 1 together with a thorough study of intersection theory on the moduli space $\bar{M}_{2,2}$.

연구 동기 및 목표

• 종수 2에서 중력 유도 상관 함수에 대한 위상적 재귀 관계를 유도하여 종수 0과 1에서 알려진 관계를 확장한다.
• 혼합 호지 모듈러스와 알려진 타우토로지 클래스 결과를 이용하여 $\overline{\mathcal{M}}_{2,2}$의 호지 다항식을 계산한다.
• $\overline{\mathcal{M}}_{2,2}$의 타우토로지 클래스의 구조를 규명하며, 특히 $\psi_i$ 클래스의 이차 다항식이 경계 사이클임을 보인다.
• $\overline{\mathcal{M}}_{2,2}$의 유리수 코homology 링이 여섯 개의 특정 디바이저로 생성됨을 증명하여, 이 경우 타우토로지 링의 대수적 구조를 확인한다.
• 베르렌드-판테키의 구축법과 가상 기본 클래스를 이용하여 종수 2에서의 중력 유도 함수에 대한 엄밀한 기초를 마련한다.

제안 방법

• $\overline{\mathcal{M}}_{2,2}$의 호지 다항식을 혼합 호지 모듈러스와 교차 이론 결과를 이용하여 $1 + 6uv + 14u^2v^2 + 14u^3v^3 + 6u^4v^4 + u^5v^5$로 계산한다.
• 초과 교차 정리를 적용하여 $\psi_1^2$와 경계 디바이저 $\delta_{1,1}$, $\delta_{1,2}$의 교차를 계산하여 명시적 사이클 표현을 도출한다.
• 타우토로지 클래스의 삼차 단항식 기저를 사용하고 선형 시스템을 풀어 $\psi_1\psi_2$를 경계 사이클의 유리수 조합으로 표현한다.
• 타우토로지 링의 다양한 차수의 단항식 간 교차 수를 계산하기 위해 파버의 Maple 프로그램을 활용한다.
• 이차 및 사차 단항식 간의 교차 행렬을 분석하여 여섯 디바이저가 생성하는 코homology 부분대수의 질량을 결정한다.
• 교차 수의 행렬이 차수 6에서 질량 14, 차수 4에서 질량 6임을 검증하여, 코homology 링이 여섯 개의 지정된 디바이저로 생성됨을 확인한다.

실험 결과

연구 질문

• RQ1 종수 0과 1에서의 위상적 재귀 관계와 비교할 때, $\psi_i$ 클래스가 $\mathcal{M}_{2,n}$에서 비자명한 점을 감안할 때, 종수 2에서 중력 유도 함수에 대한 재귀 관계는 어떻게 다를까?
• RQ2 종수 0과 1에서와 마찬가지로, $\overline{\mathcal{M}}_{2,n}$에서 $\psi_i$ 클래스의 이차 다항식이 경계 사이클로 표현될 수 있는가?
• RQ3 $\overline{\mathcal{M}}_{2,2}$의 유리수 코homology 링의 구조는 무엇이며, 어떤 디바이저들이 이를 생성하는가?
• RQ4 $\overline{\mathcal{M}}_{2,2}$의 타우토로지 링이 $\psi_1$, $\psi_2$, $\delta_1$, $\delta_{1,1}$, $\delta_{1,2}$, $\delta_0$의 여섯 개의 디바이저로 생성되는가?
• RQ5 타우토로지 클래스의 단항식 간 교차 수가 $\overline{\mathcal{M}}_{2,2}$의 코homology 구조를 어느 정도 결정하는가?

주요 결과

• $\overline{\mathcal{M}}_{2,2}$의 호지 다항식은 $1 + 6uv + 14u^2v^2 + 14u^3v^3 + 6u^4v^4 + u^5v^5$로 계산되어, 이 공간의 호지 베티 수를 확인한다.
• $\psi_1^2$는 경계 사이클의 유리수 조합으로 표현되며, $\psi_1^2 = \frac{7}{5}\delta_{1,1} + \frac{1}{5}\delta_{1,2} - \frac{1}{120}\delta_0 + \frac{13}{120}\delta_{1,1}^{(2)} + \frac{1}{120}\delta_{1,2}^{(2)}$로 나타내어, 종수 2에서 이차 $\psi$-클래스가 경계임을 보여준다.
• $\delta_{1,1}$과 사이클 $\psi_1^2$의 교차가 0이며, $\delta_{1,2} \cdot \psi_1^2 = -\frac{1}{48}$임을 확인하여 코homology 링의 핵심 수치 불변량을 제공한다.
• 타우토로지 클래스의 이차 및 사차 단항식 간 교차 행렬의 질량은 6이며, 차수 5와 1의 단항식 간 행렬의 질량은 14로 확인되어, 코homology 링이 여섯 개의 지정된 디바이저로 생성됨을 확인한다.
• $\overline{\mathcal{M}}_{2,2}$의 유리수 코homology 링은 $\psi_1$, $\psi_2$, $\delta_1$, $\delta_{1,1}$, $\delta_{1,2}$, $\delta_0$로 생성되며, 차수 6에서의 교차 수 행렬이 최대 질량임을 통해 이를 입증한다.
• 논문은 $H^\bullet(\overline{\mathcal{M}}_{2,3},\mathbb{Q})$가 $H^2$로 생성되지 않지만 전체 코homology는 대수적임을 확인하여, 더 높은 점을 가진 매끄러운 분포 공간에서 더 깊은 구조가 존재함을 시사한다.