Free action

A group action in which only the identity element fixes any point.
Free action

Let GG act on a manifold MM.

The action is free if for every xMx\in M, the is trivial:

Gx={e}for all xM. G_x = \{e\}\quad\text{for all }x\in M.

Equivalently, the action is free if

gx=x  g=efor all gG, xM. g\cdot x = x \ \Longrightarrow\ g=e \quad\text{for all }g\in G,\ x\in M.

For a of a Lie group, freeness implies each orbit is diffeomorphic to GG (via any choice of basepoint in the orbit), though generally not canonically.

Examples

  1. Left translation. The action of a Lie group GG on itself by left multiplication is free.
  2. Deck transformations. The action of Z\mathbb{Z} on R\mathbb{R} by nx:=x+nn\cdot x := x+n is free.
  3. Non-example (fixed point). The rotation action SO(2)R2SO(2)\curvearrowright \mathbb{R}^2 is not free because every element fixes the origin.