🔢 mathematics

The Lang-Trotter conjecture on average for genus-$2$ curves with $S_3$ reduced automorphism group

本文将朗 - 特罗特猜想推广至亏格为 2 的曲线，并针对具有 $S_3$ 约化自同构群的一类特定曲线族，建立了该猜想在平均意义下的类似结果。

原作者： Chihiro Ando, Shushi Harashita

发布于 2026-04-02

📖 1 分钟阅读🧠 深度阅读

原作者： Chihiro Ando, Shushi Harashita

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文听起来充满了高深的数学符号，但如果我们把它想象成一场**“寻找特殊数字的寻宝游戏”**，就会变得有趣得多。

想象一下，数学世界里有一个巨大的**“数字动物园”**。

1. 背景：我们在找什么？

在这个动物园里，住着一种叫做**“椭圆曲线”**（Elliptic Curves）的神奇生物。它们长得像方程 $y^2 = x^3 + ax + b$ 画出来的平滑曲线。

数学家们发现，这些生物在特定的“天气”（也就是特定的素数 $p$ ）下，会表现出一种非常罕见的特性，叫做**“超奇异”**（Supersingular）。这就好比某些动物只在特定的季节才会换毛，或者只有在特定的温度下才会发光。

老故事（朗 - 特罗特猜想）： 以前，数学家朗（Lang）和特罗特（Trotter）猜测，对于普通的椭圆曲线，这种“超奇异”现象发生的频率大概是 $\frac{\sqrt{X}}{\log X}$ 。但这就像是一个很难证明的预言，没人能完全证实。
平均视角的突破： 后来，Fouvry 和 Murty 想：“既然单看一条曲线太难，那如果我们看一大群曲线，算个平均值呢？”他们发现，虽然单条曲线很难预测，但如果你把成千上万条曲线混在一起看，它们的“超奇异”总数确实符合那个预言的规律。这被称为**“朗 - 特罗特猜想的平均值”**。

2. 这篇论文做了什么？（从二维到三维的升级）

这篇论文的作者（Chihiro Ando 和 Shushi Harashita）决定把游戏升级：

以前的游戏： 玩的是“椭圆曲线”（可以想象成二维的圆环面）。
现在的游戏： 他们玩的是**“亏格为 2 的曲线”（Genus-2 curves）。你可以把它们想象成“双孔甜甜圈”**，比普通的圆环面更复杂，有两个洞。

他们特别关注一种长得很有规律的“双孔甜甜圈”，方程长这样：
$y^2 = x(x-1)(x-\lambda)(x-\frac{\lambda-1}{\lambda})(x-\frac{1}{1-\lambda})$
这里的 $\lambda$ 就像一个**“魔法旋钮”**。转动这个旋钮（改变 $\lambda$ 的值），就会生成成千上万种不同的“双孔甜甜圈”。

3. 核心挑战：如何数数？

作者的目标是：转动这个“魔法旋钮” $\lambda$ ，看看有多少个 $\lambda$ 能让生成的“双孔甜甜圈”在特定的素数 $p$ 下变成“超奇异”状态。

难点在于：
这些曲线太复杂了，直接数太难。作者发现了一个**“作弊码”**（或者说一个巧妙的转换）：

一个“双孔甜甜圈”是“超奇异”的，当且仅当它能拆解成两个普通的“椭圆曲线”（单孔圆环），而且这两个单孔圆环必须同时是“超奇异”的。

这就像你要判断一个复杂的机器是否坏了，你只需要拆开它，看看里面的两个核心零件是否都坏了。

4. 关键发现：对称群 $S_3$ 的魔法

这篇论文研究的这些曲线，有一个特殊的家族特征：它们的**“对称群”**（Reduced Automorphism Group）包含了一个叫做 $S_3$ 的数学结构。

通俗比喻： 想象一个正三角形。你可以旋转它（3 种方式），也可以翻转它（3 种方式），总共有 6 种对称操作。这 6 种操作构成的群体就是 $S_3$ 。
这篇论文研究的曲线，就像拥有这种“三角形对称性”的魔法生物。作者利用这种对称性，把复杂的计数问题转化为了更简单的**“类数”**（Class Numbers）问题。

类数是什么？
你可以把它想象成**“分类标签的数量”**。在数论中，某些数字（比如 $-p$ 或 $-3p$ ）有多少种不同的“分类方式”，这个数量就是类数 $h(-p)$ 。

5. 主要成果（定理 A, B, C）

作者通过一系列精妙的数学推导（涉及希尔伯特类多项式、模多项式等复杂工具，就像在迷宫里找路），得出了三个主要结论：

定理 A（单点计数）： 对于每一个素数 $p$ ，作者算出了有多少个 $\lambda$ 能让曲线“超奇异”。
- 结果非常漂亮：这个数量直接和类数 $h(-3p)$ 或 $h(-p)$ 挂钩。
- 比如，如果 $p$ 除以 4 余 1，那么数量就是 $\frac{3}{2} h(-3p)$ 。这就像发现了一个通用的**“计数公式”**。
定理 B（整数平均）： 如果我们在整数范围内转动“魔法旋钮” $\lambda$ （比如从 $-N$ 到 $N$ ），算出所有曲线的“超奇异”素数总数，然后取平均值。
- 结果发现：平均值确实遵循朗 - 特罗特猜想的规律，大约是 $\frac{\sqrt{X}}{\log X}$ 。
- 前面的系数变成了 $(6 + 4\sqrt{3})\frac{\pi}{9}$ 。这就像是在说：“虽然每只动物换毛时间不同，但整个兽群的换毛频率是稳定的。”
定理 C（有理数平均）： 如果 $\lambda$ 可以是分数（有理数），结论依然成立，只是系数稍微变了一下。

6. 总结：这有什么意义？

这就好比：
以前我们知道，如果随机撒一把豆子（椭圆曲线），其中“发芽”（超奇异）的豆子数量符合某个规律。
现在，作者把豆子换成了**“双孔甜甜圈”，并且专门挑选了那些“长得像三角形对称”**的甜甜圈。他们证明了：即使是在这种更复杂、更特殊的家族里，只要看足够多的样本，那个神奇的“发芽规律”依然成立！

一句话总结：
这篇论文把数学家们关于“椭圆曲线”的一个著名猜想，成功推广到了更复杂的“双孔甜甜圈”世界，并证明了在这个特殊对称的家族中，“平均而言，奇迹依然会发生”。这不仅扩展了我们对数字世界的理解，也展示了数学中“对称性”如何成为解开复杂谜题的钥匙。

这是一份关于论文《The Lang-Trotter conjecture on average for genus-2 curves with S3 reduced automorphism group》（具有 $S_3$ 约化自同构群的亏格 2 曲线的平均 Lang-Trotter 猜想）的详细技术总结。

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

Lang-Trotter 猜想背景：
- 对于定义在有理数域 $\mathbb{Q}$ 上且无复乘 (CM) 的椭圆曲线 $E$ ，Lang 和 Trotter 猜想：使得 $E$ 在素数 $p$ 处具有超奇异 (supersingular) 约化的素数 $p < X$ 的数量渐近于 $c \frac{\sqrt{X}}{\log X}$ ，其中 $c$ 是仅依赖于 $E$ 的正常数。
- 该猜想本身尚未被证明，但 Fouvry 和 Murty 证明了其平均形式 (on average)：对于椭圆曲线族 $E_{a,b}: y^2 = x^3 + ax + b$ ，当参数 $a, b$ 在一定范围内变化时，超奇异素数的平均分布符合上述渐近公式。
本文研究问题：
- 将 Lang-Trotter 猜想的平均形式推广到亏格 2 (genus-2) 曲线。
- 具体研究对象是参数化曲线族 $C_\lambda$ ：
  $C_\lambda : y^2 = x(x-1)(x-\lambda)\left(x - \frac{\lambda-1}{\lambda}\right)\left(x - \frac{1}{1-\lambda}\right)$
- 这类曲线的特征是：其约化自同构群 (reduced automorphism group) $RA(C_\lambda)$ 包含对称群 $S_3$ （对于几乎所有的 $\lambda$ ，同构于 $S_3$ ）。
- 核心目标：计算当 $\lambda$ 在 $\mathbb{Q}$ 中变化时，曲线 $C_\lambda$ 具有超特殊 (superspecial) 约化的素数 $p$ 的平均数量。
- 注：对于亏格 2 曲线，超特殊意味着其雅可比簇 (Jacobian variety) 同构于超奇异椭圆曲线的乘积。

2. 方法论 (Methodology)

本文采用了代数几何、数论和解析数论相结合的方法，主要分为以下几个步骤：

A. 将亏格 2 问题转化为椭圆曲线问题

利用 Ibukiyama, Katsura 和 Oort 的结论：曲线 $C_\lambda$ 是超特殊的，当且仅当与其关联的两个椭圆曲线 $E_{\Lambda_-(\lambda)}$ 和 $E_{\Lambda_+(\lambda)}$ 同时是超奇异的。
这两个椭圆曲线的方程涉及 $\sqrt{\lambda^2-\lambda+1}$ ，且它们之间存在3-等度 (degree-3 isogeny) 关系。
作者构造了具体的等度映射，证明了这两个椭圆曲线的自同构环结构，并确定了它们在有限域 $\mathbb{F}_p$ 上的性质。

B. 计数超奇异参数 $\lambda$ (Theorem A 的证明)

目标：计算 $\psi_p = \#\{\lambda \in \mathbb{F}_p \mid C_\lambda \text{ is superspecial}\}$ 。
分类讨论：根据素数 $p$ $p$ 模 4 和模 12 的余数进行分类：
1. $p \equiv 1 \pmod 4$ ：
  - 证明 $E_{\Lambda_\pm(\lambda)}$ 的自同构环包含 $\mathbb{Z}[\frac{1+\sqrt{-3p}}{2}]$ 。
  - 利用 Hilbert 类多项式 (Hilbert class polynomial) $P_{3p}(X)$ 。证明 $j$ -不变量是 $P_{3p}(X) \pmod p$ 的根。
  - 深入分析了 $P_{3p}(X) \pmod p$ 的因式分解（这是本文的一个关键创新点，此前未完全确定），利用 Gross-Zagier 公式和模多项式 $\Phi_n(X, Y)$ 的性质，确定了根的个数和重数。
2. $p \equiv 11 \pmod{12}$ ：
  - 证明 $\sqrt{\lambda^2-\lambda+1} \in \mathbb{F}_p$ ，且自同构环包含 $\mathbb{Z}[\frac{1+\sqrt{-p}}{2}]$ 。
  - 关联到 Hilbert 类多项式 $P_p(X)$ 。
  - 引入图论方法：构造一个图 $G_p$ ，顶点为 $P_p(X) \pmod p$ 的根，边表示存在 $\lambda$ 使得两个关联椭圆曲线的 $j$ -不变量对应。通过计算图的边权和顶点度数来统计 $\lambda$ 的数量。
3. $p \equiv 7 \pmod{12}$ ：
  - 证明不存在这样的 $\lambda$ ，即 $\psi_p = 0$ 。

C. 计算平均值 (Theorem B 和 C 的证明)

目标：计算 $\frac{1}{N} \sum_{|\lambda| \le N} \phi_\lambda(X)$ ，其中 $\phi_\lambda(X)$ 是 $C_\lambda$ 在 $p<X$ 时超特殊的素数个数。
交换求和顺序：将关于 $\lambda$ 的求和转化为关于素数 $p$ 的求和，利用 $\psi_p$ 的结果。
解析数论工具：
- 利用 Dirichlet 类数公式将类数 $h(-p)$ 和 $h(-3p)$ 转化为 $L$ -函数 $L(1, \chi)$ 。
- 应用 Polya 不等式 和 Abel 求和公式 处理特征和。
- 利用 Fouvry 和 Murty 的方法，结合 Legendre 符号的分布性质，估算主项。
高度 (Height)：分别处理了 $\lambda \in \mathbb{Z}$ 和 $\lambda \in \mathbb{Q}$ （按高度 $ht(\lambda)$ 限制）两种情况。

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

定理 A：超特殊参数的计数公式

对于素数 $p \ge 5$ ，满足 $C_\lambda$ 在 $\mathbb{F}_p$ 上超特殊的 $\lambda$ 的个数 $\psi_p$ 为：
$\psi_p = \begin{cases} \frac{3}{2}h(-3p) & \text{若 } p \equiv 1 \pmod 4 \\ 0 & \text{若 } p \equiv 7 \pmod{12} \\ 3h(-p) & \text{若 } p \equiv 11 \pmod{12} \end{cases}$

贡献：首次给出了具有 $S_3$ 约化自同构群的亏格 2 曲线族中超特殊约化参数的精确计数公式，并建立了其与类数 $h(-3p)$ 和 $h(-p)$ 的精确联系。特别是解决了 $P_{3p}(X) \pmod p$ 的因式分解问题。

定理 B：整数参数下的平均分布

对于 $N > X^{1+\epsilon}$ ，当 $\lambda$ 遍历绝对值小于 $N$ 的整数时，平均超奇异素数数量为：
$\frac{1}{N} \sum_{|\lambda| \le N} \phi_\lambda(X) \sim \frac{(6 + 4\sqrt{3})\pi}{9} \frac{\sqrt{X}}{\log X}$

贡献：证明了该曲线族的平均分布符合 Lang-Trotter 猜想的渐近形式，并给出了具体的常数系数。

定理 C：有理参数下的平均分布

对于 $N > X^{1+\epsilon}$ ，当 $\lambda$ 遍历高度小于 $N$ 的有理数时，平均超奇异素数数量为：
$\frac{1}{N^2} \sum_{\substack{\lambda \in \mathbb{Q} \\ ht(\lambda) \le N}} \phi_\lambda(X) \sim \frac{4(3 + 2\sqrt{3})}{3\pi} \frac{\sqrt{X}}{\log X}$

贡献：将结果推广到了有理参数族，进一步验证了该猜想的普适性。

4. 技术细节与创新点

$S_3$ 对称性的利用：文章深入研究了 $C_\lambda$ 的 $S_3$ 自同构结构，将其转化为两个具有特定 3-等度关系的椭圆曲线问题。
$P_{3p}(X) \pmod p$ 的因式分解：对于 $p \equiv 1 \pmod 4$ ，作者详细推导了 Hilbert 类多项式 $P_{3p}(X)$ 模 $p$ 的因式分解结构（包括重根 $8000 $和$ 54000$ 的出现条件），这是证明定理 A 的关键，此前文献中未完全覆盖。
图论与代数几何的结合：在 $p \equiv 11 \pmod{12}$ 的情况下，通过构造图 $G_p$ 并利用其度数性质来计算 $\lambda$ 的个数，这是一种巧妙且直观的组合计数方法。
Gross-Zagier 公式的应用：利用 Gross-Zagier 关于类多项式结式的公式，确定了多项式根的乘重数，从而精确计算了 $\psi_p$ 。

5. 意义 (Significance)

理论扩展：这是首次将 Lang-Trotter 猜想的平均形式成功推广到具有非平凡自同构群（特别是 $S_3$ ）的亏格 2 曲线族。此前该猜想主要在椭圆曲线（亏格 1）和具有 Klein-4 群的亏格 2 曲线族上被研究。
常数计算：给出了具体的渐近常数，这些常数依赖于 $S_3$ 对称性带来的几何结构（如 $6+4\sqrt{3}$ 等项的出现），揭示了自同构群结构对超奇异素数分布密度的影响。
方法论示范：展示了如何结合模形式、类域论（类多项式）、等度映射理论以及解析数论来解决高亏格曲线的算术问题，为后续研究其他类型的代数曲线提供了范例。

总结来说，这篇论文通过精细的代数几何分析和解析数论估计，成功建立了具有 $S_3$ 对称性的亏格 2 曲线族中“超特殊”约化的平均分布规律，是对 Lang-Trotter 猜想研究的重要补充。