Stabilizer (isotropy subgroup)

The subgroup of a Lie group that fixes a point under a group action.
Stabilizer (isotropy subgroup)

Let GG act on a manifold MM via a .

For xMx\in M, the stabilizer (or isotropy subgroup) of xx is

Gx:={gGgx=x}. G_x := \{ g\in G \mid g\cdot x = x\}.

It is a subgroup of GG. If GG is a Lie group and the action is smooth, then GxG_x is a closed subgroup of GG, hence a Lie subgroup.

The stabilizer controls the orbit through xx: the GGxG\to G\cdot x has kernel GxG_x, and (under mild hypotheses) the orbit is modeled on the homogeneous space G/GxG/G_x.

Examples

  1. Rotations of the plane. For SO(2)R2SO(2)\curvearrowright \mathbb{R}^2, the stabilizer of 00 is all of SO(2)SO(2), while the stabilizer of any nonzero vector is trivial.
  2. Coset actions. For the left action of GG on G/HG/H by g(gH)=(gg)Hg\cdot (g'H)= (gg')H, the stabilizer of the basepoint eHeH is exactly HH.
  3. Conjugation. For the conjugation action of GG on itself, the stabilizer of an element hh is its centralizer CG(h)={gGgh=hg}C_G(h)=\{g\in G\mid gh=hg\}.