洛朗·拉福格

获奖原因

洛朗·拉福格（Laurent Lafforgue，1966– ）获 2002 年菲尔兹奖，表彰他把函数域上的朗兰兹对应从 $\mathrm{GL}_2$（德林费尔德）推广到任意 $n$ 的 $\mathrm{GL}_n$。

他证明：对定义在有限域函数域 $F=\mathbb{F}_q(C)$ 上的 $\mathrm{GL}_n$，尖点自守表示与绝对伽罗瓦群 $\mathrm{Gal}(\bar F/F)$ 的 $n$ 维 $\ell$-进表示之间存在一一对应（即全局朗兰兹对应成立），并给出”相容性”与”函子性”的严格证明。这一工作把德林费尔德 1980 年代对 $n=2$ 的突破推广为任意 $n$ 的定理，是朗兰兹纲领在函数域侧至今最完整的非零情形之一，并为吴宝珠（Ngô，2010）证明基本引理提供了关键的几何背景。

拉福格的工作以”用 shtuka 栈的几何实现对应”为核心，是算术几何与表示论深度交汇的范例。

问题来龙去脉

一、朗兰兹对应的推广之难

朗兰兹纲领（1967）的”主猜想”是：对一个数域（或函数域）$F$，$\mathrm{GL}_n(F)$ 的自守表示与 $\mathrm{Gal}(\bar F/F)$ 的 $n$ 维 $\ell$-进表示一一对应。在数域情形，这对应着模形式 ↔ 伽罗瓦表示（费马大定理的核心），极其困难。

在函数域情形，几何工具更充分：德林费尔德（1970–80）用 shtuka 证明了 $n=2$ 的全局对应。但要把 $n$ 推广到任意整数，难点陡增：

• 需处理高阶 shtuka 栈（对应 $\mathrm{GL}_n$ 的”Harder–Narasimhan”分层）；
• 需证明自守侧（尖点形式空间）与伽罗瓦侧（$\ell$-进表示）的”计数”相等，且映射满足函子性；
• 还要克服”坏约化”（奇点、非光滑层）带来的技术障碍。

二、拉福格的突破

拉福格用代数几何的栈语言把对应彻底”几何化”：

1. Shtuka 栈：定义参数化 $n$ 阶 shtuka 的代数栈 $\mathrm{Sht}_n$（带两层弗罗贝尼乌斯结构的丛的模空间）。其 $\ell$-进上同调给出”伽罗瓦侧”的表示谱。
2. 自守侧与分解：他把尖点自守表示空间用”Drinfeld 上同调”（在 moduli of shtuka 上的层）实现，并通过迹公式把自守特征标的”计数”翻译成 shtuka 栈上同调的欧拉特征。
3. 对应与函子性：核心定理是：每个尖点自守表示 $\pi$ 对应唯一的 $n$ 维伽罗瓦表示 $\sigma_\pi$，且对所有 $m$ 有 $L(s,\pi\otimes\chi)=L(s,\sigma_\pi\otimes\chi)$ 对狄利克雷特征 $\chi$ 成立。他进一步证明这映射是双射且保持函子性（即 Eisenstein 系列 ↔ 诱导表示）。

特别地，对 $n=2$ 他恢复德林费尔德的结果；对一般 $n$ 则是全新。他还给出了整性 / 兼容系统的陈述，使对应能用于数论（如模性提升）。

三、意义与后续

1. 函数域朗兰兹的完成：拉福格定理是朗兰兹纲领在可证范围内最完整的”全局、任意 $n$“情形，确立了 shtuka 几何作为对应实现的标准方法。
2. 基本引理的舞台：吴宝珠（Ngô Bảo Châu，2010 菲尔兹奖）证明的基本引理（Langlands–Shelstad），其几何核心是Hitchin 纤维化的截面的奇点（Ngô 谱），而拉福格的 shtuka 栈框架正提供了这一几何环境——二者是同一纲领的两块拼图。
3. 向数域的桥梁：函数域情形常作为数域情形的”模型”；拉福格与吴宝珠的工作启发了几何朗兰兹（与 4 维规范场论对应，Kapustin–Witten）的modern 发展。

拉福格以”把对应从 $n=2$ 推到任意 $n$“的毅力与几何才华，把朗兰兹纲领在函数域侧推到几乎完满，是 21 世纪初算术几何最耀眼的成就之一。

相关链接

菲尔兹奖 数论代数几何