Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 42 / 1

The SU(2) group consists of complex $2\times 2$ matrices $U$ with $U^{†}U=I$ and $\det U=1$. The SO(3) group consists of real $3\times 3$ matrices $R$ with $R^{T}R=I$ and $\det R=1$. Differentiate these equations along a path through the identity. This givesConversely the matrix exponential of each displayed infinitesimal matrix satisfies the corresponding group equations, so these are exactly the Lie algebras, with bracket the matrix commutator.

Using the Pauli matrices, put $t_a=-i{\sigma }_a/2$. They form a real basis of the SU(2) Lie algebra. The Pauli matrix commutator identity gives $[t_a,t_b]={ϵ}_{abc}{t}_c$. Define $J_a$ on ${\mathbb{R}}^3$ by $J_{a}v=e_a\times v$. These are a basis of the SO(3) Lie algebra; the vector triple-product identity gives $[J_a,J_b]={ϵ}_{abc}{J}_c$. Thusis a real linear bijection preserving the bracket. This is the SU(2)-SO(3) Lie algebra isomorphism. It is a Lie-algebra isomorphism, not a group isomorphism: the Adjoint double cover from SU(2) to SO(3) has kernel $\{I,-I\}$.

The SU(3) group is defined similarly by $U^{†}U=I$ and $\det U=1$ on complex $3\times 3$ matrices. One SU(2) subgroup is $\{\mathrm{diag}(V,1):V\in SU(2)\}$. The real orthogonal matrices with determinant one form an SO(3) group subgroup, since real orthogonality is also complex unitarity.

Under the defining group action, the group orbit of $e_1$ is exactly the unit sphere in ${\mathbb{C}}^3$:Unitarity proves containment. Conversely, extend a unit vector $z$ to an orthonormal basis and use it as the first column of a unitary matrix. Multiplying the last column by the inverse of its determinant makes that determinant one without changing the first column. The isotropy group of $e_1$ must also preserve its orthogonal complement, and therefore isThis proves the unit sphere orbit of the defining special unitary action, including $S^5\cong SU(3)/SU(2)$.

For the complex quadric, write $z=x+iy$. Its defining relation separates intoThe Hermitian norm is then $z^{†}z=1+2|y{|}^2$, which is not constant on this set. For example, $e_1$ and $\sqrt{2}{e}_1+i{e}_2$ both satisfy the complex bilinear relation but have Hermitian norms one and three. Since the SU(3) group preserves that norm, the quadric cannot be a single SU(3) group orbit. In fact it is not even invariant under the whole group: $\mathrm{diag}(e^{it},e^{-it},1)e_1$ fails the bilinear relation when $e^{2it}\ne 1$.

The real SO(3) group does preserve the quadric, acting simultaneously on $x$ and $y$. Its group orbits are classified completely by $r=|y|\ge 0$. For $r=0$, $y=0$ and $x$ is a real unit vector, giving the group orbit $S^2$ and stabilizer subgroup $SO(2)$. For $r>0$, the vectors $x/\sqrt{1+r^2}$ and $y/r$ are orthonormal. Adjoining their cross product gives an oriented orthonormal frame. There is a unique rotation taking the standard frame to this one; hence the action is transitive at fixed $r$ and the stabilizer subgroup is trivial. Thus the real rotation orbits on a complex unit quadric areIn particular the real subgroup does not act transitively on the whole quadric. The parametrization $x=\sqrt{1+|y{|}^2}n$ with $n\in S^2$ and $y\perp n$ also identifies the quadric, as a real manifold, with the tangent bundle of $S^2$.