圣杯问题：陈类的巧妙应用

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

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）在 中。同时 保证曲面 上不存在分支奇异点 。

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

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

正则同伦和通常意义下的同伦具有本质差别。假设光滑曲面 是一个拓扑球面， 和 是光滑封闭曲线（切向量处处有定义），那么 可以在曲面上形变成 ，换言之， 和 彼此同伦（homotopy）。如果我们要求 在形变过程中，不出现尖点，切向量处处有定义，那么我们说 和 彼此正则同伦，或者光滑同伦（regular homotopy）。图6显示，具有偶数个自相交点的圈和简单圈（无自相交点）正则同伦。

图6. 具有偶数个自相交点的圈和简单圈（无自相交点）正则同伦。

图7. 具有奇数个自相交点的圈和简单圈同伦，但是不正则同伦。

图7显示了具有奇数个自相交点的圈和简单圈同伦，但是并不正则同伦，因为在形变过程中，出现了尖点，在尖点处曲线的切向量无法定义。

那么，曲面 上所有光滑圈是如何被正则同伦分类的呢？这里，我们需要引入另一位菲尔茨奖得主斯梅尔（Smale）的工作。我们考察特殊的一个纤维丛：曲面的单位切丛 （Unit Tangent Bundle）：由曲面上所有的单位切向量构成的三维流形。我们在曲面上固定一个点 ，过此点所有的单位切向量构成一个圈，即一根纤维。局部上看，单位切丛具有直积的结构，整体上看，单位切丛具有具有扭曲，这种扭曲的精确描述就是陈省身示性类。

底流形上的一条光滑曲线 ，可以被“提升”为单位切丛上的一条曲线 ，点 被提升为点 ，这里 s 为弧长参数， 为曲线的单位切向量。斯梅尔证明了： 底流形上两个圈正则同伦，当且仅当它们的提升在单位切丛上同伦 。因此，问题归结为单位切丛的同伦群计算问题。