在數學中,泊松流形(Poisson manifold)是一個微分流形 M 使得 M 上光滑函數代數 C∞(M) 上裝備有一個雙線性映射稱為泊松括號,將其變成泊松代數。
每個辛流形是泊松流形,反之則不然。
M 上一個泊松結構(Poisson structure)是一個雙線性映射
![{\displaystyle \{,\}:C^{\infty }(M)\times C^{\infty }(M)\to C^{\infty }(M),\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19e8e124705f1de51ea7f0950e54d3727b56085b)
使得這個括號反對稱:
![{\displaystyle \{f,g\}=-\{g,f\},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bbf6f6dcfa02252e2b89a986ae2b572baa3a075)
服從雅可比恆等式:
![{\displaystyle \{f,\{g,h\}\}+\{g,\{h,f\}\}+\{h,\{f,g\}\}=0,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5c2a8a101f5d8f3ffe11f1bb5562b5ca4a4ffb9)
是 C∞(M) 關於第一個變量的導子:
對所有 ![{\displaystyle f,g,h\in C^{\infty }(M).\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fb556ca6d9aace283220d879748ad60fbfcbf85)
上一個性質有多種等價的表述。取定一個光滑函數 g ∈ C∞(M),我們有映射
是 C∞(M) 上一個導子。這意味着存在 M 上哈密頓向量場 Xg 使得
![{\displaystyle X_{g}(f)=\{f,g\}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bc78f0cfc1c772f0e0139d70abc26b8314a1e03)
對所有 f ∈ C∞(M)。這說明這個括號只取決於 f 的微分。從而,任何泊松結構有一個相伴的從 M 的餘切叢 T∗M 到切叢 TM 的映射
![{\displaystyle B_{M}:\mathrm {T} ^{*}M\to \mathrm {T} M,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba5a8b8ed63ae2b3a5adaf28aa8b0585efa79f34)
將 df 映為 Xf。
泊松雙向量[編輯]
餘切叢與切叢之間的映射意味着 M 上存在一個雙向量場 η,泊松雙向量(Poisson bivector),一個反對稱 2 張量
,使得
![{\displaystyle \{f,g\}=\langle \mathrm {d} f\otimes \mathrm {d} g,\eta \rangle ,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0ab31fa15cc02cd2f7b972b08c026d846f0f109)
這裡
是切叢與其對偶之間的配對。反之,給定 M 上一個雙向量場 η,這個公式可用來定義一個關於第一個變量為導子的反對稱括號。這個括號服從雅可比恆等式,從而定義了一個泊松結構當且僅當斯豪滕–尼延黑斯括號 [η,η] 等於 0。
在局部坐標中,雙向量在一點 x = (x1, ..., xm) 有表達式
![{\displaystyle \eta _{x}=\sum _{i,j=1}^{m}\eta _{ij}(x){\frac {\partial }{\partial x_{i}}}\otimes {\frac {\partial }{\partial x_{j}}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63c5a247570f0d440fdcf90b8287086d7347a7cd)
從而
![{\displaystyle \{f,g\}(x)=\sum _{i,j=1}^{m}\eta _{ij}(x){\frac {\partial f}{\partial x_{i}}}\otimes {\frac {\partial g}{\partial x_{j}}}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b18446c143a48db23404d1e60ed2b8d5ea69f8c9)
對一個辛流形,η 不過是由辛形式 ω 誘導的餘切叢與切叢之間的配對,存在性是其非退化保證。辛流形與泊松流形的差別在於辛形式必須無處奇異,而泊松雙向量不必處處都滿秩。當泊松雙向量處處為零時,稱流形有平凡泊松結構。
泊松映射[編輯]
泊松映射(Poisson map)定義為光滑映射
,從一個泊松流形 M 映到泊松流形 N,保持括號積:
![{\displaystyle \{f_{1},f_{2}\}_{N}\circ \phi =\{f_{1}\circ \phi ,f_{2}\circ \phi \}_{M}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f51531c8ad75f44aff82d4bae80652161d92fd9b)
這裡 { , }M 與 { , }N 分別是 M 與 N 上的泊松括號。
乘積流形[編輯]
給定兩個泊松流形 M 與 N,可以在乘積流形上定義一個泊松括號。設 f1 與 f2 是定義在乘積流形 M × N 上兩個光滑函數,利用在因子流形上的括號 { , }M 與 { , }N 定義乘積流形上的括號{ , }M×N:
![{\displaystyle \{f_{1},f_{2}\}_{M\times N}(x,y)=\{f_{1}(x,\cdot ),f_{2}(x,\cdot )\}_{N}(y)+\{f_{1}(\cdot ,y),f_{2}(\cdot ,y)\}_{M}(x)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d346a6a560400f04bbfa2d81c1dff29df064b0c5)
這裡 x ∈ M 與 y ∈ N 都是常數;這就有,當
![{\displaystyle f(\cdot ,\cdot ):M\times N\to \mathbb {R} ,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03a1ea032d13fe65c23195d2450fe450711c6938)
則蘊含着
![{\displaystyle f(x,\cdot ):N\to \mathbb {R} \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4fe626d78b8242892ec9afa4cd1ebf06aaed9d6)
與
![{\displaystyle f(\cdot ,y):M\to \mathbb {R} .\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9f7b49dd56df593e38bc71f0b440fd6dbfb4b37)
辛葉子[編輯]
一個泊松流形可以分成一族辛葉子(symplectic leaves)。每一片葉子是泊松流形的一個子流形,每片葉子自身是一個辛流形。兩個點在同一片葉子上如果他們由一個哈密頓向量場的積分曲線連接。即,哈密頓向量場的積分曲線在這個流形上定義了一個等價關係。這個等價關係的等價類就是辛葉子。
如果
是一個有限維李代數,
是其對偶空間,則李括號在
上誘導了一個泊松結構。令 f1 與 f2 是
上兩個函數,
是一點,可定義
![{\displaystyle \{f_{1},f_{2}\}(x)=\langle \;\left[(df_{1})_{x},(df_{2})_{x}\right]\,,x\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b407ae442518a6a6220e55887918d794997ad6de)
這裡
,而 [ , ] 是李括號。如果 ek 是李代數
上的局部坐標,則泊松雙向量由
![{\displaystyle \eta _{ij}(x)=\sum _{k}c_{ij}^{k}\langle x,e_{k}\rangle \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2616917d2b61c47aeea4aa53043c890888003c4b)
給出,這裡
是李代數的結構常數(structure constant)。
復結構[編輯]
一個復泊松流形(complex Poisson manifold)是一個具有復結構或殆復結構 J 的泊松流形使得復結構保持雙向量:
![{\displaystyle \left(J\otimes J\right)(\eta )=\eta .\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef9573f6a23f9f80bc1c7efd635eba07bdf12831)
復泊松流形的辛葉子是偽凱勒流形(pseudo-Kähler manifold)。
參考文獻[編輯]
- A. Lichnerowicz, "Les variétès de Poisson et leurs algèbres de Lie associées", J. Diff. Geom. 12 (1977), 253-300.
- A. A. Kirillov, "Local Lie algebras", Russ. Math. Surv. 31 (1976), 55-75.
- V. Guillemin, S. Sternberg, Symplectic Techniques in Physics, Cambridge Univ. Press 1984.
- P. Liberman, C.-M. Marle, Symplectic geometry and analytical mechanics, Reidel 1987.
- K. H. Bhaskara, K. Viswanath, Poisson algebras and Poisson manifolds, Longman 1988, ISBN 0-582-01989-3.
- I. Vaisman, Lectures on the Geometry of Poisson Manifolds, Birkhäuser, 1994. See also the review (頁面存檔備份,存於網際網路檔案館) by Ping Xu in the Bulletin of the AMS.