All Questions

Let $M$ be a Hilbert Riemannian manifold and $G$ a finite-dimensional Lie group acting on $M$. It is well-known that when $M$, too, is finite-dimensional $$\exp_p: U \subset T_pM \rightarrow \exp_p(U) ...