Chevalley basis

Chevalley basis
Name	Chevalley basis

Chevalley basis is a distinguished choice of basis for a semisimple Lie algebra over a field that organizes structure constants into integral values, enabling constructions of forms over rings and finite fields. It links the work of mathematicians in Lie theory, algebraic groups, and number theory, and underpins the explicit definition of Chevalley groups, integral forms, and connections to representation theory, algebraic geometry, and arithmetic. The construction and use of this basis have been influential across collaborations and institutions such as the Institute for Advanced Study, École Normale Supérieure, and Princeton University.

Definition and construction

A Chevalley basis is built from a choice of Cartan subalgebra and a root system associated to a semisimple Lie algebra, using roots classified by Dynkin diagrams studied by Élie Cartan, Wilhelm Killing, and later organized by Élie Joseph Cartan's school and Élie Cartan's successors like Hermann Weyl and Claude Chevalley. The construction begins with a Cartan decomposition related to a Cartan matrix developed in the work of Kostant, Serre, and Cartan, and selects root vectors e_α and f_α together with coroots h_α that satisfy integrality conditions first emphasized by Claude Chevalley and elaborated by researchers at Institut des Hautes Études Scientifiques and University of Paris. Chevalley used methods influenced by the representation-theoretic formulations of Hermann Weyl, the structural insights of Robert Steinberg, and the classification program involving Élie Cartan and Dynkin. The resulting basis elements satisfy relations mirroring those encoded in the Cartan matrix used by Nikolai Chebotaryov and algebraists associated with Émile Picard's tradition.

Properties and relations to root systems

Elements of a Chevalley basis correspond to roots in a root system studied by Élie Cartan, Eugene Dynkin, and Hermann Weyl, with commutation relations mirroring reflections studied by Wilhelm Killing and Élie Cartan. The basis yields integral structure constants that allow passage to rings introduced by Richard Dedekind and David Hilbert in number theory, and these constants are compatible with Weyl group actions studied by Coxeter and H.S.M. Coxeter. Relations among basis elements include Serre relations developed by Jean-Pierre Serre and generators reflecting the Cartan matrix formalism of Victor Kac and Bertrand Russell's contemporaries in algebraic combinatorics. Chevalley bases respect gradings seen in works by Igor Shafarevich and Alexander Grothendieck, permitting integral forms that interface with schemes considered at Institut des Hautes Études Scientifiques and arithmetic geometry explored by John Tate. The root-theoretic picture connects to reflection groups analyzed by Arthur Cayley and geometric representation perspectives associated with André Weil.

Chevalley groups and integral forms

From a Chevalley basis one constructs integral forms of Lie algebras that integrate to group schemes and finite groups of Lie type such as those studied by Claude Chevalley, Robert Steinberg, and R. Steinberg's school, leading to families classified by Louis Michel, George Glauberman, and researchers at Institute for Advanced Study. Chevalley groups over finite fields underpin the classification of finite simple groups pursued by teams including Daniel Gorenstein, Ronald Solomon, and Walter Feit. Integral forms connect to arithmetic groups investigated by Armand Borel, Harish-Chandra, and Jean-Pierre Serre, and to reduction techniques used by André Weil and John Milnor. The algebraic group schemes arising from Chevalley constructions are central to the theory developed by Alexander Grothendieck and the group-theoretic frameworks of Nicholas Bourbaki members such as Jean-Pierre Serre and Claude Chevalley himself.

Examples and explicit bases

Concrete Chevalley bases are given explicitly for classical types A_n, B_n, C_n, D_n and exceptional types E_6, E_7, E_8, F_4, G_2, with computations found in texts by Nathan Jacobson, James E. Humphreys, and Jean-Pierre Serre. For type A_n the basis aligns with matrix units linked to École Polytechnique traditions and constructions familiar from Galois-theoretic algebra studied by Évariste Galois, while for type G_2 and F_4 explicit structure constants were tabulated by R. Steinberg and later by authors at Princeton University and University of Chicago. Examples in low rank connect to classical groups such as SL_n, SO_n, and Sp_{2n} previously studied by Hermann Weyl and Élie Cartan, and explicit integral bases have been used by researchers including Serre, Chevalley, and W. T. Gan.

Applications in representation theory and algebraic groups

Chevalley bases enable definition of integral and modular representations studied by James E. Humphreys, George Lusztig, and André Weil, and they are instrumental in constructing highest-weight modules used by Bertram Kostant, Joseph Bernstein, and Israel Gelfand. Their role in reduction modulo primes feeds into Deligne–Lusztig theory developed by Pierre Deligne and George Lusztig and to the modular representation program linked to Richard Brauer and Jon Alperin. Algebraic groups built from Chevalley data feature in Langlands program contexts associated with Robert Langlands, Pierre Deligne, and Edward Witten, and they intersect with arithmetic geometry examined by Jean-Pierre Serre and Alexander Grothendieck.

Historical development and key contributors

The concept originated in the mid-20th century with Claude Chevalley synthesizing ideas from Élie Cartan, Hermann Weyl, and Wilhelm Killing. Subsequent formalization and applications were advanced by Robert Steinberg, Jean-Pierre Serre, Armand Borel, Harish-Chandra, and James E. Humphreys. Developments in finite group theory engaged Daniel Gorenstein and Ronald Solomon, while representation-theoretic elaborations involved George Lusztig, Bertram Kostant, and Pierre Deligne. Institutional hubs influencing the subject include Institute for Advanced Study, École Normale Supérieure, Princeton University, University of Chicago, and Institut des Hautes Études Scientifiques. Contemporary work continues across collaborations spanning Institut des Hautes Études Scientifiques and research groups in algebra and number theory.

Category:Lie algebras