Frölicher–Nijenhuis bracket

In mathematics, the Frölicher–Nijenhuis bracket is an extension of the Lie bracket of vector fields to vector-valued differential forms on a differentiable manifold. It is useful in the study of connections, notably the Ehresmann connection, as well as in the more general study of projections in the tangent bundle. It was introduced by Alfred Frölicher and Albert Nijenhuis (1956) and is related to the work of Schouten (1940).

It is related to but not the same as the Nijenhuis–Richardson bracket and the Schouten–Nijenhuis bracket.

Definition

Let Ω*(M) be the sheaf of exterior algebras of differential forms on a smooth manifold M. This is a graded algebra in which forms are graded by degree:

[math]\displaystyle{ \Omega^*(M) = \bigoplus_{k=0}^\infty \Omega^k(M). }[/math]

A graded derivation of degree ℓ is a mapping

[math]\displaystyle{ D:\Omega^*(M)\to\Omega^{*+l}(M) }[/math]

which is linear with respect to constants and satisfies

[math]\displaystyle{ D(\alpha\wedge\beta) = D(\alpha)\wedge\beta + (-1)^{\ell\deg(\alpha)}\alpha\wedge D(\beta). }[/math]

Thus, in particular, the interior product with a vector defines a graded derivation of degree ℓ = −1, whereas the exterior derivative is a graded derivation of degree ℓ = 1.

The vector space of all derivations of degree ℓ is denoted by Der_ℓΩ*(M). The direct sum of these spaces is a graded vector space whose homogeneous components consist of all graded derivations of a given degree; it is denoted

[math]\displaystyle{ \mathrm{Der}\, \Omega^*(M) = \bigoplus_{k=-\infty}^\infty \mathrm{Der}_k\, \Omega^*(M). }[/math]

This forms a graded Lie superalgebra under the anticommutator of derivations defined on homogeneous derivations D₁ and D₂ of degrees d₁ and d₂, respectively, by

[math]\displaystyle{ [D_1,D_2] = D_1\circ D_2 - (-1)^{d_1d_2}D_2\circ D_1. }[/math]

Any vector-valued differential form K in Ω^k(M, TM) with values in the tangent bundle of M defines a graded derivation of degree k − 1, denoted by i_K, and called the insertion operator. For ω ∈ Ω^ℓ(M),

[math]\displaystyle{ i_K\,\omega(X_1,\dots,X_{k+\ell-1})=\frac{1}{k!(\ell-1)!}\sum_{\sigma\in{S}_{k+\ell-1}}\textrm{sign}\,\sigma \cdot \omega(K(X_{\sigma(1)},\dots,X_{\sigma(k)}),X_{\sigma(k+1)},\dots,X_{\sigma(k+\ell-1)}) }[/math]

The Nijenhuis–Lie derivative along K ∈ Ω^k(M, TM) is defined by

[math]\displaystyle{ \mathcal{L}_K = [d,i_K] =d\,{\circ}\, i_K-(-1)^{k-1}i_K{\circ}\, d }[/math]

where d is the exterior derivative and i_K is the insertion operator.

The Frölicher–Nijenhuis bracket is defined to be the unique vector-valued differential form

[math]\displaystyle{ [\cdot, \cdot]_{FN} : \Omega^k(M,\mathrm{T}M) \times \Omega^\ell(M,\mathrm{T}M) \to \Omega^{k+\ell}(M,\mathrm{T}M) : (K, L) \mapsto [K, L]_{FN} }[/math]

such that

[math]\displaystyle{ \mathcal{L}_{[K, L]_{FN}} = [\mathcal{L}_K, \mathcal{L}_L]. }[/math]

Hence,

[math]\displaystyle{ [K, L]_{FN}=-(-1)^{kl}[L,K]_{FN}. }[/math]

If k = 0, so that K ∈ Ω⁰(M, TM) is a vector field, the usual homotopy formula for the Lie derivative is recovered

[math]\displaystyle{ \mathcal{L}_K = [d,i_K] =d \,{\circ}\, i_K+i_K \,{\circ}\, d. }[/math]

If k=ℓ=1, so that K,L ∈ Ω¹(M, TM), one has for any vector fields X and Y

[math]\displaystyle{ [K, L]_{FN}(X,Y) = [KX, LY]+[LX, KY]+(KL+LK)[X,Y]-K([LX,Y]+[X, LY])-L([KX,Y]+[X, KY]). }[/math]

If k=0 and ℓ=1, so that K=Z∈ Ω⁰(M, TM) is a vector field and L ∈ Ω¹(M, TM), one has for any vector field X

[math]\displaystyle{ [Z, L]_{FN}(X) = [Z, LX]-L[Z,X]. }[/math]

An explicit formula for the Frölicher–Nijenhuis bracket of [math]\displaystyle{ \phi\otimes X }[/math] and [math]\displaystyle{ \psi\otimes Y }[/math] (for forms φ and ψ and vector fields X and Y) is given by

[math]\displaystyle{ \left.\right.[\phi \otimes X,\psi \otimes Y]_{FN} = \phi\wedge\psi\otimes [X,Y] + \phi\wedge\mathcal{L}_X \psi\otimes Y - \mathcal{L}_Y \phi\wedge\psi \otimes X +(-1)^{\deg(\phi)}(d\phi \wedge i_X(\psi)\otimes Y +i_Y(\phi) \wedge d\psi \otimes X). }[/math]

Derivations of the ring of forms

Every derivation of Ω^*(M) can be written as

[math]\displaystyle{ i_L + \mathcal{L}_K }[/math]

for unique elements K and L of Ω^*(M, TM). The Lie bracket of these derivations is given as follows.

• The derivations of the form [math]\displaystyle{ \mathcal{L}_K }[/math] form the Lie superalgebra of all derivations commuting with d. The bracket is given by

[math]\displaystyle{ [\mathcal{L}_{K_1},\mathcal{L}_{K_2}]= \mathcal{L}_{[K_1,K_2]} }[/math]

where the bracket on the right is the Frölicher–Nijenhuis bracket. In particular the Frölicher–Nijenhuis bracket defines a graded Lie algebra structure on [math]\displaystyle{ \Omega(M,\mathrm{T}M) }[/math], which extends the Lie bracket of vector fields.

• The derivations of the form [math]\displaystyle{ i_L }[/math] form the Lie superalgebra of all derivations vanishing on functions Ω⁰(M). The bracket is given by

[math]\displaystyle{ [i_{L_1},i_{L_2}]= i_{[L_1,L_2]^\land} }[/math]

where the bracket on the right is the Nijenhuis–Richardson bracket.

• The bracket of derivations of different types is given by

[math]\displaystyle{ [\mathcal{L}_{K}, i_L]= i_{[K,L]} - (-1)^{kl}\mathcal{L}_{i_LK} }[/math]

for K in Ω^k(M, TM), L in Ω^l+1(M, TM).

Applications

The Nijenhuis tensor of an almost complex structure J, is the Frölicher–Nijenhuis bracket of J with itself. An almost complex structure is a complex structure if and only if the Nijenhuis tensor is zero.

With the Frölicher–Nijenhuis bracket it is possible to define the curvature and cocurvature of a vector-valued 1-form which is a projection. This generalizes the concept of the curvature of a connection.

There is a common generalization of the Schouten–Nijenhuis bracket and the Frölicher–Nijenhuis bracket; for details see the article on the Schouten–Nijenhuis bracket.

References

• Frölicher, A. (1956), "Theory of vector valued differential forms. Part I.", Indagationes Mathematicae 18: 338–360, doi:10.1016/S1385-7258(56)50046-7 .
• Frölicher, A. (1960), "Invariance of vector form operations under mappings", Commentarii Mathematici Helvetici 34: 227–248, doi:10.1007/bf02565938 .
• Hazewinkel, Michiel, ed. (2001), "Frölicher–Nijenhuis bracket", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=F/f120230 
• "Über Differentialkonkomitanten zweier kontravarianten Grössen", Indagationes Mathematicae 2: 449–452, 1940 .