[论文解读] Character sums for elliptic curve densities

Julio Brau|arXiv (Cornell University)|Mar 12, 2017

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

本文提出了一种字符和框架，用于计算椭圆曲线 $E$ 在 $\mathbb{Q}$ 上的有理点群 $\tilde{E}(\mathbb{F}_p)$ 为循环群的素数 $p$ 的纠缠校正因子。通过将校正因子解释为字符和，该方法实现了显式的非零判定准则，并被应用于研究算术级数条件下的密度以及 Koblitz 的猜想，从而对这些密度给出了精确的计算预测。

ABSTRACT

If $E$ is an elliptic curve over $\mathbb{Q}$, then it follows from work of Serre and Hooley that, under the assumption of the Generalized Riemann Hypothesis, the density of primes $p$ such that the group of $\mathbb{F}_p$-rational points of the reduced curve $ ilde{E}(\mathbb{F}_p)$ is cyclic can be written as an infinite product $\prod δ_\ell$ of local factors $δ_\ell$ reflecting the degree of the $\ell$-torsion fields, multiplied by a factor that corrects for the entanglements between the various torsion fields. We show that this correction factor can be interpreted as a character sum, and the resulting description allows us to easily determine non-vanishing criteria for it. We apply this method in a variety of other settings. Among these, we consider the aforementioned problem with the additional condition that the primes $p$ lie in a given arithmetic progression. We also study the conjectural constants appearing in Koblitz's conjecture, a conjecture which relates to the density of primes $p$ for which the cardinality of the group of $\mathbb{F}_p$-points of $E$ is prime.

研究动机与目标

• 开发一种系统化方法，用于计算满足 $\tilde{E}(\mathbb{F}_p)$ 为循环群的素数 $p$ 的密度中的纠缠校正因子。
• 将 Hooley 对 Artin 原根猜想的处理方法推广至椭圆曲线点群结构的设定。
• 为循环群情形下的密度常数提供显式的非零判定准则，尤其在 GRH 假设下。
• 将该框架扩展至研究算术级数中的素数密度，并分析 Koblitz 关于 $\#\tilde{E}(\mathbb{F}_p)$ 为素数的猜想。

提出的方法

• 将纠缠校正因子 $\mathfrak{C}_E$ 解释为字符和，从而实现显式计算与非零性分析。
• 利用伽罗瓦群 $\mathrm{Gal}(\mathbb{Q}(E[m]) / \mathbb{Q})$ 对扭结域 $\mathbb{Q}(E[\ell])$ 及其交集进行伽罗瓦理论分解。
• 将局部密度 $\delta_\ell = 1 - \frac{1}{[\mathbb{Q}(E[\ell]):\mathbb{Q}]}$ 与字符和校正因子结合，形成全局密度 $C_E = \mathfrak{C}_E \prod_\ell \delta_\ell$。
• 对于满足 $\mathbb{Q}(E[2]) \subset \mathbb{Q}(E[3])$ 的曲线，通过亏格为 0 的模曲线 $X_H$ 计算校正因子，其有理点参数化此类曲线。
• 利用机器计算验证了在 $p \leq 10^8$ 范围内，密度预测与实测数据高度一致。
• 该框架被扩展至研究算术级数中的素数以及分析 Koblitz 猜想，通过字符和计算相关校正因子。

实验结果

研究问题

• RQ1 纠缠校正因子在满足 $\tilde{E}(\mathbb{F}_p)$ 为循环群的素数 $p$ 的密度中的精确形式是什么？它在何时为零？
• RQ2 如何将校正因子表示为字符和，以实现有效的非零性判定？
• RQ3 该方法能否被调整以计算在算术级数限制下此类素数的密度？
• RQ4 当 $m_1, m_2$ 互素时，扭结域 $\mathbb{Q}(E[m_1])$ 与 $\mathbb{Q}(E[m_2])$ 之间的非交换交集具有何种结构？
• RQ5 该方法如何应用于 Koblitz 猜想，即关于 $\#\tilde{E}(\mathbb{F}_p)$ 为素数的素数密度问题？

主要发现

• 证明了纠缠校正因子 $\mathfrak{C}_E$ 可表示为字符和，从而实现显式计算与非零性分析。
• 对于椭圆曲线 $Y^2 = X^3 - 63504X + 6223392$，预测的满足 $\tilde{E}(\mathbb{F}_p)$ 为循环群的素数密度为 $C_E \approx 0.831066$，与 $p \leq 10^8$ 范围内的实测密度 $0.831069$ 高度一致。
• 校正因子当且仅当字符和为零时为零，提供了密度为零的明确判定准则。
• 该方法成功推广至算术级数中的素数情况，推广了经典的 Artin 型密度结果。
• 扭结域之间的唯一非交换纠缠发生在 $\mathbb{Q}(E[2]) \subset \mathbb{Q}(E[3])$ 时，此类曲线由亏格为 0 的模曲线 $X_H$ 参数化，其显式 $j$-不变量为 $j = 2^{10}3^3 t^3(1 - 4t^3)$。
• 该框架为 Koblitz 猜想及相关问题提供了一种系统化方法，通过将校正因子计算简化为字符和的求值。