在數學中，泊松流形（Poisson manifold）是一個微分流形 _M_ 使得 _M_ 上光滑函數代數 _C_∞(_M_) 上裝備有一個雙線性映射稱為泊松括號，將其變成泊松代數。

每個辛流形是泊松流形，反之則不然。



定義

_M_ 上一個泊松結構（Poisson structure）是一個雙線性映射

　
: $\{,\}:C^{\infty }(M)\times C^{\infty }(M)\to C^{\infty }(M),\,$

使得這個括號反對稱：

　
: $\{f,g\}=-\{g,f\},\,$

服從雅可比恆等式：

　
: $\{f,\{g,h\}\}+\{g,\{h,f\}\}+\{h,\{f,g\}\}=0,\,$

是 _C_∞(_M_) 關於第一個變量的導子：

　
: $\{fg,h\}=f\{g,h\}+g\{f,h\}$ 對所有 $f,g,h\in C^{\infty }(M).\,$

上一個性質有多種等價的表述。取定一個光滑函數 _g_ ∈ _C_∞(_M_)，我們有映射 $f\mapsto \{g,f\}$ 是 _C_∞(_M_) 上一個導子。這意味著存在 _M_ 上哈密頓向量場 _X_g 使得

　
: $X_{g}(f)=\{f,g\}\,$

對所有 _f_ ∈ _C_∞(_M_)。這說明這個括號只取決於 _f_ 的微分。從而，任何泊松結構有一個相伴的從 _M_ 的餘切叢 T∗_M_ 到切叢 T_M_ 的映射

　
: $B_{M}:\mathrm {T} ^{*}M\to \mathrm {T} M,\,$

將 d_f_ 映為 _X_f。



泊松雙向量

餘切叢與切叢之間的映射意味著 _M_ 上存在一個雙向量場 _η_，泊松雙向量（Poisson bivector），一個反對稱 2 張量 $\eta \in \bigwedge ^{2}TM$ ，使得

　
: $\{f,g\}=\langle \mathrm {d} f\otimes \mathrm {d} g,\eta \rangle ,\,$

這裡 $\langle ,\rangle $ 是切叢與其對偶之間的配對。反之，給定 _M_ 上一個雙向量場 _η_，這個公式可用來定義一個關於第一個變量為導子的反對稱括號。這個括號服從雅可比恆等式，從而定義了一個泊松結構若且唯若斯豪滕–尼延黑斯括號 [_η_,_η_] 等於 0。

在局部坐標中，雙向量在一點 _x_ = (_x_1, ..., _x_m) 有表達式

　
: $\eta _{x}=\sum _{i,j=1}^{m}\eta _{ij}(x){\frac {\partial }{\partial x_{i}}}\otimes {\frac {\partial }{\partial x_{j}}}\,$

從而

　
: $\{f,g\}(x)=\sum _{i,j=1}^{m}\eta _{ij}(x){\frac {\partial f}{\partial x_{i}}}\otimes {\frac {\partial g}{\partial x_{j}}}.\,$

對一個辛流形，_η_ 不過是由辛形式 _ω_ 誘導的餘切叢與切叢之間的配對，存在性是其非退化保證。辛流形與泊松流形的差別在於辛形式必須無處奇異，而泊松雙向量不必處處都滿秩。當泊松雙向量處處為零時，稱流形有平凡泊松結構。



泊松映射

泊松映射（Poisson map）定義為光滑映射 $\phi :M\to N$ ，從一個泊松流形 _M_ 映到泊松流形 _N_，保持括號積：

　
: $\{f_{1},f_{2}\}_{N}\circ \phi =\{f_{1}\circ \phi ,f_{2}\circ \phi \}_{M}\,$

這裡 {,}M 與 {,}N 分別是 _M_ 與 _N_ 上的泊松括號。



乘積流形

給定兩個泊松流形 _M_ 與 _N_，可以在乘積流形上定義一個泊松括號。設 _f_1 與 _f_2 是定義在乘積流形 _M_ × _N_ 上兩個光滑函數，利用在因子流形上的括號 {,}M 與 {,}N 定義乘積流形上的括號 {,}M×_N_：

　
: $\{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)\,$

這裡 _x_ ∈ _M_ 與 _y_ ∈ _N_ 都是常數；這就有，當

　
: $f(\cdot ,\cdot ):M\times N\to \mathbb {R} ,\,$

則蘊含著

　
: $f(x,\cdot ):N\to \mathbb {R} \,$

與

　
: $f(\cdot ,y):M\to \mathbb {R} .\,$



辛葉子

一個泊松流形可以分成一族辛葉子（symplectic leaves）。每一片葉子是泊松流形的一個子流形，每片葉子自身是一個辛流形。兩個點在同一片葉子上如果他們由一個哈密頓向量場的積分曲線連接。即，哈密頓向量場的積分曲線在這個流形上定義了一個等價關係。這個等價關係的等價類就是辛葉子。



例子

如果 ${\mathfrak {g}}$ 是一個有限維李代數， ${\mathfrak {g}}^{*}$ 是其對偶空間，則李括號在 ${\mathfrak {g}}^{*}$ 上誘導了一個泊松結構。令 _f_1 與 _f_2 是 ${\mathfrak {g}}^{*}$ 上兩個函數， $x\in {\mathfrak {g}}^{*}$ 是一點，可定義

　
: $\{f_{1},f_{2}\}(x)=\langle \;\left[(df_{1})_{x},(df_{2})_{x}\right]\,,x\rangle $

這裡 $\mathrm {d} f\in ({\mathfrak {g}}^{*})^{*}\simeq {\mathfrak {g}}$ ，而 [,] 是李括號。如果 _e_k 是李代數 ${\mathfrak {g}}$ 上的局部坐標，則泊松雙向量由

　
: $\eta _{ij}(x)=\sum _{k}c_{ij}^{k}\langle x,e_{k}\rangle \,$

給出，這裡 $c_{ij}^{k}$ 是李代數的結構常數（structure constant）。



復結構

一個復泊松流形（complex Poisson manifold）是一個具有復結構或殆復結構 _J_ 的泊松流形使得復結構保持雙向量：

　
: $\left(J\otimes J\right)(\eta )=\eta .\,$

復泊松流形的辛葉子是偽凱勒流形（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.