∑ 数学名人档案库
← 返回 恽之玮 简介档案 深度档案
表示论几何朗兰兹纲领

恽之玮（Zhiwei Yun）

站在代数几何与数论交汇点的「结构派」数学家——他以整体斯普林格理论为朗兰兹纲领提供新视角，与张伟合作把 L-函数的高阶导数解释为 shtuka 模空间上的交数，给出函数域上的高阶 Gross—Zagier 公式，被 Quanta Magazine 称为「数论重要领域近三十年最激动人心的突破之一」；他是北大「数学四人帮」（恽之玮、张伟、袁新意、朱歆文）中几何方向的代表。

一、生平与时代背景

恽之玮 1982 年 9 月生于中国江苏常州（上海附近的小城）。据 Quanta Magazine 专访，他小学三年级时一度更钟情书法，直到一位老师向他解释了无限循环小数 $0.\overline{9}=1$——他为这个「反直觉」的事实困惑了数月，从此迷上数学。他是中国数学奥林匹克国家队成员，2000 年国际数学奥林匹克（IMO）以满分获金牌。

2000 年进入北京大学数学系。北大那一届（2000 级）人才极盛，他与张伟、袁新意、朱歆文成为挚友，四人后来组成了蜚声国际的「数学四人帮」（Quanta 语）：袁、张做数论，恽、朱做代数几何，恰好互补，共同瞄准数学中最大的纲领——朗兰兹纲领。2004 年获北大学士学位。

毕业后赴普林斯顿大学攻读博士，师从罗伯特·麦克弗森（Robert MacPherson，奇点理论、示性类、几何表示论大师），2009 年获博士学位。2009—2010 年为普林斯顿高等研究所（IAS）成员，2010—2012 年任 MIT 的 C. L. E. Moore 讲师。在 MIT 期间，他开始发展刚性自守形式理论，并用它回答了塞尔（J.-P. Serre）关于 motive 的一个公开问题。

2012—2016 年任斯坦福大学助理教授、副教授；2016—2017 年任耶鲁大学教授；2018 年 1 月起任麻省理工学院教授。2018 年应邀在里约热内卢国际数学家大会（ICM）作报告。他与张伟自 2011 年起的合作， culminated in 2017 年发表于 Annals of Mathematics 的高阶 Gross–Zagier 公式。

二、学术生涯年表

年份 事件
1982 9 月生于江苏常州
2000 IMO 满分金牌；入北京大学数学系
2004 北京大学数学学士
2009 普林斯顿大学数学博士（导师 Robert MacPherson）
2009—2010 普林斯顿高等研究所（IAS）成员
2010—2012 MIT C. L. E. Moore 讲师；发展刚性自守形式，解决 Serre 的 motive 问题
2011 发表「整体斯普林格理论」（Adv. Math.）
2011 与 Julia Gordon 证明 Jacquet–Rallis 基本引理（Duke Math. J.）
2012 获 SASTRA 拉马努金奖；任斯坦福助理教授
2013 与 Ngô Bảo Châu、J. Heinloth 发表约化群的 Kloosterman 层（Ann. of Math.）
2013 获 Packard 奖学金
2014 发表「具有例外伽罗瓦群的 motive 与逆伽罗瓦问题」（Invent. Math.）
2015 升斯坦福副教授
2016 获世界华人数学家大会晨兴银质奖章
2016—2017 耶鲁大学教授
2017 与张伟发表「Shtukas 与 L-函数的泰勒展开」（Ann. of Math.，高阶 Gross–Zagier 公式）
2018 1 月起任 MIT 教授；获 2018 科学突破奖·数学新视野奖（与张伟等）；ICM 里约受邀报告
2019 获 ICCM 晨兴金质奖章（与朱歆文同获）；当选 AMS 会士
2020 获 Simons 数学研究员奖
2026 获 AMS Chevalley 李理论奖

三、核心成果（逐条技术解析）

1. 整体斯普林格理论（Global Springer Theory）

背景：经典斯普林格理论（Springer theory）把半单李代数中元素的中心化子、Weyl 群表示与 flag 簇的上同调联系起来，是几何表示论的基石。但它是「局部」的（在一个点上）。

结果：恽之玮在博士论文及 2011 年 Advances in Mathematics 论文中建立了整体斯普林格理论：在曲线（函数域）上整体地构造斯普林格型对应，把仿射斯普林格纤维（affine Springer fiber）与局部系统联系起来，揭示了 Langlands 对偶在整体几何中的体现。

意义：为朗兰兹纲领提供了新的几何视角，连接了局部与整体的表示论，是后续许多工作的基础。

2. Jacquet–Rallis 基本引理（与 Julia Gordon，2011）

背景：朗兰兹纲领中「相对迹公式」（relative trace formula）需要各种「基本引理」作为基础。Ngô Bảo Châu 因证明基本引理获 2010 菲尔兹奖，但相对迹公式所需的 Jacquet–Rallis 基本引理仍待证。

结果：恽之玮与 Julia Gordon 在 The fundamental lemma of Jacquet and Rallis（Duke Math. J. 156, 2011）中几何地证明了 Jacquet–Rallis 基本引理，借鉴并发展了 Ngô 的方法。

意义：为相对迹公式在酉群情形的应用扫除了关键障碍，是其后 Gan–Gross–Prasad 猜想与高阶 Gross–Zagier 公式工作的技术基础之一。

3. 约化群的 Kloosterman 层（与 Ngô Bảo Châu、Jochen Heinloth，2013）

背景：经典 Kloosterman 和（指数和）是数论中重要工具，由 Deligne 几何化为 Kloosterman 层（$\ell$-进层），但仅对 $\mathrm{GL}_n$ 等线性群有构造。

结果：在 Kloosterman sheaves for reductive groups（Ann. of Math. 177(1), 2013）中，三人把 Kloosterman 层推广到任意约化群，构造了对应于任意不可约表示的 Kloosterman 层，并证明了 Evans 的猜想。这些层具有「例外」的单值群。

意义：为构造具有例外伽罗瓦群的 Galois 表示提供了几何来源，直接通向下一个成果（例外群 motive）。

4. 具有例外伽罗瓦群的 motive 与逆伽罗瓦问题（2014）

背景：逆伽罗瓦问题问：是否每个有限群都能作为有理数域 $\mathbb Q$ 的伽罗瓦群？对例外型李群（如 $G_2$、$E_8$）知道得很少。塞尔曾问能否构造出具有例外伽罗瓦群的 motive。

结果：在 Motives with exceptional Galois groups and the inverse Galois problem（Invent. Math. 196, 2014）中，恽之玮用在 MIT 发展的刚性自守形式理论，构造出具有例外伽罗瓦群的 motive，回答了塞尔的公开问题，并对逆伽罗瓦问题取得重大进展。

意义：这是他获 AMS 会士（2019）时被特别引用的工作（表彰语：「构造了具有例外伽罗瓦群的 motive」）。

5. 函数域上的高阶 Gross–Zagier 公式（与张伟，2017）

背景：1986 年 Gross 与 Zagier 证明了著名的 Gross–Zagier 公式：把 Heegner 点的高度与 L-函数在中心点的一阶导数联系起来，是 BSD 猜想方向的里程碑。能否把公式推广到任意高阶导数？

结果：在 Shtukas and the Taylor expansion of L-functions（Ann. of Math. 186(3), 2017, 767—911）中，恽之玮与张伟在函数域情形证明：L-函数在中心点的高阶泰勒系数，可以几何地解释为 shtuka 模空间上某些代数闭链（Heegner–Drinfeld 闭链）的交数。这是函数域上高阶 Gross–Zagier 公式的几何版本，也是 BSD 猜想几何 analogue 的重大进展。

意义：Quanta Magazine 称这项工作「已被誉为数论重要领域近三十年最激动人心的突破之一」。两人因此同获 2018 年科学突破奖·数学新视野奖。

6. 其他重要工作

四、代表著作与文献

五、师承、学派与同时代交往

六、争议、公案与历史评价

七、身后影响与学术谱系

八、延伸阅读与权威来源