微分几何（十二）：纤维丛、特征类与物理学

高中物理课讲电磁学时，老师写过一个让人记忆深刻的公式：$\vec{E} = -\nabla\phi - \partial_t\vec{A}$ ，$\vec{B} = \nabla\times\vec{A}$ 。电磁场由一个标量势 $\phi$ 和一个向量势 $\vec{A}$ 决定。但同一个老师当时说了一句奇怪的话："$\phi$ 和 $\vec{A}$ 不是唯一的——你可以做规范变换 $\phi \to \phi - \partial_t\lambda$ , $\vec{A} \to \vec{A} + \nabla\lambda$ ，电磁场不变。这种自由叫’规范不变性’。"

我当时记住了这个事实，但没真正想过它意味着什么。规范变换看起来只是个无聊的"数学冗余"——为什么物理学家那么在意它？

后来才知道，这背后是 20 世纪物理学最深刻的发现之一。规范不变性不是冗余，而是一个对称性的局部化。具体说：电磁势 $A$ 不是普通的"向量场"，它是某个纤维丛上的联络；规范变换不是无聊的数学操作，而是丛的纤维内部的群作用；电磁场强 $F = dA$ 是这个联络的曲率。换句话说，电磁学整套语言——包括 Maxwell 方程组——都可以重新写成"$U(1)$ 主丛上的联络"的几何形式，而不需要写一行偏微分方程。

更让人震惊的是：把 $U(1)$ 换成 $SU(2)$ ，几乎一字不改地复制这套构造，得到的就是弱核力。换成 $SU(3)$ ，得到强核力。换成更复杂的"主丛 + 联络"，得到引力（广义相对论）。20 世纪后半叶的整个理论物理建立在这一个几何模式上。

这一章把上面那段话变成可以计算的东西。会引入：

• 纤维丛：在每个点上都安一个"小空间"（叫纤维），整个流形被纤维盖住。切丛 $TM$ 是最熟悉的例子——每个点上的切空间就是它的纤维。
• 主丛：一种特殊的纤维丛，纤维是一个李群 $G$ 。$U(1)$ 主丛对应电磁，$SU(2)$ 对应弱核力，$SU(3)$ 对应强核力。
• 联络：在丛上"求导"的规则。前几章在 $TM$ 上讲 Levi-Civita 联络是这件事的特例，主丛上的联络是它的推广。
• 曲率：联络的"二阶不交换性"。在 $TM$ 上是 Riemann 张量；在主丛上是规范场强 $F$ 。
• 特征类：从曲率构造的拓扑不变量（Chern 类、Pontryagin 类、Euler 类）——一个把分析（曲率积分）和拓扑（整数）连起来的桥，类似 Gauss-Bonnet，但更广。
• Yang-Mills 理论：用规范场强 $F$ 写下作用量 $\int|F|^2$ ，最小化得到运动方程，就是粒子物理的基本框架。

历史插曲：Yang 和 Mills 在 1954 年完全为了粒子物理写下他们的非阿贝尔规范理论，他们完全不知道 Élie Cartan 在 1920 年代已经发展过同样的方程作为非阿贝尔联络的曲率。两个学界——数学的微分几何家和物理的场论家——在做同一件事，但语言完全不通，直到 1970 年代 Wu Yang、Jim Simons 等人开始翻译。到 1980 年代，“主丛 + 联络 = 规范势"这本字典写完了。今天没人能不会这本字典做严肃的数学物理。

整篇文章会用相对紧凑的方式走一遍这套字典——每个主题都值得一本书，但目标只是让你看懂"为什么物理学家的拉格朗日和数学家的联络是同一个东西”。

纤维丛#

纤维丛是一个光滑满射 $\pi: E \to B$ 满足局部平凡性条件：每一点 $b \in B$ 都有一个邻域 $U$ 使得 $\pi^{-1}(U) \cong U \times F$ 作为光滑流形，投影对应于第一个因子。这里 $F$ 是典型纤维，$B$ 是底空间，$E$ 是全空间是指整个拓扑空间。

局部上，纤维丛只是一个积。全局上，它可以扭曲：当你在 $B$ 中移动时，纤维可能会以非平凡的过渡函数重新粘合，产生拓扑上有趣的全空间。

举个例子。

1. 平凡丛是指$E = B \times F$ ，这是最简单的例子。全局上是一个积。
2. 莫比乌斯带指的是$\pi: M \to S^1$ 且纤维为 $\mathbb{R}$ （或区间 $(-1, 1)$ ）。当你绕底空间一圈时，全空间会扭转一次。拓扑上不同于 $S^1 \times \mathbb{R}$ 。
3. 切丛 $TM \to M$ 的每点的纤维为 $\mathbb{R}^n$ 。对于 $M = S^2$ ，这个丛是非平凡的——它不是 $S^2 \times \mathbb{R}^2$ （毛球定理）。
4. Hopf 丛 $S^3 \to S^2$ 的纤维为 $S^1$ 。全空间是一个 3-球，通过圆纤维化到 2-球。这是非平凡 $S^1$ -丛的原型。
5. 标架丛 $\mathrm{Fr}(M) \to M$ 的纤维是 $T_p M$ 的有序基集，作为流形是 $\mathrm{GL}(n)$ 。

向量丛是一种纤维丛，其纤维是向量空间（通常是 $\mathbb{R}^k$ 或 $\mathbb{C}^k$ ），且过渡函数是线性同构（$\mathrm{GL}(k)$ 的元素）。切丛是一个纤维为 $\mathbb{R}^n$ 的向量丛。向量丛的截面是推广到任意纤维的向量场。

截面是指$\pi: E \to B$ 的一个光滑映射 $s: B \to E$ 使得 $\pi \circ s = \mathrm{id}_B$ 。因此 $s$ 将每个底点分配给一个纤维点。$TM$ 的截面是向量场。$T^*M$ 的截面是 1-形式。平凡丛 $B \times F$ 的截面是光滑映射 $B \to F$ 。非平凡丛可能不存在全局截面——丛的扭曲可以通过截面的存在与否检测出来。

为什么这很重要？纤维丛是“值域不是标量或切向量的场”的自然框架。时空上的复标量场是复线丛的截面。旋量场是旋量丛的截面。联络（规范势）是“李代数值 1-形式”丛的截面。没有丛，你就没有描述具有拓扑性质的场的语言；有了丛，语言变得通用。

过渡函数在局部平凡性中意味着可以从 $B$ 的覆盖 $\{U_\alpha\}$ 以及过渡函数 $g_{\alpha\beta}: U_\alpha \cap U_\beta \to \mathrm{Diff}(F)$ （或根据上下文更小的群）重建 $E$ 。这些函数在三重交叠处满足 $g_{\alpha\beta}g_{\beta\gamma} = g_{\alpha\gamma}$ （上链条件）。对于向量丛，过渡函数落在 $\mathrm{GL}(k)$ 中；对于主 $G$ -丛，在 $G$ 中。两个丛同构当且仅当它们的过渡函数相差一个上边缘。因此，丛的分类是一个 Čech 上同调计算。

数值示例：莫比乌斯带 vs 平凡 $S^1 \times \mathbb{R}$ 。用两个弧 $U_1, U_2$ 覆盖 $S^1$ ，它们在两个区间上重叠。在平凡丛上，过渡函数在两个重叠处都是 1。在莫比乌斯带上，一个重叠处是 $+1$ ，另一个是 $-1$ （符号翻转）。后者在 $H^1(S^1; \mathbb{Z}/2)$ 中是非平凡的，从而在拓扑上区分了莫比乌斯带和平凡丛。

主丛#

主丛 vs 向量丛的区别值得想清楚。向量丛的纤维是向量空间，截面就是每点选一个向量（典型例子：向量场作为 $TM$ 的截面）。主丛的纤维是李群 $G$ 自身，截面是每点选一个群元素——但整体的截面通常不存在，主丛不可平凡化恰好对应找不到全局截面。这就是为什么主丛常常通过过渡函数和局部截面来描述：不能一次性给一个全局选择，只能在重叠的开集上选不同的局部规范，并由过渡函数把它们粘起来。

主 $G$ -丛 $\pi: P \to B$ 是一种纤维丛，其纤维是一个李群 $G$ ，并配备了一个自由右作用 $P \times G \to P$ ，该作用保持纤维并在每个纤维上可递地作用。换句话说：每个纤维是 $G$ 的一个副本，群 $G$ 通过右乘法作用在纤维上。

举个例子。

• 标架丛 $\mathrm{Fr}(M)$ ：主 $\mathrm{GL}(n)$ -丛。纤维在 $p$ 处是 $T_pM$ 的有序基集，被 $\mathrm{GL}(n)$ 从右边作用。
• 正交标架丛 $\mathrm{Fr}^O(M)$ ：对于黎曼流形，这是一个主 $\mathrm{O}(n)$ -丛。纤维是正交标架。
• Hopf 丛 $S^3 \to S^2$ 是一个主 $S^1 = \mathrm{U}(1)$ -丛。右作用是 $S^3$ 上的相位旋转。
• 平凡丛 $B \times G$ 是平凡主 $G$ -丛。所有非平凡主丛都来自取值于 $G$ 的非平凡过渡函数。

相伴向量丛是指给定一个主 $G$ -丛 $P$ 和一个表示 $\rho: G \to \mathrm{GL}(V)$ ，相伴向量丛 $P \times_\rho V$ 是商 $(P \times V)/G$ ，其中 $G$ 作用为 $(p, v) \cdot g = (pg, \rho(g^{-1})v)$ 。这个相伴丛的截面等价于 $G$ -等变映射 $P \to V$ 。

• $\mathrm{Fr}^O(M) \times_{\mathrm{std}}\mathbb{R}^n = TM$ ：$\mathrm{O}(n)$ 在 $\mathbb{R}^n$ 上的标准表示恢复了切丛。
• $\mathrm{Fr}^{\mathrm{Spin}}(M) \times_{\mathrm{spin}} \Sigma$ ：自旋流形上的旋量丛（自旋群的一个表示）。
• 对于 $\mathrm{U}(1)$ -丛，复线丛通过 $\mathrm{U}(1)$ 在 $\mathbb{C}$ 上的标准表示作为相伴丛出现。

为什么需要主丛？所有向量丛都可以作为主丛的相伴丛出现，而主丛的观点更加灵活和便于计算。联络和曲率最自然地定义在主丛上，然后传递到相伴向量丛。结构群 $G$ 是丛的“对称群”，规范理论是对这些对称性的几何研究。

结构群的约化是指$M$ 上的黎曼度量等价于标架丛从 $\mathrm{GL}(n)$ 到 $\mathrm{O}(n)$ 的约化：正交标架丛是全标架丛的子丛。定向将 $athrm{O}(n)$ 约化为 $\mathrm{SO}(n)$ 。自旋结构将 $\mathrm{Spin}(n) \to \mathrm{SO}(n)$ （二重覆盖）。每次约化都增加了几何数据：度量、定向、自旋结构。约化的障碍是特征类——例如，一个流形允许自旋结构当且仅当它的第二 Stiefel-Whitney 类消失。

• $\mathrm{U}(1)$ ：电磁学。磁荷是丛的第一 Chern 数。
• $\mathrm{SU}(2)$ ：弱同位旋（通过 Higgs 机制破缺为 $\mathrm{U}(1)_{\mathrm{em}}$ ）。
• $\mathrm{SU}(3)$ ：强色荷。
• $\mathrm{Spin}(3,1) = \mathrm{SL}(2,\mathbb{C})$ ：物理学中的旋量丛，广义相对论中局部 Lorentz 变换的规范群。
• $E_8$ 和例外群：出现在杂化弦理论和大统一理论中。

主丛上的联络#

在主丛上讲联络比在向量丛上讲多一层抽象，但本质相同：联络是水平方向的选择——告诉你怎么把沿底空间走一步提升成在全空间走一步。曲率是水平向量场不可换序的程度——和 Riemann 张量的定义形式一模一样，只是发生在主丛上，取值在李代数 $\mathfrak{g}$ 里而不是在切丛里。物理上，规范势 $A$ 是水平方向选择的局部分量，规范场强 $F = dA + A\wedge A$ 是它的曲率。两个公式在数学和物理书里都长一样，所以这套字典从来没有过翻译错误。

主 $G$ -丛 $P \to B$ 上的联络是一个取值于李代数 $\mathfrak{g}$ 的 1-形式 $A$ ，满足：

1. 等变性是指$R_g^* A = \mathrm{Ad}(g^{-1}) A$ 对所有 $g \in G$ 成立，其中 $R_g$ 是右平移。
2. 垂直条件是指$A(\xi_X) = X$ 对于由 $X \in \mathfrak{g}$ 生成的基本向量场 $\xi_X$ 成立。

等价地，联络是一个水平子空间 $H_p \subset T_pP$ 的光滑分布，使得 $T_pP = H_p \oplus V_p$ （其中 $V_p = \ker d\pi_p$ 是垂直子空间），并且该分布是 $G$ -等变的。

水平提升是指给定 $B$ 中的一条曲线 $\gamma$ 和一个起点 $p \in P$ 在 $\gamma(0)$ 上方，存在唯一的水平提升 $\tilde\gamma$ 到 $P$ 使得 $\tilde\gamma(0) = p$ 且 $\dot{\tilde\gamma}(t) \in H_{\tilde\gamma(t)}$ 。提升的终点，投影回 $\gamma(1)$ 上的纤维，给出一个平行传输映射。这是包含 Levi-Civita 平行传输作为特殊情况的抽象设置（当 $G = \mathrm{O}(n)$ 且 $P = \mathrm{Fr}^O(M)$ 时）。

局部联络 1-形式是指选择局部截面 $s: U \to P$ 将 $A$ 拉回到 $U$ 上的一个 $\mathfrak{g}$ -值 1-形式 $A_s = s^*A$ 。不同的截面给出不同的局部 1-形式，通过规范变换 $A_{s'} = g^{-1} A_s g + g^{-1}dg$ 相关，其中 $g$ 是过渡函数。因此局部 1-形式不是规范不变的，但其基本几何内容是。

物理字典中，在规范理论中，局部联络 1-形式 $A_s$ 正好是物理中的规范势（在场论中记作 $A_\mu$ ）。不同的规范（截面）给出不同的 $A_\mu$ ，通过规范变换相关。$U(1)$ 版本是 Maxwell 理论中的电磁矢量势 $A_\mu$ 。非阿贝尔版本（对于 $G = \mathrm{SU}(2), \mathrm{SU}(3)$ ）是弱相互作用和强相互作用的规范势。

Levi-Civita 作为特殊情况是指第 10-11 篇文章中的 Levi-Civita 联络是正交标架丛 $\mathrm{Fr}^O(M) \to M$ 上的联络，结构群为 $\mathrm{O}(n)$ 。Christoffel 符号和局部联络 1-形式 $A_s$ 以不同格式编码相同信息。$TM$ 上通过 Levi-Civita 的平行传输等于 $\mathrm{Fr}^O(M)$ 中的水平提升后跟随投影。因此我们在第 10-11 篇文章中使用 Riemann 联络所做的所有工作无缝地融入主丛框架——只是特化到特定的结构群。

物理示例：电磁矢量势是指电磁学中的矢量势 $A_\mu$ 是一个 $\mathrm{U}(1)$ -联络。其规范变换是 $A_\mu \to A_\mu + \partial_\mu \chi$ ，其中 $\chi$ 是一个标量函数（上述公式的阿贝尔特殊情况）。这正是物理学家称为“规范不变性”的自由度，场强张量 $F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu$ 是不变的。数学家从一开始就将其视为“$\mathrm{U}(1)$ -联络的曲率 2-形式在其联络的自同构群下是规范不变的”。

曲率 2-形式#

在主丛上（其中 $A \wedge A$ 是楔积结合李括号在 $\mathfrak{g}$ 上的结果）。对于阿贝尔群 $G = \mathrm{U}(1)$ ，括号是平凡的，$F = dA$ ，即规范势的普通外导数。对于非阿贝尔群 $G$ ，第二项是必不可少的，并产生了规范场的自相互作用。

Bianchi 恒等式是指$dF + [A, F] = 0$ 。这是规范理论中 Riemann 张量的第二个 Bianchi 恒等式的类似物，并且是从 $F$ 的定义自动得出的——它是代数恒等式 $d(dA + A\wedge A) + [A, dA + A\wedge A] = 0$ 。

为什么又是“Bianchi”？在黎曼几何中，第二个 Bianchi 恒等式是 $\nabla_{[a}R_{bc]de} = 0$ ——这是由无挠度量联络的存在自动满足的 Riemann 张量的微分恒等式。在规范理论中，$dF + [A, F] = 0$ 起着同样的作用：它是由 $F = dA + A\wedge A$ 自动得出的，并通过减少独立方程的数量来约束动力学。在每种情况下，Bianchi 是使场方程一致的几何恒等式——它是“div curl = 0”的微分几何类比。

Maxwell 的数值检验是指对于阿贝尔群 $G = \mathrm{U}(1)$ ，$[A, F] = 0$ 显然成立，因此 Bianchi 简化为 $dF = 0$ 。由于 $F = dA$ 对某个 1-形式 $A$ 成立，$dF = d^2A = 0$ ——自动成立。因此阿贝尔 Bianchi 只是 “$d^2 = 0$ ”。非阿贝尔推广 $dF + [A, F] = 0$ 允许曲率编码自相互作用，同时仍满足一致性恒等式。

前两项类似于 Maxwell 的外导数；最后一项是非阿贝尔自相互作用。

$\mathrm{SU}(2)$ 的数值检验是指$\mathrm{SU}(2)$ 的结构常数是 $f^{abc} = \epsilon^{abc}$ （Levi-Civita 符号）。因此 $F^1_{\mu\nu} = \partial_\mu A^1_\nu - \partial_\nu A^1_\mu + (A^2_\mu A^3_\nu - A^3_\mu A^2_\nu)$ ，及其循环置换。交叉项 $A^2 A^3$ 是非线性的来源。在 Yang-Mills 理论中，这个交叉项在 QCD 中产生了胶子-胶子相互作用（胶子本身携带色荷）以及电弱理论中的 W-W-Z 和 Z-Z-W 顶点。

Maxwell 作为阿贝尔情况是指对于 $G = \mathrm{U}(1)$ 且 $\mathfrak{u}(1) = i\mathbb{R}$ ，联络是 $A = iA_\mu\,dx^\mu$ 且 $F = dA = i(\partial_\mu A_\nu - \partial_\nu A_\mu)dx^\mu\wedge dx^\nu$ 。分量 $F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu$ 正是电磁场强度张量的分量——包含 $E$ 和 $B$ 的同一个矩阵。

从 Bianchi 得到 Maxwell 方程是指在这种阿贝尔情况下，$dF = 0$ 是 Bianchi 恒等式，它封装了 Maxwell 的两个方程：无磁单极子（$\nabla\cdot B = 0$ ）和 Faraday 定律（$\nabla\times E + \partial_t B = 0$ ）。另外两个方程来自 Yang-Mills 方程 $d{*}F = J$ ：高斯定律和 Ampere 定律（含位移电流）。整个经典电动力学可以用三行表达：$F = dA$ ，$dF = 0$ ，$d{*}F = J$ 。

对于 Yang-Mills，当 $G = \mathrm{SU}(2)$ （弱同位旋）、$\mathrm{SU}(3)$ （色）或更大的非阿贝尔群时，曲率在 $A$ 中有非线性项。这是规范玻色子“自相互作用”的来源——因为它们的群是非阿贝尔的，规范场会耦合到自身。光子（阿贝尔规范玻色子）不会自相互作用；胶子会，这就是量子色动力学在低能行为（禁闭、质量间隙）上与量子电动力学如此不同的原因。

关于相伴向量丛上的曲率，对于相伴向量丛 $E = P\times_\rho V$ ，曲率 $F$ 通过 $\rho_*: \mathfrak{g} \to \mathfrak{gl}(V)$ 作用于 $V$ ，产生一个 $\mathrm{End}(E)$ -值 2-形式。当 $E = TM$ 时，这就是抽象的 Riemann 张量：第 11 篇文章中的 Riemann 张量正好是 $\mathrm{Fr}^O(M)$ 上的 Levi-Civita 联络的曲率，通过标准表示传递到 $TM$ 。

为什么“曲率”是正确的名称呢？联络的曲率 $F$ 测量平行传输路径依赖性的失败——就像 Riemann 几何中 Riemann 张量测量路径依赖性一样。具体来说，底空间中无穷小环 $\partial(\delta x \wedge \delta y)$ 的平行传输会产生一个由 $F(\delta x, \delta y) \in G$ 给出的纤维变换，至一阶。因此 $F$ 是无穷小的整体曲率。物理上：胶子（强相互作用中的 Yang-Mills 曲率）通过传播积累相位来检测规范丛的拓扑。

以数值示例来看 $S^2$ 上的 $\mathrm{U}(1)$ 。取 $S^2$ 上的 Hopf 丛。自然联络的曲率是 $F = (i/2)\sin\theta\,d\theta\wedge d\phi$ （与 $S^2$ 上的面积形式成比例）。积分 $iF/(2\pi)$ 在 $S^2$ 上：$\frac{1}{2\pi}\cdot\frac{1}{2}\int\sin\theta\,d\theta\,d\phi = \frac{1}{2\pi}\cdot\frac{1}{2}\cdot 4\pi = 1$ 。因此 $\int_{S^2} c_1 = 1$ ——整数分类 Hopf 丛。被积函数正好是单位电荷 Dirac 单极子的磁场。

关于维度的合理性检查，为什么是 $iF/(2\pi)$ 而不是 $F$ 或 $iF$ ？常规归一化选择是为了使 $c_1$ 在封闭 2-流形上积分时取整数值。因子 $1/(2\pi)$ 是 $\mathrm{U}(1)$ 作为 1-流形的“面积”的倒数，因为 $\mathrm{U}(1)$ 中的 $2\pi$ 旋转是恒等变换。这与 Dirac 的磁荷量子化中的因子完全相同：强度为 $g$ 的 Dirac 单极子要求 $eg/(2\pi\hbar) \in \mathbb{Z}$ 。拓扑和物理在归一化上一致，因为它们在做相同的计算。

Chern-Weil 理论和特征类#

给定主 $G$ -丛上的曲率 2-形式 $F$ 和 $\mathfrak{g}$ 上的 $G$ -不变多项式 $P$ ，形式 $P(F)$ 是底空间 $B$ 上的闭微分形式，其 de Rham 类 $[P(F)] \in H^*(B; \mathbb{R})$ 与联络的选择无关。这就是Chern-Weil 构造，它产生丛的拓扑不变量。

其中 $c_k(E) \in H^{2k}(B; \mathbb{R})$ 是Chern 类中的第一 Chern 类 $c_1 = \mathrm{tr}(iF/2\pi)$ 是最简单且最常见的。

Pontryagin 类（实向量丛）是指对于 $\mathrm{O}(n)$ -丛，Pontryagin 类 $p_k \in H^{4k}(B; \mathbb{R})$ 通过直接使用 $F$ 类似地定义（跳过因对称性而消失的奇数次类）。

Stiefel-Whitney 类是指实向量丛还有 $\mathbb{Z}/2$ -系数类 $w_k \in H^k(B; \mathbb{Z}/2)$ ，称为 Stiefel-Whitney 类能直接通过 Chern-Weil 理论检测（它们是挠元），但仍然是特征类。第一 Stiefel-Whitney 类 $w_1$ 是可定向性的障碍：$w_1 = 0$ 当且仅当丛是可定向的。第二类 $w_2$ 是自旋结构的障碍。这些是补充 de-Rham 可检测类的微妙拓扑不变量。

Euler 类（定向实向量丛）是指定向秩-$n$ 实丛有一个 Euler 类 $e \in H^n(B; \mathbb{R})$ 。对于定向 $n$ -流形的切丛，$\int_M e(TM) = \chi(M)$ ，即 Euler 示性数。这是Chern-Gauss-Bonnet 定理，将第 5 篇文章的结果推广到更高维度。

以数值示例来看 Hopf 丛的第一 Chern 类。Hopf 丛 $S^3 \to S^2$ 是一个非平凡的 $\mathrm{U}(1)$ -丛。选择一个联络（例如，从 $S^3$ 上的圆度量下降的自然联络）；计算其曲率 $F$ 。积分 $c_1 = iF/2\pi$ 在 $S^2$ 上得到 1——整数区分 Hopf 丛和平凡的 $S^1$ -丛 $S^2 \times S^1$ 。这正是Dirac 单极子的磁荷：$S^2$ 上包围整数电荷 $n$ 的磁单极子的 $\mathrm{U}(1)$ -丛在 $S^2$ 上的 $c_1$ 配对为 $n$ 。

与联络无关的关键性质是 $\int c_1$ 的整数性是电荷量子化的关键。对于丛上的任何联络，$\int_{S^2}c_1$ 都是同一个整数——这就是使 $c_1$ 成为拓扑不变量的原因，可以从任何联络解析计算，但与联络的选择无关。在物理中，这意味着：如果磁单极子存在，它们必须携带整数量化的磁荷。拓扑决定了物理。

普遍类和分类空间是指每个特征类都来自于分类空间 $BG$ 的上同调——一个拓扑空间，使得 $X$ 上的主 $G$ -丛由映射 $X \to BG$ 的同伦类分类。Chern 类是从 $H^*(BU(n); \mathbb{Z})$ 中拉回的普遍类。Pontryagin 类是从 $H^*(BO(n))$ 中拉回的。Euler 类从 $H^*(BSO(n))$ 中拉回。这种抽象观点统一了所有特征类：它们是分类空间的上同调。对于数学家来说，这是最干净的框架；对于物理学家来说，这是为什么相同的类在各种理论中不断出现的原因。

其中 $\mathrm{ch}$ 是主符号 $\sigma$ 的 Chern 字符，$\mathrm{Td}$ 是 Todd 类。$\mathrm{ch}$ 和 $\mathrm{Td}$ 都是基于 Chern-Weil 理论的特征类表达式。因此指标定理是 Chern-Weil 计算：它们说分析数据（$D$ 的核和余核）等于拓扑积分。这是特征类如何连接分析、几何和拓扑的最引人注目的演示之一。

Yang-Mills 理论#

其中 $d_A = d + [A, \cdot]$ 是协变外导数。

当考虑 Abelian Yang-Mills 作为 Maxwell 方程时，对于 $G = \mathrm{U}(1)$ ，Yang-Mills 方程简化为 $d*F = 0$ 。结合自动的 Bianchi $dF = 0$ ，这给出了无源Maxwell 方程。有物质（带电粒子）时，$d*F = J$ ，其中 $J$ 是电流 3-形式。因此 Maxwell 理论是 Yang-Mills 的特殊情况。

在 Euclidean 4 维 Yang-Mills 中，自对偶瞬子满足 $F = *F$ （自对偶）或 $F = -*F$ （反自对偶）的联络自动满足 Yang-Mills 方程——它们是在固定拓扑扇区中的绝对极小值。瞬子数 $k = \int_M c_2(E)$ 是丛的第二 Chern 数，对于 $\mathrm{SU}(2)$ ，具有 $k$ 瞬子数的自对偶联络形成一个 $(8k - 3)$ 维模空间。Donaldson 的 4-流形理论是通过研究这些模空间建立的。

为什么自对偶？Yang-Mills 泛函是 $\frac{1}{2}\int F\wedge *F$ ，这等于 $\frac{1}{4}\int (F + *F)\wedge *(F + *F) + \frac{1}{4}\int(F - *F)\wedge *(F - *F) \pm \int F\wedge F$ ——取决于定向。在每个拓扑扇区（固定的 $\int F\wedge F = $ 瞬子数）中，泛函由瞬子数下界，当且仅当 $F = \pm *F$ 时达到下界。因此自对偶联络是绝对极小值；反自对偶联络是相反扇区中的极小值。这是物理中罕见的偏微分方程之一，你可以通过解一阶方程（自对偶）而不是二阶方程来解 Euler-Lagrange 方程。这个技巧推广到单极子方程、涡旋方程和整个 BPS 框架。

20 世纪 80 年代，Donaldson 和 Seiberg-Witten 使用 4-流形上的 $\mathrm{SU}(2)$ 瞬子模空间定义了新的拓扑不变量，即使在拓扑结构相同的情况下也能区分 4-流形的光滑结构。20 世纪 90 年代的 Seiberg-Witten 理论提供了一个使用 $\mathrm{U}(1)$ 而不是 $\mathrm{SU}(2)$ 的更简单框架，并产生了等价的不变量。4 维光滑拓扑被规范理论微分几何捕获——并且与其他任何维度的拓扑根本不同——这是现代数学中最令人惊讶的发现之一。

其中求和是对三个规范群进行的。丛的微分几何是标准模型的语言，而不仅仅是描述它的一种方式。

这是一个规范不变的可观测量。在格点规范理论里 Wilson 环是基本测量量；在 AdS/CFT 对偶里它有更深的对应——反德西特空间里的极小曲面。数学是微分几何，物理却从夸克禁闭一路覆盖到全息原理。

反常与特征类。 量子场论里常出现反常：经典对称性扛不过量子化。反常的数学本质是物理可观测丛上的一个非平凡上同调类。QCD 中的 Adler–Bell–Jackiw 手征反常计算成 $\int F\wedge F$ 在时空上的积分——一个 Pontryagin 类积分。标准模型规范反常的相消（夸克与轻子超荷之间的精确关系）是一个拓扑约束：微分几何告诉你哪些表示组合是无反常的。

规范理论字典#

物理术语与数学的翻译表是 20 世纪科学最伟大的统一之一。

作为规范理论的引力。 广义相对论是正交标架丛上局部 Lorentz 群的规范理论。Levi-Civita 联络就是规范势，Riemann 张量就是场强，Einstein-Hilbert 作用量 $\int R\,\mathrm{vol}_g$ 是一个（非常不 Yang-Mills 的）规范作用量。所以引力与其他力共享同一套几何框架——只是具体的拉氏量和结构群不同。

Cartan 表述。 Cartan 用正交标架丛和联络 1-形式重写了广义相对论。在这一表述中，度规由"四标"或"vielbein" $e^a$ 编码——也就是每点上的一组 $\mathrm{O}(n)$ -标架——而联络是一个 $\mathfrak{so}(n)$ -值的 1-形式。Riemann 张量变成一个李代数值 2-形式，与 Yang-Mills 场强完全平行。这一表述让引力的规范结构变得显式，也是把旋量耦合到引力的必要前提（因为旋量要的是标架，不只是度规）。它同时是圈量子引力以及其他规范理论式量子化方案的天然舞台。

为什么这部字典如此深刻。 物理学家出于经验原因发明的概念（规范不变性、电荷量子化、瞬子）原来都是早就存在的几何对象（过渡函数、特征类、特殊联络）。而纯数学家出于自身美感研究的对象（Chern 类、K-理论、动机）在粒子物理里也获得了物理含义。这种双向流动是当代研究中最肥沃的领域之一。

一段历史注脚。 Yang 与 Mills 在 1954 年写下他们的非阿贝尔规范理论时，并不知道 Cartan 关于联络的理论（那套理论当时已经存在数十年）。当数学家与物理学家在 1970 年代终于把两者连起来时，两个群体才意识到自己其实在用完全不同的语言研究同一门学科。这场翻译工作主要由 Atiyah、Singer、Bott、Witten 和 Donaldson 完成，是 20 世纪后期数学物理的奠基性活动之一。我们今天觉得这部字典"显然"，可它在当年是来之不易的。

镜对称及更远。 现代数学物理已经走得比这部字典更深：镜对称把不同的 Calabi-Yau 流形以物理等价的方式配对，预言了辛几何与复几何之间非平凡的关联。几何 Langlands 把表示论与曲线上丛的模空间几何联系起来。AdS/CFT 对应把规范理论与引力联系起来。这每一个都是基本规范理论字典的推广，每一个都需要我们已经搭起的微分几何。

微分几何框架在实践中为什么重要。 当 1950 年代的物理学家写下 Yang-Mills 理论时，他们必须从零开始发明规范不变性、推导场方程、应对非线性。当 1970 年代的数学家把同样的内容重新表述为主丛上的联络时，整个结构变得自动：规范不变性就是联络的自同构群，场方程就是 Yang-Mills 变分方程，非线性就在楔积 $A\wedge A$ 里。原本看起来是物理动机驱动的拼接，变成了几何上的必然。这种结构性洞见一次又一次产生回报：标准模型上的拓扑约束（反常相消、电荷量子化、Higgs 部分的 Yukawa 耦合）从丛的视角推导起来比任何其他视角都简单。数学结构一旦得到合适的表述，就能让物理变得更简单。

深入示例与常见陷阱#

前面几节介绍了纤维丛、主丛、联络、曲率 2-形式、Chern-Weil 理论、Yang-Mills 理论以及规范理论字典。这一节将具体计算特定的丛与联络，指出初学者容易绊倒的地方，并把这些抽象对象与具体物理对接。

一个具体的数值示例：作为 $U(1)$ 主丛的 Hopf 丛#

Hopf 纤维化 $S^3 \to S^2$ 是最简单的非平凡主 $U(1)$ 丛。把 $S^3 \subset \mathbb{C}^2$ 实现为 $\{(z_1, z_2) : |z_1|^2 + |z_2|^2 = 1\}$ 。$U(1)$ 作用是 $e^{i\alpha} \cdot (z_1, z_2) = (e^{i\alpha} z_1, e^{i\alpha} z_2)$ 。商 $S^3 / U(1) = S^2$ 由投影 $(z_1, z_2) \mapsto (2z_1\bar z_2, |z_1|^2 - |z_2|^2)$ 给出，落在 $\mathbb{R}^3$ 中的单位球面上。

该丛上的联络是 $S^3$ 上取值于李代数 $\mathfrak{u}(1) = i\mathbb{R}$ 的 1-形式。标准的那个是 $A = i(\bar z_1 dz_1 - z_1 d\bar z_1 + \bar z_2 dz_2 - z_2 d\bar z_2)/2$ 。它的曲率是 $S^3$ 上的 2-形式 $F = dA$ ，由于等变性，它下降为 $S^2$ 上的 2-形式。算一下这个下降：$S^2$ 上的曲率正比于标准面积形式，球面坐标下 $F = (i/2)\sin\theta\,d\theta\wedge d\phi$ （约定与第 4 节一致：$A$ 取虚值 $\mathfrak{u}(1) = i\mathbb{R}$ ，所以 $F = dA$ 也是虚值）。

积分 $\int_{S^2} F = (i/2)\cdot 4\pi = 2\pi i$ ，因此第一 Chern 数 $c_1 = \frac{i}{2\pi}\int_{S^2} F = -1$ （绝对值 1，符号取决于定向）。Chern-Weil 理论告诉我们这个整数是拓扑不变量——联络的任何光滑形变都不会改变它。Hopf 丛的 $|c_1| = 1$ 区分了它与平凡 $S^1$ -丛 $S^2 \times S^1$ （后者 $c_1 = 0$ ）。

另一个数值示例：作为联络的磁单极#

原点处的磁单极给出磁场 $B = g \hat r / r^2$ ，其中 $g$ 是单极的荷。作为 $\mathbb{R}^3 \setminus \{0\}$ 上的 2-形式（在 $U(1)$ 规范理论里 $F = iB$ 的反对称张量形式），它在球面坐标下是 $F = ig\sin\theta\,d\theta\wedge d\phi$ 。限制到半径 $r$ 的球面：$\int_{S^2_r}\frac{i}{2\pi}F = -\frac{g}{2\pi}\cdot 4\pi = -2g$ ，所以 $c_1 = -2g$ 必须是整数——这就是 Dirac 量子化 $g \in \frac{1}{2}\mathbb{Z}$ （以自然单位计）。

Dirac 量子化：$g$ 必须是 $1/(2 q_e)$ 的半整数倍，其中 $q_e$ 是电子电荷。为什么？因为磁场无法由一个全局定义的规范势 $A$ 推出（必然存在一根 Dirac 弦），而波函数的单值性要求 $\int F$ 是 $2\pi/q_e$ 的整数倍。

用丛的语言：规范势 $A$ 是 $\mathbb{R}^3 \setminus \{0\}$ 上 $U(1)$ 丛上的联络。这个空间形变收缩到 $S^2$ ，因此它上面的 $U(1)$ 丛由 $\pi_1(U(1)) = \mathbb{Z}$ 分类——恰好就是整数 Chern 数，恰好就是以 $1/q_e$ 为单位的整数单极荷。Dirac 量子化就是"丛由整数分类"这条拓扑陈述。

直观加反例：曲率为什么取值于李代数#

主 $G$ -丛上的联络 1-形式 $A$ 取值于李代数 $\mathfrak{g}$ 。它的曲率 $F = dA + A \wedge A$ 也是 $\mathfrak{g}$ -值的。$\mathfrak{g}$ -值形式的楔积要用李括号：$[A \wedge A]^a = f^a_{bc} A^b \wedge A^c$ ，其中 $f^a_{bc}$ 是结构常数。

为什么必须是 $\mathfrak{g}$ -值？因为曲率度量的是绕无穷小环路的和乐，而和乐位于 $G$ 中。求导到一阶就得到 $\mathfrak{g}$ 。非线性的 $A \wedge A$ 项把非阿贝尔规范理论与阿贝尔规范理论区分开来：对于 $U(1)$ （阿贝尔），$A \wedge A = 0$ ，$F = dA$ 就只是外导数。对于 $SU(N)$ ，括号项必不可少。

反例（说明"$F = dA$ 才是对的公式"不对）：对于 $SU(2)$ Yang-Mills，规范场 $A$ 有三个分量 ($A^1, A^2, A^3$ )，且 $F^a = dA^a + \epsilon^{abc} A^b \wedge A^c$ 。括号项给出规范场的自相互作用——QCD 中的胶子彼此相互作用（不像 QED 中的光子）。非阿贝尔结构编码了阿贝尔规范理论所没有的非线性物理。

第三个数值示例：作为向量丛的切丛#

流形 $M$ 的切丛 $TM$ 是向量丛的标准例子。纤维：切空间 $T_p M$ ，一个 $n$ 维向量空间。局部平凡性：每个图 $\varphi: U \to \mathbb{R}^n$ 都通过 $(p, v) \mapsto (\varphi(p), d\varphi(v))$ 给出一个平凡化 $TU \cong U \times \mathbb{R}^n$ 。

过渡函数：当两个图 $\varphi_\alpha$ 与 $\varphi_\beta$ 重叠时，$TM$ 上的过渡函数是 $g_{\alpha\beta}: U_\alpha \cap U_\beta \to GL(n, \mathbb{R})$ ，$g_{\alpha\beta}(p) = d(\varphi_\beta \circ \varphi_\alpha^{-1})|_{\varphi_\alpha(p)}$ ——即图坐标变换的 Jacobi 矩阵。因此 $TM$ 天然是一个 $GL(n, \mathbb{R})$ -丛，等价地（通过黎曼度规做结构群约化）是 $O(n)$ -丛，再加上定向就是 $SO(n)$ -丛。

具体计算：在 $S^2$ 上用立体投影图，过渡 Jacobi 矩阵就是复记号下 $z \mapsto 1/\bar z$ 的微分。在图坐标中距原点 $r$ 的一点上，Jacobi 矩阵的作用是乘以 $-1/r^2$ 再加一次复共轭——一次反射加一次缩放的合成。所以 $S^2$ 的切丛具有非平凡的过渡函数，无法被全局平凡化（与毛球定理一致——$TS^2$ 没有处处非零的全局截面）。

通过 Chern-Weil 计算 $TS^2$ 的 Euler 类等于 $\chi(S^2) = 2$ 。这是切丛上"Euler 类等于 Euler 示性数"的定理，是 Atiyah-Singer 指标定理的特例。

第二个反例：并非每个李代数值 2-形式都是某个曲率#

给定流形上一个任意的 $\mathfrak{g}$ -值 2-形式 $F$ ，是否存在联络 $A$ 满足 $F = dA + A \wedge A$ ？并不总是。可积性条件是第二 Bianchi 恒等式 $dF + [A, F] = 0$ ，$F$ 必须关于某个联络满足它。对于任意的 $F$ ，这未必成立。

一个具体的反例：在 $\mathbb{R}^4$ 上取 $\mathfrak{su}(2)$ ，令 $F = x^2 \sigma_1 dx_1 \wedge dx_2 + \sigma_2 dx_3 \wedge dx_4$ 。算 $dF = 2x \sigma_1 dx_1 \wedge dx_1 \wedge dx_2 + ... = 0$ 。不带括号项时，看起来它是闭的。但 Bianchi 恒等式还要求存在某个联络 $A$ 使 $[A, F] = 0$ ，这在非阿贝尔规范理论中给 $F$ 加了一个阿贝尔直觉看不到的约束。Yang-Mills 物理学家在尝试写下任意"场构型"时常常会重新发现这个约束，并意识到并非所有构型都能实现。

初学者常见陷阱#

初学者经常把主丛上的联络 1-形式 $A$ 与底空间上的 1-形式混为一谈。它们是不同的对象：$A$ 生活在全空间 $P$ （主丛）上，只有选定一个局部截面（局部规范）之后，$A$ 才会拉回成底空间上的 1-形式。被拉回的形式依赖于规范选择；规范变换恰好就是截面的改变，它把 $A$ 变成 $A \mapsto g^{-1} A g + g^{-1} dg$ 。

一个具体的坑：学生在一种规范下算出 $F$ ，然后把它当作张量在规范变换下变换。正确的变换是 $F \mapsto g^{-1} F g$ ——齐次的，没有 $g^{-1} dg$ 项。初学者把联络变换公式套到 $F$ 上，得到的结果就会前后矛盾。

第二个坑：忘了规范变换会改变 $A$ ，但物理是不变的。计算物理量（比如 Wilson 环 $\text{tr}(\mathcal{P}\exp \oint A)$ ）必须用规范不变的构造。规范选错可以把物理藏起来；规范选对（瞬子用 ’t Hooft 规范，QCD 微扰用 axial 规范）就是理论物理学家工具箱的一部分。

这些东西在物理、计算与工程里到底为什么重要#

在粒子物理标准模型里，规范群是 $SU(3) \times SU(2) \times U(1)$ 。联络 1-形式分解成胶子场（8 个分量，$\mathfrak{su}(3)$ ）、弱力场（$W^\pm, Z$ ）和电磁场。Yang-Mills 拉氏量 $\mathcal{L} = -\tfrac{1}{4} \text{tr}(F \wedge \star F)$ 在每个扇区里都长一样——只是规范群不同。基本相互作用的整套理论（不算引力和 Higgs）都装在这一种语言里。

在凝聚态里，拓扑绝缘体由 Bloch 丛——Brillouin 区（一个环面）上的向量丛——的 Chern 数刻画。整数 Chern 数决定了整数量子化的 Hall 电导。Berry 相位，即量子态沿参数空间一条环路绝热运输累积下来的相位，是基态丛上一个 $U(1)$ 联络的和乐。拓扑材料由这些联络-曲率不变量分类。

在机器学习里，现代可解释性方法利用表征流形的 Berry-相位式曲率来检测训练好的网络中的隐含结构。参数空间的黎曼度规，结合一个联络（通常由数据诱导），给出曲率 2-形式，其积分是训练后模型行为的诊断指标。几何深度学习把它当作一等公民。

在格点规范理论里，夸克相互作用的计算机模拟把联络离散化——给格点边上挂一个 $SU(3)$ -值的群元。Wilson 环是绕闭环的乘积，构造上就是规范不变的。连续极限恢复 Yang-Mills 理论；格点极限让它变得可算。现代 QCD 对强子质量的预测精度到百分级，靠的就是这套机制。

用更尖锐的问题重访"接下来去哪里"#

这个系列到此结束，但路还很长。三个值得考虑的方向：

(1) 自旋几何与 Dirac 算子：旋量、自旋联络以及 Atiyah-Singer 指标定理把丛的拓扑与微分算子联系起来。自旋联络是 Levi-Civita 联络在旋量场上的自然推广，Dirac 算子是其中心对象。指标理论是丛理论最深的回报。

(2) 辛几何与 Poisson 几何：相空间的几何，其中度规被一个闭的非退化 2-形式取代。Hamilton 动力学、几何量子化以及可积系统都住在这里。

(3) 代数与复几何：当流形带有复结构，或被定义为多项式的零点集时，本系列的微分几何工具就与代数合流。Calabi-Yau 流形、模空间、Hodge 理论——都坐在这个交叉口上。

你现在已经掌握了从曲线一路到规范理论的微分几何。这 12 篇覆盖了任何在岗几何学家或理论物理学家必须知道的内容。下一步取决于方向：纯几何学家走向自旋与指标理论，应用物理学家走向规范理论与场论，应用数学家走向辛几何与动力系统。共享的工具箱就是你刚刚学到的内容。读任何下一方向的文本时都问一句"我那 12 篇是怎么落在这个更大图景里的？"——答案永远是：它们是地基。

最后一个具体示例：$U(1)$ 规范理论中的 Wilson 环#

Wilson 环是量 $W(\gamma) = \exp(i \oint_\gamma A)$ ，其中 $\gamma$ 是一条环路，$A$ 是 $U(1)$ 联络。它是规范不变的，物理的：在 QED 中，$W(\gamma)$ 是一个带电粒子绕 $\gamma$ 走一周后获得的量子力学相位。

具体地，在 $\mathbb{R}^2$ 上取 $A = -y\, dx + x\, dy$ ——这是指向纸面外的恒定磁场 $B = dA = 2\, dx\wedge dy$ 的规范势。算单位圆 $\gamma(t) = (\cos t, \sin t)$ 上的 Wilson 环：$\oint_\gamma A = \int_0^{2\pi} (-\sin t \cdot (-\sin t) + \cos t \cdot \cos t)\, dt = \int_0^{2\pi} 1\, dt = 2\pi$ 。所以 $W(\gamma) = e^{2\pi i} = 1$ ——环路围出磁通 $2$ （Stokes 公式：$\int_D 2\, dA = 2\pi \cdot 1 = 2\pi$ ，对得上），但 $e^{i\cdot 2\pi} = 1$ 平凡。

对于一个磁通 $\Phi = \pi$ （单位圆磁通的一半）的较小环路，$W = e^{i\pi} = -1$ ——粒子拾起一个负号。这就是 Aharonov-Bohm 效应：即使是 $B = 0$ 的区域，$A$ 也可以不为零，穿过这种区域的带电粒子会拾起一个可观测的相位。其中的数学内容是 Wilson 环依赖于 $A$ ，而不仅仅依赖于 $B$ ，但只通过规范不变的数据（绕闭环的积分）。这是量子力学里"规范势比场强更基本"的最干净的物理演示。

对于非阿贝尔规范理论 ($SU(N)$ )，Wilson 环是路径有序指数 $W(\gamma) = \text{tr}(\mathcal{P}\exp i\oint A)$ ，路径序很重要，因为矩阵不交换。QCD 中的禁闭被推测与大 Wilson 环的面积律衰减相关——夸克-反夸克分离的代价正比于扫过的世界面面积，这是色禁闭的标志。

字典再添一例：规范群与基本相互作用#

为了把规范理论字典锚定到数字上，比较一下标准模型规范群的耦合强度与结构常数。

$U(1)$ 电磁：结构常数为零（阿贝尔）。低能耦合：$\alpha = 1/137.036$ 。单个规范玻色子（光子）。生成元：1 个。

$SU(2)$ 弱同位旋：3 个生成元，结构常数 $\epsilon_{abc}$ （Levi-Civita）。$M_Z$ 处的耦合：$\alpha_w \approx 1/30$ 。三个规范玻色子（$W^+, W^-, Z$ ）。是否自相互作用：是，通过场强公式中的 $[A^a, A^b] = i\epsilon^{abc} A^c$ 。

$SU(3)$ 色：8 个生成元（Gell-Mann 矩阵），结构常数 $f^{abc}$ 在某些位置有具体非零值，比如 $f^{123} = 1$ , $f^{147} = 1/2$ , $f^{458} = \sqrt{3}/2$ 。$M_Z$ 处的耦合：$\alpha_s \approx 0.118$ ，在低能下跑得很大（在强子尺度上 $\sim 1$ ）。八个规范玻色子（胶子）。强自相互作用。

曲率 2-形式 $F = dA + A \wedge A$ 的第二项随耦合增长——阿贝尔理论的场方程是线性的，非阿贝尔的是非线性的。QCD 的禁闭被推测就是非线性在低能下变得非微扰的结果。

规范理论字典的定量检验：三个耦合 $\alpha_1, \alpha_2, \alpha_3$ 随能标的跑动，由各群的李代数结构算出，预言了在 $\sim 10^{16}$ GeV 附近的近似统一。这是大统一理论的实证种子——三个标准模型丛的曲率，外推之后几乎相交。这个"几乎"是理论物理尚未解决的问题之一。

总结：从一根曲线到整个宇宙#

这是十二章的最后一篇了，应该停下来回望一下走过的路。这套系列的开头放着一根 $\mathbb{R}^3$ 里的螺旋线——一个移动的点，一个跟着它走的标架，两个标量函数 $\kappa, \tau$ 控制这个标架的旋转。结束于宇宙——把整个时空当成一个 4-流形，物质的存在让流形弯曲，弯曲由曲率张量描述，粒子物理的所有相互作用都由相应主丛上的 Yang-Mills 联络刻画。中间走过的每一步，回头看都是上一步的推广：

这套"向上推广"的过程不只是为了好看。每一步都是必要的：

• 如果只想做二维曲面在 $\mathbb{R}^3$ 里的几何（地图学、CAD、计算机图形），停在 DG-05 就够。
• 如果想理解广义相对论（弯曲时空、引力、宇宙学），需要走到 DG-11——爱因斯坦方程是 Ricci 曲率的方程。
• 如果想理解粒子物理的标准模型（电磁、弱、强相互作用），需要 DG-12 的纤维丛 + 联络。
• 如果想做拓扑学的现代研究（Donaldson 不变量、Seiberg-Witten 理论、Floer 同调），DG-12 的特征类和 Yang-Mills 理论是入口。

写完这十二章，我自己最深的感受是：微分几何不是关于"形状"的学科，而是关于"在弯曲空间里做微积分"的学科。 第一章的 $\mathbf{T}, \mathbf{N}, \mathbf{B}$ 标架是一个非常具体的"在曲线上做导数"的工具；最后一章的协变外导数 $d_A = d + [A, \cdot]$ 是一个非常抽象的"在主丛截面上做导数"的工具。两者本质都是同一件事：在没有平凡的"平移"概念的空间里，怎么把"求导"这个操作做对。所有曲率（Frenet 公式中的 $\kappa$ 、Gauss 曲率 $K$ 、Riemann 张量 $R$ 、规范场强 $F$ ）都是同一个故事的不同章节——它们都是"求导不可换序"的程度。

如果你问我：“要继续学微分几何，下一步该看什么？” 大致几个方向：

1. 几何分析：偏微分方程在弯曲流形上的研究。Yamabe 问题、Ricci 流（Perelman 用它解决了 Poincaré 猜想）、最小曲面方程。教材：Schoen-Yau, Hamilton, Topping。
2. 辛几何与 Hamilton 力学：经典力学的几何化。辛流形、Lagrangian 子流形、Floer 同调。教材：McDuff-Salamon。
3. 复几何：Kähler 流形、复结构、Calabi-Yau 流形（弦论的基本对象）。教材：Huybrechts, Griffiths-Harris。
4. 指标定理与 K-理论：DG-12 提到的 Atiyah-Singer 指标定理的完整证明，以及它通向 K-理论、椭圆算子分析、规范理论的方向。教材：Atiyah, Lawson-Michelsohn。
5. 离散 / 计算微分几何：把这套连续工具搬到三角网格上，用于计算机图形学、几何处理、数据分析。教材：Crane 的网络教程。

最后说点跟数学无关的。我写这个系列是因为读研时被"内蕴"和"外蕴"的区分震撼过，想把那种震撼整理出来分享给和当年的我一样困惑的人。如果你读到这里，希望你也至少在某一章感受到了那种"原来这件事是这样啊"的瞬间——那种瞬间是数学最美好的部分，比任何定理本身都珍贵。十二章结束了，但微分几何这门学科还远远没有结束；这只是入门。下面要做的事，就是用这套工具去看真正属于你的问题——无论是物理、计算机图形、还是其他什么。工具已经准备好了。