[論文レビュー] 4-ranks and the general model for statistics of ray class groups of imaginary quadratic number fields

Carlo Pagano, Efthymios Sofos|arXiv (Cornell University)|Oct 20, 2017

Algebraic Geometry and Number Theory参考文献 16被引用数 4

ひとこと要約

本稿は、Cohen–LenstraおよびGerthの予想を、虚二次数体のray類群へ拡張し、その2部構造をGalois加群の完全系列としてモデル化する。4階数の分布は、混合モーメントの漸近的推定により証明され、指定された4階数を持つ体の密度に関する正確な公式が得られ、2群の一般化されたランダムモデルと整合的である。

ABSTRACT

We extend the Cohen-Lenstra heuristics to the setting of ray class groups of imaginary quadratic number fields, viewed as exact sequences of Galois modules. By asymptotically estimating the mixed moments governing the distribution of a cohomology map, we prove these conjectures in the case of $4$-ranks.

研究の動機と目的

• 虚二次数体のray類群に対する、これまでの一般モデルのないCohen–LenstraおよびGerthの予想を拡張すること。
• FouvryとKlünersの類群の4階数に関する結果を一般化し、ray類群の4階数の推測される分布を定式化すること。
• 法cに関する局所環構造に基づき、奇素数pに対するray類群におけるp-torsionの平均サイズを予測するフレームワークを提供すること。
• 漸近的解析とGalois加群理論を用いて、4階数の分布とコhomology写像のモーメントの間の明確な関係を確立すること。

提案手法

• ray類群の2部をGalois加群の完全系列としてモデル化し、一般化されたCohen–Lenstra枠組み内のランダム対象として扱う。
• 4階数の分布を支配するcohomology写像の混合モーメントを用い、数論的および群論的技法を用いてその漸近的推定を行う。
• 生成関数とEuler積を用いたモーメント逆転により、分布を再構成する。特に、$F(t) = \prod_{n=0}^\infty (1 - t 2^{-n})$ を用いる。
• コンパクト性と対角線的議論を用いて、判別式が増大する際の$\mathbf{m}_\chi(D)$（類群不変量の2進付値）の極限分布を抽出する。
• 極限分布$\mathbf{m}_\chi(D)$が、一般化されたCohen–Lenstraモデルから導かれた予測された測度$\mu(\mathbf{m})$と一致することを証明する。
• 優越収束定理とモーメントマッチングを用いて、密度関数$d_\mathbf{v}(X)$が$X \to \infty$のとき予測された測度$\mu(\mathbf{v})$に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 Cohen–LenstraおよびGerthの予想を、虚二次数体のray類群へ正しく一般化する方法は何か？
• RQ2 固定された導子$c$を持つ虚二次体$K$の範囲で、ray類群$\operatorname{Cl}(K,c)$および$\operatorname{Cl}(K)$の4階数はどのように分布するか？
• RQ3 法$c$における素数の分解挙動を考慮した精緻なモデルにより、ray類群における$p$-torsionの平均サイズを予測できるか？
• RQ4 与えられた$\operatorname{rk}_4(\operatorname{Cl}(K)) = j_1$および$\operatorname{rk}_4(\operatorname{Cl}(K,c)) = j_2$を満たす虚二次体$K$の自然密度の正確な公式は何か？
• RQ5 生成関数を用いたモーメント再構成により、漸近的モーメントデータからGalois加群不変量の分布を再構成する方法は何か？

主な発見

• 本稿は定理1.1を証明する：$\operatorname{rk}_4(\operatorname{Cl}(K)) = j_1$および$\operatorname{rk}_4(\operatorname{Cl}(K,c)) = j_2$を満たす虚二次体$K$の自然密度は、$\eta_{\infty}(2)$、$\eta_{j_1}(2)^2$、および指定されたランクを持つ$\mathbb{F}_2$-線形写像の数の比を含む公式で与えられる。
• 密度の公式には、$\#\{\varphi \in \operatorname{Hom}_{\mathbb{F}_2}(\mathbb{F}_2^{j_1}, \mathbb{F}_2^{\#S_3}) : \operatorname{rk}(\varphi) = \#S - (j_2 - j_1)\}$が含まれており、これは所定の像次元を持つ線形写像の数を数える。
• 奇素数$p$に対して、ray類群における$p$-階数の密度について同様の公式を予想し、$\mathbb{F}_p$-線形写像およびEuler積$\eta_{\infty}(p)$への類似した依存関係を示す。
• $p^2 \nmid c$のとき、$\#\operatorname{Cl}(K,c)[p]$の平均サイズは、$p^{\#\{l|c, l \equiv 1 \pmod{p}\}} \left(1 + \left(\frac{p+1}{2}\right)^{\#\{l|c, l \equiv \pm 1 \pmod{p}\}}\right)$と予想され、$p^2 \mid c$のときは修正版が適用される。
• 著者らは、ray類群不変量の2進付値$\mathbf{m}_\chi(D)$の極限分布が、予測された測度$\mu(\mathbf{m})$と一致することを確立し、$X \to \infty$のとき密度関数$d_\mathbf{v}(X)$が$\mu(\mathbf{v})$に収束することを証明した。
• 証明は、生成関数によるモーメント逆転と、$\widetilde{F}(\mathbf{z}) = \prod_{\chi} F(z_\chi)$（ここで$F(t) = \prod_{n=0}^\infty (1 - t 2^{-n})$）の使用に依拠し、漸近的モーメントデータから分布を再構成した。