类域论

类域论是代数数论的巅峰成就：它根据数域自身的算术来分类数域的所有阿贝尔扩张，将二次互反律推广为一种普遍的互反律。

Definition

类域论建立了数域的有限阿贝尔扩张与其idele类群（或广义理想类群）的某些商群之间的一一对应关系，其中阿廷互反映射为每个扩张的伽罗瓦群提供了一个规范同构。

Scope

本主题涵盖类域论的主要定理，包括其经典和idele（幂零元）形式：阿廷互反律和从广义理想类群到伽罗瓦群的阿廷映射，将同余子群与阿贝尔扩张匹配的存在定理，判别子，作为最大无分支阿贝尔扩张的希尔伯特类域，将有理数的阿贝尔扩张实现在分圆域内的克罗内克-韦伯定理，以及局部类域论的作用。

Core questions

• 阿廷映射如何将算术数据发送到伽罗瓦自同构，为什么它是一种互反律？
• idele类群的哪些子群对应于哪些阿贝尔扩张（存在定理）？
• 什么是希尔伯特类域，它的伽罗瓦群如何恢复理想类群？
• 克罗内克-韦伯定理如何描述有理数的每个阿贝尔扩张？

Key theories

阿廷互反律

对于一个阿贝尔扩张，将每个无分支素数映射到其弗罗贝尼乌斯的阿廷映射，可以扩展为从广义理想类群到伽罗瓦群的同构，这是二次互反律的巨大推广。

存在定理和希尔伯特类域

idele类群中每个有限指数的开子群都是唯一阿贝尔扩张的范数群；希尔伯特类域是最大的无分支阿贝尔扩张，其伽罗瓦群与理想类群规范同构。

克罗内克-韦伯定理

有理数的每个有限阿贝尔扩张都包含在由单位根生成的分圆域中，这是显式类域论的第一个也是原型实例。

Clinical relevance

类域论构成了朗兰兹纲领和费马大定理证明背后的模性结果的框架；其显式形式，包括复数乘法，也推动了椭圆曲线和基于同源的密码学中使用的构造。

History

希尔伯特在1900年左右猜想了类域的存在，并提出了指导性问题。高木贞治在1920年证明了存在定理，阿廷在1927年建立了互反律，而谢瓦莱在1930年代引入idele，使该理论具有了现代的adelic形式，为朗兰兹纲领奠定了基础。

Key figures

• David Hilbert
• Teiji Takagi
• Emil Artin
• Helmut Hasse

Seminal works

• cox2013

Frequently asked questions

类域论与二次互反律有何关系？

二次互反律是最简单的情况：它描述了通过添加平方根获得的阿贝尔扩张，而阿廷互反律将其推广到任何数域的所有阿贝尔扩张。

什么是希尔伯特类域？

它是数域的最大的处处无分支的阿贝尔扩张；它的伽罗瓦群自然地同构于该域的理想类群，因此它的次数等于类数。