On the Hodge and Tate conjectures for moduli spaces of curves

技术摘要：关于曲线模空间的霍奇猜想与泰特猜想

问题陈述
霍奇猜想与泰特猜想是连接代数簇上同调与代数圈的核心问题，但至今 largely 未解。历史上的进展主要依赖于在非平凡族中变形的簇（如阿贝尔簇、K3 曲面）或具有特殊自同态的簇，而稳定曲线的模空间 $\mathcal{M}_{g,n}$ 提供了一个截然不同的测试场。这些空间并不在族中变形，而是形成一个无限的离散集合，具有丰富且复杂的霍奇结构与伽罗瓦表示。本文致力于验证 $\mathcal{M}_{g,n}$ 上同调中的霍奇猜想与泰特猜想，特别是其广义共水平形式（generalized coniveau forms）。广义形式询问上同调中的特定子结构（子霍奇结构或伽罗瓦子表示）是否支撑在具有预测余维数的代数子集上，而不仅仅是询问偶次类是否源于代数圈。

方法论
本文综合了最新的上同调计算与由 Arbarello 和 Cornalba 建立的归纳框架。方法论依赖于三个主要支柱：

1. 归纳边界分层：证明策略利用了 $\mathcal{M}_{g,n}$ 按稳定曲线拓扑类型的分层。边界除子 $\bar{D}_{g,n}$ 是较小模空间的不交并。利用定位序列和权论证，$\mathcal{M}_{g,n}$ 上的上同调类与较小模空间上的类以及内部上同调的纯权部分相关联。
2. 典范生成：核心技术是确定上同调群是否由典范类（由 $\kappa$-类、$\psi$-类和边界类生成）生成。如果 $H^{2k}(\mathcal{M}_{g,n})$ 是典范的，则霍奇猜想和泰特猜想对余维数 $k$ 的圈成立。本文采用“半典范扩张”来控制高次上同调，将问题归约为基础情形。
3. 算术启发与分类：结果受 Chenevier 和 Lannes 对权 $\le 22$ 的自守表示的分类所指导。该分类预测了在 $\mathbb{Z}$ 上光滑且真（proper）的簇的上同调中出现的特定动机结构（例如 $S_{12}$、$S_{16}$）。本文利用这些预测来识别非典范类（特别是奇数次类）的预期支撑轨迹。
4. 基础情形验证：归纳论证需要显式验证小 $g$ 和 $n$ 的基础情形。这些验证通过以下方式建立：
   • 有限域上的点计数以及 Behrend–Grothendieck–Lefschetz 迹公式。
   • Chow–Künneth 生成性质。
   • 显式几何构造（例如 Mukai 对典范曲线的描述）。
   • 拓扑消失定理（例如 Harer 关于虚拟上同调维数的界）。

主要贡献与结果

• 特定范围内的猜想验证：本文证明了广义霍奇猜想和泰特猜想在 $\mathcal{M}_{g,n}$ 的一个令人惊讶的广泛度数范围内成立：

  • 余维数 1 和 2：对所有 $g, n$ 成立。
  • 余维数 3：对所有 $n$ 和 $g \notin \{7, 8, 9\}$ 成立。
  • 维数 $\le 7$：对所有 $g, n$ 成立。
  • 广义霍奇猜想：对 $H^k(\mathcal{M}_{g,n})$ 成立，其中 $k$ 为偶数且 $k \le 4$（所有 $g,n$），$k=6$（$g \notin \{7,8,9\}$），$k$ 为奇数且 $k \le 13$（所有 $g,n$），以及 $k = 2d-j$（$0 \le j \le 15$）。
  • 广义泰特猜想：在有限生成域 $L$ 上，在上述相同范围内成立，但需满足 $L$ 的特征 $p$ 的正则性条件（具体而言，$p$ 不得整除 $S_{12}$ 的 Ramanujan $\tau$-函数，或 $S_{16}$ 的权 16 尖点形式的傅里叶系数）。

• 上同调群的结构：

  • 偶数次：对于低偶数次（$k \le 6$，其中 $g \in \{7,8,9\}$ 时 $k=6$ 除外），上同调由典范类生成。
  • 奇数次：对于奇数 $k < 11$，$H^k(\mathcal{M}_{g,n}) = 0$。对于 $k=11$，上同调是 $S_{12} := W_{11}H^{11}(\mathcal{M}_{1,11})$ 的泰特扭曲的直和，这与 Ramanujan 尖点形式 $\Delta$ 相关。对于 $k=13$，上同调支撑在除子（边界层）上，并由 $S_{12}$ 的泰特扭曲组成。
  • 高次：通过庞加莱对偶和 Hard Lefschetz 定理，低次结果蕴含了高次（$2d-k$）的结果。

• 动机结构：本文确认了 $H^*(\mathcal{M}_{g,n})$ 中出现的权高达 15 的动机结构与 Chenevier–Lannes 分类一致。具体而言，奇次上同调在 11 次以下消失，$H^{11}$ 源于 $S_{12}$，而 $H^{13}$ 源于由边界支撑的 $S_{12}$ 的泰特扭曲。

• 关于 Chow 群的猜想：本文提出了Chow 10 猜想，断言有理 Chow 群 $A^k(\mathcal{M}_{g,n})_\mathbb{Q}$ 由 $k \le 10$ 的典范圈生成。这意味着对于 $k \le 10$，圈类映射是同构。

意义与主张
本文主张，边界分层的归纳结构，结合现代算术预测和显式的低亏格计算，验证了此前无法触及的广义霍奇猜想和泰特猜想。

• 方法的新颖性：与依赖族中变形的传统方法不同，这项工作表明 $\mathcal{M}_{g,n}$ 的“典范粘合与遗忘态射”以及边界分层提供了足够的结构来验证这些深刻的猜想。
• 连接算术与几何：本文强调了关于 $\mathbb{Z}$ 上动机的算术预测（Chenevier–Lannes）如何作为几何证明的指南。几何结果无条件地证实了这些关于曲线模空间的预测。
• 未解决问题：本文指出了具体的剩余挑战，包括：
  • 证明当 $g \in \{7, 8, 9\}$ 时 $H^6(\mathcal{M}_{g,n})$ 的典范生成性。
  • 验证 $H^{15}(\mathcal{M}_{g,n})$ 的广义霍奇猜想。
  • 研究在非正则素数（即 $p | \tau(p)$）处的上同调支撑，此处预测的共水平会发生跳跃。
  • 为出现在不同模空间中的同构动机结构（例如 $\mathcal{M}_{1,17}$ 和 $\mathcal{M}_{2,14}$ 中的 $S_{18}$）构造代数圈，而目前尚无已知的几何解释。

这项工作确立了 $\mathcal{M}_{g,n}$ 作为动机猜想的稳健测试场，提供了一个“令人惊讶的广泛范围”的已验证案例，同时 delineated 了新现象（如非典范类和非正则素数）出现的确切边界。