[논문 리뷰] The genus zero Gromov-Witten invariants of [Sym^2 P^2]

Jonathan Wise|ArXiv.org|2007. 02. 08.

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

한 줄 요약

이 논문은 $[\operatorname{Sym}^2 \mathbb{P}^2]$의 종 수 0 Gromov-Witten 불변량과 $\mathbb{P}^2$ 내의 초타원곡선의 수열기하학 사이의 대응을 확립한다. 궤도 안정사상의 모듈리 공간 내에서의 콤 곡선을 분석함으로써, 저자께서는 Gromov-Witten 불변량을 초타원곡선 수의 합으로 표현하는 공식을 유도하고, $q = -1$에서의 불변량을 비교하여 착각적 해소 추측의 한 예를 검증한다.

ABSTRACT

We study the Abramovich--Vistoli moduli space of genus zero orbifold stable maps to [Sym^2 P^2], the stack symmetric square of P^2. This compactifies the moduli space of stable maps from hyperelliptic curves to P^2, and we show that all genus zero Gromov--Witten invariants are determined from trivial enumerative geometry of hyperelliptic curves. We also show how the genus zero Gromov--Witten invariants can be used to determine the number of hyperelliptic curves of degree d and genus g interpolating 3d + 1 generic points in P^2. Comparing our method to that of Graber for calculating the same numbers, we verify an example of the crepant resolution conjecture.

연구 동기 및 목표

• 궤도 $[\operatorname{Sym}^2 \mathbb{P}^2]$의 종 수 0 Gromov-Witten 불변량을 $\mathbb{P}^2$ 내의 초타원곡선의 수열기하학과 연결하기.
• 궤도 안정사상의 모듈리 공간이 $[\operatorname{Sym}^2 \mathbb{P}^2]$로 향하는 안정사상의 공간을 초타원곡선에서 $\mathbb{P}^2$로의 안정사상으로 콪 pactify하는지 보여주기.
• 콤 곡선을 사용하여 Gromov-Witten 불변량을 계산하고, $q = -1$에서의 불변량을 비교하여 착각적 해소 추측을 검증하기.

제안 방법

• 초타원곡선에서 $\mathbb{P}^2$로의 안정사상의 모듈리 공간을 콤팩트라이즈하는 종 수 0 궤도 안정사상의 Abramovich–Vistoli 모듈리 공간을 활용한다.
• 초타원곡선을 통해 점을 통과하는 불변량에 기여하는 핵심 구성요소로 콤 곡선을 식별한다.
• 가상 기본류 기법과 궤도 차우 링 계산을 적용하여 차단(bundle)과 평가 사상의 값을 평가한다.
• 궤도 차우 링 내의 대수적 관계를 통해 일반 Gromov-Witten 불변량을 2점 불변량과 특정 고차원 불변량의 조합으로 감소시킨다.
• 등급별 적분과 다중 제타 함수 및 다중 로그함수의 특수값을 사용하여 불변량의 생성함수를 계산한다.
• 분석적 계속을 통해 $q = -1$에서의 불변량을 비교함으로써, $[\operatorname{Sym}^2 \mathbb{P}^2]$의 불변량과 그 힐베르트 스킴 해소의 불변량이 일치함을 보여 착각적 해소 추측을 검증한다.

실험 결과

연구 질문

• RQ1 종 수 0 Gromov-Witten 불변량 $J(d,g)$는 $[\operatorname{Sym}^2 \mathbb{P}^2]$에서 $3d+1$개의 일반적인 점을 통과하는 차수 $d$와 종 수 $g$의 초타원곡선의 수를 어떻게 코딩하는가?
• RQ2 Gromov-Witten 불변량을 계산하는 데 있어, $[\operatorname{Sym}^2 \mathbb{P}^2]$로 향하는 궤도 안정사상의 모듈리 공간 내에서 콤 곡선의 역할은 무엇인가?
• RQ3 궤도 $[\operatorname{Sym}^2 \mathbb{P}^2]$의 Gromov-Witten 불변량과 그 힐베르트 스킴 해소의 불변량을 비교함으로써 착각적 해소 추측을 검증할 수 있는가?
• RQ4 궤도 차우 링과 차단(bundle)의 구조는 이 설정에서 Gromov-Witten 불변량의 계산을 어떻게 제약하는가?
• RQ5 Gromov-Witten 생성함수의 $q = -1$에서의 해석적 성질은 무엇이며, 이는 해소 추측과 어떻게 관련되는가?

주요 결과

• $[\operatorname{Sym}^2 \mathbb{P}^2]$의 종 수 0 Gromov-Witten 불변량 $J(d,g)$는 $J(d,g) = \sum_{\mathbf{h}} \left(-\frac{1}{4}\right)^{g-g(\mathbf{h})} (2g(\mathbf{h})+2)! \cdot E(d,g(\mathbf{h}))$로 주어지며, 여기서 $E(d,g(\mathbf{h}))$는 $3d+1$개의 점을 통과하는 종 수 $g(\mathbf{h})$의 초타원곡선을 세는 수이다.
• 각 콤 곡선 성분의 기여는 초타원곡선 Hodge 적분에 의해 결정되며, $\left(-\frac{1}{4}\right)^{g-g(\mathbf{h})}$는 Hodge 적분 계산에서 유래한다.
• 모든 종 수 0 Gromov-Witten 불변량은 2점 불변량과 두 개의 특정 고차원 불변량의 다항식 조합으로 표현 가능하다.
• 차수 0 불변량 $\langle \alpha\gamma, \gamma^{\otimes(2g+1)} \rangle^*_{0}(-1)$ 과 $\langle \gamma^2, \gamma^{\otimes(2g+2)} \rangle^*_{0}(-1)$ 은 각각 $\frac{(-1)^g 6(2^{2g}-1)B_{2g}}{2g}$ 와 $0$ 으로 계산되며, 이는 다중 로그함수와 제타 값의 조합을 통해 유도된다.
• 2점 불변량은 $q = -1$로의 해석적 계속을 갖으며, 그 값은 힐베르트 스킴 해소의 해당 불변량과 일치함을 보여 착각적 해소 추측이 이 경우에 성립함을 검증한다.
• $\langle \alpha\gamma, \gamma^{\otimes(2g+1)} \rangle^*_{0}(q)$ 와 $\langle \gamma^2, \gamma^{\otimes(2g+2)} \rangle^*_{0}(q)$ 의 생성함수는 각각 $(-1)^{g+1}6\operatorname{Li}_{-(2g-1)}(q)$ 와 $(-1)^{g+1}9\operatorname{Li}_{-2g}(q)$ 로 나타나며, $q = -1$로의 해석적 계속이 가능하다.