[論文レビュー] Analytic problems for elliptic curves

Emmanuel Kowalski|ArXiv.org|Oct 10, 2005

Algebraic Geometry and Number Theory参考文献 42被引用数 28

ひとこと要約

本稿は、算術的級数内の素数の分布や双子素数に類似した問題として、楕円曲線に関する解析的数論の問題を調査する。『楕円双子』を導入し、有限体上での楕円曲線の群構造の分布を研究し、可能な群の型の出現に二分法的性質が存在することを明らかにした。複素乗法を持つ曲線に対しては、スieve法とトレース公式を用いて非自明な結果が得られた。

ABSTRACT

We consider some problems of analytic number theory for elliptic curves which can be considered as analogues of classical questions around the distribution of primes in arithmetic progressions to large moduli, and of the question of twin primes. This leads to some local results on the distribution of the group structures of elliptic curves defined over a prime finite field, exhibiting an interesting dichotomy for the occurence of the possible groups. (Note : This paper was initially written in 2000/01, but after a four year wait for a referee report, it is now withdrawn and deposited in the arXiv).

研究の動機と目的

• 楕円曲線に関する解析的数論の問題を、古典的な素数分布の問題に類似した形で探求すること。
• 特に完全に分解する素数およびその局所的性質に注目して、有限体上での楕円曲線の群構造の分布を調査すること。
• 同型な群構造（楕円双子）の出現とその頻度を、双子素数に類似した形で理解すること。
• 二次体におけるスieve技法を用いて、複素乗法を持つ楕円曲線に対して非自明な結果を確立すること。
• Deuringの理論とモジュラー曲線を用いて、楕円曲線の分割体拡大における完全に分解する素数の局所的構造を分析すること。

提案手法

• 楕円曲線の捩れ点によって生成されるガロア拡大におけるフロベニウス元の等分布性とチェボタレフ密度定理を用いる。
• 複素乗法を持つ曲線を研究するため、二次体におけるスieve法を適用し、自己準同型環の算術的性質を活用する。
• ヘッケ作用素とモジュラー形式のトレース公式を用いて、有限体上での群位数の分布を分析する。
• トレース公式とモジュラー曲線の性質を用いて、与えられた素数 p に対して完全に分解する楕円曲線の存在を研究する。
• Deuring, Waterhouse, Schoof による自己準同型環と特異還元に関する結果を適応し、局所的群構造分布を分析する。
• 数値実験を用いて理論的予測を検証し、まれな群構造や群位数分布における高重複度の頻度を可視化する。

実験結果

リサーチクエスチョン

• RQ1 素数 p における楕円曲線の還元の群構造の分布はどのように変化するのか。異なる素数間でどのように変動するか。
• RQ2 同型な群構造（楕円双子）の頻度は、古典的な双子素数の頻度と比べてどの程度か。
• RQ3 スieve法を非CM楕円曲線に適用することで、分割体における完全に分解する素数の分布をどの程度まで研究できるか。
• RQ4 与えられた楕円曲線 E と d ≥ 1 に対して、素数 p が体 Q(E[d]) で完全に分解するための局所的条件は何か。
• RQ5 K(E[d])/K に付随するアーティンL関数の解析的性質は、群構造および素数の分布にどのように関係するか。

主な発見

• CM楕円曲線に対しては、二次体におけるスieve技法を用いることで、フロベニウスが制御された方法で作用する素数において、群構造の分布に関する非自明な結果が得られた。
• 本稿では、有限体上での楕円曲線の可能な群構造の出現に二分法的性質が存在することを特定した。一部の群は他の群と比べてはるかに頻繁に出現する。
• 数値的データから、和 ∑_{p≤X} |E_p(F_p)|/p が漸近的に 1.775 × li(X) に近づくことが示され、期待される平均サイズからの強い逸脱が確認された。
• 群位数 n をもつ楕円曲線の個数を数える関数 M(n) は、n = 12818000 のとき最大24に達し、これはまれだが顕著な重複度を示している。
• 本研究では、n ≤ 10^8 で M_E(n) = 5 または M_F(n) = 5 となる特定の整数 n を同定した。これらはすべて 4 で割った余りが 1 である素因数を多く持つことが特徴で、二乗和分解との関連が示唆された。
• 群位数分布における高重複度は、n が 4 で割り切れるかつ 4 で割った余りが 1 である素因数を多く持つことと強く相関しており、2-捩れ部分群および 2-同種の性質と整合的であることがわかった。