[论文解读] Recursion Formulas for Spin Hurwitz Numbers

Junho Lee, Thomas H. Parker|arXiv (Cornell University)|Dec 8, 2012

Algebraic Geometry and Number Theory参考文献 10被引用 5

一句话总结

本文通过旋量曲线的退化、$¯\partial$-算子的谱流不变量，以及一种抵消偶数分支的配对机制，建立了旋量赫尔维茨数的递归公式——这类不变量是计数奇分支的度数-$d$ 旋量曲线覆盖的变形不变量。关键结果是：除 $h=0$ 和 $h=p=1$ 外，所有旋量赫尔维茨数均可通过埃斯金-奥库诺夫-潘达里帕德数递归计算，从而实现了对具有正几何亏格的凯勒曲面的零维格罗莫夫-王不变量的计算。

ABSTRACT

The classical Hurwitz numbers which count coverings of a complex curve have an analog when the curve is endowed with a theta characteristic. These "spin Hurwitz numbers", recently studied by Eskin, Okounkov and Pandharipande, are interesting in their own right. By the authors' previous work, they are also related to the Gromov-Witten invariants of Kahler surfaces. We prove a recursive formula for spin Hurwitz numbers, which then gives the dimension zero GW invariants of Kahler surfaces with positive geometric genus. The proof uses a degeneration of spin curves, an invariant defined by the spectral flow of certain anti-linear deformations of the d-bar operator, and an interesting localization phenomenon for eigenfunctions that shows that maps with even ramification points cancel in pairs.

研究动机与目标

• 推导旋量赫尔维茨数的递归公式，该公式计数带有奇分支且按奇偶性符号化的度数-$d$ 旋量曲线覆盖。
• 将此前仅适用于亏格 $h=1$、$p=-1$ 的埃斯金-奥库诺夫-潘达里帕德方法推广至所有满足 $h \geq 2$ 或 $h=1$、$p=1$ 的旋量曲线。
• 通过局部不变量 $GT^{\text{loc}}_{\chi,n}$ 将旋量赫尔维茨数与复射影曲面的格罗莫夫-王不变量联系起来。
• 证明在 $¯\partial$-变形的特征函数中，由于局部化现象，具有偶数分支点的映射会成对抵消。
• 建立一个完整的递归框架，通过分拆乘积与自同构权重计算旋量赫尔维茨数。

提出的方法

• 通过旋量曲线的退化，将模空间分解为低亏格分量，实现递归约化。
• 通过旋量丛 $N_f$ 上 $¯\partial$-算子的反线性变形的谱流定义不变量，该不变量追踪扭曲拉回 $N_f = f^*N \otimes \mathcal{O}(\frac{1}{2}\mathcal{R}_f)$ 的奇偶性变化。
• 应用一种局部化机制，表明变形 $¯\partial$-算子的特征函数仅在分支为奇数时在节点处非零，从而导致偶分支映射的抵消。
• 通过在 $d$ 的奇分拆 $m$ 上求和，结合权重 $|m|m!$，并配对低亏格分量的不变量，构造递归公式 (1.8) 与 (1.9)。
• 利用退化族上的 $L^2$-范数估计与收敛性论证，证明特征函数的 $L^2$-范数在节点处不累积，从而保证极限截面的连续性与非退化性。
• 利用 $¯\partial$-算子可延拓为实算子的一族 1-参数族的性质，确保谱流与拓扑不变量在退化过程中保持不变。

实验结果

研究问题

• RQ1 对于 $h \geq 2$ 或 $(h,p) = (1,+)$ 的旋量赫尔维茨数，能否从已知的 $h=1$、$p=-1$ 值递归计算？
• RQ2 在旋量曲线退化过程中，$¯\partial$-变形中的谱流在保持不变量方面起什么作用？
• RQ3 变形 $¯\partial$-算子的特征函数在节点处的行为如何？其局部化导致了何种抵消机制？
• RQ4 为何在旋量赫尔维茨数不变量的背景下，具有偶数分支点的映射会成对抵消？
• RQ5 能否通过递归约化，从旋量赫尔维茨数完全恢复凯勒曲面的零维格罗莫夫-王不变量？

主要发现

• 定理 1.1 提供了旋量赫尔维茨数的递归公式 (1.8)，当 $h = h_1 + h_2$ 且 $p \equiv p_1 + p_2 \pmod{2}$ 时，以低亏格不变量的乘积形式表示，求和范围为 $d$ 的奇分拆 $m$，权重为 $|m|m!$。
• 公式 (1.9) 通过将旋量赫尔维茨数表示为 $|m|m!$ 与亏格 $h-1$ 的不变量之和，实现了对 $h \geq 2$ 或 $(h,p) = (1,+)$ 的递归约化，支持归纳计算。
• 平态旋量赫尔维茨数 $H_d^{h,p}$（对应平凡分拆 $(1^d)$）等于凯勒曲面的零维局部格罗莫夫-陶布斯不变量 $GT^{\text{loc}}_{d}^{h,p}$，其典范除子为 $D$。
• 推论 1.2 给出了 $h \geq 2$ 时 $GT^{\text{loc}}_{d}^{h,p}$ 的显式公式，以 $H_m^{1,-}$ 值的乘积形式表示，取决于 $h$ 与 $p$ 的奇偶性，求和范围为所有 $d$ 的奇分拆 $m^1, \dots, m^{h-1}$。
• 证明依赖于一种抵消机制：变形 $¯\partial$-算子的特征函数在节点处局部化，且由于谱流中的对称性，具有偶数分支的映射成对抵消。
• 在退化过程中，特征函数的 $L^2$-范数不会在节点处累积，确保极限截面连续且非零，这与正交性假设矛盾，从而证明了谱流不变量的非退化性。