Torelli loci, product cycles, and the homomorphism conjecture for $\mathcal{A}_g$

论文技术总结

标题：Torelli 轨迹、积循环与 $A_g$ 的同态猜想
作者：Samir Canning, Lycka Drakengren, Jeremy Feusi, Daniel Holmes, Aitor Iribar L´opez, Denis Nesterov, Dragos Oprea, Rahul Pandharipande, Johannes Schmitt, Zheming Sun
核心对象：主极化阿贝尔簇模空间 $A_g$ 的周环（Chow ring）及其子代数——典范环（Tautological ring）。

---

1. 研究背景与问题 (Problem)

• 模空间与典范环：$A_g$ 是主极化阿贝尔簇的模空间。其周环 $CH^*(A_g)$ 中包含一个由 Hodge 丛的 Chern 类（$\lambda_i$）生成的子代数，称为典范环 $R^*(A_g)$。
• 典范投影算子：已知存在一个从 $CH^*(A_g)$ 到 $R^*(A_g)$ 的典范 $\mathbb{Q}$-线性投影算子 $\text{taut}$。
• 核心问题（同态性质）：该投影算子 $\text{taut}$ 是否保持乘法结构？即对于任意两个循环 $\alpha, \beta \in CH^*(A_g)$，是否满足：
  $$\text{taut}(\alpha \cdot \beta) = \text{taut}(\alpha) \cdot \text{taut}(\beta)$$
  如果成立，则称 $\text{taut}$ 为代数同态。
• 具体挑战：虽然已知当 $\alpha$ 或 $\beta$ 属于典范环，或某些特定几何循环（如 Noether-Lefschetz 循环）时性质成立，但对于Torelli 循环（$[J_g]$，即曲线雅可比簇的像）与积循环（$[A_{g_1} \times \dots \times A_{g_k}]$）的乘积，该性质尚未被完全证明。
• Gorenstein 核：研究还涉及 $R^*(A_g)$ 的 Gorenstein 核（即与 $\lambda_g$ 配对为零的核），以及如何在曲线模空间 $M_{g,n}^{ct}$ 的典范环中构造非零元素。

---

2. 方法论 (Methodology)

作者采用了两种独立且互补的几何方法来计算 Torelli 映射拉回积循环的结果，从而验证同态性质：

方法一：多余相交几何 (Excess Intersection Geometry)

• 纤维积结构：研究 Torelli 映射 $\text{Tor}: M_g^{ct} \to A_g$ 与积映射 $A_{g_1} \times \dots \times A_{g_k} \to A_g$ 的纤维积 $Z$。
• 分层结构：利用 Drakengren 的结果，将 $Z$ 按“带颜色的极值树”（$g$-colored extremal trees）进行分层。这些树描述了雅可比簇分解为子簇的拓扑结构。
• 局部方程与计算：通过确定 $Z$ 的局部方程（由节点形变参数 $z_e$ 的单项式给出），利用多余相交理论（Excess Intersection Theory）计算拉回类 $\text{Tor}^*([A_{g_1} \times \dots \times A_{g_k}])$。
• 图求和公式：将结果表示为模空间 $M_T^{ct}$ 上典范类的图求和（Graph Sum），其中贡献项 $\text{Cont}_T$ 通过递归计算得出。

方法二：壁跨越公式 (Wall-Crossing)

• 稳定映射与无分歧映射：将几何问题转化为 families Gromov-Witten 理论。利用稳定映射空间 $M_g^{ct}(\pi_r)$ 与无分歧映射空间 $M_g^{ct,un}$ 之间的关系。
• Wall-Crossing 公式：应用 Pandharipande-Pixton-Zvonkine 等人的壁跨越公式，将稳定映射的虚拟基本类表示为无分歧映射贡献的加权和。
• 模空间的几何描述：对于 $r=2$ 的情况，无分歧映射的模空间被描述为曲线模空间 $M_{g,n}^{ct}$ 的迭代爆破（Iterated Blow-up）。这使得虚拟基本类可以简化为普通基本类，从而能够利用 admcycles 软件进行具体的典范类计算。

通用工具

• Abel-Jacobi 映射：在通用纤维积 $X_g^s \to A_g$ 上定义新的典范投影，并利用 Abel-Jacobi 映射将积循环拉回到曲线模空间 $M_{g,n}^{ct}$，以构造 Gorenstein 核中的元素。
• 计算实现：使用 admcycles 软件包进行具体的代数计算，验证了特定维数下的等式。

---

3. 主要贡献与结果 (Key Contributions & Results)

A. 同态性质的验证 (The Homomorphism Property)

论文验证了以下新情况下的同态性质猜想（即 $\text{taut}([J_g] \cdot [\text{Product}]) = \text{taut}([J_g]) \cdot \text{taut}([\text{Product}])$）：

1. $A_2 \times A_{g-2} \to A_g$：对于所有 $2 \le g \le 8$，同态性质成立。
2. $A_3 \times A_3 \to A_6$：在 $g=6$ 时，同态性质成立。
3. 消失性结果：证明了对于某些高维积（如 $A_3 \times A_{g-3}$ 当 $g \ge 7$），Torelli 拉回类为零，从而平凡地满足同态性质。

推论：这些结果强烈支持猜想 8，即 $\text{taut}: CH^*(A_g) \to R^*(A_g)$ 是一个 $\mathbb{Q}$-代数同态。

B. 新的典范投影与 Gorenstein 核构造

• 通用纤维积上的投影：定义了通用阿贝尔簇 $s$ 重纤维积 $X_g^s$ 上的典范投影 $\text{taut}_s$。
• 积循环的显式公式：计算了广义积轨迹 $PR_{g,s}$ 的典范投影，结果是一个涉及通用 Theta 除子 $\theta_i$ 和 Poincaré 类 $\eta_{ij}$ 的行列式公式（定理 12）：
  $$\text{taut}_s([PR_{g,s}]) = \frac{g}{6\kappa_{g,s}|B_{2g}|} \det(\dots) \cdot \lambda_{g-1}$$
• Gorenstein 核的新元素：
  • 构造了一类新的循环 $\Delta_{g,s} = \text{aj}^*([PR_{g,s}] - \text{taut}_s([PR_{g,s}]))$。
  • 证明了 $\Delta_{g,s}$ 落在 $R^*(M_{g,2s}^{ct})$ 的 Gorenstein 核中（即与 $\lambda_g$ 配对为零）。
  • 具体非零实例：
    • $\Delta_{5,1}$ 生成了 $R^*(M_{5,2}^{ct})$ 中 $\lambda_5$-配对的一维核（定理 10'）。
    • $\Delta_{4,2}$ 是 $R^*(M_{4,4}^{ct})$ 中 $\lambda_4$-配对核的非零元素。
  • 这为理解 $M_{g,n}^{ct}$ 典范环的 Gorenstein 性质提供了新的几何生成元。

C. 理论框架的扩展

• 提出了关于 Gorenstein 核结构的猜想 15和推测 50，认为所有 Gorenstein 核可能由 Abel-Jacobi 拉回的广义积循环生成，并满足特定的理想性质。

---

4. 意义与影响 (Significance)

1. 解决长期猜想：该工作为 $A_g$ 上典范投影的同态性质提供了强有力的证据。如果该性质普遍成立，将极大地简化 $A_g$ 周环的研究，因为所有几何循环的乘积都可以转化为典范环内的计算。
2. 连接不同领域：
   • 将阿贝尔簇模空间（$A_g$）与曲线模空间（$M_g$）的几何通过 Torelli 映射紧密联系起来。
   • 将代数几何中的相交理论与 Gromov-Witten 理论（壁跨越公式）结合，展示了计算模空间周环的新范式。
3. 计算方法的突破：通过结合“多余相交”和“壁跨越”两种方法，并利用 admcycles 进行大规模计算，成功处理了高维且复杂的模空间问题。
4. Gorenstein 核的构造：在曲线模空间的典范环中，Gorenstein 核的结构一直是一个难点。本文通过 Abel-Jacobi 映射构造了具体的非零元素，为理解 $M_{g,n}^{ct}$ 的深层结构（特别是非完美配对现象）提供了具体的几何模型。
5. 对 Faber 猜想的呼应：Faber 曾提出 $M_g$ 的典范环具有 Gorenstein 性质，本文在 $A_g$ 和 $M_{g,n}^{ct}$ 的交叉领域进一步探索了这一性质的边界和生成元。

总结

这篇论文通过精密的几何构造和计算，验证了 $A_g$ 上 Torelli 循环与积循环乘积的同态性质，并提出了关于典范环结构的深刻猜想。它不仅解决了具体的计算问题，还通过引入新的几何对象（广义积轨迹）和工具（壁跨越与 Abel-Jacobi 拉回），为模空间周环理论开辟了新的研究方向。