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_n(C) | |
|---|---|
| Name | so_n(C) |
| Type | Lie algebra |
| Rank | n/2 (for even n) or (n-1)/2 (for odd n) |
| Related | so_n(R), sl_n(C), sp_n(C), Spin(n) |
so_n(C)
so_n(C) is the complex special orthogonal Lie algebra consisting of n×n complex skew-symmetric matrices with trace zero, arising as the complexification of the real Lie algebra associated with the special orthogonal group; it plays a central role in the classification of simple Lie algebras and in the representation theory of classical groups. Originating in the study of quadratic forms by mathematicians such as Carl Friedrich Gauss, Élie Cartan, Sophus Lie, and Hermann Weyl, it connects to structures in Algebraic topology, Differential geometry, Mathematical physics, and the theory of spinors.
so_n(C) is the Lie algebra of the complex special orthogonal group SO(n,C), defined as the set of n×n complex matrices X satisfying X^T + X = 0 and trace(X)=0, with the Lie bracket given by the commutator [X,Y]=XY−YX. Its dimension is n(n−1)/2, matching the dimension of SO(n) and related to classical counts in Matrix theory and Representation theory. As a complex semisimple Lie algebra, so_n(C) decomposes according to the Cartan classification of Cartan into types B_{m} (odd n = 2m+1) and D_{m} (even n = 2m), linking to the Dynkin diagram families studied by Wilhelm Killing and Élie Cartan.
The structure of so_n(C) as a semisimple Lie algebra places it in the Cartan–Killing classification: for n=2m+1 it is of type B_m, and for n=2m it is of type D_m, with root systems and Weyl groups corresponding to those families examined by Hermann Weyl and Claude Chevalley. The Killing form, Cartan decomposition, and ideals obey general results from Cartan decomposition theory and the Levi decomposition, while the center and universal covering groups are linked to the Spin group and the Clifford algebra constructions developed by William K. Clifford and later exploited by Paul Dirac. Outer automorphisms for type D_4 famously give the triality symmetry studied by Élie Cartan and connected to phenomena in Algebraic geometry and String theory.
so_n(C) can be realized concretely by the set of skew-symmetric matrices S with S^T = −S; standard basis elements E_{ij}−E_{ji} generate the algebra, facilitating computations used in Lie algebra cohomology, Invariant theory, and applications in Quantum mechanics. For small ranks, explicit isomorphisms occur: so_3(C) ≅ sl_2(C), linking to work of Arthur Cayley and William Rowan Hamilton on quaternions; so_4(C) decomposes as a direct sum isomorphic to sl_2(C)⊕sl_2(C), a classical fact used in studies by Élie Cartan and Hermann Weyl. Matrix realizations underpin connections to the classical groups cataloged by Élie Cartan in his classification of symmetric spaces.
A Cartan subalgebra of so_n(C) is typically chosen as the diagonal matrices in the skew-symmetric basis, yielding root systems of type B_m or D_m described by the standard orthonormal basis vectors ε_i; the simple roots, positive roots, and highest roots were systematically tabulated in the work of Élie Cartan, Wilhelm Killing, and compiled in texts by N. Bourbaki and Humphreys, James E.. The Weyl group of so_n(C) is isomorphic to the signed permutation group (hyperoctahedral group) for type B and the even signed permutations for type D, linking to combinatorial studies by Weyl and later combinatorialists such as Richard P. Stanley.
Finite-dimensional representations of so_n(C) are classified by highest weights relative to a choice of Cartan and Borel subalgebra, with fundamental representations corresponding to vector, spinor, and exterior powers; the spin representations for even n are constructed via Clifford algebra modules and connect to the Spin group and the work of Paul Dirac and Élie Cartan. Branching rules, tensor product decompositions, and character formulas for so_n(C) are governed by the Weyl character formula, Littlewood–Richardson rule, and the theory of Young tableaux developed by Alfred Young and extended in work by Fulton, William and Harris, Joe. Representations appear in physical models studied by Eugene Wigner, Chen Ning Yang, and in mathematical contexts like the study of modular forms by André Weil.
so_n(C) appears as the infinitesimal symmetry algebra of quadratic forms and orthogonal bundles on varieties studied in Algebraic geometry, and as the Lie algebra of isometries of pseudo-Riemannian manifolds in Differential geometry texts by Élie Cartan and Marcel Berger. Holonomy groups involving SO(n) and Spin(n) link so_n(C) to results by Marcel Berger and to special holonomy in Calabi–Yau manifolds and G2 manifold contexts investigated by Shing-Tung Yau and Dominic Joyce. Topological invariants such as Stiefel–Whitney and Pontryagin classes for real bundles are related to reductions of structure group to SO(n) and Spin(n), themes explored by John Milnor and Raoul Bott.
so_n(C) underlies models in theoretical physics including gauge theories, grand unified theories investigated by Georgi, Howard and Wilczek, Frank, and symmetry analysis in particle physics by Murray Gell-Mann and Steven Weinberg. Generalizations include orthogonal Lie algebras over other fields, affine Kac–Moody extensions studied by Victor Kac, quantum deformations linked to Drinfeld and Jimbo, and superalgebra analogues appearing in supersymmetry researched by Pierre Ramond and Edward Witten. Ongoing research connects so_n(C) to geometric representation theory in the work of George Lusztig, categorical methods by Maxim Kontsevich, and number-theoretic instances in the Langlands program pursued by Robert Langlands.
Category:Complex Lie algebras Category:Classical Lie algebras