$\alpha$-monogeneity of pure number fields: criterion and density

技術的要約：純数体における $\alpha$-単一性

問題提起
本論文は、純数体 $K = \mathbb{Q}(\alpha)$ において、自然な次数 $\mathbb{Z}[\alpha]$ が極大次数（整数環 $\mathcal{O}_K$ 全体）となる条件を調査している。ここで $\alpha$ は、既約多項式 $X^n - m$ ($n \ge 2, m \in \mathbb{Z} \setminus \{0\}$) の根である。この性質を $\alpha$-単一性（$\alpha$-monogeneity） と呼ぶ。著者らは、これを一般的な体の単一性（ある $\theta$ に対して $\mathcal{O}_K = \mathbb{Z}[\theta]$ となる性質）と区別している。単一性は $\alpha$-単一性を包含するが、その逆、すなわち特定の生成元 $\alpha$ に関して必ずしも成立するとは限らないことを指摘している。本研究の主な目的は、$\alpha$-単一性のための精密な判定基準を確立し、次数 $n$ の純数体の族における、この条件を満たすパラメータ $m$ の自然密度を算出することである。

手法
著者らは、代数的数論と解析的数論を組み合わせた手法を用いている：

1. デデキントの指数定理による局所判定: 指数 $[\mathcal{O}_K : \mathbb{Z}[\alpha]]$ を、素数 $p$ がこの指数を割り切るかどうかを決定するための核となる代数的道具として、デデキントの指数判定法を用いる。著者らはこれを $f(X) = X^n - m$ に適用している。
2. 判別式・指数の恒等式: 恒等式 $\text{disc}(f) = [\mathcal{O}_K : \mathbb{Z}[\alpha]]^2 \text{disc}(\mathcal{O}_K)$ を利用し、指数の可能な素因数を $mn$ を割る素数の集合に限定する。
3. 評価（Valuation）分析: $p$ 進評価 ($\nu_p$) を含む初等的な補題を通じて、指数分割の条件を、$n$ を割る素数 $p$ における式 $m^p - m$ の挙動（具体的には $\nu_p(m^p - m)$）へと帰着させる。
4. 密度計算: 解析的な側面では、導出された局所条件を満たす整数 $m$ の自然密度を計算する。これには、平方フリーな数の計数のためのメビウス関数、局所的な制約を組み合わせるための中国剰余定理、および $n$ を割る素数にわたる包含排除の原理が含まれる。また、これらの結果を算術級数へと精緻化し、パラメータの計数を判別式順序付けられた体の計数へと変換する。

主要な貢献と結果

1. 必要十分条件 (定理 1.2 & 2.7):
   本論文は、$\mathbb{Z}[\alpha] = \mathcal{O}_K$ であるための条件として、以下の条件を満たすことと同値であるという、簡潔で自己完結的な証明を提供している：

   • $m$ が平方フリーである。
   • $n$ を割るすべての素数 $p$ に対して、$\nu_p(m^p - m) = 1$ である。

   この結果は、べき根拡大に対するスミスの相対的判定基準を、純家族 $X^n - m$ に特化したものである。著者らは、指数の素因数支持（prime support）を以下のように明示している：
   $$\{p : \nu_p(m) \ge 2\} \cup \{p \mid n : \nu_p(m^p - m) \ge 2\}$$

2. $\alpha$-単一なパラメータの自然密度 (定理 1.1 & 3.6):
   著者らは、$\mathbb{Z}[\alpha]$ が極大となるパラメータ $m$ の自然密度 $\delta_n$ を算出している。集合 $M_n^+(T) = \{1 \le m \le T : X^n - m \text{ は既約}, \mathbb{Z}[\alpha] = \mathcal{O}_K\}$ に対して、漸近計数は以下の通りである：
   $$M_n^+(X) = \delta_n X + O_n(X^{1/2})$$
   ここで、密度は次のように与えられる：
   $$\delta_n = \frac{6}{\pi^2} \prod_{p \mid n} \frac{p}{p+1}$$
   平方フリーな正の整数の集合に対する相対密度は $\prod_{p \mid n} \frac{p}{p+1}$ である。

3. 算術級数による精緻化 (系 3.10):
   論文は、密度に関する結果を算術級数 $m \equiv a \pmod q$ へと拡張している。モジュラス $q$ の $p$ 進評価と剰余類 $a$ に基づいて密度を調整する、明示的な局所因子 $\lambda_p(q, a)$ を提供している。これにより、局所的な障害が自動的に回避される算術級数を特定することが可能となる（系 3.12）。

4. 局所的障害の独立性 (命題 3.15):
   著者らは、$n$ を割る異なる素数における局所的障害集合が、平方フリーな整数に対して統計的に独立であることを示している。部分集合 $T \subseteq \{p : p \mid n\}$ における特定の局所条件に失敗するパラメータの密度は、個々の局所的失敗密度の積となる。

5. 判別式順序付けられた体の計数 (定理 1.4 & 3.13):
   $\mathbb{Z}[\alpha] = \mathcal{O}_K$ が、体の判別式が多項式の判別式と等しいことを意味するという事実を利用し、著者らはパラメータの計数を、判別式 $Y$ で順序付けられた同型類としての体の計数へと変換している。
   $$N_n(Y) \sim \begin{cases} \delta_n X & \text{($n$ が奇数の場合)} \\ 2\delta_n X & \text{($n$ が偶数の場合)} \end{cases}$$
   ここで $X = (Y/n^n)^{1/(n-1)}$ である。

6. 体の単一性との比較 (系 1.3):
   本論文は、$\alpha$-単一性と一般的な体の単一性の関係を明確にしている。$n=2$ の場合、条件は大きく異なる（例：$m \not\equiv 1 \pmod 4$）。$n \ge 3$ の場合、体は単一であるが $\mathbb{Z}[\alpha] \neq \mathcal{O}_K$ となる平方フリーなパラメータの集合は、平方フリー整数の中で相対密度ゼロである。したがって、$n \ge 3$ においては、密度 $\delta_n$ は純家族における単一な体の真の密度を実質的に表している。

意義と主張
著者らは、自らの研究が、より広範な文脈で使用される複雑な機構を避け、デデキントの指数判定のみを用いて、この純家族における同値性を証明する「短い証明」を提供していると主張している。主な意義は、一変数族 $X^n - m$ に対する厳密な密度理論を提供した点にある。特定の次数に焦点を当てたり、一般的なべき根拡大に対する相対的基準を用いたりした先行研究とは異なり、本論文は完全な局所・大域的判定基準と、$n$ の根基（radical）のみに依存する精密な密度公式を提供している。

著者らは、結果が純家族に特化したものであることを認めつつも、それによってこのクラスにおける $\alpha$-単一性の問題を完全に解決したとしている。さらに、「例外的な」ケース（体は単一であるが $\alpha$ を通じてではない場合）は $n \ge 3$ において密度ゼロであることを確立することで、$\delta_n$ が $n \ge 3$ における純家族の真の単一性の絶対的な正のパラメータ密度として機能することを主張している。また、局所的な障害パターンの理解にも寄与しており、それらの独立性を示し、単一性が保証される算術級数を構成するためのツールを提供している。