清华笔记：计算共形几何讲义（7）矢量场设计

1年前浏览799

顾险峰纽约州立大学石溪分校

计算机与应用数学系终身教授

漫长的课程至此，我们终于可以应用所学的理论工具来分析解决一些实际问题了。我们学习了曲面的代数拓扑和微分拓扑，de Rham上同调的霍奇理论，作为应用实例，我们讨论如何构造曲面上光滑矢量场的问题，这一问题对于设计卡通动物的毛发具有根本的重要性；同时，这一个例子可以使我们对所学的各种概念融汇贯通。这次课程的视频可以在【1】的后半部找到，具体算法可以在【2】中找到。

根据矢量场的Hopf指标定理，矢量场必有奇异点。假设用户指定了奇异点的位置和指标，我们的算法应该可以自动生成光滑矢量场，具有指定的奇异点。我们的算法用到了Ricci flow，平行移动等概念工具，但最为重要的是holonomy，和用调和微分形式对holonomy的补偿。

平行移动

平行移动是黎曼几何中最为基本的概念。如图1所示，令 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 是平面上的一条直线段。我们在起点处选择一个平面矢量，然后将的起点沿着直线移动，同时保持 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 和直线切向量的夹角不变，这样我们得到沿着的平行移动，在直线的终点处得到平行移动的结果 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 。假设是折线段，我们可以逐段平行移动。如果是曲线，我们可以用折线来逼近曲线。我们取曲线上的采样点

This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. ,

然后用直线段连接相邻的两个采样点，这样得到折线。我们将 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 沿着这条折线平行移动得到。令趋向无穷，则折线收敛到原来曲线， This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 会趋向到一个极限向量。我们说沿着平行移动的结果是。

图1. 平面上的平行移动。

下面我们将平行移动的概念从平面推广到曲面情形。曲面上平行移动的定义方式和平面情形相类似，唯一的区别是将直线换成测地线。更为详尽地，如果曲线 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 是定义在曲面上的一条测地线，我们在起点处选择一个切矢量，然后将 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 的起点沿着测地线移动，同时保持和测地线切向量的夹角不变，这样我们得到 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 沿着的平行移动，在测地线的终点处得到平行移动的结果。如果是定义在曲面上的任意一条分片光滑曲线，则我们可以在 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 上采样，并用分片测地线来逼近，同时在分片测地线上逐段平行移动。当采样密度趋于无穷的时候，分片测地线收敛到原来曲线，逐段平行移动的结果趋于一个极限切向量 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. ，则我们将定义为沿着的平行移动结果。

高斯-博内定理

平面上的平行移动只和起点和终点有关，和平行移动所经历的路径无关。换言之，如果 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 是平面上的一条封闭曲线，沿着平行移动矢量得到，则和重合。

图2. 高斯-博内定理。

如果 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 是曲面上的一条分片光滑封闭曲线，如果是曲面某个区域的边界，那么沿着 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 平行移动矢量得到，则和不一定重合，其相差的角度等于曲面的高斯曲率在区域 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 上的积分。这可以由高斯-博内（Gauss-Bonnet）定理来精确描述：

这里是内点处的高斯曲率，是边界点处的测地曲率， This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 是曲线在折角处的外角。如果曲面的高斯曲率非零，则平行移动的结果依赖于路径的选择。由此，我们可以提炼出和乐群的概念。

和乐群

给定带黎曼度量的光滑曲面 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. ，和其上的基点，考察所有经过基点的封闭曲线，我们沿着平行移动切向量 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 得到，则和之间相差一个旋转，所有这种旋转构成的群被称为是曲面的和乐群（Holonomy Group）。陈省身先生非常重视和乐群的研究，因为和乐群反映了黎曼流形的几何特性。如果曲面的黎曼度量为平直度量，高斯曲率处处为0，那么如果 This is the rendered form of the equation. You can not edit this directly. Right click will give you the option to save the image, and in most browsers you can drag the image onto your desktop or another program. 同伦平庸（即同伦于点），那么对应的holonomy平庸。由此推出，如果两个封闭曲线同伦，则它们的holonomy相同。这意味着平直度量可以简化和乐群，我们利用这一点来构造曲面上的光滑切矢量场。

图3. 曲面基本群生成元。

给定一个亏格为的曲面，用户选择个点，作为切矢量场的零点，并且指定这些零点的指标，满足庞加莱-霍普夫公式：零点的总指标等于曲面的欧拉示性数，

。

我们在曲面的每个环柄上选择两个封闭曲线，围绕每个零点选择一条封闭曲线。带孔曲面定义为：

，

其基本群为

。

我们可以用Ricci 流的方法构造一个平直度量，使得曲面的高斯曲率集中在零点上，点处的曲率等于乘以其指标，其他各点的高斯曲率处处为0。后面我们会详细介绍，离散曲面Ricci流方法可以计算出这样平直度量。根据Gauss-Bonnet定理，我们可以看出，带孔曲面上，如果两条封闭曲线同伦，则它们对应的holonomy相同。因此，holonomy是定义在带孔曲面的同伦群上的。