Poisson algebra

Poisson algebra

In mathematics, a Poisson algebra is an associative algebra together with a Lie bracket that also satisfies Leibniz' law; that is, the bracket is also a derivation. Poisson algebras appear naturally in Hamiltonian mechanics, and are also central in the study of quantum groups. Manifolds with a Poisson algebra structure are known as Poisson manifolds, of which the symplectic manifolds and the Poisson-Lie groups are a special case. The algebra is named in honour of Siméon-Denis Poisson.

Definition

A Poisson algebra is a vector space over a field "K" equipped with two bilinear products, cdot and { , }, having the following properties:

* The product cdot forms an associative "K"-algebra.

* The product { , }, called the Poisson bracket, forms a Lie algebra, and so it is anti-symmetric, and obeys the Jacobi identity.

* The Poisson bracket acts as a derivation of the associative product cdot, so that for any three elements "x", "y" and "z" in the algebra, one has {"x", "yz"} = {"x", "y"}"z" + "y"{"x", "z"}.

The last property often allows a variety of different formulations of the algebra to be given, as noted in the examples below.

Examples

Poisson algebras occur in various settings.

ymplectic manifolds

The space of real-valued smooth functions over a symplectic manifold forms a Poisson algebra. On a symplectic manifold, every real-valued function H on the manifold induces a vector field X_H, the Hamiltonian vector field. Then, given any two smooth functions F and G over the symplectic manifold, the Poisson bracket {,} may be defined as:

:{F,G}=dG(X_F),.

This definition is consistent in part because the Poisson bracket acts as a derivation. Equivalently, one may define the bracket {,} as

:X_{{F,G= [X_F,X_G] ,

where [,] is the Lie derivative. When the symplectic manifold is mathbb R^{2n} with the standard symplectic structure, then the Poisson bracket takes on the well-known form

:{F,G}=sum_{i=1}^n frac{partial F}{partial q_i}frac{partial G}{partial p_i}-frac{partial F}{partial p_i}frac{partial G}{partial q_i}.

Similar considerations apply for Poisson manifolds, which generalize symplectic manifolds by allowing the symplectic bivector to be vanishing on some (or trivially, all) of the manifold.

Associative algebras

If "A" is a noncommutative associative algebra, then the commutator ["x","y"] ≡"xy"−"yx" turns it into a Poisson algebra.

Vertex operator algebras

For a vertex operator algebra (V,Y, omega, 1), the space V/C_2(V) is a Poisson algebra with {a,b}=a_0b and a cdot b =a_{-1}b. For certain vertex operator algebras, these Poisson algebras are finite dimensional.

ee also

*Poisson superalgebra
*Antibracket algebra

References

*springer|id=p/p110170|title=Poisson algebra|author=Y. Kosmann-Schwarzbach


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Poisson manifold — In mathematics, a Poisson manifold is a differentiable manifold M such that the algebra of smooth functions over M is equipped with a bilinear map called the Poisson bracket, turning it into a Poisson algebra. Since their introduction by André… …   Wikipedia

  • Poisson bracket — In mathematics and classical mechanics, the Poisson bracket is an important operator in Hamiltonian mechanics, playing a central role in the definition of the time evolution of a dynamical system in the Hamiltonian formulation. In a more general… …   Wikipedia

  • Poisson ring — In mathematics, a Poisson ring A is a commutative ring on which a binary operation [,] , known as the Poisson bracket, is defined. Many important operations and results of symplectic geometry and Hamiltonian mechanics may be formulated in terms… …   Wikipedia

  • Poisson superalgebra — In mathematics, a Poisson superalgebra is a Z2 graded generalization of a Poisson algebra. Specifically, a Poisson superalgebra is an (associative) superalgebra A with a Lie superbracket: [cdot,cdot] : Aotimes A o Asuch that ( A , [ middot;,… …   Wikipedia

  • Poisson supermanifold — In differential geometry a Poisson supermanifold is a differential supermanifold M such that the supercommutative algebra of smooth functions over it (to clarify this: M is not a point set space and so, doesn t really exist, and really, this… …   Wikipedia

  • Poisson–Lie group — In mathematics, a Poisson–Lie group is a Poisson manifold that is also a Lie group, with the group multiplication being compatible with the Poisson algebra structure on the manifold. The algebra of a Poisson–Lie group is a Lie… …   Wikipedia

  • Álgebra sobre un cuerpo — En matemáticas, un álgebra sobre un cuerpo K, o una K álgebra, es un espacio vectorial A sobre K equipado con una noción compatible de multiplicación de elementos de A. Una generalización directa admite que K sea cualquier anillo conmutativo.… …   Wikipedia Español

  • Poisson-Klammer — Die Poisson Klammer (nach Siméon Denis Poisson) ist ein bilinearer Differentialoperator in der kanonischen (hamiltonschen) Mechanik. Sie ist definiert als wobei f und g Funktionen sind. Hierbei sind die qk die generalisierten Koordinaten …   Deutsch Wikipedia

  • Poisson-Mannigfaltigkeit — Als Poisson Mannigfaltigkeit bezeichnet man in der Mathematik eine differenzierbare Mannigfaltigkeit M, die mit einer bilinearen Algebra der glatten Funktionen auf M versehen ist, welche die Eigenschaften einer Poissonklammer erfüllt. Definition… …   Deutsch Wikipedia

  • Gerstenhaber algebra — In mathematics and theoretical physics, a Gerstenhaber algebra (sometimes called an antibracket algebra or braid algebra) is an algebraic structure discovered by Gerstenhaber (1963) that combines the structures of a supercommutative ring and a… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”