4.2 微分拓扑核心

4.2 微分拓扑核心

第四章：几何与微分拓扑：流形与形状分析

4.2 微分拓扑核心：把平滑地变过去立为新的比较尺度

拓扑学里最宽容的比较是连续变形：两端只要能用橡皮泥般的同胚连起来就算等价。可宽容过头也有代价——信息太粗，许多对象被一视同仁地并成一类。于是侦探所把标准收紧一档：变形的每一步不但要连续，还要无穷可导、处处可逆。新的等价关系叫微分同胚，研究它的学科叫微分拓扑。尺度一变，取证手段就跟着换血：可微性把显微镜（切空间）和手术刀（横截性）递到我们手里，而配边理论甚至允许把演化过程本身当作证据。这一节要做的，就是把三件工具依次验明正身。

案卷一：显微镜下的局部线性

光滑映射在每一点附近都近似线性，这句老生常谈正是全部微分工具的原点。设 M 为光滑流形，过 p∈M 的光滑曲线按在 p 处相切分为等价类，等价类全体构成切空间 T_pM，维数与 M 相同。把各点的切空间不交并起来，再赋以自然的拓扑与光滑结构，便得到切丛 TM，它本身是维数翻倍的光滑流形。光滑映射 f:M→N 在 p 处的微分 df_p:T_pM→T_{f(p)}N 把曲线的等价类映到像曲线的等价类，本质上是切空间之间的线性映射，亦即 f 在 p 附近的线性化身。在这座舞台上，向量场可以被推到目标流形（push-forward），余切向量与微分形式可以被拉回（pull-back），张量场的运算全部随微分同胚自然传递；一个微分方程的解若存在，也会被忠实地搬运到同胚目标上去。光滑结构之所以不是装饰，正是因为它决定了这一切运算是否成立。

df_p 的秩给出第一组分类标签。若 df_p 处处满秩，映射是浸没，此时每个点的原像都是光滑子流形，维数等于两流形维数之差——常值函数的水平集理论，就是这条规则最朴素的用法。若 df_p 处处单射，映射是浸入；浸入再加单点原像、且映射为到像的同胚这两条约束，才是嵌入。数字 8 的形状能说明三者差别：把圆周映成 8 字的那条光滑映射是浸入而非嵌入，因为在交点处坐着两个不同的原像；克莱因瓶只能以浸入的方式沉入 R^3，想得到真正的嵌入必须上浮到四维。Whitney 嵌入定理给出一个漂亮的全局答案：任何紧致光滑 n 维流形都能光滑嵌入 R^{2n}，也能以浸入方式放进 R^{2n-1}。嵌入之后，流形在环境空间里还总能保有细薄的一圈领子，管状邻域定理保证它同胚于自己的法丛——这条性质日后是讨论扰动与横截性的重要道具。

案卷二：光滑结构的户籍档案

拓扑流形只保证局部像欧氏，像得多圆滑则要另立章程。选定一本坐标卡图册后，若任意两张卡在重叠区的转移映射都 C^∞，图册就是光滑的；把彼此相容的光滑图册合并到极限，得到极大光滑图册，才构成一个光滑结构。说得再直白些，光滑结构是一个等价类：它不偏爱任何一套具体坐标，只划定哪些坐标变换是合法的。

麻烦在于，同胚意义下的同一空间可以拥有多个互不等价的光滑结构。最早让数学界哗然的是米尔诺的七维怪球——S^7 上存在 28 种互不微分同胚的光滑结构，拓扑上大家却都是同一个球面。四维的怪异性更上一层：唐纳森的定理堵死了把某些 R^4 光滑化的路，陶布斯又进一步表明，这样的光滑结构竟不可数无穷多。对物理学家而言这不是茶余饭后的猎奇：若四维时空本身允许多重光滑现实，广义相对论所默认的那份光滑性假设，背后或许就藏着尚未被探测的自由度。与此同时，对四维闭流形的研究表明，有些流形在拓扑上四平八稳，却根本不容许任何光滑结构。维数 4 于是成为拓扑与微分之间裂痕最深的一道峡谷。顺带一提，三维的庞加莱猜想在微分版本下会给出干净的回答——任何单连通紧致光滑三维流形都微分同胚于标准 S^3。图 4-1 勾勒出从拓扑流形到微分同胚分类的推进链条。

案卷三：一般位置不是运气而是制度

许多构造要想良定义，都要求对象处在一般位置，即各种退化情形一律缺席。把这句口号变成可操作制度的是两条定理，它们一柔一刚。刚的是 Sard 定理：设 f:X→Y 光滑（正则性要求 k≥max{1, dimX−dimY+1}），则临界值的集合在 Y 中测度为零，几乎每个 y∈Y 都是正则值——f 在它的每个原像点处微分都满射。柔的是横截性定理，通常归功于 Thom：若 Z⊂Y 是闭嵌入子流形，则所有与 Z 横截的光滑映射 f:X→Y，在赋予弱 Whitney 拓扑的 C^∞ 映射空间里构成开稠密子集。横截的定义直观而严格：对每个 x∈f^{-1}(Z)，要求

即像空间与 Z 的切空间合起来张满环境空间。直线与圆若是横截，要么不碰面，要么拦腰穿过交出两个交点；一旦相切，df_x 的像就滑进 TZ，等号告吹。横截既是开条件（小扰动下保持），又是稠密条件（处处可逼近），正因如此，轻轻一推就脱离退化不是运气，而是制度。

这两条定理联手推出预像定理：若 f⋔Z，则 f^{-1}(Z) 是 X 的闭嵌入子流形，且

取 Z 为单点 {y}，横截条件就退化为 y 是正则值，预像定理回归正则水平集定理。微分拓扑里几乎所有不变量都从这里孵化。定向流形 M 上的光滑映射 f:M→S^k，其任一正则值 y 的原像是 (n−k) 维闭子流形；当 k=n 时原像是有限个带符号的点，把符号相加得到的就是 f 的度（degree），一个同伦不变的整数。度为 ±1 的映射无法同伦到常值映射，Brouwer 不动点定理的证明思路便由此而来。再看向量场：把向量场 v 看成 M 到切丛的截面，若它横截于零截面，零点自动孤立；各零点带上指标求和，结果恒为欧拉示性数 χ(M)——这正是庞加莱–霍普夫定理的微分表述，也是球面上的毛发不可能梳平这类直觉的精确形态。

案卷四：把演化史也变成证据

同胚与微分同胚回答此刻能否互变，配边理论则追问一个更宽的问题：两个闭流形之间，能不能存在一座把它们当作上下边界的桥？形式地说，n 维闭流形 M 与 N 配边，指存在 (n+1) 维紧致流形 W，使 ∂W 恰为 M⊔(−N)，其中 −N 表示 N 取反定向；W 像一段时空，M 是入口，N 是出口，侧壁则记录了形变全程没有撕裂也没有黏连。配边是等价关系：不交并给出加法，反定向给出逆元，于是 n 维闭流形的配边类构成群 Ω_n，按维数直和成一个分次环。它比同胚更粗（因为允许演化过程介入），却比同伦更贴近微分本质。

配边理论最难能可贵之处，在于把能否配边翻译成可以计算的数。对闭流形 M，取切丛的 Stiefel–Whitney 类 w_i∈H^i(M;Z_2) 的若干次杯积，与基本类配对，得到取值于 Z_2 的 Stiefel–Whitney 数；可定向流形再添上整值的 Pontryagin 数。Thom 的定理给出决定性的判据：两个闭流形配边，当且仅当它们的一切 Stiefel–Whitney 数相等；可定向情形还要再要求 Pontryagin 数也相等。整座配边群的结构也被算清：未定向配边环同构于 Z_2[x_2,x_4,x_5,x_6,…] 这类多项式环——凡不是 2^j−1 的维数各贡献一个生成元自由度，至于生成元具体由哪些特征流形代表，这里不再展开。原本抽象的能否同属一族，从此退化成有限多次特征数比对。图 4-2 把配边从定义到分类再到物理解读的路线画在一起。

配边思想的辐射半径远超纯数学。AdS/CFT 对偶里，共形场论被安置在反德西特时空的边界上，时空本身则扮演这段演化的配边；在 Atiyah 的公理化图景中，拓扑量子场论干脆把配边当作第一公民——每条配边 W 指派一个线性映射 Z(W):H(∂+W)→H(∂-W)，乘法规则对应配边的首尾相接。物理定律在这套语言里不再写在某个背景流形上，而是直接由流形之间的关系生成。

结案札记

回到开头的篮球与救生圈。代数拓扑告诉我们二者不同胚：环面的基本群是 Z^2，球面则平凡，两者无论如何连续变形都碰不到一起。可若准许演化，即把问题从能否互变换成能否共为某物的边界，答案反转——环面与球面在二维配边群中都代表零元素，各自都能作为某个三维流形的边界，二者因此配边。同一个问题，尺度放宽一格，结论就翻案。这提醒我们：比较形状之前，先要讲清允许哪种变形；而微分拓扑的贡献，正是把允许哪种变形本身变成了可以精密讨论的数学对象。光滑结构、横截性、配边——三者分别回答什么可微、什么是好位置、什么算同一段历史，合起来就是一份完整的取证手册。