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.
Formal definition A Lie-algebra-valued differential k {\displaystyle k} -form on a manifold, M {\displaystyle M} , is a smooth section of the bundle ( g × M ) ⊗ ∧ k T ∗ M {\displaystyle ({\mathfrak {g}}\times M)\otimes \wedge ^{k}T^{*}M} , where g {\displaystyle {\mathfrak {g}}} is a Lie algebra, T ∗ M {\displaystyle T^{*}M} is the cotangent bundle of M {\displaystyle M} and ∧ k {\displaystyle \wedge ^{k}} denotes the k th {\displaystyle k^{\text{th}}} exterior power.
Wedge product The wedge product of ordinary, real-valued differential forms is defined using multiplication of real numbers. For a pair of Lie algebra–valued differential forms, the wedge product can be defined similarly, but substituting the bilinear Lie bracket operation, to obtain another Lie algebra–valued form. For a g {\displaystyle {\mathfrak {g}}} -valued p {\displaystyle p} -form ω {\displaystyle \omega } and a g {\displaystyle {\mathfrak {g}}} -valued q {\displaystyle q} -form η {\displaystyle \eta } , their wedge product [ ω ∧ η ] {\displaystyle [\omega \wedge \eta ]} is given by
[ ω ∧ η ] ( v 1 , … , v p + q ) = 1 p ! q ! ∑ σ sgn ( σ ) [ ω ( v σ ( 1 ) , … , v σ ( p ) ) , η ( v σ ( p + 1 ) , … , v σ ( p + q ) ) ] , {\displaystyle [\omega \wedge \eta ](v_{1},\dotsc ,v_{p+q})={1 \over p!q!}\sum _{\sigma }\operatorname {sgn} (\sigma )[\omega (v_{\sigma (1)},\dotsc ,v_{\sigma (p)}),\eta (v_{\sigma (p+1)},\dotsc ,v_{\sigma (p+q)})],}
where the v i {\displaystyle v_{i}} 's are tangent vectors. The notation is meant to indicate both operations involved. For example, if ω {\displaystyle \omega } and η {\displaystyle \eta } are Lie-algebra-valued one forms, then one has
[ ω ∧ η ] ( v 1 , v 2 ) = [ ω ( v 1 ) , η ( v 2 ) ] − [ ω ( v 2 ) , η ( v 1 ) ] . {\displaystyle [\omega \wedge \eta ](v_{1},v_{2})=[\omega (v_{1}),\eta (v_{2})]-[\omega (v_{2}),\eta (v_{1})].}
The operation [ ω ∧ η ] {\displaystyle [\omega \wedge \eta ]} can also be defined as the bilinear operation on Ω ( M , g ) {\displaystyle \Omega (M,{\mathfrak {g}})} satisfying
[ ( g ⊗ α ) ∧ ( h ⊗ β ) ] = [ g , h ] ⊗ ( α ∧ β ) {\displaystyle [(g\otimes \alpha )\wedge (h\otimes \beta )]=[g,h]\otimes (\alpha \wedge \beta )}
… excerpt ends here. Continue reading the full article.
