玛丽亚姆·米尔扎赫尼 · 世界数学发展史

获奖原因

玛丽亚姆·米尔扎赫尼（Maryam Mirzakhani，1977–2017）获 2014 年菲尔兹奖，是首位获得菲尔兹奖的女性。她研究黎曼曲面（代数曲线）的模空间的几何与动力学。

她的核心成果包括：

计算出模空间 $\mathcal{M}_g$ 的体积（关于 Weil–Petersson 度量），并给出其与交点数的递归关系；
证明简单闭测地线在双曲曲面上的计数渐近公式（增长率），并把这推广到”对边界有约束”的测地线计数；
与埃斯金（A. Eskin）、莫尔（K. Mohammadi）证明模空间上 $\mathrm{SL}(2,\mathbb{R})$ 作用的遍历性（即 Teichmüller 测地线流的轨道在几乎每处稠密），解决了长期悬置的动力学难题。

她的方法是把双曲几何的计数翻译成模空间的代数几何/交点理论，并用复分析（Teichmüller 理论）做动力学。米尔扎赫尼于 2017 年因病早逝，其工作深刻影响了双曲几何、模空间与低维拓扑。

问题来龙去脉

一、模空间与测地线计数

一条亏格 $g$ 的双曲曲面（常负曲率）上有无穷多条闭测地线（闭合的测地曲线）。一个经典问题：长度为 $\le L$ 的简单闭测地线（不自交）有多少条？其增长渐近是什么？对单个曲面，Hubbard、Masur 等知道简单闭测地线对应”测量层（measured laminations）“；但按模空间平均的计数（“随机曲面上有多少短简单闭测地线”）长期未知。

另一方面，模空间 $\mathcal{M}_g$ （亏格 $g$ 曲线的同构类）上有一个自然度量——Weil–Petersson 度量，它是凯勒、但退化（在边界退化）。一个核心问题： $\mathcal{M}_g$ 的体积是多少？ 它如何随 $g$ 变化？又如何与曲线的”交点数”（tautological 类的交点）相关？

二、米尔扎赫尼的突破：把计数变成交点积分

米尔扎赫尼的关键创意是：把”简单闭测地线的计数”重述为”模空间上某 tautological 类的交点数”，从而用代数几何计算。

从测地线到扭结：在一条曲面 $X$ 上，固定一条简单闭测地线 $\gamma$ ；沿 $\gamma$ 把 $X$ 切开得到一个带边界的曲面 $X_\gamma$ ，其边界长度 $= \ell(\gamma)$ 。把”长度 $\le L$ 的简单闭测地线计数”转化为”带边界曲面模空间的体积积分”（用 McShane 恒等式的推广：把曲面边界长度用简单闭测地线分解）。
体积递归：她证明带边界曲面模空间的体积 $V_{g,n}(L_1,\dots,L_n)$ 满足一个关于边界长度 $L_i$ 的递归微分方程，从而可算出 Weil–Petersson 体积。这是第一个对任意 $g$ 计算 $\mathrm{Vol}(\mathcal{M}_g)$ 的系统方法。
简单闭测地线的渐近：由此推出：在双曲曲面上，长度 $\le L$ 的简单闭测地线数 $\sim c(L) e^L / L^{6g-6+2n}$ 型增长（更精确地，她给出与模空间交点数匹配的渐近常数）。这回答了对”随机/平均曲面”的简单闭测地线密度问题。

三、模空间上的动力学

米尔扎赫尼进一步把她的计数工具用于模空间的动力学：在 $\mathcal{M}_g$ 上， $\mathrm{SL}(2,\mathbb{R})$ 通过”沿 Teichmüller 测地线流”作用（每条轨道对应一条”平曲面”的形变）。一个长期猜想是：这个作用遍历（几乎每条轨道在模空间稠密）。

她与埃斯金、莫尔（2011）证明：对某些”仿射不变子流形”（由平曲面的周期 lattice 定义的子簇）， $\mathrm{SL}(2,\mathbb{R})$ 作用是遍历的——即轨道在子流形内稠密。这把她的测地线计数 / 体积方法升级为模空间动力学的结构定理，深度影响了平曲面理论与 Teichmüller 动力学。

四、意义与后续

模空间体积的显式公式：米尔扎赫尼的体积公式（与交点数的关系）成为计算 $\mathcal{M}_g$ 、 $\overline{\mathcal{M}}_g$ 不变量与 tautological 环的标准工具，影响弦论中的模空间积分。
测地线计数的突破：她的渐近公式回答了双曲几何最核心的计数问题之一，并被用于证明关于”随机曲面”的几何性质（如最短测地线的期望长度）。
平曲面动力学的结构定理：埃斯金–米尔扎赫尼定理是 $\mathrm{SL}(2,\mathbb{R})$ 轨道闭包分类的里程碑，开启了”仿射不变子流形”这一活跃子领域（与 Veech 曲面、Billiards 相连）。

米尔扎赫尼以”把双曲几何的计数翻译成模空间的代数几何”的原创力，打开了黎曼曲面模空间几何与动力学的新篇章；作为首位女性菲尔兹奖得主，她也成为数学包容性的象征。