[論文レビュー] The mean number of 2-torsion elements in the class groups of $n$-monogenized cubic fields

Manjul Bhargava, Jonathan Hanke+1 more|arXiv (Cornell University)|Oct 29, 2020

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

ひとこと要約

この論文は、高さで順序付けられた $n$-単生成な立方体の類群における2-捩れ元の平均個数を調査する。立方体と四次環のパラメトライゼーション、局所質量公式、体積計算を用いて、$n$-単生成性が2-捩れ部分群の平均サイズを顕著に変化させることを示し、$n$ が固定されているとき、古典的ケースとは異なる平均サイズであることを証明した。全実および複素立方体の両方について、明示的な漸近公式が導出された。

ABSTRACT

We prove that, on average, the monogenicity or $n$-monogenicity of a cubic field has an altering effect on the behavior of the 2-torsion in its class group.

研究の動機と目的

• 固定された $n$ に対して、立方体の類群における2-捩れ部分群の平均サイズに $n$-単生成性が与える影響を特定すること。
• 古典的な平均2-捩れサイズ（例：Davenport–Heilbronn）を $n$-単生成な立方体の設定に拡張すること。
• 単生成性—これまで平均統計において無視可能であると考えられてきたが—が、類群の2-捩れ分布に測定可能で非自明な影響を持つことの確立。
• 体積に基づく数え上げを可能にするために、$n$-単生成な立方体環およびその四次解体環の精密なパラメトライゼーションの構築。

提案手法

• 固定された $n$-インデックスを持つ二変数立方形式を用いて、$n$-単生成な立方体環をパラメトライズし、不変量 $I(f)$ と $J(f)$ を用いて高さ関数を定義する。
• 解体写像 $\mathrm{Res}(A,B) = 4\det(Ax - By)$ を通じて、$n$-単生成な立方体環を $n$-単生成な立方体解体環をもつ四次環と関連付ける。
• 算術群作用の軌道空間の体積を計算するために、$\mathbb{Z}_p$ および $\mathbb{R}$ 上の局所質量公式を適用する。
• 整数軌道の平方因子なし判別式の密度を制御するために、一様性推定と平方因子のふnow（スクリーニング）を用いる。
• 二変数立方形式および四次環の空間における体積計算を実行し、$n$-単生成な立方体の漸近的個数を導出する。
• 群 $\mathrm{SL}_3(\mathbb{Z})$ および $\mathrm{M}(\mathbb{Z})$ の作用を通じて、$V(\mathbb{Z})$ の一般軌道と $n$-単生成な立方体の間の対応を確立する。

実験結果

リサーチクエスチョン

• RQ1 固定された $n$ に対して、$n$-単生成性が立方体の類群における2-捩れ部分群の平均サイズに与える影響は何か？
• RQ2 局所条件のもとで成立する古典的平均と同様に、$n$-単生成な立方体に制限した場合、$\mathrm{Cl}_2(K)$ の平均サイズは変わらないのか？
• RQ3 高さが $cH^\delta$ 未満である $n$-単生成な立方体の漸近的密度は何か？また、$n$ に依存してどのように変化するか？
• RQ4 パラメトライゼーションと体積法を用いて、Davenport–Heilbronnの古典的平均を $n$-単生成な設定に一般化できるか？
• RQ5 $n$ を割る素数における局所条件が、2-捩れ元の全球的平均にどのように影響を与えるか？

主な発見

• 固定された $n$ に対して、$n$-単生成な全実立方体の類群における2-捩れ部分群の平均サイズは $5/4$ であり、古典的Davenport–Heilbronn平均と一致する。
• 固定された $n$ に対して、$n$-単生成な複素立方体の類群における2-捩れ部分群の平均サイズは $3/2$ であり、再び古典的平均と一致する。
• すべての $n$-単生成な立方体（$n < cH^\delta$）にわたる平均において、$\mathrm{Cl}_2(K)$ の平均サイズは $1 + \frac{1}{2}\zeta(2)^{-1} = \frac{4}{3}$ である。これは古典的ケースとは異なる。
• 著者らは、$n$-単生成性が平均2-捩れサイズに非自明な影響を持つことを証明した。当初はこのようなグローバル条件が古典的平均を変えるとは想定されていなかったが、実際にはそうである。
• 四次環のパラメトライゼーションを用いて、$n$-単生成な立方体環の解体環が $n$-単生成な立方体環であるようなものに制限することで、$n$-単生成な立方体の体積が計算可能となり、正確な漸近的個数が得られた。
• 本論文は、2-捩れ元の平均個数が単生成化子のインデックス $n$ に敏感であることを確立し、その感度が局所質量公式および平方因子スクリーニングによって捉えられることを示した。