An elementary proof of the local Kronecker-Weber theorem

技術的概要：局所クルネッカー・ヴェーバー定理の初等的証明

問題提起
本論文は、$p$ 進数 $\mathbb{Q}_p$ の任意の有限アーベル拡大が円分拡大に含まれることを主張する局所クルネッカー・ヴェーバー定理を取り扱っている。グローバル版（$\mathbb{Q}$ に関するもの）は古典的な結果であるが、局所版は局所類体論、ガロアコホモロジー、またはルビン・テート理論といった高度な道具立てを用いて証明されることが多い。著者らは、局所類体論の結果や $p$ 進対数関数といった解析的道具を援用することなく、離散付値論、基本的なガロア理論、およびクンマー理論のみを頼りに、初等的で自己完結的かつ明示的な証明を提供することを目的としている。

手法
証明は、次数 $n = p^l \cdot m$（ただし $(p, m)=1$）の有限アーベル拡大 $F/\mathbb{Q}_p$ を、分岐に基づいて以下の 2 つの異なる場合に分解して進められる：

1. 穏やかな場合（$p \nmid n$）： 著者らは、不分岐部分と分岐部分を別々に解析する。不分岐部分については、慣性体の一意性を利用する。分岐部分については、ヘンゼルの補題と高次単数群の性質を用いて、その拡大が $-p$ の根（具体的には $\sqrt[e]{-p}$）を添加することによって生成されることを示し、それらが円分体内に含まれることを証明する。
2. 激しい場合（$p \mid n$）： この場合は、最大アーベルプロ-$p$ 拡大を扱う。著者らは基底体 $K = \mathbb{Q}_p(\zeta_p)$ 上で作業を行う。クンマー理論を用いて、次数 $p$ の巡回拡大と $K^\times / K^{\times p}$ の 1 次元部分空間との間の全単射を確立する。
   • 高次単数群（$U_F^{(k)}$）のフィルトレーションを用いて、剰余群 $K^\times / K^{\times p}$ の構造を明示的に計算する。
   • 重要なステップとして、ガロア群 $\text{Gal}(K/\mathbb{Q}_p)$ のこれらの単数群への作用を解析し、どの巡回拡大が $\mathbb{Q}_p$ 上でアーベル的にとどまるかを決定する。
   • $p=2$ の場合、$\mathbb{Q}_2(i)$ の固有の性質を扱うために特定の技術的補題を導入し、証明が単一の代数的枠組み内ですべての素数を一様にカバーすることを保証する。

主要な貢献と結果

• 初等的かつ自己完結的な証明： 本論文は、局所類体論、ガロアコホモロジー、およびルビン・テート構成を回避した証明を提供する。これは離散付値論と標準的な代数的道具のみを頼りにしている。
• 明示的な円分包含： 存在を証明するが包含する体を特定しない既存の証明とは異なり、本論文は次数 $n = p^l m$ の任意のアーベル拡大 $F$ を含む円分拡大に対する明示的な公式を提供する：
  $$F \subseteq \mathbb{Q}_p(\zeta_{p^{l+2}}, \zeta_{p^{m-1}})$$
  （注：$p=2$ の場合、境界は $\mathbb{Q}_2(\zeta_{2^{l+2}}, \zeta_{2^{2l-1}})$ にわずかに調整される）。
• 単数群の構造解析： 著者らは、一様化因子と高次単数代表元を用いて、剰余群 $F^\times / F^{\times p}$（および $p=2$ の場合は $F^\times / F^{\times 2}$）の明示的な基底を導出する。これにより、アーベル拡大の生成元の正確な特徴付けが可能となる。
• 素数の統一的扱い： 本証明は、$p=2$ と $p>2$ の場合を別々の構造的事例として扱うのではなく、単一の代数的枠組み内で処理する。ただし、$\mathbb{Q}_2$ の固有の振る舞いに対処するために、特定の補題（例えば補題 2.6）が必要となる。
• ワシントンとの比較： 本論文は、そのアプローチをワシントンの『Cyclotomic Fields』[10] に見られる証明と比較している。著者らは、ワシントンの証明は構造的に類似しているが、解析的議論（$\mathbb{Q}_p$ の完備性）に依存しており、必要な円分拡大の同じ明示的な記述を与えないことを指摘している。

意義と主張
著者らは、自らのアプローチが古典的な証明に対する「簡素化され明示的な」代替案を提供すると主張している。解析的道具（$p$ 進対数関数や指数級数など）および高レベルの類体論を回避することで、この証明は代数学の学部 2 年次相当の背景知識を持つ者にとってアクセス可能である。主な意義は結果の明示性にある。本論文は単にアーベル拡大が円分的であることを証明するだけでなく、拡大の次数から直接導かれる、それを包含するために必要な単位根の具体的な上限を提供する。論文は結論として、$\mathbb{Q}_p$ の最大アーベルプロ-$p$ 拡大は確かに円分拡大であり、そのガロア群は（$p>2$ の場合）$\mathbb{Z}_p \times \mathbb{Z}_p$ に、または（$p=2$ の場合）$C_2 \times \mathbb{Z}_2 \times \mathbb{Z}_2$ に同型であり、円分塔の構造と一致すると述べている。