E_7
Generated by GPT-5-miniExpansion Funnel Raw 80 → Dedup 0 → NER 0 → Enqueued 0
| E_7 | |
|---|---|
| Name | E7 |
| Type | Lie algebra / Lie group |
| Dimension | 133 |
| Root system | E7 root system |
| Dynkin diagram | E7 Dynkin diagram |
E_7
E_7 is an exceptional complex simple Lie algebra and associated Lie group appearing in the classification of simple Lie algebras by Wilhelm Élie Cartan, Élie Cartan's successors, and in the ADE classification used by Hermann Weyl and Élie Cartan. It has rank seven and dimension 133 and plays a central role in connections between Arnold, Victor Kac, Bourbaki, Claude Chevalley, and constructions in Algebraic geometry and theoretical physics.
Definition and basic properties
The complex simple Lie algebra of type E7 is defined by its Cartan matrix in the classification of Wilhelm Killing and Élie Cartan and can be realized as a Chevalley algebra constructed by Claude Chevalley and extended in the work of Jean-Pierre Serre and Nathan Jacobson. It has a root lattice of type E7 related to the lattices studied by John Conway, Conway, and Neil Sloane. Over the complex numbers one obtains the simply connected Lie group associated to E7; forms over the reals include the compact form and the split real form studied by Élie Cartan and Sigurdur Helgason. The center of the simply connected group is of order two, and important subgroups include maximal parabolics and Levi factors appearing in the work of Armand Borel, Jacques Tits, and Robert Steinberg.
Root system and Dynkin diagram
The E7 root system is one of the five exceptional root systems catalogued by Élie Cartan and further organized in the Bourbaki tables by Nicolas Bourbaki. Its Dynkin diagram is the unique seven-node exceptional diagram appended to the ADE series appearing alongside A_n, D_n, and E_6 and E_8. The root system can be embedded inside the E8 lattice studied by Leech and appears in lattice constructions of Conway and Sloane. Realizations use orthonormal bases analogous to constructions by E. B. Dynkin, and the Weyl group is an important finite reflection group first analyzed by Hermann Weyl, H. S. M. Coxeter, and G. C. Shephard.
Lie algebra and representation theory
The Lie algebra admits a 56-dimensional fundamental (minuscule) representation discovered in the representation-theory work of Élie Cartan, Hermann Weyl, and later explicitized by Bertram Kostant, Michael Atiyah, and Raoul Bott. Highest-weight theory developed by Harish-Chandra, Joseph Bernstein, and André Weil provides classification of finite-dimensional modules, while characters are governed by the Weyl character formula and investigated in the work of Kostant and Weyl. The exceptional dual pair correspondences relate E7 representations to those of classical groups studied by Roger Howe and David Vogan. Branching rules and tensor product decompositions connect to calculations by William Fulton and Joe Harris and to the computational tables of the Atlas.
Algebraic groups and forms over fields
Algebraic groups of type E7 over arbitrary fields were constructed by Claude Chevalley and classified via Galois cohomology by Jean-Pierre Serre and James Milne. Twisted forms relate to Tits indices introduced by Jacques Tits and appear in the classification of semisimple groups over local and global fields in the works of Robert Langlands, James Arthur, and Gopal Prasad. Exceptional groups of type E7 over finite fields enter the list of finite simple groups and were investigated by Gorelik and in the classification efforts of Daniel Gorenstein and Ron Solomon.
Geometry and applications (del Pezzo surfaces, string theory)
E7 symmetry arises in algebraic geometry via del Pezzo surfaces of degree two where the Picard lattice carries an E7 root subsystem analyzed by Cantat and classical work of Jordiy and Igor Dolgachev. In string theory and M-theory, E7 appears in U-duality groups studied by Edward Witten, Michael Green, John Schwarz, and Cumrun Vafa; the 56-dimensional representation corresponds to charge lattices discussed by Ashoke Sen and Andrew Strominger. Exceptional holonomy and special geometry constructions connect to work by Dominic Joyce and Shing-Tung Yau.
Lattices, Weyl group, and Coxeter elements
The E7 root lattice embeds in the E8 lattice and relates to the even unimodular lattices studied by John Milnor and Boris Venkov. The Weyl group is a finite reflection group of order 2,903,040 first computed by Coxeter and enumerated in tables by Bourbaki. Coxeter elements and their eigenvalues were analyzed by H.S.M. Coxeter and appear in periodicity phenomena investigated by Victor Kac and in the McKay correspondence studied by John McKay and Igor Frenkel.
Historical development and notable results
The exceptional series including E7 was discovered in the early 20th century in the classification efforts of Wilhelm Killing and finalized by Élie Cartan; structural and representation-theoretic properties were expanded by Harish-Chandra, David Kazhdan, and I. M. Gelfand. Chevalley’s construction led to finite groups of Lie type studied by Claude Chevalley and Robert Steinberg. Notable modern results include explicit classification of forms by Tits, the construction of minimal representations by Toshiyuki Kobayashi and Benedict Gross, and applications to string dualities by Green, Schwarz, and Witten.