An elementary proof of the local Kronecker-Weber theorem

技术摘要：局部克罗内克 - 韦伯定理的一个初等证明

问题陈述
本文探讨了局部克罗内克 - 韦伯定理，该定理断言：$p$-进数 $\mathbb{Q}_p$ 的每一个有限阿贝尔扩张都包含在一个分圆扩张内。虽然全局版本（针对 $\mathbb{Q}$）是一个经典结果，但局部版本通常利用高级工具进行证明，例如局部类域论、伽罗瓦上同调或 Lubin–Tate 理论。作者旨在提供一个初等、自包含且明确的证明，仅依赖离散赋值理论、基础伽罗瓦理论和库默理论，而不引用局部类域论的结果或 $p$-进对数等分析工具。

方法论
证明通过将 $p$-进数 $\mathbb{Q}_p$ 的 $n = p^l \cdot m$ 次有限阿贝尔扩张 $F/\mathbb{Q}_p$（其中 $(p, m)=1$）分解为基于分歧情况的两个不同情形来进行：

1. ** tame 情形（$p \nmid n$）：** 作者分别分析了扩张的非分歧部分和分歧部分。他们利用惯性域的唯一性来处理非分歧部分。对于分歧部分，他们利用亨塞尔引理（Hensel's Lemma）和高阶单位群的性质，证明了该扩张是通过添加 $-p$ 的根（具体为 $\sqrt[e]{-p}$）生成的，随后证明了这些根位于分圆域内。
2. ** wild 情形（$p \mid n$）：** 此情形涉及最大阿贝尔 pro-$p$ 扩张。作者在基域 $K = \mathbb{Q}_p(\zeta_p)$ 上工作。他们利用库默理论建立了 $p$ 次循环扩张与 $K^\times / K^{\times p}$ 的一维子空间之间的双射。
   • 他们利用高阶单位群（$U_F^{(k)}$）的滤过，显式计算了商群 $K^\times / K^{\times p}$ 的结构。
   • 一个关键步骤涉及分析伽罗瓦群 $\text{Gal}(K/\mathbb{Q}_p)$ 对这些单位群的作用，以确定哪些循环扩张在 $\mathbb{Q}_p$ 上保持阿贝尔性。
   • 对于 $p=2$，引入了一条特定的技术引理来处理 $\mathbb{Q}_2(i)$ 的独特性质，确保证明在单一代数框架内统一覆盖所有素数。

主要贡献与结果

• 初等且自包含的证明： 本文提供了一个避免局部类域论、伽罗瓦上同调和 Lubin–Tate 构造的证明。它仅依赖离散赋值理论和标准代数工具。
• 明确的分圆包含关系： 与某些仅确立存在性而未指明包含域现有证明不同，本文给出了包含任意给定 $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$ 的情形，而不是将它们视为不相交的结构情形，尽管需要特定的引理（如引理 2.6）来解决 $\mathbb{Q}_2$ 的独特行为。
• 与 Washington 著作的比较： 本文明确将其方法与 Washington 的《分圆域》[10] 中的证明进行了比较。作者指出，虽然 Washington 的证明在结构上相似，但它依赖于分析论证（$\mathbb{Q}_p$ 的完备性），并且未能给出所需分圆扩张的相同显式描述。

意义与主张
作者声称，他们的方法为经典证明提供了一种“精简且明确”的替代方案。通过避免分析工具（如 $p$-进对数和指数级数）以及高层类域论，该证明对于具备本科代数第二门课程背景的人士而言是可及的。其主要意义在于结果的明确性：本文不仅证明了阿贝尔扩张是分圆的，而且提供了包含该扩张所需的单位根的具体界限，该界限直接源自扩张的次数。本文得出结论：$\mathbb{Q}_p$ 的最大阿贝尔 pro-$p$ 扩张确实是一个分圆扩张，其伽罗瓦群同构于 $\mathbb{Z}_p \times \mathbb{Z}_p$（对于 $p>2$）或 $C_2 \times \mathbb{Z}_2 \times \mathbb{Z}_2$（对于 $p=2$），这与分圆塔的结构相匹配。