I've been searching the literature for a direct definition of the group $E_8$ (over a general field, but even a definition of just one incarnation would be great). I knew (from talking to people) that there's probably nothing available, but I'm confused about one point.

By "direct definition", I mean something other than a definition of $E_8$ as a group of automorphisms of its own Lie algebra.

Something promising is the "octo-octonionic projective space" $(\mathbb{O} \otimes \mathbb{O} )\mathbb{P}^2$ -- the group of isometries of the latter is meant to be a form of $E_8$. In his paper on the octonions, John Baez mentions this, but warns that $(\mathbb{O} \otimes \mathbb{O} )\mathbb{P}^2$ can only be defined in terms of $E_8$, so this is circular, and he adds "alas, nobody seems to know how to define [it] without first defining $E_8$. Thus this group remains a bit enigmatic."

The existence of the book *Geometry of Lie groups* by Boris Rosenfeld confuses me. In it, he claims to construct the plane, calling it $(\mathbb{O} \otimes \mathbb{O} ) {\simeq \atop S^2}$ (I cannot even reproduce it well in Latex). See Theorem 7.16 in particular.

The problem is that each object, in this book, is claimed to be definable "by direct analogy" with some other object, itself usually not quite defined in full, and so on. I'm having an awful lot of trouble reading Rosenfeld's book. In the end (see 7.7.3) he claims that everything can be carried out over a finite field, yielding a definition of $E_8(q)$. But I cannot find the details anywhere -- the thing is, I don't even know if I'm reading a survey, or a complete treatment with proofs that escape me.

Is anybody on MO familiar with Rosenfeld's book? Or is there an alternative reference for this mysterious "octo-octonionic plane"?

haveto accept one? $\endgroup$ – Pierre Aug 22 '18 at 8:19