An elementary proof of the local Kronecker-Weber theorem

Technical Summary: An Elementary Proof of the Local Kronecker-Weber Theorem

Problem Statement
The paper addresses the Local Kronecker-Weber theorem, which asserts that every finite abelian extension of the $p$-adic numbers $\mathbb{Q}_p$ is contained within a cyclotomic extension. While the global version (for $\mathbb{Q}$) is a classical result, the local version is often proved using advanced machinery such as local class field theory, Galois cohomology, or Lubin–Tate theory. The authors aim to provide a proof that is elementary, self-contained, and explicit, relying only on discrete valuation theory, basic Galois theory, and Kummer theory, without invoking results from local class field theory or analytic tools like $p$-adic logarithms.

Methodology
The proof proceeds by decomposing a finite abelian extension $F/\mathbb{Q}_p$ of degree $n = p^l \cdot m$ (where $(p, m)=1$) into two distinct cases based on the ramification:

1. The Tame Case ($p \nmid n$): The authors analyze the unramified and ramified parts of the extension separately. They utilize the uniqueness of inertia fields to handle the unramified part. For the ramified part, they employ Hensel's Lemma and properties of higher unit groups to show that the extension is generated by adjoining roots of $-p$ (specifically $\sqrt[e]{-p}$), which are then shown to lie within cyclotomic fields.
2. The Wild Case ($p \mid n$): This case involves the maximal abelian pro-$p$ extension. The authors work over the base field $K = \mathbb{Q}_p(\zeta_p)$. They utilize Kummer theory to establish a bijection between cyclic extensions of degree $p$ and one-dimensional subspaces of $K^\times / K^{\times p}$.
   • They explicitly calculate the structure of the quotient group $K^\times / K^{\times p}$ using filtrations of higher unit groups ($U_F^{(k)}$).
   • A crucial step involves analyzing the action of the Galois group $\text{Gal}(K/\mathbb{Q}_p)$ on these unit groups to determine which cyclic extensions remain abelian over $\mathbb{Q}_p$.
   • For $p=2$, a specific technical lemma is introduced to handle the unique properties of $\mathbb{Q}_2(i)$, ensuring the proof covers all primes uniformly within a single algebraic framework.

Key Contributions and Results

• Elementary and Self-Contained Proof: The paper provides a proof that avoids local class field theory, Galois cohomology, and Lubin–Tate constructions. It relies solely on discrete valuation theory and standard algebraic tools.
• Explicit Cyclotomic Containment: Unlike some existing proofs that establish existence without specifying the containing field, this paper provides an explicit formula for the cyclotomic extension containing any given abelian extension $F$ of degree $n = p^l m$:
  $$F \subseteq \mathbb{Q}_p(\zeta_{p^{l+2}}, \zeta_{p^{m-1}})$$
  (Note: For $p=2$, the bound is slightly adjusted to $\mathbb{Q}_2(\zeta_{2^{l+2}}, \zeta_{2^{2l-1}})$).
• Structural Analysis of Unit Groups: The authors derive explicit bases for the quotient groups $F^\times / F^{\times p}$ (and $F^\times / F^{\times 2}$ for $p=2$) in terms of uniformizers and higher unit representatives. This allows for a precise characterization of the generators of abelian extensions.
• Unified Treatment of Primes: The proof handles the case $p=2$ and $p>2$ within a single algebraic framework, rather than treating them as disjoint structural cases, although specific lemmas (like Lemma 2.6) are required to address the unique behavior of $\mathbb{Q}_2$.
• Comparison with Washington: The paper explicitly compares its approach to the proof found in Washington's Cyclotomic Fields [10]. The authors note that while Washington's proof is structurally similar, it relies on analytic arguments (completeness of $\mathbb{Q}_p$) and does not yield the same explicit description of the required cyclotomic extensions.

Significance and Claims
The authors claim that their approach offers a "streamlined and explicit" alternative to classical proofs. By avoiding analytic tools (such as $p$-adic logarithms and exponential series) and high-level class field theory, the proof remains accessible to those with a background in a second undergraduate course on algebra. The primary significance lies in the explicitness of the result: the paper does not merely prove that an abelian extension is cyclotomic, but provides a concrete bound on the roots of unity required to contain it, derived directly from the degree of the extension. The paper concludes that the maximal abelian pro-$p$ extension of $\mathbb{Q}_p$ is indeed a cyclotomic extension, with its Galois group isomorphic to $\mathbb{Z}_p \times \mathbb{Z}_p$ (for $p>2$) or $C_2 \times \mathbb{Z}_2 \times \mathbb{Z}_2$ (for $p=2$), matching the structure of the cyclotomic tower.