E6 in E8, PSL(2,11) and E8(p)

pdf version

E6 in E8 

Note that in the below images some of the 240 E8(8) vertices are projected to the same point, so that when counting root vectors keep in mind:

The right figure in the image below shows the 240 root vectors of 248-dimensional E8:


The left figure in the image above shows the 72 root vectors of 78-dimensional E6 which is made up of:

Given a basis {1,i} of the complex numbers, the 3 sets of 8+8 in E6 can each be regarded as representing 8 complex elements of the form

8 x 1 + 8 x i

so that the representation spaces of 8-dimensional Kaluza-Klein spacetime and the 8 fundamental first-generation fermion particles and the 8 fundamental first-generation fermion antiparticles can be seen as complex as is useful for calculation of particle masses and force strength constants using an approach motivated by that of Armand Wyler.


To see how to expand from E6 to E8, consider that E8 has octonionic structure, evidenced by the fact that E8 / Spin(16) = (OxO)P2 = Rosenfeld's ocoto-octonionic projective plane., so that E6 must be "Octonified" as follows:
8 x 1 + 8 x i + 8 x j + 8 x k + 8 x e + 8 x ie + 8 x je + 8 x ke
by adding 6 new sets of 8 root vectors for each of the vector blue, +half-spinor red, and -half-spinor green as shown in the central figure of the above image, for a total of 3 x 6x8 = 3x48 = 6 x 24 =144 of the root vectors in the central figure of the above image.


( Note that, since the complex structure of E6 remains implicitly in the structure of E8, it is still available for use by Armand Wyler-type approaches ( such as I use in my model ) for calculation of force strengths, particle masses, etc. )


So, to expand the 72 root vectors of 78-dimensional E6 to the 240 root vectors of 248-dimensional E8,

add the 72 root vectors of the left figure of the above image

to the 24+144 = 168 root vectors of the central figure of the above image

to get the 72 + 168 = 240 root vectors of the right figure of the above image.


( Note that 168 is the order of PSL(2,7) = PSL(3,2) and is related to the Klein Quartic. )


Those three images are shown on larger scale in the three images immediately below:










E8 and PSL(2,11)


According to Bulletin (New Series) of the American Mathematical Society, Volume 36, Number 1, January 1999, Pages 75-93

Finite Simple Groups which Projectively Embed in an Exceptional Lie Group are Classified!

by Robert L. Griess Jr. AND A. J. E. Ryba:

"... The finite subgroups of the smallest simple algebraic group PSL(2;C) (up to conjugacy) constitute the famous list: cyclic, dihedral, Alt4, Sym4, Alt5. This list has been associated to geometry, number theory, and Lie theory in several ways. McKay's correspondence between these groups and the Cartan matrices of types A, D and E and his related tensor product observations are provocative. For the exceptional algebraic groups, theories of Kostant, Springer and Serre have called attention to particular finite simple subgroups. A good list of finite subgroups should help us understand the exceptional groups better. ...


According to a 2006 paper in the Journal of Mathematical Chemistry entitled

"The undecakisicosahedral group and a 3-regular carbon network of genus 26"

by Erwin Lijnen, Arnout Ceulemans, Patrick W. Fowler,and Michel Deza:

"... the special linear group SL(2,p) ... has order p (p^2 - 1) . The group PSL(2,p) is defined as the quotient group of SL(2,p) modulo its centre ... For all prime numbers p at least 5, the centre has only two elements and the corresponding quotient group PSL(2,p) is simple. Of all these prime numbers p however, the numbers p = 5, 7, 11 stand out as they are the only cases in which the group PSL(2,p) acts transitively on sets of p as well as on sets of p +1 elements, a result already known to Galois.

For all other prime values of p the group PSL(2,p) acts transitively on sets of p + 1 elements, but not on sets of p elements ...

Three projective special linear groups PSL(2,p), those with p = 5, 7 and 11, can be seen as p-multiples of tetrahedral, octahedral and icosahedral rotational point groups, respectively.

The first two have already found applications in carbon chemistry and physics,

PSL(2,5) ... is the rotation group of the fullerene C60 and dodecahedrane C20H20 ... PSL(2,5) has 60 elements and is isomorphic to the pure icosahedral rotation group I . It is alternatively called the pentakistetrahedral group 5T as it contains the tetrahedral group as a subgroup of index 5 . This can easily be seen on a regular dodecahedron where the 20 vertices can be divided into five sets of four vertices such that each set of four vertices forms a regular tetrahedron .... The group PSL(2,5) acts transitively on this set of five tetrahedra by the action of one of the fivefold rotations. The group acts also transitively on a six element set as can be seen from the action on the six diagonals of the regular icosahedron connecting opposite points. ... The smallest 3-regular map with rotational symmetry PSL(2,5) (i.e., 5T or I ) is the all-pentagon dodecahedral map ...

PSL(2,7) is the rotation group of the 56-vertex all-heptagon Klein map, an idealisation of the hypothetical genus-3 "plumber's nightmare" allotrope of carbon. ... PSL(2,7) of order 168, which is alternatively called the heptakisoctahedral group 7O as it contains the octahedral group O as a subgroup of index 7. The group can be represented by the regular genus-3 Klein map, named after Felix Klein who investigated its very high symmetry in connection with the theory of multivalued functions ... Using this map it is easy to show the transitive character on a 7-set, as under removal of the sevenfold symmetry elements, the 56 vertices split into seven octahedral structures containing eight vertices. The complete structure of this group and its relevance to some negative-curvature carbon structures was described in previous papers ... the smallest ... 3-regular map ... with the rotational symmetry PSL(2,7) (i.e., 7O) is the all-heptagon Klein map ...

PSL(2,11) ... has potential relevance for the study of the icosahedral phase of quasicrystals, and was identified as a finite simple subgroup of the Cartan exceptional group E8 ... Here, we present an analysis of PSL(2,11) as the rotation group of a 220-vertex, all 11-gon, 3-regular map, which provides the basis for a more exotic hypothetical sp2 framework of genus 26. The group structure and character table of PSL(2,11) are developed in chemical notation and a three dimensional (3D) geometrical realisation of the 220-vertex map is derived in terms of a punctured polyhedron model where each of 12 pentagons of the truncated icosahedron is connected by a tunnel to an interior void and the 20 hexagons are connected tetrahedrally in sets of 4. ... to realise PSL(2,11) (i.e., 11 I ) by a 3-regular map it is necessary to go to an all-undecagon map which will have 220 vertices, v, and 330 edges, e and 60 faces, f . Hence, from f = v / 2 + 2( 1 - g ), we find a genus g of 26. ... the map of interest ...[has]... total automorphism group consists of 1,320 elements, of which the orientation-preserving (rotational) part of 660 elements corresponds with the group PSL(2,11). ... a geometrical representation for this genus-26 map has thus far not yet been reported. The most obvious representation would be to draw a Schlegel-like diagram consisting of a central 11-gon surrounded by layers of undecagonal faces, adding layers until all faces have been accounted for. ...


... Continuation to produce the whole diagram with 220 numbered vertices and all 60 faces would yield a very intricate figure. Instead, we work with the dual map, represented by the dashed lines in figure 1. It consists of 60 undecavalent vertices and 220 triangular faces, and of course retains the PSL(2,11) rotational symmetry of the original 220-vertex 3-regular map. ...

... our parent group has four direct subgroups: I' , I'' , M5,11 and D6. In total there are 22 subgroups isomorphic to the purely rotational icosahedral group. They fall into two subgroup classes I' and I'' , which are non-equivalent within 11I symmetry. The subgroups within one of these classes are transformed into each other by any one of the 11-fold operations. Note, that equivalence of both classes is restored when one considers the full symmetry group 11Id of the genus-26 map, which also includes orientation-reversing symmetry operations. The second largest subgroup class consists of 12 groups of order 55 corresponding with the metacyclic group M5,11, which is formed by the semi-direct product of a fivefold and 11-fold cyclic group and is the only subgroup of 11I that is not isomorphic with a point group. The fourth direct subgroup class contains 55 groups of order 12 isomorphic to a sixfold dihedral group. Apart from the subgroup class T with 55 purely rotational tetrahedral groups, all other subgroup classes are only composed of dihedral groups Dn or cyclic groups Cn. ...

We ... investigate the possibility of forming a 3D geometrical model exhibiting such icosahedral symmetry, where we further impose the restriction that the 60 vertices remain equivalent, as is the case under PSL(2,11) symmetry. In 3D space there are four semiregular convex polyhedra on 60 vertices obeying these restrictions. They are the four icosahedral Archimedean solids on 60 vertices depicted ...

... namely the small rhombicosidodecahedron, the truncated dodecahedron, the snub dodecahedron and the truncated icosahedron. ... Seeking a geometrical representation it is worth investigating whether the graphs of these Archimedean solids appear as subgraphs of the graph underlying our 26-genus map. If such an Archimedean subgraph does indeed exist, i would be useful as a 3D icosahedral backbone on which a complete geometrical model of the genus-26 map could be built. ...


The ... most interesting subgraph is the truncated icosahedron, corresponding with the framework of Buckminsterfullerene C60. The special relationship of this truncated icosahedral structure to the group PSL(2,11) has already been noted in papers by Kostant ...[who]... showed that the graph of C60 can be expressed group-theoretically by the structure of a 60-element conjugacy class of PSL(2,11) ...".





According to "The Classification of the Finite Simple Groups" (AMS Mathematical Surveys and Monographs, Vol. 40, No. 1, 1994) by Gorenstein, Lyons, and Solomon ( in the following I change their notation from prime number q to prime number p ):

"... It is our purpose ... to prove the following theorem:

CLASSIFICATION THEOREM. Every finite simple group is

  • cyclic of prime order,
  • an alternating group,
  • a finite simple group of Lie type,
  • or one of the twenty-six sporadic finite groups.

... the bulk of the set of finite simple groups consists of finite analogues of Lie groups ... called finite simple groups of Lie type, and naturally form 16 infinite families ... In 1968, Steinberg gave a uniform construction and characterization of all the finite groups of Lie type as groups of fixed points of endomorphisms of linear algebraic groups over the algebraic closure of a finite field ...

The finite simple groups are listed ...[including]... Group ... E8(p) ...[ for prime p ]...

Order ... p^120 (p^2 - 1 ) (p^8 - 1 ) (p^12 - 1 ) (p^14 - 1 ) (p^18 - 1 ) (p^20 - 1 ) (p^24 - 1 ) (p^30 - 1 ) ...".

To get a feel for E8(p), ignore the -1 part of the Order formula for E8(q) and see that the order of E8(q) is roughly (somewhat less than)

p^120 p^(2+8+12+14+18+20+24+30) = p^(120+128) = p^248

Note that 248-dim E8 = 120-dim adjoint of Spin(16) + 128-dim half-spinor of Spin(16)

and that p^248 is the set of maps from 248 to p

and that the exponents are one greater than each of the primes 1, 7, 11, 13, 17, 19, 23, and 29,

but not similarly related to the primes to 2, 3, or 5.

and that


In math.RT/0712.3764 Skip Garibaldi said:

"... Theorem. Let L be a Lie algebra of type E8 over a field of characteristic 5. Then there is no quotient trace form on L. ...

Roughly speaking, we use lemmas due to Block to reduce to showing that the trace is zero for representations coming from algebraic groups of type E8. From this, it is easy to see that it suffices to consider only the Weyl modules, which are defined over Z. Leaning on the fact that a Lie algebra of type E8 is simple over every field ... we note that the trace form is zero because 5 divides 60, the Dynkin index of E8. ...

Lemma 1.3. Let G and g be ... of type E8. The following are equivalent:

  • (1) The Killing form of g is not zero over F.
  • (2) The Killing form of g is nondegenerate over F.
  • (3) The characteristic of F is =/= 2, 3, 5.


Proposition 1.5. Let G and g be as in 1.1 and of type E8. There is a representation rho of G over F with tr =/= 0 if and only if F has characteristic =/= 2, 3, 5.

... ".