Cartan matrices

Cartan matrices Cartan matrices are integer-valued matrices introduced in the study of Lie theory that encode inner products and incidence data for root systems associated to semisimple Élie Cartan, Wilhelm Killing, and later generalized by Victor Kac and Robert Moody. They serve as algebraic invariants linking structures arising in Sophus Lie's theory, Hermann Weyl's classification, and modern developments involving Alexander Grothendieck-style categorical methods and geometric representation theory associated with Alexander Beilinson and Joseph Bernstein. Cartan matrices connect to combinatorial objects such as Eugène Dynkin's diagrams, classical groups like Élie Cartan's classification of simple Lie groups, and infinite-dimensional algebraic constructions used in mathematical physics by researchers tied to Edward Witten and Vladimir Drinfeld.

Definition and basic properties

A Cartan matrix is a square matrix A = (a_{ij}) with integer entries satisfying specific axioms originally formulated in the work of Élie Cartan and Wilhelm Killing and systematized by Eugène Dynkin and H. S. M. Coxeter. For the classical finite case one requires a_{ii}=2 for each index i, a_{ij}≤0 for i≠j, and a_{ij}=0 iff a_{ji}=0, conditions appearing in the context of Élie Cartan's analysis of simple Lie algebras and Weyl groups studied by Hermann Weyl and Claude Chevalley. Such matrices determine bilinear forms on vector spaces used in the work of Nikolai Chebotaryov and link to invariant theory studied by David Hilbert and Emmy Noether. Basic properties include integrality, symmetrizability for many important cases connected to Elie Cartan's classification, and relations to reflection groups explored by John McKay and G. C. Shephard.

Cartan matrices of semisimple Lie algebras

For a semisimple Lie algebra over the complex numbers as treated by Élie Cartan and Hermann Weyl, the Cartan matrix arises from a choice of simple roots in a root system originally classified by Élie Cartan and Eugène Dynkin. The entries record pairings of coroots and roots that appear in the representation-theoretic studies of Claude Chevalley and the structural analysis of groups like Albert Einstein's mathematical circle (historical patrons aside). These matrices uniquely determine the corresponding simple Lie algebras of types labelled A_n, B_n, C_n, D_n and exceptional families E_6, E_7, E_8, F_4, G_2 as in the work of Eugène Dynkin, H. S. M. Coxeter, and Robert Steinberg. Constructions using Cartan matrices underpin developments by Jacques Tits in building theory and by Armand Borel in the study of algebraic groups such as André Weil's formulations.

Generalized Cartan matrices and Kac–Moody algebras

Generalized Cartan matrices were introduced in the theory of infinite-dimensional Lie algebras developed by Victor Kac and Robert Moody. These matrices relax finiteness conditions while keeping a_{ii}=2 and a_{ij}≤0 for i≠j, and permit symmetrizable forms central to the work of Vladimir Drinfeld and Michio Jimbo on quantum groups. The resulting Kac–Moody algebras generalize the finite-dimensional simple Lie algebras studied by Élie Cartan and give rise to affine, hyperbolic, and more general types used in the algebraic approach to conformal field theory examined by Belavin, Polyakov, and Alexander Zamolodchikov. Generalized Cartan matrices also play a role in the geometric representation constructions associated with George Lusztig and categorical developments by Maxim Kontsevich.

Classification and Dynkin diagrams

Classification of Cartan matrices in the finite case is equivalent to the classification of connected Dynkin diagrams achieved by Eugène Dynkin and consolidated by H. S. M. Coxeter. The classical ADE classification lists series A_n, D_n and exceptional E_6, E_7, E_8 appearing in works by Élie Cartan, Hermann Weyl, and later used by Michael Atiyah and Isadore Singer in index-theoretic contexts. Affine extensions produce extended diagrams connected to the McKay correspondence studied by John McKay and to moduli problems addressed by Pierre Deligne and Alexander Grothendieck. Hyperbolic and indefinite classes are investigated in research by Vinberg and Richard Borcherds, linking to automorphic forms in studies by Yuri Manin and Igor Frenkel.

Applications in representation theory and geometry

Cartan matrices govern highest-weight theory central to the representation theory developed by Harish-Chandra, David Kazhdan, and George Lusztig, determining characters, blocks, and linkage principles applied in the work of Joseph Bernstein and André Weil. They appear in geometric representation theory via flag varieties studied by Armand Borel and Jean-Pierre Serre, in the construction of quiver varieties by Hiraku Nakajima, and in the geometric Langlands program advanced by Edward Frenkel and Robert Langlands. In mathematical physics Cartan matrices and their extensions are essential in conformal field theory frameworks used by Alexander Zamolodchikov and integrable models studied by Ludwig Faddeev; they also control singularity theory in connections to the work of V. I. Arnold and mirror symmetry themes explored by Maxim Kontsevich and Cumrun Vafa.

Category:Lie algebras