Functions on the model orbit in E8

Abstract

We decompose the ring of regular functions on the unique coadjoint orbit for complex E8 of dimension 128, finding that every irreducible representation appears exactly once. This confirms a conjecture of McGovern. We also study the unique real form of this orbit.