A ug 2 00 5 Poisson reduction
Juan-Pablo Ortega,Tudor S. Ratiu
2005-01-01
Abstract:This encyclopedia article briefly reviews without proofs some of the main results in Poisson reduction. The article recalls most the necessary prerequisites to understand the main results. The Poisson reduction techniques allow the construction of new Poisson structures out of a given one by combination of two operations: restriction to submanifolds that satisfy certain compatibility assumptions and passage to a quotient space where certain degeneracies have been eliminated. For certain kinds of reduction it is necessary to pass first to a submanifold and then take a quotient. Before making this more explicit we introduce the notations that will be used in this article. All manifolds in this article are finite dimensional. Poisson manifolds. A Poisson manifold is a pair (M, {·, ·}), where M is a manifold and {·, ·} is a bilinear operation on C(M) such that (C(M), {·, ·}) is a Lie algebra and {·, ·} is a derivation (that is, the Leibniz identity holds) in each argument. The pair (C(M), {·, ·}) is also called a Poisson algebra. The functions in the center C(M) of the Lie algebra (C(M), {·, ·}) are called Casimir functions. From the natural isomorphism between derivations on C(M) and vector fields on M , it follows that each h ∈ C(M) induces a vector field on M via the expression Xh = {·, h}, called the Hamiltonian vector field associated to the Hamiltonian function h. The triplet (M, {·, ·}, h) is called a Poisson dynamical system . Any Hamiltonian system on a symplectic manifold is a Poisson dynamical system relative to the Poisson bracket induced by the symplectic structure. Given a Poisson dynamical system (M, {·, ·}, h), its integrals of motion or conserved quantities are defined as the centralizer of h in (C(M), {·, ·}) that is, the subalgebra of (C(M), {·, ·}) consisting of the functions f ∈ C(M) such that {f, h} = 0. Note that the terminology is justified since, by Hamilton’s equations in Poisson bracket form, we have ḟ = Xh[f ] = {f, h} = 0, that is, f is constant on the flow of Xh. A smooth mapping φ : M1 →M2, between the two Poisson manifolds (M1, {·, ·}1) and (M2, {·, ·}2) is called canonical or Poisson if for all g, h ∈ C(M2) we have φ {g, h}2 = {φ g, φg}1 . If φ : M1 → M2 is a smooth map between two Poisson manifolds (M1, {·, ·}1) and (M2, {·, ·}2) then φ is a Poisson map if and only if Tφ ◦Xh◦φ = Xh ◦ φ for any h ∈ C(M2), where Tφ : TM1 → TM2 denotes the tangent map (or derivative) of φ. Let (S, {·, ·}) and (M, {·, ·} ) be two Poisson manifolds such that S ⊂M and the inclusion iS : S →֒ M is an immersion. The Poisson manifold (S, {·, ·}) is called a Poisson submanifold of (M, {·, ·}) if iS is a canonical map. An immersed submanifold Q of M is called a quasi Poisson submanifold of (M, {·, ·} ) if for any q ∈ Q, any open neighborhood U of q in M , and any f ∈ C(U) we have Centre National de la Recherche Scientifique, Département de Mathématiques de Besançon, Université de FrancheComté. UFR des Sciences et Techniques. 16, route de Gray. F-25030 Besançon cedex. France. JuanPablo.Ortega@math.univ-fcomte.fr. Section de Mathématiques, École Polytechnique Fédérale de Lausanne, CH-1015 Lausanne, Switzerland. Tudor.Ratiu@epfl.ch.