Nijenhuis–Richardson bracket explained

In mathematics, the algebraic bracket or Nijenhuis–Richardson bracket is a graded Lie algebra structure on the space of alternating multilinear forms of a vector space to itself, introduced by A. Nijenhuis and R. W. Richardson, Jr (1966, 1967). It is related to but not the same as the Frölicher–Nijenhuis bracket and the Schouten–Nijenhuis bracket.

Definition

The primary motivation for introducing the bracket was to develop a uniform framework for discussing all possible Lie algebra structures on a vector space, and subsequently the deformations of these structures. If V is a vector space and is an integer, let

\operatorname{Alt} ^{p(V)} = ({ w edge} ^{p+1} V ^{*) ⊗} V be the space of all skew-symmetric -multilinear mappings of V to itself. The direct sum Alt(V) is a graded vector space. A Lie algebra structure on V is determined by a skew-symmetric bilinear map . That is to say, μ is an element of Alt¹(V). Furthermore, μ must obey the Jacobi identity. The Nijenhuis–Richardson bracket supplies a systematic manner for expressing this identity in the form .

In detail, the bracket is a bilinear bracket operation defined on Alt(V) as follows. On homogeneous elements and, the Nijenhuis–Richardson bracket is given by

[P,Q] ^{\land} = i _{P} Q - ( -1 ) ^{pq} i _{Q} P . Here the interior product i_P is defined by(i _{P} Q)(X _{0,X} _{1,\ldots,X} _{p+q} ) = \sum _{\sigma\in Sh _{q+1,p}} sgn (\sigma) P(Q(X _{\sigma(0)} ,X _{\sigma(1)} ,\ldots,X _{\sigma(q)} ),X _{{\sigma(q+1)} },\ldots,X_)where Sh _{q+1,p} denotes (q+1, p)-shuffles of the indices, i.e. permutations \sigma of \{ 0 ,\ldots,p + q\} such that \sigma( 0 ) < … < \sigma(q) and \sigma(q +1 ) < … < \sigma(p + q) .

On non-homogeneous elements, the bracket is extended by bilinearity.

Derivations of the ring of forms

The Nijenhuis–Richardson bracket can be defined on the vector valued forms Ω^*(M, T(M)) on a smooth manifold Min a similar way. Vector valued forms act as derivations on the supercommutative ring Ω^*(M) of forms on Mby taking K to the derivation i_K, and the Nijenhuis–Richardson bracket then corresponds to the commutator of two derivations. This identifies Ω^*(M, T(M)) with the algebra of derivations that vanish on smooth functions. Not all derivations are of this form; for the structure of the full ring of all derivations see the article Frölicher–Nijenhuis bracket.

The Nijenhuis–Richardson bracket and the Frölicher–Nijenhuis bracket both make Ω^*(M, T(M)) into a graded superalgebra, but have different degrees.

References

• Pierre . Lecomte . Peter W. . Michor . Hubert . Schicketanz . The multigraded Nijenhuis–Richardson algebra, its universal property and application . J. Pure Appl. Algebra . 77 . 1 . 87–102 . 1992 . 10.1016/0022-4049(92)90032-B. math/9201257 .
  • P.W. . Michor . H. . Schicketanz . A cohomology for vector valued differential forms . Ann. Global Anal. Geom. . 7 . 163–9 . 1989 . 3 . 10.1007/BF00128296 . math.DG/9201255. 14688631 .
• A. . Nijenhuis . R. . Richardson . Cohomology and deformations in graded Lie algebras . Bull. Amer. Math. Soc. . 72 . 1–29 . 1966 . 10.1090/S0002-9904-1966-11401-5 . 0195995 . 10.1.1.333.2736 .
• A. . Nijenhuis . R. . Richardson . Deformation of Lie algebra structures . J. Math. Mech. . 17 . 89–105 . 1967 . 1 . 24902154.