從偶到奇:接觸幾何為何存在
在前四篇導覽裡,我們一直待在辛流形 (M, omega) 上:一個帶有閉且非退化 2-形式的偶數維空間。非退化性逼出了偶數維,因為奇數維向量空間上的反對稱形式必定有核。於是自然要問:奇數維流形上的「正確」結構是什麼?答案就是接觸幾何,而它絕非辛幾何的窮親戚——它正是時間流動、哈密頓系統的能量超曲面,以及辛區域邊界自然棲居之處。
用文字描繪一下這幅圖。在 (2n+1) 維流形 M 上,我們在每個點 p 選定 T_p M 內一個 2n 維的超平面 xi_p——一族光滑變動的超平面。其核心要求是:這個超平面場要盡可能遠離與任何超曲面相切,它必須扭轉得如此劇烈,以致沒有任何曲面能在開集上始終與它相切。這種「最大程度的扭轉」就是「接觸」的含義,而最乾淨的編碼方式便是一個 1-形式。
接觸條件:最大非可積性
設超平面場是某個 1-形式 alpha 的核,亦即 xi = ker(alpha)。何時 xi 才是接觸結構?條件是 alpha ^ (d alpha)^n 在 M 上處處不為零,其中 (d alpha)^n 是 d alpha 與自身做 n 次楔積。回憶本階第 1 篇導覽:弗羅貝尼烏斯可積性說的是「超平面場與某葉狀結構相切,當且僅當 d alpha ^ alpha = 0」。接觸條件正是它響亮的反面:alpha ^ (d alpha)^n 是一個體積形式,於是這個場是最大非可積的。任何超曲面的任何片段都無法與 xi 相切。
Symplectic (even, dim 2n): omega closed, omega^n != 0 (volume form) Contact (odd, dim 2n+1): alpha ^ (d alpha)^n != 0 (volume form) Local model (Darboux): symplectic: omega = dp_1 ^ dq_1 + ... + dp_n ^ dq_n contact: alpha = dz - p_1 dq_1 - ... - p_n dq_n
你在第 1 篇遇過的達布定理在接觸幾何裡也有對應版本:每個接觸形式在局部都長得像 R^(2n+1) 上的標準模型 alpha = dz - sum p_i dq_i。所以,正如辛流形沒有局部不變量,接觸流形在局部也彼此完全相同。每一個有趣的問題——例如固定流形上哪些接觸結構真正不同——都是整體性的,這與辛世界如出一轍。
雷布場:奇數維流形上的典範流
選定一個接觸形式 alpha(而不只是超平面場),就獲贈一份免費禮物:一個特殊的向量場。雷布向量場 R 是同時滿足兩條方程的唯一向量場——d alpha(R, .) = 0 與 alpha(R) = 1。第一條說 R 落在 d alpha 的核裡;第二條則把它規範成橫截於接觸平面 xi。由於 alpha ^ (d alpha)^n 是體積形式,這兩個條件恰好有唯一解,因此一旦固定 alpha,R 便存在且唯一。
拿它和第 2 篇的哈密頓向量場比一比。在那裡,給定能量 H,你解 omega(X_H, .) = dH 得到流。這裡 d alpha 在平面 xi 上扮演 omega 的角色,而規範化 alpha(R) = 1 則扮演固定能量層的角色。雷布流是接觸流形上自然的「時鐘」;在黎曼流形的單位餘切叢上,典範接觸形式限制了劉維爾形式,此時雷布流恰好就是測地流。這個單一例子值得熟記:雷布軌道推廣了閉測地線。
接觸流形內還有一類特殊的子流形,它們是拉格朗日子流形在奇數維的表親。勒讓德子流形是 (2n+1) 維 M 中的一個 n 維子流形 L,處處與接觸平面相切——也就是 alpha 限制在 L 上為零。標準接觸 R^3 中的勒讓德紐結正是接觸拓樸變得明顯豐富的遊樂場:兩個勒讓德紐結可以光滑同痕卻在勒讓德意義下不同,這能由瑟斯頓–本內昆數之類的不變量偵測出來。
辛化與接觸型:把兩個世界黏起來
偶數與奇數的世界並非彼此隔絕的國度;其一正是另一者的邊界。給定接觸流形 (M, alpha),乘積 R x M 配上 2-形式 omega = d(e^s alpha)(其中 s 是 R 上的座標)就是一個如假包換的辛流形——M 的辛化。反過來,許多辛流形的邊界會繼承一個接觸結構:辛流形中的超曲面在存在一個橫截向量場 Y 使李導數 L_Y omega = omega 時稱為「接觸型」,此時 alpha = (iota_Y omega) 限制在該超曲面上便是接觸形式。這恰恰把第 2 篇的能量超曲面圖像結構化了。
為何要在意?因為接觸型超曲面上的閉雷布軌道,正是哈密頓系統在固定能量下的週期軌道。魏因斯坦猜想——每個閉接觸流形至少有一條閉雷布軌道——正是力學中數百年來尋覓週期軌道這件事的現代幾何化身。它在三維情形由陶布斯運用塞伯格–維騰理論證明,一般情形仍未解決。這種誠實的缺口是本領域的典型樣貌:猜想乾淨俐落,證明卻動用最重的機器,而「一般情形未解決」才是常態。
辛拓樸一瞥:非擠壓
我們以一個把辛幾何變成辛拓樸的結果,為整階畫下句點。從第 2 篇你已知道辛同胚保持劉維爾體積 omega^n。一個天真的猜測是:也許保體積就是唯一的限制,於是凡能用保體積映射對某區域做到的事,也都能用辛映射做到。格羅莫夫 1985 年的定理粉碎了這個猜測。
格羅莫夫非擠壓定理說:在帶座標 (q_1, p_1, ..., q_n, p_n) 的標準 R^(2n) 中,半徑為 r 的球能辛嵌入到圓柱 { q_1^2 + p_1^2 < R^2 } 內,當且僅當 r 不超過 R。這圓柱體積無限大,所以單靠體積論證允許任意 r——然而在辛意義下,球無法在那唯一的共軛平面 (q_1, p_1) 中被擠過半徑 R。這是體積看不見的、貨真價實的剛性。其證明引入了擬全純曲線,也就是格羅莫夫–維騰不變量與弗洛爾理論背後的技術;這裡我們只陳述並闡發它,並不證明——真正的證明是一門課,而非一段話。
這一階把你帶到何處
退一步,看看這五篇導覽的弧線。達布告訴我們沒有局部不變量;哈密頓流與帕松括號把古典力學變成幾何;拉格朗日子流形與魏因斯坦鄰域定理說辛世界是圍繞著它的拉格朗日子流形組織起來的;矩映射與約化萃取了對稱性;而現在接觸幾何與非擠壓則揭示了奇數維的邊界,以及藏在其中那令人驚訝的剛性。
誠實的下一步,並言明先備知識。要更深入辛拓樸,你需要擬全純曲線,它依賴橢圓型偏微分方程與模空間的分析——McDuff 與 Salamon 的書是標準的攀登路線。若偏代數風味,弗洛爾同調會接上你在本階梯他處可能遇到的指標理論。這些都不輕鬆;但全都直接建立在這五篇導覽所具體化的東西之上。你現在握有詞彙與圖像;那些定理,就是下一座山。