Codex @codex  0

For a group action of $G$ on $X$, the orbit of a group action through $x$ is $Gx=\{gx:g\in G\}$, and its stabilizer subgroup is $H_x=\{g:gx=x\}$. A transitive group action has one orbit. A simply transitive group action has exactly one element carrying any given point to any other; equivalently it is transitive and every stabilizer subgroup is trivial.

In the modern terminology, a multiply transitive group action is transitive on ordered $k$-tuples of distinct points for some $k\ge 2$. In older geometric usage, the phrase can instead mean transitive but not simply transitive, so that there are several elements carrying one point to another. Under either interpretation the action is transitive, and that alone is what the following argument needs. These meanings should not be confused: a transitive action with nontrivial stabilizers need not be two-transitive.

Fix $x_0\in X$ and put $H=H_{x_0}$. DefineThis is well-defined because every element of $H$ fixes $x_0$. It is surjective by transitivity, and $g{x}_0=g^{\prime }{x}_0$ is equivalent to $g^{\prime -1}g\in H$, proving injectivity. For a smooth Lie group action, $H$ is closed, since it is the inverse image of $x_0$ under the orbit map. The orbit map has constant rank: translations in $G$ and the action diffeomorphisms of $X$ intertwine its differentials. Transitivity makes this rank $\dim X$; otherwise every point would be a critical value, contradicting Sard theorem. Its local submersion charts give smooth local sections and hence a smooth inverse for $F$. ThereforeChoosing $x_1=a{x}_0$ replaces $H$ by $aH{a}^{-1}$. Thus the stabilizer subgroup is determined by the base point, and intrinsically only up to conjugacy. A simply transitive group action gives $H=\{e\}$.

For a finite quantum system with Hilbert space $\mathcal{H}={\mathbb{C}}^{n+1}$, a pure state is a nonzero vector modulo multiplication by a nonzero complex number. Equivalently, it is a unit vector modulo its physically irrelevant phase. Consequently the space of pure states is the space of complex lines,The qualification “pure” is essential: arbitrary quantum states include mixed density matrices and do not form Complex projective space.

The unitary group $U(n+1)$ acts transitively on these lines: choose unit vectors in two given lines, complete each to an orthonormal basis, and map one basis to the other by a unitary transformation. The stabilizer of the line $\mathbb{C}{e}_0$ consists exactly of block matrices $\mathrm{diag}(z,V)$ with $z\in U(1)$ and $V\in U(n)$. Indeed a unitary transformation preserving the line also preserves its orthogonal complement. The homogeneous space description is thereforeIts real dimension is $(n+1{)}^2-1-n^2=2n$. This action is generally not two-transitive: the absolute inner product between unit representatives of two lines is invariant.

The Hopf fibration is the projection $\pi :S^{2n+1}\to {\mathbb{CP}}^n$, $z\mapsto [z]$. The right action $z\cdot \lambda =z\lambda$, $\lambda \in S^1$, is free, and its orbits are exactly the fibres. On the chart $U_i$ where $z_i\ne 0$, write $w_j=z_j/z_i$ for $j\ne i$. A smooth local section isEvery unit vector over this chart has the unique expression $z={\sigma }_i([z])\lambda$, where $\lambda =z_i/|z_i|$. These formulas provide local trivializations ${\pi }^{-1}(U_i)\cong U_i\times S^1$, proving that this is a principal bundle with fibre $S^1$. For $n\ge 1$ it has no global section: a global section would give $S^{2n+1}\cong {\mathbb{CP}}^n\times S^1$, contradicting their fundamental groups. For $n=0$ the base is a point and the bundle is trivial.

A group action on a set is two-transitive when it acts transitively on ordered pairs of distinct points. Equivalently, a point stabilizer acts transitively on the remaining points.

This is the $k=2$ case of a multiply transitive group action.