scientific article; zbMATH DE number 1066429

Publication date 26 April 1998

de Rham complex de Rham sequence Poincaré lemma

de Rham theory in global analysis (58A12) Homotopy and topological questions for infinite-dimensional manifolds (58B05)

Let \({\mathfrak A}\) be the algebra \(C^\infty (X,\mathbb{R})\) of smooth functions on a compact manifold \(X\). Consider the module \(\Gamma(E)\) of smooth sections of a vector bundle \(E =(E,\pi,X)\) of finite rank over \(X\). We can consider \({\mathfrak A}\) as the module \(\Gamma (E_0) \) for the trivial bundle \(E_0= (X\times \mathbb{R},\text{pr},X)\). The author first defines the notion of \({\mathfrak A}\)-smooth map for a map \(F:U\to \Gamma(E')\), where \(U\) is an open set in \(\Gamma (E)\) and \(E'= (E',\pi',X)\) is a vector bundle over \(X\). We denote by \({\mathcal A}_{\Gamma (E)}\) the sheaf of germs of \({\mathfrak A}\)-valued \({\mathfrak A}\)-smooth maps on \(\Gamma (E)\). We see that \({\mathcal A}_{\Gamma (E)}\) is a sheaf of \({\mathfrak A}\)-algebras over \(\Gamma (E)\). The author next defines \({\mathfrak A}\)-smooth \(k\)-forms on an open set \(U\) in \(\Gamma (E)\) and denotes by \(\Omega^k_{\Gamma (E)}\) the sheaf of \({\mathfrak A}\)-smooth \(k\)-forms on \(\Gamma (E)\). Now for every vector bundle \(E\) over \(X\) we can define an \({\mathfrak A}\)-module sheaf morphism \(D: {\mathcal A}_{\Gamma (E)}\to \Omega^1_{\Gamma (E)}\) and, extending this map \(D\) we obtain an \({\mathfrak A}\)-linear sheaf morphism \(D^k: \Omega^k_{\Gamma (E)}\to \Omega ^{k+1}_{\Gamma (E)}\) for every \(k\geq 1\). Denoting by the same \({\mathfrak A}\) the constant sheaf over \(\Gamma(E)\) of stalk \({\mathfrak A}\) and by \(\varepsilon\) the canonical injection of \({\mathfrak A}\) into \({\mathcal A}_{\Gamma (E)}\) the author defines the de Rham sequence of \(\Gamma(E): 0\to{\mathfrak A} \to {\mathcal A}_{\Gamma (E)}\to \Omega^1_{\Gamma (E)}\to \Omega^2_{\Gamma (E)}\to \dots\) by making use of these maps \(\varepsilon\), \(D\) and \(D^k\) \((k=1,2, \dots)\). The author next proves that the de Rham sequence of \(\Gamma (E)\) is in fact a complex, and after preparing a Poincaré type lemma, the author finally proves that the de Rham complex of \(\Gamma (E)\) is exact. For the entire collection see [Zbl 0867.00024].

Recommendations

Cited in

(11)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4357620)