Lie algebra–valued differential form

In differential geometry, a Lie algebra-valued form is a differential form with values in a Lie algebra. Such forms have important applications in the theory of connections on a principal bundle as well as in the theory of Cartan connections.

Wedge product

Since every Lie algebra has a bilinear Lie bracket operation, the wedge product of two Lie algebra-valued forms can be composed with the bracket operation to obtain another Lie algebra-valued form. This operation, denoted by $[\omega \wedge \eta ]$, is given by: for ${\mathfrak {g}}$-valued p-form $\omega$ and ${\mathfrak {g}}$-valued q-form $\eta$

$[\omega \wedge \eta ](v_{1},\cdots ,v_{p+q})={1 \over (p+q)!}\sum _{\sigma }\operatorname {sgn} (\sigma )[\omega (v_{\sigma (1)},\cdots ,v_{\sigma (p)}),\eta (v_{\sigma (p+1)},\cdots ,v_{\sigma (p+q)})]$

where v_i's are tangent vectors. The notation is meant to indicate both operations involved. For example, if $\omega$ and $\eta$ are Lie algebra-valued one forms, then one has

$[\omega \wedge \eta ](v_{1},v_{2})={1 \over 2}([\omega (v_{1}),\eta (v_{2})]-[\omega (v_{2}),\eta (v_{1})]).$

The operation $[\omega \wedge \eta ]$ can also be defined as the bilinear operation on $\Omega (M,{\mathfrak {g}})$ satisfying

$[(g\otimes \alpha )\wedge (h\otimes \beta )]=[g,h]\otimes (\alpha \wedge \beta )$

for all $g,h\in {\mathfrak {g}}$ and $\alpha ,\beta \in \Omega (M,\mathbb {R} )$.

The alternative notation $[\omega ,\eta ]$, which resembles a commutator, is justified by the fact that if the Lie algebra ${\mathfrak {g}}$ is a matrix algebra then $[\omega \wedge \eta ]$ is nothing but the graded commutator of $\omega$ and $\eta$, i. e. if $\omega \in \Omega ^{p}(M,{\mathfrak {g}})$ and $\eta \in \Omega ^{q}(M,{\mathfrak {g}})$ then

$[\omega \wedge \eta ]=\omega \wedge \eta -(-1)^{pq}\eta \wedge \omega ,$

where $\omega \wedge \eta ,\ \eta \wedge \omega \in \Omega ^{p+q}(M,{\mathfrak {g}})$ are wedge products formed using the matrix multiplication on ${\mathfrak {g}}$.

Operations

Let $f:{\mathfrak {g}}\to {\mathfrak {h}}$ be a Lie algebra homomorphism. If φ is a ${\mathfrak {g}}$-valued form on a manifold, then f(φ) is an ${\mathfrak {h}}$-valued form on the same manifold obtained by applying f to the values of φ: $f(\phi )(v_{1},\dots ,v_{k})=f(\phi (v_{1},\dots ,v_{k}))$.

Similarly, if f is a multilinear functional on $\textstyle \prod _{1}^{k}{\mathfrak {g}}$, then one puts

$f(\phi _{1},\dots ,\phi _{k})(v_{1},\dots ,v_{q})={1 \over q!}\sum _{\sigma }\operatorname {sgn} (\sigma )f(\phi _{1}(v_{\sigma (1)},\dots ,v_{\sigma (q_{1})}),\dots ,\phi _{k}(v_{\sigma (q-q_{k}+1)},\dots ,v_{\sigma (q)}))$

where q = q₁ + … + q_k and φ_i are ${\mathfrak {g}}$-valued q_i-forms. Moreover, given a vector space V, the same formula can be used to define the V-valued form $f(\phi ,\eta )$ when

$f:{\mathfrak {g}}\times V\to V$

is a multilinear map, φ is a ${\mathfrak {g}}$-valued form and η is a V-valued form. Note such a f amounts to the linear action of ${\mathfrak {g}}$ on V; i.e., f determines the representation

$\rho :{\mathfrak {g}}\to V,\rho (x)y=f(x,y)$

when f([x, y], z) = f(x, f(y, z)) - f(y, f(x, z)) and, conversely, any representaiton ρ determines f with the condition. For example, if $f(x,y)=[x,y]$ (the bracket of ${\mathfrak {g}}$), then we recover the definition of $[\cdot \wedge \cdot ]$ given above, with ρ = ad, the adjoint representation.

Example: If ω is a ${\mathfrak {g}}$-valued one-form (for example, a connection form), f(x, y) = ρ(x)y with ρ a representation of ${\mathfrak {g}}$ on a vector space V and φ a V-valued form, then $f([\omega \wedge \omega ],\phi )=2f(\omega ,f(\omega ,\phi )).$

Forms with values in an adjoint bundle

See also: adjoint bundle

Let P be a smooth principal bundle with structure group G and ${\mathfrak {g}}=\operatorname {Lie} (G)$. G acts on ${\mathfrak {g}}$ via adjoint representation and so one can form the associated bundle:

${\mathfrak {g}}_{P}=P\times _{\operatorname {Ad} }{\mathfrak {g}}.$

Any ${\mathfrak {g}}_{P}$-valued forms on the base space of P are in a natural one-to-one correspondence with any tensorial forms on P of adjoint type.

See also

• Maurer–Cartan form
• Adjoint bundle

References

• S. Kobayashi, K. Nomizu. Foundations of Differential Geometry (Wiley Classics Library) Volume 1, 2.

External links

• http://mathoverflow.net/questions/123632/wedge-product-of-lie-algebra-valued-one-form
• http://ncatlab.org:8080/nlab/show/groupoid+of+Lie-algebra+valued+forms