From $3$-spin to Negative $r$-spin: Limits of Cohomological Field Theories and Tautological Relations

技术摘要：从 3-spin 到负 $r$-spin：上同调场论的极限与自同构关系

问题陈述
本文探讨了模稳定曲线空间 $\overline{\mathcal{M}}_{g,n}$ 中两类不同的自同构关系（tautological relations）之间的关系。第一类是 Pixton 的 3-spin 关系（源自 Witten 的 3-spin 上同调场论，即 CohFT），根据 Janda 的工作，这些关系在自同构 Chow 环 $R^*(\overline{\mathcal{M}}_{g,n})$ 中成立。第二类是最近由 Chidambaram–Garcia-Failde–Giacchetto 通过 “theta CohFTs” ($\Theta_r$) 构建的 负 $r$-spin 关系。

核心难点在于 $\Theta_r$ 的性质。与 Witten 的 $r$-spin 理论不同，$\Theta_r$ 的底层 Frobenius 流形是 处处非半单的（nowhere semisimple）。因此，标准的策略——即将理论平移至一个半单点并应用 Givental–Teleman 重构（从而得到 Pixton 关系）——无法直接适用。此前的工作已确立了负 $r$-spin 关系在同调环 $RH^*(\overline{\mathcal{M}}_{g,n})$ 中成立，但留下了两个关键问题：

1. 这些关系是否在自同构 Chow 环 中成立？
2. 它们是 Pixton 3-spin 关系的后果，还是代表了真正新的关系？

方法论
作者通过建立由不同 CohFT 生成的自同构关系理想之间的包含链，解决了这些问题。证明策略依赖于对参数 $t$ 趋于 $0$ 时 Givental–Teleman 重构的极限行为的深入分析。

1. 形变与平移： 作者引入了一个 Chiodo 类的一参数形变，记作 $C_{r,\epsilon}$，这是一个在涉及 $t$ 和 $\epsilon$ 的环上的半单 CohFT。负 $r$-spin 理论 $\Theta_{r,\epsilon}$ 被视为 $C_{r,\epsilon}$ 在限制于某一子空间且 $t \to 0$ 时的极限。
2. 基于图的极限（Graph-Wise Limits）： 一个主要的工程障碍是，$C_{r,\epsilon}$ 的重构数据（R-矩阵、真空向量、单位元）在 $t \to 0$ 时并不单独收敛；具体而言，单位元和真空向量表现出奇异行为（在 $t$ 处存在极点）。作者证明，尽管单个分量会发散，但 任何固定稳定图（stable graph）的总贡献 在 Givental–Teleman 重构中是收敛的。他们证明了平移后的 Chiodo 理论的图贡献之极限等于形变的 theta 理论的图贡献。
3. Harer 稳定性与齐次性： 为了控制 R-矩阵和平移向量中的奇异项，作者在模空间的平滑区域使用了 Harer 稳定性。他们结合齐次性论证和平坦方程，建立了精确的 $t$-阶数界限。这使得他们能够证明涉及“零颜色（zero-colored）”顶点（与奇异方向相关）的贡献在极限下消失，从而留下仅由非零颜色组成的贡献，这与 theta 理论相匹配。
4. 比较定理： 作者利用 Janda 比较定理（源自其先前的工作 [10]）的推广，将平移后的 Chiodo 理论的关系与 Pixton 的 3-spin 关系联系起来。

主要贡献与结果

• 定理 A（主要结果）： 对于每个 $r \ge 2$，负 $r$-spin 关系的理想 $I_{\Theta_{r,\epsilon}}$ 包含在 3-spin 关系理想 $I_{\Omega_{3\text{-spin}}}$ 中。
  $$I_{\Theta_{r,\epsilon}} \subseteq I_{\Omega_{3\text{-spin}}}$$
  这证明了负 $r$-spin 关系并非独立的，而是 Pixton 关系的后果。

• 定理 B（Chow 精炼）： 作为定理 A 的直接推论，以及 Janda 关于 3-spin 关系在 Chow 环中成立的证明，负 $r$-spin 关系在 自同构 Chow 环 $R^*(\overline{\mathcal{M}}_{g,n})$ 中成立。

• 定理 C (Kazarian–Norbury 关系)： 当 $r=2$ 时，负 spin 关系对应于特定类 $K_d$（Kazarian–Norbury K-关系）的消失。本文证明了这些关系在 Chow 环中成立，从而精炼了先前的同调结果。

• 技术突破 (定理 D)： 本文确立了在稳定图层面，Givental–Teleman 重构与极限 $t \to 0$ 是交换的，尽管底层的重构数据（R-矩阵、单位元、真空）具有奇异性。这是首次在存在奇异数据的背景下，证明极限与 Givental–Teleman 重构可交换的结果。

意义
本文解决了 Chidambaram–Garcia-Failde–Giacchetto 针对负 $r$-spin 关系地位提出的开放性问题。通过证明这些关系是 Pixton 3-spin 关系的后果，作者表明，通过平移至半单点并取极限（即使是通过奇异形变）的方法，并不会在这一类具有生成半单性的 CohFTs 中产生“真正新的”关系。

此外，结果证实了 Kazarian–Norbury K-关系（在 [19] 中被猜想）在 Chow 环中成立。这项工作提供了一个稳健的框架，用于分析其中单位元是非平坦（non-flat）且 Frobenius 流形是处处非半单的 CohFT 极限，从而扩展了 Givental–Teleman 分类法在更广泛几何理论中的适用性。