[論文レビュー] 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型統計に関する従来の平均結果を、巡回性と整除性に拡張し、任意の固定された $ \log x $ のべきまでの一様性を保つモジュラス $ m $ を含めること。
• Garaev らの新しい指数和推定と文字和の境界を活用することで、平均的数え上げ問題における誤差項の推定を改善すること。
• この枠組みを用いて、最小のウェイエルシュトラスモデルのサイズに関する境界を強化し、フロベニウスのトレースに関する合同条件のような、新しい平均的分布問題を考察すること。

提案手法

• 係数 $ 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} $ を満たすことで、十分な密度を保証する。
• 主な技術は、フロベニウスのトレース $ \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 $ 上の文字和を用いて分析され、特にラマヌジャン和と乗法的文字の性質が用いられる。
• 本稿は Fouvry と Murty [23]、Baier [3] の方法の変種を用い、Garaev [25] や他の研究者による $ X^3 + aX + b \equiv s \pmod{p} $ の解の個数に関する新しい境界と組み合わせる。
• 誤差項は大篩と文字和推定を用いて制御され、$ A, B \geq \exp(c\sqrt{\log x}) $ のとき、従来の研究よりも弱い仮定で改善が可能となる。

実験結果

リサーチクエスチョン

• RQ1 固定された区間 $ [\alpha, \beta] $ に Sato–Tate 角 $ \psi_{a,b}(p) $ が含まれるような、$ p \leq x $ における素数の平均個数は何か？ 係数 $ a, b $ の小さな範囲で平均をとった場合に。
• RQ2 係数の小さな範囲で平均をとった場合、$ \#E_{a,b}(\mathbb{F}_p) $ が巡回群であるような $ p \leq x $ における素数の平均割合は何か？
• RQ3 固定された $ m $ に対して、$ |a| \leq A $, $ |b| \leq B $ の範囲で平均をとったとき、$ m \mid \#E_{a,b}(\mathbb{F}_p) $ を満たす $ p \leq x $ の素数の平均個数は何か？
• RQ4 係数 $ A $ と $ B $ に対する仮定を弱めた場合、楕円曲線統計の平均的数え上げ問題における誤差項を改善できるか？
• RQ5 ランダムな楕円曲線 $ E $ に対して、最小のウェイエルシュトラスモデル $ \mu(E) $ の平均サイズは何か？ また、この方法を用いて改善可能か？

主な発見

• Sato–Tate分布に関して、$ \psi_{a,b}(p) \in [\alpha, \beta] $ を満たす $ p \leq x $ の平均個数は、$ \min\{A,B\} \geq x^{1/2 + \varepsilon} $ および $ AB \geq x^{3/2 + \varepsilon} $ を満たす $ A, B $ に対して一様に、$ \mu_{\text{ST}}(\alpha, \beta) \cdot \frac{x}{\log x} $ に漸近的に収束する。
• 巡回性に関して、$ 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)} $ に対して一様に成立する。
• 本稿は、最小のウェイエルシュトラスモデルのサイズに関する境界を改善した：$ 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 $ の平均個数に関する漸近公式が得られ、明示的な主要項と誤差項の制御が可能である。
• このアプローチは、複素乗法体の判別式の分布を研究するのにも拡張可能であり、文字和の等分布との関係を介して、平均的状況下でのテート＝シャファレヴィチ群の推定値を改善するのにも応用可能である。