米哈伊尔·格罗莫夫
在几何群论、辛几何与黎曼几何的开创性贡献,提出双曲群、Gromov–Hausdorff 距离与伪全纯曲线
获奖原因
米哈伊尔·格罗莫夫是当代几何学最具原创性的思想家。他重塑了多个几何分支的方法论:在几何群论中提出”双曲群”(1987),为无穷群赋予几何结构;在黎曼几何中引入 Gromov–Hausdorff 距离与”几乎平坦流形”;在辛几何中以”伪全纯曲线”(1985)开辟 Gromov–Witten 不变量理论。2009 年阿贝尔奖表彰其”对几何的革命性贡献”。
问题来龙去脉
格罗莫夫的风格,是用”放宽容差、抓住大尺度结构”的视角看几何。这一思想集中体现在两个创造上。
一、几何群论与双曲群。 一个有限生成群 配上字度量后,可视为一个度量空间(Cayley 图)。格罗莫夫问:当只关心”大尺度”形状时,哪些群共同具有树一样的负曲率性质?他定义:若 的 Cayley 图满足”细三角条件”(所有三角形被某常数 宽的邻域吞没),即 则称 为(否定曲率的)双曲群。这把拓扑/几何的负曲率概念提升为纯组合的群论性质,使自由群、基本群为双曲流形的群、以及许多 Kleinian 群被统一研究。由此发展出”大字公式”、边界 at infinity、以及群作用与测度刚性等整套理论,深刻影响了 3 维拓扑与几何群论。
二、辛几何中的伪全纯曲线。 1985 年,格罗莫夫在几乎复流形 上考虑”伪全纯曲线”:映度 满足 Cauchy–Riemann 型方程 他把这一定义放入”极限”族(参数随 变化),得到 Gromov 紧致性定理:伪全纯曲线的序列在”破裂”(bubbling)意义下紧——即曲线可能在一点爆出球面分支。借此他证明了若干不可能定理(如存在非平凡周期轨道的 Arnold 猜想特例),并定义了计数伪全纯球面的 Gromov–Witten 不变量。
这些不变量把”数几何”(枚举曲线)变成辛拓扑的不变量,后与弦论的镜像对称紧密相连,成为现代几何物理的交汇点。格罗莫夫还提出”填充半径""等周不等式"" systolic 几何”(以最短非平凡闭测地线为尺度的体积界),以及”几乎平坦流形”(若黎曼流形直径小、截面曲率绝对值小,则其为幂零流形商)。
贯穿这些工作的,是一种”度规视角”:不强求精确等距,而用 Gromov–Hausdorff 距离度量空间之间的近似,从而把离散组合、光滑流形、度量空间纳入同一框架。这种宽容而犀利的眼光,使格罗莫夫成为”用几何直觉统一数学”的典范。阿贝尔奖对其的授予,正是对这场几何方法论革命的致敬。