Wiki. “局部域” [局部域]

局部域是相对于整体域的概念, 若整体域可想象为曲线上的有理函数域, 则局部域是曲线上的形式邻域 (所谓 “形式圆盘”) 上的函数域. 整体域的 Langlands 纲领有一个局部域版本, 称为局部 Langlands 对应.

定义

局部域是局部紧 Hausdorff 拓扑域.

性质

局部域的同构类可如下分为三类:

• Archimedes 局部域, 即 $\mathbb{R}$, $\mathbb{C}$;
• 非 Archimedes 特征 $0$ 局部域, 即 $\mathbb{Q}_p$ 的有限扩张, 又称 $p$-进域;
• 非 Archimedes 特征 $p$ 局部域, 即 $\mathbb F_q(\!(t)\!)$ ($q$ 为 $p$ 的幂).

赋值

非 Archimedes 局部域 $F$ 上有一绝对值 $\|{-}\| \colon F \to \mathbb{R}_{\geq 0}$, 满足对 Haar 测度 $\mu$ 和任意可测子集 $X$, $$ \mu(aX) = \|a\|\mu(X). $$

定义 $F$ 的整数环 (ring of integers) 为 $$ \mathcal O = \{x\in F \mid \|x\|\leq 1\}. $$ 它是一个局部环, 有极大理想 $$ \mathfrak m = \{x\in F \mid \|x \| < 1\}. $$ 一般记 $k=\mathcal O / \mathfrak m$ 为其剩余域 (residue field).