清华笔记：计算共形几何讲义（10）纪念米尔扎哈尼—

多年以前，我还在哈佛求学，导师丘成桐先生叮嘱我要研究柯蒂斯. 麦克马伦(Curtis McMullen)的理论，McMullen用组合的方法来研究共形结构，非常适合计算。丘先生自己也在哈佛的研究生课程上讲解这个理论。多少年来，我和合作者、学生们一直致力于探索这一方向，例如我们前不久基于全纯二次微分的计算曲面叶状结构（foliation）方法。后来，McMullen果然获得了菲尔兹奖，这使得我们非常敬佩丘先生的眼光。

后来，有一次我访问哈佛的时候，恰逢McMullen和他的一名研究生讨论泰希米勒空间问题。那名女研究生比较瘦小，但是联想异常丰富，将泰希米勒空间的不同理论大胆地联系起来，纵横捭阖，气魄恢弘。McMullen反倒显得非常温和谨慎，不停地提醒她猜测的严密性。

再后来，罗锋教授的弟子杨田博士毕业，前去斯坦福深造，追随一位伊朗裔的女数学家米尔扎哈尼（Maryam Mirzakhni）。当时听说米尔扎哈尼证明了一个举世震惊的结果，发明了计算泰希米勒空间体积的方法。一两年后，米尔扎哈尼由此获得了菲尔兹奖，成为历史上首位女菲尔兹奖得主。这令我们非常钦佩罗锋和杨田的眼光。

泰希米勒空间是所有拓扑同胚的黎曼面构成的空间，每个点代表一类曲面，每条曲线代表一个形变过程。更为奇妙的是泰希米勒空间具有黎曼度量，两个曲面间可以测量距离。因此泰希米勒空间理论是计算机视觉中“形状空间”理论的绝佳候选。我们在这方面进行了十数年的探索，发明了计算泰希米勒空间黎曼度量的算法。

昨天（2017年7月15日）惊闻米尔扎哈尼英年早逝，看到照片突然想起当年和McMullen讨论泰希米勒空间的女孩就是米尔扎哈尼。人生无常，天妒红颜。唏嘘慨叹之余，我想我们最好的纪念方式就是将米尔扎哈尼发明的泰希米勒空间测地流理论透彻理解，转换成计算机算法，让她的思想进一步影响人类社会。

拓扑环面的泰希米勒空间

图4. 亏格为一的曲面的共形模。

模空间

图片[2]-清华笔记：计算共形几何讲义（10）纪念米尔扎哈尼——泰希米勒（Teichmuller）空间-卡核

图5. 拓扑轮胎的模空间。

简单计算表明，轮胎的模空间同胚于图5中的阴影区域：

我们可以看出模空间具有奇异点，因而整体不是流形，而是orbifold。

周期矩阵

前面我们已经讨论了低亏格曲面的共形不变量和它们基于全纯微分的构造方法。在这里，我们讨论高亏格曲面的情形。

图6. 亏格为二的曲面，及其上的一族标准同伦群基底。

如图6所示，假设S是一拓扑曲面，带有标准同伦群基底

我们在曲面上配备不同的黎曼度量，然后判断何时存在同伦于恒同映射的保角变换

这等价于求度量曲面的Teichmuller共形等价的不变量。

图7. 亏格为二的封闭曲面上全纯一次微分群的基底。

黎曼参模问题

1857年，黎曼提出了著名的Riemann参模问题，他猜测亏格为g的黎曼面，其模空间可以由3g-3个复数进行描述。这个问题的微分几何提法如下。假设给定两张亏格为g的带度量曲面，如果它们之间存在一个保角微分同胚，则它们彼此共形等价。所有的共形等价类构成的空间被称为模空间，

黎曼猜测模空间的维数为复3g-3。

虽然已经过了150多年，人类迄今为止依然没有完全理解模空间的结构。这个问题一个巨大突破发生在1940年代，由泰希米勒（Teichmuller）完成。Teichmuller在1939年开始创立Tiechmuller理论。很可惜的是，Teichmuller狂热地崇拜纳粹主义，于1943年死于战场，时年30岁。但是，他的思想过于超前，在他死后几十年后，人们才逐渐理解并接受了他的想法。虽然，数学家们并不赞同他的政治理念，但在数学史上，依然给了他崇高的地位。

Teichmuller考虑的是模空间的万有覆盖空间 – Teichmuller空间，其关系可以表述成

模空间等于Teichmuller空间关于曲面映射类群的商空间。首先我们用Poincare-Koebe单值化定理来考察Teichmuller空间（模空间）的维数。显然，所有亏格为零的度量曲面都可以保角地映射到单位球面上，所以所有的零亏格度量曲面都共形等价，换言之零亏格曲面的Teichmuller空间只有一个点，维数为零。

图8. 曲面单值化定理。

图9. 曲面的裤子分解。

有另外一种更为直观的方法证实黎曼模参数猜测-裤子分解。我们在曲面上找到3g-3条简单闭曲线，将曲面分割为2g-2条“裤子”。我们设曲面的度量为双曲度量，3g-3条分割线为测地线。所谓“裤子”就是亏格为0的曲面带有三条边界。图10显示了一条双曲裤子，三条边界皆为测地线。连接两条边界的最短线必然为测地线。沿着三条最短线将曲面切开，我们得到两个全等的双曲六边形，每个内角都为直角，每条边都为测地线。如果两条双曲裤子，对应的边界长度相同，则他们必然等距。所以如果3g-3条切割线的长度相同，则所有对应的裤子都等距。

图片[5]-清华笔记：计算共形几何讲义（10）纪念米尔扎哈尼——泰希米勒（Teichmuller）空间-卡核