## Abstract

*E*_{8} is prominent in mathematics and theoretical physics, and is generally viewed as an exceptional symmetry in an eight-dimensional (8D) space very different from the space we inhabit; for instance, the Lie group *E*_{8} features heavily in 10D superstring theory. Contrary to that point of view, here we show that the *E*_{8} root system can in fact be constructed from the icosahedron alone and can thus be viewed purely in terms of 3D geometry. The 240 roots of *E*_{8} arise in the 8D Clifford algebra of 3D space as a double cover of the 120 elements of the icosahedral group, generated by the root system *H*_{3}. As a by-product, by restricting to even products of root vectors (spinors) in the 4D even subalgebra of the Clifford algebra, one can show that each 3D root system induces a root system in 4D, which turn out to also be exactly the exceptional 4D root systems. The spinorial point of view explains their existence as well as their unusual automorphism groups. This spinorial approach thus in fact allows one to construct all exceptional root systems within the geometry of three dimensions, which opens up a novel interpretation of these phenomena in terms of spinorial geometry.

### 1. Introduction

Lie groups are a central subject of twentieth century mathematics as well as physics. In particular, the largest exceptional Lie group *E*_{8} is central to String Theory and Grand Unified Theories and is thus arguably the single most important symmetry group in modern theoretical physics. Lie groups are continuous groups and are closely related to their corresponding Lie algebras. Their non-trivial part in turn is described by a root system: a collection of reflection generating vectors called roots, which generate a reflection symmetry group (called a crystallographic Coxeter group or Weyl group). It is easy to move between those four related concepts and we will usually not make a distinction—with the exception of non-crystallographic root systems such as *H*_{3} (which generates icosahedral symmetry) and its four-dimensional (4D) analogue *H*_{4}, since their non-crystallographic nature means that there is no associated Lie algebra.

This Lie-centric view point of much of theoretical physics, due to the fact that the gauge theories of high energy physics are formulated in terms of Lie groups, has unduly neglected the non-crystallographic groups. Here we instead advocate the root system as the more convenient and perhaps fundamental concept. The shift of perspective that allows to prove the central results of this paper is motivated in two ways. Firstly, non-crystallographic symmetries such as icosahedral symmetry are important in other areas of science outside the gauge theory paradigm, such as for the symmetries of viruses and fullerenes [1–5], where we have demonstrated the usefulness of a root system-based approach. The second ingredient is employing a Clifford algebra framework. Since for root systems the use of an inner product is already implicit, one can construct the Clifford algebra on the underlying vector space without any loss of generality, but achieving conceptual and computational simplifications. As these Clifford algebras have matrix representations, there is traditionally much prejudice towards resorting to matrices rather than working with the algebra directly; we advocate the more algebraic and geometric point of view, in particular, as it provides a simple and geometric way to construct spinor groups.

This approach offers a Clifford geometric construction of all the exceptional root systems as induced from the 3D root systems, a fact that has not been appreciated before from the Lie-theoretic perspective. The *E*_{8} root system is commonly thought of as an exceptional (i.e. there are no corresponding symmetry groups in arbitrary dimensions) phenomenon of 8D geometry, far removed from 3D geometry. In this article, we show that the eight dimensions of the 3D Clifford algebra actually allow *E*_{8} to be unveiled as a 3D geometric phenomenon in disguise; likewise all 4D exceptional root systems also arise within 3D geometry in this way. This opens up a completely novel way of viewing exceptional higher-dimensional phenomena in terms of 3D spinorial geometry.

This paper is structured in the following way. After some preliminary definitions and background in §§2 (root systems and reflection groups) and 3 (Clifford algebras), we show in general that any 3D symmetry group induces a 4D symmetry group via their root systems (§4). In particular, the Platonic root systems (*A*_{3},*B*_{3},*H*_{3}) induce all the exceptional 4D root systems (*D*_{4},*F*_{4},*H*_{4}) in terms of 3D spinors; this also explains their unusual symmetry groups. In §5, we concretely explain the case of icosahedral symmetry *H*_{3} inducing the exceptional largest non-crystallographic Coxeter group *H*_{4} from a spinor group (the binary icosahedral group 2*I*) that describes the 60 icosahedral rotations in terms of 120 spinors doubly covering the rotations. The above collection of Platonic root systems (*A*_{3},*B*_{3},*H*_{3}) in fact forms a trinity that is related to the trinity of exceptional Lie groups (*E*_{6},*E*_{7},*E*_{8}) via various intermediate trinities and also via my new spinor construction in combination with the McKay correspondence. This is the first hint that the icosahedron may be indirectly related with *E*_{8}. Section 6 makes a completely new, direct connection between them by concretely constructing the 240 roots of the *E*_{8} root system from the 240 pinors that doubly cover the 120 icosahedral reflections and rotations in the 8D Clifford algebra of 3D. Thus **all** the exceptional root systems can in fact be seen as induced from the polyhedral symmetries and the Clifford algebra of 3D. This offers a new way of better understanding these exceptional phenomena in terms of spinorial geometry; this reinterpretation has the potential for a wide range of profound consequences. We conclude in §7.

### 2. Root systems and reflection groups

In this section, we introduce Coxeter (reflection) groups via the root systems that generate them [6].

### Definition 2.1 (Root system)

A *root system* is a collection *Φ* of non-zero (root) vectors *α* spanning an *n*-dimensional Euclidean vector space *V* endowed with a positive definite bilinear form denoted by (⋅ | ⋅), which satisfies the two axioms:

(i)

*Φ*only contains a root*α*and its negative, but no other scalar multiples: $\mathrm{\Phi}\cap \mathbb{R}\alpha =\{-\alpha ,\alpha \}\mathrm{\forall}\alpha \in \mathrm{\Phi}$.(ii)

*Φ*is invariant under all reflections$${s}_{\alpha}:\lambda \to {s}_{\alpha}(\lambda )=\lambda -2\frac{(\lambda \hspace{0.17em}|\hspace{0.17em}\alpha )}{(\alpha \hspace{0.17em}|\hspace{0.17em}\alpha )}\alpha $$corresponding to reflections in hyperplanes orthogonal to root vectors in*Φ*:*s*_{α}*Φ*=*Φ*∀*α*∈*Φ*.

For a crystallographic root system, a subset Δ of *Φ*, called *simple roots* *α*_{1},…,*α*_{n}, is sufficient to express every element of *Φ* via $\mathbb{Z}$-linear combinations with coefficients of the same sign. *Φ* is therefore completely characterized by this basis of simple roots. In the case of the non-crystallographic root systems *H*_{2}, *H*_{3} and *H*_{4}, the same holds for the extended integer ring $\mathbb{Z}[\tau ]=\{a+\tau b\hspace{0.17em}|\hspace{0.17em}a,b\in \mathbb{Z}\}$, where *τ* is the golden ratio $\tau =\frac{1}{2}(1+\sqrt{5})=2\mathrm{cos}(\pi /5)$, and *σ* is its Galois conjugate $\sigma =\frac{1}{2}(1-\sqrt{5})$ (the two solutions to the quadratic equation *x*^{2}=*x*+1). For the crystallographic root systems, the classification in terms of Dynkin diagrams essentially follows the one familiar from Lie groups and Lie algebras, as their Weyl groups are the crystallographic Coxeter groups. A mild generalization to so-called Coxeter–Dynkin diagrams is necessary for the non-crystallographic root systems:

### Definition 2.2 (Coxeter–Dynkin diagram and Cartan matrix)

A graphical representation of the geometric content of a root system is given by *Coxeter–Dynkin diagrams*, where nodes correspond to simple roots, orthogonal roots are not connected, roots at *π*/3 have a simple link, and other angles *π*/*m* have a link with a label *m*. The *Cartan matrix* of a set of simple roots *α*_{i}∈Δ is defined as the matrix *A*_{ij}=2(*α*_{i} | *α*_{j})/(*α*_{j} | *α*_{j}).

For instance, the root system of the icosahedral group *H*_{3} has one link labelled by 5 (via the above relation $\tau =2\mathrm{cos}(\pi /5)$), as does its 4D analogue *H*_{4}.

The reflections in the second axiom of the root system generate a reflection group. A Coxeter group is a mathematical abstraction of the concept of a reflection group via involutory generators (i.e. they square to the identity, which captures the idea of a reflection), subject to mixed relations that represent *m*-fold rotations (since two successive reflections generate a rotation in the plane defined by the two roots).

### Definition 2.3 (Coxeter group)

A *Coxeter group* is a group generated by a set of involutory generators *s*_{i},*s*_{j}∈*S* subject to relations of the form (*s*_{i}*s*_{j})^{mij}=1 with *m*_{ij}=*m*_{ji}≥2 for *i*≠*j*.

The finite Coxeter groups have a geometric representation where the involutions are realized as reflections at hyperplanes through the origin in a Euclidean vector space *V* , i.e. they are essentially just the classical reflection groups. In particular, then the abstract generator *s*_{i} corresponds to the simple reflection ${s}_{i}:\lambda \to {s}_{i}(\lambda )=\lambda -2((\lambda \hspace{0.17em}|\hspace{0.17em}{\alpha}_{i})/({\alpha}_{i}\hspace{0.17em}|\hspace{0.17em}{\alpha}_{i})){\alpha}_{i}$ in the hyperplane perpendicular to the simple root *α*_{i}. The action of the Coxeter group is to permute these root vectors, and its structure is thus encoded in the collection *Φ*∈*V* of all such roots, which in turn form a root system.

Here we use a Clifford algebra framework, which via the geometric product affords a uniquely simple prescription for performing reflections via ‘sandwiching’ −*αλα* (assuming unit normalization). Since due to the Cartan–Dieudonné theorem any orthogonal transformation in any dimension and signature can be written as products of reflections, the ‘sandwiching’ prescription in fact extends to any orthogonal transformation. For any root system, the quadratic form mentioned in the definition can always be used to enlarge the *n*-dimensional vector space *V* to the corresponding 2^{n}-dimensional Clifford algebra. The Clifford algebra is therefore a very natural object to consider in this context, as its unified structure simplifies many problems both conceptually and computationally, rather than applying the linear structure of the space and the inner product separately. In particular, it provides (s)pinor double covers of the (special) orthogonal transformations, as well as geometric quantities that serve as unit imaginaries. We therefore advocate the use of Clifford algebra as the most natural framework for root systems and reflection groups.

### 3. Clifford versor framework

Clifford algebra can be viewed as a deformation of the (perhaps more familiar) exterior algebra by a quadratic form—though we do not necessarily advocate this point of view; they are isomorphic as vector spaces, but not as algebras, and Clifford algebra is in fact much richer due to the invertibility of the algebra product. The *geometric product* of Geometric/Clifford algebra is defined by *xy*=*x*⋅*y*+*x*∧*y*, where the scalar product (given by the symmetric bilinear form) is the symmetric part $x\cdot y=(x\hspace{0.17em}|\hspace{0.17em}y)=\frac{1}{2}(xy+yx)$ and the exterior product the antisymmetric part $x\wedge y=\frac{1}{2}(xy-yx)$ [7–10]. It provides a very compact and efficient way of handling reflections in any number of dimensions, and thus by the *Cartan–Dieudonné theorem* in fact of any orthogonal transformation. For a unit vector *α*, the two terms in the above formula for a reflection of a vector *v* in the hyperplane orthogonal to *α* simplify to the double-sided (‘sandwiching’) action of *α* via the geometric product

*α*and −

*α*encode the same reflection and thus provide a double cover). Via the Cartan–Dieudonné theorem, any orthogonal transformation can be written as the product of reflections, and thus by performing consecutive reflections, each given via ‘sandwiching’, one is led to define a versor as a Clifford multivector

*A*=

*a*

_{1}

*a*

_{2}…

*a*

_{k}, that is the product of

*k*unit vectors

*a*

_{i}[9]. Versors form a multiplicative group called the versor/pinor group

*Pin*under single-sided multiplication with the geometric product, with inverses given by $\stackrel{~}{A}A=A\stackrel{~}{A}=\pm 1$, where the tilde denotes the reversal of the order of the constituent vectors $\stackrel{~}{A}={a}_{k}\dots {a}_{2}{a}_{1}$, and the ±-sign defines its parity. Every orthogonal transformation $\underset{\_}{A}$ of a vector

*v*can thus be expressed by means of unit versors/pinors via

*A*and −

*A*encode the same transformation. Even versors

*R*, that is, products of an even number of vectors, are called

*spinors*or

*rotors*. They form a subgroup of the Pin group and constitute a double cover of the special orthogonal group, called the Spin group. Clifford algebra therefore provides a particularly natural and simple construction of the Spin groups. Thus the remarkably simple construction of the binary polyhedral groups in §4 is not at all surprising from a Clifford point of view, but appears to be unknown in the Coxeter community, and ultimately leads to the novel result of the spinor induction theorem of (exceptional) 4D root systems in §4 and the construction of the

*E*

_{8}root system from

*H*

_{3}in §6.

The versor realization of the orthogonal group is much simpler than conventional matrix approaches. Table 1 summarizes the various action mechanisms of multivectors: a rotation (e.g. the continuous group *SO*(3) or the discrete subgroup, the chiral icosahedral group *I*=*A*_{5}) is given by double-sided action of a spinor *R*, while these spinors themselves form a group under single-sided action/multiplication (e.g. the continuous group Spin(3)∼*SU*(2) or the discrete subgroup, the binary icosahedral group 2*I*). Likewise, a reflection (continuous *O*(3) or the discrete subgroup, the full icosahedral group the Coxeter group *H*_{3}) corresponds to sandwiching with the versor *A*, while the versors single-sidedly form a multiplicative group (the Pin(3) group or the discrete analogue, the double cover of *H*_{3}, which we denote Pin(*H*_{3})). In the conformal geometric algebra set-up one uses the fact that the conformal group *C*(*p*,*q*) is homomorphic to *SO*(*p*+1,*q*+1) to treat translations as well as rotations in a unified versor framework [8,10–13]. Dechant [12,13] also discuss reflections, inversions, translations and modular transformations in this way.

continuous group | discrete subgroup | multivector action |
---|---|---|

SO(n) |
rotational/chiral | $x\to \stackrel{~}{R}xR$ |

O(n) |
reflection/full | $x\to \pm \stackrel{~}{A}xA$ |

Spin(n) |
binary | spinors R under $({R}_{1},{R}_{2})\to {R}_{1}{R}_{2}$ |

Pin(n) |
pinor | pinors A under $({A}_{1},{A}_{2})\to {A}_{1}{A}_{2}$ |

### Example 3.1

The Clifford/Geometric algebra of three dimensions *Cl*(3) is generated by three orthogonal—and thus anti-commuting—unit vectors *e*_{1}, *e*_{2} and *e*_{3}. It also contains the three bivectors *e*_{1}*e*_{2}, *e*_{2}*e*_{3} and *e*_{3}*e*_{1} that all square to −1, as well as the highest grade object *e*_{1}*e*_{2}*e*_{3} (trivector and pseudoscalar), which also squares to −1. Therefore, in Clifford algebra various geometric objects arise that provide imaginary structures; however, there can be different ones and they can have non-trivial commutation relations with the rest of the algebra.

### 4. The general four-dimensional spinor induction construction

In this section, we prove that any 3D root system yields a 4D root system via the spinor group obtained by multiplying root vectors in the Clifford algebra [14].

### Proposition 4.1 (*O***(4)**-structure of spinors)

*O*

The space of *Cl*(3)-spinors *R*= *a*_{0}+*a*_{1}*e*_{2}*e*_{3}+*a*_{2}*e*_{3}*e*_{1}+*a*_{3}*e*_{1}*e*_{2} can be endowed with a *4D Euclidean norm* $|R{|}^{2}=R\stackrel{~}{R}={a}_{0}^{2}+{a}_{1}^{2}+{a}_{2}^{2}+{a}_{3}^{2}$ induced by the *inner product* $({R}_{1},{R}_{2})=\frac{1}{2}({R}_{1}{\stackrel{~}{R}}_{2}+{R}_{2}{\stackrel{~}{R}}_{1})$ between two spinors *R*_{1} and *R*_{2}.

This allows one to reinterpret the group of 3D spinors generated from a 3D root system as a set of 4D vectors, which in fact can be shown to satisfy the axioms of a root system as given in definition 2.1.

### Theorem 4.2 (Induction theorem)

*Any 3D root system gives rise to a spinor group G which induces a root system in 4D.*

### Proof.

Check the two axioms for the root system *Φ* consisting of the set of 4D vectors given by the 3D spinor group:

(i) By construction,

*Φ*contains the negative of a root*R*as spinors provide a double cover of rotations, i.e. if*R*is in a spinor group*G*, then so is −*R*, but no other scalar multiples (normalization to unity).(ii)

*Φ*is invariant under all reflections with respect to the inner product (*R*_{1},*R*_{2}) in proposition 4.1 since ${R}_{2}^{\prime}={R}_{2}-2({R}_{1},{R}_{2})/({R}_{1},{R}_{1}){R}_{1}=-{R}_{1}{\stackrel{~}{R}}_{2}{R}_{1}\in G$ for*R*_{1},*R*_{2}∈*G*by the closure property of the group*G*(in particular, −*R*and $\stackrel{~}{R}$ are in*G*if*R*is).

Because the number of irreducible 3D root systems is limited to (*A*_{3},*B*_{3},*H*_{3}), this yields a definite list of induced root systems in 4D—this turns out to be (*D*_{4},*F*_{4},*H*_{4}), which are exactly the exceptional root systems in 4D. In fact, both sets of three are trinities: named after Arnold's observation that many related objects in mathematics form sets of three, beginning with the trinity $(\mathbb{R},\mathbb{C},\mathbb{H})$ [15,16], and extending to projective spaces, Lie algebras, spheres, Hopf fibrations, etc. Arnold's original link between these two trinities (*A*_{3},*B*_{3},*H*_{3}) and (*D*_{4},*F*_{4},*H*_{4}) that arise here is extremely convoluted, and our construction presents a novel direct link between the two. The abundance of root systems in 4D can in some sense be thought of as due to the accidentalness of our spinor construction. In particular, the induced root systems are precisely the exceptional (i.e. they do not have counterparts in other dimensions) root systems in 4D: *D*_{4} has the triality symmetry (permutation symmetry of the three legs in the diagram) that is exceptional in 4D and is of great importance in string theory, showing the equivalence of the Ramond–Neveu–Schwarz and the Green–Schwarz strings. *F*_{4} is the only *F*-type root system and *H*_{4} is the largest non-crystallographic root system. In contrast, in arbitrary dimensions there are only *A*_{n} (*n*-simplex), *B*_{n} (*n*-hypercube and *n*-hyperoctahedron) and *D*_{n}.

Not only is there an abundance of root systems as well as their exceptional nature [17], but they also have unusual automorphism groups, in that the order of the groups is proportional to the square of the number of roots. This is also explained via the above spinor construction via the following result:

### Theorem 4.3 (Spinorial symmetries)

*A root system induced through the Clifford spinor construction via a binary polyhedral spinor group G has an automorphism group that trivially contains two factors of the respective spinor group G acting from the left and from the right.*

This systematizes many case-by-case observations on the structure of the automorphism groups [18,19] and shows that all of the 4D geometry is already contained in 3D [20]. For instance, the automorphism group of the *H*_{4} root system is 2*I*×2*I*—in the spinor picture, it is not surprising that 2*I* yields both the root system and the two factors in the automorphism group. We therefore consider the example of the induction ${H}_{3}\to {H}_{4}$ in more detail, as this will prove one of the crucial steps towards constructing the *E*_{8} root system.

### 5. Example: Constructing *H*_{4} from *H*_{3}

Here we construct the spinor group generated by the simple reflections of *H*_{3} explicitly as an example and as an intermediate result. The simple roots of *H*_{3} are taken as

*I*=

*A*

_{5}of order 60, respectively. The spinors have four components (1,

*e*

_{1}

*e*

_{2},

*e*

_{2}

*e*

_{3},

*e*

_{3}

*e*

_{1}); by taking the components of these 120 spinors as a set of vectors in 4D, one obtains

*H*

_{4}root system. This is very surprising from a Coxeter perspective, as one usually thinks of

*H*

_{3}as a subgroup of

*H*

_{4}, and therefore of

*H*

_{4}as more ‘fundamental’; however, one now sees that

*H*

_{4}does not in fact contain any structure that is not already contained in

*H*

_{3}, and can therefore think of

*H*

_{3}as more fundamental [20].

From a Clifford perspective, it is not surprising to find this group of 120 spinors, which is the binary icosahedral group 2*I*, since Clifford algebra provides a simple construction of the Spin groups; however, this is completely unexpected from the conventional Coxeter and Lie group perspective. This spinor group 2*I* has 120 elements and nine conjugacy classes. *I* has five conjugacy classes and it being of order 60 implies that it has five irreducible representations of dimensions 1, 3, $\overline{3}$, 4 and 5 (as the sum of the dimensions squared gives the order of the group $\sum {d}_{i}^{2}=|G|$). The nine conjugacy classes of the binary icosahedral group 2*I* of order 120 mean that this acquires a further four irreducible spinorial representations 2_{s}, 2_{s}′, 4_{s} and 6_{s}. The automorphism group of the *H*_{4} root system is 2*I*×2*I*, which in this framework is trivial (see theorem 4.3), as it merely reflects that 2*I* is closed with respect to left and right multiplication, but the literature has been very confused about this simple fact by overlooking the underlying simple construction. It is also worth pointing out that it is convenient to have all these four different types of polyhedral groups in a unified framework within the Clifford algebra, rather than using *SO*(3) matrices for the rotations and then having to somehow move to *SU*(2) matrices for the binary groups.

In terms of a quaternionic description of the even (spinorial) subalgebra (they are isomorphic, though we advocate here the geometric rather than algebraic point of view), the *H*_{3} root system consists precisely of the pure quaternions, i.e. those without a real part, and the full group can be generated from those under quaternion multiplication. This is very poorly understood in the literature, and just hinges on the above description in terms of spinors together with the fact that the inversion ±*I* is contained in the full *H*_{3} group, as one can then trivially Hodge dualize root vectors to bivectors, which are pure quaternions. We have explained this in previous work [20]. For instance, the statement is not true when the inversion is not contained in the group, as is the case for *A*_{3}. However, the spinorial induction construction still works for this, yielding *D*_{4}. Moreover, the ‘quaternionic generators’ generating the 4D groups via quaternion multiplication are just seen to be the even products of 3D simple roots *α*_{1}*α*_{2} and *α*_{2}*α*_{3} so that the 4D group manifestly does not contain anything that was not already contained in the 3D group. We, therefore, believe the spinor induction point of view of going from 3D to 4D is more fundamental than the pure quaternion approach identifying the 3D group as a subgroup of the 4D group.

This binary icosahedral group has a curious connection with the affine Lie algebra ${E}_{8}^{+}$ (and likewise for the other binary polyhedral groups and the affine Lie algebras of *ADE*-type) via the so-called McKay correspondence [21], which is twofold: we can define a graph by assigning a node to each of the nine irreducible representations of the binary icosahedral group with the following rule for connecting nodes: each node corresponding to a certain irreducible representation is connected to the nodes corresponding to those irreducible representations that are contained in its tensor product with the irreducible representation 2_{s}. For instance, tensoring the trivial representation 1 with 2_{s} trivially gives 2_{s} and thus the only link 1 has is with 2_{s}; 2_{s}⊗2_{s}=1+3, such that 2_{s} is connected to 1 and 3, etc. The graph that is built up in this way is precisely the Dynkin diagram of affine *E*_{8}, as shown in figure 1. The second connection is the following observation: the Coxeter element is the product of all the simple reflections *α*_{1}…*α*_{8} and its order, the Coxeter number *h*, is 30 for *E*_{8}. This also happens to be the sum of the dimensions of the irreducible representations of 2*I*, $\sum {d}_{i}$. This extends to all other cases of binary polyhedral groups and *ADE*-type affine Lie algebras.

The following indirect connection between (*A*_{3},*B*_{3},*H*_{3}) and (*E*_{6},*E*_{7},*E*_{8}) via Clifford spinors does not seem to be known: we note that (12,18,30) are not only the sums of the dimensions of the irreducible representations $\sum {d}_{i}$ of the binary polyhedral groups, but more fundamentally are exactly the numbers of roots *Φ* in the 3D root systems (*A*_{3},*B*_{3},*H*_{3}) from which these binary polyhedral groups are generated. This fact connects the 3D root systems through the binary polyhedral groups and via the McKay correspondence all the way to the affine Lie algebras. Our construction therefore makes deep connections between trinities, and puts the McKay correspondence into a wider framework. It is also striking that the affine Lie algebra and the 4D root system trinities have identical Dynkin diagram symmetries: *D*_{4} and ${E}_{6}^{+}$ have triality *S*_{3}, *F*_{4} and ${E}_{7}^{+}$ have an *S*_{2} symmetry and *H*_{4} and ${E}_{8}^{+}$ only have *S*_{1}. There is thus an indirect connection between the icosahedral group *H*_{3} and the exceptional *E*_{8}. In the next section, we will show a new, explicit direct connection between *H*_{3} and *E*_{8} within the Clifford algebra of 3D, by identifying the 240 roots of *E*_{8} with the 240 pinors of icosahedral symmetry.

### 6. The birth of *E*_{8} out of the spinors of the icosahedron

Previously, we discussed the construction of the 120 elements of the binary icosahedral group 2*I* (within the 4D even subalgebra of the 8D Clifford algebra of 3D space), which can be reinterpreted as the 120 roots of *H*_{4}. Here we list these elements again in terms of a 4D basis

*H*

_{4}is given by

Since the *H*_{3} root system contains three orthogonal roots, e.g. (1,0,0), (0,1,0) and (0,0,1), the pinor group generated under free Clifford multiplication contains the inversion, given by double-sided action of ±*e*_{1}*e*_{2}*e*_{3}=±*I*. So while the 120 even products of root vectors stay in the 4D even spinor subalgebra consisting of scalar and bivector parts, the 120 odd products in the remaining vector and pseudoscalar part of the algebra are just a second copy of these spinors multiplied by *I*. So for the pinors double covering the group *H*_{3} of order 120 in the Clifford algebra of 3D space—which is itself an 8D vector space—one gets 240 objects, as one would expect for a construction of *E*_{8}, and furthermore, they consist of a copy of *H*_{4} with 120 roots and another copy multiplied by *I*, schematically *H*_{4}+*IH*_{4}.

For this set of 240 pinors, one can now define a ‘reduced inner product’ in the following way [22,23]: we keep the spinor copy of *H*_{4} and multiply the copy *IH*_{4} by *τI*, then take inner products taking into account the recursion relation *τ*^{2}=*τ*+1, but finally in this inner product (counterintuitively) setting *τ* equal to zero. An equivalent point of view is this: a general inner product between roots over the extended integer ring $\mathbb{Z}[\tau ]$ is a $\mathbb{Z}[\tau ]$-integer and thus has an integer and a *τ* part (⋅,⋅)=*a*+*τb*. The reduced inner product (⋅,⋅)_{τ} is thus now defined as the integer part alone

This set of 240 Clifford pinors contains the above-mentioned choice of simple roots of *H*_{4}

*τ*-multiples

*H*

_{4}are not affected, but crucially, there are a few products that change links in and between the two

*H*

_{4}diagrams, turning them into the

*E*

_{8}diagram. In turn, the 240 icosahedral pinors are the 240 roots of

*E*

_{8}with respect to the reduced inner product, and it is straightforward (if tedious) to check closure under reflections with respect to this new inner product.

We discuss a few exemplary and crucial inner products to illustrate the method of taking the reduced inner product as well as the result.

*H*

_{4}diagrams are not affected.

*H*

_{4}diagram. However,

*H*

_{4}diagram is now actually just a simple link. The surprising additional (simple) links introduced are instead

*E*

_{8}Cartan matrix in slightly unusual form, and likewise for the corresponding Coxeter diagram as shown in figure 2. This completes the construction of

*E*

_{8}from the icosahedral root system

*H*

_{3}within the 8D Clifford algebra of 3D space.

Surprisingly, the *E*_{8} root system has therefore been lurking in plain sight within the geometry of the Platonic solid, the icosahedron, for three millennia. As with the 4D induction construction, this discovery was only possible in Clifford algebra—there is much prejudice against the usefulness of Clifford algebras (since they have matrix representations) and usually matrix methods are equivalent if less insightful—but the 4D and 8D induction constructions are to our knowledge the only results that *require* Clifford algebra and were invisible to standard matrix methods.

### 7. Conclusion

We have constructed for the first time the *E*_{8} root system from the icosahedral root system *H*_{3} within the 3D Clifford algebra, which is itself an 8D vector space. Some of the details were previously known individually, but the construction of *E*_{8} from the icosahedron is new and puts those details into a coherent framework. It is fascinating that the exotic *E*_{8} root system that is so central to modern theoretical physics and mathematics has been hiding in plain sight since at least the ancient Greek times of Plato, lurking in the shadows of the icosahedron, and can be viewed much more naturally as a phenomenon within 3D geometry. This is completely contrary to the prevailing view of *E*_{8} as an 8D phenomenon with no connection to the space we inhabit. The same holds for all the 4D exceptional root systems—their construction, existence and automorphism groups are thought of much more naturally in terms of spinorial geometry. These spinorial constructions therefore in fact yield all the exceptional root systems and could have profound consequences by opening up a new area of interpreting these phenomena in terms of spinorial geometry.

### Competing interests

I have no competing interests.

### Funding

I have received no funding other than from the University of York, where I am employed at the Departments of Mathematics and Biology and the York Centre for Complex Systems Analysis.

## Acknowledgements

I thank Reidun Twarock, Anne Taormina, Céline Boehm, David Hestenes, Anthony Lasenby, John Stillwell and Robert Wilson for helpful discussions, criticism and support over the years.

### References

- 1
Crick FHC, Watson JD . 1956 The structure of small viruses.**Nature**, 473–475. (doi:10.1038/177473a0) Crossref, PubMed, Web of Science, Google Scholar**177** - 2
Caspar DLD, Klug A . 1962 Physical principles in the construction of regular viruses.**Cold Spring Harb. Symp. Quant. Biol.**, 1–24. (doi:10.1101/SQB.1962.027.001.005) Crossref, PubMed, Google Scholar**27** - 3
Dechant PP, Boehm C, Twarock R . 2012 Novel Kac-Moody-type affine extensions of non-crystallographic Coxeter groups.**J. Phys. A**, 285202. (doi:10.1088/1751-8113/45/28/285202) Crossref, Google Scholar**45** - 4
Dechant PP, Boehm C, Twarock R . 2013 Affine extensions of non-crystallographic Coxeter groups induced by projection.**J. Math. Phys.**, 093508. (doi:10.1063/1.4820441) Crossref, Web of Science, Google Scholar**54** - 5
Dechant PP, Wardman J, Keef T, Twarock R . 2014 Viruses and fullerenes—symmetry as a common thread?**Acta Crystallogr. A**, 162–167. (doi:10.1107/S2053273313034220) Crossref, Google Scholar**70** - 6
Humphreys JE . 1990**Reflection groups and Coxeter groups**. Cambridge, UK: Cambridge University Press. Crossref, Google Scholar - 7
- 8
Hestenes D, Sobczyk G . 1984**Clifford algebra to geometric calculus: a unified language for mathematics and physics**.Fundamental theories of physics . Dordrecht, The Netherlands: Reidel. Google Scholar - 9
Hestenes D . 1999**New foundations for classical mechanics**, 2nd edn.Fundamental theories of physics . Dordrecht, The Netherlands: Kluwer. Google Scholar - 10
Doran C, Lasenby AN . 2003**Geometric algebra for physicists**. Cambridge, UK: Cambridge University Press. Crossref, Google Scholar - 11
Dechant PP . 2011**Models of the early universe**. Cambridge,UK: University of Cambridge. Google Scholar - 12
Dechant PP . 2014 A Clifford algebraic framework for Coxeter group theoretic computations.**Adv. Appl. Clifford Algebras**, 89–108. (doi:10.1007/s00006-013-0422-4) Crossref, Web of Science, Google Scholar**24** - 13
Dechant PP . In press. Clifford algebra is the natural framework for root systems and Coxeter groups. Group theory: Coxeter, conformal and modular groups.**Adv. Appl. Clifford Algebras**(doi:10.1007/s00006-015-0584-3) Web of Science, Google Scholar - 14
Dechant PP . 2015 Rank-3 root systems induce root systems of rank 4 via a new Clifford spinor construction.**J. Phys.**, 012027. (doi:10.1088/1742-6596/597/1/012027) Google Scholar**597** - 15
Arnold VI . 1999 Symplectization, complexification and mathematical trinities. In*The Arnoldfest*(eds E Bierstone, B Khesin, A Khovanskii, JE Marsden) pp. 23–37. Providence, RI: American Mathematical Society. Google Scholar - 16
Arnold VI . 2000**Mathematics: frontiers and perspectives**. Providence, RI: American Mathematical Society. Google Scholar - 17
Dechant PP . 2013 Platonic solids generate their four-dimensional analogues.**Acta Crystallogr. A**, 592–602. (doi:10.1107/S0108767313021442) Crossref, PubMed, Google Scholar**69** - 18
Koca M, Al-Barwani M, Koç R . 2006 Quaternionic root systems and subgroups of the Aut(F_{4}).**J. Math. Phys.**, 043507. (doi:10.1063/1.2190334) Crossref, Web of Science, Google Scholar**47** - 19
Koca M, Al-Barwani M . 2003 Quaternionic roots of*S**O*(8),*S**O*(9),*F*_{4}and the related Weyl groups.**J. Math. Phys.**, 3123–3140. (doi:10.1063/1.1578177) Crossref, Web of Science, Google Scholar**44** - 20
Dechant PP . 2013 Clifford algebra unveils a surprising geometric significance of quaternionic root systems of Coxeter groups.**Adv. Appl. Clifford Algebras**, 301–321. (doi:10.1007/s00006-012-0371-3) Crossref, Web of Science, Google Scholar**23** - 21
McKay J . 1980 Graphs, singularities, and finite groups. In*Proc. Symp. Pure Math.*vol. 37, pp. 183–186. Providence, RI: American Mathematical Society. Google Scholar - 22
Wilson RA . 1986 The geometry of the Hall-Janko group as a quaternionic reflection group.**Geom. Dedicata**, 157–173. (doi:10.1007/BF00164397) Crossref, Web of Science, Google Scholar**20** - 23
Moody RV, Patera J . 1993 Quasicrystals and icosians.**J. Phys. A**, 2829. (doi:10.1088/0305-4470/26/12/022) Crossref, Google Scholar**26**