SO(5)

SO(5)
Name	SO(5)
Type	Lie group
Dimension	10
Simply connected cover	Spin(5)

SO(5) SO(5) is the special orthogonal group of degree five, a compact connected simple Lie group of dimension ten and rank two that preserves a nondegenerate symmetric bilinear form in five dimensions; it appears alongside Spin(5), B2 (Lie algebra), Clifford algebra constructions, and classical groups such as SO(3), SO(4), SO(6), SU(2), and Sp(2). Its role connects historic developments by mathematicians like Élie Cartan, Hermann Weyl, Évariste Galois, Sophus Lie, and later contributors at institutions such as École Normale Supérieure, University of Göttingen, Princeton University, and Harvard University.

Definition and basic properties

SO(5) is defined as the group of 5×5 real orthogonal matrices with determinant one, embedded in the general linear group GL(5,R), preserving the standard Euclidean form; it is a compact subgroup of O(5), with connected component tied to Lie group theory developed by Wilhelm Killing and Élie Cartan. As a classical simple group it shares structural features with SO(n), Spin(n), Sp(n), and exceptional families discussed by Cartan and cataloged in the Dynkin diagram classification used at venues like Institute for Advanced Study.

Lie algebra and representation theory

The Lie algebra so(5) is a ten-dimensional real Lie algebra isomorphic over C to the complex algebra B2, intimately related to representations studied by Hermann Weyl, Harish-Chandra, Issai Schur, and modern treatments at institutions such as Massachusetts Institute of Technology, University of Cambridge, and University of Oxford. Highest-weight theory yields fundamental weights corresponding to two simple roots, and finite-dimensional irreducible representations link to characters and Weyl dimension formula used in seminars at Institute for Advanced Study and lectures by George Mackey. The spin representation factors through Spin(5) ≅ Sp(2), relating to symplectic representations explored by William Fulton, Joe Harris, and in contexts of Higgs boson model building at CERN. Branching rules from so(5) to subalgebras like so(4) and so(3) connect with classical results by E. Cartan and modern computations from groups such as American Mathematical Society.

Topology and homotopy groups

Topologically, SO(5) has the homotopy type studied in algebraic topology traditions at University of Chicago and Princeton University; its fundamental group is isomorphic to Z/2Z, and its universal cover is Spin(5)],] a simply connected group homeomorphic to Sp(2). Higher homotopy groups connect with computations by Henri Poincaré, Jean-Pierre Serre, and Raoul Bott; Bott periodicity and results presented at Institute for Advanced Study and IHÉS determine π_k for ranges where comparisons to SO(3), SO(4), SO(6), and classical results by Serre apply. Characteristic classes for principal SO(5)-bundles appear in work by Shiing-Shen Chern and applications at Princeton University and Institute for Advanced Study.

Matrix realizations and embeddings

SO(5) admits explicit 5×5 orthogonal matrix realizations used in computational geometry at University of California, Berkeley and numerical linear algebra research at Los Alamos National Laboratory; block-diagonal embeddings relate SO(5) to SO(3)×SO(2), SO(4), and to classical inclusions into GL(5,R) studied in seminars at Courant Institute and Max Planck Institute for Mathematics. The isomorphism of Lie algebras so(5) ≅ sp(2) yields matrix embeddings into symplectic groups studied by André Weil and exploited in representation constructions at Harvard University. Embeddings into larger groups like SO(6), SU(4), and exceptional groups encountered at Institute for Advanced Study illustrate how SO(5) appears in chains of subgroup inclusions catalogued by Dynkin and discussed in conferences at International Congress of Mathematicians.

Applications in physics and geometry

SO(5) symmetry appears in theoretical physics contexts such as unified descriptions proposed in condensed matter research by Shou-Cheng Zhang and explored at Stanford University, in effective field theories discussed at CERN and Perimeter Institute, and in models of grand unification investigated at CERN and SLAC National Accelerator Laboratory. In differential geometry SO(5) structures enter the classification of Riemannian holonomy groups studied by Marcel Berger and in special geometric constructions at Institut des Hautes Études Scientifiques and Princeton University. Gauge theories with SO(5) gauge group, instanton moduli spaces, and sigma models have been treated in publications from Cambridge University Press and conferences featuring researchers like Edward Witten and Alexander Polyakov. Applications to topology and four-manifold theory connect to research by Simon Donaldson and Michael Freedman.

Classification and relation to other groups

In the Cartan–Killing classification, SO(5) corresponds to the B2 family and is closely related to Spin(5), Sp(2), and classical groups such as SO(4), SO(6), SU(4), and Sp(1). Its root system and Dynkin diagram placement among simple Lie groups were established by Élie Cartan and formalized in texts by Bourbaki and Humphreys, and its subgroup structure features prominently in tables compiled by the Atlas of Lie Groups and Representations and discussed at meetings like the International Congress of Mathematicians.

Category:Lie groups