On the Chow ring of very general abelian varieties and a question of Pirola

技术摘要：Claire Voisin 的《论非常一般阿贝尔簇的 Chow 环以及 Pirola 的一个问题》

问题陈述
本文探讨了关于阿贝尔簇与雅可比簇的算术与几何中两个相互关联的问题。

1. Chow 环结构： 作者研究了在维度 $g \geq 4$ 的非常一般阿贝尔簇 $A$ 上，满足自交 $D^2$ 在 $\text{CH}^2(A)$ 中消失的除子 $D \in \text{CH}^1(A)_{\text{hom}}$ 的集合。先前的研究已经确定，对于 $g \geq 3$，此类除子的簇维数为 0，但问题在于这些除子是否必然是挠点。
2. Pirola 的问题： 本文旨在刻画 Kummer 纤维化 $K = J/\pm \text{Id} \to \mathcal{M}_4$ 的有理截面，其中 $J \to \mathcal{M}_4$ 是关于亏格 4 曲线的通用雅可比纤维化。具体而言，它解决了 Pirola 的一个猜想，即任何此类有理截面必须是 Griffiths-Pirola 正则函数 $\gamma_P$ 的倍数，该函数源自亏格 4 曲线上的两个三角除子的差。

方法论
证明过程高度依赖于 Griffiths 无穷小不变量 理论，并将其扩展到更高余维度的循环。其核心策略是通过分析这些不变量的消失来推导截面的全局性质。

1. 无穷小不变量与谱序列： 作者利用了与循环 $Z$ 相关联的无穷小不变量 $\delta_Z(m)$。对于除子 $D$，其平方的不变量与 $D$ 的不变量平方相关，即 $\delta_{D^2} = (\delta_D)^2$。本文通过建立特定谱序列的退化性（命题 2.5），从而在阿贝尔簇族中严格定义了这些不变量。
2. 平方映射的代数分析： 一个核心技术组成部分是对诱导自平方运算的映射 $M^2$ 进行分析。
   • 对于阿贝尔簇模空间 $\mathcal{A}_g$ ($g \geq 4$)，不变量空间被识别为 $\text{Hom}(V, \text{Sym}^2 V)$ 的一个商空间。
   • 对于曲线模空间 $\mathcal{M}_4$，不变量空间被识别为一个涉及 $V_2 = \text{Sym}^2 V / q$ 的商空间，其中 $q$ 是定义亏格 4 曲线正则嵌入的二次型。
   • 命题 3.1 证明了如果一个不变量的平方消失（或满足特定的比例关系），则该不变量本身必须是秩 $\leq 1$ 的（或与 Griffiths-Pirola 不变量成比例）。这依赖于涉及二维子空间限制和 Grassmann 流形的线性代数论证。
3. Ax-Shanuel 型论证： 一旦一个正则函数的局部提升被证明具有秩 1 的微分（或特定的代数结构），作者便采用了 Ax-Shanuel 型的结果（引用 [6], [1], [2]）以及单值群的性质（特别是其像在辛群中是 Zariski 稠密的）。这些论证迫使该正则函数是水平的（即其导数为零），这意味着该截面是挠性的。
4. 下降与上同调： 对于 Kummer 纤维化问题，作者利用了虽然截面 $\gamma$ 仅在正负号意义下定义，但其平方 $D_\gamma^2$ 是良定义的这一事实。通过将 $D_\gamma^2$ 与 Griffiths-Pirola 截面的平方 $D_{\gamma_P}^2$ 进行比较（利用定理 4.1，该定理指出通用纤维的 Chow 群是 1 维的），作者将问题简化为第 3 节中导出的无穷小不变量的线性关系。

主要结果

• 定理 1.2：

  • (i) 对于维度 $g \geq 4$ 的非常一般阿贝尔簇 $A$，若除子 $D \in \text{Pic}^0(A)$ 满足 $D^2 = 0$ 在 $\text{CH}^2(A)$ 中，则 $D$ 是一个挠点。
  • (ii) 该结论对于亏格 4 曲线的非常一般雅可比簇同样成立。
  • 推论： 这意味着集合 $\{x \in A \mid ({x} - \{0_A\})^{*2} = 0 \text{ in } \text{CH}^0(A)\}$ 正好由挠点组成。

• 定理 1.8 (Pirola 猜想)：

  • Kummer 纤维化 $K = J/\pm \text{Id} \to \mathcal{M}_4$ 的所有有理截面都是 Griffiths-Pirola 正则函数 $\gamma_P$ 的有理倍数。
  • 具体而言，任何有理截面 $\gamma$ 满足 $N\gamma = N'\gamma_P$，其中 $N, N'$ 为整数且 $N \neq 0$。

重要性与主张
本文解决了关于非常一般阿贝尔簇的 Chow 环中除子平方消失是否意味着该除子是挠点的问题，这是一个在维度 $g \geq 4$ 时仍悬而未决的问题。作者指出，虽然该结果对于所有 $g \geq 4$ 很可能都是成立的，但目前的证明需要 $g \geq 4$（特别是在雅可比情形下需要 $g=4$），这是由于这些维度下无穷小不变量的特定线性代数性质所致。

此外，本文为 Pirola 关于 Kummer 纤维化（它是雅可比簇的商）中唯一性问题的研究提供了确定性的回答。它确立了人们可能在 Kummer 纤维化上预期的“额外”有理截面并不存在；唯一的有理截面是由亏格 4 曲线的两个三角丛引起的规范几何构造所生成的。

这项工作将 Chow 环结构（特别是 0-循环的 Pontryagin 幂）的研究与正则函数及其无穷小不变量的理论联系起来，证明了 Griffiths-Pirola 截面的非零不变量是存在其他有理截面的关键障碍。作者明确指出，用于定理 1.2 的方法可以潜在地扩展到研究更高次幂 $D^k = 0$，从而引出一个猜想：对于 $g \geq 2k$，满足 $D^k=0$ 的除子仅为挠除子。