格里戈里·马尔古利斯 · 世界数学发展史

获奖原因

格里戈里·马尔古利斯（Gregory Margulis，1946– ）获 1978 年菲尔兹奖，表彰他在**半单李群离散子群（格）**理论中的深刻工作。两项最著名：

（1）超刚性定理（Superrigidity，1974）：若 $\Gamma$ 是中心有限、实秩 $\ge 2$ 的半单李群 $G$ 中的不可约格，则任何 $\Gamma\to G'$ 的同态都能延拓为 $G\to G'$ 的”几乎同态”——即格的表示被整个李群”强制决定”。这是格理论与表示论的里程碑。

（2）Oppenheim 猜想的解决（1986）：用齐次空间上的单幂流（unipotent flows）动力系统，他证明了一个 1929 年的数论猜想——见下文。

马尔古利斯还证明了格的算术性定理（在实秩 $\ge 2$ 情形，所有格子群都是算术的）、以及关于齐性空间上轨道分布（等分布、闭合轨道分类）的结果，这些直接启发了后来拉特纳（Ratner）的轨道闭包定理。他于 2005 年获沃尔夫奖、2020 年获阿贝尔奖。

问题来龙去脉

一、Oppenheim 猜想

1929 年，亚历山大·奥本海姆（A. Oppenheim）提出：设 $Q(x)=Q(x_1,\dots,x_n)$ 是实系数、不定（indefinite）且非退化的二次型（即符号差既非全正也非全负），且 $n\ge 3$ 。若 $Q$ 不”比例于一个有理系数型”（即不是某个有理二次型的实数倍），则 $Q(\mathbb{Z}^n)=\{Q(z): z\in\mathbb{Z}^n\}$ 在 $\mathbb{R}$ 中稠密。

直觉：当 $Q$ 为有理型时， $Q(\mathbb{Z}^n)$ 是离散的（由约化理论，值落在离散集合）；奥本海姆猜想说，一旦 $Q$ 不是有理型，其整数值就会”撒满”整个实数轴。对 $n=2$ （不定二元型），猜想不成立（通过连分数/约化理论，值仍离散）；故 $n\ge 3$ 是关键。

这个看似数论的问题，几十年里只有部分结果（如达文波特、海尔布龙对特殊情形的界），直到马尔古利斯用动力系统彻底解决。

二、翻译成齐次空间上的轨道

马尔古利斯的关键是把”值集 $Q(\mathbb{Z}^n)$ “翻译成李群作用的轨道。设 $G=\mathrm{SL}(n,\mathbb{R})$ 在二次型空间上作用； $Q$ 的 stabiliser 是（同构于） $\mathrm{SO}(Q)$ 的群 $H$ 。考虑齐性空间 $X = G / \mathrm{SO}(Q) \cong \{\text{与 }Q\text{ 同符号差的二次型}\},$ 并取一个格 $\Gamma=\mathrm{SL}(n,\mathbb{Z})\subset G$ 得到的商空间 $X_\Gamma = \Gamma\backslash G / \mathrm{SO}(Q)$ 。

整数向量 $z\in\mathbb{Z}^n$ 通过平移生成 $\Gamma$ 中的一个单幂（unipotent）子群 $U_z$ （形如 $u\mapsto I+$ 秩一剪切）。 $Q(z)$ 的值恰好对应点 $x_0$ 在 $U_z$ 作用下的轨道”高度”。于是” $Q(\mathbb{Z}^n)$ 稠密”等价于：由所有整数平移生成的单幂子群在 $X_\Gamma$ 上的轨道稠密。

三、马尔古利斯的论证

他用两条动力系统原理：

单幂流的轨道结构：马尔古利斯证明了（后来被拉特纳定理推广）：在格子 $\Gamma$ 的齐性空间上，单幂子群的轨道要么闭、要么稠。要证稠密，只需排除”闭轨道”情形。
闭轨道 ↔ 有理型：若 $U_z$ 的轨道闭合，则它对应一个紧闭轨道，而紧闭单幂轨道在 $X_\Gamma$ 中只出现在 $Q$ “比例于有理型”时（此时 stabiliser 含一个紧的算术子群，轨道是离散的）。因此只要 $Q$ 不是有理型，闭轨道不可能出现，轨道必稠密。

从而 $Q(\mathbb{Z}^n)$ 稠密——奥本海姆猜想得证（对 $n\ge 3$ ）。

四、意义与后续

数论 ⇄ 动力系统的桥梁：这是”用齐次空间动力系统解决经典数论猜想”的范式之作，开启了齐性动力学（homogeneous dynamics）这一交叉领域。
拉特纳定理的先声：马尔古利斯对单幂轨道”闭或稠”的分类，被拉特纳（1991）推广为一般轨道闭包定理，并用于证明利莫列克（Littlewood）猜想的许多情形、以及狄奥尼西（Dani）的丢番图逼近结果。
格理论的深化：超刚性 + 算术性定理一起，把”半单李群的离散子群”几乎完全分类（实秩 $\ge 2$ 时必算术），是格理论的基石。

马尔古利斯以”把数论问题翻译成群的轨道、再用动力系统逼出现象”的独创路径，连接了三个本不相干的领域，是 20 世纪跨界数学的典范。