[論文レビュー] $2^\infty$-Selmer groups, $2^\infty$-class groups, and Goldfeld's conjecture

Alexander Smith|arXiv (Cornell University)|Feb 8, 2017

Finite Group Theory Research参考文献 11被引用数 28

ひとこと要約

この論文は、虚二次体の$2^\infty$-類群がCohen-Lenstra分布に従うことを証明し、全有理2-torsionを持つが有理4-isogenyを持たない楕円曲線の二次歪みの$2^\infty$-Selmer群がDelaunay分布に従うことを示している。主な結果は、$2^\infty$-Selmer核階数が2以上であるような歪みの割合が$o(N)$であることから、核階数が2以上の曲線は自然密度が0であることを示しており、BirchとSwinnerton-Dyer予想の下でGoldfeld予想を支持する。

ABSTRACT

We prove that the $2^\infty$-class groups of the imaginary quadratic fields have the distribution predicted by the Cohen-Lenstra heuristic. Given an elliptic curve E/Q with full rational 2-torsion and no rational cyclic subgroup of order four, we analogously prove that the $2^\infty$-Selmer groups of the quadratic twists of E have distribution as predicted by Delaunay's heuristic. In particular, among the twists E^d with |d| < N, the number of curves with rank at least two is $o(N)$.

研究の動機と目的

• 虚二次体における$2^\infty$-類群の分布を確立し、Cohen-Lenstraのヒューリスティックを確認すること。
• 全有理2-torsionを持ち、有理4-isogenyを持たない楕円曲線の二次歪み族における$2^\infty$-Selmer群の分布を特定し、Delaunayのヒューリスティックを検証すること。
• 核階数が2以上の$2^\infty$-Selmer群をもつ歪みの集合が自然密度0であることを示し、大部分の歪みが核階数0または1であることを示すこと。
• BirchとSwinnerton-Dyer予想の下で、$2^\infty$-Selmer群の分布と解析的核階数の分布を関連付けることで、Goldfeld予想に対する証拠を提供すること。

提案手法

• Selmer群および類群における局所的条件の分布を制御するために、加法的・制限的系とRamsey理論的技法を用いる。
• Chebotarevの密度定理および大スクリーブ法を用い、素数上でのLegendre記号を均等に分布させ、局所的ガロア作用の均等分布を保証する。
• 原始的および支配的展開を用いて、$k \to \infty$のときの$2^k$-Selmer群および$2^k$-類群の構造をモデル化する。
• 整数のグリッドを構築し、Poisson点過程モデルを用いて数体における素因数の分布を分析する。
• 組合せ論的および代数的道具を用いて、歪み族全体におけるCassels-Tateペアリング値の分散と平均を制御する。
• 各$k$における再帰的マルコフ連鎖の性質を用い、$2^k$-Selmer群の分布が$2^\infty$-分布に収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 虚二次体の$2^\infty$-類群はCohen-Lenstra分布に従うか？
• RQ2 全有理2-torsionを持ち、有理4-isogenyを持たない楕円曲線の二次歪みの$2^\infty$-Selmer群はDelaunay分布に従うか？
• RQ3 核階数が2以上の二次歪みの自然密度はどのくらいか？
• RQ4 BirchとSwinnerton-Dyer予想の下で、$2^\infty$-Selmer群の分布はGoldfeld予想を示唆するか？
• RQ5 極限において、$2^k$-Selmer群の極限分布は$k$に関するマルコフ連鎖として記述可能か？

主な発見

• 虚二次体の$2^\infty$-類群は、Cohen-Lenstraのヒューリスティックが予測する分布に従う。
• 全有理2-torsionを持ち、有理4-isogenyを持たない楕円曲線の二次歪みの$2^\infty$-Selmer群は、Delaunayのヒューリスティックが予測する分布に従う。
• $|d| < N$ となる歪み $E^{(d)}$ のうち、$2^\infty$-Selmer核階数が2以上のものの数は $o(N)$ であり、このような歪みは自然密度が0であることを意味する。
• 以前の核階数 $n_1, \dots, n_m$ を与えたもとで、$2^\infty$-Selmer核階数が $n_{m+1}$ である確率は $P^{\text{Alt}}(n_{m+1} \mid n_m)$ に収束し、極限においてマルコフ連鎖構造が確認された。
• BirchとSwinnerton-Dyer予想の下で、全有理2-torsionを持ち、有理4-isogenyを持たない楕円曲線に対してGoldfeld予想が成り立つ。
• Cassels-Tateペアリング値の均等分布における誤差項は、$\mathcal{O}((\log\log\log\log N)^{-c})$ のオーダーで減少し、必要な集中不等式が得られる。