3.4 纤维丛与示性类

3.4 纤维丛与示性类：局部像乘积，整体却拧着

前面几节都在清点空间自身的洞，这一节换一批证据：空间上“驮着”的场。场在每个点都取一个值——向量场的值是个箭头，规范场的值是一次转动——这些值集合在一起，构成一个叠在底空间之上的新空间。单看每一小片，这个新空间都老老实实是“底片乘纤维”的直积；可把碎片拼回整体时，扭动就出现了。球面上的毛球定理是最好的开场白：S^2 上不存在处处非零且连续的切向量场，仿佛一颗光滑球永远梳不顺它的毛。每一点的切空间都无异于 \mathbb{R}^2，局部毫无异常，可全局偏不容许一个不消失的方向场。局部与整体之间的这道落差，正是纤维丛要管理的对象。

纤维丛的语言把“驮着的场”解剖成几个部件：作为底板的底空间 B，被驮在每点上方、形状固定的纤维 F，以及把它们缝在一起的全空间 E 与投影 \pi\colon E\to B。判定“扭没扭”不能只看单点，而要看邻域：要求每点 b 都有开邻域 U，使 \pi^{-1}(U) 同胚于直积 U\times F，且同胚尊重投影。这样的邻域铺满底空间，每个同胚就是一个局部平凡化。毛球定理的含义于是可以重述：S^2 的切丛在每个小片都同胚于 U\times\mathbb{R}^2，却不同胚于整块的 S^2\times\mathbb{R}^2。

一、缝合法则：局部平凡化与过渡函数

严格起见，一个纤维丛记作 \pi\colon E\to B，外加纤维 F 与底空间 B 的开覆盖 \{U_\alpha\}，使得每片上有同胚 \phi_\alpha\colon\pi^{-1}(U_\alpha)\to U_\alpha\times F 且满足交换图：

两块补丁 U_\alpha 与 U_\beta 交叠时，两个平凡化在交叠区要互相换算。换算规则由过渡函数

给出。g_{\alpha\beta} 记录着纤维在交叠处的“拧劲”，三片交叠时满足上链条件 g_{\alpha\beta}g_{\beta\gamma}=g_{\alpha\gamma}。若纤维 F 自带结构——例如是向量空间，或带有内积——我们只允许那些保持结构的自同胚，过渡函数便取值于相应的结构群 G：实 k 维向量丛取 \mathrm{GL}(k,\mathbb{R})，带内积时收紧为 \mathrm{O}(k)，定向丛则取行列式为正的连通分量。整个丛的扭转信息，就这样被压缩进一族取值于 G 的过渡函数。

图注：这张层级图自下而上说明纤维丛的构造依赖：局部乘积给出平凡化，交叠粘合给出过渡函数与结构群，进一步提炼为主丛，再经表示派生出相伴向量丛，最终以截面承载物理场。

二、标准化的包装：主丛与相伴丛

过渡函数既然取值于结构群 G，不如直接把 G 本身当作纤维，造一个处处“贴着 G”的丛。这就是主丛 P\to B：纤维同胚于 G，G 在 P 上自由右作用，轨道空间恰为 B，局部平凡化 P|_{U_\alpha}\cong U_\alpha\times G 与同一族过渡函数相容。主丛是纤维丛的“标准形”——任何以 G 为结构群、纤维为 F 的丛，都可以从某个主丛按表示造出来：取 G 在 F 上的作用 \rho，定义相伴丛 P\times_G F 为乘积 P\times F 模去关系 (p\cdot g,\,f)\sim(p,\,\rho(g^{-1})f)。切丛、法丛、旋量丛，无一例外都是“主丛＋表示”这条流水线的产品。丛的分类问题于是归约为主丛的同构类问题——示性类正是为回答它而生的。

从主丛的视角看场也很清楚：伴随向量丛 P\times_G V 的一个截面，等价于一个满足 \sigma(p\cdot g)=\rho(g^{-1})\sigma(p) 的 V 值函数 \sigma\colon P\to V。物理里的物质场、规范场的联络，都活在这一框架里。联络 \mathcal{A} 是主丛上把“竖直方向”与“水平方向”分开的分布，它定义了纤维之间的平行移动；绕一条闭合回路走一圈回到原处，水平抬升的终点未必重合——这段“没合上”的差距，就是曲率，也是下面示性类的微分几何原料。

三、纤维化与同伦正合列

纤维丛与同伦论有一条极好用的接口。满足同伦提升性质的满射 p\colon E\to B 叫纤维化；纤维丛都是纤维化。对纤维化 F\hookrightarrow E\to B（取好基点），同伦群连成一条长正合列：

这条序列让高维同伦群的计算有了抓手。最著名的例子是霍普夫纤维化 S^1\to S^3\to S^2：三个球面分别是纤维、全空间与底空间。代入正合列，S^3 单连通且 \pi_2(S^1)=0，立刻得到 n\ge3 时 \pi_n(S^3)\cong\pi_n(S^2)，于是 \pi_3(S^2)\cong\pi_3(S^3)\cong\mathbb{Z}——S^2 的三维缠绕自此有了严格证明。覆盖空间 p\colon\widetilde X\to X 可视为纤维为离散空间的纤维化，其高阶同伦群全部消失，正合列退化出一串同构 \pi_n(\widetilde X)\cong\pi_n(X)\ (n\ge2)，这正解释了上一节用万有覆盖计算基本群为什么管用，也说明高阶同伦群对“铺层”不敏感。

四、向量丛：切丛、截面与联络

在所有纤维丛里，向量丛结构最丰富、出场率最高。秩 k 的实向量丛 E\to B 以 \mathbb{R}^k 为纤维、\mathrm{GL}(k,\mathbb{R})（或其紧子群）为结构群，各纤维都是向量空间且粘合保持线性结构。截面 s\colon B\to E 在每个底点挑一个向量，整体就是一个向量场。全体截面的集合 \Gamma(E) 自然成为环 C^\infty(B) 上的模；丛上的代数运算——Whitney 和 E\oplus F、对偶 E^*、张量积、外积——逐一对应到截面模的运算。

流形 M 的切丛 TM 是这些概念的原型：纤维是切空间，秩等于维数。切丛的截面就是向量场，而它是否容许处处非零的截面，直接受制于拓扑。对闭曲面，欧拉示性数说了算：S^2 满足 \chi=2\neq0，不存在处处非零切向量场，毛球定理即此特例；环面 \chi=0，可以梳出两个处处线性无关的向量场，切丛平凡。更一般地，闭流形上带孤立零点的向量场的指标和等于 \chi(M)（Poincaré–Hopf 定理），把一个分析事实讲成了拓扑事实。

向量丛还提供了从拓扑通向微分的台阶。联络 \nabla\colon\Gamma(E)\to\Gamma(T^*M\otimes E) 是满足莱布尼茨律的算子，它给出向量沿道路的平行移动；平行移动绕闭路一圈的对不上程度由曲率 F_\nabla\in\Gamma(\wedge^2T^*M\otimes\operatorname{End}E) 度量。曲率是联络依赖的量，但下一节将看到，从它拼出的某些上同调类却与联络的选择无关——这就是陈–韦伊构造，也是示性类与微分几何交汇的隘口。

五、障碍的指纹：Stiefel–Whitney、Chern 与 Pontryagin 类

示性类是为“这个丛为什么不能平凡”签发的证词。它不刻画丛的每个细节，只记录阻碍平凡化的最小代数障碍，并满足三条朴素公理：自然性——沿拉回 f^* 与拉回相容；分裂性——对 Whitney 和 E\oplus F，总类按杯积相乘 c(E\oplus F)=c(E)c(F)；归一化——平凡丛的示性类全为 1。系数环视丛的类型而定。

实向量丛对应 Stiefel–Whitney 类 w_i(E)\in H^i(B;\mathbb{Z}_2)，总类记 w(E)=1+w_1+w_2+\cdots。第一类 w_1(E) 判定可定向性：w_1=0 当且仅当纤维能一致地定向。第二类 w_2(E) 是可定向丛上自旋结构的障碍：w_2=0 正是存在 Spin 结构（从而能装旋量场）的判据。实射影平面 \mathbb{RP}^2 的切丛 w_1\neq0、w_2\neq0，一句话交代了它既不可定向、也无自旋结构。

复向量丛对应 Chern 类 c_i(E)\in H^{2i}(B;\mathbb{Z})，编号按实维数翻倍，总类 c(E)=1+c_1+c_2+\cdots。Chern 类的分辨率是整数级的：对秩一的复线丛，c_1 完全决定同构类，线丛的 Picard 群与 H^2(B;\mathbb{Z}) 同构；Dirac 的磁单极荷量子化、量子霍尔效应的陈数，本质都是 c_1 在某个闭曲面上的积分。复向量丛被忘掉复结构、当作实丛看待时，奇次 Stiefel–Whitney 类消失、偶次类与 Chern 类模 2 相符：w_{2i}(E_{\mathbb{R}})\equiv c_i(E)\pmod 2。

实丛还有一种整系数示性类：Pontryagin 类 p_i(E)=(-1)^i c_{2i}(E\otimes_{\mathbb{R}}\mathbb{C})\in H^{4i}(B;\mathbb{Z})，其度数总是 4 的倍数。它们探测的是比可定向性更深的整体约束，典型舞台是微分拓扑的签名定理：闭可定向 4k 维流形的相交形式签名，可由其切丛的 Pontryagin 数的有理线性组合表出。

图注：这张图对照两类示性类的分工：实丛的 Stiefel–Whitney 类回答“能否定向、能否自旋”这类存在性问题，复丛的 Chern 类提供“磁通、瞬子数”这类量子化整数，二者经复化与模 2 约化互相咬合。

六、总清单：分类空间与万有示性类

为什么示性类一定是同伦不变量、为什么总类公式处处成立？分类空间给出统摄性的答案。对结构群 G，存在万有主丛 EG\to BG：EG 可缩、G 在其上自由作用，商空间 BG 叫 G 的分类空间。分类空间的意义在于，任意空间 B 上的主 G-丛同构类与连续映射 f\colon B\to BG 的同伦类一一对应，EG\to BG 沿 f 拉回即得原丛。于是主丛的分类问题被彻底翻译成映射到 BG 的问题，而 BG 的上同调环扮演“示性类总库”：

其中 |w_i|=i，|c_i|=2i。任意实丛的 Stiefel–Whitney 类、复丛的 Chern 类，都只是相应分类映射把总库里某个万有类拉回来而已。示性类从此不再是逐丛手算的对象，而是 BG 上同调环的取值；一切自然性、分裂性、归一化的来历，都浓缩在“拉回保环同态”这一条性质里。正因如此，物理学家常把示性类当作“拓扑量子数”来用：量子霍尔效应的霍尔电导 \sigma_{xy}=(e^2/h)\,\nu 中的整数 \nu 是第一 Chern 类在布里渊区环面上的积分，SU(2) 瞬子的拓扑荷则是 S^4 上主丛的 c_2——谱不变量的代数本体，正是本节锻造的这几类障碍。

七、收卷：扭曲的结构与被保存的答案

从毛球定理到分类空间，这一节走过了一条完整的弧线：局部平凡化承认“处处看都正常”，过渡函数记录“接缝处怎么拧”，主丛把拧劲标准化，示性类则把拧劲翻译成上同调环里的障碍类。对不变量侦探所而言，纤维丛理论的价值不在于消灭扭曲——扭曲是空间的本性，无法也不应消除——而在于给出一种语言，让“拧了多少、在哪个维度上拧”成为可计算的证词。示性类说的从来不是“这个空间是什么”，而是“这个空间拒绝成为什么”：w_1\neq0 拒绝定向，w_2\neq0 拒绝自旋，c_1 的非零整数拒绝平凡相位。这些“拒绝”叠加起来，恰恰划出了可能性的边界。第三章的全部装备——同伦、同调、上同调、示性类——到此会师：它们分别从缠绕、空腔、相交与障碍四个角度，逼问同一个问题——形变之下，什么必然留存？