Poisson Manifold - Definition

Definition

A Poisson bracket (or Poisson structure) on a smooth manifold M is a bilinear map

that satisfies the following three properties:

  • It is skew-symmetric: {f,g} = - {g,f}.
  • It obeys the Jacobi Identity: {f,{g,h}} + {g,{h,f}} + {h,{f,g}} = 0.
  • It obeys Leibniz's Rule with respect to the first argument: {fg,h} = f{g,h} + g{f,h}.

By skew-symmetry, the Poisson bracket automatically satisfies Leibniz's Rule with respect to the second argument. The last property basically states that the map f ↦ {f,g} is a derivation on C∞(M) for any fixed gC∞(M). Every derivation δ on C∞(M) can be written as a directional derivative (x) = (df)x((Xδ)x), where xM, for some vector field Xδ. It follows that for gC∞(M), we obtain a vector field Xg such that {f,g}(x) = (df)x((Xg)x), where xM (written more briefly, {f,g} = df(Xg)). The vector field Xg is called the Hamiltonian vector field corresponding to g. Notice that

,

where <⋅,⋅> is the pairing between the cotangent and tangent bundles of M. Therefore, {f,g} depends only on the differentials df and dg. Any Poisson bracket yields a map from the cotangent bundle to the tangent bundle that sends df to Xf.

Read more about this topic:  Poisson Manifold

Famous quotes containing the word definition:

    I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.”
    Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)

    One definition of man is “an intelligence served by organs.”
    Ralph Waldo Emerson (1803–1882)

    It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.
    François, Duc De La Rochefoucauld (1613–1680)