彼得·舒尔策
因创立 perfectoid 空间与 p-进几何,革新 p-进霍奇理论与数论(并后来提出棱柱上同调)
获奖原因
彼得·舒尔策(Peter Scholze,1987– )获 2018 年菲尔兹奖,时年 30 岁,是史上最年轻的得主之一。他博士期间(2011)即创立 perfectoid 空间(完美胚空间) 理论,彻底革新了 p-进几何与 p-进霍奇理论。
核心思想:tilting 等价——一个特征 0 的 perfectoid 空间与其”倾斜”到特征 的版本在某种意义下等价。这把”特征 0 与特征 p 的 p-进几何”打通,使许多原本极难的 p-进问题可用特征 p 的工具处理。舒尔策用 perfectoid 空间给出了法尔廷斯几乎纯净定理(almost purity)的新证明,并推进了权重–单值(weight-monodromy)猜想、局部朗兰兹的若干情形,以及 p-进上同调的统一。
此后他与巴特(Bhatt)提出棱柱上同调(prismatic cohomology),把 crystalline、étale、de Rham 等多种 p-进上同调统一为一个理论。舒尔策还推广到金刚石空间(diamantine spaces)与凝聚上同调,是当代算术几何无可争议的核心人物。
问题来龙去脉
一、p-进几何的鸿沟
在数论中,p-进域 及其有限扩张承载着伽罗瓦表示、局部朗兰兹等核心对象。但 p-进几何长期有一个根本困难:特征 0(如 )与特征 (如 )的几何语言彼此隔离。例如:
- 特征 有”Frobenius 自同构” ,是强有力的工具;
- 特征 0 没有这种自同构,p-进分析极其”刚性”。
一个世纪级梦想:能否把特征 0 的 p-进对象”倾斜”到特征 ,从而借用 Frobenius 的威力? 此前法尔廷斯(1980)用”几乎纯净定理”在环的层面部分实现了这一点,但缺一个全局的几何理论。
二、舒尔策的突破:perfectoid 空间
舒尔策定义 perfectoid 空间——一类特殊的 adic 空间(Huber 的框架),满足”(几乎)perfectoid”条件:其环 是倾斜完备且 Frobenius 在 (tilt)上”几乎满”。关键定理是:
Tilting 等价:若 是特征 0 的 perfectoid 空间,则其 tilt (特征 )与 在”étale 拓扑”下等价——即 换言之,两者的étale 上同调完全相同,但 在特征 上可用 Frobenius 暴力计算。
构造上,他用转移极限(inverse limit along Frobenius)把”不 perfectoid 的空间”不断”提升”为 perfectoid(“adic 空间的 perfectoid 化”),从而把一般 p-进空间的研究约化到 perfectoid 情形。
三、应用:从几乎纯净到权重–单值
- 法尔廷斯几乎纯净定理的新证:舒尔策用 tilting 直接得到”有限 étale 覆盖的几乎纯净”(即模挠元后纯净),比原证明更短、更几何,并推广到更一般的基。
- 权重–单值猜想:在特征 用 Frobenius 容易证明”纯度”,经 tilting 拉回特征 0,从而推进了权重–单值猜想(p-进表示在特殊纤维上的权重结构)——这是朗兰兹与 p-进霍奇理论的核心。
- 局部朗兰兹与 p-进 Langlands:perfectoid 框架成为研究局部伽罗瓦表示与 p-进表示对应的自然场所,后续工作(如 Fargues–Fontaine 曲线、几何朗兰兹的 p-进版)都建在其上。
四、后来的统一:棱柱上同调
舒尔策与巴特(Bhatt)提出 棱柱上同调(prismatic cohomology,2018):用一对”棱柱环” 同时记住”de Rham”与”étale/crystalline”信息,给出一个能统一所有 p-进上同调(crystalline、de Rham、étale、Hodge–Tate)的单理论。这类似格罗滕迪克当年用 étale 统一拓扑上同调——是 p-进上同调的”大一统”。
五、意义与后续
- p-进几何的范式转换:perfectoid 使”特征 0/特征 p”的鸿沟消失,开启了钻石空间(diamantine)、凝聚上同调等新框架,并直接用于朗兰兹纲领的 p-进版本(如 Fargues 的”几何朗兰兹 = p-进”纲领)。
- 算术几何的引擎:权重–单值、几乎纯净、棱柱上同调已成为现代数论的默认工具,影响模形式、伽罗瓦表示、甚至同伦论(如”谱代数几何”的 p-进版)。
- 极年轻的革命者:舒尔策在博士阶段即完成这一整套理论,被誉为”自格罗滕迪克以来最具原创力的算术几何学家”,其工作定义了 21 世纪 20 年代的数论风貌。
舒尔策以”tilting 一座桥”的洞见,把 p-进数论的破碎景观连成一体;perfectoid 空间已成为当代算术几何无可替代的基石。