流、李括號、弗羅貝尼烏斯定理，以及莫爾斯理論初探

從向量場到流

在第 2 篇你認識了向量場 X，它在每一點 p 光滑地指定一個切向量 X_p 屬於 T_p M。到目前為止它只是一片靜態的箭頭。現在讓它動起來：想像在 p 處放下一粒灰塵，任由箭頭推著它走，永遠朝 X 所指的方向、以 |X| 所定的速度移動。它描出的軌跡就是過 p 的積分曲線——一條曲線 gamma(t)，滿足 gamma(0) = p 且對所有 t 有 gamma'(t) = X_{gamma(t)}。把過每一點的這種曲線同時收集起來，就得到 X 的流。

具體來說，流是一個映射 phi: (-epsilon, epsilon) x M -> M，記作 phi_t(p)，滿足 phi_0 = 恆等，且 phi_{s+t} = phi_s 與 phi_t 的複合。最後這條方程是核心所在：先流時間 s、再流時間 t，等同於流時間 s+t。因此 {phi_t} 是一個單參數微分同胚群——對每個固定的 t，phi_t 是 M 的一個微分同胚，其逆為 phi_{-t}。phi_t 的存在性與光滑性，正是常微分方程的存在唯一性定理，只是搬到流形上重新包裝。

李括號：兩個流交換嗎？

給定兩個向量場 X 與 Y，輪流跑它們的流。先沿 X 流時間 t，再沿 Y 流時間 t，再沿 X 倒流時間 t，再沿 Y 倒流時間 t。在 R^n 上、流都是直線時，你會精確回到出發點。但在彎曲的流形上——或當 X 與 Y 真正彼此糾纏時——你回不去：殘留下一小段位移。一階項消失，但二階剩餘是一個貨真價實的切向量，這個向量就是李括號[X, Y]。

同一個對象有更乾淨的代數面貌。把向量場看成作用在函數上的一階微分算子：X(f) 是 f 沿 X 的方向導數。那麼 XY 與 YX 都是二階算子，但它們的二階部分互相抵消，存活下來的又是一階的——一個向量場。這就是括號：[X, Y](f) = X(Y(f)) - Y(X(f))。兩種圖像彼此吻合，而括號正度量了 X 與 Y 的流不交換的程度。

[X, Y](f) = X(Y(f)) - Y(X(f))          (operator definition)

In coordinates, X = a^i d/dx^i,  Y = b^j d/dx^j:
  [X, Y]^k = a^i (db^k/dx^i) - b^i (da^k/dx^i)

Key identities:
  [X, Y] = -[Y, X]                       (antisymmetry)
  [X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] = 0   (Jacobi)
  flows commute   <=>   [X, Y] = 0

算子形式與座標形式下的括號，以及使向量場成為李代數的那些恆等式。

反對稱性與雅可比恆等式說明：M 上的向量場構成一個（無窮維的）李代數。這絕非巧合：當 M 是李群時，左不變向量場在恰好這個括號下構成有限維的李代數，而指數映射把一個左不變場送到它在時間 1 的流。你追逐灰塵算出的括號，正是統御 SU(2) 與其他每一個對稱群的那個括號。

弗羅貝尼烏斯定理：括號何時封閉？

現在假設在每一點你拿到的不是一個方向，而是 T_p M 內一整片 k 維平面 D_p，隨點光滑變化——一個秩為 k 的分佈。問可積性問題：能否把這些平面縫合成處處與 D 相切的 k 維子流形，就像流線把單一向量場縫成曲線那樣？有時可以（這些平面把 M「葉化」成葉片），有時則斷然不行。

弗羅貝尼烏斯定理給出精確且可檢驗的條件：D 可積，當且僅當它是對合的——只要 X 與 Y 是落在 D 中的向量場，它們的括號 [X, Y] 也落在 D 中。李括號正是那道障礙。若平面「扭轉」得使兩個相切場的括號戳出分佈之外，便不可能有積分子流形；若括號始終留在內部，葉片就有保證。這正是為何值得如此仔細地定義括號。

接觸幾何裡有個鮮明的反例。在 R^3 上取被 1-形式 dz - y dx 消滅的分佈；這些平面扭轉得如此猛烈，使得任兩點都能用始終與之相切的路徑相連，因此根本沒有任何曲面與該分佈相切。最大程度的非對合性——葉化的對立極端——恰恰就是一個接觸結構：括號使盡全力地戳了出去。

從一個函數讀出形狀：莫爾斯理論

現在把整個題目翻轉過來。不要在 M 上堆砌結構，而是取單一光滑函數 f: M -> R，問它能告訴你關於 M 的什麼。它的臨界點是微分 df 消失之處——f 的梯度流停滯的那些點。由薩德定理知幾乎每個值都是正則值，所以臨界點稀疏；有趣的資訊恰恰坐落在它們身上。若每個臨界點都是非退化的——黑塞矩陣（任一圖卡中二階導數構成的矩陣）在該處可逆——則 f 是一個莫爾斯函數。

在非退化臨界點處，莫爾斯引理說你可以選一組座標，使 f 恰好長成正負平方之和：f = -x_1^2 - ... - x_k^2 + x_{k+1}^2 + ... + x_n^2。減號的個數 k 就是莫爾斯指標——f 在其中下降的方向的維數。想像直立圓環面上的高度函數：底部一個極小值（指標 0），頂部一個極大值（指標 n），內側腰部兩個鞍點（指標 1）。指標衡量該點有多「鞍狀」。

在 M 上選一個莫爾斯函數 f（對嵌入的 M，由薩德定理，高度函數幾乎總是可行）。
讓 a 增大，向上掃過次水平集 M_a = { f <= a }。
越過正則值不改變任何拓撲——M_a 只是光滑地形變。
越過指標為 k 的臨界值，會在 M_a 上黏接一個 k-胞腔（一個「把手」）。
掃描結束時，M 便建構成一個 CW 複形，每個臨界點對應一個胞腔。

這正是妙處所在：單一函數逐胞腔地重建出整個流形的同倫型。數出每個指標的臨界點個數，便得到莫爾斯不等式——指標為 k 的臨界點個數至少是第 k 個貝蒂數 b_k，因此任何莫爾斯函數至少要有 b_k 之總和那麼多個臨界點。臨界點計數的交錯和等於歐拉示性數。本來要透過德拉姆上同調計算的拓撲，竟從觀察一個函數在何處變平就掉了出來。

本梯級如何串成一體

退一步看，這五篇指南構成一道完整的弧。圖卡給了我們 M；切叢給了我們向量；正則值定理與橫截性告訴我們原像與交集何時是流形；映射的度帶符號地數原像。本篇加進了動詞：流移動點，括號度量它們的不交換，弗羅貝尼烏斯定理判定一片平面場何時可積，而莫爾斯函數把 M 上的分析翻回它的拓撲。

誠實地說清楚這在哪裡打住。我們陳述了莫爾斯不等式與 CW 結構，卻沒有仔細證明把手黏接引理；那需要 f 的梯度流與一個橫截性論證，是 Milnor 書中的一整章，而非一個段落。更深的精煉——把測地線的指標與共軛點聯繫起來的莫爾斯指標定理——屬於黎曼幾何那一軌，且確實是一門完整的課。請把本篇當作地形的真實地圖，而非親自走過它的替代品。