SU(4)

SU(4)
Name	SU(4)
Type	Compact simple Lie group
Dimension	15
Center	Z/4Z

SU(4) is the compact, simply connected, special unitary group of degree four, consisting of 4×4 unitary matrices with determinant one. As a classical Lie group of type A3, it appears alongside groups such as SU(2), SU(3), SO(4), Sp(2) and plays roles in contexts from Grand Unified Theory proposals to applications involving Spin(6), Spin(5), and orthogonal groups.

Definition and basic properties

SU(4) is defined as the set of complex 4×4 matrices U satisfying U†U = I4 and det U = 1, analogous to definitions for U(n) and SL(4,C). It is a compact, connected, simple Lie group of rank 3 and real dimension 15, sharing structural features with SU(3), SU(5), and the classical family A_n. The center is isomorphic to the cyclic group Z/4Z, relating SU(4) to projective quotients such as PSU(4) and covering relationships with Spin(6), where the isomorphism to Spin(6) connects to the Clifford algebra constructions used in the study of Dirac equation representations.

Lie algebra su(4)

The Lie algebra su(4) consists of traceless anti-Hermitian 4×4 complex matrices, paralleling su(2), su(3), and sl(4,C). It is a real form of the complex Lie algebra of type A3 and isomorphic to the compact real form of sl(4,C). Its structure constants and Killing form mirror those appearing in the study of Cartan subalgebra theory, Killing form computations, and classifications used by mathematicians like Élie Cartan and Wilhelm Killing. The algebra su(4) admits a Cartan decomposition linked to maximal tori analogous to constructions in Weyl group theory and to the study of roots by Hermann Weyl.

Representations

Finite-dimensional irreducible representations of SU(4) are classified by highest weights corresponding to dominant integral weights of type A3, akin to the representation theories of SU(2), SU(3), and GL(n) studied by Hermann Weyl and Harish-Chandra. Fundamental representations include the defining 4-dimensional representation and its dual, plus the 6-dimensional antisymmetric two-form (isomorphic to the vector of Spin(6)). Tensor products, Young tableau combinatorics familiar from Frobenius and Schur theory, and characters computed via the Weyl character formula determine branching rules to subgroups such as SU(3), SU(2), and Sp(2). Projective representations link to central extensions and to phenomena investigated in Peter–Weyl theorem contexts.

Root system and Dynkin diagram

The root system of su(4) is of type A3 with a rank-3 Cartan subalgebra, sharing the simple-root pattern seen in Dynkin diagram classifications used by Bourbaki and Cartan matrices developed in the early 20th century. The Dynkin diagram for type A3 encodes the connections among simple roots and matches diagrams used for groups like SL(4,C) and related algebras. Weyl group symmetries of the A3 root system accord with the symmetric group S4, as in classical treatments by Coxeter and Weyl.

Subgroups and embeddings

SU(4) contains natural embeddings of Lie groups such as SU(3), embedded by acting on a three-dimensional subspace, and SU(2) subgroups arising from 2×2 block embeddings. The isomorphism SU(4) ≅ Spin(6) yields connections to SO(6), Spin groups, and to embeddings into larger classical groups like SU(5) used in Grand Unified Theory model building. Maximal subgroups include S(U(3)×U(1)), S(U(2)×U(2)), and those related to U(n) chains, while exceptional embeddings appear in contexts tied to exceptional groups through branching studied by Dynkin and maximal subgroup classification efforts.

Applications in physics and chemistry

SU(4) symmetry appears in particle physics models, notably in extensions of Pati–Salam model ideas and in some Grand Unified Theory frameworks linking quark and lepton sectors seen in proposals by Jogesh Pati and Abdus Salam. It provides flavor and internal symmetry structures in approaches to chiral symmetry breaking and appears in spinor descriptions via the isomorphism with Spin(6), relevant to Dirac spinor constructions in quantum field theory and in condensed matter contexts such as Hubbard model generalizations with SU(4) symmetry. In chemistry and materials science SU(4)-symmetric Hamiltonians are studied for correlated electron systems and in modeling orbital-spin coupling phenomena addressed in literature involving Anderson impurity model techniques and Bethe ansatz solvable models.

Topology and global structure

Topologically, SU(4) is simply connected with fundamental group trivial for the group itself (as the universal covering of PSU(n) quotients) and shares homotopy groups with other classical groups examined in Bott periodicity results. Its cohomology ring and characteristic classes enter calculations analogous to those for Grassmannian manifolds and Stiefel manifold fibrations; these are topics appearing in works by Raoul Bott and Michael Atiyah. The center Z/4Z governs projective quotients like PSU(4) and plays a role in the classification of principal bundles over manifolds studied in gauge theory contexts such as those developed by Yang–Mills theory researchers.

Category:Lie groups