MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\Upsilon: G \times M \to M$ be a smooth action of a Lie group $G$ on a manifold $M$.

Isenberg and Marsden (1982) define a slice at $m \in M$ as a submanifold $S \subseteq M$ containing $m$ such that

  • $S$ is invariant under the induced action of $G_m$.
  • $(\Upsilon_g S) \cap S \neq \emptyset$ implies $g \in G_m$.
  • There exists a local section $\chi: G/G_m \supseteq U \to G$ defined in a neighborhood $U$ of the identity coset such that the map \begin{equation} \chi^S: U \times S \to M, \qquad ([g], s) \mapsto \chi([g]) \cdot s \end{equation} is a diffeomorphism onto a neighborhood $V \subseteq M$ of $m$.

The same definition can be found in KrieglMichor1997, with a short comment that the usual finite-dimensional definition is too rigid for infinite-dimensional applications. What are concrete examples where this weaker definition of a slice is required and the usual finite-dimensional version does not apply?

share|cite|improve this question
I have also found this notion of a slice also in the work of Ebin and, moreover, in connection with the orbit space of gauge theory. So it seams to be the 'standard' definition. But to my knowledge, in all of these cases the slice theorem is proofed in the usual way by a tubular neighborhood - which then would lead to the finite-dimensional notion of a slice?! – Tobias Diez Nov 7 '13 at 22:22
I think the original (finite-dimensional, compact-Lie-group version) of the slice theorem was proved by Mostow in this paper: – alvarezpaiva Nov 8 '13 at 8:58

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.