[论文解读] A refinement of Koblitz's conjecture

David Zywina|ArXiv.org|Sep 29, 2009

Algebraic Geometry and Number Theory参考文献 15被引用 6

一句话总结

本文通过修正模不同素数的非独立可除性条件，对Koblitz关于非CM椭圆曲线 $ E $ 在 $ \mathbb{Q} $ 上的 $ \mathbb{F}_p $-点数为素数的频率的原始猜想进行了改进。作者将猜想推广至任意固定 $ t $ 使得 $ |E(\mathbb{F}_\mathfrak{p})|/t $ 为素数的情形，进一步扩展至一般数域，并利用伽罗华表示与切博泰列夫密度定理，给出了修正后的常数 $ \mathcal{C}_{E,t} $，数值证据与平均情形结果均支持该修正版本。

ABSTRACT

Let E be an elliptic curve over the number field Q. In 1988, Koblitz conjectured an asymptotic for the number of primes p for which the cardinality of the group of F_p-points of E is prime. However, the constant occurring in his asymptotic does not take into account that the distributions of the |E(F_p)| need not be independent modulo distinct primes. We shall describe a corrected constant. We also take the opportunity to extend the scope of the original conjecture to ask how often |E(F_p)|/t is prime for a fixed positive integer t, and to consider elliptic curves over arbitrary number fields. Several worked out examples are provided to supply numerical evidence for the new conjecture.

研究动机与目标

• 修正Koblitz原始猜想中的渐近常数，该常数未考虑模不同素数时可除性条件的非独立性。
• 将猜想推广至固定正整数 $ t $ 时 $ |E(\mathbb{F}_\mathfrak{p})|/t $ 为素数的情形，而不仅限于整体阶为素数的情形。
• 将猜想从 $ \mathbb{Q} $ 扩展至任意数域，扩大其在全局域中的适用范围。
• 利用伽罗华表示与切博泰列夫密度定理，提供 $ \mathcal{C}_{E,t} $ 的精确修正表达式。
• 提供数值证据，并证明平均情形结果，以支持在椭圆曲线族上修正后的猜想。

提出的方法

• 利用切博泰列夫密度定理计算满足 $ |E(\mathbb{F}_\mathfrak{p})| \equiv 0 \pmod{m} $ 的素点 $ \mathfrak{p} $ 的密度 $ \vartheta_m $，并考虑 $ \mathbb{Q}(E[m]) $-扩张之间的非线性不相交性。
• 通过伽罗华表示结构，结合局部密度与非独立性，构造修正后的常数 $ \mathcal{C}_{E,t} $，将其表示为素数 $ \ell $ 上的乘积。
• 将 $ \mathcal{C}_{E,t} $ 定义为对 $ \ell \mid M $（其中 $ M $ 控制 $ \ell $-进伽罗华表示的满射性）与 $ \ell \nmid M $ 的乘积，其中显式有理系数依赖于 $ \ell $。
• 应用容斥原理，估算满足 $ |E(\mathbb{F}_\mathfrak{p})|/t $ 为素数的 $ \mathfrak{p} $ 的密度，同时调整 $ t $ 与 $ |E(\mathbb{F}_\mathfrak{p})| $ 的公共因子。
• 利用内朗模型定义好约化素点处的 $ E(\mathbb{F}_\mathfrak{p}) $，确保在数域上点数的一致性。
• 证明在椭圆曲线族上，$ \mathcal{C}_{E,1} $ 的平均值收敛于一个普遍常数 $ \mathfrak{C} $，从而在平均意义下支持修正后的猜想。

实验结果

研究问题

• RQ1 原始Koblitz猜想是否因模不同素数时可除性条件的非独立性而失效？
• RQ2 Koblitz猜想中的渐近常数能否被修正，以反映 $ |E(\mathbb{F}_p)| \mod \ell $ 中局部行为的非独立性？
• RQ3 对于固定 $ t $，是否存在无穷多个素点 $ \mathfrak{p} $ 使得 $ |E(\mathbb{F}_\mathfrak{p})|/t $ 为素数？其正确的渐近密度为何？
• RQ4 修正后的猜想是否在任意数域上成立，而不仅限于 $ \mathbb{Q} $？
• RQ5 在椭圆曲线族上，修正后常数 $ \mathcal{C}_{E,t} $ 的平均行为如何？

主要发现

• 原始Koblitz常数因模2与3的可除性条件非独立而错误，如导数为 $ 2^4 3^4 $ 的例子所示，当 $ p > 5 $ 时 $ |E(\mathbb{F}_p)| $ 总被2或3整除。
• 修正后的常数 $ \mathcal{C}_{E,t} $ 通过伽罗华表示与切博泰列夫密度定理定义，其乘积结构考虑了 $ \mathbb{Q}(E[m]) $-扩张之间的非线性不相交性。
• 对于曲线 $ y^2 = x^3 + 9x + 18 $，有 $ \vartheta_2 = 2/3 $，$ \vartheta_3 = 3/4 $，但 $ \vartheta_6 = 5/12 $，表明 $ \vartheta_2 \vartheta_3 \neq \vartheta_6 $，从而否定独立性。
• 修正后的常数 $ \mathcal{C}_{E,t} $ 非负，可能为零；此时仅存在有限多个 $ \mathfrak{p} $ 使得 $ |E(\mathbb{F}_\mathfrak{p})|/t $ 为素数。
• 在椭圆曲线族上，$ \mathcal{C}_{E,1} $ 的平均值收敛于 $ \mathfrak{C} = \prod_\ell \left(1 - \frac{\ell^2 - \ell - 1}{(\ell-1)^3(\ell+1)}\right) $，支持修正猜想在平均意义下的成立。
• 平均常数 $ \mathcal{C}_{E,1} $ 的误差有界于 $ O((\log x)^\gamma / \sqrt{x}) $，从而在大 $ x $ 时无条件收敛于 $ \mathfrak{C} $。