[论文解读] Sato--Tate, cyclicity, and divisibility statistics on average for elliptic curves of small height

William D. Banks, Igor E. Shparlinski|ArXiv.org|Sep 5, 2006

Analytic Number Theory Research参考文献 24被引用 5

一句话总结

本文建立了椭圆曲线 $ Y^2 = X^3 + aX + b $ 在有限域上关键算术性质——Sato–Tate 分布、循环性与 m-整除性——的平均分布的渐近公式，系数 $ a $ 和 $ b $ 在小范围内平均。论文证明了满足这些性质的素数 $ p \leq x $ 的数量的统一渐近结果，利用特征和估计与在系数范围相对于 $ x $ 的大小满足弱条件下的平均等分布结果。

ABSTRACT

We obtain asymptotic formulae for the number of primes $p\le x$ for which the reduction modulo $p$ of the elliptic curve $$ \E_{a,b} : Y^2 = X^3 + aX + b $$ satisfies certain ``natural'' properties, on average over integers $a$ and $b$ with $|a|\le A$ and $|b| \le B$, where $A$ and $B$ are small relative to $x$. Specifically, we investigate behavior with respect to the Sato--Tate conjecture, cyclicity, and divisibility of the number of points by a fixed integer $m$.

研究动机与目标

• 理解具有小整数系数 $ a $、$ b $ 的椭圆曲线 $ Y^2 = X^3 + aX + b $ 在模素数下的关键算术性质的平均行为。
• 建立满足曲线约化后满足 Sato–Tate 分布、循环性或 m-整除性的素数 $ p \leq x $ 的数量的渐近公式。
• 将先前关于 Lang–Trotter 类型统计的平均结果扩展至包含循环性与整除性，并在模 $ m $ 上实现对任意固定 $ \log x $ 幂次的统一性。
• 通过利用特征和界与 Garaev 等人提出的新指数和估计，改进平均计数问题中的误差项估计。
• 将该框架应用于改进最小 Weierstrass 模型大小的界，并探索新的平均分布问题，如 Frobenius 的迹的同余条件。

提出的方法

• 在 $ a \in [-A, A] $、$ b \in [-B, B] $ 上取平均，其中 $ A $、$ B $ 相对于 $ x $ 较小，具体为 $ \min\{A,B\} \geq x^{1/2 + \varepsilon} $ 且 $ AB \geq x^{3/2 + \varepsilon} $，以确保足够密度。
• 主要技术涉及对涉及 Frobenius 迹 $ \pi_p = p+1 - \#E_{a,b}(\mathbb{F}_p) $ 的指数和进行估计，使用特征和界与大筛法不等式。
• 对于 Sato–Tate 统计，论文使用由 $ \pi_p = 2\sqrt{p} \cos \psi_{a,b}(p) $ 定义的角度 $ \psi_{a,b}(p) $，并应用在平均族上的等分布结果。
• 循环性与整除性统计通过 $ \mathbb{F}_p^\times $ 上的特征和分析，特别是利用 Ramanujan 和与乘法特征的性质。
• 论文采用 Fouvry 和 Murty [23] 以及 Baier [3] 方法的变体，并结合对 $ X^3 + aX + b \equiv s \pmod{p} $ 的解数的新界，借鉴 Garaev [25] 等人的结果。
• 通过大筛法与特征和估计控制误差项，当 $ A, B \geq \exp(c\sqrt{\log x}) $ 时得到改进，允许比以往工作更弱的假设。

实验结果

研究问题

• RQ1 对于固定的区间 $ [\alpha, \beta] $，在小 $ a, b $ 上平均时，Sato–Tate 角 $ \psi_{a,b}(p) \in [\alpha, \beta] $ 的素数 $ p \leq x $ 的平均数量是多少？
• RQ2 在小系数范围内，$ \#E_{a,b}(\mathbb{F}_p) $ 为循环群的素数 $ p \leq x $ 的平均比例是多少？
• RQ3 对于固定的 $ m $，在 $ |a| \leq A $、$ |b| \leq B $ 的 $ a, b $ 上平均时，满足 $ m \mid \#E_{a,b}(\mathbb{F}_p) $ 的素数 $ p \leq x $ 有多少？
• RQ4 在 $ A $ 和 $ B $ 的假设较弱时，椭圆曲线统计的平均计数问题中的误差项能否得到改进？
• RQ5 随机椭圆曲线在 $ \mathbb{F}_p $ 上的最小 Weierstrass 模型大小 $ \mu(E) $ 的平均大小是多少？能否通过当前方法改进？

主要发现

• 对于 Sato–Tate 分布，论文证明了满足 $ \psi_{a,b}(p) \in [\alpha, \beta] $ 的素数 $ p \leq x $ 的平均数量渐近为 $ \mu_{\text{ST}}(\alpha, \beta) \cdot \frac{x}{\log x} $，且在满足 $ \min\{A,B\} \geq x^{1/2 + \varepsilon} $ 与 $ AB \geq x^{3/2 + \varepsilon} $ 的 $ A, B $ 上一致成立。
• 对于循环性，满足 $ E_{a,b}(\mathbb{F}_p) $ 为循环群的素数 $ p \leq x $ 的平均数量渐近为 $ C \cdot \frac{x}{\log x} $，其中 $ C $ 为依赖于循环约化平均密度的常数。
• 对于固定的 $ m $，满足 $ m \mid \#E_{a,b}(\mathbb{F}_p) $ 的素数 $ p \leq x $ 的平均数量渐近为 $ C_m \cdot \frac{x}{\log x} $，其中 $ C_m $ 为依赖于 $ m $ 的显式常数，且对 $ m \leq (\log x)^{O(1)} $ 一致成立。
• 论文改进了最小 Weierstrass 模型大小的界：在 $ A, B \geq \exp(c\sqrt{\log x}) $ 的假设下，几乎所有 $ \mathbb{F}_p $ 上的曲线满足 $ \mu(E) \leq p^{1/2 + o(1)} $，优于以往的 $ O(p^{3/4}) $ 界。
• 该方法可导出满足 $ \#E_{a,b}(\mathbb{F}_p) \equiv k \pmod{m} $ 或 $ p+1 - \#E_{a,b}(\mathbb{F}_p) \equiv k \pmod{m} $ 的素数 $ p \leq x $ 的平均数量的渐近公式，包含显式主项与误差控制。
• 该方法可扩展至研究复乘法域判别式的分布，并通过与特征和等分布的联系，改进平均设定下 Tate–Shafarevich 群的估计。