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.