Exceptional Lie algebra e8

The exceptional complex Lie algebra $\mathfrak e_8$ is the unique simple complex Lie algebra whose root system has Dynkin type $E_8$ . It has complex dimension $248$ , rank $8$ , and $240$ roots.

Its smallest nontrivial finite-dimensional irreducible representation is its $248$ -dimensional adjoint representation. Equivalently, $E_8$ has no analogue of the smaller defining modules $\mathbf{27}$ for $E_6$ or $\mathbf{56}$ for $E_7$ .

Root lattice and groups

The $E_8$ root lattice is even, positive definite, and unimodular of rank $8$ . Because the root and weight lattices coincide, the simply connected and adjoint complex groups of type $E_8$ are the same; their center is trivial. The compact group compact $E_8$ and the split real form $E_{8(8)}$ both complexify to $\mathfrak e_8$ , but have very different real geometry.

Distinguished branchings

Two standard maximal-rank branchings of the adjoint module are

\begin{aligned} \mathfrak e_8\downarrow \mathfrak e_7\oplus\mathfrak{sl}_2: \quad\mathbf{248}&=(\mathbf{133},\mathbf1)\oplus(\mathbf1,\mathbf3) \oplus(\mathbf{56},\mathbf2),\\ \mathfrak e_8\downarrow \mathfrak{so}_{16}: \quad\mathbf{248}&=\mathbf{120}\oplus\mathbf{128}, \end{aligned}

where $\mathbf{128}$ is a half-spin module.

Paper context

The $E_n$ series extends the chain used in the three-generation construction one step beyond $\mathfrak e_7$ to $\mathfrak e_8$ . That construction does not use $\mathfrak e_8$ ; known obstructions limit attempts to encode the desired Lorentz and chiral-fermion data inside real forms of $E_8$ . Thus $E_8$ 's appearance is contextual, not an assertion that the three-generation model embeds all physical symmetries into $E_8$ .

References

Nicolas Bourbaki, Lie Groups and Lie Algebras, Chapters 4--6, Springer, 2002, Plate VII. Publisher record.
John Frank Adams, Lectures on Exceptional Lie Groups, University of Chicago Press, 1996, Chapters 8--10. Publisher record.
Jacques Distler and Skip Garibaldi, "There is no 'Theory of Everything' inside $E_8$ ," Communications in Mathematical Physics 298 (2010), 419--436. DOI.
John C. Baez, Three Generations in E7, 2026. arXiv:2608.06271.