圣杯问题 II 陈类的巧妙应用（上）

原文发表在【老顾谈几何】

作者授权【WELSIM】转载

顾险峰（纽约州立大学石溪分校计算机系终身教授）

波士顿三一教堂，姜健摄影。

2016年10月4日，诺贝尔评选委员会宣布，将2016年诺贝尔物理学奖授予华盛顿大学的Davdi J. Thouless, 普利斯顿大学的 F. Duncan M. Haldane与布朗大学的J. Micheal Kosterlitz， “因其拓扑相变和拓扑物态的理论发现”。Thouless及其合作者Kosterlitz还发现了固体中能带上的“陈省身示性类”，他们历史上首次把陈类和整数量子霍尔效应直接联系了起来，开创了凝聚态物理体系中的拓扑效应先河，为人类打开了一个未知的世界。

作为陈省身大师的直系后代，老顾和同门师兄师弟们无不激越振奋，再度感喟陈大师的旷世杰作，横亘古今，揭示了自然最为深刻而根本的真理。丘先生曾多次教诲众弟 子，“奥妙的自然现象后面必然有优美的数学结构”，“美轮美奂的数学结构必定不是人为的，必然有自然的对应”。当初，卡拉比-丘流形的存在性被丘先生证明之后，数十年间一直被视为是纯粹智力的产物，但是现在早已成为超弦理论的基石。

令老顾觉得妙不可言的是：陈省身示性类在“神圣网格”问题中，也起到了根本的作用。因此，在得知拓扑相变获得诺贝尔奖之后，老顾迫不及待地提笔写下“圣杯问题”系列的第二篇文章 - 陈类的巧妙应用。

假设是三维空间中的一个实体（Solid），其边界是一张光滑曲面（Regular Surface），更进一步，我们假设是亏格为0的封闭曲面，换言之，拓扑球面。假设内部存在一个六面体网格（hex-mesh），那么必然在边界曲面上诱导了四边形剖分（quad-mesh）。我们更为关注其逆问题：给定边界曲面上的一个四边形网格，我们是否可以将拓展成内部的一个六面体网格？

图1. 给定边界曲面的四边形网格。

图2. 判定是否可以拓展成内部的六面体网格。

如图1所示，边界曲面为一拓扑曲面，具有复杂的几何；其上的四边形网格具有复杂的组合结构。那么，我们如何判定是否存在如图2所示的内部的六面体网格，并且在边界上诱导？

经过大量实践经验的积累，工程师们发现，如果网格有偶数个四边形面，那么四边形网格总可以拓展成为六面体网格。于是，人们提出了如下的猜测：

边界曲面上的四边形网格可以拓展成内部的一个六面体网格的充分必要条件是：具有偶数个面。

这个猜测的陈述简单明快，但是其严格证明却异常繁难。必要性的证明非常直接：每个六面体有6个面，若两个六面体相交，则其公共面被计算两次，边界曲面上的四边形面只被计算一次，因此具有偶数个面。

猜测的充分性证明成为关键。Mac Casale为此给菲尔茨奖得主瑟斯顿（Bill Thurston）发去了电子邮件进行询问。瑟斯顿在1993年10月25日给出了公开解答【1】，瑟斯顿的解答简短抽象，但却意蕴深远。瑟斯顿从未正式发表他的想法，但是其思想精髓指导了非结构六面体网格生成领域的发展。在1996年，Scott Mitchell发表了类似思想，并将这一方法推广到复杂拓扑曲面【2】。目前，人们将这一理论统称为Mitchell-Thurston理论。

瑟斯顿首先只考虑了拓扑六面体剖分，即每个胞腔是拓扑六面体，然后再考虑几何嵌入问题。我们依循他的思路来考察，核心的想法是对偶。

图3. 四边形网格的对偶。

我们首先介绍边界曲面上的四边形网格的对偶。如图3所示，我们在每个四边形中连接对边中点，生成两条曲线段，这些曲线段连接成全局封闭的圈，这些圈彼此相交，构成对偶的曲线网格，对偶曲线网格所有顶点的度都是4。

图4. 六面体网格的对偶。

同理，我们介绍实体的六面体网格的对偶。如图4所示，我们在每个六面体中构造三张曲面片，彼此横截相交，共同交于一点。这些曲面片连接，得到全局曲面，这些曲面横截相交，构成对偶的曲面网格。将体进行胞腔分解，的每个顶点都由三张曲面彼此横截相交得来。

六面体网格的对偶和边界曲面的交集就是四边形网格的对偶。瑟斯顿的核心想法是从出发来构建。问题的关键在于，我们能否从出发来构建，这种构建过程中可能遇到的障碍究竟是什么？

答案在于，光滑曲面的稳定相交情形的拓扑分类。

在微分拓扑中，惠特尼（Whitney）对三维空间中光滑曲面的稳定相交情形进行了分类【3】。

图5. 曲面稳定相交的分类， 边界双重点（boundary double point），内部双重点（interior double point），三重点（triple point），分支点（branch point）。

给定三维空间中的一族浸入曲面，曲面之间的交点被称为奇异点。经过微小扰动，曲面之间彼此不相切，所有奇异点都是稳定奇异点。图5给出了稳定奇异点的分类。我们看到，在六面体对偶网格中，前面三种情况都有可能发生，但是最后一种分支奇异点不会发生。因此，在从出发来构建的过程中，关键是：确保分支奇异点不会出现！

瑟斯顿把拓展成的思路分成两个主要步骤：

第一步，由一些彼此分离的圈构成，如果两个圈和同属于，并且能够光滑地变形（deform）成，就是说，存在一族光滑封闭曲线，从渐变成，我们可以构造一个曲面，使得

1. 曲面的边缘为和，,

2. 曲面和平面的交线为

在这里，可以退化成点，同时曲面容许有自相交，换言之，曲面可以”浸入”（immerse）在中，而非一定要“嵌入”（embed）在中。同时保证曲面上不存在分支奇异点。

第二步，我们再在中添加一些拓扑球面，使所有曲面的交点都不包含分支点。所有这些曲面构成的胞腔分解，内部顶点都是三重点，由此这些曲面构成了六面体网格的对偶。

在第一步中，我们需要判定边界曲面上两个光滑封闭曲线是否能够光滑地彼此渐变过去，这就是正则同伦的概念。