消失條件：拉格朗日子流形是什麼
從第一篇你已有一個辛流形 (M, omega)：一個偶數維 2n 的光滑流形，帶著一個閉的（d omega = 0）且非退化的 2-形式 omega。非退化的意思是：若對所有 w 都有 omega(v, w) = 0，則必有 v = 0——在每一點，omega 是 T_p M 上一個反對稱、可逆的配對，是辛內積的幾何幽靈。現在問一個自然的子問題：在 M 的哪些子流形 L 上，omega 會變得盡可能退化？拉格朗日子流形是極端的答案——一個其上 omega 限制成恰好為零（omega|_L = 0）的子流形，而且它大到這個條件所容許的極限，也就是維數為 n，恰是 M 維數的一半。
為何「omega 消失」會把維數封頂在 n？在一點 p，T_p M 中一個其上 omega 恆為零的子空間，稱為迷向（isotropic）的。線性辛代數（與第一篇達布定理背後的那套代數相同）表明每個迷向子空間的維數至多為 n，而其中最大者——拉格朗日子空間——維數恰為 n。拉格朗日子流形不過就是這樣一個子流形：它在每一點的切空間 T_p L 都是 T_p M 的一個拉格朗日子空間。所以「半維且消滅 omega」這句口號是被逼出來的：在保持迷向的前提下，它已是你能做到的最大，並非隨意選定的尺寸。
模型例子：拉格朗日子流形究竟從何而來
抽象的定義要靠例子才能立足，所以先從那個典範來源說起。取任意流形 X，作它的餘切叢 T*X，從第一篇你已知它是萬有的辛流形：它帶著一個重言 1-形式 lambda（力學裡的「pdq」）以及辛形式 omega = -d lambda = dp ^ dq。零截面——X 在 T*X 中作為「餘向量為零」的那些點的拷貝——是最乾淨不過的拉格朗日子流形。沿著它，lambda 依構造而消失，所以 omega = -d lambda 限制為零，而它的維數是 dim X = n。基底流形以拉格朗日子流形的身分，重新出現在它自己的餘切叢裡。
現在來看那個解釋了為何物理學家與幾何學家在意此事的例子。設 alpha 是 X 上的一個 1-形式——也就是 T*X 的一個截面——並看它的圖像，即 T*X 中的集合 { (x, alpha_x) : x in X }。一個簡短的計算顯示，重言形式沿著這個圖像拉回正是 alpha 本身，所以這個圖像是拉格朗日的，當且僅當 d alpha = 0，也就是恰當 alpha 是閉 1-形式時。零截面是 alpha = 0 的特例。所以靠近零截面的拉格朗日子流形，無非就是閉 1-形式，而其中那些恰當的（alpha = df）就是函數微分的圖像——也就是貫穿哈密頓-雅可比理論的「生成函數」。這正是從第二篇的哈密頓流通往幾何的橋樑：一個拉格朗日子流形編碼了一個閉形式，而它在德拉姆上同調 H^1(X) 中的上同調類，度量了它離「單一函數的圖像」有多遠。
再兩個例子把整幅圖像鞏固起來，而第二個還帶著一句名言。第一：對角線。給定任意辛流形 (M, omega)，乘積 M x M 配上形式 omega (-) omega = pr_1*omega - pr_2*omega 是辛的，而對角線 { (m, m) } 是拉格朗日的——正是那個變號讓 omega 在其上消失。第二，由此而來的推論：一個微分同胚 f: M -> M 是辛同胚（保持 omega，即第一篇那種保結構映射），當且僅當它的圖像是 (M x M, omega (-) omega) 中的一個拉格朗日子流形。這正是溫斯坦的信條，半開玩笑半深刻：「萬物皆拉格朗日子流形。」映射、對稱、對應——把它們改寫成拉格朗日子流形，辛機器便會替你幹活。
拉格朗日格拉斯曼流形與馬斯洛夫指標的誕生
要用拉格朗日子流形做拓樸，我們首先需要單一點上「所有拉格朗日子流形」構成的空間。固定標準辛向量空間 (R^{2n}, omega_0)。它所有拉格朗日子空間構成的集合，就是拉格朗日格拉斯曼流形，記為 L(n) 或 Lambda(n)。具體地，它是一個光滑緊緻流形：么正群 U(n) 在拉格朗日子空間上可遞作用（把一個拉格朗日子空間想成某組么正複基底的實線性張成），而固定標準實拉格朗日子空間 R^n 的子群是正交群 O(n)，所以 L(n) = U(n)/O(n)，一個維數為 n(n+1)/2 的流形。最簡單的情形十分鮮明：L(1) 是平面中通過原點的直線之集合（二維中每條直線都是拉格朗日的），那就是實射影直線 RP^1，一個圓。
這裡是讓「指標」成為可能的拓樸奇蹟：拉格朗日格拉斯曼流形的基本群是整數，對每個 n 都有 pi_1(L(n)) = Z。（行列式平方映射 det^2: U(n)/O(n) -> S^1 是關鍵——它恰好偵測出一個圓那麼多的纏繞。）由於 pi_1 是 Z，一條由拉格朗日子空間構成的迴圈便帶有一個良定義的整數：它繞那唯一一個本質圓圈纏繞了幾次。這個整數就是馬斯洛夫指標。對 n = 1 你可以赤手空拳看出它：R^2 中通過原點的一族直線構成的迴圈，是 RP^1 中的一條路徑，而它的馬斯洛夫指標數的是這條直線轉了幾個半圈（之所以出現「加倍」，是因為一條直線在旋轉 180 度而非 360 度後便回到自身）。
為何要在意一族子空間的纏繞數？因為沿著 M 中的一個拉格朗日子流形 L，或沿著第二篇某個哈密頓流的軌道，當你繞行一條閉路徑時，切拉格朗日子空間 T_p L 恰好在 L(n) 中掃出這樣一條迴圈。這條迴圈的馬斯洛夫指標是該拉格朗日子流形的一個拓樸不變量（更精確地說，是相對於某個選定參考的迴圈之不變量），而它正是在量子力學的 WKB／半古典近似中作為相位修正出現的那個整數——修正天真的玻爾-索末菲量子化的「馬斯洛夫修正」。它也直接餵入弗洛爾理論，並用於交點的分級，那是第五篇所瞥見的現代前沿。這個指標把「形式消失」的柔軟圖像，化成你能計算、能相加的硬整數。
溫斯坦定理：拉格朗日子流形的鄰域就是它的餘切叢
第一篇給了你辛幾何的局部剛性：達布定理說所有辛流形在一點附近都長得一模一樣——沒有局部不變量，每個 (M, omega) 局部都是 (R^{2n}, omega_0)。溫斯坦定理是它的相對版本，把「一點附近」升級為「一個拉格朗日子流形附近」。溫斯坦拉格朗日鄰域定理斷言：若 L 是 (M, omega) 的一個（緊緻）拉格朗日子流形，則 L 在 M 中的一個鄰域辛同胚於餘切叢 (T*L, omega_canonical) 中零截面的一個鄰域，且這個辛同胚把 L 送到零截面。換句話說：在辛同胚意義下，一個拉格朗日子流形並不知道自己住在哪個辛流形裡——它的周遭環境永遠就是它自己的餘切叢。
證明是你在第一篇證達布定理時遇過的莫澤技巧的一次優美應用，所以這套方法應該讓你覺得熟悉而非陌生。你先在 L 的一個鄰域到零截面的一個鄰域之間造一個微分同胚，使兩個辛形式沿 L 一階吻合（這一步是線性代數，用到 T_p L 是拉格朗日的，因而它的辛正交補典範地就是 T*_p L）。接著你有兩個在 L 上吻合的辛形式，而莫澤的同倫論證——插值 omega_t = (1 - t) omega_0 + t omega_1，解出一個消滅差異的流——便把其一形變為另一，同時逐點固定 L。L 的緊緻性正是讓莫澤流在你所需的全部時間內都有定義的關鍵；去掉緊緻性，這個陳述就需要小心處理。
Darboux (Guide 1): near a POINT, every (M, omega) ~ (R^{2n}, omega_0)
Weinstein (this guide): near a LAGRANGIAN L,
(nbhd of L in M, omega) ~ (nbhd of zero section in T*L, -d lambda)
with L mapped to the zero section
Moser trick (shared engine):
omega_t = (1-t) omega_0 + t omega_1, d/dt omega_t = -d alpha
choose X_t with iota_{X_t} omega_t = alpha, flow it -> pulls omega_1 back to omega_0溫斯坦定理為何重要，以及誠實的告誡
回報在於：關於拉格朗日子流形的問題，化成了關於餘切叢的問題，而在那裡你握有完整的微積分。回想模型例子：在 C^1 意義下靠近 T*L 零截面的拉格朗日子流形，對應到 L 上的閉 1-形式。把這點與溫斯坦定理結合：任何作為 L 之微小形變的拉格朗日子流形 L'，都可由 L 上一個閉 1-形式描述；而若 H^1(L) = 0（例如 L 是球面），則每個鄰近的拉格朗日子流形都是某個 df 的圖像，於是它在 df = 0 之處與 L 相交——而 df 至少要在一個極大與一個極小處消失。這正是阿諾德猜想與拉格朗日交截理論的種子：透過 L 的拓樸（莫爾斯理論、貝蒂數）去計算被迫產生的交點。哈密頓辛同胚的不動點化為其圖像與對角線的交點，兩者都是拉格朗日子流形——溫斯坦「萬物皆拉格朗日」的定量化身。
- 檢驗候選的 L 是否為拉格朗日子流形：確認 dim L = n（dim M 的一半）「且」omega|_L = 0；對 T*X 中的一個圖像而言，這歸結為檢查對應的 1-形式是否為閉。
- 要計算馬斯洛夫指標，沿著切拉格朗日子空間 T_p L 在格拉斯曼流形 L(n) 中構成的迴圈走，並相對於你選定的參考拉格朗日子流形，透過映入 S^1 的 det^2 映射數它的纏繞。
- 要理解一個拉格朗日子流形的鄰域，援引溫斯坦定理：把 L 附近的環境 M 換成帶有典範形式的 T*L，再把幾何問題翻譯成 L 上的閉／恰當 1-形式。
- 要逼出交點，讀出 H^1(L) 與 L 的莫爾斯理論：H^1 為零再加上莫爾斯不等式，便給出鄰近拉格朗日子流形必與 L 共享多少點的下界。