跳转到内容
← 返回数学家
当代几何学25 分钟阅读

米尔扎哈尼

Maryam Mirzakhani

伊朗/美国·19772017
菲尔兹奖黎曼曲面模空间测地线双曲几何

生平

玛利亚姆·米尔扎哈尼(Maryam Mirzakhani,1977年5月12日—2017年7月14日)是伊朗裔美国数学家,斯坦福大学数学系教授。2014年,她在首尔(Seoul)国际数学家大会上成为菲尔兹奖(Fields Medal)史上第一位女性得主,也是第一位获此殊荣的伊朗人。菲尔兹奖每四年颁发一次,是数学界公认最高荣誉,通常只授予40岁以下的数学家。米尔扎哈尼出生于德黑兰。童年时,她的梦想是成为小说家,对数学并没有特别的热情。14岁时,她进入德黑兰的法尔扎尼甘高中(Farzanegan,专为优秀学生设立),被老师发掘出数学才华。1994年和1995年,她连续两次代表伊朗参加国际数学奥林匹克(IMO),分别获得金牌——1995年更是以满分42分的成绩夺冠。

1999年,米尔扎哈尼进入哈佛大学攻读博士,师从柯蒂斯·麦克马伦(Curtis T. McMullen,1998年菲尔兹奖得主)。她的博士论文(2004年完成)解决了一个长达十年无人攻克的问题:计算双曲曲面上的简单封闭测地线(simple closed geodesics)的数量,并将其与模空间的体积联系起来。论文的结果如此深刻,以至于同时以三篇独立文章发表在顶尖数学期刊上。

博士毕业后,她先后在普林斯顿大学任助理教授(2004—2008),后于2008年作为正教授加入斯坦福大学。

2017年7月14日,米尔扎哈尼因乳腺癌在加州斯坦福大学附近去世,年仅40岁。她的去世在数学界引发了广泛的悼念。伊朗媒体在报道时,打破了伊朗当时不允许展示未戴头巾女性照片的惯例,配发了她微笑工作的照片——她没有戴头巾。她的名字和面孔在那一天出现在世界各地的报纸头版。

核心贡献

简单封闭测地线的计数

米尔扎哈尼在博士论文中解决的核心问题,需要几个概念作铺垫。

双曲曲面(hyperbolic surface)是具有常负曲率 $K = -1$ 的紧致曲面。对于亏格为 g2g \geq 2 的曲面(即具有 $g$ 个"洞"的曲面),赋予常负曲率度量后,曲面上存在无穷多条测地线(geodesic)——"最直的路径",类似于球面上的大圆。其中简单封闭测地线(simple closed geodesic)是不自交的封闭曲线。

问题:在双曲曲面上,长度不超过 $L$ 的简单封闭测地线的数量 s(X,L)s(\mathcal{X}, L) 如何随 $L$ 增长?

米尔扎哈尼证明了:

s(X,L)c(X)L6g6(L)s(\mathcal{X}, L) \sim c(\mathcal{X}) \cdot L^{6g-6} \quad (L \to \infty)

其中 c(X)c(\mathcal{X}) 是依赖于曲面 X\mathcal{X} 的常数,$6g-6$ 正好是Teichmüller空间的维数(即同一拓扑型曲面所有双曲度量的参数空间的维数)。这个结果本身已很深刻,但更惊人的是她的方法:她将这个几何计数问题转化为模空间上的积分计算,通过计算Weil-Petersson度量下的体积来得到计数公式。这种将计数问题化为积分的思路,开辟了一条全新的研究路径。

模空间的Weil-Petersson体积

模空间 Mg,n\mathcal{M}_{g,n} 是亏格为 $g$、有 $n$ 个标记点的黎曼曲面的等价类的全体,它本身是一个复杂的几何对象(轨道叠,orbifold)。模空间上有一个自然的辛结构,对应的体积(Weil-Petersson体积)是理解曲面的几何与拓扑性质的重要量。

米尔扎哈尼建立了一套递推公式,可以从低亏格曲面的Weil-Petersson体积计算高亏格曲面的体积。这套递推公式(米尔扎哈尼递推)与以前维滕(Witten)用拓扑引力理论猜测的方程(科南采维茨-维滕方程,Kontsevich-Witten)等价——这建立了纯数学的模空间几何与理论物理中的拓扑量子引力之间的联系。

动力系统:Test曲面上的测地流

米尔扎哈尼后期的工作(与阿历克斯·埃斯金,Alex Eskin,合作)转向了模空间上的动力系统——研究Teichmüller流(曲面的"拉伸"操作)在模空间中的轨道行为。他们证明的埃斯金-米尔扎哈尼-莫哈马迪定理(有时称为"曲面的魔法棒定理",magic wand theorem,2013—2015年):对于模空间中的SL(2,R)(2,\mathbb{R})-轨道闭包,必然是"代数子流形"(algebraic submanifold),即轨道闭包由多项式方程定义。

这个定理是Ratner定理(1991年,关于齐次空间上的单参数群轨道)的模空间类比,但证明技术上的困难要大得多——模空间不是齐次空间,没有现成的工具可用。埃斯金和米尔扎哈尼花了五年时间才完成证明,成稿超过200页。菲尔兹奖委员会在2014年的颁奖词中,特别强调了这项工作对"台球桌上台球轨道"等初等问题的意义——一个多边形台球桌上台球的轨道是否稠密、是否闭合?这类问题与模空间的动力学深刻相关,埃斯金-米尔扎哈尼定理给了若干此类问题的答案。

工作方式与个性

米尔扎哈尼的工作方式被多位同事描述为不寻常:她习惯把大张白纸铺在地板上,边画图边思考,图形越来越多,铺满整个地板——她曾笑言"这看起来像在乱画,但我实际上是在思考"。这种视觉化的工作方式,与她深入双曲几何和模空间的视觉直觉密切相关。她的女儿阿纳希塔(Anahita)有时看着妈妈在地板上画图,会问"你在画画吗?"米尔扎哈尼会回答"是的,我在画数学"——这个说法后来成为描述她工作方式最广为引用的细节。

她对待数学的态度也与那种"天才必须快速"的刻板印象相反——她曾多次说,她喜欢慢慢消化一个问题,不急于发表,宁可花很多年理解一件事,再写下来。她的论文数量不多,但每篇都份量极重。她的博士导师麦克马伦回忆:"当她来询问问题时,她会自己发展出一套语言和图示,用来表达她对问题的理解,那套语言有时是全新的,我自己以前从未见过。"

她曾对学生说的话,被许多人认为是关于数学学习最好的建议之一:"我发现数学中那些很困难的问题,往往在你花了很长时间并且真的理解它之后,变得极其优美。困难的过程是必要的,它让你真正理解为什么这件事情是真的,而不仅仅是知道它是真的。"

历史意义

米尔扎哈尼的菲尔兹奖是数学史上一个标志性时刻——不是因为"女性终于获奖了"意味着数学界已经公平,而是因为这一刻揭示了此前一直存在的不公平:菲尔兹奖自1936年创立,颁发了数十次,直到2014年才第一次颁给女性。

伊朗数学界对她的感情尤其复杂而真实。在伊朗,她被称为"伊朗的骄傲",但伊斯兰共和国的官方媒体在她获奖时一度犹豫是否报道——因为她的照片显示她未戴头巾。当她去世时,这种犹豫被打破了,她的照片被广泛刊登。她的名字被用于伊朗的一处公共设施,她是那个时代为数不多的伊朗女性在国际上获得广泛认可的例子。

她的女儿阿纳希塔在米尔扎哈尼去世时只有6岁。米尔扎哈尼曾在采访中说,她希望女儿不是因为"你的妈妈是数学家"而对数学感兴趣,而是因为数学本身足够有趣。

2019年,突破奖基金会(Breakthrough Prize Foundation)宣布设立"米尔扎哈尼新前沿奖"(Maryam Mirzakhani New Frontiers Prize),每年颁发给近两年内完成博士学位、在数学研究上有杰出成就的早期女性数学家,以延续她的遗产。

遗留问题与未完成的研究方向

米尔扎哈尼去世时,留下了若干未完成的研究项目。她与埃斯金(Eskin)关于模空间动力学的工作(magic wand theorem)成稿于2013年,但完整证明在2015年才最终发表。在此之后,她已经开始转向新的研究方向——据她的合作者透露,她对高亏格曲面(high genus surfaces)的随机测地线分布以及相关的统计力学模型表现出强烈的兴趣,这些方向与数学物理中的弦理论模型有潜在的联系。

她去世时只有40岁,数学界普遍认为她的最重要成就很可能尚在未来——这使她的早逝成为整个20—21世纪数学史上最沉重的损失之一。她的导师麦克马伦(McMullen)在悼念中写道:"她把我们所有人都带到了一个我们自己永远找不到的地方。"

双曲几何的直觉基础

米尔扎哈尼在接受采访时多次谈及她对双曲几何的直觉性理解。双曲曲面(常负曲率曲面)的直觉难以建立,因为它与日常生活中的欧几里得平面几何及球面几何(正曲率)的感知经验都相差甚远。

她描述自己理解双曲曲面的方式是:想象一张无穷延展的、由不断增大的六边形拼成的图案(而不是平面上规整的六边形蜂窝)——在双曲平面上,每个点的"邻域"比欧几里得平面更"宽",空间比球面"更平展、更向外扩"。这种几何直觉,加上模空间上的积分技术,是她能够把计数问题化为几何问题的关键。

她在斯坦福的同事苏(Francis Su,美国数学学会前主席)在她去世后写道:"她教会了我,数学是一种艺术形式,需要创造力、直觉和对美的敏感,而不仅仅是逻辑推演。"

简单测地线的计数:联结几何与动力系统

米尔扎哈尼博士论文最核心的技术创新,是把一个看似纯几何的计数问题,通过"积分-递推"的桥梁,转化为模空间上的体积计算。这一方法本身是一个新的数学工具,而不只是解决一个具体问题的技巧。

背景:给定一个亏格 $g$ 的双曲曲面 X\mathcal{X},考虑其上长度不超过 $L$简单封闭测地线(simple closed geodesics,即自身不相交的封闭曲线,对应于最短路径)。令 s(X,L)s(\mathcal{X}, L) 为这类曲线的数量。

之前已知的结果:若不要求"简单"(即允许自交),一般封闭测地线的渐近公式由马尔古利斯(Margulis,1969年)定理给出,增长速度是指数级的 ehL/(hL)e^{hL}/(hL),其中 $h$ 是测地流的拓扑熵(对常曲率 $K=-1$ 的双曲曲面 $h=1$,即约 eL/Le^L/L)。简单封闭测地线的情况则完全不同,早期工作表明增长速度是多项式级,但精确的幂次不清楚。

米尔扎哈尼的结果

s(X,L)c(X)L6g6s(\mathcal{X}, L) \sim c(\mathcal{X}) \cdot L^{6g-6}

其中 $6g-6$ 正是 Teichmüller 空间(所有亏格 $g$ 双曲度量的空间)的实维数,c(X)c(\mathcal{X}) 是依赖于具体曲面 X\mathcal{X} 的正常数,可以通过模空间上的 Weil-Petersson 积分精确计算。

方法的核心:她把"计数简单封闭测地线"转化为在模空间 Mg,1\mathcal{M}_{g,1}(带一个标记点的亏格 $g$ 曲面的模空间)上的积分——通过在测地线上"切开"曲面,得到带边界的曲面,再对所有可能的边界长度积分。这一"切-积"操作的关键步骤,需要精确知道带边界曲面的模空间体积——而这正是她递推公式解决的问题。整个论证形成了一个自洽的闭环。

埃斯金-米尔扎哈尼定理:台球轨道与模空间

米尔扎哈尼与亚历克斯·埃斯金(Alex Eskin,芝加哥大学)合作的"魔法棒定理"(有时称为"曲面的地震定理",magic wand theorem),是她晚期工作中最重量级的成果,也是近20年动力系统和几何学领域最重要的定理之一。

直观背景——台球问题:想象在一张多边形台球桌(不一定是矩形,可以是任意多边形)上,一颗台球没有摩擦地弹跳。球的轨道是否会"填满"整张台球桌(轨道稠密),还是会形成有限个封闭轨道?这是一个看起来初等、实则极难的动力学问题。

1980年代,数学家发现:对于有理多边形(所有角度都是 π\pi 的有理数倍的多边形),台球问题可以通过"展开"变换化为翻转曲面(translation surface)上的测地流问题,而翻转曲面对应于模空间中的特殊点(亏格 $g$ 的翻转曲面的模空间,称为层空间 Hg\mathcal{H}_g)。

埃斯金-米尔扎哈尼定理(2013年首次宣布,2015年完整证明发表):在模空间(层空间)Hg\mathcal{H}_g 中,SL(2,R)(2,\mathbb{R})-轨道的闭包是代数子流形——即由多项式方程定义的"良好"子集,而非可能出现的复杂的、"病态"的集合。

这一定理的意义在于:它把台球轨道的分类问题,化为代数几何的分类问题。台球在有理多边形桌上的长期行为,从此可以通过代数方程来精确刻画。2019年,三位数学家(Eskin, McMullen, Mukamel, Wright)利用这一框架,完成了所有层空间中代数子流形("奇异轨迹")的完整分类,是这一研究方向的里程碑。

双曲曲面的具体例子:理解模空间的直觉

米尔扎哈尼研究的核心对象——双曲曲面(hyperbolic surface)——对数学圈外的人来说需要一些直觉性的说明。

曲率的直觉:我们熟悉的平面(欧几里得平面)曲率为零;地球表面(球面)有正曲率(曲面向两个方向弯曲,像个碗,三角形内角和大于180°);双曲曲面有负曲率(像马鞍,在一个方向向上弯,另一方向向下弯,三角形内角和小于180°)。

双曲平面的模型:直接想象常负曲率的曲面很难,数学家发展了若干模型帮助直觉:庞加莱圆盘模型(Poincaré disk model)把整个双曲平面映射到一个单位圆盘内,"测地线"(最短路径)在圆盘中看起来是弧线,越靠近圆盘边缘,空间"越大"——荷兰版画家埃舍尔(M.C. Escher)的"圆极限"(Circle Limit)系列版画,就是直观呈现双曲平面的艺术尝试。

亏格(genus)的直觉:拓扑学中,曲面的"亏格"是"洞的数目":球面亏格0,环面(甜甜圈形)亏格1,两个洞的曲面亏格2,依此类推。米尔扎哈尼研究的双曲曲面是亏格 g2g \geq 2 的紧致曲面(没有边界、有限面积),这类曲面必然具有负曲率(欧拉示性数 χ=22g<0\chi = 2-2g < 0,保证了它允许常负曲率度量)。

模空间是"曲面空间的空间":给定亏格 $g$,可以在同一个拓扑曲面上赋予不同的双曲度量——改变形状、比例、扭曲角度——从而得到不同的双曲曲面。所有这些不同的双曲度量构成的集合,就是模空间 Mg\mathcal{M}_g。它本身是一个高维的几何对象,维数为 $6g-6$。米尔扎哈尼的工作,就是在这个"曲面空间的空间"上进行几何计算。

菲尔兹奖与数学界的性别问题

米尔扎哈尼在2014年获得菲尔兹奖,是一个具有标志性意义的历史时刻。菲尔兹奖(Fields Medal)自1936年创立,以加拿大数学家约翰·查尔斯·菲尔兹(John Charles Fields)命名,每四年在国际数学家大会(International Congress of Mathematicians,ICM)上颁发,通常授予不超过四位40岁以下的数学家,是数学界公认的最高荣誉。

在2014年之前,菲尔兹奖共颁发超过50枚,全部授予男性数学家。这一数字以强烈的方式揭示了顶尖数学界的性别构成——不是因为女性在数学上不够出色,而是因为历史上的制度性障碍(教育机会不平等、学术评价系统的隐性偏见、职业发展路径的特殊困难)系统性地将女性排除在顶尖数学研究之外。

米尔扎哈尼的获奖并没有解决这个问题,但它打破了一个心理屏障,证明了这道壁垒在数学意义上是完全虚假的。国际数学联合会(IMU)随后在多个层面作出了制度性回应,包括设立专门奖项和开展统计追踪,以增加女性在数学各级别的代表性。

另一个值得关注的角度:米尔扎哈尼获奖时,斯坦福大学数学系全职教授中女性比例依然极低。顶尖研究型大学数学系的性别构成问题,在米尔扎哈尼获奖后受到了更多关注和讨论。她的存在和成就,对年轻一代女性选择数学研究道路的心理影响,在学术调查中有明显的记录。

从德黑兰到菲尔兹奖:一条不寻常的道路

米尔扎哈尼从伊朗走向国际数学前沿的路径,不是那种线性的天才成长故事,而是一系列偶然与机遇的交汇。她最初对数学的疏远,以及后来因偶然参加奥数培训而被点燃的热情,是许多数学家生涯中常见的"迟到的觉醒"。伊朗的数学教育传统深厚——伊朗在国际数学奥林匹克的历史成绩相当出色,培训体系也较为成熟。正是在这一系统内,米尔扎哈尼被发现并系统培养。

值得注意的是,她进入哈佛的时间(1999年)正是互联网信息开始真正全球化的时代,但数学研究资源的不平等分配仍然显著——顶尖数学家大多集中在美国、法国、英国和俄罗斯等少数国家的少数院校。米尔扎哈尼的成就从一个侧面说明,数学天才在任何文化背景下都可能涌现,但能否得到充分发展,在很大程度上取决于机遇——包括一位好老师、一所好大学、和一个允许年轻女性走上数学道路的社会环境。

在伊朗国内,她的成功对女性受教育权利的讨论有重要象征意义。伊朗是一个对女性教育有诸多限制的社会,但其工程和科学领域的女性比例,事实上高于许多西方国家。米尔扎哈尼的案例常被引用于这一背景下:制度性障碍并不意味着才能的缺失,但它会阻碍才能的充分发展。

模空间与弦理论的联系

米尔扎哈尼工作中最令数学家和物理学家共同着迷的一点,是她的递推公式(Mirzakhani's recursion)与理论物理中拓扑引力(topological gravity)的联系。在1990年代,维滕(Edward Witten)从物理学的角度猜测:对模空间上的"交截数"(intersection numbers)作适当的生成函数,应满足某种被称为KdV层次(KdV hierarchy)的可积方程组。Kontsevich在1992年证明了这一猜想(获菲尔兹奖的工作之一),将物理猜测转化为严格的数学定理。

米尔扎哈尼的递推公式给出了Weil-Petersson体积的递推计算方法,而这一方法与Kontsevich-Witten框架深度一致——通过两者的等价性,米尔扎哈尼建立了一个意想不到的桥梁:简单测地线的几何计数问题,与弦理论中的拓扑场论计算,在数学上是同一件事的不同面向。这种来自不同方向的"意外相遇",在数学中具有特殊的美学价值。它不仅说明米尔扎哈尼的具体结果是正确的,而且暗示了更深层的结构——不同数学领域(几何学、动力系统、代数几何、拓扑学)在模空间这一对象上的汇合,是当代数学中最令人兴奋的主题之一。

跨域连接

  • 统计力学:多边形台球的轨道可以"展开"成平移曲面上的直线流,问轨道是否处处稠密,就是问该流是否遍历。推论:角度取有理倍数时结论可判定,一般情形至今不能——遍历性是需要证明的性质,不是可以默认的假设;把"看起来显然"降级为待证命题,是这条线的共同教训。
  • 弦理论:曲面模空间上的交截数与拓扑引力的配分函数满足同一组递推关系,两条毫不相干的计算给出同一串数。推论:等价性一旦确立,物理侧的猜测可以直接当成数学侧的预言去核验,反过来同样成立。
  • 计算机图形学:把三维网格摊平做纹理必须先选定一个共形结构,而同一拓扑曲面上这类结构本身构成一个参数空间。推论:亏格越高自由参数越多——高亏格模型的自动展开更难收敛,难度随洞数增长而不是随面片数增长,这可以用不同亏格的模型直接测出。
  • 性别与社会:顶尖奖项长期只授予男性,反映的是逐层筛选:教育机会、职位晋升、评审网络各过滤一次。推论:若壁垒在入口,放宽入口后高端分布应随队列推移而改变;"能力差异"假说则预测不会变——两种假说因此不是口水之争,而是可用队列数据分辨的。
  • 遍历论:把"数一数有多少条"换成"在参数空间上积一个分",计数问题就变成了体积计算。推论:只要能递推地算出体积,计数的增长阶数随之确定——这个降维手法本身比那个具体幂次更值钱

疾病、逝世与纪念

2013年,米尔扎哈尼被确诊为乳腺癌(breast cancer)。在随后的四年间,她一边接受治疗,一边坚持数学研究,与埃斯金合作完成了"魔法棒定理"(magic wand theorem)的最终证明,并持续指导研究生。她对病情的态度,在斯坦福同事的回忆中,是一种坚韧的冷静——她不愿让疾病成为定义她的标签,而是尽可能地维持正常的数学生活。

她去世的消息传出后,数学界反应之强烈罕见于任何同类事件:菲尔兹奖委员会、国际数学联合会、斯坦福大学、哈佛大学、普林斯顿高等研究院等机构纷纷发表悼词。她的博士导师麦克马伦(Curtis McMullen)写道,她的离开是"数学的巨大损失,因为她的最重要的工作很可能还在她的未来"。

2018年,国际数学联合会(International Mathematical Union,IMU)将每年5月12日(米尔扎哈尼的生日)定为"国际女数学家日"(May 12, International Women in Mathematics Day)。这一纪念日得到世界各地数学机构和高校的广泛响应,每年举办讲座、展览、公众活动,成为推动数学领域性别平等的重要象征性日期。

在病痛和治疗的压力下,她仍然以数学家的身份全力投入,而不是以病人的身份退出——正是在这段时间,她与埃斯金的合作论文从初稿走向跨越200余页的最终发表。她去世前正在探索高亏格曲面(high genus surfaces)上随机测地线的统计分布,以及与数学物理相关的若干新方向;这些方向已由她的合作者和学生在她去世后继续推进,成为几何学与动力系统领域的活跃前沿。

参考文献

  1. Maryam Mirzakhani, "Simple Geodesics and Weil-Petersson Volumes of Moduli Spaces of Bordered Riemann Surfaces", Inventiones Mathematicae 167 (2007), pp. 179–222(博士论文主要结果,原始文献).
  2. Alex Eskin & Maryam Mirzakhani, "Invariant and stationary measures for the SL(2,R)\mathrm{SL}(2,\mathbb{R}) action on moduli space", Publications Mathématiques de l'IHÉS 127 (2018), pp. 95–324.
  3. Erica Klarreich, "A Tenacious Explorer of Abstract Surfaces", Quanta Magazine, August 2014(米尔扎哈尼获菲尔兹奖前后的详细人物报道,适合普通读者)。

延伸阅读

  1. Simons Foundation obituary (2017): https://www.simonsfoundation.org/2017/07/20/fields-medalist-maryam-mirzakhani-dies-at-40/

「我是一个慢思考者,需要花很多时间才能理清思路、取得进展。」——玛利亚姆·米尔扎哈尼(2008 年克雷数学研究所访谈)