The Gorenstein property and Pixton's conjecture for compact type moduli

技术摘要：紧型模空间的 Gorenstein 性质与 Pixton 猜想

问题陈述
本文探讨了紧型曲线模空间（compact type curves）交截理论中两个基本的开放问题：紧型模空间 $\mathcal{M}^{\text{ct}}_{g,n}$ 的自守环（tautological rings）$R^*(\mathcal{M}^{\text{ct}}_{g,n})$ 的结构，以及关于 3-spin 关系完备性的 Pixton 猜想的有效性。具体而言，作者研究了这些环是否满足 Gorenstein 性质（即交截配对是完美的），以及自守关系理想是否完全由 3-spin 关系生成（Pixton 猜想）。虽然 Gorenstein 性质在低亏格情形下曾被猜想成立，但近期的研究表明其在高亏格情形下会失效。Pixton 猜想的有效性与 Gorenstein 性质之间的关系此前尚不明确，特别是在环可能不再满足 Gorenstein 性质的情况下。

方法论
作者结合了理论归约、自守类（tautological classes）的结构分析，以及使用 admcycles 软件包进行的广泛计算验证。

1. 理论框架：

   • 层代数与关系（Strata Algebra and Relations）： 研究利用了层代数 $S^*(\mathcal{M}_{g,n})$ 及其对 3-spin 关系的商，记作 $R^*_{\text{FZ}}$。作者分析了从层代数到自守环及上同调自守环的映射。
   • 归纳归约： 证明过程依赖于粘合映射（例如附加一个椭圆尾部）和遗忘映射，将 $\mathcal{M}^{\text{ct}}_{g,n}$ 的性质与低亏格或较少标记点的情况联系起来。关键引理确立了“不可见”类（即与所有补类配对均为零的类）的存在性在这些操作下得以保持。
   • 定理 $\star$： 作者利用了如下结果：任何属于 3-spin 商 $R^d_{\text{FZ}}(\mathcal{M}_{g,n})$ 的类都可以由具有特定数量亏格 0 顶点的装饰层（decorated strata）来表示。这使得对高余维数中环的生成元进行精确控制成为可能。
   • 表示论： 对于特定情况（例如 $(g,n)=(3,6)$），作者将上同调群分解为对称群 $S_n$ 的不可约表示，以计算不变子空间的维度，从而绕过了对整个环的直接计算。

2. 计算策略：

   • 矩阵秩计算： 为了确定自守环的维度，作者构造了代表 3-spin 关系的矩阵。他们通过在素数 $p$ 下计算这些矩阵的秩，来获得环维度的上界。
   • 配对验证： 通过计算互补次数之间的交截配对的秩来建立下界。当上界与下界一致时，即可证明 3-spin 关系是完备的，且配对是完美的。
   • 优化： 由于高亏格情形下的组合爆炸，作者实现了并行化、最近最少使用（LRU）缓存以及基于磁盘的行存储。他们还使用了稀疏线性代数库（LinBox）和模算术来高效处理大型矩阵。

主要贡献与结果

1. Gorenstein 性质的失效：
   作者证明了对于所有 $g \ge 2$ 且 $2g + n \ge 12$ 的情况，自守环 $R^*(\mathcal{M}^{\text{ct}}_{g,n})$ 和 $RH^*(\mathcal{M}^{\text{ct}}_{g,n})$ 都不是 Gorenstein 的。

   • 这扩展了 Petersen 的研究结果（他证明了 $g=2, n \ge 8$ 时失效）。
   • 证明过程将一般情况归约为边界情况，即 $2g + n = 12$（具体为 $(6,0), (5,2), (4,4), (3,6)$）。
   • 对于这些特定情况，作者展示了交截配对核中存在非零类，从而证明该环不是 Gorenstein 的。

2. 非 Gorenstein 情况下的 Pixton 猜想完备性：
   本文证明了 Pixton 猜想在以下情形下的新案例，即 3-spin 关系是 Chow 环和上同调环中自守环的完备关系集：

   • $\mathcal{M}^{\text{ct}}_6$
   • $\mathcal{M}^{\text{ct}}_{5,2}$
   • $\mathcal{M}^{\text{ct}}_7$
   • 至关重要的是，对于这些情形，作者表明虽然 Pixton 猜想成立（关系是完备的），但该环不是 Gorenstein 的。这建立了已知的第一批即便在 Gorenstein 性质失效时猜想依然成立的实例。

3. 部分逆命题与低亏格结果：

   • 作者证明了对于 $g=0, 1$ 以及 $g \ge 2$ 且 $2g + n < 12$（排除 $(2,7)$）的情况，自守环与上同调自守环是同构的，并且是 Gorenstein 的。
   • 作者证明了 $R^1$ 与其补类之间的配对始终是完美的（定理 4），确认了余维数为 1 时的 Gorenstein 性质。

4. 与阿贝尔簇（Abelian Varieties）的联系：
   关于 $\mathcal{M}^{\text{ct}}_6$ 的结果被确定为近期证明主极化阿贝尔簇（principally polarized abelian varieties, $\mathcal{A}_6$）上存在非自守循环的关键组成部分。具体而言，$\mathcal{M}^{\text{ct}}_6$ 中 Gorenstein 性质的失效，为 $\mathcal{A}_6$ 中某些类的非自守性质提供了几何解释。

意义
本文的主要意义在于将 Gorenstein 性质与 Pixton 猜想解耦。在此之前，人们尚不清楚 Gorenstein 性质的失效是否意味着 3-spin 关系的非完备性。通过证明在 $\mathcal{M}^{\text{ct}}_6, \mathcal{M}^{\text{ct}}_{5,2}$ 和 $\mathcal{M}^{\text{ct}}_7$ 中 Pixton 猜想成立，同时证明这些环不是 Gorenstein 的，作者展示了即使在交截配对退化时，3-spin 关系也能完整捕捉自守环。

此外，本文对紧型模空间的 Gorenstein 性质进行了全面的分类，确定了该性质失效的精确阈值（$2g + n = 12$）。为处理这些模空间中高余维数关系而开发的计算技术，为进一步研究自守环的结构及非自守循环提供了实用的基础。