[论文解读] A hyperelliptic Hodge integral

Jonathan Wise|ArXiv.org|Jul 24, 2008

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).

研究动机与目标

• 计算模空间 $\overline{M}_g$ 上双椭圆 Hodge 积分，涉及 Hodge 线丛与余切线丛的交配。
• 通过轨道稳定映射，将该积分与加权射影空间 $\mathbb{P}(1,1,2)$ 上的 Gromov–Witten 不变量建立联系。
• 在轨道设定下，利用 WDVV 方程递归计算该不变量。
• 将双椭圆 Hodge 积分几何解释为轨道稳定映射模空间上的虚拟交点数。

提出的方法

• 使用 $\mathbb{P}(1,1,2)$ 上的轨道 Gromov–Witten 理论，其中包含 $\mathbb{Z}/2\mathbb{Z}$-gerbes，且度数 $\beta = \frac{1}{2}$。
• 应用 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$ 计算虚拟类交点。
• 应用庞加莱对偶性与 $\mathbb{P}(1,1,2)$ 上的轨道 Chow 环关系，特别是 $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$ 在双椭圆曲线的 Weierstrass 点处的余切线丛中具有何种几何意义？
• 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}}$ 等于 $\left(-\frac{1}{4}\right)^g$，通过 WDVV 归纳法计算得出。
• 线丛 $L_i$ 可自然地与第 $i$ 个 Weierstrass 点处的余切线丛等同，故 $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 不变量相等识别。