In four-dimensional geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol {3,4,3}. It is also called C<sub>24</sub>, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, octacube, hyper-diamond or polyoctahedron, being constructed of octahedral cells.
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. The vertex figure is a cube. 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. It has Schläfli symbol .
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:Those coordinates can be constructed as the 24-cell , rectifying the 16-cell with the 8 vertices that are permutations of . 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 12<sub>4</sub>16<sub>3</sub> 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.
The 24 root vectors of the D<sub>4</sub> 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 B<sub>4</sub> and C<sub>4</sub> 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 F<sub>4</sub>. The 24 vertices of the original 24-cell form a root system of type D<sub>4</sub>; its size has the ratio :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 F<sub>4</sub>, which is generated by reflections through the hyperplanes orthogonal to the F<sub>4</sub> roots. This is a solvable group of order 1152. The rotational symmetry group of the 24-cell is of order 576.
When interpreted as the quaternions, the F<sub>4</sub> 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 D<sub>4</sub> root lattice is the dual of the F<sub>4</sub> 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.
The Voronoi cells of the D<sub>4</sub> 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 . It is one of only three regular tessellations of . The 24-cells are centered at the D<sub>4</sub> lattice points (Hurwitz quaternions with even norm squared) while the vertices are at the F<sub>4</sub> 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.
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).
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).
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 <small></small>, <small></small>, <small></small> around its exterior right-triangle face (the edges opposite the characteristic angles ðÂÂÂ, ðÂÂÂ, ðÂÂÂ), plus <small></small>, <small></small>, <small></small> (the other three edges of the exterior 3-orthoscheme facet the characteristic tetrahedron, which are the characteristic radii of the octahedron), plus <small></small>, <small></small>, <small></small>, <small></small> (edges which are the characteristic radii of the 24-cell). The 4-edge path along orthogonal edges of the orthoscheme is <small></small>, <small></small>, <small></small>, <small></small>, 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.
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 hexagram<sub>2</sub> 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.
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 rotation class consists of [32] distinct rotational displacements by an arc-distance of = 120ð between 16 great hexagon planes represented by quaternion group and a corresponding set of 16 great hexagon planes represented by quaternion group . One of the [32] distinct rotations of this class moves the representative vertex coordinate to the vertex coordinate .
In a rotation class each quaternion group may be representative not only of its own fibration of Clifford parallel planes but also of the other congruent fibrations. For example, rotation class takes the 4 hexagon planes of to the 4 hexagon planes of 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 , and . The name is the conventional representation for all [16] congruent plane displacements.
These rotation classes are all subclasses of 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 rotation moves all [16] hexagonal planes at once by = 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 left set and all 4 planes of the right set once each. The picture in the isocline column represents this union of the left and right plane sets. In the 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.
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 + ). 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.
The regular complex polygon <sub>4</sub>{3}<sub>4</sub>, 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 <sub>4</sub>[3]<sub>4</sub>, order 96.
The following are some polytopes constructed from the 24-cell.
The 24-cell can also be derived as a rectified 16-cell: