PG(3,2) and E8

Witting8_points
Projection of 240 vertices of the regular polytope representing the 240 root vectors of E8 in the Coxeter plane

 

SmallestProjectiveSpace_1
Smallest projective space with 15 points and 15 planes and 35 lines

Leave a comment