Abstract: Fr"olicher spaces form a cartesian closed category which contains the category of smooth manifolds as a full subcategory. Therefore, mapping groups such as C^infty(M,G) or Diff(M), but also projective limits of Lie groups are in a natural way objects of that category, and group operations are morphisms in the category. We call groups with this property Fr"olicher groups. One can define tangent spaces to Fr"olicher spaces, and in the present article we prove that, under a certain additional assumption, the tangent space at the identity of a Fr"olicher group can be equipped with a Lie bracket. We discuss an example which satisfies the additional assumption.
Recommendations
Cites work
- scientific article; zbMATH DE number 3960590 (Why is no real title available?)
- scientific article; zbMATH DE number 3969695 (Why is no real title available?)
- scientific article; zbMATH DE number 3984170 (Why is no real title available?)
- scientific article; zbMATH DE number 3678061 (Why is no real title available?)
- scientific article; zbMATH DE number 3738309 (Why is no real title available?)
- scientific article; zbMATH DE number 1969388 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 1867165 (Why is no real title available?)
- Convenient categories of smooth spaces
- Differentiability of a Function and of its Compositions with Functions of One Variable.
- Differential calculus over general base fields and rings.
- Geometry and topology of diffeological spaces
- Implicit functions from topological vector spaces to Banach spaces
- On Continuous Mappings on Cartesian Products
- On the way to Frölicher Lie groups
- The Lie theory of connected pro-Lie groups. A structure theory for pro-Lie algebras, pro-Lie groups, and connected locally compact groups
- The convenient setting for real analytic mappings
Cited in
(12)- scientific article; zbMATH DE number 1859252 (Why is no real title available?)
- A conjecture of Frobenius and the simple groups of Lie type. II
- Convenient categories of smooth spaces
- On properties of principal elements of Frobenius Lie algebras
- scientific article; zbMATH DE number 1419177 (Why is no real title available?)
- Frobenius Reciprocity and Extensions of Nilpotent Lie Groups
- A Freudenthal-Weil theorem for pro-Lie groups
- On the geometry of \(\operatorname{Diff}(S^1)\)-pseudodifferential operators based on renormalized traces
- Elastic diffeological spaces
- On diffeologies from infinite dimensional geometry to PDE constrained optimization
- Frölicher structures, diffieties, and a formal KP hierarchy
- On the way to Frölicher Lie groups
This page was built for publication: A Lie algebra for Frölicher groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q719618)