[論文レビュー] Moments and interpretations of the Cohen-Lenstra-Martinet heuristics

Weitong Wang, Melanie Matchett Wood|arXiv (Cornell University)|Jul 25, 2019

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

ひとこと要約

この論文は、数体における類群分布の Cohen-Lenstra-Martinet 予想を精緻化し、明確化する。確率がやや拡大された構造—類三重対（無限大における分解群を備えた類群）—の自己同型群の数の逆数に比例することを示している。予想されるモーメントが正確に $|H^{\tilde{\nu}}|^{-1}$ に一致することを証明し、これらのモーメントが分布を一意に決定することを示しており、予想の理論的基盤を深めるとともに、Hecke 加群作用と帰属核解析を用いて非ガロア体への適用範囲を拡張している。

ABSTRACT

The goal of this paper is to prove theorems that elucidate the Cohen-Lenstra-Martinet conjectures for the distributions of class groups of number fields, and further the understanding of their implications. We start by giving a simpler statement of the conjectures. We show that the probabilities that arise are inversely proportional the to number of automorphisms of structures slightly larger than the class groups. We find the moments of the Cohen-Lenstra-Martinet distributions and prove that the distributions are determined by their moments. In order to apply these conjectures to class groups of non-Galois fields, we prove a new theorem on the capitulation kernel (of ideal classes that become trivial in a larger field) to relate the class groups of non-Galois fields to the class groups of Galois fields. We then construct an integral model of the Hecke algebra of a finite group, show that it acts naturally on class groups of non-Galois fields, and prove that the Cohen-Lenstra-Martinet conjectures predict a distribution for class groups of non-Galois fields that involves the inverse of the number of automorphisms of the class group as a Hecke-module.

研究の動機と目的

• Cohen-Lenstra-Martinet 予想を、よりアクセスしやすい確率的枠組みで再記述・明確化すること。
• 予想される確率が $|H^{\tilde{\nu}}|$ と $|\text{Aut}_\Gamma(H)|$ の両方を含む理由を、'類三重対' の概念を導入することで説明すること。
• Cohen-Lenstra-Martinet 分布の $H$-モーメントの正確な形を計算・証明し、それが $|H^{\tilde{\nu}}|^{-1}$ に一致することを示すこと。
• これらのモーメントが分布を一意に決定することを確立し、予想の予測力の強化を図ること。
• 整数的 Hecke 代数作用を構成し、帰属核解析を用いて、Cohen-Lenstra-Martinet 予想を非ガロア数体へ拡張すること。

提案手法

• ガロア数体の類群にその無限大における分解群を備えた構造—'類三重対'—の概念を導入し、確率式における自己同型群の数の統一的取り扱いを可能にする。
• 類三重対の自己同型群の数が正確に $|H^{\tilde{\nu}}| \cdot |\text{Aut}_\Gamma(H)|$ に一致することを証明し、予想される確率の構造を説明する。
• 有限 $\Gamma$-加群 $H$ で $H^\Gamma = 1$ を満たすものに対して、Cohen-Lenstra-Martinet 分布の $H$-モーメントを $\mathbb{E}[|\text{Sur}_\Gamma(X,H)|] = |H^{\tilde{\nu}}|^{-1}$ として定義し、計算する。
• 有限群 $\Gamma$ の整数的 Hecke 代数のモデルを構成し、帰属核を介してそれが非ガロア体の類群に自然に作用することを示す。
• 帰属核を用いて、非ガロア体の類群をガロア体の類群と関連づけ、予想の適用範囲をガロア拡大を超えて拡張可能にする。
• Cohen-Lenstra-Martinet 予想が、$H$ を Hecke 加群と見たとき、非ガロア体の類群の分布において確率が $|\text{Aut}_\Gamma(H)|$ の逆数に比例することを証明する。

実験結果

リサーチクエスチョン

• RQ1 Cohen-Lenstra-Martinet 確率が $|H^{\tilde{\nu}}|$ を $|\text{Aut}_\Gamma(H)|$ に加えて含むのはなぜか？
• RQ2 Cohen-Lenstra-Martinet 予想が $\Gamma$-体の類群に対して予測する $H$-モーメントの正確な形は何か？
• RQ3 Cohen-Lenstra-Martinet 分布のモーメントは、分布全体を一意に決定するか？
• RQ4 Cohen-Lenstra-Martinet 予想を非ガロア数体へどのように拡張できるか？
• RQ5 帰属核は、非ガロア体の類群とガロア体の類群を結ぶ際に果たす役割は何か？

主な発見

• Cohen-Lenstra-Martinet 予想における確率は、類群と無限大における分解群を併せ持つ類三重対の自己同型群の数の逆数に比例する。
• 有限 $\Gamma$-加群 $H$ で $H^\Gamma = 1$ を満たすものに対して、Cohen-Lenstra-Martinet 分布の $H$-モーメントは正確に $|H^{\tilde{\nu}}|^{-1}$ に一致する。
• これらのモーメントが Cohen-Lenstra-Martinet 分布を一意に決定するため、予想の理論的基盤が強く確立される。
• この論文は、非ガロア体の類群に作用する整数的 Hecke 代数作用を構成し、予想の適用範囲をガロア拡大を超えて拡張可能にする。
• 非ガロア体の類群の分布を予想が提示する際、その確率は類群を Hecke 加群と見たときの自己同型群の数の逆数に比例する。
• ガロア閉包を用いて帰属核のランクが計算可能であることが示され、拡大体の間で一貫した分布的予測が可能になる。