Torsion cycles on Fermat varieties

这是一份关于 Ramesh Sreekantan 撰写的论文《Torsion cycles on Fermat varieties》（费马簇上的挠循环）的详细技术总结。

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

• 核心问题：研究代数簇上特定类型的代数循环（algebraic cycles）在中间雅可比簇（intermediate Jacobian）或高阶阿贝尔 - 雅可比映射（Abel-Jacobi map）下的性质，特别是它们是否为挠元（torsion）。
• 历史背景：
  • Manin-Drinfeld 定理：模曲线上由尖点（cusps）支撑的零次除子在雅可比簇中是挠元。Elkik 利用混合霍奇结构（Mixed Hodge Structures, MHS）的扩张理论给出了一个优雅的证明。
  • Rohrlich 定理：将上述结论推广到费马曲线（Fermat curves）。Rohrlich 证明了费马曲线上由“费马点”（即坐标轴与曲线的交点）支撑的零次除子在雅可比簇中是挠元。
• 本文目标：
  1. 利用 Elkik 的混合霍奇结构方法，重新证明 Rohrlich 关于费马曲线的定理。
  2. 将这一方法推广到**高余维数（higher codimension）**的费马超曲面（Fermat hypersurfaces），证明支撑在线性子簇（linear subvarieties）上的零同调循环（null-homologous cycles）在中间雅可比簇中是挠元。
  3. 将结论进一步推广到高阶 Chow 群（higher Chow groups），证明特定类型的动机循环（motivic cycles）的调节器（regulator）在 Deligne 上同调中为零（即挠元）。

2. 方法论 (Methodology)

本文的核心方法论基于混合霍奇结构（MHS）的扩张理论和群作用下的表示论。

• 混合霍奇结构与扩张：
  • 利用 Deligne 的混合霍奇结构理论。对于光滑射影簇 $X$ 和支撑在子簇 $|D|$ 上的循环，考虑开簇 $Y = X - |D|$ 的上同调。
  • 存在一个长正合序列，其中 $H^{2p-1}(Y)$ 的霍奇结构包含一个权重为 $2p-1$ 的部分和一个权重为 $2p$ 的部分。
  • 一个零同调循环 $Z$ 对应于一个短正合序列（扩张）：
    $$0 \to H^{2p-1}(X) \to E_Z \to \mathbb{Z}(-p) \to 0$$
  • 根据 Carlson 定理，如果该扩张在混合霍奇结构范畴中分裂（splits），则对应的循环在中间雅可比簇中是挠元。
• 费马簇的对称性：
  • 利用费马超曲面 $F^n_d$ 上的群作用。群 $G^n_d \cong \mu_d^{n+1}$（$d$ 次单位根群）作用在费马簇上。
  • 分析上同调群 $H^*(F^n_d)$ 和 $H^*_{|D|}(F^n_d)$ 作为 $G^n_d$-模的分解。
  • 关键技巧：构造一个投影算子 $T = \frac{1}{|G|} \sum g$，利用群作用在不同权重部分上的特征标性质，证明序列分裂。

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

3.1 费马超曲面上的零同调循环 (Theorem 3.1 & Corollary 3.2)

• 定理 3.1：设 $F^n_d$ 为 $n$ 维费马超曲面，$S^p_d$ 为所有余维数为 $p$ 的线性子簇（由坐标超平面 $X_i=0$ 截得）的并集。
  • 序列 $0 \to H^{2p-1}(F^n_d, \mathbb{Q}) \to H^{2p-1}(F^n_d - S^p_d, \mathbb{Q}) \to H^{2p}_{S^p_d}(F^n_d, \mathbb{Q})_0 \to 0$ 是霍奇结构的分裂正合序列。
  • 其中 $H^{2p}_{S^p_d}(F^n_d, \mathbb{Q})_0$ 是零同调循环生成的核。
• 推论 3.2：任何支撑在 $S^p_d$ 上的零同调循环，在第 $p$ 个中间雅可比簇中是挠元。
  • 当 $n=1, p=1$ 时，这还原为 Rohrlich 关于费马曲线的定理。
  • 证明思路：对于 $n > 1$，群 $G^n_d$ 在线性子簇的上同调类上作用平凡，而在原始上同调（primitive cohomology）上作用非平凡（特征标非平凡）。利用投影算子 $T$ 可以分离出权重为 $2p$ 的纯霍奇子结构，从而证明序列分裂。

3.2 高阶 Chow 群与动机循环 (Theorem 4.2 & Corollary 4.3)

• 背景：高阶 Chow 群 $CH^p(X, q)$ 中的元素可以看作动机循环。Beilinson 猜想指出，对于数域上的簇，阿贝尔 - 雅可比映射（调节器映射）是单射。
• 定理 4.2：对于费马超曲面 $F^n_d$ ($n > 1$)，考虑由线性子簇及其上的函数构成的特定高阶循环 $y$。
  • 相关的霍奇结构序列在原始上同调部分也是分裂的。
• 推论 4.3：对于形式为 $y = \sum (Z_I, f_{I1}, \dots, f_{Iq})$ 的动机循环（其中 $Z_I$ 是线性子簇，$f$ 的除子支撑在线性子簇上），其**调节器（regulator）**在 Deligne 上同调群 $H^{2p-q}_D(F^n_d, \mathbb{Q}(p))$ 中为 0。
  • 这意味着这些循环在中间雅可比簇意义下是挠元。
  • 注记：如果 Beilinson-Bloch 猜想成立，则这些循环在 Chow 群本身中也是挠元。

3.3 非挠循环的存在性 (Section 5)

• 文章指出，上述“自然构造”（基于线性子簇和坐标函数）产生的循环都是挠元，但这并不意味着费马簇的 Chow 群是平凡的。
• 通过费马簇的归纳结构（$F^r_d \times F^s_d \dashrightarrow F^{r+s}_d$），可以将 Gross-Schoen 修改对角循环（modified diagonal cycles）映射到费马超曲面上。
• 这些由乘积结构产生的循环（如 $CH^2_{hom}((F^1_d)^3)$ 中的 Gross-Schoen 循环）很可能是非挠的，这为费马簇上存在非平凡代数循环提供了证据。

4. 技术细节与限制 (Technical Details & Limitations)

• 维度限制：
  • 主要定理适用于 $n > 1$ 的情况。
  • 当 $n=1$（费马曲线）时，线性子簇退化为点（0 维），且这些点不是不可约的（在群作用下轨道不同），导致群作用分析失效。事实上，费马曲线上存在非平凡的高阶循环（如 Ross 构造的 $CH^2(F^1_d, 2)$ 中的循环）。
• 维数匹配：
  • 最有趣的情况发生在 $n = 2p - 1$ 时（即中间上同调），此时 Deligne 上同调由中间上同调决定。
• 分解循环：
  • 文章明确排除了“可分解循环”（decomposable cycles），即由常数函数和线性子簇乘积构成的平凡循环。

5. 意义与影响 (Significance)

1. 统一证明框架：成功地将 Elkik 关于模曲线尖点除子的混合霍奇结构证明方法，推广到了费马簇的高余维数情形，提供了一个统一且概念清晰的视角。
2. 高阶循环的挠性：证明了费马簇上由“线性”几何结构（坐标超平面截口）生成的特定高阶动机循环，其调节器为零。这为理解费马簇的高阶 Chow 群结构提供了重要约束。
3. 区分平凡与非平凡：通过对比“线性构造”产生的挠循环和“乘积结构”产生的潜在非挠循环（Gross-Schoen 循环），清晰地界定了费马簇上代数循环的复杂性来源。
4. 与猜想的联系：结果支持了 Beilinson-Bloch 猜想的推论，即如果调节器为零，则循环本身应为挠元（在数域定义的情况下）。

总结：这篇论文利用混合霍奇结构的分裂性质，结合费马簇的对称群作用，证明了费马簇上由线性子簇支撑的零同调循环和高阶动机循环在中间雅可比簇中是挠元。这一结果不仅重新证明了 Rohrlich 的经典定理，还将其推广到了高维和高阶情形，同时指出了费马簇上非挠循环存在的潜在来源。