ADE. Patterns in mathematics
ADE classificationcluster algebraCoxeter groupDynkin diagramMcKay correspondencemonstrous moonshinePlatonic solidroot systemsingularity
Representations of quivers and partially ordered sets (16G20) Root systems (17B22) Research exposition (monographs, survey articles) pertaining to group theory (20-02) Simple groups: sporadic groups (20D08) Reflection and Coxeter groups (group-theoretic aspects) (20F55) Symmetry properties of polytopes (52B15)
This monograph provides an accessible introduction to ADE classification patterns appearing throughout mathematics. The ADE pattern consists of two infinite families (types \(A_n\) and \(D_n\)) and three exceptional cases (\(E_6\), \(E_7\), \(E_8\)), emerging in areas from Platonic solids to Lie theory, singularity theory and mathematical physics.\N\NThe book begins with regular polytopes in \(\mathbb{R}^3\), whose symmetries fall into two infinite families (\(n\)-gons with cyclic symmetry \(\mathbb{Z}/n\mathbb{Z}\) and \(n\)-prisms with dihedral symmetry) and three exceptional cases (tetrahedral, octahedral, icosahedral groups: \(A_4\), \(S_4\), \(A_5\)).\N\NAfter algebraic preliminaries, the text develops root systems and Coxeter groups. Root systems are collections of vectors in Euclidean space closed under reflections and containing only roots and their negatives.\N\NSmith's theorem provides a graph-theoretic characterization: connected graphs have largest eigenvalue less than \(2\) if and only if they are ADE Dynkin diagrams, while eigenvalue equal to \(2\) gives affine ADE diagrams [\textit{J. H. Smith}, in: Combinatorial structures and their applications. Proceedings of the Calgary international conference on combinatorial structures and their applications held at the University of Calgary, Calgary, Alberta, Canada, June, 1969. New York-London-Paris: Gordon and Breach, Science Publishers. 403--406 (1970; Zbl 0249.05136)]. The dual problem (least eigenvalue \(-2\) or greater) yields generalized line graphs plus finitely many exceptions in \(E_8\).\N\NBinary polyhedral groups as finite subgroups of \(\mathrm{SU}(2)\) form double covers of Platonic symmetry groups. Using Clifford algebras, the authors show 3D root systems induce 4D root systems via spinor groups: \((A_3, B_3, H_3) \to (D_4, F_4, H_4)\), extending Arnold's trinities.\N\NThe McKay correspondence relates finite subgroups \(G\) of \(\mathrm{SU}(2)\) to affine ADE Lie algebras. The McKay quiver encoding tensor product multiplicities of irreducible representations is precisely the affine ADE Dynkin diagram, with representation dimensions giving Coxeter labels. Geometrically, local Calabi-Yau surfaces are quotient singularities \(\mathbb{C}^2/G\) with defining equations of ADE type; their resolutions have intersection matrices matching affine ADE Cartan matrices.\N\NAdvanced topics include monstrous moonshine (monster group conjugacy classes and affine \(E_8\)), Gabriel's theorem (quiver representations of finite type correspond to ADE diagrams), cluster algebras (Fomin-Zelevinsky classification), von Neumann subfactors (index less than 4), Arnold's catastrophe theory singularities, Kodaira's elliptic fibration classification and conformal field theory modular invariants.\N\NThe book presents a unifying perspective (``poly-mathematics) centred on the \textbf{ADE} pattern. However, the disparity in depth between introductory and advanced chapters is significant: elementary material may not benefit the intended audience, while technical topics are sometimes only sketched. Another weakness concerns the citation style, which follows the order of appearance rather than alphabetical order.\N\NDespite these shortcomings, the book provides a valuable research reference illustrating deep interconnections between algebra, geometry, combinatorics, representation theory and mathematical physics.
This page was built for publication: ADE. Patterns in mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6978511)
