O(3,1)

O(3,1)
Original: Jakob.scholbach Vector: Pbroks13 · CC BY-SA 3.0 · source
Name	O(3,1)
Type	Indefinite orthogonal group
Field	Real numbers
Signature	(3,1)

O(3,1)

O(3,1) is the group of linear transformations of a four-dimensional real vector space that preserve a nondegenerate bilinear form of signature (3,1). It is a classical Lie group closely related to the Lorentz symmetries that appear in the work of Albert Einstein, plays a role in the representation theory developed by Elie Cartan and Hermann Weyl, and connects to geometric structures studied by Felix Klein and Élie Cartan. The group appears in mathematical physics contexts addressed by Paul Dirac, Hendrik Lorentz, Wolfgang Pauli, and Eugene Wigner.

Definition and basic properties

O(3,1) consists of 4×4 real matrices that preserve a bilinear form with signature (3,1), hence it contains elements analogous to reflections studied by Arthur Cayley and James Clerk Maxwell in coordinate transformations. As a topological group it is noncompact and has a finite number of connected components, a feature appearing in classification work by Élie Cartan and later expositions by Nicolas Bourbaki. The determinant map relates to orientation-reversing maps noted in analyses by Hermann Minkowski and Poincaré; time-orientation considerations appear in discussions by Hermann Weyl and Eugene Wigner.

Matrix representation and Lie group structure

Matrices in O(3,1) are those A ∈ GL(4,ℝ) satisfying A^T η A = η for a metric η often chosen in the form used by Hermann Minkowski and in treatments by Albert Einstein in relativity texts. This matrix condition is analogous to orthogonal groups treated by James Joseph Sylvester and Arthur Cayley; block forms and boosts are described in expositions by Lev Landau and Evgeny Lifshitz. The connected subgroup SO^+(3,1) relates to proper orthochronous transformations studied by Paul Dirac and Eugene Wigner; global topology issues were treated by Hermann Weyl and André Weil.

Lie algebra and exponential map

The Lie algebra so(3,1) is the space of 4×4 real matrices X with X^T η + η X = 0, an observation in the analytic approach of Élie Cartan and algebraic treatments by Claude Chevalley. The algebra splits into rotation and boost generators familiar from physics literature by Paul Dirac, Lev Landau, and Julian Schwinger. The exponential map exp: so(3,1) → O(3,1) is surjective onto the identity component in many classical results proved by Élie Cartan and treated in textbooks by Nikolai Bogolyubov and Dmitri Anosov. Structure theory connects to root systems analyzed by Wilhelm Killing and representation frameworks by Hermann Weyl.

Subgroups and connected components

Key subgroups include the rotation subgroup isomorphic to O(3) discussed by Sophus Lie and Wilhelm Killing, the boost subgroups related to one-parameter groups studied by Hermann Minkowski and Willem de Sitter, and discrete subgroups analogous to reflections considered by Arthur Cayley. The proper orthochronous component SO^+(3,1) is linked to the universal cover SL(2,ℂ) via a two-to-one homomorphism central to work by Élie Cartan, Paul Dirac, and Eugene Wigner. Lattices and arithmetic aspects connect with studies by Goro Shimura and Harish-Chandra; isotropy subgroups appear in geometric treatments by Élie Cartan and Wilhelm Killing.

Representations and invariants

Unitary and nonunitary representations of O(3,1) were developed in harmonic analysis traditions by Harish-Chandra, George Mackey, and Eugene Wigner, and are essential in quantum models explored by Paul Dirac and Werner Heisenberg. Casimir invariants and classification of irreducible representations follow patterns established by Harish-Chandra and Hermann Weyl; principal series representations were studied by Gelfand and Naimark. Induced representation techniques of George Mackey and branching rules related to Roger Penrose and Edward Witten appear in modern expositions. Connections with special functions were elaborated by Erdélyi and F. G. Tricomi in analytic contexts.

Applications in physics and geometry

O(3,1) underpins the kinematic symmetry group of special relativity formulated by Albert Einstein and Hendrik Lorentz and is central to field theories of Paul Dirac and Richard Feynman. In general relativity, local Lorentz symmetry appears in formulations by Albert Einstein, Tullio Levi-Civita, and Weyl; gauge-theoretic and spin structures engage work by Élie Cartan and Andrei Sakharov. Mathematical applications include hyperbolic geometry examined by Henri Poincaré and Eugenio Beltrami, and discrete groups in three-dimensional manifolds analyzed by William Thurston and Gregory Margulis. The interplay with quantum field theoretic representations was pursued by Steven Weinberg, Gerard 't Hooft, and Nathan Seiberg.

Category:Lie groups