24-cell

In four-dimensional geometry, the 24-cell is a convex regular 4-polytope, a four-dimensional analogue of a Platonic solid. It is named for the 24 octahedra that form its boundary.

It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, octacube, hyper-diamond or polyoctahedron, being constructed of octahedral cells.

Geometric description

The 24-cell is a convex four-dimensional polytope boundary, an analogy of nearly the cuboctahedron and its dual the rhombic dodecahedron in four dimensions. It is composed of 24 octahedral cells with six meeting at each vertex, and three at each edge. Together, it has 96 triangular faces, 96 edges, and 24 vertices. Like other four-dimensional regular polytope, 5-cell, the 24-cell is self-dual. The 24-cell and the tesseract are the only convex regular 4-polytopes in which the edge length equals the radius. Its geometry is summarized by its Schläfli symbol, { 3 , 4 , 3 } {\displaystyle \{3,4,3\}}, which indicates that its faces are regular 3-gons (triangles), its cells are octahedra (polyhedra with 3-sided faces, 4 of which meet at each vertex), and the vertex figure is a cube (a polyhedron with 4-sided faces, 3 of which meet at each vertex).

The 24-cell incorporates the geometries of every convex regular polytope in the first four dimensions, except the 5-cell, those with a 5 in their Schlӓfli symbol, and the regular polygons with 7 or more sides. In other words, the 24-cell contains all of the regular polytopes made of triangles and squares that exist in four dimensions except the regular 5-cell, but none of the pentagonal polytopes. The geometric relationships among all of these regular polytopes can be observed in a single 24-cell or the 24-cell honeycomb.

The 24-cell is the fourth in the sequence of six convex regular 4-polytopes (in order of size and complexity). The convex regular 4-polytopes can be ordered by size as a measure of 4-dimensional content (hypervolume) for the same radius. This is their proper order of enumeration, the order in which they nest inside each other as compounds. Each greater polytope in the sequence is rounder than its predecessor, enclosing more content within the same radius. The 4-simplex (5-cell) is the limit smallest case, and the 120-cell is the largest. Complexity (as measured by comparing configuration matrices or simply the number of vertices) follows the same ordering. This provides an alternative numerical naming scheme for regular polytopes in which the 24-cell is the 24-point 4-polytope: fourth in the ascending sequence that runs from 5-point 4-polytope to 600-point 4-polytope. It can be deconstructed into 3 overlapping instances of its predecessor the tesseract (8-cell), as the 8-cell can be deconstructed into 2 instances of its predecessor the 16-cell. The reverse procedure to construct each of these from an instance of its predecessor preserves the radius of the predecessor, but generally produces a successor with a smaller edge length.

The 24-cell is the convex hull of its vertices which can be described as the 24 coordinate permutations of:( ± 1 , ± 1 , 0 , 0 ) ∈ R 4 . {\displaystyle (\pm 1,\pm 1,0,0)\in \mathbb {R} ^{4}.}Those coordinates can be constructed as the 24-cell , rectifying the 16-cell with the 8 vertices that are permutations of ( ± 2 , 0 , 0 , 0 ) {\displaystyle (\pm 2,0,0,0)}. The vertex figure of a 16-cell is the octahedron; thus, cutting the vertices of the 16-cell at the midpoint of its incident edges produces 8 octahedral cells. This process also rectifies the tetrahedral cells of the 16-cell which become 16 octahedra, giving the 24-cell 24 octahedral cells.

The 12 axes and 16 hexagons of the 24-cell constitute a Reye configuration, which in the language of configurations is written as 124163 to indicate that each axis belongs to 4 hexagons, and each hexagon contains 3 axes.

This configuration matrix represents the 24-cell. The rows and columns correspond to vertices, edges, faces, and cells. The diagonal numbers say how many of each element occur in the whole 24-cell. The non-diagonal numbers say how many of the column's element occur in or at the row's element. [ 24 8 12 16 2 96 3 3 3 3 96 2 6 12 8 24 ] . {\displaystyle {\begin{bmatrix}24&8&12&16\\2&96&3&3\\3&3&96&2\\6&12&8&24\end{bmatrix}}.}

Root systems

The 24 root vectors of the D4 root system of the simple Lie group SO(8) form the vertices of a 24-cell. The vertices can be seen in 3 hyperplanes, with the 6 vertices of an octahedron cell on each of the outer hyperplanes and 12 vertices of a cuboctahedron on a central hyperplane. These vertices, combined with the 8 vertices of the 16-cell, represent the 32 root vectors of the B4 and C4 simple Lie groups.

The 48 vertices (or strictly speaking their radius vectors) of the union of the 24-cell and its dual form the root system of type F4. The 24 vertices of the original 24-cell form a root system of type D4; its size has the ratio √2:1. This is likewise true for the 24 vertices of its dual. The full symmetry group of the 24-cell is the Weyl group of F4, which is generated by reflections through the hyperplanes orthogonal to the F4 roots. This is a solvable group of order 1152. The rotational symmetry group of the 24-cell is of order 576.

Quaternionic interpretation

When interpreted as the quaternions, the F4 root lattice (which is the integral span of the vertices of the 24-cell) is closed under multiplication and is therefore a ring. This is the ring of Hurwitz integral quaternions. The vertices of the 24-cell form the group of units (i.e. the group of invertible elements) in the Hurwitz quaternion ring (this group is also known as the binary tetrahedral group). The vertices of the 24-cell are precisely the 24 Hurwitz quaternions with norm squared 1, and the vertices of the dual 24-cell are those with norm squared 2. The D4 root lattice is the dual of the F4 and is given by the subring of Hurwitz quaternions with even norm squared.

Viewed as the 24 unit Hurwitz quaternions, the unit radius coordinates of the 24-cell represent (in antipodal pairs) the 12 rotations of a regular tetrahedron.

Vertices of other convex regular 4-polytopes also form multiplicative groups of quaternions, but few of them generate a root lattice.

Voronoi cells and tessellation

The Voronoi cells of the D4 root lattice are regular 24-cells. The corresponding Voronoi tessellation gives the tessellation of four-dimensional Euclidean space by regular 24-cells, the 24-cell honeycomb. As a polytope that can tile by translation, the 24-cell is an example of a parallelotope, the simplest one that is not also a zonotope. The Schläfli symbol for this tessellation is { 3 , 4 , 3 , 3 } {\displaystyle \{3,4,3,3\}}. It is one of only three regular tessellations of R 4 {\displaystyle \mathbb {R} ^{4}}. The 24-cells are centered at the D4 lattice points (Hurwitz quaternions with even norm squared) while the vertices are at the F4 lattice points with odd norm squared. Each 24-cell of this tessellation has 24 neighbors. With each of these it shares an octahedron. It also has 24 other neighbors with which it shares only a single vertex. Eight 24-cells meet at any given vertex in this tessellation.

The dual tessellation of the 24-cell honeycomb {3,4,3,3} is the 16-cell honeycomb {3,3,4,3}. The third regular tessellation of four dimensional space is the tesseractic honeycomb {4,3,3,4}, whose vertices can be described by 4-integer Cartesian coordinates. The congruent relationships among these three tessellations can be helpful in visualizing the 24-cell, in particular the radial equilateral symmetry which it shares with the tesseract.

Rotations

The regular convex 4-polytopes are an expression of their underlying symmetry which is known as SO(4), the group of rotations about a fixed point in 4-dimensional Euclidean space.

Rotations in 4-dimensional Euclidean space can be seen as the composition of two 2-dimensional rotations in completely orthogonal planes. Thus the general rotation in 4-space is a double rotation. There are two important special cases: a simple rotation (in which one rotational angle is 0) and an isoclinic rotation (similar but not identical to two simple rotations through the same angle).

• In the 24-cell, there is a simple rotation which will take any vertex directly to any other vertex, also moving most of the other vertices but leaving at least 2 and at most 6 other vertices fixed (the vertices that the fixed central plane intersects). The vertex moves along a great circle in the invariant plane of rotation between adjacent vertices of a great hexagon, a great square or a great digon, and the completely orthogonal fixed plane is a digon, a square or a hexagon, respectively.
• Double rotations come in two chiral forms: left and right rotations. In a double rotation each vertex moves in a spiral along two orthogonal great circles at once. Either the path is right-hand threaded (like most screws and bolts), moving along the circles in the "same" directions, or it is left-hand threaded (like a reverse-threaded bolt), moving along the circles in what we conventionally say are "opposite" directions (according to the right hand rule by which we conventionally say which way is "up" on each of the 4 coordinate axes). In double rotations of the 24-cell that take vertices to vertices, one invariant plane of rotation contains either a great hexagon, a great square, or only an axis (two vertices, a great digon). The completely orthogonal invariant plane of rotation will necessarily contain a great digon, a great square, or a great hexagon, respectively. The selection of an invariant plane of rotation, a rotational direction and angle through which to rotate it, and a rotational direction and angle through which to rotate its completely orthogonal plane, completely determines the nature of the rotational displacement. In the 24-cell, there are several noteworthy kinds of double rotation permitted by these parameters.
• When the angles of rotation in the two completely orthogonal invariant planes are exactly the same, a remarkably symmetric transformation occurs: all the great circle planes Clifford parallel to the pair of invariant planes become pairs of invariant planes of rotation themselves, through that same angle, and the 4-polytope rotates isoclinically in many directions at once. Each vertex moves an equal distance in four orthogonal directions at the same time. In the 24-cell any isoclinic rotation through 60 degrees in a hexagonal plane takes each vertex to a vertex two edge lengths away, rotates all 16 hexagons by 60 degrees, and takes every great circle polygon (square, hexagon or triangle) to a Clifford parallel great circle polygon of the same kind 120 degrees away. An isoclinic rotation is also called a Clifford displacement, after its discoverer.

The 24-cell in the double rotation animation appears to turn itself inside out. It appears to, because it actually does, reversing the chirality of the whole 4-polytope just the way your bathroom mirror reverses the chirality of your image by a 180 degree reflection. Each 360 degree isoclinic rotation is as if the 24-cell surface had been stripped off like a glove and turned inside out, making a right-hand glove into a left-hand glove (or vice versa).

Characteristic orthoscheme

Every regular 4-polytope has its characteristic 4-orthoscheme, an irregular 5-cell. The characteristic 5-cell of the regular 24-cell is represented by the Coxeter-Dynkin diagram , which can be read as a list of the dihedral angles between its mirror facets. It is an irregular tetrahedral pyramid based on the characteristic tetrahedron of the regular octahedron. The regular 24-cell is subdivided by its symmetry hyperplanes into 1152 instances of its characteristic 5-cell that all meet at its center.

The characteristic 5-cell (4-orthoscheme) has four more edges than its base characteristic tetrahedron (3-orthoscheme), joining the four vertices of the base to its apex (the fifth vertex of the 4-orthoscheme, at the center of the regular 24-cell). If the regular 24-cell has radius and edge length 𝒍 = 1, its characteristic 5-cell's ten edges have lengths 1 3 {\displaystyle {\sqrt {\tfrac {1}{3}}}}, 1 4 {\displaystyle {\sqrt {\tfrac {1}{4}}}}, 1 12 {\displaystyle {\sqrt {\tfrac {1}{12}}}} around its exterior right-triangle face (the edges opposite the characteristic angles 𝟀, 𝝉, 𝟁), plus 1 2 {\displaystyle {\sqrt {\tfrac {1}{2}}}}, 1 4 {\displaystyle {\sqrt {\tfrac {1}{4}}}}, 1 6 {\displaystyle {\sqrt {\tfrac {1}{6}}}} (the other three edges of the exterior 3-orthoscheme facet the characteristic tetrahedron, which are the characteristic radii of the octahedron), plus 1 {\displaystyle 1}, 3 4 {\displaystyle {\sqrt {\tfrac {3}{4}}}}, 2 3 {\displaystyle {\sqrt {\tfrac {2}{3}}}}, 1 2 {\displaystyle {\sqrt {\tfrac {1}{2}}}} (edges which are the characteristic radii of the 24-cell). The 4-edge path along orthogonal edges of the orthoscheme is 1 4 {\displaystyle {\sqrt {\tfrac {1}{4}}}}, 1 12 {\displaystyle {\sqrt {\tfrac {1}{12}}}}, 1 6 {\displaystyle {\sqrt {\tfrac {1}{6}}}}, 1 2 {\displaystyle {\sqrt {\tfrac {1}{2}}}}, first from a 24-cell vertex to a 24-cell edge center, then turning 90° to a 24-cell face center, then turning 90° to a 24-cell octahedral cell center, then turning 90° to the 24-cell center.

Reflections

The 24-cell can be constructed by the reflections of its characteristic 5-cell in its own facets (its tetrahedral mirror walls). Reflections and rotations are related: a reflection in an even number of intersecting mirrors is a rotation. Consequently, regular polytopes can be generated by reflections or by rotations. For example, any 720° isoclinic rotation of the 24-cell in a hexagonal invariant plane takes each of the 24 vertices to and through 5 other vertices and back to itself, on a skew hexagram2 geodesic isocline that winds twice around the 3-sphere on every second vertex of the hexagram. Any set of four orthogonal pairs of antipodal vertices (the 8 vertices of one of the three inscribed 16-cells) performing half such an orbit visits 3 * 8 = 24 distinct vertices and generates the 24-cell sequentially in 3 steps of a single 360° isoclinic rotation, just as any single characteristic 5-cell reflecting itself in its own mirror walls generates the 24 vertices simultaneously by reflection.

Tracing the orbit of one such 16-cell vertex during the 360° isoclinic rotation reveals more about the relationship between reflections and rotations as generative operations. The vertex follows an isocline (a doubly curved geodesic circle) rather than an ordinary great circle. The isocline connects vertices two edge lengths apart, but curves away from the great circle path over the two edges connecting those vertices, missing the vertex in between. Although the isocline does not follow any one great circle, it is contained within a ring of another kind: in the 24-cell it stays within a 6-cell ring of spherical octahedral cells, intersecting one vertex in each cell, and passing through the volume of two adjacent cells near the missed vertex.

Chiral symmetry operations

A symmetry operation is a rotation or reflection which leaves the object indistinguishable from itself before the transformation. The 24-cell has 1152 distinct symmetry operations (576 rotations and 576 reflections). Each rotation is equivalent to two reflections, in a distinct pair of non-parallel mirror planes.

Pictured are sets of disjoint great circle polygons, each in a distinct central plane of the 24-cell. For example, {24/4}=4{6} is an orthogonal projection of the 24-cell picturing 4 of its [16] great hexagon planes. The 4 planes lie Clifford parallel to the projection plane and to each other, and their great polygons collectively constitute a discrete Hopf fibration of 4 non-intersecting great circles which visit all 24 vertices just once.

Each row of the table describes a class of distinct rotations. Each rotation class takes the left planes pictured to the corresponding right planes pictured. The vertices of the moving planes move in parallel along the polygonal isocline paths pictured. For example, the [ 32 ] R q 7 , q 8 {\displaystyle [32]R_{q7,q8}} rotation class consists of [32] distinct rotational displacements by an arc-distance of ⁠2𝝅/3⁠ = 120° between 16 great hexagon planes represented by quaternion group q 7 {\displaystyle q7} and a corresponding set of 16 great hexagon planes represented by quaternion group q 8 {\displaystyle q8}. One of the [32] distinct rotations of this class moves the representative vertex coordinate ( 1 2 , 1 2 , 1 2 , 1 2 ) {\displaystyle ({\tfrac {1}{2}},{\tfrac {1}{2}},{\tfrac {1}{2}},{\tfrac {1}{2}})} to the vertex coordinate ( 1 2 , − 1 2 , − 1 2 , − 1 2 ) {\displaystyle ({\tfrac {1}{2}},-{\tfrac {1}{2}},-{\tfrac {1}{2}},-{\tfrac {1}{2}})}.

In a rotation class [ d ] R q l , q r {\displaystyle [d]{R_{ql,qr}}} each quaternion group ± q n {\displaystyle \pm {q_{n}}} may be representative not only of its own fibration of Clifford parallel planes but also of the other congruent fibrations. For example, rotation class [ 4 ] R q 7 , q 8 {\displaystyle [4]R_{q7,q8}} takes the 4 hexagon planes of q 7 {\displaystyle q7} to the 4 hexagon planes of q 8 {\displaystyle q8} which are 120° away, in an isoclinic rotation. But in a rigid rotation of this kind, all [16] hexagon planes move in congruent rotational displacements, so this rotation class also includes [ 4 ] R − q 7 , − q 8 {\displaystyle [4]R_{-q7,-q8}}, [ 4 ] R q 8 , q 7 {\displaystyle [4]R_{q8,q7}} and [ 4 ] R − q 8 , − q 7 {\displaystyle [4]R_{-q8,-q7}}. The name [ 16 ] R q 7 , q 8 {\displaystyle [16]R_{q7,q8}} is the conventional representation for all [16] congruent plane displacements.

These rotation classes are all subclasses of [ 32 ] R q 7 , q 8 {\displaystyle [32]R_{q7,q8}} which has [32] distinct rotational displacements rather than [16] because there are two chiral ways to perform any class of rotations, designated its left rotations and its right rotations. The [16] left displacements of this class are not congruent with the [16] right displacements, but enantiomorphous like a pair of shoes. Each left (or right) isoclinic rotation takes [16] left planes to [16] right planes, but the left and right planes correspond differently in the left and right rotations. The left and right rotational displacements of the same left plane take it to different right planes.

Each rotation class (table row) describes a distinct left (and right) isoclinic rotation. The left (or right) rotations carry the left planes to the right planes simultaneously, through a characteristic rotation angle. For example, the [ 32 ] R q 7 , q 8 {\displaystyle [32]R_{q7,q8}} rotation moves all [16] hexagonal planes at once by ⁠2𝝅/3⁠ = 120° each. Repeated 6 times, this left (or right) isoclinic rotation moves each plane 720° and back to itself in the same orientation, passing through all 4 planes of the q 7 {\displaystyle q7} left set and all 4 planes of the q 8 {\displaystyle q8} right set once each. The picture in the isocline column represents this union of the left and right plane sets. In the [ 32 ] R q 7 , q 8 {\displaystyle [32]R_{q7,q8}} example it can be seen as a set of 4 Clifford parallel skew hexagrams, each having one edge in each great hexagon plane, and skewing to the left (or right) at each vertex throughout the left (or right) isoclinic rotation.

Visualization

Cell rings

The 24-cell is bounded by 24 octahedral cells. For visualization purposes, it is convenient that the octahedron has opposing parallel faces (a trait it shares with the cells of the tesseract and the 120-cell). One can stack octahedrons face to face in a straight line bent in the 4th direction into a great circle with a circumference of 6 cells. The cell locations lend themselves to a hyperspherical description. Pick an arbitrary cell and label it the "North Pole". Eight great circle meridians (two cells long) radiate out in 3 dimensions, converging at the 3rd "South Pole" cell. This skeleton accounts for 18 of the 24 cells (2 + 8×2). See the table below.

The 24-cell can be partitioned into cell-disjoint sets of four of these 6-cell great circle rings, forming a discrete Hopf fibration of four non-intersecting linked rings. One ring is "vertical", encompassing the pole cells and four meridian cells. The other three rings each encompass two equatorial cells and four meridian cells, two from the northern hemisphere and two from the southern.

Related polytopes

The regular complex polygon 4{3}4, or contains the 24 vertices of the 24-cell, and 24 4-edges that correspond to central squares of 24 of 48 octahedral cells. Its symmetry is 4[3]4, order 96.

The following are some polytopes constructed from the 24-cell.

The 24-cell can also be derived as a rectified 16-cell:

See also

• Octacube (sculpture)
• Uniform 4-polytope § The F4 family

Citations

• Kepler, Johannes (1619). Harmonices Mundi (The Harmony of the World). Johann Planck.
• Coxeter, H.S.M. (1973) [1948]. Regular Polytopes (3rd ed.). New York: Dover.
• Coxeter, H.S.M. (1991), Regular Complex Polytopes (2nd ed.), Cambridge: Cambridge University Press
• Coxeter, H.S.M. (1995), Sherk, F. Arthur; McMullen, Peter; Thompson, Anthony C.; Weiss, Asia Ivic (eds.), (2nd ed.), Wiley-Interscience Publication, ISBN 978-0-471-01003-6 (Paper 3) H.S.M. Coxeter, Two aspects of the regular 24-cell in four dimensions (Paper 22) H.S.M. Coxeter, Regular and Semi Regular Polytopes I, [Math. Zeit. 46 (1940) 380–407, MR 2,10] (Paper 23) H.S.M. Coxeter, Regular and Semi-Regular Polytopes II, [Math. Zeit. 188 (1985) 559-591] (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3-45]
• Coxeter, H.S.M. (1968). The Beauty of Geometry: Twelve Essays (2nd ed.). New York: Dover.
• Coxeter, H.S.M. (1989). . Computers Math. Applic. 17 (1–3): 59–71. doi:.
• Coxeter, H.S.M. (1970), "Twisted Honeycombs", Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, 4, Providence, Rhode Island: American Mathematical Society
• Stillwell, John (January 2001). (PDF). Notices of the AMS. 48 (1): 17–25.
• Johnson, Norman (2018), , Cambridge: Cambridge University Press, ISBN 978-1-107-10340-5
• Johnson, Norman (1991), Uniform Polytopes (Manuscript ed.)
• Johnson, Norman (1966), The Theory of Uniform Polytopes and Honeycombs (Ph.D. ed.)
• Weisstein, Eric W. . MathWorld. (also under Icositetrachoron)
• Klitzing, Richard. .
• Ghyka, Matila (1977). The Geometry of Art and Life. New York: Dover Publications. ISBN 978-0-486-23542-4.
• Banchoff, Thomas F. (2013). "Torus Decompostions of Regular Polytopes in 4-space". In Senechal, Marjorie (ed.). . Springer New York. pp. –266. doi:. ISBN 978-0-387-92713-8.
• Copher, Jessica (2019). "Sums and Products of Regular Polytopes' Squared Chord Lengths". arXiv: [].
• van Ittersum, Clara (2020). (Thesis). Delft University of Technology.
• Kim, Heuna; Rote, G. (2016). "Congruence Testing of Point Sets in 4 Dimensions". arXiv: [].
• Perez-Gracia, Alba; Thomas, Federico (2017). (PDF). Adv. Appl. Clifford Algebras. 27: 523–538. doi:. hdl:. S2CID .
• Waegell, Mordecai; Aravind, P. K. (2009-11-12). "Critical noncolorings of the 600-cell proving the Bell-Kochen-Specker theorem". Journal of Physics A: Mathematical and Theoretical. 43 (10) 105304. arXiv:. doi:. S2CID .
• Tyrrell, J. A.; Semple, J.G. (1971). . Cambridge University Press. ISBN 0-521-08042-8.
• Egan, Greg (23 December 2021). . gregegan.net.
• Mamone, Salvatore; Pileio, Giuseppe; Levitt, Malcolm H. (2010). . Symmetry. 2 (3): 1423–1449. Bibcode:. doi:.
• Mebius, Johan (July 2015) [11 Jan 1994]. Applications of Quaternions to Dynamical Simulation, Computer Graphics and Biomechanics (Thesis). Delft University of Technology. doi:.
• Feynman, Richard; Weinberg, Steven (1987). Elementary particles and the laws of physics. Cambridge University Press.
• Dorst, Leo (2019). . Advances in Applied Clifford Algebras. 29 (44) 44. doi:. S2CID .
• Koca, Mehmet; Al-Ajmi, Mudhahir; Koc, Ramazan (November 2007). . Journal of Mathematical Physics. 48 (11): 113514. Bibcode:. doi:.

External links

• 2007-07-15 at the Wayback Machine