[論文レビュー] On the distribution of class groups of number fields

Gunter Malle|arXiv (Cornell University)|Dec 8, 2009

Advanced Mathematical Identities参考文献 5被引用数 4

ひとこと要約

本稿は、基本体に $p$ 乗根が存在する場合の数体の類群に対する Cohen–Lenstra ヒューリスティックの修正版を提案する。特に $p=2,3,5$ の場合を対象とする。著者らは、単位群のランク $u$ と類群の $p$-ランクに基づいた新しい確率公式を導入し、$C_2$、$C_3$、$D_5$、$S_3$ 拡張における広範な計算データによって検証した。その結果、特に従来のヒューリスティックが失敗する場合においても、予測と観測値の一致が顕著に確認された。

ABSTRACT

We propose a modification of the predictions of the Cohen--Lenstra heuristic for class groups of number fields in the case where roots of unity are present in the base field. As evidence for this modified formula we provide a large set of computational data which show close agreement.

研究の動機と目的

• 古典的 Cohen–Lenstra ヒューリスティックが、特に $p=2$ の場合に、基本体に $p$ 乗根が存在する場合に類群の分布を正しく予測できないという問題を解決すること。
• このような状況下で、相対類群の $p$-部分の分布に関する修正確率公式を、単位群のランク $u$ と群の $p$-ランクに基づいて提案すること。
• 複数の数体族（$C_2$、$C_3$、$D_5$、$S_3$）にわたる広範な計算的証拠を提供し、新たな予想を支持すること。
• 正標数における関数体の既知の結果と整合性を保つことで、新しい公式の理論的妥当性を強化すること。

提案手法

• 本稿では、有限 $p$-群 $H$ が相対類群の Sylow $p$-部分として現れる確率が、$\frac{c}{|H|^u \cdot |\operatorname{Aut}_{\mathcal{O}}(H)|}$ に比例するように、修正された確率公式を導入している。ここで $u$ は単位群のランク、$\mathcal{O}$ は置換キャラクターの非自明な部分の既約成分 $\varphi$ に対する値体の整数環である。
• この手法は、ガロア群 $G$ がガロア包の単位群に作用すると仮定しており、その作用のキャラクター $\chi_E$ を用いて $u = \langle \chi_E, \varphi \rangle$（$\varphi$ との内積）を計算する。
• 特殊な多項式（例：$D_5$-拡張用）と判別式の上限を用いて、ガロア型と符号が制御された広範な数体の列挙を計算的に実行する。
• 予測された分布と、$C_3$-拡張（$\mathbb{Q}(\sqrt{-1})$ 上）、$D_5$-拡張（$\mathbb{Q}$ 上）、$C_2$-拡張（$\mathbb{Q}(\sqrt{-3})$ 上）など複数の族における類群の $p$-ランクの経験的頻度を比較し、さまざまな判別式範囲で表形式で結果を提示する。
• $u=1$ の場合、複素符号の $C_3$-および $D_5$-拡張において、予測された分布は観測データと一致する。$u=2$ の場合、完全実 $D_5$-拡張においても予測と一致する。
• 予測と観測の分布の収束を確認するため、モーメント（平均、分散、歪度）と $p$-ランクの頻度表を用いた統計的比較が行われ、判別式の上限が大きくなるに従い、予測と観測の一致が強化される。

実験結果

リサーチクエスチョン

• RQ1 古典的 Cohen–Lenstra ヒューリスティックは、特に $p=2$ の場合に、基本体に $p$ 乗根が存在する場合に、類群の $p$-部分の分布を正確に予測できるか？
• RQ2 $p$ 乗根が存在する状況下で、類群の分布を正しく予測するためには Cohen–Lenstra ヒューリスティックにどのような修正が必要か？
• RQ3 単位群のランク $u$ を用いた予測された分布は、指定されたガロア群と符号を持つ数体のスケールの大きな計算データとどの程度一致するか？
• RQ4 修正されたヒューリスティックは、特に適切な根が存在する場合の関数体（正標数）における既知の結果と整合性を保っているか？
• RQ5 新しい公式は、$p$ 乗根が存在する体上での $C_3$、$D_5$、$C_2$ 拡張における観測された $p$-ランク分布を再現できるか？

主な発見

• 複素符号の $C_3$-拡張（$\mathbb{Q}(\sqrt{-1})$ 上、$p=2$、$u=1$）において、予測された確率分布（式~\eqref{eq:Z32u=1}）は経験的データとよく一致しており、高判別式範囲で $r=0$ の 2-ランク類群の頻度が約 0.853 に安定する。
• $\mathbb{Q}$ 上の複素符号の $D_5$-拡張（$u=1$）において、予測分布（式~\eqref{eq:Z32u=1r}）はデータと強い一致を示し、判別式上限 $\geq 10^{21}$ で $r=0$ の頻度が 0.8992 に達し、予測値 0.8530 に近く、一致が確認された。
• 完全実 $D_5$-拡張（$u=2$）において、予測分布（式~\eqref{eq:Z32u=2r}）は経験的データと一致し、判別式上限 $\geq 10^{21}$ で $r=0$ の頻度が 0.9721 に達し、予測値 0.9597 と近い。
• 先行の計算データにより、$p=2$ の場合に $p$ 乗根が存在する状況では、元の Cohen–Lenstra ヒューリスティックが失敗することが確認されており、新しい公式は単位群のランク $u$ を組み込むことでこれを是正している。
• 修正された公式は、正標数の関数体でも既知の結果と一致しており、シンプレクティック群における固有値 1 の固有空間に与えられた分布が、予測された $p$-群の分布と一致する。
• 予測された $p$-ランクの高次モーメント（平均、分散、歪度）は、判別式の上限が大きくなるに従い、理論的値に収束し、新しいヒューリスティックの堅牢性を支持する。