Spherical building of an exceptional group of Lie type

Question

I've read that one of Tits' original motivations for studying buildings was that he wanted to give a unified description of algebraic groups that would allow the definition of exceptional groups such as $E_6$, $E_7$, $E_8$, $F_4$ and $G_2$ over any field.

Now, Chevalley managed to construct the corresponding groups of Lie type over finite fields; but is there a way one can instead first construct the buildings and then define the group as a particular subgroup of the automorphism group of the building? What do these buildings look like? The building for $\mathrm{SL}_3(\mathbb{F}_2)$, for instance, is the Heawood graph (I can't embed images yet); one can count the 28 apartments making up this complex, which are just hexagons with alternating colors. This graph is the incidence graph for the Fano plane $ \mathbb{P}^2/\mathbb{F}_2 $. One recovers the full group $ \mathrm{SL}_2(\mathbb{F}_2) $ as the group of type-preserving automorphisms of this graph (preserving the distinction points vs lines of the geometry, i.e. the colours in the above graph).
One also recovers the corresponding BN-pair: pick any chamber (any edge) and any apartment containing it (a hexagon with alternating colours); then B consists of the subgroup of automorphisms that fix the chosen chamber, and N consists of the subgroup of automorphism preserving the chosen apartment. Obviously, one could use Chevalley's construction to get a BN-pair and then get back the corresponding building, but I'm really looking for something that starts with the building and gets back the corresponding group.

Are there similar descriptions for the exceptional groups and their corresponding buildings?

(I'm aware that such neat pictorial representations aren't really going to be possible, given that already $G_2(3)$ has order of several million.)

(Crossposted from Math Stackexchange.)

Answer 1

In the case of groups of rank 2, such as your examples $\mathrm{SL}_3(\mathbb{F}_2)$ or $\mathsf{G}_2(3)$, the building is rather easy to describe (either as an incidence geometry or as a bipartite graph); it is a so-called generalized polygon.

Spherical buildings of higher rank are completely determined by their rank $2$ residues, but perhaps that point of view is not explicit enough for your purposes. There exist several more "geometric" characterizations of the exceptional buildings in the literature, notably by people like Arjeh Cohen and Bruce Cooperstein; see for instance Cohen and Cooperstein - A characterisation of some geometries of Lie type.

The split buildings of type $\mathsf{G}_2$, $\mathsf{F}_4$ and $\mathsf{E}_6$ can also be described in terms of algebraic structures (but then the corresponding groups can also more easily be described in terms of this structure). For instance, the split groups of type $\mathsf{F}_4$ are precisely the automorphism groups of split Albert algebras (these are certain 27-dimensional non-associative algebras); the corresponding building can be described in terms of isotropic subspaces of this Albert algebra. A similar description is possible for $\mathsf{E}_6$, but is much more difficult for $\mathsf{E}_7$ and to the best of my knowledge unknown for $\mathsf{E}_8$.

Answer 2

For spherical buildings of type $F_4$, a complete description appears in J. Tits, ``Buildings of spherical type and finite BN-pairs'', Springer LNM 386.