[論文レビュー] A predicted distribution for Galois groups of maximal unramified extensions

Yuan Liu, Melanie Matchett Wood+1 more|arXiv (Cornell University)|Jul 11, 2019

Algebraic Geometry and Number Theory参考文献 47被引用数 9

ひとこと要約

この論文は、数論的性質（たとえば性質E）とプロファイント群の構成を用いて、$mathbb{F}_q(t)$ 上の完全実 $Gamma$-拡張の最大無限拡張のガロア群をモデル化する、新しいプロファイント群上の確率分布を提案する。$q \to infty$ のとき、これらのガロア群のモーメントが予想される分布と一致することを証明し、根の単位根が除外された関数体設定における Cohen–Lenstra–Martinet の予想的仮説に強い証拠を提供する。

ABSTRACT

We consider the distribution of the Galois groups $\operatorname{Gal}(K^{\operatorname{un}}/K)$ of maximal unramified extensions as $K$ ranges over $Γ$-extensions of $\mathbb{Q}$ or $\mathbb{F}_q(t)$. We prove two properties of $\operatorname{Gal}(K^{\operatorname{un}}/K)$ coming from number theory, which we use as motivation to build a probability distribution on profinite groups with these properties. In Part I, we build such a distribution as a limit of distributions on $n$-generated profinite groups. In Part II, we prove as $q ightarrow\infty$, agreement of $\operatorname{Gal}(K^{\operatorname{un}}/K)$ as $K$ varies over totally real $Γ$-extensions of $\mathbb{F}_q(t)$ with our distribution from Part I, in the moments that are relatively prime to $q(q-1)|Γ|$. In particular, we prove for every finite group $Γ$, in the $q ightarrow\infty$ limit, the prime-to-$q(q-1)|Γ|$-moments of the distribution of class groups of totally real $Γ$-extensions of $\mathbb{F}_q(t)$ agree with the prediction of the Cohen--Lenstra--Martinet heuristics.

研究の動機と目的

• 完全実 $Gamma$-拡張 $K$ の $mathbb{F}_q(t)$ 上の最大無限拡張 $K^{\operatorname{un},2|\Gamma|^\prime}$ のガロア群 $\operatorname{Gal}(K^{\operatorname{un},2|\Gamma|^\prime}/K)$ の期待される構造を捉える、プロファイント群上の確率分布を構成すること。
• この設定における最大無限拡張のガロア群を特徴付ける数論的性質（特に性質E）を同定すること。
• $q(q-1)|\Gamma|$ と互いに素な次数に制限したとき、これらのガロア群の分布のモーメントが、提案された確率的群分布のモーメントと一致することを示すこと。
• 根の単位根が除外され、分岐する素因数の積に基づいて体が順序付けられる関数体設定において、Cohen–Lenstra–Martinet の予想的仮説が正しいという証拠を提供すること。

提案手法

• 生成元 $n$ 個を持つ自由な適切な $\Gamma$-群 $\mathcal{F}_n$ を構成し、確率的群モデルの基礎的対象とする。
• 性質Eを、$\Gamma$-群の非自明な中心拡張で、$\mathbb{Z}/p\mathbb{Z}$ に自明な $\Gamma$-作用をもつものに対する上昇性質として定義し、$\mathcal{F}_n$ の特定の部分群による商がこれによって特徴付けられることを示す。
• ランダム部分集合 $S \subset \mathcal{F}_n$ に対して、確率的群 $X_{\Gamma,n} := \mathcal{F}_n / \langle r^{-1}\gamma(r) \mid r \in S, \gamma \in \Gamma \rangle$ を定義し、プロファイント群上の確率測度を形成する。
• 類体理論とシュール被覆の構造を用いて、クラス群の分布と確率的群のモーメントを関数 $b(G,c,q,n)$ を通じて関連付ける。
• 群 $G^{\operatorname{ab}}$ への $\mathbb{Z}^{c/G}$ からの写像の核と関数 $W^{i}_{q^{-1}}$ を含む可換図式を確立し、同型な群間で $q^{-1}$ 乗根が整合的であることを保証する。
• 同型なペアに対して、適合するシュール被覆の下で $b(G_1,c_1,q,n) = b(G_2,c_2,q,n)$ が成り立つことを証明し、同型類におけるモーメント数の不変性を導く。

実験結果

リサーチクエスチョン

• RQ1 完全実 $Gamma$-拡張 $K$ の $mathbb{F}_q(t)$ 上の最大無限拡張 $K^{\operatorname{un},2|\Gamma|^\prime}$ のガロア群 $\operatorname{Gal}(K^{\operatorname{un},2|\Gamma|^\prime}/K)$ の数論的性質を反映する、プロファイント群上の確率分布を構成できるか？
• RQ2 関数体設定において $q \to infty$ のとき、$\operatorname{Gal}(K^{\operatorname{un},2|\Gamma|^\prime}/K)$ の分布が、提案された確率的群モデルのモーメントと一致するか？
• RQ3 この設定においてモーメントが Cohen–Lenstra–Martinet の予想的仮説と一致するという事実が、基本体に単位根が存在しない状況で予想的仮説の正当性をどの程度支持するか？
• RQ4 モーメントは同型の下でどのように振る舞い、それらの分布を支配する不変量は何か？
• RQ5 適合するシュール被覆の整合性が、同型な群間でモーメント数が保存されることを保証する役割を果たすか？

主な発見

• 論文は、商 $X_{\Gamma,n} := \mathcal{F}_n / \langle r^{-1}\gamma(r) \mid r \in S, \gamma \in \Gamma \rangle$ を通じて、明確に定義されたプロファイント群上の確率分布を構成し、これが有効な確率的群であることが示された。
• ガロア群 $\operatorname{Gal}(K^{\operatorname{un},2|\Gamma|^\prime}/K)$ は性質Eを満たし、これは $\mathcal{F}_n$ の $r^{-1}\gamma(r)$ で生成される特定の部分群による商として特徴付けられる。
• $q \to infty$ のとき、$mathbb{F}_q(t)$ 上の完全実 $Gamma$-拡張の $K^{\operatorname{un},2|\Gamma|^\prime}$ のガロア群の $q$-進モーメントが、提案された確率的群分布のモーメントと一致する。
• この一致は $q(q-1)|\Gamma|$ と互いに素なすべてのモーメントに対して成り立ち、関数体設定における予想される振る舞いと一致することが確認された。
• 証明により、適合するシュール被覆の下で同型なペアに対して $b(G_1,c_1,q,n) = b(G_2,c_2,q,n)$ が成り立つことが示され、モーメント数の同型類における不変性が保証された。
• これらの結果は、根の単位根が除外され、分岐する素因数の積に基づいて体が順序付けられる関数体設定において、Cohen–Lenstra–Martinet の予想的仮説が正しいという強い証拠を提供する。