[논문 리뷰] A hyperelliptic Hodge integral

Jonathan Wise|ArXiv.org|2008. 07. 24.

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

한 줄 요약

이 논문은 초타원형 Hodge 적분을 가중치 있는 프로젝티브 공간 $\mathbb{P}(1,1,2)$ 위의 Gromov–Witten 불변량으로 해석함으로써 계산한다. WDVV 재귀와 오비폴드 Gromov–Witten 이론을 사용한다. 핵심 결과는 적분이 $\left(-\frac{1}{4}\right)^g$로 평가된다는 것으로, 초타원형 기하학과 오비폴드 불변량 사이의 정확한 연결을 확립한다.

ABSTRACT

We calculate the hyperelliptic Hodge integral lambda_g lambda_{g-1} / (1 - psi) for use in arXiv:math/0702219. The proof uses the WDVV equations for the genus zero Gromov--Witten invariants of P(1,1,2).

연구 동기 및 목표

• 초타원형 곡선의 모듈리 공간에서 Hodge 번들의 및 코탄제이언트 라인 번들의를 포함하는 특정 초타원형 Hodge 적분을 계산하는 것.
• 오비폴드 안정 맵을 통한 $\mathbb{P}(1,1,2)$ 위의 Gromov–Witten 불변량과의 연관성을 통해 이 적분을 연결하는 것.
• 오비폴드 설정에서 WDVV 방정식을 사용하여 이 불변량을 재귀적으로 평가하는 것.
• 초타원형 Hodge 적분을 오비폴드 안정 맵의 모듈리 공간 위의 가상 교차수로 기하학적으로 해석하는 것.

제안 방법

• 가중치 있는 프로젝티브 공간 $\mathbb{P}(1,1,2)$ 에 대해 $\mathbb{Z}/2\mathbb{Z}$-gerbe와 차수 $\beta = \frac{1}{2}$ 를 갖는 오비폴드 Gromov–Witten 이론을 사용한다.
• WDVV 방정식을 적용하여 Gromov–Witten 불변량 $\left\langle p, \gamma^{\otimes(2g+1)} \right\rangle_{\frac{1}{2}}$ 를 재귀적으로 계산한다.
• 정규화 수열을 통해 $\overline{M}(\mathbb{P}(1,1,2);1,2g+1;\frac{1}{2})$ 의 가상 기본류를 장애 번들의 $\mathbf{E}^\vee \oplus \mathbf{E}^\vee$ 와 동일시한다.
• 평가 사상의 한 점에서의 섬유로 $\overline{M}(B(\mathbb{Z}/2\mathbb{Z});0,2g+2)$ 의 모듈리 공간을 $\mathbb{P}(1,1,2)$ 의 점과 연결하며, 선번들의 $L_1^\vee$ 를 오비폴드 점에서의 코탄제이언트 라인 번들의 풍선으로 식별한다.
• 가상 클래스 교차를 계산하기 위해 정확한 수열 $0 \to L_1^\vee \to \mathbf{E}^\vee \oplus \mathbf{E}^\vee \to i^*\operatorname{Obs}(C,f) \to 0$ 을 사용한다.
• Poincaré 대칭성과 오비폴드 차우 링의 관계, 특히 $h^2 = \gamma^2$ 를 적용하여 불변량 계산을 단순화한다.

실험 결과

연구 질문

• RQ1 초타원형 Hodge 적분 $\int_{\overline{M}(B(\mathbb{Z}/2\mathbb{Z}),2g+2)} \frac{c(\mathbf{E}^\vee)^2}{c(L_1^\vee)}$ 의 값은 무엇인가?
• RQ2 이 적분은 어떻게 $\mathbb{P}(1,1,2)$ 위의 Gromov–Witten 불변량으로 해석될 수 있는가?
• RQ3 오비폴드 설정에서 WDVV 방정식을 적용하여 이 불변량을 재귀적으로 계산할 수 있는가?
• RQ4 초타원형 곡선의 위어슈트라스 점에서의 코탄제이언트 라인 번들의 관점에서 선번들 $L_i$ 의 기하학적 의미는 무엇인가?
• RQ5 오비폴드 안정 맵의 장애 이론은 Hodge 번들 및 코탄제이언트 라인 번들과 어떻게 관련되는가?

주요 결과

• 초타원형 Hodge 적분 $\int_{\overline{M}(B(\mathbb{Z}/2\mathbb{Z}),2g+2)} \frac{c(\mathbf{E}^\vee)^2}{c(L_1^\vee)}$ 는 정확히 $\left(-\frac{1}{4}\right)^g$ 로 평가된다.
• 모듈리 공간 $\overline{M}(\mathbb{P}(1,1,2);1,2g+1;\frac{1}{2})$ 에서의 불변량 $\left\langle p, \gamma^{\otimes(2g+1)} \right\rangle_{\frac{1}{2}}$ 는 WDVV 재귀를 통해 $\left(-\frac{1}{4}\right)^g$ 와 같다.
• 선번들 $L_i$ 는 $i$-번째 위어슈트라스 점에서의 코탄제이언트 라인 번들과 자연스럽게 동일시되며, 따라서 $c_1(L_i) = \psi_i$ 이다.
• Hodge 번들 $\mathbf{E}^\vee$ 는 $c_i(\mathbf{E}) = \lambda_i$ 를 만족하여 Hodge 적분 이론에서의 표준 표기법을 확인한다.
• 모듈리 공간 $\overline{M}(\mathbb{P}(1,1,2);1,2g+1;\frac{1}{2})$ 의 가상 기본류는 장애 번들 $\mathbf{E}^\vee \oplus \mathbf{E}^\vee$ 에 의해 기록되며, 절점에서의 수정 항이 있다.
• 모듈리 공간 $\overline{M}(B(\mathbb{Z}/2\mathbb{Z});0,2g+2)$ 는 $\mathbb{P}(1,1,2)$ 의 한 점에서의 평가 사상의 섬유로 나타나며, 이는 적분을 Gromov–Witten 불변량과 연결하는 데 기여한다.