1967 年，一封写给 André Weil 的信，提出把伽罗瓦表示、自守形式与 L-函数放进同一张星图。 半个多世纪后，这封信长成了一个横跨数论、表示论与几何的猜想网络——它尚未完成，却已经改变了现代数学的语言。
悬停星点 · 点击概念档案 · 拖拽空白处旋转
朗兰兹纲领不是一条定理，而是一组彼此咬合的猜想。它的核心动作只有一个：把算术问题翻译成表示论问题，再让 L-函数充当两种语言共同的语法。
想象一座山，有三条登山路。第一条从素数、方程与伽罗瓦群出发；第二条从群表示、谱与自守形式出发；第三条从曲线、向量丛与层出发。过去，它们看起来属于不同的世界。朗兰兹纲领说：山顶是同一个地方。
更准确地说，它预测数域的算术数据可以被“表示”为某些无限维表示，而这些表示的 L-函数与原初算术对象的 L-函数完全相同。这个对应一旦成立，一个原本无法下手的计数问题，可能变成一个可以计算的谱问题。
这就是为什么它常被比作数学的罗塞塔石碑：不是因为它已经翻译了一切，而是因为它给出了翻译的方向。下面三种语言，是进入这张星图最基本的坐标。
研究方程的解与对称性。Galois 群的作用被写成矩阵，Frobenius 元素的特征值编码素数处的局部信息。
研究群在函数空间上的作用。自守形式是满足对称条件的函数，现代语言把它们打包成 adele 群上的自守表示。
研究曲线上的向量丛与微分方程。几何朗兰兹把“表示”换成“层”，让对应变成范畴之间的等价。
一条椭圆曲线、一个伽罗瓦表示，或一个数域的扩张。
把算术数据变成一个自守表示，或一个 L-参数。
两侧的欧拉乘积逐项相等，函数方程也一致。
把不可解的问题搬到谱侧，用分析、几何或迹公式处理。
互反（reciprocity）：算术表示 ↔ 自守表示。 函子性（functoriality）：对偶群的同态诱导自守表示的转移。 L-函数：两侧共同的指纹。
如果同一座山有三条路，那么我们需要的不是一条新路，而是一本词典。朗兰兹给出的词典有两个核心条目：互反，告诉你哪些对象互为翻译；函子性，告诉你翻译如何复合。
朗兰兹的答案是把词典写成一组对应：一边是数域的绝对伽罗瓦群到对偶群的连续表示，另一边是 adele 群上的自守表示。词典的每一页都由局部信息拼成：每个素数处有一个局部对应，整体则由这些局部碎片粘合。
这不是一个已经完成的等价，而是一组关于“应当存在什么”的精确预言。预言越精确，越容易被检验；也越容易在特殊情形下被发现是错的——幸运的是，它至今仍然站得住。
朗兰兹互反猜想的最初形式，是把数域 K 上的 n 维伽罗瓦表示与 GL(n, AK) 的自守尖点表示对应起来。对应保持局部参数与 L-函数：一个来自算术的表示，和一个来自调和分析的表示，拥有同一套指纹。
当 n = 1 时，它就是类域论；当 n = 2、K = Q 时，模性定理提供了大量实例。但“大量实例”不等于“全部”：一般 n 与一般数域仍是开放海域。
函子性是朗兰兹纲领最激进的部份：任何 L-群之间的同态 LG → LH，都应当诱导自守表示从 G 到 H 的转移，并保持 L-函数的相容性。它预测了对称平方、张量积、外平方、基底变换等大量操作的存在性。
互反可以看作函子性在特定情形下的推论，但函子性本身更广，也更开放。它不只说“存在一个对应”，而是说“所有自然的对称操作都应当在自守侧有影子”。
L-群 LG 由对偶群 G∨、伽罗瓦群 ΓK 以及二者的作用组成。它把“群”“对偶群”“伽罗瓦对称”打包成一个对象，使函子性可以被写成同态。局部无分歧时，Satake 同构把 Hecke 算子与对偶群的上同调对齐。
L-函数则是词典的检验器：它由局部因子经欧拉乘积拼成，理论上应具有解析延拓、函数方程与某种 Riemann 假设。互反与函子性，最终都可以被表述为 L-函数的相等或相容。
伽罗瓦群描述方程根的对称性。把它作用在向量空间上，就得到伽罗瓦表示；Frobenius 元素在未分歧素数处的特征值，成为局部 L-因子。Weil 猜想已经示范过：算术计数可以被翻译成线性算子。
但伽罗瓦群极其神秘。我们不知道一般数域的绝对伽罗瓦群长什么样，也很难直接构造它的高维表示。朗兰兹的策略是：不要正面构造，去自守侧找它。
自守形式是满足高度对称性的函数；自守表示则是这些函数生成的表示空间。它们的优势是“可分解”：整体表示可以写成局部表示的受限张量积，于是每个素数处的问题可以单独研究，再粘合起来。
Hecke 算子的特征值给出局部参数，谱分解给出整体结构。表示论提供了分析工具：积分、迹公式、Plancherel 公式。这些工具正是数论所缺少的。
局部朗兰兹描述 p-adic 域上的 Weil–Deligne 参数与 G(Qp) 的不可约光滑表示之间的对应，通常以 L-packet 的形式出现。GL(n) 的情形已由 Harris–Taylor 与 Henniart 证明；一般约化群仍是活跃前沿。
整体对应则要求：一个整体伽罗瓦表示在每个素数处的局部成分，恰好对应一个整体自守表示的局部成分。这种“逐点粘合”是朗兰兹纲领最深刻的架构之一。
Arthur–Selberg 迹公式把自守谱的加权计数与共轭轨道的积分相等。它是一族等式：选择不同的测试函数，就提取不同的算术信息。稳定化与内窥分类让两侧的基本单元可以比较。
基本引理是这套比较的关键恒等式，由吴宝珠在 2008 年证明。没有它，迹公式的稳定化就缺一块基石；有了它，Arthur 的内窥分类才得以完成。
对偶群来自根数据的对偶：把根与余根交换，Cartan 矩阵转置，就得到另一个根数据，从而得到对偶群。对 GL(n) 而言，对偶群仍是 GL(n)；对 SO(2n+1) 与 Sp(2n)，对偶关系会把它们配对。L-群则在此基础上再加入伽罗瓦群与作用，因而不是单纯的“对偶群”。
函子性之所以用 L-群表述，是因为自守表示的自然操作（张量积、对称幂、基底变换）在群层面都有对应的同态；L-群是把这些同态组织起来的最小语言。
在最简单的设定下，互反可以看作函子性的一部分：从 GL(1) 到 GL(n) 的转移，配合伽罗瓦侧的对偶，给出高维互反。但一般情形下，两者是不同的猜想：函子性还包含群之间的转移，互反则聚焦于伽罗瓦表示与自守表示的对应。它们互相支撑，但不能简单地说“一个等价于另一个”。
朗兰兹纲领试图证明：算术的对称性与自守的谱是同一件事的两种写法，而 L-函数是它们共同的指纹。
朗兰兹纲领不是 1967 年突然出现的。它站在类域论、Hecke 的 L-函数、Weil 猜想与 Selberg 迹公式的肩膀上；它也不是 2024 年突然完成的。每一个“突破”都只是把某一片海域点亮。
时间线把复杂的历史压成了节点。真实的数学史充满并行的尝试、失败的证明、未被记录的讨论与重新命名。这里的年份指向“关键论文或公开事件”，不表示所有工作都在那一年完成。
朗兰兹纲领不是一个人的作品。它由提出者、表示论学家、算术几何学家、p-adic 几何学家与一整代研究生共同建造。下面是一张不完整的人物星图。
这张名单省略了许多同样重要的人：Kottwitz、Clozel、Vogan、Mok、Kaletha、Ben-Zvi、Sakellaridis、Venkatesh、Scholze 的合作者、Lafforgue 的审稿人，以及无数没有出现在新闻标题里的研究者。朗兰兹纲领是一部集体作品。
不要试图找到一个“最核心”的概念。朗兰兹纲领更像一张网络：互反连接伽罗瓦与自守，函子性连接群与群，L-函数连接局部与整体，迹公式把谱与几何缝在一起。
先区分三组坐标：局部 / 整体（在单个素数处，还是在全局对象上）、数域 / 函数域（算术对象有没有曲线模型）、算术 / 几何（对应是关于 Galois 表示，还是关于局部系统与层）。同一个词在不同坐标下含义可能不同，这是阅读朗兰兹文献最容易踩的坑。
再区分“猜想”“定理”“工具”与“框架”。L-群是框架，迹公式是工具，互反是猜想，GL(n) 函数域是定理。把它们混在一起，就会得到“朗兰兹已经被证明”这样的错误结论。
“朗兰兹纲领被证明了吗？”这个问题没有单一答案。必须问：哪个群？哪个域？局部还是整体？算术还是几何？哪个精确表述？下面这张表试图把“已证明”拆成可比较的层次。
2024 年，Dennis Gaitsgory、Sam Raskin 等发表《Proof of the geometric Langlands conjecture》系列论文，构造从自守侧到谱侧的函子，并证明 de Rham、Betti、tempered 等不同表述之间的等价。这是几何朗兰兹自 1990 年代以来最重大的进展。
但它处理的是特征 0 的 de Rham/Betti 设定。分歧情形、正特征、以及最重要的——算术数域上的朗兰兹——并不会因此自动解决。数学界仍在审阅、修订与吸收这批论文，这个过程本身是正常的。
对一般约化群与一般 L-群同态，函子性远未解决。它是纲领中最有野心的部份之一。
数域缺少函数域那样的曲线模型；高维互反与一般约化群的整体对应仍是核心开放问题。
GL(n) 已证明；一般约化群的局部对应仍在发展。Fargues–Scholze 提供了几何框架，但不是终点。
自守 L-函数的零点位置。它比互反更解析，也更遥远；即使对应存在，也不自动给出零点信息。
自守局部参数应当 tempered。模形式情形有 Deligne 的界，但一般情形仍开放。
为每个动机寻找自守表示。它依赖动机理论本身的基础，是更远景的猜想。
第一，对象是无限维的。自守表示不是有限矩阵，而是函数空间上的作用；要做积分、取迹、比较轨道，需要大量分析。第二，伽罗瓦群的结构未知。除了阿贝尔情形，我们很难直接描述绝对伽罗瓦群；因此必须绕道表示论与几何。
第三，局部与整体的粘合并不自动。每个素数处都有一个对应，并不意味着它们能拼成一个整体对应；迹公式、L-函数的函数方程与局部因子的相容性，都是粘合的约束。第四，内窥与稳定化极其技术化：基本引理这样一个“看起来只是恒等式”的命题，卡了领域十几年。
最后，几何版本与算术版本之间没有已知的逻辑桥梁。几何朗兰兹的证明是巨大的成就，但它不是算术朗兰兹的证明。混淆两者，是媒体叙事中最常见的错误。
看到“朗兰兹被证明”时，先找四个限定词：哪个群、哪个域、局部还是整体、算术还是几何。四个都清楚了，新闻才有意义。
朗兰兹纲领常被称为“数学的大统一理论”。这个比喻有启发性，也容易掩盖问题：它没有统一所有数学，也不是一个封闭的公理系统。一个成熟的介绍，应当同时说明它的边界、争议与未完成之处。
朗兰兹纲领包含互反、函子性、局部对应、L-函数的解析性质、内窥分类、几何版本等许多相互关联但逻辑上不同的猜想。某个版本被证明，不代表整个纲领完成。把“program”当作“theorem”，是范畴错误。
纲领确实把数论、表示论与几何连接起来，但它并不主张所有数学都可以还原为自守表示。许多领域有自己的问题、方法与价值。把朗兰兹描述成“数学的终极理论”，是一种目的论叙事，而不是数学事实。
函数域上的成功提供了结构与技术，但不能自动搬到数域。数域没有同样的曲线、向量丛与 Frobenius 几何。把函数域结果称为“玩具模型”既低估了它的深度，也掩盖了数域的真正困难。
2024 年几何朗兰兹系列论文篇幅巨大，参与者众多。数学共同体需要时间审阅、验证与吸收；这不是对作者的不信任，而是数学作为公共知识的基本要求。把“预印本”直接等同于“已确立的定理”，会伤害公众理解。
罗塞塔石碑之所以有效，是因为同一段文字真的有三种平行书写。朗兰兹纲领的三种语言却不是已经确认的平行文本：它们是猜想中的对应。隐喻帮助我们想象目标，但也容易让人误以为翻译已经完成。
更准确的说法是：朗兰兹纲领在建造一块罗塞塔石碑，而不是发现了一块。已建立的部分是真实的；未建立的部分是任务，不是注脚。
几何、函数域、数域、局部、整体：版本不同，难度与含义完全不同。
GL(n)、一般约化群、甚至更一般的栈：群越一般，结论越弱或越局部。
预印本是重要成果，但不等于已通过审阅的定理。两者都值得关注，含义不同。
“统一数学”是比喻。真正的进展通常有精确的限定条件，标题往往把它们删掉。
好的进展通常会推出可检验的推论，或与已知结果一致。只看篇幅与作者名气不够。
大型证明的验证是数学的一部分，不是新闻发布会的附件。
这个网站是一张地图，不是终点。下面列出可以继续阅读的原始文献、综述、数据库与术语表。真正的朗兰兹纲领，藏在论文、讲义与讨论班里。
适合具备研究生代数与表示论基础的读者，覆盖互反、函子性、L-函数与几何侧。
自守形式与表示论的标准教材，GL(2) 与 GL(n) 的基础从这里开始。
辛群与正交群的内窥分类；迹公式稳定化的技术顶峰。
GL(n) 局部朗兰兹的几何证明；Shimura 簇上同调方法的典范。
几何朗兰兹系列论文的第一篇；从构造函子开始。
一本面向公众的自传式导览，适合在正式学习前建立直觉。
关于本站
这是一份独立制作的交互式数学导览，不是专业论文，也不隶属于任何机构。数学表述经过简化；状态截至 2025 年。若用于教学或引用，请回到原始文献核对。
视觉
站内所有图版（PLATE 01–07）、22 枚人物星徽、favicon 与 Canvas 星图均为本站原创或程序生成。没有使用未经授权的人物照片；星徽不是写实肖像。字体使用系统字体，不加载外部 CDN。
技术
原生 HTML / CSS / JavaScript；Canvas 2D 透视引擎；无框架、无追踪、无外部依赖。建议使用本地静态服务器打开，以获得完整的字体与资源加载体验。
阅读提示
金色文字是数学对象或章节标记；青色偏表示论；紫色偏几何；玫瑰色偏“开放 / 争议”。按 G 打开目录，按 Esc 关闭弹层。自由探索模式支持拖拽旋转、滚轮缩放、双击复位。
拖动旋转视角，点击星点打开档案。