Supermoduli spaces are non-projected in every genus $g\geq 3$

技术摘要：亏格 $g \ge 3$ 时超模空间（Supermoduli Spaces）的非投影性

问题陈述
本文研究了光滑、无穿孔超黎曼曲面的亏格为 $g$、自旋奇偶性为 $\varepsilon \in \{+, -\}$ 的超模叠层 $\mathcal{M}^{\varepsilon}_g$ 的全局几何结构。超几何学中的一个核心问题是这些超流形是“投影的”（projected）还是“分裂的”（split）。如果一个超流形存在向其约化超流形（即自旋曲线的模空间 $\mathcal{S}^{\varepsilon}_g$）的收缩映射，则称该超流形是投影的。如果其结构层同构于约化空间的奇余切丛的外代数，则称其是分裂的。

虽然这些空间的局部变形理论是无阻碍的，但全局投影的存在性受到一个初级上同调类 $\omega_2(\mathcal{M}^{\varepsilon}_g) \in H^1(\mathcal{S}^{\varepsilon}_g, \text{Hom}(\wedge^2 T^- \mathcal{M}^{\varepsilon}_g, T^+ \mathcal{M}^{\varepsilon}_g))$ 的阻碍。前人的工作已经确定，对于 $g=2$，两种奇偶性成分都是分裂的。对于 $g \ge 5$，非投影性已为人所知，且偶亏格 $g=4$ 的情况也已得到解决。亏格 $g=3$（以及奇亏格 $g=4$）这一阈值情况此前仍处于开放状态。作者旨在证明，对于所有 $g \ge 3$，在代数和全纯范畴下，两种奇偶性成分都是非投影且非分裂的。

方法论
证明过程通过结合退化技术、形式变形理论以及代数-解析比较定理，采用了一个多阶段论证。

1. 边界退化与测试族：
   作者构造了一个从“中心源”超方案 $Z^{\varepsilon}_{\eta}$ 到稳定超模空间中分离的 Neveu–Schwarz 边界除子的特定态射。

• 核心（The Core）： 该源构造基于一个配备了无效偶西瑟特征（even theta characteristic）$L$（满足 $H^0(C, L) = H^1(C, L) = 0$）的亏格 $h = g-1$ 曲线 $C$。
• 尾部（The Tail）： 在一个节点处连接一个椭圆分量。该尾部的自旋结构决定了所得亏格为 $g$ 的曲面的奇偶性 $\varepsilon$。
• 奇偶性区分： 对于偶奇偶性（$\varepsilon=+$），构造包含一个在椭圆尾部上移动的 NS 标记，以消除不变阻碍。对于奇奇偶性（$\varepsilon=-$），尾部保持不变。
• 中心类（Central Class）： 利用 $L$ 的无效性，作者表明源的初级阻碍类正则注入到边界切丛中，从而产生一个非零的“中心比较类” $c^{\varepsilon}_{\eta}$。

2. 横截形式平滑（Transverse Formal Smoothing）：
   利用横截扩张理论，作者将映射 $Z^{\varepsilon}_{\eta} \to D$ 在垂直于边界的方向上进行形式化扩张（平滑该节点）。

• 他们构造了一个定义在形式圆盘上的形式族 $\widehat{Y}^{\varepsilon}_{\eta}$，其映射到沿 $D$ 的环境超叠层的形式完备化。
• 阻碍消失： 证明该扩张阻碍群消失的一个关键技术步骤。通过分析一个有限群 $A \cong \mu_4$（作用在椭圆尾部上）的作用，并利用核心上的塞尔对偶性（Serre duality），他们证明了对于形式扩张的所有阶数，所有不变阻碍类均消失。这确保了存在一个相干的形式平滑。

3. 洛朗局部化与极点消除：
   为了从边界移动到光滑局部，边界参数 $t$ 被求逆。

• 作者分析了在洛朗局部化下比较类的行为。他们证明，如果该类在求逆 $t$ 后消失，则所得的原函数将要求存在极点。
• 通过在奇偶性对合下进行平均，并分析相关的渐近丛，他们表明对于边界参数的负幂次不存在非零不变全局截面。因此，任何原函数都必须是正则的，这与中心类的非零性相矛盾。这确立了该扩张在光滑局部是非分裂的。

4. 代数非零性：
   作者推导出，如果在光滑代数模空间 $\mathcal{M}^{\varepsilon}_g$ 上初级阻碍消失，则会存在一个分裂。这种分裂将拉回到构造的形式扩张的洛朗分裂，这与前一步结论矛盾。因此，$\omega^{\text{alg}}_2(\mathcal{M}^{\varepsilon}_g) \neq 0$。

5. 代数-解析比较：
   为了将结果扩展到全纯范畴，作者证明了一个通用的比较定理（定理 1.2）。

• 他们构造了自旋层覆盖模空间的法向射影紧化，其中补集的余维数至少为二（使用雅可比丛的 Satake 紧化和 Torelli 态射）。
• 他们证明了对于此类簇，$H^1$ 上的解析化映射是单射。这依赖于将代数截面作为相干反身层（coherent reflexive sheaves）在余维为二的补集上进行扩张，并应用 GAGA 定理。
• 这种单射性确保了代数类在非零时，其全纯类亦非零。

主要贡献与结果

• 主定理（定理 1.1）： 对于每个亏格 $g \ge 3$ 以及两种自旋奇偶性 $\varepsilon \in \{+, -\}$, 初级阻碍类在代数和全纯范畴下均非零：
  $$\omega^{\text{alg}}_2(\mathcal{M}^{\varepsilon}_g) \neq 0, \quad \omega^{\text{hol}}_2((\mathcal{M}^{\varepsilon}_g)^{\text{an}}) \neq 0.$$
  因此，光滑无穿孔超模空间既不是投影的也不是分裂的。
• 亏格-3 阈值的解决： 本文提供了关于亏格 $g=3$ 非投影性的首次证明，解决了这一现象发生的最低亏格问题。
• 统一论证： 证明过程利用了一个单一的退化论证（将椭圆尾部连接到核心），该方法对于所有 $g \ge 3$ 及两种奇偶性均适用，区别仅在于处理椭圆尾部自同构的具体方式。
• 比较定理： 本文建立了一个充分的几何条件（存在一个补集余维至少为二的法向射影紧化），在此条件下，即使对于非紧致簇，代数扩张类在解析化后仍保持非平凡。

意义
本文确立了超模空间的一个基本特征：尽管它们具有无阻碍的局部变形理论，但在经典的自旋叠层之上仍具有非平凡的全局扩张数据。这种阻碍使得对于 $g \ge 3$，不存在一个全局的全纯投影到自旋曲线的模空间。

在超弦摄动论的背景下（其中振幅是通过在超模空间上积分来定义的），这一结果意味着对于亏格 2 所使用的构造（该构造依赖于通过超周期矩阵实现的全局投影）无法推广到更高亏格。虽然该结果并未直接使其他作者提出的手征测度的特定模形式候选方案失效，但它排除了将全局全纯投影作为类似构造基础的可能性。这项工作阐明了“格林阻碍”（Green obstruction）的几何本质，并证实了分裂模型在高于亏格 2 的整个稳定范围内均失效。