[論文レビュー] A refinement of Koblitz's conjecture

David Zywina|ArXiv.org|Sep 29, 2009

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

ひとこと要約

この論文は、Koblitzの予想を精緻化し、異なる素数を法とする割り切れ性条件の非独立性を考慮して漸近定数を修正する。著者らは、非自己双対でない楕円曲線 $ E $ に対して、$ \mathbb{Q} $ 上の $ \mathbb{F}_p $-点の数が素数であるような素数 $ p $ の頻度に関する予想を、任意の固定された $ t $ に対して $ |E(\mathbb{F}_\mathfrak{p})|/t $ が素数である場合に一般化し、任意の数体へと拡張する。Galois表現とChebotarev密度定理を用いて、修正された定数 $ \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} $ から任意の数体へと予想を拡張し、グローバル体への適用可能性を広げること。
• Galois表現とChebotarev密度定理を用いて、定数 $ \mathcal{C}_{E,t} $ の明確で修正された表現を提供すること。
• 数値的証拠を提示し、楕円曲線の族全体における平均的結果を証明し、修正された予想を支持すること。

提案手法

• Chebotarev密度定理を用いて、$ |E(\mathbb{F}_\mathfrak{p})| \equiv 0 \pmod{m} $ を満たす素数 $ \mathfrak{p} $ の密度 $ \vartheta_m $ を計算し、$ \mathbb{Q}(E[m]) $-拡大の非線形的独立性を考慮する。
• Galois像の構造を用いて局所的密度と非独立性を組み込み、素数 $ \ell $ における積として修正された定数 $ \mathcal{C}_{E,t} $ を構成する。
• $ M $ が $ \ell $-進Galois像の全射性を制御するとして、$ \ell \mid M $ および $ \ell \nmid M $ の両方の部分に分けて $ \mathcal{C}_{E,t} $ を定義し、$ \ell $ に依存する明示的な有理数係数を含む。
• 包含除法の原理を用いて、$ |E(\mathbb{F}_\mathfrak{p})|/t $ が素数であるような $ \mathfrak{p} $ の密度を推定し、$ t $ と $ |E(\mathbb{F}_\mathfrak{p})| $ の共通因数を補正する。
• 良い還元を持つ素数における $ E(\mathbb{F}_\mathfrak{p}) $ の定義にNéronモデルを用い、数体上での点数の一貫性を保証する。
• 家族全体における $ \mathcal{C}_{E,1} $ の平均が、普遍定数 $ \mathfrak{C} $ に収束することを証明し、修正された予想の平均的成立を支持する。

実験結果

リサーチクエスチョン

• RQ1 元のKoblitz予想は、異なる素数を法とする割り切れ性条件の非独立性のために失敗するのか？
• RQ2 Koblitz予想の漸近定数は、$ |E(\mathbb{F}_p)| \mod \ell $ における非独立な局所的挙動を反映するように修正可能か？
• RQ3 固定された $ t $ に対して、$ |E(\mathbb{F}_\mathfrak{p})|/t $ が素数であるような素数 $ \mathfrak{p} $ は無限に存在するか？ その正しい漸近密度は何か？
• 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} $ はGalois表現とChebotarev密度定理を用いて定義され、$ \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} $ は非負であり、ゼロとなることもある。その場合、$ |E(\mathbb{F}_\mathfrak{p})|/t $ が素数であるような $ \mathfrak{p} $ は有限個に限る。
• 家族全体における $ \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} $ への収束が無条件に証明される。