Counting metacyclic fields

技術要約：メタサイクリック体の計数

問題提起
本論文は、メタサイクリック体の漸近的列挙について扱う。具体的には、メタサイクリック体 $K$ を、整数 $D$ および奇素数 $\ell$ に対して、純粋体 $\mathbb{Q}(\sqrt[\ell]{D})$ のガロア閉包として定義する。この体の次数は $[K:\mathbb{Q}] = \ell(\ell-1)$ であり、そのガロア群は半直積 $\mathbb{Z}/\ell\mathbb{Z} \rtimes \mathbb{Z}/(\ell-1)\mathbb{Z}$ に同型である。著者らは、判別式 $|\Delta_K| \le X$ であるこれらの体の同型類の個数を表す計数関数 $N_\ell(X)$ の漸近的挙動を決定することを目的としている。

純粋体（奇素数次）の計数に関する定理（例：$\ell \ge 5$ に対しては Benli、$\ell=3$ に対しては Cohen–Morra によるもの）は既に確立されているが、本研究は、メタサイクリック体の計数についてはそのような定理が存在しなかったことを指摘している。著者らは、メタサイクリック体の計数結果は、純粋体の結果から直ちに導かれるものではないと強調している。これは、純粋体からそのガロア閉包への写像が、非自明な多重度や構造的な複雑さを伴うためであり、それは $S_3$ 三次体と $S_3$ 六次体の関係に類似している。

手法
証明は、純粋体 $\mathbb{Q}(\sqrt[\ell]{D})$ を定義する整数 $D$ の算術的性質に基づき、問題を以下の3つの異なるケースに分解することで進められる：

1. ケース1: $\ell$ が $D$ を割り切る場合。
2. ケース 2: $\ell \nmid D$ かつ $D^{\ell-1} \not\equiv 1 \pmod{\ell^2}$ の場合。
3. ケース 3: $D^{\ell-1} \equiv 1 \pmod{\ell^2}$ の場合（これは $\ell \nmid D$ を含意する）。

各ケースにおいて、著者らは代数的数論を用いて、メタサイクリック体 $K$ の判別式を、拡大 $K/k$（ここで $k = \mathbb{Q}(\zeta_\ell)$）の導手（conductor）に関連付ける。判別式 $\Delta_K$ を、導手 $f$ と $D$ の根号を用いて表すために、Mayer の著作からの補題1を利用する。

計数の核心となる議論は、判別式の境界を、$D$ の素因数の積に対する境界へと翻訳することを含む。これにより、問題は、境界 $Y$ までの、特定の合同条件を $\pmod{\ell^2}$ で満たす素因子 $q_j$ を持つ $D$ の素因数によって重み付けされた、平方フリー整数 $n$ を数える問題へと帰着される。

これらの重み付き和を評価するために、著者らは以下の3つの主要な補題を確立する：

• 補題 3: Wirsing の定理とメイス・メルテンス定数の性質を用いた、和 $\sum_{n \le Y} \mu(n\ell)^2 (\ell-1)^{\omega(n)}$ の漸近公式。
• 補題 4: 補題 3 における定数 $B_\ell$ を、すべての素数にわたる積へと再定式化すること。
• 補題 5: 関数 $u(n)$（$q^{\ell-1} \equiv 1 \pmod{\ell^2}$ を満たす素因子を数えるもの）を含む関連する和の上界。この上界は、主項よりも低次のオーダーであることが示され、主項の漸近係数に影響を与えないことが保証される。

主要な貢献と結果
主要な結果は、以下の漸近公式を確立する定理 1 である：
$$N_\ell(X) \sim A_\ell X^{\frac{1}{(\ell-1)^2}} (\log X)^{\ell-2}$$
定数 $A_\ell$ は、有理数と、すべての素数 $p$ にわたるオイラー積の積として明示的に与えられる：
$$A_\ell = a_\ell \prod_p \left[ \left(1 + \frac{\ell-1}{p}\right) \left(1 - \frac{1}{p}\right)^{\ell-1} \right]$$
ここで $a_\ell$ は $\ell$ を含む特定の有理式である。

著者らは、以下の3つのケースからの漸近的寄与を合計することで、この結果を導出している：

• 命題 1 は $\ell \mid D$ のケースを扱い、定数 $A^{(1)}_\ell$ を与える。
• 命題 2 は $\ell \nmid D$ かつ $D^{\ell-1} \not\equiv 1 \pmod{\ell^2}$ のケースを扱い、定数 $A^{(2)}_\ell$ を与える。
• 命題 3 は $D^{\ell-1} \equiv 1 \pmod{\ell^2}$ のケースを扱い、定数 $A^{(3)}_\ell$ を与える。

最終的な定数 $A_\ell$ は、和 $A^{(1)}_\ell + A^{(2)}_\ell + A^{(3)}_\ell$ である。

意義
本論文は、奇素数次のメタサイクリック体に関する初の計数定理を提供すると主張している。これらの体の漸近的密度を確立することにより、本研究は純粋体や巡回拡大を超えた数体計数の既存の文献を拡張するものである。著者らは、純粋体の導手と、そのガロア閉包の判別式との間の複雑な関係のために、単に基礎となる純粋体を数える以上の「追加の議論」が必要であることを強調している。結果は、明示的な定数を持つ決定的な漸近的計数として提示されており、数体の分布の分類における空白を埋めるものである。