Poisson-Mannigfaltigkeit

Als Poisson-Mannigfaltigkeit bezeichnet man in der Mathematik eine differenzierbare Mannigfaltigkeit, die mit einer Poisson-Struktur versehen ist. Eine Poisson-Struktur ist eine bilineare Abbildung auf der Algebra der glatten Funktionen, welche die Eigenschaften einer Poisson-Klammer erfüllt. Benannt sind die Poisson-Mannigfaltigkeit, -Struktur und -Klammer nach dem Physiker und Mathematiker Siméon Denis Poisson.

Definition

Eine Poisson-Struktur auf einer differenzierbaren Mannigfaltigkeit $M$ ist eine bilineare Abbildung

$\{\cdot ,\cdot \}_{M}\colon C^{\infty }(M)\times C^{\infty }(M)\to C^{\infty }(M)$,

so dass die Klammer antisymmetrisch

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

ist, der Jacobi-Identität

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

genügt und für alle $f,g,h\in C^{\infty }(M)$ eine Derivation darstellt

$\{fg,h\}=f\{g,h\}+\{f,h\}g$.

Die bilineare Abbildung $\{\cdot ,\cdot \}$ der Poisson-Struktur heißt Poisson-Klammer und eine differenzierbare Mannigfaltigkeit mit Poisson-Struktur wird Poisson-Mannigfaltigkeit genannt.

Beispiel

Sei ${\mathfrak {g}}$ eine Lie-Algebra mit Lie-Klammer $[\cdot ,\cdot ]$ und ${\mathfrak {g}}^{*}$ ihr Dualraum mit der Paarung $\langle \cdot ,\cdot \rangle \colon {\mathfrak {g}}^{*}\times {\mathfrak {g}}\to \mathbb {R}$. Auf ${\mathfrak {g}}^{*}$ kann für $F,G\colon {\mathfrak {g}}^{*}\to \mathbb {R}$ durch

$\{F,G\}_{\pm }(\mu ):=\pm \left\langle \mu ,\left[{\frac {\delta F}{\delta \mu }},{\frac {\delta G}{\delta \mu }}\right]\right\rangle$

mit $\mu \in {\mathfrak {g}}^{*}$ eine Poisson-Klammer erklärt werden. Mit ${\tfrac {\delta F}{\delta \mu }}\in {\mathfrak {g}}$ wird hier die funktionale Ableitung von $F$ nach $\mu$ bezeichnet. Die Klammer $\{\cdot ,\cdot \}_{\pm }$ wird Lie-Poisson-Klammer genannt. Zusammen mit dieser Poisson-Klammer wird ${\mathfrak {g}}^{*}$ zu einer Poisson-Mannigfaltigkeit. Diese Aussage heißt Satz von Lie-Poisson.

Anwendungen

Insbesondere ist jede symplektische Mannigfaltigkeit auch eine Poisson-Mannigfaltigkeit. In diesem Fall ist dann die definierende Struktur

$\{f,g\}:=\sum _{ij}\omega ^{ij}\,\partial _{i}f\,\partial _{j}g$

durch eine 2-Form $\textstyle \omega =\sum _{ij}\omega _{ij}\,\mathrm {d} x^{i}\,\mathrm {d} x^{j}$ genannt den Poisson-Bivektor von $(M,\{,\}_{M})$, beziehungsweise deren Komponenten $\omega _{ij}$ in lokalen Koordinaten gegeben.

Poisson-Mannigfaltigkeiten können als algebraische Abstraktion von symplektischen Mannigfaltigkeit angesehen werden. Unterschiede bestehen neben einer viel größeren Klasse von Morphismen dann auch zum Beispiel darin, dass die Bedingung fallengelassen wird, die Poissonklammer solle nirgends singulär sein, also vollen Rang haben.

Anwendung findet dieser Kalkül beispielsweise in der Deformationstheorie. Er bietet dort Zugänge zur nichtkommutativen Geometrie und geometrischen Quantisierung.