The compact exceptional Lie group E8E_8 is the compact connected simple with of Dynkin type E8E_8. It has rank 88 and real dimension 248248. It is both and centerless, so its simply connected and adjoint forms coincide. Its is the whose complexification is .

The smallest nontrivial complex representation is the complexified adjoint representation, of dimension 248248. The absence of a nontrivial center agrees with the equality of the E8E_8 root and .

Distinguishing the forms

Compact E8E_8 is not the complex group E8(C)E_8(\mathbb C) and not the split real group E8(8)E_{8(8)}. They share the complex Lie algebra e8\mathfrak e_8, but compact E8E_8 has negative-definite on its real Lie algebra and every finite-dimensional complex representation is unitarizable.

Unlike types E6E_6 and E7E_7, there is no ambiguity between simply connected and adjoint compact forms for E8E_8. There can still be finite in descriptions of its proper connected subgroups.

Paper context

Neither construction uses compact E8E_8 as its ambient symmetry group: the three-generation construction uses complex e7\mathfrak e_7, and the exceptional-Jordan-algebra construction uses compact F4F_4. Compact E8E_8 belongs to the wider and provides context for why extending an E7E_7 construction is mathematically tempting. Such an extension does not follow merely from the inclusion of , and known representation-theoretic obstructions apply.

References
  1. John Frank Adams, Lectures on Exceptional Lie Groups, University of Chicago Press, 1996, Chapters 8--10. Publisher record.
  2. Anthony W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Birkhauser, 2002, Chapter VII. Publisher record.
  3. Jacques Distler and Skip Garibaldi, "There is no 'Theory of Everything' inside E8E_8," Communications in Mathematical Physics 298 (2010), 419--436. DOI.
  4. John C. Baez, Three Generations in E7, 2026. arXiv:2608.06271.