rotation group SO(3)

rotation group SO(3) is the Lie group of all rotations about the origin in three-dimensional Euclidean space, under the operation of composition. It consists of all orthogonal matrices with determinant 1, which preserve the dot product and orientation. The group is fundamental to understanding the symmetry of physical systems, from classical mechanics to quantum mechanics, and its structure underpins theories of angular momentum and spin.

Definition and basic properties

The group is defined as the set of all 3×3 real matrices R satisfying RᵀR = I and det(R) = 1, forming a subgroup of the general linear group GL(3, R). This condition ensures transformations preserve lengths and angles, representing proper rigid rotations without reflection. Its Lie algebra, denoted so(3), consists of all skew-symmetric 3×3 matrices, with a basis given by generators Lₓ, Lᵧ, L_z corresponding to infinitesimal rotations about the coordinate axes. The algebra obeys the commutation relation [Lᵢ, Lⱼ] = εᵢⱼₖ Lₖ, where ε is the Levi-Civita symbol, mirroring the cross product in R³. The exponential map from so(3) to the group is surjective but not injective, linking algebra elements to finite rotations.

Representations

The representation theory of the group is rich due to its non-simply connected topology. Its finite-dimensional, irreducible complex representations are labeled by non-negative integers ℓ, with dimension 2ℓ+1; these are the familiar spherical harmonics Yₗᵐ, central to solving the Schrödinger equation for the hydrogen atom. The fundamental representation is the defining 3-dimensional one, acting on vectors in R³. The group has a double cover, the spin group Spin(3), which is isomorphic to the special unitary group SU(2); this relationship is crucial in quantum mechanics, where SU(2) describes the spin of electrons and other fermions. The projective representations of the group lift to ordinary representations of SU(2), explaining the existence of half-integer spin states under rotations.

Topology and geometry

Topologically, the group is diffeomorphic to the real projective space RP³, which is obtained by identifying antipodal points on the 3-sphere S³. This structure gives it a fundamental group isomorphic to the cyclic group Z₂, reflecting the fact that a 360° rotation is not homotopic to the identity, while a 720° rotation is. Its universal cover is the 3-sphere S³, realized as SU(2). Geometrically, the group can be parameterized by Euler angles, though this suffers from gimbal lock, or more robustly by unit quaternions via the Hamilton map to SU(2). The Haar measure on the group allows for integration over rotations, essential in statistical mechanics and crystallography.

Applications in physics

The group is indispensable across physics. In classical mechanics, it describes the configuration space of a rigid body, as formalized by Leonhard Euler and Joseph-Louis Lagrange. In quantum mechanics, its representations classify angular momentum eigenstates, with operators satisfying the algebra of so(3), a cornerstone of texts like Dirac's work. The Wigner-Eckart theorem simplifies matrix elements of tensor operators under its action. In quantum field theory, the group is a subgroup of the Lorentz group, governing the spin of particles in theories like the Standard Model. Its representations also underpin cosmic microwave background analysis and the symmetry of molecular structures in spectroscopy.

Relation to other groups

The group is a compact, simple Lie group of rank one in the Cartan classification. It is a subgroup of the orthogonal group O(3), sharing its Lie algebra but differing by the determinant condition. It is locally isomorphic to SU(2) and the symplectic group Sp(1). In higher dimensions, it generalizes to the special orthogonal group SO(n). It is a normal subgroup of the Euclidean group E(3), which includes translations, and appears within the Poincaré group governing special relativity. Its double-cover relationship with SU(2) is a specific instance of the spin group construction for SO(n). Connections also exist to the exceptional Lie group G2 via octonion automorphisms.

Category:Lie groups Category:Rotation in three dimensions Category:Symmetry groups