Understanding the SO(3) and SU(2) Lie Group Relationship

Introduction: In its first iteration, this page was written for scholars and scientists who have prior knowledge of Sophus Lie (“Lee”) groups. Our intention is to give this baseline report from Google AI (which is in quotes) a more simple explanation. It may take several years, thus this page is time stamped! –BEC

“The mathematical statement, SO(3) ≈ SU(2)/Z₂ describes a fundamental relationship between two important Lie groups: the group of 3D rotations, SO(3), and the special unitary group in two dimensions, SU(2).

“This relationship is a double cover, where SU(2) is the universal covering group of SO(3).

SO(3): The 3D Rotation Group

Definition: SO(3) stands for the “Special Orthogonal Group in 3 dimensions”. It is the group of all rotations of three-dimensional Euclidean space that preserve a fixed origin. A matrix belongs to if (orthogonal) and (special).

Representation: Elements of SO(3) are commonly represented by 3×3 orthogonal matrices with a determinant of +1.

Properties:

It is a Lie group, which means it is a smooth manifold as well as a group.

It is not simply connected; its fundamental group is the cyclic group of order 2 (ℤ2). This non-trivial topology allows for the existence of phenomena like spinors in quantum mechanics.

Rotations in 3D do not commute (are non-abelian), meaning the order in which two rotations are applied matters.

Rotations: Any element in SO(3) represents a rotation of an object around an axis.

Parameters: It has three free parameters, often described using Euler angles or an axis-angle representation.

Topology: Topologically, SO(3) is related to the real projective space, or a solid ball where antipodal surface points are identified.

Relation to SU(2): SO(3) is closely related to , which is its double cover, commonly used in quantum mechanics to describe spin.

SU(2): The Special Unitary Group

Definition: SU(2) stands for the “Special Unitary group in 2 dimensions”. It is the group of 2×2 unitary matrices with a determinant of +1.

Representation: SU(2) is isomorphic to the group of unit quaternions (versors), which are quaternions with an absolute value (norm) of 1. Unit quaternions are a highly efficient way to represent rotations in fields like computer graphics and robotics.

Properties:

Topologically, SU(2) is equivalent (homeomorphic) to the 3-sphere ( $cap S cubed$ ).

It is the universal cover of SO(3), meaning it is a simply connected group that “covers” SO(3) twice.

The Isomorphism (SO(3) ≈ SU(2)/Z₂)

“The relationship is formally described by a surjective homomorphism (a structure-preserving map) from SU(2) onto SO(3) with a kernel of ℤ2={+𝐼,−𝐼} (where 𝐼 is the identity matrix).

Double Covering: For every rotation in SO(3), there are two corresponding elements in SU(2) (a unit quaternion 𝑞 and its negative, −𝑞) that represent the same physical rotation.

The ℤ₂ Quotient: The notation SU(2)/ℤ2 means that we are identifying these antipodal pairs (𝑞 and −𝑞) as a single element. By doing so, the resulting mathematical structure is identical (isomorphic) to SO(3).

Physical Significance: This mathematical structure has profound implications in physics, particularly quantum mechanics. A full $360 raised to the composed with power$ (2𝜋 radians) rotation in SO(3) corresponds to a 180∘ rotation in the SU(2) space, which maps an SU(2) element to its negative. You need a $720 raised to the composed with power$ (4𝜋 radians) rotation to return to the original element in SU(2). This difference gives rise to the concept of spinors (spin-1/2 particles), which transform under SU(2) rather than SO(3).

“In essence, SU(2) provides a “finer” description of 3D rotational space than SO(3), resolving topological ambiguities inherent in common 3D rotation parameterizations like Euler angles or axis-angle representations.”