
arXiv: 0804.4858
In this note we show that for any proper action of a Banach--Lie group $G$ on a Banach manifold $M$, the corresponding tangent maps $\g \to T_x(M)$ have closed range for each $x \in M$, i.e., the tangent spaces of the orbits are closed. As a consequence, for each free proper action on a Hilbert manifold, the quotient $M/G$ carries a natural manifold structure.
Mathematics - Differential Geometry, Group structures and generalizations on infinite-dimensional manifolds, Infinite-dimensional Lie groups and their Lie algebras: general properties, proper action, 58B25, Dynamical Systems (math.DS), 57E20, Banach-Lie group, Differential Geometry (math.DG), Topology of infinite-dimensional manifolds, Banach manifold, FOS: Mathematics, Mathematics - Dynamical Systems, 22E65, 22E65; 58B25; 57E20
Mathematics - Differential Geometry, Group structures and generalizations on infinite-dimensional manifolds, Infinite-dimensional Lie groups and their Lie algebras: general properties, proper action, 58B25, Dynamical Systems (math.DS), 57E20, Banach-Lie group, Differential Geometry (math.DG), Topology of infinite-dimensional manifolds, Banach manifold, FOS: Mathematics, Mathematics - Dynamical Systems, 22E65, 22E65; 58B25; 57E20
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
