2024 年 5 月，一批数学家在 arXiv 上发出了第一篇论文，随后数月内陆续上传共五篇文章，总篇幅逾 800 页。作者名单是一份合作名录：D. Arinkin、D. Beraldo、L. Chen、J. Faergeman、D. Gaitsgory、K. Lin、S. Raskin、N. Rozenblyum——八位数学家，历经数年，宣告完成了几何朗兰兹猜想的证明。
《Quanta Magazine》将此称为一项"纪念碑式的证明"。代数几何学家 Alexander Beilinson（朗兰兹纲领的重要先驱之一）评论道："这是最美的数学，同类中最好的。"但要理解这件事的分量，你需要先知道"朗兰兹纲领"是什么——以及它为何被一代代数学家视为整个数学的统一原理之一。
破除误解：这不只是"证明了一个猜想"
数学史上有些证明只是解决了一道难题，有些证明则重组了整片风景。后者的典型是 Wiles 证明费马大定理——表面上只是一个古老的方程问题，实际上打开了椭圆曲线、模形式、伽罗瓦表示论之间的完整联系。几何朗兰兹证明接近后一类，而且规模更宏大：它在代数几何、表示论、拓扑场论、数论之间建立了一套深刻的对应关系。这不只是一个定理，而是一个关于数学不同分支内在统一的深层陈述。
现场：朗兰兹纲领是什么
经典朗兰兹纲领由 Robert Langlands（加拿大数学家）在 1967 年以一封写给 André Weil 的信开篇提出。核心断言是一种令人惊异的对应：
- 一侧是数论对象：数域（如有理数 的有限扩张）上的"自守表示"——某种高度对称的函数；
- 另一侧是代数几何对象："伽罗瓦表示"——对称群（绝对伽罗瓦群）到某个李群的同态映射。
这两类对象来自数学的完全不同的角落，但 Langlands 声称它们之间存在精确的一一对应，并且这种对应保留了深刻的 L-函数信息（L-函数是黎曼 zeta 函数的推广）。过去半个世纪，这个纲领的部分情形被一点点证明：
- 1994 年，Andrew Wiles 证明费马大定理，本质上依赖了椭圆曲线对应模形式的特殊情形；
- 2001 年，Taylor、Harris 等人完成了"Langlands 互反律"的关键情形；
- 2024 年，Lafforgue 关于函数域情形的工作得到进一步延伸。
几何朗兰兹纲领是 1980 年代由 Beilinson、Drinfeld 等人提出的"几何类比"：把数域换成代数曲线上的函数域，把代数对象换成相应的几何/拓扑对象（D-模、层论）。这个几何版本更抽象，但有自己的优势——它可以用更强大的几何工具来攻关。
技术上，几何朗兰兹对应断言：对一条光滑代数曲线 $X$ 和约化群 $G$，存在一个等价：
左侧是 $G$-主丛模空间 上的 D-模范畴；右侧是对偶群 的局部系统空间上的拟凝聚层范畴。这是一个范畴等价，不只是两个集合之间的双射，而是携带了全部高阶同伦信息的等价。
谁在做、做到了哪一步
一代人的接力
几何朗兰兹纲领的证明并非一夜之功，而是近四十年积累的顶点：
| 时期 | 贡献 | 关键人物 |
|---|---|---|
| 1980 年代 | 提出几何类比，Hecke 本征层概念 | Beilinson、Drinfeld |
| 1990 年代 | D-模理论基础、量子群对应 | Frenkel、Ben-Zvi |
| 2000 年代 | 局部几何 Langlands，仿射 Grassmannian | Mirkovic-Vilonen |
| 2010 年代 | ∞-范畴框架重组整个理论 | Gaitsgory、Lurie |
| 2024 年 | 完整证明，五篇系列论文 | Gaitsgory 团队 |
Dennis Gaitsgory 是这一工程的核心人物。他在过去二十年间逐步建立了整套证明所需的基础设施——包括 ∞-范畴语言的系统运用、Ran 空间上的因子化代数、Whittaker 模型理论。Sam Raskin 在局部-整体兼容性和非特征零情形上贡献了关键技术。
五篇论文的结构
这套证明分为五篇各有侧重的论文，大致逻辑如下：
第 I 篇：构造从自守侧到谱侧的函子（朗兰兹函子的存在性）。这是最核心的一步——在范畴层面定义了那个等价映射。
第 II 篇：利用 Kac-Moody 局部化和 FLE（Frenkel-Langlands 等价）处理局部情形。
第 III 篇：处理谱侧的伴随函子，建立等价的一半。
第 IV 篇：双向模糊性（ambidexterity）——证明某些函子的左、右伴随在范畴意义下重合，这是拓扑场论中深刻的对称性概念在代数几何中的体现。
第 V 篇：乘一定理（multiplicity one）——证明范畴等价的最终完整性，即对应是严格的一一对应而非"近似的"。
为什么难：无处不在的无穷维性
经典朗兰兹纲领的技术挑战之一是要处理无穷维的表示，几何版本更甚——这里的"范畴"本身是无穷维的 ∞-范畴。传统代数几何的工具（凝聚层、导出范畴）在这个语境下需要大量升级。Gaitsgory 在 2010 年代与 Jacob Lurie 合作，系统性地把 Lurie 的 ∞-范畴机器（见《Higher Algebra》《Higher Topos Theory》）搬进了代数几何。这项基础设施建设耗费了超过十年。
另一个核心技术挑战是"谱侧"的几何：局部系统的模空间是一个高度奇异的代数栈（algebraic stack），其上的拟凝聚层理论需要 Ind-coherent 层的语言才能正确处理。
代价与争议
规模庞大导致验证困难。 五篇论文共逾 800 页，涉及的预备知识散布在 Gaitsgory、Raskin 等人之前数十篇论文中，总阅读量轻易超过数千页。要独立核查整个证明，需要一个具备深厚背景的专家花费数年。这引发了数学界对"证明究竟如何被共同体验证"的讨论——和 Wiles 当年面临的困境在规模上不是一个量级，而是更大。
与拓扑场论的关系尚需厘清。 几何朗兰兹与 S-对偶性（物理学家 Kapustin 和 Witten 在 2006 年提出的物理解释）之间的关系在数学上仍在消化中。物理直觉提供了很多指引，但将其严格数学化是另一项长期工程。
"量子"情形仍然开放。 2024 年完成的是"经典"几何朗兰兹的非特征零情形。所谓的"量子几何朗兰兹"（涉及量子群和环面 D-模）是一个更深的层次，在 2025 年时仍是活跃的研究前沿。
未知的边界
- 经典朗兰兹纲领何时有望全面证明？ 几何情形的完成提供了新的思路，但数论情形（真正的全局域上的版本）在技术上仍然极度困难——大量具体情形尚未被触及。
- 在函数域以外的情形如何？ 2024 年的证明工作在特征零的代数曲线上。有限域情形（Drinfeld、Lafforgue 已做了开创性工作）和数域情形（最终目标）有各自的困难。
- 物理对偶性的数学完整化。 Kapustin-Witten 的 S-对偶性预言了超越经典情形的"量子"朗兰兹等价，如何用严格数学语言捕捉这些物理预言，是将物理直觉转化为定理的重大工程。
- 计算后果的展开。 如此大规模的纲领证明，其具体应用——如新 L-函数恒等式、表示论的新工具——将在未来数年中逐渐显现，目前尚在消化阶段。
跨域连接
- 表示论：纲领的一侧是伽罗瓦式的对称信息，另一侧是李群表示论的对象，对应的实质是把一类表示与一类几何对象配起对来。推论是：一侧难算的量在另一侧可能显然——这才是"对应"的使用价值，而不只是形式上的美观。
- 规范理论的对偶：电磁对偶交换电荷与磁荷，同时把强耦合换成弱耦合，几何朗兰兹被认为是这一对偶在数学侧的表述。要写清这仍是启发性的对应而非已证明的等同：物理上的"两个描述实为一个理论"，在数学上需要落实为具体的范畴等价。
- 长证明的可信度：篇幅极长、由多人分工完成的证明，人工审读的可靠性随长度下降；形式化把信任从审稿人转移到一个小得多的检查内核。推论是：这类结果是否被接受，将越来越取决于能否被机器完整检查，而不是能否被某个人读完。
- 集体理解如何可能：当没有任何个人能独自验证整个证明时，"共同体知道它成立"指的是分工验证的总和。推论是：这类知识的纠错周期远长于短证明，因为错误最可能藏在无人重复检查的接缝处，而不是在各自熟悉的核心部分。
- 词典这个比喻：纲领常被说成不同数学分支之间的词典。必须写明这只是比喻：真正的内容是范畴之间的具体构造，而词典允许意义漂移，范畴等价不允许。推论是：把它当词典读，就会低估构造本身的难度。
参考文献
- Gaitsgory, D., Raskin, S. et al. "Proof of the geometric Langlands conjecture I–V." arXiv:2405.03599 等五篇（2024）。证明主页：https://people.mpim-bonn.mpg.de/gaitsgde/GLC/
- Frenkel, E. Langlands Correspondence for Loop Groups. Cambridge University Press, 2007.（标准参考教材）
- Ben-Zvi, D. & Gaitsgory, D. "D-modules on the affine flag variety and representations of affine Kac–Moody algebras." Representation Theory 21 (2017).
- Kapustin, A. & Witten, E. "Electric-magnetic duality and the geometric Langlands program." Communications in Number Theory and Physics 1, 1–236 (2007).
延伸阅读
- Quanta Magazine. "Monumental Proof Settles Geometric Langlands Conjecture." 2024-07-19.（面向大众的深度报道）