1 基本定义
局部域通常被理解为在某种赋值或拓扑意义下“局部完备”的域。与一般域相比，它更强调某个位置附近的结构：可以是绝对值所诱导的度量，也可以是离散赋值所给出的层级结构。正因如此，局部域既适合做局部分析，也便于与全局数论中的素点、完备化和局部性质对应起来。
1.1 域与赋值
赋值是刻画域中元素“大小”或“可除性层次”的工具。通过赋值，可以把域转化为带有额外结构的对象，从而定义拓扑、讨论收敛性，并建立完备化过程。局部域的基本性质，往往首先体现在赋值的类型上。
1.1.1 离散赋值
离散赋值把非零元素映射到整数群，通常反映某种“阶数”或“零点次数”。这类赋值最典型的特点是取值集合离散，便于把元素按幂次分层。许多数论中的重要完备域都来自离散赋值，例如 p-adic 域和形式幂级数域。
1.1.2 非阿基米德赋值
非阿基米德赋值满足强三角不等式，即两个元素之和的大小不超过二者中较大的那个。这种性质导致拓扑行为与实分析中的直觉不同，例如球常常嵌套而非仅仅相交。局部域的非阿基米德部分正是建立在这种赋值之上。
1.2 完备性
完备性意味着域中所有“柯西极限过程”都能在域内完成。对于局部域而言，完备性是不可或缺的，因为它保证了极限、级数以及解析工具的可用性。没有完备性，很多局部分析结论就难以成立。
1.2.1 度量完备
若赋值来自绝对值，则可定义距离，并讨论度量空间意义下的完备。此时，序列若彼此越来越接近，就应收敛到域内某个元素。实数域和 p-adic 数域都属于这一类完备化的典型结果。
1.2.2 赋值完备
在赋值语言中，完备性也可直接表述为对 Cauchy 序列或嵌套球的极限闭合。对于离散赋值域，这种完备性尤其自然，因为赋值阶数本身提供了清晰的收敛尺度。形式幂级数域的完备结构就体现了这一点。
1.3 局部域的定义
局部域一般指非离散拓扑下的完备域，并且通常满足局部紧性等条件。不同教材对细节表述略有差异，但核心都在于：它既具备完备分析结构，又具有足够“有限”的局部性质。分类上，局部域大体分为离散与非离散两类。
1.3.1 非离散局部域
非离散局部域的拓扑并不来自离散赋值层次，而往往对应实数域或复数域这类经典完备域。它们在分析上非常熟悉，但在数论语境中通常只占局部域定义的一部分。由于这些域的绝对值是阿基米德型，它们的结构与非阿基米德情形有明显差别。
1.3.2 离散局部域
离散局部域通常指带有离散赋值并且完备的非阿基米德域。它们是数论和代数几何中最常见的局部域类型，具有明确的极大理想、剩余域和均匀化元。大多数局部类域论的核心内容都首先针对这一类对象展开。
2 典型例子
局部域的例子来源非常广泛，但最常见的两条路线是：对有理数域或数域做完备化，以及从有限域出发构造形式幂级数域。前者联系整数论，后者联系函数域与代数几何。它们共同构成局部域的标准样本。
2.1 有限扩张的有理数完备化
有理数域在素数 p 处完备化后，得到 p-adic 数域；若在无穷处完备化，则得到实数域或复数域。前者是非阿基米德局部域的代表，后者则是阿基米德局部域的代表。有限扩张进一步丰富了这类局部域的结构。
2.1.1 p-adic 数域
p-adic 数域记作 Q_p，是有理数域按 p-adic 绝对值完备化后的结果。它允许用 p 的幂次来衡量数的大小，因此与通常实数绝对值下的大小观念不同。Q_p 在同余、局部方程和数论估计中具有核心作用。
2.1.1.1 p-adic 整数环
p-adic 整数环 Z_p 是 Q_p 中绝对值不超过 1 的元素构成的子环。它是一个典型的离散赋值环，其极大理想由 p 生成。Z_p 可看作 p-adic 世界中的“整数”，常用于研究模 p^n 的逐层近似。
2.1.2 实数域与复数域
实数域 R 和复数域 C 也可被视为局部域的例子，属于阿基米德型情形。它们对应通常的绝对值完备化，结构上更接近经典分析。虽然在现代数论中，局部域一词更多指非阿基米德对象，但这两者仍是定义中的重要边界例子。
2.2 有限域上的形式幂级数域
以有限域为系数的形式幂级数域，通常记为 F_q[[t]] 的分式域 F_q((t))。它们天然带有 t-adic 赋值，并且完备、离散、局部紧。此类域在函数域类比中扮演与 Q_p 对应的角色。
2.2.1 Laurent 级数域
Laurent 级数域允许有限个负幂，因此包含“主部”和“正则部”。它比纯幂级数域更适合作为域，因为每个非零元素都有乘法逆元。F_q((t)) 是正特征局部域的标准模型。
2.2.1.1 赋值与剩余域
在 Laurent 级数域中，赋值由最低次非零项的幂次决定，剩余域则由常数项或模掉极大理想后的结果给出。其剩余域通常仍是有限域 F_q。赋值与剩余域共同决定了该局部域的基本算术特征。
2.3 几何与算术来源
局部域不只来自显式构造，也常作为几何对象或数论对象在某一点的完备化出现。这样的来源使得局部域成为“放大观察”某个点附近结构的工具。许多全局问题在局部化后会变得更可控。
2.3.1 数域处的完备化
数域在某个素数对应的赋值下完备化后，通常得到 p-adic 类型的局部域。这个过程保留了与该素数相关的局部信息，并丢掉其他位置的影响。由此可把全局算术拆解成一系列局部问题。
2.3.2 函数域处的完备化
函数域在某个点处完备化后，常得到形式幂级数或 Laurent 级数类型的局部域。这里的“点”可理解为代数曲线上的位置，故局部结构带有几何意味。该构造是算术几何中最常见的局部化方式之一。
3 分类与结构
局部域可以按特征、赋值类型和拓扑性质进行分类。虽然不同分类方式侧重点不同，但都显示出局部域具有非常规整的结构：既有限制又具备足够弹性，足以支撑深层理论。分类结果也使许多定理能够归结为少数模型情形。
3.1 局部域的两大类型
从代数特征看，局部域大致分为特征零和正特征两类。前者与 p-adic 域相连，后者与有限域上的 Laurent 级数域相连。这个区分是后续结构理论的基础。
3.1.1 特征零情形
特征零的局部域通常是 Q_p 的有限扩张，或阿基米德型的 R、C。它们的算术结构与整数及有理数关系紧密，便于与经典数论相结合。大量局部互反、分歧理论和表示论都首先在此框架内建立。
3.1.2 正特征情形
正特征局部域典型地来自有限域上的形式幂级数域及其有限扩张。其乘法和加法结构受到幂级数展开的强烈影响。与特征零相比，正特征下还会出现一些纯不可分现象，使理论更具代数味道。
3.2 局部域的拓扑结构
局部域的拓扑通常由赋值诱导，并且往往局部紧。拓扑结构不仅决定收敛与连续性，也影响 Haar 测度、傅里叶分析和群表示。局部域之所以适合做分析，关键就在于它的拓扑十分规整。
3.2.1 局部紧性
局部紧性意味着每个点附近都有紧邻域，这是进行调和分析的基本前提。对于非阿基米德局部域，单位球通常就是紧集；对于 R 和 C，这一点也同样成立。局部紧性使得许多经典分析工具得以推广。
3.2.2 紧致子群
在乘法群中，单位群及其子群往往具有紧致性，尤其是主单位群常常是重要的紧致开子群。紧致子群在表示论和和谐分析中很关键，因为它们提供了可控的分解。局部域的群结构因此比一般域更加丰富。
3.3 剩余域
剩余域是将赋值环中的元素按极大理想模掉后得到的有限或正特征域。它反映了局部域“降阶”后的代数信息。通过剩余域可以研究分歧、惯性以及扩张的残差行为。
3.3.1 有限剩余域
许多重要局部域的剩余域是有限域，例如 Q_p 的剩余域为 F_p。有限性大大简化了计数问题，并使局部对象具有强烈的离散特征。局部类域论和分歧理论都经常利用这一性质。
3.3.2 特征与分歧
剩余域的特征决定了许多分歧现象的形态。若扩张在剩余域层面上出现不稳定，就会产生惯性和分歧指标。局部域研究中的“好坏约化”往往就通过剩余域来判断。
4 代数性质
局部域的代数性质集中体现在扩张、赋值环、极大理想与单位群结构上。由于完备性和离散性并存，这些对象都具有高度可分解的特征。局部域因此成为代数方法最容易发挥作用的场景之一。
4.1 扩张理论
局部域的有限扩张通常仍保持为局部域，这使得扩张理论十分完整。扩张可细分为惰性、分歧和残差扩张等方面。研究这些内容，有助于理解更复杂的伽罗瓦结构。
4.1.1 有限扩张
有限扩张保持完备性，并且常可用扩张度、剩余域次数和分歧指数来描述。它们的结构比一般域扩张更加精细，因为赋值会同时约束代数与拓扑行为。许多局部问题最终都可通过有限扩张归结。
4.1.2 纯不可分扩张
在正特征情形下，纯不可分扩张可能出现，并且会带来不同于可分扩张的现象。它们不对应传统伽罗瓦理论中的对称群，而更多体现特征 p 的特殊性。局部域的完整分类不能忽略这类扩张。
4.2 赋值环与极大理想
与局部域对应的赋值环是研究其整数结构的自然载体。极大理想提供了“可除性最低层”的信息，而商环则恢复剩余域。这样的结构使局部域能够以环论方式处理。
4.2.1 离散赋值环
离散赋值环是主理想整环的一种重要来源，具有单一极大理想和整齐的理想链。许多局部域的整数环正是这种环。它们为局部参数、分歧和模幂层次提供了统一语言。
4.2.2 均匀化元
均匀化元是赋值恰好为 1 的元素，能生成极大理想。它相当于局部坐标中的“基本小量”，使任意元素都可分解为某个幂次乘以单位。该概念在局部展开和归纳证明中非常常用。
4.3 单位群结构
单位群由赋值为零的元素组成，是局部域乘法群中最稳定的部分。它通常可以进一步分层，例如分为剩余域单位、主单位和更高阶单位。该结构在类域论和表示论中都十分重要。
4.3.1 主单位群
主单位群由形如 1 加上极大理想元素的数构成，通常是一个紧致的正规子群。它反映了“接近 1”的乘法结构，对局部指数和幂映射性质很敏感。许多局部同构都要先研究它。
4.3.2 乘法群分解
局部域的乘法群常可分解为均匀化元的幂次、单位群以及主单位群等部分。这样的分解有利于理解绝对值、范数和字符。它也是构造局部互反映射的重要基础。
5 局部类域论
局部类域论研究局部域的阿贝尔扩张及其与乘法群之间的对应关系。它是局部域理论中最深刻、也最具统一性的成果之一。通过该理论，可以把 Galois 理论、范数结构和局部符号联系起来。
5.1 阿贝尔扩张
阿贝尔扩张是伽罗瓦群为交换群的扩张，在局部场景中具有最完整的刻画。局部类域论说明，这类扩张并非杂乱无章，而是由范数群和互反映射精确控制。于是，局部域的阿贝尔化部分获得了结构化描述。
5.1.1 局部互反律
局部互反律是局部类域论的核心命题之一，建立了局部域乘法群与绝对伽罗瓦群阿贝尔化之间的对应。它可被看作“局部符号法则”的系统化表达。该定理将局部代数与伽罗瓦对称性紧密连接起来。
5.1.2 范数群
范数群由某个扩张中元素的范数构成，通常是判定元素是否来自给定阿贝尔扩张的重要工具。局部类域论指出，范数群与开子群之间存在深刻对应。由此可从群论角度识别扩张信息。
5.2 局部伽罗瓦群
局部域上的伽罗瓦群具有丰富的分层结构，尤其适合用分解群和惯性群来分析。与全局情形相比，局部伽罗瓦群更接近“单点放大镜”下的对称结构。它在分歧理论和表示论中都不可或缺。
5.2.1 分解群
分解群描述在扩张中保持某个素点不变的自同构子群。它反映了局部位置的稳定对称性，是研究局部行为的首要对象。许多局部信息都可先从分解群中读出。
5.2.2 惯性群
惯性群是分解群中在剩余域上作用平凡的部分，专门记录分歧信息。它比分解群更细致，能够揭示扩张在“模极大理想”层面的变化。惯性群在局部类域论与分歧分层中居于关键位置。
5.3 Herbrand 商与规范同构
Herbrand 商及相关规范同构提供了处理高阶分歧和滤过结构的工具。它们把局部伽罗瓦群的复杂分层压缩为可比较的商群信息。这样一来，理论中的连续性和层次性便得以精确表达。
5.3.1 局部互反映射
局部互反映射把局部域的乘法群映到阿贝尔化伽罗瓦群，通常是连续且满射的。它是局部类域论的结构桥梁，兼顾代数与拓扑。通过它，可以将局部扩张解释为某种群同态问题。
5.3.2 范畴化表述
从更现代的视角看，局部类域论也可在范畴语言中重述，以强调对象之间的自然变换与函子性。这样的表述有利于与更广泛的代数几何和表示论框架兼容。虽然抽象程度更高，但核心对应关系保持不变。
6 解析与表示论应用
局部域不仅是代数对象，也是一类自然的分析空间。由于它们局部紧，便可定义测度、积分和傅里叶变换，并进一步研究群表示。由此，局部域成为现代数论分析的重要舞台。
6.1 Haar 测度
在局部紧群上，Haar 测度是唯一的平移不变测度。它使得在局部域上进行积分成为可能，从而连接几何、分析和算术。无论是加法群还是乘法群，Haar 测度都扮演基础角色。
6.1.1 乘法与加法测度
局部域的加法群和乘法群都可配备各自自然的 Haar 测度，但二者归一方式不同。加法测度更接近体积概念，乘法测度则与绝对值和变换公式相关。两者配合使用，是局部积分计算的标准做法。
6.1.2 归一化方式
测度的归一化通常通过让某个标准紧子集体积为 1 来实现。不同约定会影响局部常数，但不会改变理论实质。统一的归一化有助于在全球拼接时得到一致的 Euler 因子。
6.2 调和分析
调和分析研究函数的频率分解与变换结构，在局部域上同样适用。由于局部域具有自对偶性和局部紧性，傅里叶分析可以自然推广。许多局部 zeta 函数和球函数理论都建立在这一基础上。
6.2.1 傅里叶变换
局部域上的傅里叶变换依赖加法字符和 Haar 测度，能够把函数变换到对偶空间。它是研究卷积、平滑与谱分解的重要工具。非阿基米德情形下，傅里叶变换尤其适合处理分段常数函数。
6.2.2 局部 zeta 函数
局部 zeta 函数通常由某类积分表达式定义，含有对局部变量的幂权重。它们常出现在球函数、Igusa 型积分和局部 L 因子的研究中。局部 zeta 函数是连接分析与算术的重要纽带。
6.3 线性群表示
局部域上的线性群表示理论极为丰富，尤其是 GL_n 及其相关群。局部紧群的不可约表示分类与诱导构造，构成现代表示论的重要部分。许多全局自守表示也需要先理解局部成分。
6.3.1 GL_n 上的表示
GL_n 在局部域上的表示研究包括平滑表示、超可积表示和诱导表示等。由于局部域上有良好的拓扑和测度，表示可通过双侧陪集、Hecke 代数等方法分析。其结果对自守形式和 L 函数理论非常关键。
6.3.2 局部 Langlands 理论入门
局部 Langlands 理论尝试把局部域上的表示与伽罗瓦参数建立对应。它是表示论与数论相互渗透的代表性方向之一。虽然完整理论相当深奥，但其基本思想是用局部域刻画群表示的算术来源。
7 与全局理论的关系
局部域的价值很大程度上来自它与全局域的对应关系。全局问题往往可拆解为各个局部点上的问题，再通过拼接恢复整体结论。阿代尔、Euler 乘积和局部-整体原则正是这种思想的集中体现。
7.1 阿代尔与习俗
阿代尔把一个全局域在所有位置上的局部信息统一打包，形成兼顾无限多个完备化的对象。局部域在其中作为基本组成部分出现。通过阿代尔语言，可以系统组织局部与全局数据。
7.1.1 局部因子
许多全局对象都可以分解为局部因子的乘积或张量积形式。局部域提供了每个位置的单独贡献，例如局部 L 因子和局部积分项。整体性质往往正是这些局部因子的汇总。
7.1.2 Euler 乘积
Euler 乘积把全局 Dirichlet 级数或 L 函数写成按素点分解的乘积。其每一项都与某个局部域或局部数据相关。这样的表达方式凸显了全局理论对局部分析的依赖。
7.2 局部-整体原则
局部-整体原则强调：先检查所有局部完备化，再推断全局可解性。它是数论中非常实用的思想方法。虽然并非所有问题都满足该原则，但在许多经典情形下极为有效。
7.2.1 可解性判定
一个全局方程若在每个局部域上都有解，往往更容易判断其全局解的存在性。局部检验常可先排除明显障碍。即便不能直接给出全局解，局部条件也通常提供必要信息。
7.2.2 Hasse 原理
Hasse 原理是局部-整体原则的经典表达，强调全局可解性可由全部局部可解性决定。它在二次型、椭圆曲线与某些代数方程中具有标志性地位。局部域因此成为验证 Hasse 原理的基本工具。
7.3 完备化与分解
全局域在某处的完备化，意味着把问题限制在某个局部视角下。分解则把整体对象拆成若干局部组件。局部域在这种方法中既是“终点”，也是“中间语言”。
7.3.1 处处局部化
处处局部化是指在所有素点或所有完备化处分别研究同一个对象。这样可以把复杂的全局问题化为一组并行的局部问题。随后再通过拼接条件恢复整体结论。
7.3.2 统一框架
局部域为数论、几何、表示论和分析提供了统一框架。它既描述整数的 p-adic 性质，也刻画函数域的局部行为，还服务于积分和群表示。正因为兼具代数与分析双重属性，它在现代数学中地位突出。
8 历史与发展
局部域理论并非一开始就以今日的统一面貌出现，而是由赋值、完备化、局部互反等多个方向逐步汇合而成。其发展过程体现了数论从具体计算走向结构理论的转变。相关思想也不断向几何与表示论延伸。
8.1 早期赋值理论
早期研究主要围绕赋值、同余和局部近似展开。随着完备化思想成熟，局部域逐渐成为独立对象。此阶段的关键成果为后来的系统理论奠定基础。
8.1.1 Hensel 引理
Hensel 引理说明，某些模 p 的解可以提升为 p-adic 解。它是 p-adic 分析和局部方程研究中的基础工具。该引理体现了局部域“逐层逼近”的核心思想。
8.1.2 Ostrowski 定理
Ostrowski 定理分类了有理数域上的绝对值，指出它们本质上只有实绝对值和 p-adic 绝对值两大类。这个结果为局部域的分类提供了理论起点。它也解释了为什么实数域、复数域与 p-adic 域会同时出现在局部理论中。
8.2 局部类域论的形成
局部类域论在 20 世纪逐步成形，经过多位数学家的发展才达到系统完备的状态。它把局部扩张、范数和互反律统一起来，成为数论的核心里程碑之一。该理论也影响了后续更广泛的阿贝尔几何与表示论。
8.2.1 研究脉络
研究脉络大致经历了从具体局部现象到抽象互反定理的过渡。起初关注的是同余与分歧，后来逐步发展出对阿贝尔扩张的整体描述。最终，局部域成为类域论中最清晰、最完整的案例。
8.2.2 主要贡献者
局部类域论的建立与多位数学家的工作有关，许多概念也因此得以定型。不同学者在互反律、规范同构和局部伽罗瓦群方面提供了关键推进。共同成果构成了今日教材中的标准框架。
8.3 现代扩展
现代研究已将局部域理论扩展到更广阔的方向，包括几何、动力系统和更高维的 p-adic 分析。局部域不再只是数论中的工具，而成为一个跨学科接口。其方法论影响持续扩散。
8.3.1 p-adic 几何
p-adic 几何研究在 p-adic 局部域上定义和分析几何对象。它把解析、代数和同调工具结合起来，形成适合非阿基米德环境的几何理论。相关思想在现代算术几何中十分活跃。
8.3.2 算术动力系统
算术动力系统研究多项式或有理映射在局部域上的迭代行为。局部完备性使得轨道、吸引域和周期点的分析更加细致。该方向展示了局部域在动态过程研究中的新用途。