Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2502.10260 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- We give conditions on a diffeological group $G$ and a normal subgroup $H$ under which the quotient group $G/H$ differentiates to a Lie algebra for which $\operatorname{Lie}(G/H) \cong \operatorname{Lie}(G)/\operatorname{Lie}(H)$. Our Lie functor is instantiated by the tangent structure on elastic diffeological spaces introduced by Blohmann. The requisite conditions on $G$ and $H$ hold, for example, when $G$ is a convenient infinite-dimensional Lie group and $H$ is countable, or when $G$ is finite-dimensional and $H$ is arbitrary. To recognize that convenient infinite-dimensional manifolds are elastic diffeological spaces, we give a characterization of convenience in terms of the diffeological tangent functor: a separated and bornological locally convex topological vector space $E$ is convenient if and only if the natural map $E \times E \to TE$ is an isomorphism of diffeological spaces. As an application, we integrate some classically non-integrable Banach-Lie algebras to diffeological groups.