Compact exceptional Lie group E8
The compact connected exceptional Lie group of type E8, rank 8 and dimension 248; it is simply connected and centerless.
The compact exceptional Lie group is the compact connected simple Lie group with root system of Dynkin type . It has rank and real dimension . It is both simply connected and centerless, so its simply connected and adjoint forms coincide. Its Lie algebra is the compact real form whose complexification is .
The smallest nontrivial complex representation is the complexified adjoint representation, of dimension . The absence of a nontrivial center agrees with the equality of the root and weight lattices.
Distinguishing the forms
Compact is not the complex group and not the split real group . They share the complex Lie algebra , but compact has negative-definite Killing form on its real Lie algebra and every finite-dimensional complex representation is unitarizable.
Unlike types and , there is no ambiguity between simply connected and adjoint compact forms for . There can still be finite central quotients in descriptions of its proper connected subgroups.
Paper context
Neither construction uses compact as its ambient symmetry group: the three-generation construction uses complex , and the exceptional-Jordan-algebra construction uses compact . Compact belongs to the wider family and provides context for why extending an construction is mathematically tempting. Such an extension does not follow merely from the inclusion of Dynkin diagrams, and known representation-theoretic obstructions apply.
References
- John Frank Adams, Lectures on Exceptional Lie Groups, University of Chicago Press, 1996, Chapters 8--10. Publisher record.
- Anthony W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Birkhauser, 2002, Chapter VII. Publisher record.
- Jacques Distler and Skip Garibaldi, "There is no 'Theory of Everything' inside ," Communications in Mathematical Physics 298 (2010), 419--436. DOI.
- John C. Baez, Three Generations in E7, 2026. arXiv:2608.06271.