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.
| ADE classification | |
|---|---|
| Name | ADE classification |
| Caption | Dynkin diagrams of types A, D, E |
| Field | Representation theory, Lie theory, Algebraic geometry |
| Introduced | 20th century |
| Notable | Élie Cartan, Wilhelm Killing, Eugene Dynkin, Claude Chevalley |
ADE classification
The ADE classification is a scheme organizing certain simply-laced phenomena into three families labelled A, D, and E. It unifies occurrences across Élie Cartan's work on simple Lie algebras, Eugène Dynkin's diagrams, and singularity theory explored by Hermann Weyl, Arnold, and others, appearing in contexts as diverse as Kac–Moody algebras, McKay correspondence, and Du Val singularitys.
The ADE classification identifies patterns that recur in the study of simple Lie algebras, finite subgroups of SU(2), rational double points studied by Patrick Du Val, and intersection forms in K3 surfaces. Key historical actors include Wilhelm Killing, Élie Cartan, Eugène Dynkin, Claude Chevalley, and Victor Kac, while foundational objects include Dynkin diagrams, Cartan matrixs, and root systems appearing in the work of Hermann Weyl and in the classification of simple Lie groups such as SU(n), SO(n), and the exceptional groups E6, E7, E8.
The origin traces to Wilhelm Killing and Élie Cartan in the classification of simple Lie algebras, formalized via Cartan matrixs and Dynkin diagrams by Eugène Dynkin. Later contributions by Claude Chevalley and Hermann Weyl linked these structures to representation theory and root systems. The connection to surface singularities emerged through work of Patrick Du Val and later reinterpretations by John McKay and Michael Artin. Developments in the 20th century involved insights from Victor Kac on infinite-dimensional Kac–Moody algebras and from Maxim Kontsevich and Pierre Deligne in geometric and categorical contexts.
ADE classification rests on the theory of simply-laced root systems characterized by symmetric Cartan matrixs and corresponding Dynkin diagrams with edge multiplicity one. A root system gives a finite Weyl group as in works by Hermann Weyl; the Cartan datum determines a generalized Cartan matrix studied by Eugène Dynkin and the Serre relations introduced in the context of Kac–Moody algebras by Victor Kac. The allowed connected simply-laced Dynkin diagrams are precisely the infinite family of type A_n, the D_n family, and the three exceptional E6, E7, E8 as classified by Élie Cartan and Eugène Dynkin.
Type A_n corresponds to simply-laced diagrams associated to SU(n+1) and the classical A-series of simple Lie algebras; type D_n arises from orthogonal series related to SO(2n) and the D-series in Cartan’s list. The exceptional types E6, E7, E8 correspond to the exceptional Lie groups E6, E7, E8 discovered in Élie Cartan's classification. These diagrams encode simple roots, Coxeter elements studied by H.S.M. Coxeter, and exponents that appear in the invariant theory of Weyl groups such as those analyzed by Noether and Chevalley.
In representation theory the ADE types classify finite-dimensional simple Lie algebras over algebraically closed fields of characteristic zero as in Cartan’s and Chevalley’s frameworks, and they govern the representation theory of finite subgroups of SU(2) via the McKay correspondence introduced by John McKay. They determine highest-weight modules, simple roots, and Weyl character formula contexts studied by Harish-Chandra and Weyl. ADE also appear in the theory of quivers pioneered by Pierre Gabriel, where Gabriel’s theorem links finite representation type quivers to Dynkin diagrams of ADE type.
ADE appears in the classification of du Val or rational double point surface singularities catalogued by Patrick Du Val; these singularities correspond to Dynkin diagrams A_n, D_n, E6, E7, E8 via minimal resolutions and exceptional divisor intersection patterns investigated using techniques from Algebraic geometry by Michael Artin and in work on K3 surfaces by Shafarevich and Igor Dolgachev. The McKay correspondence relates the geometry of quotient singularities by finite subgroups of SU(2) to representation-theoretic data. Relations to mirror symmetry and derived categories have been explored by Maxim Kontsevich, Paul Seidel, and Alexander Bondal.
Representative examples include: - Type A_n: the Dynkin diagram of n nodes corresponding to simple Lie algebra sl(n+1, C), finite subgroup cyclic types linked to cyclic quotient singularities studied by Du Val. - Type D_n: diagrams yielding so(2n) algebras and binary dihedral subgroup correspondences appearing in McKay’s list. - Type E6, E7, E8: exceptional diagrams associated to exceptional Lie groups E6, E7, E8 and to exceptional singularities catalogued by Arnold in his classification of simple singularities (A-D-E).
Tables of Coxeter numbers, exponents, and root multiplicities are classical data compiled in texts by Élie Cartan, Hermann Weyl, Eugène Dynkin, and modern expositions by Victor Kac and James E. Humphreys.
Open directions include categorical and homological refinements inspired by the McKay correspondence and Homological mirror symmetry conjectures by Maxim Kontsevich, extensions to wild ramification and positive characteristic in the style of Pierre Deligne and Alexander Grothendieck, and explorations of ADE phenomena in conformal field theory and string theory pursued by researchers connected to Edward Witten and Anton Kapustin. Further classification-like patterns appear in the study of cluster algebras by Fomin and Zelevinsky and in relations to sporadic finite simple groups investigated by John Conway and collaborators.
Category:Lie algebras