泊松流形

在数学中，泊松流形（Poisson manifold）是一个微分流形 使得 上光滑函数代数 ∞() 上装备有一个双线性映射称为泊松括号，将其变成泊松代数。

每个辛流形是泊松流形，反之则不然。

上一个泊松结构（Poisson structure）是一个双线性映射

使得这个括号反对称：

服从雅可比恒等式：

是 ∞() 关于第一个变量的导子：

上一个性质有多种等价的表述。取定一个光滑函数  ∈ ∞()，我们有映射 ${\displaystyle f\mapsto <!--\; \mapsto \; -->\{g,f\}}$∞() 上一个导子。这意味着存在 上哈密顿向量场 使得

对所有 ∈ ∞()。这说明这个括号只取决于 的微分。从而，任何泊松结构有一个相伴的从 的余切丛 T∗ 到切丛 T 的映射

将 d 映为 。

余切丛与切丛之间的映射意味着 上存在一个双向量场 ，泊松双向量（Poisson bivector），一个反对称 2 张量 ${\displaystyle \mathrm{\eta <!--\; \eta \; -->}\in <!--\; \in \; -->\stackrel{2}{\bigwedge <!--\; \bigwedge \; -->}TM}$ 上一个双向量场 ，这个公式可用来定义一个关于第一个变量为导子的反对称括号。这个括号服从雅可比恒等式，从而定义了一个泊松结构当且仅当斯豪滕–尼延黑斯括号 等于 0。

在局部坐标中，双向量在一点  = (₁, ..., ) 有表达式

从而

对一个辛流形， 不过是由辛形式 诱导的余切丛与切丛之间的配对，存在性是其非退化保证。辛流形与泊松流形的差别在于辛形式必须无处奇异，而泊松双向量不必处处都满秩。当泊松双向量处处为零时，称流形有平凡泊松结构。

泊松映射（Poisson map）定义为光滑映射 ${\displaystyle \mathrm{\varphi <!--\; \varphi \; -->}:M\to <!--\; \to \; -->N}$ 映到泊松流形 ，保持括号积：

这里 { , } 与 { , } 分别是 与 上的泊松括号。

给定两个泊松流形 与 ，可以在乘积流形上定义一个泊松括号。设 ₁ 与 ₂ 是定义在乘积流形  ×  上两个光滑函数，利用在因子流形上的括号 { , } 与 { , } 定义乘积流形上的括号{ , }_×：

这里  ∈  与  ∈  都是常数；这就有，当

则蕴含着

与

一个泊松流形可以分成一族辛叶子（symplectic leaves）。每一片叶子是泊松流形的一个子流形，每片叶子自身是一个辛流形。两个点在同一片叶子上如果他们由一个哈密顿向量场的积分曲线连接。即，哈密顿向量场的积分曲线在这个流形上定义了一个等价关系。这个等价关系的等价类就是辛叶子。

如果 ${\displaystyle \mathfrak{g}}$₁ 与 ₂ 是 ${\displaystyle {\mathfrak{g}}^{\ast <!--\; \ast \; -->}}$ 是李代数 ${\displaystyle \mathfrak{g}}$ 的泊松流形使得复结构保持双向量：

复泊松流形的辛叶子是伪凯勒流形（pseudo-Kähler manifold）。