Triality with Zometool
Introduction
A "duality" in mathematics is a correspondence between two objects, exhibiting some kind of equivalence beween them. For instance, one says the cube and regular octahedron are dual because one can switch from one to the other by interchanging the words "face" and "vertex". The cube has 6 faces, with 3 meeting at every vertex, and the regular octahedron has 6 vertices, and there are 3 vertices on each face. The cube and regular octahedron, indeed, are similar because the have the same symmetry group. There is a duality in the projective plane because to each statement there is associated a dual statement where the words "point" and "line" are interchanged. In topology, there is a duality between open and closed subsets of a space; a set is open exactly when its complement is closed. In differential/algebraic geometry/topology, there is a duality between cycles and cocycles. The list goes on and on and on.
Likewise, a "triality" is a correspondence between three objects, showing that they are essentially equivalent. However, whereas dualities in mathematics are extremely common, trialities are harder to find. One of the more famous instances of triality occurs in the representation theory of the spin group Spin(8), the universal covering group of the special orthogonal group SO(8). The phenomenon of triality for Spin(8) is an essential consequence of the symmetry of its Coxeter graph D(4):
The Coxeter Graph D(4)
Many Zome models are intimately related to the geometry of Hamilton's quaternions, and quaternions provide a useful paradigm for studying the phenomenon of "triality". It is therefore not a surprise to see the phenomenon of triality occur with some Zome models. Consider the following Zome models of the 16-cell:
Zome Projections of the 16-Cell
Upon completion of any of these three models, one should be able to find a total of 16 tetrahedra arranged so that each edge is shared by 4 tetrahedra and the vertex figure is a regular octahedron. Hence each is a model of a 16-cell.
As usual, each of these models represents the image of the projection
Zome Projection of the 24-Cell
Notice again that this model has the same trihedral symmetry as the three projections of th 16-cell given earlier. (The black balls represent intersections between some of the projected edges, and do not represent vertices of the 24-cell.)
Based on this evidence, one may suspect there is a triality between these three different Zome models, and indeed this is the case. In fact, this triality is merely another manifestation of the triality provided by the D(4) Coxeter graph.
Quaternionic Definitions of Regular Polychora
The vertex sets for the three models of the 16-cell pictured above are imbedded in a particular way in the vertex set for the 600-cell, and, in discussing the 600-cell, one quickly encounters quaternions and the binary icosahedral group. First, let Q denote the usual 8-element group of quaternions generated by i and j. Next, define the "binary tetrahedral group" T as the smallest group of quaternions containing i and ½(1+i+j+k). Notice that T is the union of Q with the 16 quaternions which can be produced from
The 120 elements of I coincide with the vertices of a regular 600-cell in R^4. Two vertices are joined by an edge iff their dot product is b/2. Also, the 8 elements of Q coincide with the vertices of a regular 16-cell, and the 24 elements of T coincide with the vertices of a regular 24-cell. Call these three polytopes, as defined here, the "canonical" 600-cell, 16-cell, and 24-cell, respectively.
Although the preceding construction of the 24-cell may seem a bit contrived, the object fits quite naturally into the quaternion geometry of 4-dimensional space. Suppose q is any non-zero quaternion, and let
The geometry of quaternions serve, again quite naturally, to illustrate the self-duality of the 24-cell. Considering the vertices as quaternions, one may obtain the centers of the 24 octahedra, coinciding with the vertices of the dual polytope, by multiplying by the quaternion ½(1+i). Multiplying by this quaternion again, one obtains the original 24 vectors, although they are now scaled down by a factor of ½. As the careful reader may have noticed by now, the particular scale of the quaternions representing vertices does not play a great role in determining whether one has a 24-cell; the only thing that matters is their relative placement in 4-dimensional space. Thus, multiplication by 1+i represents a sort of "projective dualization" transformation, sending a 24-cell to its dual.
One may have realized by now that the groups Q, T, and I serve to provide some convenient notation to designate vertex sets for many polychora. For example, if q is a non-zero quaternion, then 2Qq is the vertex set for the 16-cell left-induced by q. Similarly, qT is the vertex set for a 24-cell, and q(1+i)T is the vertex set for the dual 24-cell. Indeed, since these (convex) polychora are determined uniquely by their vertex sets, one may use this notation to designate the polychora themselves. Thus, for example, one may say qT is "the" 24-cell left-induced by q
Exploration of the Zome Models
In order to see the triality, one studies the vertex set 2(1+i)I, obtained by multiplying each element of I by 2(1+i). This transformation dilates the vectors in I by a factor of sqrt(8). (The factor 2 is used to clear a lot of the fractions.) Moreover, quaternion multiplication on the left affects an orthogonal transformation which is a composition of two commuting rotations. If one studies the elements of 2(1+i)I, one notices that it has 4 orbits of the vectors
One can see the triality by examining the first three orbits described above. Denote
Next, one can check that the union of the three vertex sets of [a], [1], and [b] coincide with the vertices of a 24-cell. Indeed, one has