SO(1,3)^+

SO(1,3)^+
Name	SO(1,3)^+
Type	Lie group
Topology	non-compact, disconnected covering by SL(2,C)

SO(1,3)^+ is the proper orthochronous Lorentz group, the subgroup of the Lorentz group preserving orientation and time orientation. It is a six-dimensional real non-compact Lie group that appears centrally in the mathematical formulation of Albert Einstein's special relativity and in the representation theory underpinning Paul Dirac's relativistic quantum mechanics. The group connects to many figures and institutions that developed relativity and quantum field theory, such as Hendrik Lorentz, Henri Poincaré, Erwin Schrödinger, Pascual Jordan, and research centers like the Institute for Advanced Study and CERN.

Definition and group structure

SO(1,3)^+ is defined as the subgroup of the full Lorentz group preserving the Minkowski metric with signature (1,3), determinant +1, and the direction of time. Its algebraic definition sits among classical groups studied by Élie Cartan and appears alongside groups like SO(4)],] SL(2,C), SU(2), GL(4,R), and O(1,3). As a matrix group it consists of 4×4 real matrices satisfying Λ^T η Λ = η with η = diag(1,-1,-1,-1), and with constraints studied by Wilhelm Killing and Sophus Lie. The structure decomposes through polar and Iwasawa decompositions relevant to works by Hermann Weyl, Harish-Chandra, and Émile Borel.

Lie algebra and generators

The Lie algebra so(1,3) is six-dimensional, generated by three rotation generators J_i and three boost generators K_i with commutation relations reminiscent of those analyzed by William Rowan Hamilton and formalized by Élie Cartan. The relations [J_i,J_j] = ε_{ijk} J_k, [J_i,K_j] = ε_{ijk} K_k, [K_i,K_j] = -ε_{ijk} J_k appear in treatments by Paul Dirac and Eugene Wigner. The algebra admits a decomposition into two commuting sl(2,C) copies after complexification, a fact exploited in the work of Felix Klein and Hermann Weyl for classifying representations used in Richard Feynman's path integrals and Freeman Dyson's symmetry analyses.

Connected components and universal cover

SO(1,3) has four connected components classified by determinant and time-reversal properties; SO(1,3)^+ is the identity component. The topology and covering structure were investigated by Élie Cartan and later by Claude Chevalley and Jean-Pierre Serre in algebraic group contexts. Its universal cover is isomorphic to SL(2,C), a double cover that plays a central role in the studies of Paul Dirac and Weyl spinors by Ettore Majorana and Lev Landau. The relationship between SO(1,3)^+, Spin(1,3), and Pin groups features in mathematical physics literature from Roger Penrose to Edward Witten.

Representations and spin groups

Finite-dimensional nontrivial unitary representations of SO(1,3)^+ are limited by non-compactness, leading to infinite-dimensional unitary principal series representations developed by Harish-Chandra and Israel Gelfand. Finite-dimensional spinor representations lift to representations of SL(2,C), producing Weyl and Dirac spinors used by Paul Dirac, Hermann Weyl, and Ettore Majorana. The classification of representations connects to harmonic analysis advanced by Harish-Chandra and to the work of George Mackey on induced representations. In particle physics contexts, representations correspond to particle types cataloged in experiments at institutions like Fermilab, DESY, and Brookhaven National Laboratory.

Geometry and action on Minkowski space

SO(1,3)^+ acts transitively on the unit hyperboloid and on light cones in Minkowski space, structures central to Hermann Minkowski's geometric formulation and to causal analyses used by Roger Penrose and Stephen Hawking. The group's orbits include time-like, space-like, and null separations employed in treatments by Arthur Eddington and John Synge. Geometric invariants under SO(1,3)^+ underpin the construction of Lorentzian manifolds studied by Marcel Berger and used in global results like the singularity theorems of Stephen Hawking and Roger Penrose. Connections to conformal compactifications invoke researchers such as Paul Tod and institutions like the Mathematical Institute, Oxford.

Physical applications in relativity and field theory

SO(1,3)^+ encodes the symmetry of spacetime in special relativity and furnishes the kinematic foundation for general relativity linearized analyses by Albert Einstein and Kip Thorne. In quantum field theory, Lorentz covariance under SO(1,3)^+ constrains Lagrangians formulated by Richard Feynman, Julian Schwinger, and Sin-Itiro Tomonaga and dictates transformation properties of fields studied by Steven Weinberg and Gerard 't Hooft. Practical applications include classification of particle helicity and spin in experiments at CERN and SLAC, derivation of selection rules in scattering theory used by Murray Gell-Mann, and the role of symmetry breaking in models developed by Peter Higgs and Yoichiro Nambu. The interplay between SO(1,3)^+, its covers, and discrete symmetries like parity and time reversal figures in foundational tests by Wolfgang Pauli and in modern searches for violations in precision experiments at facilities such as JILA and LIGO.

Category:Lie groups Category:Lorentz group Category:Mathematical physics