p-进数论详解

p-进数论详解

目录

• 第一章 绪论
• 第二章 p-进赋值与p-进绝对值
• 第三章 p-进数域的构造
• 第四章 p-进整数环 \(\mathbb{Z}_p\)
• 第五章 p-进分析基础
• 第六章 Hensel 引理及其应用
• 第七章 p-进幂级数与指数函数、对数函数
• 第八章 局部域与局部类域论
• 第九章 p-进伽罗瓦理论
• 第十章 p-进L函数与Iwasawa理论
• 第十一章 p-进数论在算术几何中的应用
• 第十二章 现代前沿与开放问题
• 附录：重要定理与公式汇总

第一章 绪论

1.1 什么是p-进数论

p-进数论（p-adic Number Theory）是数论的一个分支，它研究的是p-进数（p-adic numbers）及其上的代数结构、分析性质和算术应用。p-进数是由德国数学家库尔特·亨泽尔（Kurt Hensel）于1897年创立的，他受到幂级数展开的启发，试图为整数环 \(\mathbb{Z}\) 构造一种“按素数 \(p\) 的幂次展开”的完备化。

p-进数论的核心思想可以概括为：

将“大小”的观念颠倒过来：在p-进数域中，一个数被 \(p\) 的高次幂整除意味着它“更小”，而不是“更大”。

这种看似反直觉的观念，却为研究数论中的同余、局部-整体原则（Local-Global Principle）和丢番图方程提供了强有力的工具。

1.2 动机：从幂级数到p-进数

亨泽尔的灵感来源于复分析中的泰勒展开。一个在 \(z=0\) 附近解析的函数 \(f(z)\) 可以展开为幂级数：

\[f(z) = a_0 + a_1 z + a_2 z^2 + \cdots \]

亨泽尔类比地认为：整数 \(n\) 也可以按照素数 \(p\) 的幂次“展开”：

\[n = a_0 + a_1 p + a_2 p^2 + \cdots + a_k p^k, \quad 0 \leqslant a_i < p \]

这是 \(n\) 的 \(p\) 进制表示。但亨泽尔更进一步：他允许这个展开无限延伸，从而得到p-进数：

\[x = a_0 + a_1 p + a_2 p^2 + \cdots + a_k p^k + \cdots \]

与实数不同，p-进数的展开是“向左无限延伸”——高位在左边，低位在右边，这与我们通常的十进制写法恰好相反。

1.3 p-进数论的历史发展

年份	事件
1897	亨泽尔发表第一篇关于p-进数的论文
1908	亨泽尔出版《p-进数理论》
1930s	Hasse将p-进数用于局部-整体原则
1960s	Tate引入p-进上同调
1970s	Iwasawa建立p-进L函数理论
1980s	Fontaine建立p-进霍奇理论
当代	p-进方法与朗兰兹纲领深度融合

1.4 p-进数论在数学中的位置

p-进数论是现代数论的核心工具之一：

• 局部-整体原则：先在局部域（p-进域）中解决问题，再拼接到整体域（数域）
• 算术几何：p-进方法在费马大定理、BSD猜想等中至关重要
• 表示论：p-进朗兰兹纲领是当前最活跃的前沿

1.5 预备知识

学习p-进数论需要：

1. 抽象代数：域、环、理想、模
2. 拓扑学：拓扑空间、完备化、紧致性
3. 数论基础：同余、素数、欧拉定理

第二章 p-进赋值与p-进绝对值

2.1 p-进赋值

定义 2.1（p-进赋值） ：设 \(p\) 是素数。对任意非零整数 \(a \in \mathbb{Z} \setminus \{0\}\)，定义 \(v_p(a)\) 为 \(a\) 的素因子分解中 \(p\) 的指数，即最大的 \(e \geqslant 0\) 使得 \(p^e \mid a\)。

对任意非零有理数 \(x = a/b \in \mathbb{Q}^\times\)，定义：

\[v_p(x) = v_p(a) - v_p(b) \in \mathbb{Z} \]

约定 \(v_p(0) = +\infty\)。

性质 2.1：\(v_p\) 具有以下性质：

1. \(v_p(xy) = v_p(x) + v_p(y)\)（乘法性）
2. \(v_p(x + y) \geqslant \min(v_p(x), v_p(y))\)，且当 \(v_p(x) \neq v_p(y)\) 时取等号
3. \(v_p(x) = +\infty \iff x = 0\)

定义 2.2（离散赋值环） ：\(\mathbb{Z}_{(p)} = \{ x \in \mathbb{Q} \mid v_p(x) \geqslant 0 \}\) 称为 \(\mathbb{Z}\) 在 \(p\) 处的局部化，它是一个离散赋值环（DVR）。

2.2 p-进绝对值

定义 2.3（p-进绝对值） ：对 \(x \in \mathbb{Q}\)，定义其p-进绝对值为：

\[|x|_p = \begin{cases} p^{-v_p(x)}, & x \neq 0 \\ 0, & x = 0 \end{cases}\]

性质 2.2：p-进绝对值满足：

1. 正定性：\(|x|_p \geqslant 0\)，且 \(|x|_p = 0 \iff x = 0\)
2. 乘法性：\(|xy|_p = |x|_p |y|_p\)
3. 超度量不等式（Strong Triangle Inequality）：
   \[|x + y|_p \leqslant \max(|x|_p, |y|_p) \]
   当 \(|x|_p \neq |y|_p\) 时取等号

定义 2.4（非阿基米德赋值） ：满足超度量不等式的绝对值称为非阿基米德赋值（Non-Archimedean Absolute Value）。

2.3 超度量性质及其几何意义

超度量性质 \(|x+y|_p \leqslant \max(|x|_p, |y|_p)\) 意味着：在p-进空间中，所有三角形都是等腰的，且任意三个点之间的距离满足“最强的两个相等”。

这意味着p-进拓扑具有完全不连通（Totally Disconnected）的性质——每个点都有自己的“小王国”，球与球之间要么不相交，要么一个包含另一个。

2.4 奥斯特洛夫斯基定理

定理 2.1（奥斯特洛夫斯基定理，Ostrowski） ：\(\mathbb{Q}\) 上的所有非平凡绝对值（在等价意义下）只有两类：

1. 通常的绝对值 \(|\cdot|_\infty\)（阿基米德赋值）
2. p-进绝对值 \(|\cdot|_p\)，其中 \(p\) 是素数（非阿基米德赋值）

这个定理表明：\(\mathbb{Q}\) 的完备化只有两种：实数域 \(\mathbb{R}\) 和所有p-进数域 \(\mathbb{Q}_p\)。

2.5 乘积公式

定理 2.2（乘积公式） ：对任意 \(x \in \mathbb{Q}^\times\)，

\[\prod_{v \in M_{\mathbb{Q}}} |x|_v = 1 \]

其中 \(M_{\mathbb{Q}} = \{ \infty \} \cup \{ p : p \text{ 素数} \}\) 是 \(\mathbb{Q}\) 的所有位置（Place）的集合。

这个公式是局部-整体原则的基础：一个数在所有局部域中的“大小”的乘积为1。

第三章 p-进数域的构造

3.1 作为完备化

定义 3.1（p-进数域） ：有理数域 \(\mathbb{Q}\) 关于p-进绝对值 \(|\cdot|_p\) 的完备化（Completion）称为p-进数域，记作 \(\mathbb{Q}_p\)。

构造细节：\(\mathbb{Q}\) 在 \(|\cdot|_p\) 下的柯西序列构成一个等价类，两个序列等价当且仅当它们的差趋于0。所有等价类的集合 \(\mathbb{Q}_p\) 在逐项加法和乘法下构成一个域。

3.2 p-进数的表示

每个p-进数 \(x \in \mathbb{Q}_p\) 可以唯一地表示为：

\[x = \sum_{i=n}^{\infty} a_i p^i, \quad a_i \in \{0, 1, \cdots, p-1\}, \quad a_n \neq 0 \]

其中 \(n = v_p(x) \in \mathbb{Z}\)。

这种表示与实数的十进制展开相反：实数展开是“向右无限延伸”，p-进数展开是“向左无限延伸”。

例 3.1：

• \(-1\) 在 \(\mathbb{Q}_p\) 中的表示为 \(\sum_{i=0}^{\infty} (p-1)p^i\)（因为 \(-1 = (p-1) + (p-1)p + (p-1)p^2 + \cdots\)）
• 这类似于二进制中 \(-1 = \cdots 1111_2\)

3.3 p-进整数环

定义 3.2（p-进整数环） ：

\[\mathbb{Z}_p = \{ x \in \mathbb{Q}_p \mid |x|_p \leqslant 1 \} = \left\{ \sum_{i=0}^{\infty} a_i p^i \mid a_i \in \{0, \cdots, p-1\} \right\} \]

性质 3.1：

1. \(\mathbb{Z}_p\) 是一个紧致拓扑环
2. \(\mathbb{Z}_p\) 是离散赋值环，其唯一的极大理想为 \(p\mathbb{Z}_p\)
3. 剩余域 \(\mathbb{Z}_p / p\mathbb{Z}_p \cong \mathbb{F}_p\)
4. \(\mathbb{Q}_p\) 是 \(\mathbb{Z}_p\) 的分式域

3.4 p-进数域 \(\mathbb{Q}_p\) 的拓扑

性质 3.2：

1. \(\mathbb{Q}_p\) 是局部紧的拓扑域
2. \(\mathbb{Q}_p\) 是完全不连通的拓扑空间
3. \(\mathbb{Z}_p\) 是 \(\mathbb{Q}_p\) 的紧开子群
4. \(\mathbb{Q}_p\) 是完备的、可分的度量空间

3.5 p-进数域的分类

定理 3.1：每个特征0的局部域（即 \(\mathbb{Q}_p\) 的有限扩张）都同构于某个 \(\mathbb{Q}_p\) 的有限扩张。

定义 3.3（p-进代数闭包） ：设 \(\overline{\mathbb{Q}}_p\) 是 \(\mathbb{Q}_p\) 的代数闭包。\(\overline{\mathbb{Q}}_p\) 关于 \(|\cdot|_p\) 的完备化记作 \(\mathbb{C}_p\)，称为p-进复数域。

定理 3.2：\(\mathbb{C}_p\) 是代数闭的且完备的（即既是代数闭包又是完备化）。它是p-进版本的 \(\mathbb{C}\)。

第四章 p-进整数环 \(\mathbb{Z}_p\)

4.1 \(\mathbb{Z}_p\) 的代数结构

定理 4.1：\(\mathbb{Z}_p\) 是一个主理想整环（PID），其所有非零理想都是 \((p^k)\)，\(k \geqslant 0\)。

推论 4.1：\(\mathbb{Z}_p\) 是唯一因子分解整环（UFD）且是离散赋值环（DVR）。

4.2 \(\mathbb{Z}_p\) 的拓扑结构

定理 4.2：\(\mathbb{Z}_p\) 同胚于康托尔集（Cantor Set）。

这可以从 \(\mathbb{Z}_p\) 的p-进制展开看出：每个位置有 \(p\) 种选择，形成 \(p\) 叉树结构，这正是康托尔集的推广。

4.3 \(\mathbb{Z}_p\) 上的测度

定义 4.1（Haar测度） ：\(\mathbb{Z}_p\) 上的归一化 Haar 测度 \(\mu\) 满足：

\[\mu(\mathbb{Z}_p) = 1, \quad \mu(a + p^k \mathbb{Z}_p) = \frac{1}{p^k} \]

性质：这种测度是平移不变的，且对任意 Borel 集 \(E\)，\(\mu(E) = \lim_{k \to \infty} |E \bmod p^k| / p^k\)（其中 \(| \cdot |\) 表示有限集合的基数）。

4.4 \(\mathbb{Z}_p^\times\)：单位群

定义 4.2（p-进单位群） ：

\[\mathbb{Z}_p^\times = \{ x \in \mathbb{Z}_p \mid v_p(x) = 0 \} = \mathbb{Z}_p \setminus p\mathbb{Z}_p \]

定理 4.3（\(\mathbb{Z}_p^\times\) 的结构分解） ：

\[\mathbb{Z}_p^\times \cong \mu_{p-1} \times (1 + p\mathbb{Z}_p) \]

其中 \(\mu_{p-1}\) 是 \(p-1\) 次单位根群。

进一步分解（当 \(p\) 为奇数时）：

\[1 + p\mathbb{Z}_p \cong \mathbb{Z}_p \quad \text{（拓扑同构）} \]

当 \(p=2\) 时：

\[\mathbb{Z}_2^\times \cong \{ \pm 1 \} \times (1 + 4\mathbb{Z}_2) \cong \{ \pm 1 \} \times \mathbb{Z}_2 \]

推论 4.2：\(\mathbb{Q}_p^\times \cong p^{\mathbb{Z}} \times \mathbb{Z}_p^\times \cong \mathbb{Z} \times \mu_{p-1} \times \mathbb{Z}_p\)（\(p\) 为奇数）。

4.5 \(\mathbb{Z}_p\) 上的多项式

定理 4.4：\(\mathbb{Z}_p[x]\) 中的多项式具有与 \(\mathbb{Z}[x]\) 类似的因式分解性质，但判断不可约性时可以使用模 \(p\) 约化（Hensel引理）。

第五章 p-进分析基础

5.1 p-进级数的收敛性

定理 5.1：在 \(\mathbb{Q}_p\) 中，级数 \(\sum_{n=0}^{\infty} a_n\) 收敛当且仅当 \(a_n \to 0\)（即 \(|a_n|_p \to 0\)）。

证明：由超度量性质，部分和 \(S_n\) 是柯西序列等价于相邻项趋于0。

这比实数域中的收敛条件（绝对收敛 \(\Rightarrow\) 收敛）要宽松得多——在p-进数域中，项趋于0即收敛。

例 5.1：级数 \(\sum_{n=0}^{\infty} p^n\) 在 \(\mathbb{Q}_p\) 中收敛到 \(1/(1-p)\)，因为 \(|p^n|_p = p^{-n} \to 0\)。

5.2 p-进幂级数

定义 5.1（p-进幂级数） ：形如 \(\sum_{n=0}^{\infty} a_n x^n\) 的级数，其中 \(a_n \in \mathbb{Q}_p\)。

其收敛半径 \(r\) 为：

\[r = \frac{1}{\limsup_{n \to \infty} |a_n|_p^{1/n}} \]

由于p-进绝对值是离散的，收敛半径通常形如 \(p^m\)。

例 5.2：\(\sum_{n=0}^{\infty} x^n\) 在 \(|x|_p < 1\) 时收敛到 \(1/(1-x)\)。

5.3 p-进连续函数

定义 5.2（p-进连续） ：函数 \(f: \mathbb{Q}_p \to \mathbb{Q}_p\) 在 \(x_0\) 处连续，若对任意 \(\varepsilon > 0\)，存在 \(\delta > 0\) 使得 \(|x - x_0|_p < \delta \Rightarrow |f(x) - f(x_0)|_p < \varepsilon\)。

定理 5.2：定义在 \(\mathbb{Z}_p\) 上的连续函数 \(f: \mathbb{Z}_p \to \mathbb{Q}_p\) 可以通过其在 \(\mathbb{Z}\) 上的值唯一确定（因为 \(\mathbb{Z}\) 在 \(\mathbb{Z}_p\) 中稠密）。

5.4 p-进可微性

定义 5.3（p-进可微） ：函数 \(f\) 在 \(x_0\) 处可导，若极限

\[\lim_{h \to 0} \frac{f(x_0 + h) - f(x_0)}{h} \]

存在。

注意：p-进可微性比实可微性更严格，因为p-进拓扑中 \(h \to 0\) 的方式更丰富（\(h\) 可以是 \(p^n\) 的倍数）。

5.5 中值定理的失效

重要事实：p-进分析中的中值定理不成立。例如，函数 \(f(x) = x^p - x\) 在 \(\mathbb{Z}_p\) 上满足 \(f(x+1) = f(x)\) 对 \(x \in \mathbb{Z}_p\) 不成立，但p-进中值定理的类比需要额外条件。

定义 5.4（严格可微） ：若

\[\lim_{x, y \to x_0} \frac{f(x) - f(y)}{x - y} \]

存在且有限，则称 \(f\) 在 \(x_0\) 处严格可微。

严格可微是p-进分析中比可微更自然的条件。

第六章 Hensel 引理及其应用

Hensel引理是p-进数论中最基本且最强大的工具，它相当于牛顿迭代法在p-进数域中的版本。

6.1 Hensel 引理（基本形式）

定理 6.1（Hensel引理，基本形式） ：设 \(f(x) \in \mathbb{Z}_p[x]\)，\(a_0 \in \mathbb{Z}_p\) 满足：

\[f(a_0) \equiv 0 \pmod{p}, \quad f'(a_0) \not\equiv 0 \pmod{p} \]

则存在唯一的 \(a \in \mathbb{Z}_p\) 使得：

\[f(a) = 0, \quad a \equiv a_0 \pmod{p} \]

证明思路：构造迭代序列 \(a_{n+1} = a_n - \frac{f(a_n)}{f'(a_n)}\)。通过归纳证明 \(f(a_n) \equiv 0 \pmod{p^{n+1}}\) 且 \(a_n\) 是柯西列，收敛到某个 \(a\)，且 \(f(a) = 0\)。

6.2 Hensel 引理（一般形式）

定理 6.2（Hensel引理，一般形式） ：设 \(f(x) \in \mathbb{Z}_p[x]\)，存在 \(a_0 \in \mathbb{Z}_p\) 使得

\[v_p(f(a_0)) > 2v_p(f'(a_0)) \]

则存在唯一的 \(a \in \mathbb{Z}_p\) 满足 \(f(a)=0\) 且 \(a \equiv a_0 \pmod{p^k}\)（其中 \(k = v_p(f(a_0)) - v_p(f'(a_0))\) 或更精确的界）。

6.3 应用：多项式根的提升

推论 6.1：若 \(f(x) \in \mathbb{Z}_p[x]\) 在 \(\mathbb{F}_p\) 上有一个单根（即 \(f(\bar{a}) = 0\)，\(f'(\bar{a}) \neq 0\)），则该根可以唯一地提升为 \(\mathbb{Z}_p\) 中的根。

推论 6.2：\(\mathbb{Q}_p\) 中包含 \(p-1\) 次单位根。

证明：考虑 \(f(x) = x^{p-1} - 1\)。在 \(\mathbb{F}_p\) 上，所有非零元素都是 \(p-1\) 次单位根，且导数 \((p-1)x^{p-2}\) 在非零元素处不为0。由Hensel引理，这些根可以提升到 \(\mathbb{Z}_p\)。

6.4 应用：平方根的存在性

定理 6.3：\(a \in \mathbb{Z}_p^\times\) 是平方数（即存在 \(x \in \mathbb{Z}_p\) 使得 \(x^2 = a\)）当且仅当 \(a \bmod p\) 是 \(\mathbb{F}_p\) 中的平方数（对于 \(p\) 为奇数）。

证明：考虑 \(f(x) = x^2 - a\)。若 \(a\) 模 \(p\) 有平方根 \(r \neq 0\)，则 \(f(r) \equiv 0 \pmod{p}\)，\(f'(r) = 2r \not\equiv 0 \pmod{p}\)。由Hensel引理，根提升到 \(\mathbb{Z}_p\)。

例 6.1：

• \(2\) 在 \(\mathbb{Q}_7\) 中是平方数吗？\(2\) 模 \(7\) 的平方剩余为 \(1,2,4\)，所以 \(2\) 是平方剩余。因此 \(\sqrt{2} \in \mathbb{Q}_7\)。
• \(2\) 在 \(\mathbb{Q}_5\) 中不是平方数（因为 \(2\) 模 \(5\) 的平方剩余为 \(1,4\)，\(2\) 不是）。

6.5 应用：p-进对数与指数

Hensel引理可以用于定义p-进对数：

\[\log(1 + x) = \sum_{n=1}^{\infty} (-1)^{n-1} \frac{x^n}{n} \]

这个级数在 \(v_p(x) > 1/(p-1)\) 时收敛（详细讨论见第七章）。

第七章 p-进幂级数与指数函数、对数函数

7.1 p-进指数函数

定义 7.1（p-进指数） ：

\[\exp_p(x) = \sum_{n=0}^{\infty} \frac{x^n}{n!} \]

收敛域：\(\exp_p(x)\) 在 \(|x|_p < p^{-1/(p-1)}\) 时收敛（即 \(v_p(x) > 1/(p-1)\)）。

原因：\(v_p(n!) = \frac{n - s_p(n)}{p-1} \sim \frac{n}{p-1}\)，所以 \(v_p(x^n/n!) = n v_p(x) - v_p(n!) \to \infty\) 当且仅当 \(v_p(x) > 1/(p-1)\)。

7.2 p-进对数函数

定义 7.2（p-进对数） ：

\[\log_p(1 + x) = \sum_{n=1}^{\infty} (-1)^{n-1} \frac{x^n}{n} \]

收敛域：\(\log_p(1 + x)\) 在 \(|x|_p < 1\) 时收敛（即 \(v_p(x) > 0\)）。

注意：与复对数不同，p-进对数在某些区域上可以定义，但 \(\log_p(p) = 0\) 不成立（实际上 \(\log_p(p)\) 在p-进分析中通常不被定义或需要扩展）。

7.3 指数与对数的关系

定理 7.1：在收敛域内，\(\exp_p\) 和 \(\log_p\) 互为逆映射：

\[\exp_p(\log_p(1+x)) = 1+x, \quad \log_p(\exp_p(x)) = x \]

p-进对数映射：

\[\log_p: 1 + p\mathbb{Z}_p \to p\mathbb{Z}_p \quad \text{（当 } p \neq 2 \text{）} \]

这是一个群同构（拓扑同构）。

7.4 Artin-Hasse 指数函数

定义 7.3（Artin-Hasse指数函数） ：

\[E_p(x) = \exp\left( x + \frac{x^p}{p} + \frac{x^{p^2}}{p^2} + \cdots \right) \]

性质：\(E_p(x) \in 1 + x\mathbb{Z}_p\llbracket x \rrbracket\)（即系数都在 \(\mathbb{Z}_p\) 中），且 \(E_p(x) \equiv \exp(x)\) 在p-adic意义下的一个“整系数”版本。

Artin-Hasse函数在p-进伽罗瓦理论和分圆理论中有重要应用。

7.5 p-进伽马函数

定义 7.4（Morita p-进伽马函数） ：对 \(n \in \mathbb{N}\)，定义

\[\Gamma_p(n) = (-1)^n \prod_{1 \leqslant i < n, p \nmid i} i \]

然后通过连续延拓（利用 \(\mathbb{Z}_p\) 上的连续性）将 \(\Gamma_p\) 定义到整个 \(\mathbb{Z}_p\)。

性质：

• \(\Gamma_p\) 是 \(\mathbb{Z}_p\) 上的连续函数
• 满足 \(\Gamma_p(x+1) = \Gamma_p(x) \cdot \text{（某个p-进因子）}\)
• 与经典的欧拉伽马函数有深刻的联系

第八章 局部域与局部类域论

8.1 局部域的定义与分类

定义 8.1（局部域） ：局部域是某个非平凡赋值下的完备域。

分类：

1. 阿基米德局部域：\(\mathbb{R}\) 和 \(\mathbb{C}\)
2. 非阿基米德局部域：\(\mathbb{Q}_p\) 的有限扩张，以及 \(\mathbb{F}_q((t))\)（有限域上的 Laurent 级数域）

8.2 局部域的扩张

设 \(L/K\) 是局部域的有限扩张。定义：

• 分歧指数 \(e(L/K) = v_L(\pi_K)\)，其中 \(\pi_K\) 是 \(K\) 的均匀化元
• 剩余次数 \(f(L/K) = [k_L : k_K]\)，其中 \(k\) 是剩余域

定理 8.1（基本等式） ：

\[[L : K] = e(L/K) \cdot f(L/K) \]

8.3 非分歧扩张与完全分歧扩张

定义 8.2（非分歧扩张） ：若 \(e(L/K) = 1\)，称 \(L/K\) 是非分歧的（Unramified）。

定理 8.2：对每个 \(f \geqslant 1\)，\(\mathbb{Q}_p\) 存在唯一的次数为 \(f\) 的非分歧扩张，它是通过在 \(\mathbb{Z}_p\) 中添加 \(p^f - 1\) 次单位根得到的。

定义 8.3（完全分歧扩张） ：若 \(f(L/K) = 1\)，称 \(L/K\) 是完全分歧的（Totally Ramified）。

例 8.1：\(\mathbb{Q}_p(\sqrt[n]{u})\)（其中 \(u \in \mathbb{Z}_p^\times\)）通常是完全分歧的（如果 \(x^n - u\) 在模 \(p\) 下是Eisenstein多项式）。

8.4 局部类域论

定理 8.3（局部互反律） ：设 \(K\) 是局部域。则存在自然同构（局部Artin映射）：

\[\operatorname{Art}_K: K^\times \to \operatorname{Gal}(K^{\text{ab}}/K) \]

其中 \(K^{\text{ab}}\) 是 \(K\) 的最大阿贝尔扩张。

推论 8.1：对每个有限阿贝尔扩张 \(L/K\)，

\[\operatorname{Gal}(L/K) \cong K^\times / \operatorname{N}_{L/K}(L^\times) \]

8.5 范域与分歧群

定义 8.4（范域） ：设 \(L/K\) 是局部域扩张。\(K^\times\) 的子群 \(\operatorname{N}_{L/K}(L^\times)\) 称为 \(L/K\) 的范域（Norm Group）。

局部类域论给出了所有有限阿贝尔扩张与 \(K^\times\) 的有限指数开子群之间的一一对应。

惯性群与分歧群：

• \(I(L/K)\)：惯性群（Inertia Group），阶为 \(e(L/K)\)
• \(V_i\)：高阶分歧群（Ramification Groups），给出了分歧的精细结构

第九章 p-进伽罗瓦理论

9.1 p-进伽罗瓦表示

定义 9.1（p-进伽罗瓦表示） ：设 \(K\) 是 \(\mathbb{Q}_p\) 的有限扩张，\(G_K = \operatorname{Gal}(\overline{K}/K)\) 是绝对伽罗瓦群。一个p-进伽罗瓦表示是一个连续同态：

\[\rho: G_K \to \mathrm{GL}_n(\mathbb{Q}_p) \]

9.2 Tate 模

定义 9.2（Tate模） ：设 \(E\) 是 \(K\) 上的椭圆曲线。对素数 \(\ell\)，定义 \(\ell\)-进Tate模：

\[T_\ell(E) = \varprojlim_n E[\ell^n] \]

其中 \(E[\ell^n]\) 是 \(\ell^n\) 挠点。

\(T_\ell(E)\) 是秩为2的自由 \(\mathbb{Z}_\ell\)-模，带有自然的伽罗瓦作用，从而给出一个 \(\ell\)-进伽罗瓦表示：

\[\rho_{E,\ell}: G_K \to \mathrm{GL}_2(\mathbb{Z}_\ell) \]

9.3 p-进霍奇理论：周期环

定义 9.3（p-进周期环） ：

• \(\mathbf{B}_{\text{HT}}\)（Hodge-Tate环）
• \(\mathbf{B}_{\text{dR}}\)（de Rham环）
• \(\mathbf{B}_{\text{cris}}\)（晶体环）
• \(\mathbf{B}_{\text{st}}\)（半稳定环）

这些环是 \(\mathbb{C}_p\) 的子环，带有伽罗瓦作用，用于分类p-进伽罗瓦表示。

定理 9.1（Fontaine分类） ：

1. Hodge-Tate表示：\(V \otimes \mathbf{B}_{\text{HT}}\) 是 \(\mathbf{B}_{\text{HT}}\)-自由模
2. de Rham表示：\(V \otimes \mathbf{B}_{\text{dR}}\) 是 \(\mathbf{B}_{\text{dR}}\)-自由模
3. 晶体表示：\(V \otimes \mathbf{B}_{\text{cris}}\) 是 \(\mathbf{B}_{\text{cris}}\)-自由模
4. 半稳定表示：\(V \otimes \mathbf{B}_{\text{st}}\) 是 \(\mathbf{B}_{\text{st}}\)-自由模

9.4 p-进霍奇理论的应用

p-进霍奇理论在以下方面至关重要：

1. 费马大定理的证明（Wiles）
2. Faltings定理（高亏格曲线有理点有限性）中的p-进方法
3. p-进朗兰兹纲领的基础

第十章 p-进L函数与Iwasawa理论

10.1 动机：将L函数“插值”到p-进世界

经典L函数（如Riemann ζ函数）在 \(s=1\) 处有极点。Iwasawa理论试图构造这些L函数的p-进类比，将其在临界点处的特殊值（如 \(\zeta(1-k)\)）通过p-进插值连接起来。

10.2 Kubota-Leopoldt p-进L函数

定理 10.1（Kubota-Leopoldt，1964） ：对每个Dirichlet特征 \(\chi\)，存在一个p-进解析函数 \(L_p(s, \chi)\)，定义在 \(\mathbb{Z}_p\) 上（或 \(\mathbb{Z}_p \times \mathbb{Z}_p\) 的子集），使得对任意正整数 \(k\)，

\[L_p(1-k, \chi) = (1 - \chi(p)p^{k-1}) L(1-k, \chi) \]

（忽略欧拉因子）

这就是Kubota-Leopoldt p-进L函数，它将经典Dirichlet L函数在负整数处的值进行了p-进插值。

注：当 \(s\) 是负整数时，p-进L函数与经典L函数的值通过一个欧拉因子的修正相关联。

10.3 Iwasawa代数与Z_p-扩张

定义 10.1（Iwasawa代数） ：设 \(\Gamma = 1 + p\mathbb{Z}_p\)（拓扑同构于 \(\mathbb{Z}_p\)）。定义Iwasawa代数：

\[\Lambda = \mathbb{Z}_p\llbracket \Gamma \rrbracket \cong \mathbb{Z}_p\llbracket T \rrbracket \]

其中 \(T = \gamma - 1\)，\(\gamma\) 是 \(\Gamma\) 的拓扑生成元。

Iwasawa理论研究数域的 \(\mathbb{Z}_p\)-扩张塔上的算术对象的极限行为。

10.4 Iwasawa 主猜想

Iwasawa主猜想（Mazur-Wiles定理，1984）断言：Kubota-Leopoldt p-进L函数的零点与分圆 \(\mathbb{Z}_p\)-扩张的类群的Iwasawa模的秩之间存在精确的对应。

定理 10.2（Mazur-Wiles） ：对任意全实域 \(F\) 和任意 \(\mathbb{Z}_p\)-扩张 \(F_\infty/F\)，Iwasawa主猜想成立（对于分圆 \(\mathbb{Z}_p\)-扩张）。

10.5 伯努利数与p-进L函数

定义 10.2（伯努利数） ：生成函数

\[\frac{t}{e^t - 1} = \sum_{n=0}^{\infty} B_n \frac{t^n}{n!} \]

定理 10.3：Kummer同余关系：若 \(m \equiv n \pmod{p-1}\)，则

\[\frac{B_m}{m} \equiv \frac{B_n}{n} \pmod{p} \]

（需要排除某些情形）

这些同余关系正是Kubota-Leopoldt p-进L函数存在性的基础——它们保证了伯努利数可以p-进插值。

第十一章 p-进数论在算术几何中的应用

11.1 p-进上同调

定义 11.1（p-进étale上同调） ：设 \(X\) 是 \(\mathbb{Q}_p\) 上的代数簇。其 \(\ell\)-进étale上同调 \(H^i_{\text{ét}}(X_{\overline{\mathbb{Q}}_p}, \mathbb{Q}_\ell)\) 带有伽罗瓦群 \(\operatorname{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)\) 的作用，给出p-进伽罗瓦表示。

11.2 晶体上同调

定义 11.2（晶体上同调） ：由Berthelot和Grothendieck发展，是p-进上同调的一种形式，适用于特征 \(p\) 的代数簇。它通过晶体（Crystals）的概念将de Rham上同调推广到特征 \(p\) 情形。

11.3 Faltings 定理与p-进方法

Faltings定理（1983）证明了Mordell猜想：亏格 \(g \geqslant 2\) 的代数曲线只有有限多个有理点。

Faltings的证明中，p-进霍奇理论和p-进高度理论起到了核心作用。

11.4 p-进模性定理

p-进模性定理是证明费马大定理的关键步骤。Wiles证明了p-进模性提升定理（p-adic modularity lifting theorem），这是基于p-进伽罗瓦表示变形理论的突破性成果。

核心思想：如果一个p-进伽罗瓦表示在模 \(p\) 约化后是模的，则该表示本身也是模的。

11.5 BSD猜想与p-进方法

Birch-Swinnerton-Dyer猜想（BSD）是克雷数学研究所的千禧年难题之一。p-进方法（如p-进L函数、p-进Selmer群）是研究BSD猜想的重要工具。

第十二章 现代前沿与开放问题

12.1 p-进朗兰兹纲领

p-进朗兰兹纲领是将经典朗兰兹纲领的互反性推广到p-进表示论中。

核心问题：建立 \(\mathrm{GL}_n(\mathbb{Q}_p)\) 的p-进表示与 \(\operatorname{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)\) 的p-进伽罗瓦表示之间的对应。

重要进展：

• Breuil对 \(\mathrm{GL}_2(\mathbb{Q}_p)\) 的p-进朗兰兹纲领
• Colmez、Emerton等人对一般情形的贡献
• 与完备格论（Perfectoid Theory）的结合

12.2 完备格论（Perfectoid Theory）

定义 12.1（完备空间） ：由Peter Scholze引入，是p-进几何中的一个革命性概念。完备空间允许将特征 \(p\) 的几何提升到特征0，从而将p-进数域与有限域上的代数几何联系起来。

Scholze因这项工作获得2018年菲尔兹奖。

12.3 p-进霍奇理论的进一步发展

• 相对p-进霍奇理论：考虑基变换情形（刘若川等人的工作）
• p-进模性提升定理的推广：在更多情形下建立p-进自守提升

12.4 未解决问题汇编

问题 12.1（p-进BSD猜想） ：证明p-进Selmer群的秩与p-进L函数在 \(s=1\) 处的零点阶之间的精确关系。

问题 12.2（p-进阿廷猜想） ：证明p-进阿廷L函数的全纯性。

问题 12.3（Iwasawa主猜想的一般化） ：对更一般的p-进变形（不仅仅是分圆 \(\mathbb{Z}_p\)-扩张）建立主猜想。

问题 12.4（p-进朗兰兹纲领的一般化） ：将p-进朗兰兹纲领推广到数域上的 \(\mathrm{GL}_n\)。

问题 12.5（p-进局部-整体原则） ：研究p-进局部信息如何决定整体算术结构。

附录：重要定理与公式汇总

A.1 核心概念

概念	定义
p-进赋值	\(v_p(x) = \max\{ n : p^n \mid x \}\)
p-进绝对值	\(|x|_p = p^{-v_p(x)}\)
p-进数域	\(\mathbb{Q}_p = \overline{\mathbb{Q}}^{|\cdot|_p}\)
p-进整数环	\(\mathbb{Z}_p = \{ x \in \mathbb{Q}_p : |x|_p \leqslant 1 \}\)

A.2 核心定理

定理	公式/内容
奥斯特洛夫斯基定理	\(\mathbb{Q}\) 的完备化只有 \(\mathbb{R}\) 和 \(\mathbb{Q}_p\)
乘积公式	\(\prod_{v} |x|_v = 1\)（对 \(x \in \mathbb{Q}^\times\)）
\(\mathbb{Z}_p^\times\) 结构	\(\mathbb{Z}_p^\times \cong \mu_{p-1} \times (1+p\mathbb{Z}_p)\)
Hensel引理	\(f(a_0) \equiv 0 \pmod{p}, f'(a_0) \not\equiv 0 \Rightarrow f(a)=0\) 有解
局部互反律	\(K^\times \cong \operatorname{Gal}(K^{\text{ab}}/K)\)
Kubota-Leopoldt	\(L_p(1-k, \chi) = (1 - \chi(p)p^{k-1}) L(1-k, \chi)\)

A.3 重要级数与收敛域

函数	展开	收敛域
p-进指数	\(\exp_p(x) = \sum x^n/n!\)	\(|x|_p < p^{-1/(p-1)}\)
p-进对数	\(\log_p(1+x) = \sum (-1)^{n-1} x^n/n\)	\(|x|_p < 1\)
几何级数	\(\sum x^n = 1/(1-x)\)	\(|x|_p < 1\)

A.4 重要常数与特殊值

常数	性质
\(p\)	素数，p-进数域的基础
\(\mathbb{C}_p\)	p-进复数域，代数闭且完备
\(\mu_{p-1}\)	\(p-1\) 次单位根群
\(B_n\)	伯努利数

A.5 常用记号

记号	含义
\(v_p(x)\)	p-进赋值
\(|x|_p\)	p-进绝对值
\(\mathbb{Q}_p\)	p-进数域
\(\mathbb{Z}_p\)	p-进整数环
\(\mathbb{Z}_p^\times\)	p-进单位群
\(\mathbb{C}_p\)	p-进复数域
\(G_K\)	绝对伽罗瓦群
\(\mathcal{O}_K\)	局部域的整数环
\(\mathfrak{m}_K\)	极大理想

参考文献

1. Koblitz, N. p-adic Numbers, p-adic Analysis, and Zeta-Functions [M]. Springer, 1984.
2. Gouvea, F. Q. p-adic Numbers: An Introduction [M]. Springer, 1993.
3. Serre, J. P. Local Fields [M]. Springer, 1979.
4. Neukirch, J. Algebraic Number Theory [M]. Springer, 1999.
5. Washington, L. C. Introduction to Cyclotomic Fields [M]. Springer, 1997.
6. 冯克勤. 代数数论 [M]. 科学出版社.
7. Scholze, P. Perfectoid Spaces [J]. 2012.
8. Fontaine, J. M. p-adic Hodge Theory [C]. 1982.