Schouten–Nijenhuis bracket

In differential geometry, the Schouten–Nijenhuis bracket, also known as the Schouten bracket, is a type of graded Lie bracket defined on multivector fields on a smooth manifold extending the Lie bracket of vector fields. There are two different versions, both rather confusingly called by the same name. The most common version is defined on alternating multivector fields and makes them into a Gerstenhaber algebra, but there is also another version defined on symmetric multivector fields, which is more or less the same as the Poisson bracket on the cotangent bundle. It was discovered by Jan Arnoldus Schouten (1940, 1953) and its properties were investigated by his student Albert Nijenhuis (1955). It is related to but not the same as the Nijenhuis–Richardson bracket and the Frölicher–Nijenhuis bracket.

Definition and properties

An alternating multivector field is a section of the exterior algebraTM over the tangent bundle of a manifold M. The alternating multivector fields form a graded supercommutative ring with the product of a and b written as ab (some authors use ab). This is dual to the usual algebra of differential forms ΩM by the pairing on homogeneous elements:

The degree of a multivector A in ∧pTM is defined to be |A| = p.

The skew symmetric Schouten–Nijenhuis bracket is the unique extension of the Lie bracket of vector fields to a graded bracket on the space of alternating multivector fields that makes the alternating multivector fields into a Gerstenhaber algebra. It is given in terms of the Lie bracket of vector fields by

for vector fields ai, bj and

for vector fields ai and smooth function f, where idf is the common interior product operator. It has the following properties.

The Schouten–Nijenhuis bracket makes the multivector fields into a Lie superalgebra if the grading is changed to the one of opposite parity (so that the even and odd subspaces are switched), though with this new grading it is no longer a supercommutative ring. Accordingly, the Jacobi identity may also be expressed in the symmetrical form

Generalizations

There is a common generalization of the Schouten–Nijenhuis bracket for alternating multivector fields and the Frölicher–Nijenhuis bracket due to Vinogradov (1990).

A version of the Schouten–Nijenhuis bracket can also be defined for symmetric multivector fields in a similar way. The symmetric multivector fields can be identified with functions on the cotangent space T*(M) of M that are polynomial in the fiber, and under this identification the symmetric Schouten–Nijenhuis bracket corresponds to the Poisson bracket of functions on the symplectic manifold T*(M). There is a common generalization of the Schouten–Nijenhuis bracket for symmetric multivector fields and the Frölicher–Nijenhuis bracket due to Dubois-Violette and Peter W. Michor (1995).

References

External links

This article is issued from Wikipedia - version of the 12/31/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.