扭對稱幾何 (英語:Symplectic geometry ),也叫扭對稱拓撲 (英語:Symplectic topology ),是微分幾何 的一個分支。其研究對象為扭對稱流形 ,亦即帶有閉 非退化 2-形式 的微分流形 。扭對稱拓撲源於經典力學 的哈密頓表述 ,其中特定經典系統的相空間 有扭對稱流形的結構。[ 1]
范德波爾振盪器 的相圖 ,是1維系統。其相空間 是扭對稱幾何最初的研究物件。
symplectic這個名詞,是赫爾曼·外爾 所提出來的[ 2] 。他原來把symplectic group(扭對稱群 )稱為complex group,以帶出line complex的含意。不過complex會令人聯想起complex number(複數 ),因此他將complex改為對應的希臘文symplectic一詞。complex源自拉丁文complexus一詞,詞根是co-(共同)+plexus(編織),意為「織在一起」,相對應希臘文詞根是sym-plektikos(συμπλεκτικός),結合成symplectic一詞。
由達布定理 ,扭對稱流形局部同構於標準扭對稱向量空間 ,因此只有全局(拓撲)不變量。研究扭對稱流形全局性質的「扭對稱拓撲」常與「扭對稱幾何」交替使用。
扭對稱幾何定義在光滑偶數維微分流形 上,其上定義了幾何物件,即扭對稱2形式,可以測量空間 中2維物體的大小。扭對稱形式之於扭對稱幾何中類似於度量張量 之於黎曼幾何 ,度量張量測量長度與角度,而扭對稱形式測量有向面積。[ 3]
扭對稱幾何來自經典力學 ,扭對稱結構的一個例子是物體在1維中的運動。要指定物體的運動軌跡,需要知道位置向量 q 和動量 p ,形成平面
R
2
{\displaystyle \mathbb {R} ^{2}}
上的點(p ,q ),這時,扭對稱形式 為
ω
=
d
p
∧
d
q
{\displaystyle \omega =dp\wedge dq}
是面積形式 ,通過積分 度量了平面內區域S 的面積A :
A
=
∫
S
ω
.
{\displaystyle A=\int _{S}\omega .}
保守動態系統 隨時間演化時,這個區域是不變的,所以它很重要。[ 3]
高維扭對稱幾何的定義與之類似。2n 維扭對稱幾何由一對方向組成
(
(
x
1
,
x
2
)
,
(
x
3
,
x
4
)
,
…
(
x
2
n
−
1
,
x
2
n
)
)
{\displaystyle ((x_{1},x_{2}),(x_{3},x_{4}),\ldots (x_{2n-1},x_{2n}))}
在2n 維流形中的扭對稱形式為
ω
=
d
x
1
∧
d
x
2
+
d
x
3
∧
d
x
4
+
⋯
+
d
x
2
n
−
1
∧
d
x
2
n
.
{\displaystyle \omega =dx_{1}\wedge dx_{2}+dx_{3}\wedge dx_{4}+\cdots +dx_{2n-1}\wedge dx_{2n}.}
此扭對稱形式得到空間中2n 維區域V 的大小,是V 在每對方向形成的平面上的投影面積之和[ 3]
A
=
∫
V
ω
=
∫
V
d
x
1
∧
d
x
2
+
∫
V
d
x
3
∧
d
x
4
+
⋯
+
∫
V
d
x
2
n
−
1
∧
d
x
2
n
.
{\displaystyle A=\int _{V}\omega =\int _{V}dx_{1}\wedge dx_{2}+\int _{V}dx_{3}\wedge dx_{4}+\cdots +\int _{V}dx_{2n-1}\wedge dx_{2n}.}
扭對稱拓撲和研究有非退化對稱2階張量(稱為度量張量 )的流形的黎曼幾何 有一些相似和不同之處。不像黎曼的情況,扭對稱流形沒有像曲率 那樣的局部不變量。這是達布定理 的一個結果,定理指出2n 維扭對稱流形任意點的鄰域與
R
2
n
{\displaystyle \mathbb {R} ^{2n}}
的開集上的標準扭對稱結構同構。另一個和黎曼幾何的區別是,不是所有的微分流形可以接受一個扭對稱形式;有一些特定的拓撲限制。首先,流形必須是偶數維、有向的。此外,若M 是閉扭對稱流形,則其第二德拉姆餘調 群
H
2
(
M
)
{\displaystyle H^{2}(M)}
非平凡,舉例來說這意味着唯一允許扭對稱形式的N維球面 是2維球面 。扭對稱拓撲的很多工作就是以研究哪些流形可以有扭對稱結構為中心的。黎曼幾何中的測地線 與扭對稱幾何中的偽全純曲線 也很相似:測地線是(局部)最短的曲線,而偽全純曲線是面積最小的曲面。它們在各自學科中都起着基礎性作用。
凱勒流形 都是扭對稱流形。到1970年代,扭對稱專家們還不確信是否有任何緊非凱勒扭對稱流形,但從那以後又很多例子被構造出來(第一個由威廉·瑟斯頓 給出);特別的,Robert Gompf證明每個有限表示群 都可以作為扭對稱4維流形的基本群 出現,這和凱勒的情形完全不同。
可以說大部分扭對稱流形都是非凱勒的,所以沒有和扭對稱形式相容的可積複結構。但是米哈伊爾·格羅莫夫 有重要發現:扭對稱流形可以接受很多相容的殆複結構 ,所以除了轉移映射 必須是全純 的這一條,扭對稱流形滿足凱勒流形的所有公理。
格羅莫夫利用扭對稱流形上殆複結構的存在發展了偽全純曲線的緊緻性 定理[ 4] ;這個結構導致了扭對稱拓撲一個很大的子學科的發展。從格羅莫夫的理論產生的結果包括關於球 到柱 的扭對稱嵌入的格羅莫夫非壓縮定理 ,和關於哈密頓流 的不動點 的個數的阿爾諾德的一個猜想的證明。這是由從安德烈斯·弗洛爾 開始的幾個研究者(逐步推廣到更一般的情形)所證明的,弗洛爾用格羅莫夫的方法引入了現在稱為弗洛爾同調 的概念。
偽全純曲線也是扭對稱不變量的一個來源,這種不變量稱為格羅莫夫–維騰不變量 ,原則上可以用來區分兩個不同的扭對稱流形。
Weyl, Hermann (1939). The Classical Groups. Their Invariants and Representations. Reprinted by Princeton University Press (1997). ISBN 0-691-05756-7 . MR0000255
McDuff, Dusa, What is Symplectic Geometry?, Hobbs, Catherine; Paycha, Sylvie (編), European Women in Mathematics – Proceedings of the 13th General Meeting, World Scientific: 33–51, 2010, CiteSeerX 10.1.1.433.1953 , ISBN 9789814277686
Gromov, Mikhael. "Pseudo holomorphic curves in symplectic manifolds." Inventiones mathematicae 82.2 (1985): 307–347.
Abraham, Ralph ; Marsden, Jerrold E. Foundations of Mechanics. London: Benjamin-Cummings. 1978. ISBN 978-0-8053-0102-1 .
Arnol'd, V. I. Первые шаги симплектической топологии [First steps in symplectic topology] . Успехи математических наук. 1986, 41 (6(252)): 3–18. ISSN 0036-0279 . S2CID 250908036 . doi:10.1070/RM1986v041n06ABEH004221 –透過Russian Mathematical Surveys , 1986, 41:6, 1–21 (俄語) .
McDuff, Dusa ; Salamon, D. Introduction to Symplectic Topology. Oxford University Press. 1998. ISBN 978-0-19-850451-1 .
Fomenko, A. T. Symplectic Geometry 2nd. Gordon and Breach. 1995. ISBN 978-2-88124-901-3 . (An undergraduate level introduction.)
de Gosson, Maurice A. Symplectic Geometry and Quantum Mechanics. Basel: Birkhäuser Verlag. 2006. ISBN 978-3-7643-7574-4 .
Weinstein, Alan . Symplectic Geometry (PDF) . Bulletin of the American Mathematical Society . 1981, 5 (1): 1–13 [2023-12-25 ] . doi:10.1090/s0273-0979-1981-14911-9 . (原始內容存檔 (PDF) 於2023-07-31).
Weyl, Hermann . The Classical Groups. Their Invariants and Representations. 1939. Reprinted by Princeton University Press (1997). ISBN 0-691-05756-7 . MR 0000255 .