Statistics of the Genus Number of $S_3 \times C_2$ and $D_4$-fields

技術的概要：$S_3 \times C_2$ 体および $D_4$-体の類数に関する統計

問題の提示
本論文は、判別式によって順序付けられた数体の様々な族における類数 $g_K$ の統計的分布を調査する。類体 $K^*$ の $K$ 上での次数として定義される類数は、分岐がイデアル類群に与える寄与を測定する。類数の分布は、二次体（固定された類数が密度ゼロで現れる）および特定の三次体と五次体（特定の類数が正の密度で現れる）についてはよく理解されているが、一般的な二項対立は不明瞭なままである。中心的な問題は、固定された類数に対して「正の割合」現象を示す数体の族と、「密度ゼロ」現象を示す族をそれぞれ特定することである。

手法
著者は解析的整数論の手法、特に指定された局所分岐条件を持つ数体の漸近的な数え上げを用いる。主要な手法の構成要素は以下の通りである：

1. 類理論による分解：石田、ガウス、フレーリッヒの結果を用いて類体を分解し、類数を分岐する素数とその局所的な振る舞い（例えば、穏やかな分岐対暴力的な分岐）の観点から表現する。
2. 合成体の解析：$L = KF$（ここで$K$と$F$は線形に独立）という形式の体に対して、類体が個々の類体の合成体（$L^* = K^F^$）となることが示され、これにより類数を因数分解できる。
3. 数え上げ公式：本論文は、特定の分岐制約を持つ三次体（田中・ソーン）および $D_4$-体（コーエン・ディアス・イ・ディアス・オリヴィエ、マッコーウン・タッカーによって改良）の個数に関する漸近公式に依存している。
4. 拡大のパラメータ化：$D_4$-体については、二次基底体上の二次拡大を 2-セルマー群および射類群を通じてパラメータ化し、特定の相対判別式を持つ体を数える手法を用いる。
5. 帰納的推論：最終節において、著者は判別式における素因数の分布に基づいた帰納的推論を用い、密度ゼロの族に関する予想を支持する。

主要な貢献と結果

1. $S_3 \times C_2$ 体（六次体）
著者は、固定された類数 $g_K = 2^k 3^\ell$ を持つ $S_3 \times C_2$ 体の個数に関する正確な漸近公式を確立する。

• 定理 1.1：整数 $k, \ell \ge 0$ に対して、判別式が $\le X$ であるようなそのような体の個数は、$|Q^2_{k,\ell}(X)| = A(k)B(\ell)\zeta(2)^{-1}\sqrt{X} + O(X^{8/17+\epsilon})$ で与えられる。
• 意義：この結果は、許容されるすべての類数が $S_3 \times C_2$ 体の正の割合によって達成されることを示している。論文は明示的な定数 $A(k)$ および $B(\ell)$ を提供し、数値的な割合の表（例えば、そのような体の約 45% が類数 1 を持つ）を提供している。

2. $S_3 \times C_q$ 体（$q \ge 5$ 素数）
$S_3 \times C_q$ 体への解析を拡張し、類数は $g_K = 3^\ell q^k$ の形式をとる。

• 定理 1.2：著者は、任意の素数 $q \ge 5$ および非負整数 $k, \ell$ に対して、そのような体の個数が $|Q^q_{k,\ell}(X)| = C_q(k, \ell) X^{1/q} + O(X^{16/17q})$ であることを証明する。
• 意義：$q=2$ の場合と同様に、これはこの族において許容されるすべての類数が正の割合の体によって達成されることを確認する。

3. $D_4$-体（四次体）
本論文は、ガロア閉包が $D_4$ である四次体を解析する。

• 定理 1.3：すべての $a \in \mathbb{Z}_{\ge 0}$ に対して、類数 $2^a$ を持ち判別式が $\le X$ である $D_4$-体の個数は、$\delta_a X$ に漸近的であり、ここで $\delta_a > 0$ である。
• 意義：これは、$S_3 \times C_q$ 族と同様に、$D_4$-体族がすべての許容される類数に対して正の割合現象を示すことを確立する。

4. 純四次体
著者は $D_4$-体の部分族である純四次体 $K = \mathbb{Q}(\sqrt[4]{a})$ を調査する。

• 定理 1.5：一般的な $D_4$ 族とは対照的に、任意の固定された類数 $2^a$ に対して、この類数を達成する純四次体の割合は $X \to \infty$ とともにゼロに収束する。
• 意義：これは、正の密度を持つ体の部分族であるにもかかわらず、密度ゼロ現象が発生する特定の族を特定する。

5. モーメントと予想

• モーメント：本論文は $S_3 \times C_q$ 体における類数の平均および高次モーメントに関する公式を導出する（第 7 節）。これにより、高次モーメントにおいて分布が 1 から大きく歪んでいることが示される。
• 予想 1.4：観察された二項対立（「非可換的」な拡大に対する正の密度対「可換的」なものまたは純粋な体に対する密度ゼロ）に基づき、著者は任意の有限群 $G$ に対して、ある体の族が可換拡大の塔を許容する場合、任意の固定された類数を持つ体の密度はゼロであると予想する。
• 帰納的根拠：第 8 節は、八次 $D_4$-体およびガロア群 $C_7 \rtimes C_3$ を持つ体を用いてこの予想への帰納的証拠を提供し、特定の合同類への分岐素数を避けるという制約が密度をゼロに強制すると論じる。

本研究の意義
本論文は、数体の主要な数族における類数の包括的な統計的図像を提供する。その主な貢献は、三次体および五次体で以前に観察された「正の割合」現象が、$S_3 \times C_q$ および一般的な $D_4$-体にまで拡張されることを厳密に証明した点にある。逆に、この振る舞いが普遍的ではないこと、すなわち純四次体において密度ゼロ現象が現れることを浮き彫りにしている。提案された予想（1.4）は、ガロア群の構造（特に可換塔の存在）と類数の統計的分布を結びつける潜在的な統一原理を提供し、「可換に近い」族において固定された類数が希少になることを示唆している。