| rotation group | |
|---|---|
| Name | Rotation group |
| Type | Lie group |
| Field | Mathematics / Quantum physics |
rotation group
The rotation group describes the set of all rotations about the origin in three-dimensional space and forms a central example of a Lie group with deep consequences in Quantum mechanics and Quantum field theory. It underlies the classification of angular momentum states, governs selection rules in spectroscopy, and connects classical symmetry to quantum observables via Noether's theorem and representation theory.
In Euclidean three-space R^3 the rotation group is the group of linear transformations that preserve the Euclidean norm and orientation; algebraically this is the special orthogonal group SO(3). Elements are 3×3 real orthogonal matrices with determinant +1. The group is compact, non-abelian, and three-dimensional as a manifold, with topology equivalent to real projective space RP^3. Important properties include closedness under composition and inverses, connectedness, and the existence of a Lie algebra isomorphic to so(3), spanned by antisymmetric generators corresponding to infinitesimal rotations. Historical and mathematical development involved work by Élie Cartan, Sophus Lie, and connections to classical mechanics via Leonhard Euler and the Euler angles parametrization.
SO(3) is the canonical rotation group, but quantum states require consideration of its double cover SU(2), the group of 2×2 unitary matrices with determinant 1. The surjective homomorphism SU(2) → SO(3) has kernel {±I}, making SU(2) a double cover and simply connected, which is essential for classifying projective and spinor representations. The relationship is central in the theory of spinors developed by Paul Dirac and in the formulation of spin–statistics theorem in quantum field theory. Topologically, SU(2) ≅ S^3, and representation theory distinguishes integer and half-integer angular momenta via this covering.
Unitary representations of the rotation group classify possible angular momentum operators in quantum systems. For SO(3) and SU(2) the irreducible representations are labeled by non-negative integer or half-integer spin quantum number j, with dimension 2j+1. The representation theory was systematized through work by Eugene Wigner (Wigner's theorem) and formalized using the theory of highest weights and Young tableaux methods in group theory. In practice, the basis of simultaneous eigenstates of J^2 and Jz—|j, m⟩—appears in models from the hydrogen atom solved by Erwin Schrödinger to nuclear shell models at Berkeley and particle classification schemes at CERN. Representations determine selection rules and the degeneracy structure of quantum Hamiltonians invariant under rotations.
Rotational invariance of a Hamiltonian H implies conservation of total angular momentum via Noether's theorem, linking continuous symmetry groups to conserved quantities. In quantum mechanics the operator counterpart is that [H, J_i] = 0 for the angular momentum operators J_i (i = x,y,z). Classical systems such as the rigid body illustrate the same algebraic structure; in quantum many-body physics, rotational symmetry constrains spectra and transition amplitudes in atoms, molecules, and nuclei studied at institutions like Max Planck Institute for Nuclear Physics and MIT. Breaking of rotational symmetry—spontaneously or explicitly—leads to phenomena such as anisotropy in condensed matter and fine-structure splitting in atomic spectra.
The rotation group formalism underpins the concept of spin as intrinsic angular momentum for elementary particles like the electron and proton, and composite systems such as nuclei and atoms. Addition of angular momenta uses the tensor product of representations and is implemented via Clebsch–Gordan coefficients, Wigner 3-j symbols, and 6-j symbol and 9-j symbol recoupling techniques. These tools are essential in atomic spectroscopy, nuclear magnetic resonance (NMR), and quantum information processing with spin qubits at institutions such as IBM and Google Quantum AI. Selection rules for electromagnetic transitions—electric dipole, magnetic dipole—follow from rotational symmetry and parity considerations and are tabulated in atomic data referenced in works like Bethe and Salpeter's Quantum Mechanics of One- and Two-Electron Atoms.
Generators of infinitesimal rotations satisfy the so(3) Lie algebra with commutation relations [J_i, J_j] = i ℏ ε_{ijk} J_k, where ε_{ijk} is the Levi-Civita symbol. The quadratic Casimir operator J^2 = J_x^2 + J_y^2 + J_z^2 commutes with all generators and classifies irreducible representations by eigenvalue ℏ^2 j(j+1). Ladder operators J_± = J_x ± i J_y facilitate construction of representation bases. These algebraic structures connect to broader mathematical frameworks: representation theory of compact groups, harmonic analysis on the sphere S^2, and the theory of spherical harmonics Y_{l,m}, used extensively in scattering theory, angular momentum coupling in quantum electrodynamics, and computational packages like Mathematica and Matlab that implement Clebsch–Gordan tables.
Category:Lie groups Category:Quantum mechanics Category:Angular momentum