[論文レビュー] On the distribution of $ ext{Cl}(K)[l^\infty]$ for degree $l$ cyclic fields

Peter Koymans, Carlo Pagano|arXiv (Cornell University)|Dec 17, 2018

Algebraic Geometry and Number Theory参考文献 8被引用数 6

ひとこと要約

この論文は、一般化されたリーマン予想（GRH）の下で、$ l $ 次巡回体の類群の $ l^{\infty} $- torsion 部分が、Gerth による Cohen–Lenstra のヒューリスティクスの修正版が予測する分布に従うことを証明している。Smith の最近の 2- torsion 分布に関するブレークスルー手法を応用し、$ \mathbb{Z}_l[\zeta_l] $-加群の圏において等分布性を確立し、奇素数次数の巡回体への Cohen–Lenstra 框組みを拡張した。

ABSTRACT

Using a recent breakthrough of Alexander Smith, we prove that $l^\infty$-class groups of cyclic degree $l$ fields have the distribution conjectured by Gerth under GRH.

研究の動機と目的

• 奇素数 $ l $ に対して、有限で torsion な $ \mathbb{Z}_l[\zeta_l] $-加群の間で $ ((1 - \zeta_l)\text{Cl}(K))[(1 - \zeta_l)^\infty] $ の等分布性を確立すること。
• Cohen–Lenstra ヒューリスティクスの Gerth の修正版を、$ \text{Cl}(K)[l^\infty] $ の代わりに $ (1 - \zeta_l)\text{Cl}(K)[(1 - \zeta_l)^\infty] $ を用いて、$ l $ 次巡回体に拡張すること。
• 元々 2 次体における 2- torsion に開発された Smith の手法を、$ l $- 次体の $ l $- 台座類群の設定に適応すること。
• 一般化されたリーマン予想（GRH）の下で、$ ((1 - \zeta_l)\text{Cl}(K))[(1 - \zeta_l)^\infty] $ の極限分布が、予測された測度 $ \frac{\prod_{i=2}^\infty (1 - l^{-i})}{|A| \cdot |\text{Aut}_{\mathbb{Z}_l[\zeta_l]}(A)|} $ と一致することを証明すること。

提案手法

• 奇素数 $ l $ の $ l $- 次巡回拡大に適応された、Smith の 2- torsion 類群解析におけるブレークスルー技法を用いる。
• ガロア作用があいまいなイデアルと類群に作用する様子をモデル化するため、Artin 対応と Heisenberg 群構造を用いる。
• 類体論を用いて $ \text{Cl}(K)[1 - \zeta_l] $ を記述し、中心拡大とコサイクル展開を用いて $ (1 - \zeta_l)\text{Cl}(K) $ へ拡張する。
• コサイクルに対する反射原理を導入し、展開写像を用いて非分岐コホモロジー類を構成する。
• Rée-Tits 系と加法的系の理論を用いて、$ l $- 台座類群構造の分布を制御する。
• 判別式の根基を数え上げのパラメータとして用い、極限における収束性と等分布性を保証する。

実験結果

リサーチクエスチョン

• RQ1 巡回 $ l $ 次体における $ \mathbb{Z}_l[\zeta_l] $-加群 $ (1 - \zeta_l)\text{Cl}(K) $ の $ l^\infty $- torsion 部分は、Gerth の Cohen–Lenstra ヒューリスティクスの修正版が予測する分布に従うか？
• RQ2 2 次体における 2- torsion に特化した Smith の手法を、奇素数 $ l $ の $ l $- 次巡回体に一般化し、$ ((1 - \zeta_l)\text{Cl}(K))[(1 - \zeta_l)^\infty] $ の等分布性を証明できるか？
• RQ3 判別式の根基が大きくなるに従って、$ ((1 - \zeta_l)\text{Cl}(K))[(1 - \zeta_l)^\infty] $ の正確な極限分布は何か？
• RQ4 $ l $- 次巡回拡大におけるガロア群の作用に関して、$ \text{Cl}(K) $ が $ \mathbb{Z}_l[\zeta_l] $-加群としてどのように振る舞うか？

主な発見

• GRH の下で、巡回 $ l $ 次体における $ ((1 - \zeta_l)\text{Cl}(K))[(1 - \zeta_l)^\infty] $ の極限分布は、任意の有限で torsion な $ \mathbb{Z}_l[\zeta_l] $-加群 $ A $ に対して $ \frac{\prod_{i=2}^\infty (1 - l^{-i})}{|A| \cdot |\text{Aut}_{\mathbb{Z}_l[\zeta_l]}(A)|} $ に一致する。
• 分布は、$ (1 - \zeta_l)^{k-1}\text{Cl}(K)[(1 - \zeta_l)^k] $ の次元に関する再帰的構造を用いて証明され、$ \mathbb{F}_l $ 上の $ n \times (n+1) $ 行列に対する条件付き確率 $ P(n_{m+1}|n_m) $ でモデル化される。
• 証明により、カテゴリ $ (\mathcal{G}_{\mathbb{Z}_l[\zeta_l]}, \mu_{\text{C.L.}}^1) $ における等分布性が確立され、Cohen–Lenstra–Gerth ヒューリスティクスの $ l $- 台座版が裏付けられた。
• 著者らは、$ ((1 - \zeta_l)\text{Cl}(K))[(1 - \zeta_l)^\infty] $ の分布が期待される測度と一致することを確認し、Klys が得た条件付き結果を $ l^\infty $- torsion 全体にまで拡張した。
• この手法により、Smith の 2- torsion 技法を奇素数 $ l $ に一般化し、第一 Artin 対応やコサイクルの反射原理といった、コホモロジー的道具を用いた。