[論文レビュー] Character sums for elliptic curve densities

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

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

ひとこと要約

本稿では、有理数体上に定義された楕円曲線 $E$ について、$\mathbb{F}_p$-有理点群 $\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.

研究の動機と目的

• 楕円曲線 $E$ が有理数体上に定義されているとき、$\tilde{E}(\mathbb{F}_p)$ が巡回群であるような素数 $p$ の密度に対するもつれ補正係数を体系的に計算するための手法を開発すること。
• Artinの原始根予想に対するHooleyのアプローチを、楕円曲線の点群構造の文脈に一般化すること。
• 特にGRHのもとで、巡回群の場合の密度定数に対する明示的な非消滅基準を提供すること。
• 算術的等差数列における素数の密度を研究するためのフレームワークを拡張し、Koblitzの予想（$\#\tilde{E}(\mathbb{F}_p)$ が素数であるような素数の密度）を分析すること。

提案手法

• もつれ補正係数 $\mathfrak{C}_E$ を文字和として解釈することで、明示的な計算と非消滅解析が可能になる。
• この手法は、捩れ体 $\mathbb{Q}(E[\ell])$ のガロア理論的分解と、ガロア群 $\mathrm{Gal}(\mathbb{Q}(E[m]) / \mathbb{Q})$ を用いたそれらの交差を用いる。
• 局所的密度 $\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])$ を満たす場合、補正係数は genus-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 この手法は、$\#\tilde{E}(\mathbb{F}_p)$ が素数であるような素数の密度に関するKoblitzの予想にどのように応用できるか？

主な発見

• もつれ補正係数 $\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$ と高い一致を示した。
• 補正係数が0に等しいのは、文字和の値が0に等しいときであり、密度が0になる条件を明確に特定できる。
• この手法は、算術的等差数列における素数の密度に成功裏に拡張され、古典的なArtin型の密度結果を一般化した。
• 捩れ体間の非アーベル的もつれは、$\mathbb{Q}(E[2]) \subset \mathbb{Q}(E[3])$ の場合にのみ発生し、そのような曲線は genus-0 のモジュラー曲線 $X_H$ を用いてパラメトライズされ、明示的な $j$-不変量 $j = 2^{10}3^3 t^3(1 - 4t^3)$ を持つ。
• このフレームワークにより、Koblitzの予想や類似の問題に対する補正係数を体系的に計算する方法が得られ、それらがすべて文字和の評価に還元されることを示した。