Chevalley bases

Chevalley bases
Name	Chevalley bases

Chevalley bases are special bases of complex semisimple Lie algebras chosen to make the structure constants integral and compatible with root decompositions. They provide a bridge between the theory of Élie Cartan-style classification, the work of Claude Chevalley, and constructions of algebraic groups over rings such as Z. Chevalley bases play a central role in defining Chevalley groups, in reduction modulo primes, and in studying representations with integral forms associated to Henri Cartan, Nikolai Bourbaki, and later developments by Jean-Pierre Serre and Harish-Chandra.

Definition and basic properties

A Chevalley basis for a complex semisimple Lie algebra g relative to a Cartan subalgebra h consists of a collection of root vectors {e_alpha, f_alpha} indexed by the roots alpha in a root system Phi, together with a basis {h_i} of h chosen from coroots, so that the Lie brackets [e_alpha, f_alpha] and [h_i, e_alpha] have integral structure constants. This choice ensures compatibility with the Dynkin diagram classification and with the Killing form normalized via Élie Cartan conventions. Chevalley bases are constructed so that structure constants lie in Z, enabling descent to forms over rings like Z, Z_p, and finite fields such as F_p; they permit passage from complex Lie algebras to algebraic groups connected to Alexander Grothendieck-style schemes and André Weil-type considerations.

Construction and examples

Construction begins with a semisimple Lie algebra g over C and a choice of a Cartan subalgebra h and simple root system Delta. One selects root vectors e_alpha for each root alpha normalized so that the integers appearing in [e_alpha, e_beta] = N_{alpha,beta} e_{alpha+beta} are integral. Concrete examples include classical series associated with matrix algebras: for type A_n one takes Camille Jordan-style traceless matrix generators, for type B_n and D_n one employs skew-symmetric or orthogonal matrix realizations tied to Hermann Weyl's representation theory, and for type C_n one uses symplectic matrix models related to Élie Cartan's classification. Exceptional types E_6, E_7, E_8, F_4, G_2 admit explicit Chevalley bases constructed in the work of Claude Chevalley and later elaborations by Robert Steinberg and Victor Kac.

Chevalley bases for semisimple Lie algebras

For a semisimple Lie algebra decomposed into simple ideals, Chevalley bases respect the direct sum decomposition and the associated Cartan matrices determined by Wilhelm Killing and Élie Cartan. The coroots appearing as h_i correspond to columns of the Cartan matrix, and the Serre relations from Jean-Pierre Serre's presentation of Kac–Moody algebras ensure that generators satisfy integral relations. In practice, one uses highest-weight modules studied by I. M. Gelfand and B. L. van der Waerden techniques to normalize root vectors, connecting to highest-weight theory originating with Élie Cartan and advanced by Harish-Chandra for representation-theoretic control.

Relation to root systems and Cartan subalgebras

Chevalley bases are intimately linked to the root system Phi and the Cartan subalgebra h; roots determine one-dimensional root spaces whose generators are the e_alpha. The choice of simple roots and corresponding coroots ties to the Dynkin diagram and the Weyl group studied by H. S. M. Coxeter. Integral structure constants reflect the combinatorial data encoded in the root lattice and weight lattice, connecting to lattices studied by John Conway and Neil Sloane in a later combinatorial context. The Killing form and coroot pairings provide normalization conditions used by Hermann Weyl and Élie Cartan to fix the h_i in the Chevalley basis.

Chevalley groups and integrality applications

Chevalley bases allow defining, via exponentials and one-parameter subgroups, integral forms of algebraic groups now known as Chevalley groups, following Claude Chevalley and later systematic treatments by Robert Steinberg and Jean-Pierre Serre. These groups give families of finite simple groups over finite fields like F_q and underlie constructions in the classification of finite simple groups utilized by Daniel Gorenstein and collaborators. Applications include reduction mod p techniques central in the work of Alexander Grothendieck and Pierre Deligne, and arithmetic studies connected to Jean-Pierre Serre's conjectures and to automorphic forms studied by Robert Langlands.

Representation-theoretic aspects and modules

Chevalley bases enable the construction of integral forms of highest-weight modules and Weyl modules, making possible the study of modular representations over fields of positive characteristic as in the work of H. H. Andersen and George Lusztig. They permit explicit computations of weight multiplicities, crystal bases later developed by Masaki Kashiwara and G. Lusztig, and link to category O analyzed by Joseph Bernstein and Israel Gelfand. Integral forms built from Chevalley bases are foundational for comparing complex and modular representation theories and for the study of tilting modules and reduction modulo primes in the program by André Joyal-style categorical methods and geometric representation theory advanced by David Kazhdan and George Lusztig.

Historical context and key references

The concept originated in the mid-20th century in Claude Chevalley's work synthesizing Élie Cartan's classification with algebraic group theory; subsequent foundational texts and papers by Robert Steinberg, Jean-Pierre Serre, Harish-Chandra, and Nathan Jacobson developed the algebraic and representation-theoretic consequences. Later expositions by James E. Humphreys and comprehensive treatments in seminars linked to Alexandre Grothendieck and Pierre Deligne situate Chevalley bases within modern algebraic group theory and number-theoretic applications explored by Robert Langlands and Jean-Pierre Serre.

Category:Lie algebras