Parity of $k$-differentials in genus zero and one

技术摘要：亏格 0 与 1 中 $k$-微分的奇偶性

问题陈述
本文研究了模空间 $\Omega^k\mathcal{M}_g(\mu)$ 的连通分支分类问题，该空间参数化了黎曼曲面上具有给定零点和极点阶数 $\mu = (m_1, \dots, m_n)$ 的本原 $k$-微分。虽然对于 $k=1$（微分）和 $k=2$（二次微分）的情况，连通分支的分类已经非常成熟，但对于 $k \ge 3$ 的情况在很大程度上仍是一个开放问题。

用于区分这些分支的一个主要不变量是自旋奇偶性（spin parity）。对于阶数为偶数（奇偶类型）的 $k$-微分，自旋奇偶性通过一个度数为 $k$ 的规范循环覆盖 $\pi: \hat{X} \to X$ 来定义，其中 $k$-微分的拉回变为 1-形式 $\hat{\omega}$ 的 $k$ 次幂。原始 $k$-微分的自旋奇偶性即为原对 $(\hat{X}, \hat{\omega})$ 的自旋奇偶性。

对于偶数 $k$，自旋奇偶性在整个模空间内是统一的，并由 $\mu$ 显式确定。然而，对于奇数 $k$，自旋奇偶性可能会在模空间内发生变化，这使得其确定变得并非平凡。Chen 和 Gendron [6] 的先前工作为亏格 0 和 1 提供了显式的自旋奇偶性公式，但这些结果都以一个特定的数论猜想（[6] 中的 Conjecture A.10）为前提。

方法论
作者通过证明底层的数论猜想，解决了先前结果的条件性问题。其方法论主要分为两个阶段：

1. 通过雅可比符号进行重构：
   证明的核心在于将猜想的组合定义转化为雅可比符号（Jacobi symbols）的语言。该猜想涉及 $N_k(n)$，即满足特定界限和同余条件 $b_2 \equiv n b_1 \pmod k$ 的正整数对 $(b_1, b_2)$ 的数量。
   作者观察到，猜想中出现的项 $\lfloor \frac{k+1}{4} \rfloor$ 的奇偶性关于 8 是周期的，并且对应于雅可比符号 $\left(\frac{2}{k}\right)$ 的值。

2. 组合归约：
   作者定义了一个组合求和式 $F_k(a) = \sum_{i=1}^{(k-1)/2} \lfloor \frac{ai + (k-1)/2}{k} \rfloor$。利用雅可比符号的标准性质（特别是 Eisenstein 引理和 Gauss 引理），他们建立了 $F_k(a)$ 与 $a$ 的奇偶性之间的关系：

   • 如果 $a$ 是奇数，则 $F_k(a) \equiv 0 \pmod 2$。
   • 如果 $a$ 是偶数，则 $F_k(a) \equiv \lfloor \frac{k+1}{4} \rfloor \pmod 2$。

   随后，他们证明了一个关键的组合恒等式（引理 2.5）：
   $$N_k(n) = F_k(n+1) - F_k(n)$$
   该恒等式将问题归约为分析 $F_k(n)$ 和 $F_k(n+1)$ 的奇偶性。由于 $n$ 和 $n+1$ 具有相反的奇偶性，且假设要求 $\gcd(n, k) = \gcd(n+1, k) = 1$，因此结果直接由 $F_k$ 的性质得出。

主要贡献与结果

• 证明了 Conjecture 1.1： 本文完整证明了 Conjecture 1.1（原出自 [6]），该猜想指出对于奇整数 $k \ge 3$ 以及与 $k$ 和 $k+1$ 均互质的整数 $n$：
  $$N_k(n) \equiv \left\lfloor \frac{k+1}{4} \right\rfloor \pmod 2$$
• 无条件分类： 通过证明该猜想，作者使亏格 0 和 1 的自旋奇偶性公式变得无条件化。
  • 亏格 0： $\Omega^k\mathcal{M}_0(2\mu)$ 的自旋奇偶性由 $n_k(\mu) \pmod 2$ 决定，其中 $n_k(\mu)$ 计算使得 $m_i$ 的 $Q$-进估值与 $k$ 的 $Q$-进估值奇偶性不同的索引个数。
  • 亏格 1： 具有旋转数 $d$ 的连通分支的自旋奇偶性由 $n_k(\mu) + d + 1 \pmod 2$ 决定。
• 替代表述： 本文提供了一个使用雅可比符号来定义不变量 $n_k(\mu)$ 的更简洁定义：
  $$n_k(\mu) = \# \left\{ i : \left(\frac{2}{\gcd(k, m_i)}\right) \neq \left(\frac{2}{k}\right) \right\}$$

意义与主张
本文声称其主要贡献在于证明了此前阻碍完全分类低亏格 $k$-微分自旋奇偶性的数论假设。关于 $k$-微分本身的几何结果已在先前工作中建立 [6]；本文通过移除该条件性假设，从而“完全确定了所有 $k$ 在亏格 0 和 1 下的 $k$-微分的自旋奇偶性”。

作者明确指出，组合恒等式（引理 2.5）和主定理的证明是由 AxiomProver 自主发现的，这是一个正在开发中的 AI 系统。组合恒等式的形式化验证是在 Lean/Mathlib 中完成的。文章强调，形式化过程适用于该组合恒等式，而非关于 $k$-微分的几何结果。

这项工作作为 AxiomProver 的一个测试案例，展示了其发现非平凡的组合求和与雅可比符号之间联系的能力，以及为复杂的数论恒等式生成形式化证明的能力。