10.1 流形上的微積分#

導言：微分形式的語言#

本書反覆使用向量微積分（div、curl、grad）與它們的幾何推廣。現在給出統一的現代語言：微分形式。它把梯度、旋度、散度統一為一個算子 \(d\) （外微分），把四大積分定理統一為一條 Stokes 定理，使「流形上的微積分」成為座標無關、維數無關的優美系統。這是 Hodge 理論、de Rham 上同調、與現代數學物理的共同基礎。

微分形式#

定義#

\(k\) -形式是切空間上的反對稱 \(k\) -線性泛函：

\[ \omega_p : \underbrace{T_pM \times \cdots \times T_pM}_{k} \to \mathbb{R}, \qquad \omega(\ldots, v, \ldots, v, \ldots) = 0 \]

局部表達：

\[ \omega = \sum_{i_1 < \cdots < i_k} \omega_{i_1\cdots i_k}\, dx^{i_1} \wedge \cdots \wedge dx^{i_k} \]

楔積 \(\wedge\) ：反交換結合積（ \(dx^i \wedge dx^j = -dx^j \wedge dx^i\) ）， \(\alpha \wedge \beta = (-1)^{kl}\beta \wedge \alpha\) 。

層次：

階	例子	對應
0	\(f\)	函數
1	\(\omega_i dx^i\)	餘向量場（功的微元 \(F_i dx^i\) ）
2	流的密度、磁通	通量形式 \(B_x dy\wedge dz + \cdots\)
3	質量密度 \(\rho\, dV\)	體積形式
\(n\)	體積形式	積分對象

物理對應：電磁場的 \(F = B_x\,dy\wedge dz + B_y\,dz\wedge dx + B_z\,dx\wedge dy + \frac{E_x}{c}\,dx\wedge dt + \cdots\) ——場 = 2-形式；Maxwell 方程 \(dF = 0\) 、 \(d*F = J\) 兩條！電磁學的幾何極簡形式（9.3 節 \(F_{\mu\nu}\) 的形式版）。

外微分 \(d\)#

定義與性質#

\[ d(f) = df\ (\text{全微分})， \qquad d(\alpha \wedge \beta) = d\alpha \wedge \beta + (-1)^{\deg\alpha}\alpha\wedge d\beta \]

座標式（ \(k\) -形式 \(\omega\) ）：

\[ d\omega = \sum \frac{\partial \omega_{i_1\cdots i_k}}{\partial x^j}\, dx^j \wedge dx^{i_1}\wedge\cdots\wedge dx^{i_k} \]

核心性質：

\[ \boxed{\ d\circ d = 0\ } \]

（證明：二階偏導對稱 + 楔積反交換 ⟹ 相消。Clairaut–Schwarz 定理的幾何化身——與 3.2 節絕妙定理、6.2 節曲率同源：交換性與其失效，是幾何的一切。）

統一三大運算（三維）#

形式語言	向量微積分
\(df\) （0→1）	\(\mathrm{grad}\,f\)
\(d(F_1 dx + F_2 dy + F_3 dz)\) （1→2）	\((\nabla \times \mathbf{F})\cdot d\mathbf{A}\)
\(d(\text{2-形式})\) （2→3）	\((\mathrm{div}\,\mathbf{F})\,dV\)
\(d\circ d = 0\)	\(\nabla\times\nabla f = 0\) 、 \(\nabla\cdot(\nabla\times\mathbf{F}) = 0\)

一個算子，涵蓋梯度、旋度、散度；恆等式 \(d^2 = 0\) 同時給出兩條向量微積分恆等式。

Stokes 定理：一統四大公式#

定理#

對 \(k\) -形式 \(\omega\) 與 \((k+1)\) 維鏈/區域 \(D\) ：

\[ \boxed{\ \int_D d\omega = \int_{\partial D}\omega\ } \]

統一：

特例	形式版
Newton–Leibniz	\(\int_a^b f'(x)dx = f(b) - f(a)\)
Green（平面）	\(\iint \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right)dxdy = \oint Pdx + Qdy\)
Gauss 散度	\(\iiint \mathrm{div}\,\mathbf{F}\,dV = \oiint \mathbf{F}\cdot d\mathbf{A}\)
Kelvin–Stokes	\(\iint(\nabla\times\mathbf{F})\cdot d\mathbf{A} = \oint\mathbf{F}\cdot d\mathbf{l}\)

一條定理，四個世紀的積分公式。證明核（一個小立方體上）只是 Fubini + 偏導定義；全域由單位分割黏合。

應用串聯（本書回顧）#

Gauss–Bonnet（3.2）： \(\int_S K\,dA + \int_{\partial S}k_g\,ds = 2\pi\chi\) ——曲率形式 \(K\,dA\) 的 Stokes 型陳述；
廣義相對論的守恆（6.3）： \(\nabla_\mu T^{\mu\nu} = 0\) 的積分版需要 \(\sqrt{|g|}\) （散度定理的協變版）；
電磁學（9.3）： \(dF = 0\) ⟹ 磁單極不存在（全域）； \(F\) 全域正合 ⟹ 保守——叢的上同調決定物理可能；
Maxwell 的通量： \(\int_{\partial V} *F = \int_V J\) ——Gauss 定理的形式版。

de Rham 上同調： \(d^2 = 0\) 的代數紅利#

閉、恰、上同調#

閉形式： \(d\omega = 0\) ；
恰當形式： \(\omega = d\eta\) ；
\(d^2 = 0\) ⟹ 恰當 ⟹ 閉；反之不然（拓樸阻礙！）。

de Rham 上同調：

\[ H^k_{\mathrm{dR}}(M) = \frac{\{\text{閉 } k\text{-形式}\}}{\{\text{恰當 } k\text{-形式}\}} \]

de Rham 定理（1931）： \(H^k_{\mathrm{dR}}(M) \cong H^k(M; \mathbb{R})\) （奇異上同調）——分析（微分形式）= 拓樸。又是「局部微分決定全域拓樸」的宏偉例證（Gauss–Bonnet → 指標定理 → 上同調）。

經典例子：圓與平面的對比#

\(\mathbb{R}^2 \setminus \{0\}\) （去掉原點的平面）： \(\omega = \frac{-y\,dx + x\,dy}{x^2+y^2}\) 閉（直接驗證 \(d\omega = 0\) ：分母的兩項相消）但不恰當——若 \(\omega = df\) 則 \(\oint_{S^1}\omega = 0\) ，實際 \(\oint = 2\pi\) ！** \(H^1 = \mathbb{R}\) **：洞被「閉而不恰」的形式探測到；
\(\mathbb{R}^2\) ：Poincaré 補題（星形域上閉 ⟹ 恰當）⟹ \(H^k = 0\) （ \(k \geq 1\) ）。

物理對應：保守力（ \(\oint F\cdot dl = 0\) ⟺ \(H^1 = 0\) ）；磁單極的存在 ⟺ 相應叢非平凡（ \(H^2\) ）；Aharonov–Bohm（9.3）正是平面挖洞的物理版本——上同調是「力的拓樸分類學」。

Hodge 理論（選讀）#

配度量後，Laplace–de Rham 算子 \(\Delta = dd^* + d^*d\) （ \(d^*\) = 形式伴隨）：

\[ H^k(M) \cong \mathcal{H}^k = \{\omega \mid \Delta\omega = 0\} \]

上同調類 = 調和形式的空間（Hodge 定理, 1940s）——每個拓樸類有唯一的調和代表（度量選擇的標準形）。「能否聽出鼓的形狀」（5.2 節）的嚴格框架；量子場論中「光的模 = 調和形式」的數學。

例題#

例題 1：驗證 \(d^2 = 0\) 與電磁學的應用#

對 1-形式 \(\omega = P\,dx + Q\,dy\) ：

\[ d\omega = \frac{\partial P}{\partial y}dy\wedge dx + \frac{\partial Q}{\partial x}dx\wedge dy = \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right)dx\wedge dy \]

（ \(dy\wedge dx = -dx\wedge dy\) 。）再求一次：

\[ d(d\omega) = \frac{\partial}{\partial x}\left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right)dx\wedge dx\wedge dy + \frac{\partial}{\partial y}(\cdots)dy\wedge dx\wedge dy = 0 + 0 = 0 \]

（ \(dx\wedge dx = 0\) 。）✓

應用：磁場形式 \(B = B_x\,dy\wedge dz + B_y\,dz\wedge dx + B_z\,dx\wedge dy\) ， \(\nabla\cdot\mathbf{B} = 0\) ⟺ \(dB = 0\) 。全域而言，若空間是 \(\mathbb{R}^3\) （ \(H^2 = 0\) ），則 \(B = dA\) （磁位勢存在）；若挖掉磁單極（ \(B\) 在原點奇異）， \(H^2 = \mathbb{R}\) ⟹ \(B\) 閉而不恰 ⟹ 磁通 \(\int_{S^2}B = 4\pi g\) 可以非零（Gauss 定理形式版）——磁單極 = \(H^2 \neq 0\) 的物理（Dirac 1931；9.3 節 Chern 數）。「向量微積分的恆等式」與「宇宙中沒有磁單極」是同一件事的局部/全域兩面——微分形式使這種深刻聯繫一目了然。

例題 2：用形式計算 Gauss–Bonnet 的積分#

球面（半徑 \(R\) ）的度量 \(ds^2 = R^2(d\theta^2 + \sin^2\theta\, d\varphi^2)\) 。聯絡形式（活動標架 \(e^1 = R\,d\theta\) 、 \(e^2 = R\sin\theta\,d\varphi\) ）：

\[ \omega^1{}_2 = -\cos\theta\,d\varphi\ (\text{由 } de^1 = \omega^1{}_2\wedge e^2 \text{ 反解}) \]

曲率 2-形式（Cartan 結構方程）：

\[ \Omega^1{}_2 = d\omega^1{}_2 = \sin\theta\,d\theta\wedge d\varphi \]

Gauss 曲率 \(K\) 滿足 \(\Omega^1{}_2 = K\, e^1\wedge e^2 = K R^2\sin\theta\,d\theta\wedge d\varphi\) ⟹ \(K = \frac{1}{R^2}\) ✓。

Gauss–Bonnet：

\[ \iint_{\mathbb{S}^2} K\,dA = \int_0^{2\pi}\int_0^\pi \frac{1}{R^2}\cdot R^2\sin\theta\, d\theta\, d\varphi = 4\pi = 2\pi\chi(\mathbb{S}^2)\ \checkmark \]

形式語言的功效：聯絡形式 + 結構方程（Cartan）把曲率計算從 5.3 節的指標代數變成兩行微分——活動標架法是形式的計算學（陳省身的絕技）。

與其他領域的關聯#

微積分／向量微積分#

形式語言是向量微積分的完形：div/curl/grad 的「維數指定」之謎（為何三維恰好這三個？）在形式的階層結構中消失——每維都有相同的語法。

算子理論#

\(d\) 與其伴隨 \(d^*\) 構成 Hodge–Laplacian \(\Delta = (d + d^*)^2\) ——形式空間上的自伴算子；譜定理、Fredholm 指標、熱核展開（指標定理的熱核證明）都在此運行；
Witten 變形（1982）： \(\Delta + \nabla^2 f\) 型算子把 Morse 理論變成量子力學（超對稱 SQM）——Morse 不等式的量子證明；
spectral sequence（譜序列）：上同調的分層計算（代數拓樸的核心機器）源於「逐階微分」的代數結構。

量子力學／場論#

幾何量子化：預量子線叢上的聯絡（形式語言）；
超對稱： \(\{Q, Q^\dagger\} = H\) 的代數 ⟺ de Rham 複形 \(\{d, d^*\}\) ——上同調 = 超對稱的基態分類；
陳–Simons 理論： \(\int\mathrm{tr}(A\wedge dA + \frac{2}{3}A\wedge A\wedge A)\) ——拓樸量子場論、分數量子霍爾效應與拓樸量子計算的理論基礎。

工程／計算#

離散外微分（DEC）：形式理論離散化到網格上，數值 PDE 的幾何保真版（電磁模擬、計算流體力學的保結構算法）；
積分不變量與辛積分器（行星軌道的長期穩定模擬）。

小結#

微分形式 = 反對稱多線性泛函； \(\wedge\) 給出代數， \(d\) 給出分析。
\(d^2 = 0\) ：Clairaut–Schwarz 的幾何化身；統一梯度/旋度/散度。
Stokes 定理 \(\int_D d\omega = \int_{\partial D}\omega\) 一統四大積分公式。
de Rham 上同調：閉而不恰的形式探測拓樸；洞、磁單極、AB 效應同一語言。
Hodge 理論：拓樸類 = 調和形式 = Laplace 算子的核——分析與拓樸的合金。

下一節：李群與對稱——「什麼是對稱」的數學，從旋轉到標準模型的最終統一。