In mathematics, a vector-valued differential form on a manifold M is a differential form on M with values in a vector space V. More generally, it is a differential form with values in some vector bundle E over M. Ordinary differential forms can be viewed as R-valued differential forms. An important case of vector-valued differential forms are Lie algebra-valued forms (a connection form is an example of such a form.)
Definition Let M be a smooth manifold and E → M be a smooth vector bundle over M. We denote the space of smooth sections of a bundle E by Γ(E). An E-valued differential form of degree p is a smooth section of the tensor product bundle of E with Λp(T ∗M), the p-th exterior power of the cotangent bundle of M. The space of such forms is denoted by
Ω p ( M , E ) = Γ ( E ⊗ Λ p T ∗ M ) . {\displaystyle \Omega ^{p}(M,E)=\Gamma (E\otimes \Lambda ^{p}T^{*}M).}
Because Γ is a strong monoidal functor, this can also be interpreted as
Γ ( E ⊗ Λ p T ∗ M ) = Γ ( E ) ⊗ Ω 0 ( M ) Γ ( Λ p T ∗ M ) = Γ ( E ) ⊗ Ω 0 ( M ) Ω p ( M ) , {\displaystyle \Gamma (E\otimes \Lambda ^{p}T^{*}M)=\Gamma (E)\otimes _{\Omega ^{0}(M)}\Gamma (\Lambda ^{p}T^{*}M)=\Gamma (E)\otimes _{\Omega ^{0}(M)}\Omega ^{p}(M),}
where the latter two tensor products are the tensor product of modules over the ring Ω0(M) of smooth R-valued functions on M (see the seventh example here). By convention, an E-valued 0-form is just a section of the bundle E. That is,
Ω 0 ( M , E ) = Γ ( E ) . {\displaystyle \Omega ^{0}(M,E)=\Gamma (E).\,}
Equivalently, an E-valued differential form can be defined as a bundle morphism
T M ⊗ ⋯ ⊗ T M → E {\displaystyle TM\otimes \cdots \otimes TM\to E}
which is totally skew-symmetric. Let V be a fixed vector space. A V-valued differential form of degree p is a differential form of degree p with values in the trivial bundle M × V. The space of such forms is denoted Ωp(M, V). When V = R one recovers the definition of an ordinary differential form. If V is finite-dimensional, then one can show that the natural homomorphism
Ω p ( M ) ⊗ R V → Ω p ( M , V ) , {\displaystyle \Omega ^{p}(M)\otimes _{\mathbb {R} }V\to \Omega ^{p}(M,V),}
where the first tensor product is of vector spaces over R, is an isomorphism.
Operations on vector-valued forms
Pullback One can define the pullback of vector-valued forms by smooth maps just as for ordinary forms. The pullback of an E-valued form on N by a smooth map φ : M → N is an (φ*E)-valued form on M, where φ*E is the pullback bundle of E by φ. The formula is given just as in the ordinary case. For any E-valued p-form ω on N the pullback φ*ω is given by
( φ ∗ ω ) x ( v 1 , ⋯ , v p ) = ω φ ( x ) ( d φ x ( v 1 ) , ⋯ , d φ x ( v p ) ) . {\displaystyle (\varphi ^{*}\omega )_{x}(v_{1},\cdots ,v_{p})=\omega _{\varphi (x)}(\mathrm {d} \varphi _{x}(v_{1}),\cdots ,\mathrm {d} \varphi _{x}(v_{p})).}
Wedge product Just as for ordinary differential forms, one can define a wedge product of vector-valued forms. The wedge product of an E1-valued p-form with an E2-valued q-form is naturally an (E1⊗E2)-valued (p+q)-form:
… excerpt ends here. Continue reading the full article.
