In differential geometry, the slice theorem states: given a manifold M {\displaystyle M} on which a Lie group G {\displaystyle G} acts as diffeomorphisms, for any x {\displaystyle x} in M {\displaystyle M} , the map G / G x → M , [ g ] ↦ g ⋅ x {\displaystyle G/G_{x}\to M,\,[g]\mapsto g\cdot x} extends to an invariant neighborhood of G / G x {\displaystyle G/G_{x}} (viewed as a zero section) in G × G x T x M / T x ( G ⋅ x ) {\displaystyle G\times _{G_{x}}T_{x}M/T_{x}(G\cdot x)} so that it defines an equivariant diffeomorphism from the neighborhood to its image, which contains the orbit of x {\displaystyle x} . The important application of the theorem is a proof of the fact that the quotient M / G {\displaystyle M/G} admits a manifold structure when G {\displaystyle G} is compact and the action is free. In algebraic geometry, there is an analog of the slice theorem; it is called Luna's slice theorem.
Idea of proof when G is compact Since G {\displaystyle G} is compact, there exists an invariant metric; i.e., G {\displaystyle G} acts as isometries. One then adapts the usual proof of the existence of a tubular neighborhood using this metric.
See also Luna's slice theorem, an analogous result for reductive algebraic group actions on algebraic varieties
References
External links On a proof of the existence of tubular neighborhoods Audin, Michèle (2004). Torus Actions on Symplectic Manifolds (in German). Birkhauser. doi:10.1007/978-3-0348-7960-6. ISBN 978-3-0348-7960-6. OCLC 863697782.
