Poisson manifold

From Wikipedia, the free encyclopedia

What is the poisson curve?
In mathematics, a Poisson manifold is a differential manifold M such that the algebra of smooth functions over it, C^\infty(M) is equipped with a bilinear map called the Poisson bracket, turning it into a Poisson algebra.

Every symplectic manifold is a Poisson manifold but not vice versa.

Contents

[edit] Definition

A Poisson structure on M is a bilinear map

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

such that the bracket is skew symmetric:

{f,g} = − {g,f},

obeys the Jacobi identity:

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

and is a derivation of C^\infty(M) in its first argument:

{fg,h} = f{g,h} + g{f,h}, for all f,g,h \in C^\infty(M).

The last property allows several equivalent formulations. Fixing an element g \in C^\infty(M), one has that the map f\mapsto \{g,f\} is a derivation on C^\infty(M). This implies the existence of a Hamiltonian vector field Xg on M such that

Xg(f) = {f,g}

for all f \in C^\infty(M). This implies that the bracket depends only on the differential of g, and because its skew-symmetric, it depends only on the differential of f. Thus, associated with any Poisson map is a map from the cotangent bundle T * M to the tangent bundle TM

B_M:T^*M\to TM

which maps as BM(df) = Xf.

[edit] Poisson bivector

The map between the cotangent and tangent bundles implies the existence of a bivector field ηM on M, the Poisson bivector, a skew-symmetric 2-tensor \eta_M\in \bigwedge^2 TM, such that

\{f,g\}_M = \langle df\otimes dg, \eta_M \rangle

where \langle , \rangle is the pairing between the tangent bundle and its dual. Conversely, a smooth bivector field η on M which obeys the Jacobi identity can be used to give the manifold a Poisson structure.

In local coordinates, the bivector at point x=(x_1,\ldots,x_m) has the expression

\eta_x=\sum_{i,j=1}^m \eta_{ij}(x) \frac {\partial}{\partial x_i} \otimes \frac {\partial}{\partial x_j}

so that

\{f,g\}(x)=\sum_{i,j=1}^m \eta_{ij}(x) \frac {\partial f}{\partial x_i} \otimes \frac {\partial g}{\partial x_j}

For a symplectic manifold, η is nothing other than the pairing between tangent and cotangent bundle induced by the symplectic form ω, which exists because it is nondegenerate. The difference between a symplectic manifold and a Poisson manifold is that the symplectic form must be nowhere singular, whereas the Poisson bivector does not need to be of full rank everywhere. When the Poisson bivector is zero everywhere, the manifold is said to possess the trivial Poisson structure.

[edit] Poisson map

A Poisson map is defined as a smooth map \phi:M\to N, which maps the Poisson manifold M to the Poisson manifold N, in such a way that the product structure is preserved:

\{f_1,f_2\}_N \circ \phi = \{f_1\circ \phi, f_2 \circ \phi\}_M

where {,}M and {,}N are the Poisson brackets on M and N respectively.

[edit] Product manifold

Given two Poisson manifolds M and N, a Poisson bracket may be defined on the product manifold. Letting f1 and f2 be two smooth functions defined on the product manifold M\times N, one defines the Poisson bracket \{\,,\,\}_{M\times N} on the product manifold in terms of the brackets \{\,,\,\}_{M} and \{\,,\,\}_{N} on each of the individual manifolds:

\{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)

where x\in M and y\in N are held constant; that is, so that when

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

then

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

and

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

is implied.

[edit] Symplectic leaves

A Poisson manifold can be split into a collection of symplectic leaves. Each leaf is a submanifold of the Poisson manifold, and each leaf is a symplectic manifold itself. Two points lie in the same leaf if they are joined by the integral curve of a Hamiltonian vector field. That is, the integral curves of the Hamiltonian vector fields define an equivalence relation on the manifold. The equivalence classes of this relation are the symplectic leaves.

[edit] Example

If \mathfrak{g} is a finite-dimensional Lie algebra, and \mathfrak{g}^* is its dual vector space, then the Lie bracket induces a Poisson structure on \mathfrak{g}^*. Thus, letting f1 and f2 be functions on \mathfrak{g}^*, and x\in \mathfrak{g}^* a point, one may define

\{f_1,f_2\}(x) = \langle \;\left[(df_1)_x, (df_2)_x \right] \,, x \rangle

where df \in (\mathfrak{g}^*)^* \simeq \mathfrak{g}, and [,] is the Lie bracket. If ek are the local coordinates on the Lie algebra \mathfrak{g}, then the Poisson bivector is given by

\eta_{ij}(x) = \sum_k c_{ij}^k \langle x, e_k\rangle

where the c_{ij}^k are the structure constants of the Lie algebra.

[edit] Complex structure

A complex Poisson manifold is a Poisson manifold with a complex or almost complex structure J such that the complex structure preserves the bivector:

\left(J \otimes J\right)(\eta) = \eta

The symplectic leaves of a complex Poisson manifold are pseudo-Kähler manifolds.

[edit] See also

[edit] References

  • 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.
Retrieved from "http://en.wikipedia.org../../../p/o/i/Poisson_manifold.html"
In other languages