Schottky versus super Schottky in genus 4

技术摘要：Genus 4 中的 Schottky 与 Super Schottky

问题陈述
本文解决了由 Witten、Felder、Kazhdan 和 Polishchuk 在超黎曼曲面及其模空间理论中提出的一个特定问题。核心问题是确定最小整数 $d$，使得经典 Schottky 理想 $I_g$ 的 $d$ 次幂包含在 super Schottky 理想 $\tilde{I}_g$ 中。

Schottky 理想 $I_g$ 定义了主极化阿贝尔簇 $A_g$ 模空间中的 Jacobian 簇。Super Schottky 理想 $\tilde{I}_g$ 定义了 super period map $\tilde{p}: M_{g}^{+,0} \to A_g$ 的图的模式图像（schematic image），其中 $M_{g}^{+,0}$ 是具有零模（$h^0(C, L) = 0$）的偶 supermoduli 的开堆栈。

先前的研究结果确立了：

• 对于奇数亏格 $g \geq 5$，有 $d = g$。
• 对于偶数亏格 $g \geq 6$，有 $d = g$（由 Y. Shen 证明）。
• 对于偶数亏格 $g \geq 4$，已知 $d \in \{g-1, g\}$。

$g=4$ 的情况是唯一尚未确定最小幂次 $d$ 的开放实例。作者旨在通过证明在亏格 4 时，$d = 4$ 来填补这一空白。

方法论
证明依赖于对 super period map 的余微分 $d^*\tilde{p}$ 的分析。条件 $(I_g)^{g-1} \not\subset \tilde{I}_g$ 等价于证明该余微分在 Jacobian 簇的法余空间（conormal space）上的限制具有最大秩 $2g-2$（对于 $g=4$ 为 6）。

该方法论通过以下步骤进行：

1. 层论框架： 作者利用 $C \times C$ 上的层 $\mathcal{O}(a, b, c)$ 来控制解析核（analytic kernels）和障碍类。具体而言，他们将余微分解释为与 Szegő 核 $s$ 的乘法。对于一个法余向量 $q$（一个正则二次型），其像 $s_1(q)$ 是 $\bigwedge^2 H^0(K_C^{3/2})$ 中的一个二向量（bivector）。该二向量的秩决定了 $d$ 的值。

2. 向消失 Theta-null 的退化： 由于当 $h^0(C, L) > 0$（消失的 theta-null）时 Szegő 核未定义，作者使用了一个正则化版本。他们考虑了一个退化到具有消失 theta-null（$h^0(C_0, L_0) = 2$）的曲线 $C_0$ 的族。

   • 在中心纤维 $C_0$ 处，计算出极限二向量 $\omega_0$。对于非超椭圆亏格 4 曲线，正则二次型的空间是 1 维的。作者证明，在 theta-null 处 $\omega_0$ 的秩为 4，而非一般的 6。

3. 一阶变分与秩跳变： 为了证明一般的秩为 6，作者必须证明在横截变形下，秩从 4 跳变为 6。

   • 他们选择了一个具有消失 theta-null 的特定循环三三角曲线（cyclic trigonal curve），并考虑一个三次方程固定的横截变形。
   • 他们计算了正则化法余二向量 $\dot{\omega}_0$ 的一阶变分。这涉及对全局高斯映射恒等式的求导。
   • 该变分被投影到法商 $\bigwedge^2 R^\vee$ 上，其中 $R$ 是秩为 4 的极限矩阵的 2 维零空间。
   • 利用 Serre 对偶性和关于 Kodaira–Spencer 类及截面提升障碍 $B_\xi$ 的显式计算，他们确定了 Szegő 核的极系数。
   • 他们证明了第一阶符号 $\nu$ 非零。

4. 秩跳变引理： 一个线性代数论证（引理 7.1）表明，如果二向量的一阶变分在极限矩阵的零空间上非零，则对于附近的纤维，该矩阵的秩会跳跃到最大值（6）。

主要贡献与结果

• 解决 Genus 4 的情况： 本文证明了定理 1.1：在亏格 4 中，使得 $(I_4)^d \subset \tilde{I}_4$ 成立的最小 $d$ 是 $d=4$。这证实了 $(g-1)$ 次幂的 Schottky 理想不包含在 super Schottky 理想中。
• 余微分的显式计算： 作者提供了在消失 theta-null 处 super period map 的余微分的显式计算，显示其秩为 4。
• 一阶变分的非零性： 该研究的核心技术贡献是证明了正则化法余二向量在极限矩阵的零空间上的一阶变分是非零的。这是通过对循环三三角曲线、高斯映射以及 Szegő 核与提升 spin bundle 截面的障碍之间相互作用的详细分析实现的。
• 独立于高亏格结果： 对于 $g=4$ 的论证是自洽的，并不依赖于 Shen 为 $g \geq 6$ 建立的结果。

意义
本文完成了所有亏格 $g \geq 4$ 的情况下，Schottky 理想幂次包含在 super Schottky 理想中的分类工作的最后缺口。通过确定对于亏格 4 有 $d=g$，它确认了所有偶数和奇数亏格（其中对于 $g \geq 5$ 和 $g \geq 6$，$d=g$）的一致行为。

这项工作阐明了 super period map 在 theta-null 除子附近的几何性质，展示了虽然该映射在除子处发生退化（秩下降），但其一般行为是由一个非零的一阶项决定的。这一结果对于理解 super moduli 空间的结构以及 super Riemann 曲面与其玻色还原（bosonic reductions）之间的关系具有重要意义。作者指出，其证明依赖于标准的精确序列、退化技术和显式核计算，为该领域先前工作的理论预期提供了具体的验证。