Geometry of infinite dimensional Cartan developments
This paper extends the Cartan development from finite-dimensional to infinite-dimensional settings. Indeed, in finite-dimensional setting, the Cartan development associates a Lie algebra-valued \(1\)-form on a simply connected manifold \(M\) satisfying the Maurer-Cartan equation a smooth map from \(M\) into a Lie group \(G\). The authors generalize this construction to the case where both \(M\) and \(G\) are infinite dimensional, assuming that \(G\) is a regular Lie group with Lie algebra \(\mathfrak{g}\). The Cartan development is identified as a generalization of the evolution mapping used to integrate smooth curves in \(\mathfrak{g}\).\N\NFor a simply connected pointed manifold \((M,x_0)\), the authors prove the existence and uniqueness of a smooth evolution operator mapping flat \(\mathfrak{g}\)-valued \(1\)-forms (flat in the sense that they satisfy the left Maurer-Cartan equation) to smooth maps into \(G\). The regularity assumption is essential, as general existence results for ordinary differential equations fail in infinite dimensional contexts. Furthermore, it is shown that the tangent map of a Cartan development is again a Cartan development.\N\NThe paper also establishes that the space of flat differential forms \(\Omega_{\mathrm{flat}}^1(M,\mathfrak{g})\) admits a Frölicher Lie group structure. This group is proved to be isomorphic to the space of smooth pointed mappings \(C^\infty\bigl((M,x_0),(G,e)\bigr)\), which is, in general, only a Frölicher space and becomes a smooth regular Lie group when \(M\) is compact.
- Differentiability of the evolution map and Mackey continuity
- scientific article; zbMATH DE number 3874250 (Why is no real title available?)
- scientific article; zbMATH DE number 3955268 (Why is no real title available?)
- scientific article; zbMATH DE number 3956026 (Why is no real title available?)
- scientific article; zbMATH DE number 3674997 (Why is no real title available?)
- scientific article; zbMATH DE number 1014181 (Why is no real title available?)
- scientific article; zbMATH DE number 1077733 (Why is no real title available?)
- scientific article; zbMATH DE number 205892 (Why is no real title available?)
- scientific article; zbMATH DE number 920769 (Why is no real title available?)
- scientific article; zbMATH DE number 3220148 (Why is no real title available?)
- scientific article; zbMATH DE number 3304725 (Why is no real title available?)
- scientific article; zbMATH DE number 3187372 (Why is no real title available?)
- scientific article; zbMATH DE number 3029495 (Why is no real title available?)
- La méthode du repère mobile, la théorie des groupes continus et les espaces généralisées.
- Manifolds of mappings for continuum mechanics
- On Cartan's method of Lie groups and moving frames as applied to uniqueness and existence questions in differential geometry
- On regular Frechet-Lie groups. I: Some differential geometrical expressions of Fourier-integral operators on a Riemannian manifold
- On regular Frechet-Lie groups. II: Composition rules of Fourier-integral operators on a Riemannian manifold
- On regular Frechet-Lie groups. III: A second cohomology class related to the Lie algebra of pseudo-differential operators of order one
- On regular Frechet-Lie groups. IV: Definition and fundamental theorems
- On regular Frechet-Lie groups. V: Several basic properties
- On regular Fréchet-Lie groups. VI: Infinite dimensional Lie groups which appear in general relativity
- Regularity of Lie groups
- Surfaces on Lie groups, on Lie algebras, and their integrability (with an appendix by Juan Carlos Alvarez Paiva)
- The regularity problem for Lie groups with asymptotic estimate Lie algebras
This page was built for publication: Geometry of infinite dimensional Cartan developments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6895927)
