SO(6)

SO(6)
Name	SO(6)
Type	Lie group
Dimension	15

SO(6) is the special orthogonal group of degree six, the group of orientation-preserving linear isometries of a six-dimensional Euclidean space. It appears in the study of Élie Cartan's classification, the work of Hermann Weyl on representation theory, and in constructions related to Pierre Deligne's ideas about tensor categories. SO(6) plays a role in connections between Michael Atiyah's index theory, Raoul Bott's periodicity, and structures studied by Bertram Kostant and Robert Langlands.

Definition and basic properties

SO(6) is defined as the subgroup of GL(6,R) preserving a nondegenerate symmetric bilinear form with determinant one; historically this links to Sophus Lie's original groups and to the classification by Wilhelm Killing and Élie Cartan. As a compact, connected, semisimple Lie group it shares properties studied by Élie Cartan and Hermann Weyl in the context of compact groups and highest-weight theory developed further by Harish-Chandra and George Mackey. The group's Lie algebra is a rank-three algebra studied alongside examples like so(3), so(4), and so(5), and it appears in classical works by Felix Klein and H. S. M. Coxeter on symmetry and polyhedra.

Lie algebra so(6) and root system

The Lie algebra so(6) consists of 6×6 real skew-symmetric matrices and is isomorphic over C to the complex Lie algebra of type A3, a correspondence explored in papers by Claude Chevalley and Nathan Jacobson. Its root system is of type A3, with Weyl group isomorphic to the symmetric group studied by Augustin-Louis Cauchy and Évariste Galois; these ideas connect to Arthur Cayley's work on determinants and to the use of root data in Robert Steinberg's presentations. The Killing form, Cartan subalgebras, and Dynkin diagram techniques were elaborated by Élie Cartan and further systematized by Victor Kac and Jean-Pierre Serre in Kac–Moody and finite-dimensional settings.

Representations and irreducible representations

Representation theory of SO(6) follows highest-weight classification as in the works of Hermann Weyl and Harish-Chandra, with finite-dimensional irreducibles corresponding to dominant integral weights analyzed by George Lusztig and Israel Gelfand. Young tableau methods developed by Alfred Young and characters studied by Weyl and Fulton apply, while branching rules connecting to subgroups relate to research by Mackey and Branching rule results by R. C. King. Tensor products, symmetric and exterior powers, and spinor constructions feature in treatments by Élie Cartan, Paul Dirac, and Marvin Knopp in contexts bridging mathematics and physics.

Isomorphisms and relationships (e.g., so(6) ≅ su(4), Spin(6))

Classical isomorphisms link so(6) with su(4) at the Lie algebra level, a fact used in works by Claude Chevalley and Hermann Weyl and exploited in mathematical physics by Paul Dirac and Murray Gell-Mann. The double cover Spin(6) is isomorphic to SU(4) as Lie groups, an identification appearing in treatments by Élie Cartan and modern expositions by Michael Atiyah and Isadore Singer in index theory contexts. Triality phenomena for so(8) contrast with these identifications; comparisons are discussed in papers by Élie Cartan and later by John Milnor and Raoul Bott in topology and homotopy theory.

Topology and group structure

Topologically, SO(6) is a compact, connected Lie group with fundamental group isomorphic to Z/2Z, a property examined by H. Hopf and applied in the classification of principal bundles by Steenrod and Atiyah. Cohomology ring computations for SO(6) and related homogeneous spaces were carried out by Henri Cartan and expanded on by Armand Borel and Jean Leray; relations with characteristic classes invoke work of Shiing-Shen Chern and Raoul Bott. The center, maximal tori, and Weyl group structure tie into studies by Claude Chevalley and Armand Borel on algebraic groups and flag varieties, and the lattice of subgroups includes classical inclusions studied by E. Noether in invariant theory.

Applications in physics and geometry

SO(6) arises in theoretical physics in models influenced by Murray Gell-Mann's flavor SU(3) and in higher-dimensional theories considered by Edward Witten and Juan Maldacena in contexts like compactifications and dualities; the su(4) ≅ so(6) identification underpins symmetries in N=4 supersymmetric Yang–Mills theory discussed by P. Ramond and L. Susskind. In differential geometry, SO(6) governs holonomy possibilities relevant to studies by Marcel Berger and to special structures as in works by Simon Donaldson and Richard Hamilton on geometric flows; calibrated geometries and special holonomy studied by Dominic Joyce connect to six-dimensional group actions and to constructions by Shing-Tung Yau on Calabi–Yau manifolds. In classical mechanics and rigid-body theory, rotation groups including SO(6) are considered in literature stemming from Joseph-Louis Lagrange and William Rowan Hamilton when analyzing higher-dimensional rigid rotations.

Category:Lie groups