Group-theoretic Johnson classes and a non-hyperelliptic curve with torsion Ceresa class

本文通过构造群论版的 Johnson/Morita 上同调类并将其应用于光滑曲线的 pro-l 平展基本群，揭示了其与 Hain 和 Matsumoto 工作的联系，并据此构造了一个非超椭圆曲线，其 Ceresa 类在 l 进 Abel-Jacobi 映射下的像具有挠性。

要点

这篇文章讲述了一个关于数学中“形状”与“对称性”的深刻故事，特别是关于一种叫做代数曲线（可以想象成弯曲的线或环）的物体。

为了让你轻松理解，我们可以把这篇论文的核心内容想象成一场**“寻找完美对称的侦探游戏”**。

1. 背景：什么是“Ceresa 循环”？

想象你有一根橡皮筋（这就是一条代数曲线）。

• 如果你把这根橡皮筋放在一个特殊的容器（雅可比簇，可以想象成一个复杂的几何空间）里，它会形成一个特定的形状。
• 数学家们发现，对于大多数复杂的橡皮筋（非超椭圆曲线），如果你把它“翻转”一下（就像把橡皮筋翻个面），翻转后的形状和原来的形状并不完全重合。
• 这种“不重合”的程度，被数学家称为Ceresa 循环。
  • 如果它们完全重合（或者只差一点点，可以忽略不计），我们就说这个循环是**“平凡”**的（Trivial）。
  • 如果它们不重合，这个循环就是**“非平凡”**的。

以前的认知（旧观念）：
数学家们一直认为，只有那些**“超椭圆曲线”（一种非常对称、像甜甜圈一样规则的曲线）的 Ceresa 循环才是“平凡”的。换句话说，大家觉得：“只有长得特别对称的曲线，翻转后才会和原来一样。”** 如果一条曲线长得歪歪扭扭（非超椭圆），它的 Ceresa 循环肯定是不平凡的。

2. 本文的突破：打破旧观念

这篇论文的作者们（Dean Bisogno, Wanlin Li 等人）发现了一个惊人的事实：这个旧观念是错的！

他们找到了非超椭圆曲线（长得歪歪扭扭的曲线），但它们的 Ceresa 循环竟然是**“平凡”的（或者说是“扭转”**的，Torsion，意思是虽然看起来不重合，但在某种数学尺度下，它们其实是“等价”的，就像转了几圈后回到了原点）。

这就像什么？
想象你有一个形状奇怪的泥塑（非超椭圆曲线）。按照常理，如果你把它翻个面，它应该看起来完全不一样。但作者们发现，有些奇怪的泥塑，翻个面后，虽然看起来不一样，但在数学的“魔法”下，它其实和原来的形状是**“同一种东西”**。

3. 他们是怎么做到的？（核心工具：群论侦探）

作者们没有直接去研究那些复杂的曲线，而是发明了一种**“群论”（Group Theory）的工具，就像给曲线拍了一张“指纹”**。

• 群论指纹： 每一条曲线都有一个对应的“数学指纹”（称为基本群）。这个指纹记录了曲线所有的对称性和连接方式。
• Johnson 类（Johnson Class）： 作者们从这个指纹中提取了一个特殊的数值，叫Johnson 类。
  • 如果这个数值是“零”或“有限循环”（Torsion），那就意味着这条曲线的 Ceresa 循环是“平凡”的。
  • 他们证明了：只要 Johnson 类是“扭转”的，Ceresa 循环就是“扭转”的。

比喻：
以前人们想直接去测量橡皮筋的“翻转程度”（Ceresa 循环），这很难。作者们发明了一个**“测谎仪”**（Johnson 类）。只要测谎仪显示“通过”（即 Johnson 类是扭转的），我们就知道这条橡皮筋虽然看起来奇怪，但它的翻转程度在数学上是“合格”的。

4. 具体的发现：两个著名的例子

作者们用这个新工具找到了两个具体的“嫌疑人”（曲线）：

1. Fricke-Macbeath 曲线（7 维的怪物）：

   • 这是一条非常特殊的曲线，拥有极其复杂的对称群（PSL2(8)）。
   • 它不是超椭圆曲线（长得不够规则）。
   • 但是，作者们计算出它的 Johnson 类是“扭转”的。
   • 结论： 这条奇怪的曲线，翻转后在数学上竟然和原来“一样”！

2. 3 维的“后代”曲线：

   • 作者们发现，如果你把上面那条 7 维的曲线“切”一下（取商），会得到一条3 维的非超椭圆曲线。
   • 神奇的是，这条 3 维的“后代”也继承了“扭转”的特性。
   • 意义： 这直接推翻了“只有超椭圆曲线才有平凡 Ceresa 循环”的猜想。

5. 为什么这很重要？

• 打破教条： 它告诉数学家，世界比他们想象的要复杂。有些看起来不规则的东西，在深层结构上可能有着惊人的对称性。
• 连接不同领域： 这项工作连接了几何（曲线的形状）、代数（群论）和数论（伽罗瓦群）。
• 验证猜想： 文章提到，这个发现验证了著名的Beilinson 猜想（一个关于数学深层结构的宏大猜想）。简单来说，就是数学界的“预言”成真了：某些特殊的曲线，其复杂的代数结构确实会导致它们的 Ceresa 循环是“扭转”的。

总结

这篇论文就像侦探小说：

1. 旧案： 大家都以为只有“完美对称”的曲线（超椭圆）才会在翻转后保持“不变”。
2. 新线索： 作者们发明了一个新的“指纹识别器”（Johnson 类），用来检测曲线的深层结构。
3. 破案： 他们发现了一些**“长得奇怪但内在对称”**的曲线（非超椭圆），它们的指纹显示它们其实也是“不变”的。
4. 结果： 彻底改写了数学家对曲线对称性的理解，并证明了这些奇怪的曲线确实存在。

这就好比我们发现，有些长得歪歪扭扭的云朵，在特定的光照下，竟然能投射出完美的圆形影子。这让我们对“形状”和“对称”有了全新的认识。

技术摘要

这篇论文《群论 Johnson 类与非双椭圆曲线及其挠 Ceresa 类》（Group-theoretic Johnson classes and non-hyperelliptic curves with torsion Ceresa class）由 Dean Bisogno, Wanlin Li, Daniel Litt 和 Padmavathi Srinivasan 撰写，发表于 Épijournal de Géométrie Algébrique (2023)。

以下是对该论文的详细技术总结：

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

• Ceresa 循环与类： 对于亏格 $g \ge 3$ 的光滑射影曲线 $X$，Ceresa 循环定义为 $X - X^-$（其中 $X^-$ 是 $X$ 在雅可比簇 $Jac(X)$ 中的负像）。Ceresa 证明了对于一般的曲线，该循环在代数等价下非平凡。通过 $\ell$-adic 循环类映射，它产生一个 Galois 上同调类，称为 Ceresa 类（记为 $\mu(X,x)$ 或 $\nu(X)$）。
• 已知结果： 如果 $X$ 是双椭圆曲线（hyperelliptic）且基点 $x$ 是 Weierstrass 点，则 Ceresa 类是平凡的。Hain 和 Matsumoto [HM05] 利用 $X$ 的 pro-$\ell$ 平展基本群上的 Galois 作用重新解释了这些类。
• 核心问题： 是否存在非双椭圆曲线，其 Ceresa 类（或其 Galois 上同调类比）是挠元（torsion）？
  • 这是一个长期存在的猜想（Folk expectation），即 Ceresa 类为挠元可能意味着曲线是双椭圆的。
  • 作者旨在通过构造新的群论工具来寻找反例，并研究这些类的性质。

2. 方法论 (Methodology)

作者采用了一种纯群论（group-theoretic）的构造方法，将几何问题转化为 pro-$\ell$ 群的上同调问题。

• 群论构造：

  • 设 $G$ 是一个有限生成的 pro-$\ell$ 群，其阿贝尔化 $G^{ab}$ 无挠。
  • 定义增广理想 $I \subset \mathbb{Z}_\ell[[G]]$。
  • 构造修正对角类（Modified Diagonal Class, $MD_{univ}$）：作为 $Aut(G)$ 模扩张的上同调类，对应于短正合列 $0 \to I^2/I^3 \to I/I^3 \to I/I^2 \to 0$。
  • 构造Johnson 类（Johnson Class, $J_{univ}$）：通过考虑 $G$ 在 $Aut(G)$ 作用下的平凡性，将 $MD_{univ}$ 下降（descend）到外自同构群 $Out(G)$ 的上同调中。这消除了基点依赖性。
  • 系数群：利用交换子映射 $m: I/I^2 \to Hom(I/I^2, I^2/I^3)$ 的余核 $A(G)$ 来定义 Johnson 类的系数。

• 几何化应用：

  • 将上述构造应用于光滑曲线 $X$ 的 pro-$\ell$ 平展基本群 $\pi_1^\ell(X)$。
  • 定义几何对象 $MD(X, x)$ 和 $J(X)$。
  • 与 Hain-Matsumoto 类的关系： 证明了在适当条件下（特别是 $\ell \neq 2$ 或考虑 2 倍挠时），作者构造的类与 Hain-Matsumoto 定义的 $\mu(X,x)$ 和 $\nu(X)$ 是等价的（或密切相关）。

• 挠性判定工具：

  • 利用上同调限制序列（Inflation-Restriction sequence）和半单性（Semisimplicity）论证。
  • 如果曲线 $X$ 的自同构群 $B$ 作用在系数模上使得不变子群 $H^0(B, \dots) = 0$，则 Johnson 类是挠的。
  • 证明了若曲线 $X$ 被一个具有挠 Johnson 类的曲线支配（dominated），则 $X$ 本身也具有挠 Johnson 类。

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

A. 理论框架的构建

• 提出了适用于任意具有无挠阿贝尔化的 pro-$\ell$ 群的 Johnson 类和修正对角类的群论定义。
• 证明了这些类在 $\ell=2$ 时比现有的 Hain-Matsumoto 构造提供了更精细的信息（例如，在 $\ell=2$ 时，作者构造的类可能包含更多细节，或者需要乘以 2 才能对应）。
• 建立了这些类与 Hain-Matsumoto 类在几何情形下的等价性（Proposition 2.23）。

B. 非双椭圆挠 Ceresa 类曲线的发现

这是论文最核心的贡献，打破了“挠 Ceresa 类蕴含双椭圆性”的猜想。

1. Fricke-Macbeath 曲线 (Genus 7)：

   • 考虑定义在特征 0 域上的 Fricke-Macbeath 曲线 $C$（亏格 7），其自同构群同构于单群 $PSL_2(8)$（阶为 504）。
   • 通过分析 $PSL_2(8)$ 在 $H^1(C)$ 上的表示（利用特征标表），证明了 $H^0(PSL_2(8), A(G)) = 0$。
   • 结论： 该曲线的 Johnson 类 $J(C)$ 和 Ceresa 类 $\nu(C)$ 是挠元（Proposition 3.4, Theorem 1.1）。这是已知第一个非双椭圆且 Ceresa 类为挠元的例子。

2. Genus 3 的非双椭圆曲线：

   • 利用支配关系定理（Theorem 3.7）：若 $X \to Y$ 是支配映射且 $J(X)$ 为挠，则 $J(Y)$ 也为挠。
   • 取 Fricke-Macbeath 曲线 $C$ 关于其阶为 2 的自同构 $\iota$ 的商 $C/\langle \iota \rangle$。
   • 通过 Riemann-Hurwitz 公式计算，该商曲线 $X'$ 的亏格为 3。
   • 通过模型分析（商曲线同构于 $\mathbb{P}^2$ 中的光滑四次曲线），证明 $X'$ 不是双椭圆的。
   • 结论： 存在亏格为 3 的非双椭圆曲线，其 Johnson 类和 Ceresa 类为挠元（Corollary 3.8）。

C. 超椭圆曲线的性质

• 证明了对于任何超椭圆曲线，其 Johnson 类 $J(X)$ 是 2-挠的（Proposition 3.2）。这为已知结果提供了新的群论视角。

4. 意义与影响 (Significance)

• 否定猜想： 论文提供了明确的反例，否定了“Ceresa 类为挠元等价于曲线为双椭圆”的民间猜想（Remark 1.2）。
• Beilinson 猜想的验证： 正如 Benedict Gross 指出的（Remark 1.3），Fricke-Macbeath 曲线作为 Shimura 曲线，其 Ceresa 循环所在的 Chow 群的秩由 $L$-函数值控制。Gross 预测该秩为 0，意味着 Ceresa 类必须是挠的。本文的群论构造为这一预测提供了独立的、基于拓扑/群论的验证（尽管 Qiu 和 Zhang 后来给出了基于自守形式的无条件证明）。
• 方法论创新： 展示了如何通过抽象群论（pro-$\ell$ 群的上同调）来研究代数几何中的深刻问题（如 Ceresa 循环），这种方法不依赖于曲线是否完备（proper），适用于更广泛的 Demuskin 群。
• 历史背景： 论文还梳理了相关历史，指出 Schoen 曾构造过类似的 Genus 3 例子但未发表，而 Beauville 后来独立发现了类似例子。本文的工作给出了一个基于 Fricke-Macbeath 曲线的自然构造，并给出了严格的证明。

总结

该论文通过引入群论视角的 Johnson 类和修正对角类，成功构造了非双椭圆曲线（包括亏格 7 和亏格 3 的曲线），其 Ceresa 类在 $\ell$-adic Abel-Jacobi 映射下是挠的。这一结果不仅解决了关于 Ceresa 类性质的一个长期猜想，还展示了群上同调方法在算术几何中的强大应用潜力。