[論文レビュー] The distribution of $H_{8}$-extensions of quadratic fields

Brandon Alberts, Jack Klys|arXiv (Cornell University)|Nov 17, 2016

Coding theory and cryptography参考文献 6被引用数 3

ひとこと要約

この論文は、無限大における非分岐で、かつ無限大でも非分岐な二次体上の $H_8$-拡大の正規化された数え上げ関数のモーメントを計算し、それが点質量分布に収束することを証明している。正規化因子 $g(d) = 3^{ au(d)}$ を導入し、正規化された数え上げ $f(d)/g(d)$ が、虚数の場合には $(1/32)^k$ に、実数の場合には $(1/192)^k$ に収束する有限の $k$ 階モーメントを持つことを示し、二次体上のガロア群 $H_8$ に対して点質量分布を確立している。

ABSTRACT

We compute all the moments of a normalization of the function which counts unramified $H_{8}$-extensions of quadratic fields, where $H_{8}$ is the quaternion group of order 8, and show that the values of this function determine a constant distribution. Furthermore we propose a similar modification to the non-abelian Cohen-Lenstra heuristics for unramified G-extensions of quadratic fields for G in a large class of 2-groups, which we conjecture will give finite moments which determine a distribution. Our method additionally can be used to determine the asymptotics of the unnormalized counting function, which we also do for unramified $H_{8}$-extensions.

研究の動機と目的

• 二次体上の $H_8$-拡大の分布、特に無限大を含めてすべての場所で非分岐な場合を理解すること。
• 非アーベル型の Cohen-Lenstra ヒューリスティクスを、$G$ が大きな 2-群のクラスに属する二次体上の $G$-拡大に対して有限モーメントを与える正規化を提案することで精緻化すること。
• 正規化された数え上げ関数 $f(d)/g(d)$ が、$g(d) = 3^{\omega(d)}$ であるとき、$\mathbb{R}$ 上に点質量分布を定めるということを確立すること。これは、$H_8^m$-拡大の密度がゼロであることを示唆する。
• $H_8^k \rtimes_{\sigma} C_2$-拡大の非正規化された漸近的性質を一般化し、Alberts らの先行結果を拡張すること。

提案手法

• 二次体の奇数判別式 $d$ を持つ、すべての場所で非分岐な $H_8$-拡大を数える関数 $f(d)$ を安定化させるために、正規化因子 $g(d) = 3^{\omega(d)}$ を導入する。
• クラス体論とガロア理論的技法を用いて、すべての場所で非分岐な $H_8$-拡大を、最大非分岐拡大のガロア群から $H_8$ への全射に結びつける。これは $G' = H_8 \rtimes C_2$ を通じて持ち上げられる。
• $\mathbb{F}_2$-ベクトル空間上の指標和とガウス和を用いて、正規化された関数のモーメントを計算し、特にリンク条件を符号化する行列 $M_k$ の核に注目する。
• $H_8$-拡大の $k$ 重積における再帰的構造を用い、数え上げ関数を $\sum_{d \in \mathcal{D}_X^\pm} |\text{Sur}_\sigma(\mathrm{Gal}(K^{un}/K), H_8^k)|$ としてモデル化する。
• 平方自由な条件と漸近展開における誤差項を取り扱うために、モービウス反転と乗法的算術関数を適用する。
• 最大非リンク集合 $\mathcal{U}$ と関連する二次形式 $\Phi(u,v)$ の構造を活用し、構成の和を $\ker M_k$ の剰余類の和に還元する。

実験結果

リサーチクエスチョン

• RQ1 正規化因子 $3^{\omega(d)}$ を用いて数え上げ関数を正規化したとき、二次体上の $H_8$-拡大の分布はどのように振る舞うか。
• RQ2 正規化された数え上げ関数 $f(d)/g(d)$ の $k$ 階モーメントは有限極限に収束するか。もし収束するならば、その極限分布は何か。
• RQ3 非アーベル型の Cohen-Lenstra ヒューリスティクスは、正規化を用いることで、$G$ が大きな 2-群のクラスに属する二次体上の $G$-拡大に対して有限モーメントを与えるように精緻化可能か。
• RQ4 無限大で非分岐な二次体上の $H_8^k \rtimes_{\sigma} C_2$-拡大の非正規化された数え上げの漸近的成長はどのようになるか。
• RQ5 正規化された関数 $f(d)/g(d)$ は極限において単一の値に集中するか。その場合、$H_8^m$-拡大の密度がゼロであることを示唆するか。

主な発見

• 虚数二次体の場合、正規化された関数 $f(d)/g(d)$ の $k$ 階モーメントは $(1/32)^k$ に収束し、$1/32$ に点質量分布が成立する。
• 実数二次体の場合、$k$ 階モーメントは $(1/192)^k$ に収束し、$1/192$ に点質量分布が成立する。
• 正規化された関数 $f(d)/g(d)$ は $\mathbb{R}$ 上に点質量分布を定める。これは、$f(d)/g(d)$ の経験的測度が弱収束して $1/32$ や $1/192$ におけるディラック・デルタ関数に収束することを意味する。
• 非正規化された $H_8^k \rtimes_{\sigma} C_2$-拡大の数え上げ関数は、漸近的に $ \sum_{d \in \mathcal{D}_X^-} |\text{Sur}_\sigma| = (1/4)^k \sum_{d \in \mathcal{D}_X^-} 3^{k\omega(d)} + O(X (\log X)^{3^k - 2 + \epsilon}) $ を満たす。
• 虚数の場合には定数係数を調整した同じ漸近的性質が成り立ち、誤差項は指標和の推定とモービウス反転により制御される。
• 系 4 は、任意の $m \geq 1$ に対して、$\mathrm{Gal}(K^{un}/K) \cong H_8^m$ を満たす二次体 $K$ の密度がゼロであることを確認している。これは、正規化された数え上げの点質量分布に起因する。