Genus 4 Supermoduli Space Is Not Projected

技术摘要：亏格 4 超模空间是非投影的

问题陈述
本文探讨了参数化光滑无穿孔超黎曼曲面的超模叠 $\mathcal{M}_g$ 的投影性问题。如果一个超流形能够实现其结构层（structure sheaf）的劈裂，从而使其可以被视为其还原空间上的一个向量丛，则称该超流形是“投影的”（projected）。此前已有研究证明（参见 [4]），当 $g \geq 5$ 时，$\mathcal{M}_g$ 是非投影的。本研究解决的具体问题是确定这种非投影性是否也延伸至亏格 $g=4$ 的情况，特别是针对偶自旋分量 $\mathcal{M}^+_4$。

方法论
作者利用阻碍理论（obstruction theory）来证明非投影性。投影性的主要阻碍类是 $\omega_2(S) \in H^1(M, T_M \otimes \Lambda^2 E^\vee)$，其中 $S$ 是超流形，$E^\vee$ 是奇理想的对偶。若该类非零，则该超流形是非投影的。

为了证明 $\omega_2(\mathcal{M}^+_4) \neq 0$，作者将阻碍类限制在包含在模空间内的一个特定紧致曲线 $T$ 上。该方法论通过以下步骤进行：

1. 构造测试族： 作者构造了一个定义在基曲线 $T$ 上的亏格为 4 的曲线族 $(X_T, \eta)$。这些曲线是固定亏格为 2 的曲线 $C: y^2 = x^6 - 1$ 的分支双覆盖。分支集由点对 $(p, \sigma p)$ 组成，其中 $\sigma$ 是 $C$ 上一个固定的无不动点的 6 阶自同构。这种构造避免了需要显式地将该族提升为超黎曼曲面族的步骤，而是直接在自旋模空间 $SM^+_4$ 内工作。
2. 归约为混合 Atiyah 类： 阻碍类 $\omega_2$ 可由一个向量丛的扩张（即“对角扩张”）来表示。作者分离了该扩张的 $J$-不变部分，其中 $J$ 是对自旋线丛的盖层对合（deck involution）的提升。通过将该扩张的中间层限制在对角线的第二次无穷小邻域上并取直接像，作者将问题归约为计算一个“交叉块”（cross-block）扩张的范畴推积（categorical pushout）。
3. 下降至固定曲线： 通过一个有限埃塔映射（finite étale map）$h: T \to C$，问题被下降到固定的亏格为 2 的曲线 $C$ 上。阻碍类被识别为与 $C \times C$ 上的特定线丛 $L$ 相关的混合 Atiyah 类的直接像。
4. 显式 Čech 计算： 阻ace 的非零性被归约为在亏格为 2 的曲线 $C$ 上的显式计算。这涉及计算混合 Atiyah 类在由规范丛幂次的上同调所构造的向量丛上的作用，并利用了特定的自同构 $\sigma$ 及其在微分形式基底上的作用。

核心贡献与结果

• 定理 1.1： 光滑无穿孔亏格为 4 的超模叠的偶分量 $\mathcal{M}^+_4$ 是非投影的。因此，完整的超模叠 $\mathcal{M}_4$ 也是非投影的。
• 技术捷径： 与以往针对 $g \geq 5$ 的工作（特别是 [4]）不同，后者需要将曲线族提升为超黎曼曲面族并验证分歧点约束（例如奇数阶），本文绕过了提升步骤。它直接在紧致曲线（位于自旋模空间 $SM^+_4$ 中）中工作。由于 $SM^+_4$ 映射到 $\mathcal{M}^+_4$，因此在自旋曲线上的阻碍类非零意味着超模空间是非投影的。
• 显式非零性证明： 本文提供了阻碍类的具体非零计算。通过分析自同构 $\sigma$ 在曲线 $C$ 的上同调上的作用，作者展示了相关的扩张类是不劈裂的。具体而言，他们证明了控制扩张劈裂的方程由于所得矩阵中右下角块的矛盾（具体表现为残余类 $\text{diag}(4, -4) \neq 0$）而无解。

意义
本文确立了此前仅在 $g \geq 5$ 时已知的非投影现象同样存在于亏格 $g=4$ 的情况下。这填补了对超模空间几何理解中的一个空白。作者指出，其方法提供了一种“捷径”，通过利用底层自旋模空间的几何性质以及在固定曲线上的显式上同调计算，避开了早期证明中复杂的提升程序。这项工作依赖于并扩展了 [3, 5, 6] 中发展的阻碍理论框架，并利用了 [1] 中描述的具有自同构的曲线的特定几何性质。作者还提到，其方法目前正应用于正在进行的关于亏格 3 情况的合作研究中。