This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| SO(p,q) | |
|---|---|
| Name | SO(p,q) |
| Type | Lie group |
| Dimension | (p+q)(p+q-1)/2 |
SO(p,q)
SO(p,q) is the special orthogonal group of a nondegenerate quadratic form of signature (p,q) on a real vector space of dimension p+q. It is a real Lie group consisting of linear transformations preserving a bilinear form with p positive and q negative eigenvalues and having determinant 1. The group plays a central role in the study of symmetry in differential geometry, algebraic topology, and theoretical physics.
SO(p,q) is defined as the group of real (p+q)×(p+q) matrices A with det(A)=1 satisfying A^T η A = η for a diagonal matrix η with p entries +1 and q entries −1. Basic invariants include its dimension (p+q)(p+q−1)/2 and its center, which depends on p+q and parity. For special values, SO(p,q) relates to classical groups appearing in the works of Élie Cartan, Hermann Weyl, Émile Picard, Issai Schur, and in classification schemes by Claude Chevalley and Armand Borel.
The Lie algebra so(p,q) consists of real (p+q)×(p+q) matrices X with X^T η + η X = 0. As a real form of the complex Lie algebra so(n,C), so(p,q) is classified by Cartan types B_k or D_k depending on p+q, following the Cartan classification refined by Élie Cartan and later by Bertram Kostant. Root systems, Cartan subalgebras, and Dynkin diagrams for so(p,q) connect to the work of Niels Abel, Wilhelm Killing, Élie Cartan, and Hermann Weyl. The Killing form and signature determine noncompactness; maximal compact subalgebras correspond to choices of p and q, as in the classification used by Harish-Chandra and David Vogan.
Concrete matrix realisations include SO(n)=SO(n,0), SO(1,n−1) related to Lorentzian transformations, and SO(2,2) with connections to two-dimensional conformal symmetry studied by Paul Dirac and Hermann Minkowski. Explicit block-diagonal embeddings link SO(p,q) to matrix groups treated by Camille Jordan and Issai Schur. Low-dimensional isomorphisms—such as SO(3) ≅ PSU(2) in the context of Felix Klein and William Rowan Hamilton quaternionic structures, and SO(4) ≅ (SU(2)×SU(2))/±1 appearing in Peter Dirac’s work—illustrate representation equivalences found by Élie Cartan and exploited in the study of John von Neumann and Hermann Weyl.
The signature (p,q) governs topology: for p+q≥2, SO(p,q) may be disconnected; the number of components depends on p and q and orientation-reversing isometries studied by Henri Poincaré and Élie Cartan. The identity component SO_0(p,q) often appears in the context of global analysis in works by Atle Selberg, Harish-Chandra, and Michael Atiyah. For Lorentzian signature SO(1,n−1), connectedness considerations underlie causal structure studied by Albert Einstein, Hermann Minkowski, Wheeler, and in relativity literature involving Roger Penrose and Stephen Hawking.
Important subgroups include maximal compact subgroups isomorphic to O(p)×O(q) and parabolic subgroups that give flag varieties studied by Alexander Grothendieck, Jean-Pierre Serre, and Armand Borel. Homogeneous spaces of the form SO(p,q)/SO(p)×SO(q) realize pseudo-Riemannian symmetric spaces analyzed by Élie Cartan, Sigurdur Helgason, and Robert Langlands. Isotropy representations connect to the theory of symmetric pairs used by Bertram Kostant and Ian Macdonald, while discrete subgroups yield locally symmetric spaces relevant to Henri Poincaré’s work on discontinuous groups and later to the theory developed by G.A. Margulis.
Unitary, finite-dimensional, and infinite-dimensional representations of SO(p,q) form rich categories treated by Hermann Weyl, Harish-Chandra, I. M. Gelfand, and David Vogan. Highest-weight theory, Weyl character formula, and the classification of irreducible representations connect to Élie Cartan’s root system theory and to Kazhdan–Lusztig theory by David Kazhdan and George Lusztig. The Langlands program of Robert Langlands places automorphic representations of groups like SO(p,q) within a broader arithmetic framework developed alongside contributions from James Arthur and Laurent Clozel.
SO(p,q) symmetries appear in pseudo-Riemannian geometry, conformal geometry, and general relativity, featuring in the works of Bernhard Riemann, Albert Einstein, Hermann Weyl, Roger Penrose, and Stephen Hawking. In particle physics and gauge theory, groups locally isomorphic to SO(p,q) arise in model building studied by Murray Gell-Mann, Sheldon Glashow, Yoichiro Nambu, and in grand unified theories by Howard Georgi and Sheldon Glashow. In string theory and dualities, T-duality and S-duality literature by Edward Witten, Juan Maldacena, and Cumrun Vafa employs orthogonal groups; in condensed matter, topological phases examined by Frank Wilczek and Xiao-Gang Wen make use of orthogonal symmetries. Applications also extend to harmonic analysis on homogeneous spaces in the traditions of Atle Selberg and Harish-Chandra.
Category:Lie groups Category:Orthogonal groups