微分幾何中,辛流形是裝備了非退化2-形式ω的光滑流形M,ω稱為辛形式。辛流形的研究稱為辛幾何辛拓撲。辛流形作為經典力學分析力學中流形的餘切叢自然出現,例如在經典力學的哈密頓表述中(這該領域的主要動機之一),系統所有可能構型的空間可以用流形建模,流形的餘切叢描述了該系統的相空間

一個辛流形上的任何實值可微函數H可以用作一個能量函數或者叫哈密頓量。和任何一個哈密頓量相關有一個哈密頓向量場;該哈密頓向量場的積分曲線哈密頓-雅可比方程的解。哈密頓向量場定義了辛流形上的一個流場,稱為哈密頓流場或者叫辛同胚。根據劉維爾定理,哈密頓流保持相空間的體積形式不變。

動機

辛流形來自經典力學,是封閉系統相空間的推廣。[1]哈密頓方程可從微分方程組推導系統的時間演化,辛形式也可從哈密頓函數H的微分dH得到描述系統流的向量場[2]因此需要線性映射 ,從切流形 餘切流形 ;或等價地, 的元素。令 表示 截面 非退化的要求確保了對每個微分 ,都有唯一對應的向量場 使 。由於我們希望哈密頓量沿流線是常值,所以應有 ,說明 是交替形式,因此是2形式。最後,我們要求 在流線作用下不變,即 沿 李導數為零。應用嘉當同倫公式,這相當於(此處 表示內積):

 

這樣,當對不同光滑函數H重複這過程,使相應的 在每點上張成切空間,便能發現任意光滑的H對應的 流的李導數為零,等同於說ω的。

定義

光滑流形M上的辛形式是閉非退化微分2形式 [3][4]當中,非退化是指對每個點 ,由 定義的切空間 中的斜對稱對非退化。也就是說,若 ,使得 ,則 。奇數維度下,斜對稱矩陣總是奇異的,所以 非退化意味着M只能是偶數維。[3][4]閉條件意味着 外導數為零。辛流形是一對 ,其中M是光滑流形, 是辛形式。賦予M以辛形式,稱作賦予M辛結構

體積形式

從定義可以直接得到每個辛流形M都是偶數維2n,這是因為 是無處為0的形式,辛體積形式。由此可以得到,每個辛流形是有一個標準的定向的,並且有一個標準的測度劉維爾測度(經常重整為 )。

例子

辛向量空間

  的基,在其上定義辛形式ω

 

這樣,辛形式簡化為二次型。用 表示n單位矩陣,則二次型矩陣Ω將由2n階方陣給出:

 

餘切叢

Qn維光滑流形,則餘切叢 的總空間具有自然辛形式,稱作龐加萊2形式,或正規辛形式

 

其中 Q上的任意局部坐標, 是關於切向量 的纖維坐標。餘切叢是經典力學的自然相空間。區分上下索引的關鍵在於流形有沒有度量張量黎曼流形就是這種情況。上下索引在坐標系變換下進行反變與協變變換。「關於切向量的纖維坐標」是說,動量 與速度 焊接」在一起,表達了速度與動量共線的概念,並相差標量因子。

凱勒流形

凱勒流形是具有相容可積復結構的辛流形,構成一類特殊的複流形,復代數幾何中有一大類例子。光滑復射影簇 都有辛形式,是射影空間 上的富比尼–施圖迪形式的限制。

殆複流形

具有與 相容的殆復結構的黎曼流形稱作殆複流形,推廣了凱勒流形,因為其不一定可積。也就是說,它們不一定來自流形上的復結構。

拉格朗日及其他子流形

辛流形 子流形有幾個自然的幾何概念:

  • M辛子流形(可能是任意偶數維)是子流形 ,且 S上的辛形式。
  • 迷向子流形是辛形式限制為零的子流形,即切空間都是環境流形切空間的迷向子空間。同樣,若子流形的切子空間都是余迷向的(迷向子空間的對偶),則子流形也稱作余迷向的。
  • 辛流形 拉格朗日子流形是辛形式  的限制為等於零的子流形,即 。拉格朗日子流形是最大迷向子流形。

辛同胚的圖像在積辛流形 上是拉格朗日子流形。其交顯示出光滑流形所不具備的剛性,阿諾德猜想給出了子流形的貝蒂數之和作為光滑拉格朗日子流形自交數的下界,而非光滑情形下的歐拉示性數

例子

 有全局坐標 ,則可將 賦以規範辛形式

 

 給出的標準拉格朗日子流形。形式  為零,因為給定任一對切向量 都有 考慮 情形,則 。注意,把它展開時

 

項都有因子 ,由定義等於0。

例子:餘切叢

流形的餘切叢局部建模在與第一例類似的空間上。可以證明,我們可以粘合這些仿射辛形式,因此該叢形成了辛流形。拉格朗日子流形的一個不太平凡的例子是流形餘切叢的零截面。例如,令

 

然後可以把 表為

 

其中我們將符號 視作 的坐標。可以考慮坐標  的子集,從而得到零截面。這個例子可重複用於由光滑函數 及其微分 的零軌跡(vanishing locus)定義的流形。

例子:參數子流形

考慮坐標為 的規範空間  的參數子流形是由坐標 參數化的曲面,使

 

拉格朗日括號 都為零,則是拉格朗日子流形。即,是拉格朗日子流形的等價條件是

 

這可以通過在拉格朗日子流形L的條件中展開

 

來看到。即,辛形式在切流形 (所有切向量)上必須為零:

 

利用 上的規範辛形式簡化結果:

 

而其他的都為零。

由於辛流形上的局部坐標圖具有規範形式,此例表明拉格朗日子流形相對來說不受約束。辛流形的分類由弗洛爾同調完成,這是莫爾斯理論在拉格朗日子流形間的映射的作用泛函中的應用。物理學中,作用量描述了物理系統的時間演化;這裡,它可視作對膜動力的描述。

例子:莫爾斯理論

另一類有用的拉格朗日子流形出現於莫爾斯理論。給定莫爾斯函數 ,且對足夠小的 ,可以構造拉格朗日子流形,其由零軌跡 給出。對一般莫爾斯函數,有拉格朗日交,由 給出。

特殊拉格朗日子流形

凱勒流形卡拉比-丘流形的情形下,可以在M上選擇 作為全純n形式,其中 是實部, 是虛部。若對拉格朗日子流形L 為零,則L特殊的。也就是說,限制在L上實部 的條件引導了L上的體積形式。以下例子稱作特殊拉格朗日子流形:

  1. 超凱勒流形的復拉格朗日子流形
  2. 卡拉比-丘流形的實結構的定點

SYZ猜想涉及鏡像對稱中特殊拉格朗日子流形的研究,見(Hitchin 1999)。

托馬斯-丘猜想預言,在拉格朗日量的哈密頓迷向類中的卡拉比-丘流形上存在特殊拉格朗日子流形,這等價於流形的深谷範疇上的布里奇蘭穩定性條件

拉格朗日纖維

線性辛流形

有一個標準「局部」模型,也就是 ,其中 。這是一個線性辛空間的例子。參看辛向量空間。一個稱為達布定理的命題表明局部來看每個辛流形都和這個簡單的辛流形相似。

拉格朗日纖維

辛流形M拉格朗日纖維是指所有纖維都是拉格朗日子流形的纖維。由於M是偶數維,所以可取局部坐標 ,由達布定理,辛形式ω(至少局部地)可以寫成 ,其中d表示外微分,∧表示外積。這種形式稱作龐加萊2形式或規範2形式。利用這種設置,我們可以局部地將M看成餘切叢 ,拉格朗日纖維則是平凡纖維 這便是規範圖像。

拉格朗日映射

 

L為辛流形 的由浸入 i拉格朗日浸入)給出的拉格朗日子流形。令 給出K的一個拉格朗日纖維,則 拉格朗日映射 臨界值集稱作焦散線

兩拉格朗日映射 ,若有微分同胚 使兩式右圖交換τ保留辛形式,則稱它們拉格朗日等價[4]用符號表示:

 

其中 表示 τ拉回

特例與推廣

  • 辛流形 的辛形式 若是正合的,則辛流形也是正合(exact)的。例如,光滑流形的餘切叢是正合辛流形。規範辛形式也正合。
  • 切叢具有殆復結構的意義上,賦予跟辛形式相容的度量的辛流形是殆凱勒流形,但不一定可積。
  • 辛流形是泊松流形的特例。
  • 度數為k多辛流形(multisymplectic manifold)是具備閉非退化k形式的流形。[5]
  • 聚辛流形(polysymplectic manifold)是具有聚辛切值 形式的勒讓德叢,用於哈密頓場論[6]

切觸流形

和辛流形緊密相關的有一個奇數維流形,稱為切觸流形。每個2n+1維切觸流形 給出一個2n+2維辛流形 

另見

腳註

  1. ^ Webster, Ben. What is a symplectic manifold, really?. 2012-01-09 [2023-12-25]. (原始內容存檔於2023-04-05). 
  2. ^ Cohn, Henry. Why symplectic geometry is the natural setting for classical mechanics. [2023-12-25]. (原始內容存檔於2023-05-20). 
  3. ^ 3.0 3.1 de Gosson, Maurice. Symplectic Geometry and Quantum Mechanics. Basel: Birkhäuser Verlag. 2006: 10. ISBN 3-7643-7574-4. 
  4. ^ 4.0 4.1 4.2 Arnold, V. I.; Varchenko, A. N.; Gusein-Zade, S. M. The Classification of Critical Points, Caustics and Wave Fronts: Singularities of Differentiable Maps, Vol 1. Birkhäuser. 1985. ISBN 0-8176-3187-9. 
  5. ^ Cantrijn, F.; Ibort, L. A.; de León, M. On the Geometry of Multisymplectic Manifolds. J. Austral. Math. Soc. Ser. A. 1999, 66 (3): 303–330. doi:10.1017/S1446788700036636 . 
  6. ^ Giachetta, G.; Mangiarotti, L.; Sardanashvily, G. Covariant Hamiltonian equations for field theory. Journal of Physics. 1999, A32 (38): 6629–6642. Bibcode:1999JPhA...32.6629G. S2CID 204899025. arXiv:hep-th/9904062 . doi:10.1088/0305-4470/32/38/302. 

參考文獻

閱讀更多