技术摘要：通用紧化雅可比簇的支撑定理

1. 问题陈述

本文探讨了定义在稳定标记曲线模叠 $\mathcal{M}_{g,n}$ 上的通用紧化雅可比簇 $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ 的几何与上同调结构。虽然这些空间的上同调已知在度 $d$ 和非退化稳定性条件 $\phi$ 的选择下是不变的（由 Migliorini–Shende–Viviani [MSV21] 证明），但当 $\phi$ 为退化时，几何结构变得显著复杂。在退化情形下，严格半稳定层的存在会在 $\mathcal{M}_{g,n}$ 的边界层上引入严重的奇点。

核心问题在于确定交点上同调复形 $R\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$ 的推导直像（其中 $\overline{\pi}$ 为遗忘到基底的映射）在 BBDG（Beilinson–Bernstein–Deligne–Gabber）分解中出现的直和项的支撑。具体而言，作者旨在证明每个直和项在基底 $\mathcal{M}_{g,n}$ 上具有全支撑，从而将已知于希钦纤维化和非退化雅可比簇的“支撑定理”推广到这一更具奇点性的通用情形。

2. 方法论

本文采用两种不同的方法论途径来确立主要结果：

途径 A：广义 Ngô 支撑定理

主要证明综合了弱阿贝尔纤维化理论与等变 perverse 层的技术。

1. 刚性化与良好模空间：直接应用 Ngô 支撑定理受到阻碍，因为通用紧化雅可比簇叠在 $\mathcal{M}_{g,n}$ 上并非真（proper），且相对皮卡群的自然平移作用由于自同构的存在而无法下降到粗模空间。为解决此问题，作者利用相对良好模空间 $\overline{\mathcal{J}}^{d,\phi}_{g,n}$，该空间在保持基底 $\mathcal{M}_{g,n}$ 的同时对垂直自同构进行了刚性化。
2. 基变换：为避免关于有限商叠的技术细微差别，映射沿有限平展覆盖 $B \to \mathcal{M}_{g,n}$（即泰希米勒水平结构空间）进行基变换，从而得到光滑簇 $B$。
3. 假设验证：作者验证了三元组 $(\widetilde{\mathcal{J}}^{d,\phi}_B, P, B)$（其中 $P$ 为相对皮卡簇）在 Maulik 和 Shen [MS23] 的意义下构成弱阿贝尔纤维化。这包括检查：
   • 纤维的真性与纯维数。
   • 群作用的仿射稳定子。
   • $\delta$-正则性：一种将基底中层的余维数与稳定子群仿射部分的维数相关联的条件。
4. 分解定理：利用广义支撑定理（定理 2.2），作者证明分解的任何支撑 $Z$ 必须满足 $\text{codim } Z \leq \delta_Z$。结合 $\delta$-正则性，这迫使 $Z$ 成为整个基底。
5. 下降：利用等变导出范畴的形式体系，将结果从覆盖 $B$ 下降回 $\mathcal{M}_{g,n}$。

途径 B：稳定性条件的形变

针对 $n \geq 1$ 的情形提供了第二种独立证明（并通过平展邻域适配于 $n=0$）。

1. 壁跨越：作者利用稳定性空间 $V^d_{g,n}$ 的壁与腔结构。对于退化稳定性条件 $\phi$，选取一个邻近的非退化条件 $\phi'$。
2. 真态射：模叠的包含诱导了它们相对良好模空间之间的真、满态射 $r: \mathcal{J}^{d,\phi'}_{g,n} \to \mathcal{J}^{d,\phi}_{g,n}$。
3. 约化：由于 $\mathcal{J}^{d,\phi'}_{g,n}$ 是光滑的（针对非退化 $\phi'$），其交复形是一个平移后的常层。已知的非退化雅可比簇支撑定理 [MSV21] 适用于该常层的直像。
4. 直和项论证：证明交复形 $IC(\mathcal{J}^{d,\phi}_{g,n})$ 是非退化侧常层直像的直和项。因此，非退化情形的支撑性质转移到了退化情形。

3. 主要贡献与结果

主要定理（定理 1.1）

本文证明了对于满足 $2g-2+n > 0$ 的整数 $g, n \geq 0$，以及定义在 $\mathcal{M}_{g,n}$ 上的相对良好模空间 $\overline{\mathcal{J}}^{d,\phi}_{g,n}$：

1. 全支撑：推导直像 $\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$ 的每个直和项在 $\mathcal{M}_{g,n}$ 上具有全支撑。
2. 显式分解：在 $\mathcal{M}_{g,n}$ 上的混合霍奇模有界导出范畴中存在同构：
   $$\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n}) \simeq \bigoplus_{i=0}^{2g} IC\left(\mathcal{M}_{g,n}, (\wedge^i R^1\gamma_* \mathbb{Q}_{C_{g,n}})\right)[-i+g]$$
   其中 $\gamma: C_{g,n} \to \mathcal{M}_{g,n}$ 是通用曲线。

推论

• 粗模空间（推论 1.2）：全支撑性质对 $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ 的粗模空间 $J$ 的交复形的直像成立。
• 拓扑不变性（推论 1.3）：交点上同调群 $IH^*(\overline{\mathcal{J}}^{d,\phi}_{g,n}, \mathbb{Q})$ 作为 $\mathbb{Q}$-霍奇结构，对于任意整数 $d, d'$ 和任意稳定性条件 $\phi, \phi'$（退化或非退化）均同构。这将已知的上同调群不变性推广到了退化情形。

4. 意义与主张

本文声称提供了通用紧化雅可比簇的全支撑定理，这一结果此前因边界层结构的复杂性以及粗模空间上缺乏真群作用而受阻。

• 方法论综合：该工作成功地将原本为希钦纤维化开发的 Ngô 支撑定理的机制适配于曲线模空间。它通过利用相对良好模空间和等变导出范畴，解决了非真性和自同构群带来的障碍。
• 处理退化性：本文明确处理了退化稳定性条件的情形，其中几何结构是奇异的且存在严格半稳定层。它证明了尽管存在这些奇点，交点上同调的拓扑不变性依然保持。
• 证明的独立性：通过提供两种不同的证明——一种依赖于弱阿贝尔纤维化的广义支撑定理，另一种依赖于稳定性条件的形变——作者加强了结果的稳健性。
• 对未来工作的激励：这些结果激发了关于“内蕴上同调环”（定义为非退化条件下上同调环结构的退化）是否可以推广到退化稳定性条件情形的问题。

作者在范围上保持了适度的语气，指出虽然上同调群是不变的，但上同调环结构通常依赖于 $d$ 和 $\phi$ 的选择，且本文并未解决退化情形下的环结构问题。