Fact-checked by Grok 2 weeks ago

24-cell

The 24-cell, also known as the icositetrachoron, octaplex, or hyperdiamond, is a four-dimensional with {3,4,3}. It consists of 24 regular octahedral cells, 96 equilateral triangular faces, 96 edges, and 24 vertices, making it one of the six 4-polytopes. Unlike the other regular 4-polytopes, which have analogues among the Platonic solids in three dimensions, the 24-cell is unique in lacking a direct three-dimensional counterpart. It is self-dual, meaning it is combinatorially and geometrically congruent to its dual polytope. The vertices of the 24-cell can be coordinatized in four-dimensional using all 24 points obtained from permutations of (±1, ±1, 0, 0) with all sign combinations for the non-zero entries, yielding a circumradius of √2 and edge length of √2. These coordinates lie on a of radius √2. The vertices can also be represented using the 24 Hurwitz integers of unit norm in the quaternions (corresponding to coordinates of radius 1). The of the 24-cell is the Coxeter group F₄, a Weyl group of order 1152 that acts transitively on the flags of the polytope. This group includes rotations and reflections, with the rotational subgroup of index 2. The 24-cell was discovered by Swiss mathematician Ludwig Schläfli between 1850 and 1852 as part of his pioneering work on higher-dimensional geometry, where he identified the six regular convex 4-polytopes. Its combinatorial and geometric structure has since been extensively studied, notably by H.S.M. Coxeter, for applications in lattice theory, sphere packings, and exceptional Lie groups.

History and nomenclature

Discovery and early studies

The 24-cell was first discovered by Swiss mathematician Ludwig Schläfli between 1850 and 1852 during his enumeration of regular polytopes in arbitrary dimensions, where he identified six convex regular 4-polytopes, including the one composed of 24 regular octahedra. His work was published posthumously in 1901. In the late 19th and early 20th centuries, interest in visualizing 4-dimensional geometry led to independent work by self-taught mathematician , who around 1900 constructed intricate paper models of 3-dimensional sections of all six regular 4-polytopes, including the 24-cell, demonstrating their structure without prior knowledge of . Shortly thereafter, in 1900, British mathematician and lawyer Thorold Gosset published a comprehensive classification of uniform 4-polytopes, in which he assigned the {3,4,3} to the 24-cell and enumerated its combinatorial properties as part of a broader catalog of semi-regular figures in higher dimensions. Mid-20th-century advancements solidified the 24-cell's theoretical foundations through the work of H.S.M. Coxeter, who in the 1950s and 1960s performed detailed computational verifications of its geometry and symmetries, including calculations of the order of its full symmetry group as 1152 in his influential text Regular Polytopes (third edition, 1973). Coxeter's analyses highlighted the 24-cell's unique position among regular polytopes, emphasizing its self-duality—a property evident from the palindromic {3,4,3}, where vertices correspond to the cells of its dual.

Naming conventions and terminology

The 24-cell derives its primary name from its composition of 24 octahedral cells. Alternative designations include the octaplex, a term shorthand for "octahedral complex" that highlights the 8-fold structural complexity arising from the octahedral building blocks and their arrangement. The systematic nomenclature icositetrachoron combines "icosi-" (indicating 20) and "-tetrachoron" (for 4-dimensional figure with 4 cells implied in the base), yielding a literal reference to its 24 cells. The Schläfli symbol {3,4,3} compactly encodes the 24-cell's structure: the initial {3,4} specifies regular octahedral cells (equilateral triangular faces meeting four at each edge), while the trailing {4,3} describes the cubic (square faces meeting three at each edge). This notation distinguishes it within the family of regular 4-polytopes, emphasizing the alternation between tetrahedral and cubic elements in its facets and vertices. In notation, the 24-cell is represented by a linear chain of three s, with the bond between the first and second node marked by a label of 4 to indicate the specific , corresponding to the exceptional F4 of order 1152. This graphical convention provides a visual summary of the relations among the generating reflections. Less common terms, such as tetracosichoron (from roots evoking 24 cells), appear sporadically in early literature but have not gained widespread adoption. The consistently applies to the regular convex form, distinguishing it from non- variants like the truncated 24-cell, which features 48 cells comprising cubes and truncated octahedra rather than uniform octahedra.

Definition and fundamental properties

Schläfli symbol and Coxeter-Dynkin diagram

The 24-cell, as a , is denoted by the {3,4,3}, which recursively specifies its structure starting from the faces. The symbol indicates that the 2-dimensional faces are equilateral triangles {3}, with three faces meeting at each edge to form regular octahedral 3-dimensional cells {3,4}; in turn, four such cells meet at each vertex, yielding regular cubic vertex figures {4,3}. This construction ensures the polytope's regularity, meaning all its elements—faces, cells, and vertex figures—are congruent polytopes, and the arrangement is symmetric under the full . The Coxeter-Dynkin diagram for the 24-cell consists of a linear arrangement of three nodes connected by bonds labeled 3 and 4, represented as o-3-o-4-o, where the nodes correspond to generating reflections and the bond labels denote the orders of the products of adjacent reflections in the . This diagram defines the F_4 Coxeter group of order 1152, which acts as the full of the 24-cell, preserving its regular structure. In lower dimensions, the analogous symbol {3,4} describes the regular octahedron, a 3-polytope with triangular faces and square vertex figures; the extension to {3,4,3} in four dimensions thus builds a self-dual polytope where cells and vertex figures are dual pairs (octahedron and cube). The regularity implied by these symbols confirms that the 24-cell is one of only six regular 4-polytopes, distinguished by its unique combination of tetrahedral symmetry in faces and octahedral/cubic elements in higher facets. When embedded on a (the boundary of a 4-ball), the 24-cell satisfies the for 4-dimensional polytopes, given by \chi = V - E + F - C = 24 - 96 + 96 - 24 = 0, where V, E, F, and C denote the numbers of vertices, edges, faces, and cells, respectively; this value of zero is characteristic of even-dimensional spherical topologies.

Vertex figure and basic counts

The 24-cell possesses 24 vertices, 96 edges, 96 triangular faces, and 24 regular octahedral cells. These counts reflect its status as a with {3,4,3}, where the cells are bounded by equilateral triangles meeting in octahedral configurations. Combinatorial incidences among these elements are uniform due to the polytope's regularity. Each is incident to 8 edges, 12 faces, and 6 . Each edge is incident to 2 , 3 faces, and 3 . Each face is incident to 3 , 3 edges, and 2 (as a shared between two octahedral cells). Each is incident to 8 faces, 12 edges, 6 , and is bounded by the appropriate adjacencies within its octahedral structure. These relations can be summarized in the following incidence table, where rows denote the number of lower-dimensional elements per higher one, and columns indicate the converse:
ElementVerticesEdgesFacesCells
Vertices-8126
Edges2-33
Faces33-2
Cells6128-
This table derives from the polytope's and the properties of its bounding octahedra, ensuring balanced sharing across dimensions. The of the 24-cell, obtained by considering the arrangement of adjacent elements around a , is a with {4,3}. This cubic confirms the polytope's , as the 's 8 vertices correspond to the 8 incident edges, its 12 edges to the 12 incident faces, and its 6 faces to the 6 incident cells. The cubic nature underscores the 24-cell's unique position among 4-polytopes, linking its local structure to cubic . A notable skew in the 24-cell is its , a regular 12-gon where consecutive edges lie within the same face but consecutive faces do not lie within the same cell, threading through the structure in a helical manner. This 12-gon exemplifies the polytope's non-planar polygonal paths and relates to its underlying symmetries.

Geometric structure

Coordinate representations

The vertices of the 24-cell can be embedded in 4-dimensional using binary coordinates consisting of all permutations of (±1, ±1, 0, 0), yielding 24 points. This representation, attributed to Coxeter, positions the vertices at a circumradius of \sqrt{2}. In this binary coordinate system, the edge length between adjacent vertices is \sqrt{2}. The possible Euclidean distances (chords) between vertices are \sqrt{2}, 2, \sqrt{6}, and $2\sqrt{2}, where 2 corresponds to the diagonals of the square cross-sections and $2\sqrt{2} to the longer chords spanning hexagonal cross-sections. An alternative scaling normalizes the circumradius to 1 by using vertices at all even permutations and sign combinations of \left( \frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}}, 0, 0 \right), which reduces the edge length to 1 while preserving the geometric structure. The 24-cell vertices also correspond to the 24 units of norm in the ring of Hurwitz quaternions, interpreted as points in \mathbb{R}^4. These consist of the 8 points \pm [1](/page/1), \pm i, \pm j, \pm k (with coordinates like (\pm [1](/page/1), 0, 0, 0) and permutations) and the 16 points \left( \pm \frac{[1](/page/1)}{2}, \pm \frac{[1](/page/1)}{2}, \pm \frac{[1](/page/1)}{2}, \pm \frac{[1](/page/1)}{2} \right) over all sign combinations. This quaternionic representation highlights the polytope's connection to the binary tetrahedral group and yields unit-radius coordinates. When the 24-cell is inscribed in the unit , the distances between vertices on the hypersphere are \arccos\left(\frac{1}{2}\right) = \frac{\pi}{3}, \arccos(0) = \frac{\pi}{2}, \arccos\left(-\frac{1}{2}\right) = \frac{2\pi}{3}, and \pi, corresponding to the pairwise inner products \frac{1}{2}, 0, -\frac{1}{2}, and -1 derived from the chordal distances.

Cell types and their arrangements

The 24-cell is bounded by 24 regular octahedral cells, each a convex polyhedron with the {3,4}, comprising 8 equilateral triangular faces, 6 , and 12 edges. These cells assemble such that three meet along each of the 96 edges and eight meet at each of the 24 , reflecting the {3,4,3} of the overall . At each , the eight incident cells arrange in a cubic , consistent with the cubical {4,3} that bounds the local structure. Globally, the cells exhibit tetrahedral groupings, such as sets of four mutually adjacent cells sharing a common , alongside the cubic arrangements that emphasize the polytope's octahedral-cubic . Adjacent cells intersect along shared triangular faces or edges, while non-adjacent pairs may be or separated; notably, each has a unique opposite positioned at the maximum distance within the , ensuring no two opposite cells intersect. Coordinate-derived distances confirm this maximum separation between opposite centers occurs along the longest chords. All 24 cells lie fully on the boundary of the 24-cell, contributing directly to its 4-dimensional surface with no interior cells enclosed within. The centers of these cells are interconnected by a network of chords, including 12 hypercubic chords that link the centers of opposite cells and span the full diameter of the polytope.

Dual polytope properties

The 24-cell exhibits self-duality as a regular 4-polytope, meaning its polar dual is congruent to the original figure through a suitable scaling and orientation. This unique property among convex regular polytopes in four dimensions arises from the symmetric interchangeability of its vertices and cells: the 24 vertices of the 24-cell map to the 24 cells of its dual, while the 24 octahedral cells of the primal correspond to the 24 vertices of the dual. Such congruence ensures that the combinatorial and geometric structure remains invariant under duality, distinguishing the 24-cell from other regular 4-polytopes like the tesseract and 16-cell, which are dual to each other but not self-dual. The vertices of the 24-cell are obtained as the barycenters of the 24 octahedral cells of the . In the standard coordinate representation, where the primal vertices are all even permutations of (\pm 1, \pm 1, 0, 0), these cell centers form a that, after , replicates the original set, underscoring the self- . Similarly, the facets of the mirror those of the , consisting of 24 regular octahedra that bound the . This reciprocal mapping preserves the overall topology and metric properties when normalized appropriately. The self-duality is further realized through the polytope's polarity with respect to the origin. The supporting hyperplanes of the primal's octahedral cells, passing through their centers, define the positions of the dual's vertices via polar reciprocation. In unit normalization using the aforementioned coordinates, the circumradius \rho equals the edge length a, both being \sqrt{2}, aligning the primal and dual scales directly. This relation encapsulates the intrinsic balance enabling the 24-cell's self-congruence under duality.

Constructions and configurations

Reciprocal and diminishing constructions

The 24-cell can be constructed through reciprocal processes involving the polar duals of other regular 4-polytopes, where vertices and cells are interchanged relative to a common center. One such method, known as Gosset's construction, derives the 24-cell from the 8-cell () by dividing the tesseract into eight cubic pyramids and attaching these pyramids to the eight cubic cells of its dual, the , effectively combining the two dual polytopes into a single self-dual figure. This process highlights the 24-cell's role as a bridge between the cubic and families in four dimensions. Similarly, Cesàro's construction obtains the 24-cell as the reciprocal of the , achieved by truncating the vertices of the 16-cell until its edges reduce to points, yielding the 24-cell's octahedral cells from the original tetrahedral ones. Due to its self-duality, the 24-cell serves as its own reciprocal, with the centroids of its 24 octahedral cells coinciding with the vertices of an identical 24-cell after appropriate scaling; this property underscores the symmetry in its vertex-cell interchange without altering the overall form. Diminishing constructions of the 24-cell involve , which truncates the original by cutting off vertices at the midpoints of edges, effectively removing the original vertices and creating new facets from the truncated edges. Rectifying the 24-cell produces the rectified 24-cell, a with 48 cells consisting of 24 cuboctahedra and 24 cubes, where the original 96 edges become the new vertices. This process preserves the full group while reducing the structure to a more rectified form. Relationships among interior polytopes reveal nested configurations within the 24-cell, including an inscribed 8-cell formed by the 16 coordinate points with all coordinates ±1/2 and an inscribed 16-cell from the 8 points with one coordinate ±1 and others zero, demonstrating how the 24-cell embeds lower-order regular polytopes concentrically.

Tetrahedral and cubic constructions

Alternatively, the 24-cell can be viewed as the arrangement of 24 regular octahedra radiating from a central point, with each octahedron serving as a cell and their faces forming the polytope's . This radial emphasizes the 24-cell's high , where the octahedra meet three to an edge and six at each vertex. The cubic cells in this construction relate to the vertex figure of the 24-cell, which is a cuboctahedron whose square faces derive from the cubic facets.

Symmetries and group theory

Full symmetry group and reflections

The full symmetry group of the 24-cell is the F_4, of order 1152. This group encompasses all isometries that map the 24-cell to itself, including both proper rotations and improper transformations like reflections and rotary reflections. The structure arises from the of type F4, which generates the symmetries through reflections, with the rotational subgroup forming an index-2 of order 576. The F4 itself, of order 1152, is generated by four fundamental reflections corresponding to the simple of the F4 ; these mirrors are hyperplanes perpendicular to the , positioned as bisectors through pairs of opposite vertices or midpoints of opposite edges in the 24-cell's edge graph. Specifically, the short correspond to reflections across planes bisecting opposite edges, while the long align with bisectors of opposite vertices, ensuring the group's action preserves the polytope's regularity. These generating reflections tile the surrounding 4-dimensional via their Weyl chambers, but within the 24-cell itself, the fundamental domain is a characteristic 4-orthoscheme with its apex at the polytope's center. The 24-cell can be decomposed into 24 such orthoschemes, each serving as a fundamental domain under the action of the stabilizer subgroup, effectively tiling the interior of the polytope without overlap or gaps. This decomposition highlights the self-dual nature of the 24-cell, as the orthoschemes connect the center to the faces, edges, vertices, and cells in a symmetric manner. Regarding chirality, the 24-cell admits left- and right-handed versions under the rotational symmetries, forming enantiomorphic pairs that are interchanged by the orientation-reversing elements of the full group; these chiral forms are mirror images, with the full symmetry group unifying them into a single achiral structure.

Rotational symmetries and Cartesian bases

The group of the 24-cell is the index-2 orientation-preserving of the full , which is the F_4 of order 1152; this rotational thus has order 576. The group F_4 arises as the of the corresponding in \mathbb{R}^4, where the 48 roots correspond to the hyperplanes preserving the 24-cell. The 24-cell supports three distinct Cartesian bases, each an orthogonal frame in space aligned with sets of its edges, enabling coordinate systems in which the polytope's edges run parallel to the axes and facilitating analysis of its geometric structure. These bases reflect the polytope's high symmetry and its embedding in the D_4 lattice, where the 24 vertices correspond to the minimal vectors. Rotations within the group act in specific planes embedded in space and are classified by type: 6 simple planes associated with 90° rotations perpendicular to edges, 9 double planes linked to 120° rotations perpendicular to faces, and 16 isoclinic planes involving simultaneous 60° rotations in two orthogonal directions near vertices. Double rotations, which occur in two mutually orthogonal planes, play a key role, as the generators of the rotational group can be constructed as products of such double rotations derived from the reflection generators of F_4. The fundamental domain for the rotational is a characteristic orthoscheme realized as a branched 3-simplex, with branch points and angles (such as \pi/2, \pi/3, and \pi/4) dictated by the Coxeter diagram of F_4, providing a simplicial of the 4-sphere under the group .

Quaternionic and root system interpretations

The vertices of the 24-cell admit a natural interpretation in terms of , specifically as the set of 24 unit Hurwitz quaternions, which are the elements of norm 1 in the ring of Hurwitz integers. These quaternions form the binary tetrahedral group under quaternion multiplication, providing an that encodes the polytope's combinatorial properties. The rotational symmetries of the 24-cell arise from left and right multiplications by unit quaternions, which generate a double cover of the special SO(4), reflecting the polytope's high degree of in . In the context of Lie algebra root systems, the 24 vertices of the 24-cell correspond precisely to the roots of the D_4 root system, consisting of all even permutations and sign changes of the vector (\pm 1, \pm 1, 0, 0). This identification highlights the polytope's role as a geometric realization of the D_4 lattice's minimal vectors. The full symmetry group of the 24-cell, including reflections, is the Weyl group of type F_4, which has order 1152 and acts transitively on these roots. The F_4 root system itself comprises 48 roots: 24 long roots forming a D_4 subsystem and 24 short roots, effectively doubling the D_4 structure while preserving the underlying octahedral symmetry. The Weyl group F_4 permutes these roots, with the action revealing the polytope's self-duality and its connections to exceptional Lie algebras. Further algebraic embeddings link the 24-cell to higher-dimensional structures, particularly through the triality automorphism of Spin(8), which cyclically permutes its three 8-dimensional fundamental representations (vector, left , and right ); the D_4 associated with the 24-cell vertices appear in the weight lattices of these representations, underscoring triality's role in unifying the polytope's symmetries. Projections of the E_8 onto 4-dimensional subspaces yield configurations whose minimal shells align with scaled versions of the 24-cell, illustrating how the polytope emerges as a cross-section in the of exceptional lattices. Additionally, the 24-cell serves as the Wigner-Seitz cell (Voronoi cell) of the D_4 root , the region in \mathbb{R}^4 closer to the origin than to any other lattice point, which tiles space via lattice translations and exemplifies the polytope's optimality in contexts.

Tessellations and higher structures

Voronoi cells and density

The 24-cell serves as the Voronoi cell for the D_4 root , partitioning four-dimensional into regions equidistant from each point, with each cell being a regular 24-cell centered at a point of the . This arises from the D_4 's even unimodular structure and its 24 nearest neighbors per point, where the cell's octahedral facets correspond to the perpendicular bisectors between a point and its neighbors. The of the D_4 ensures that these Voronoi cells tile without gaps or overlaps, forming a uniform decomposition that highlights the 24-cell's role in geometry. In , the D_4 induces a packing of congruent spheres centered at points with equal to half the minimal inter-point , achieving a of \frac{\pi^2}{16} \approx 0.61685. This represents the densest known packing in four dimensions, proven optimal among all and conjectured to be the global optimum for any packing. For comparison, the hypercubic \mathbb{Z}^4 associated with the and its dual 16-cell yields a lower of \frac{\pi^2}{32} \approx 0.3084, while the A_4 corresponding to the 5-cell has \frac{\pi^2}{8\sqrt{5}} \approx 0.551, underscoring the 24-cell's superior among 4-polytopes for -based packings. Within the D_4 lattice, the 24-cell exhibits equilateral properties, as its 24 vertices coincide with the lattice's shortest nonzero vectors, all at equal \sqrt{2} from in the standard scaling. Radial projections from the cell's center map its boundary onto the , preserving the equilateral triangular faces and vertex figures, which reflect the lattice's uniform nearest-neighbor geometry. This radial equilateral nature distinguishes the 24-cell among 4-polytopes, enabling symmetric visualizations and projections that maintain isotropic distribution in the context. The D_4 lattice, via the 24-cell's structure, has applications in , particularly in constructing dense signal constellations for trellis-coded modulation schemes that outperform cubic lattices in error performance and bandwidth efficiency. For instance, it underpins the V.34 standard's 33.6 kbit/s transmission, leveraging the lattice's 24-point shells for robust quantization and modulation in band-limited channels.

Radially equilateral

The denoted by the {3,4,3,4} fills 4-dimensional space with 24-cells, in which four such polytopes meet at each . This is one of the infinite possible only in , as the angle defect allows for the higher meeting number at ridges compared to . In Euclidean 4-space, the analogous 24-cell {3,4,3,3} tiles the space completely, with three 24-cells meeting at each ridge. Each 24-cell in this serves as the of the D_4 root lattice, centered at lattice points, ensuring a space-filling arrangement without gaps or overlaps. The radially equilateral variant exploits the inherent radially equilateral property of the 24-cell, where all vertices lie at equal distance from , to construct a symmetric arrangement with equal edge lengths radiating from a central origin. This is facilitated by isoclinic rotations, which simultaneously rotate pairs of orthogonal 2-planes by the same angle, maintaining the uniform radial structure under the . Finite analogs of these honeycombs appear in spherical 4-space as compact tessellations, realized through compounds of multiple 24-cells inscribed on the 4-sphere, corresponding to finite quotients of the infinite groups. These honeycombs relate to broader 4D tilings via Wythoff constructions, which systematically generate uniform tessellations from Coxeter-Dynkin diagrams; for the 24-cell honeycomb, the F_4 diagram yields the {3,4,3,3} and its variants through mirror reflections and vertex figures. In non-Euclidean embeddings, particularly the hyperbolic {3,4,3,4}, studies of density focus on associated horoball packings, achieving optimal packing densities of approximately 0.310 in the extended , with no overlaps in the tessellation but potential intersections in model approximations.

Characteristic orthoscheme and Clifford parallels

The characteristic orthoscheme of the 24-cell is a right-angled 4-simplex serving as the fundamental domain for its full , the F_4. This orthoscheme has dihedral angles of \pi/2 between non-adjacent faces, and \pi/3, \pi/4, \pi/3 between consecutive faces along the chain corresponding to the edges of the F_4 . Reflections in the five bounding hyperplanes of this orthoscheme generate the full of order 1152. Clifford parallels in the geometry of the 24-cell generalize the notion of parallel lines from to elliptic 3-space embedded within , manifesting as disjoint inscribed 16-cells where the geodesic distance between any pair remains constant along their extent. These structures appear as helical paths on the , analogous to cylinders in lower dimensions but adapted to the curved metric, ensuring non-intersection while preserving uniform separation. Unlike parallels, which maintain zero and infinite extent without linking, Clifford parallels in the 24-cell's curved space form closed loops that "link" topologically due to the positive . Isoclinic rotations, which involve simultaneous equal-angle rotations in two orthogonal 2D planes, play a key role in the 24-cell's symmetries and connect to Clifford parallels through invariant planes at 60° (\pi/3). Such rotations preserve the 24-cell and induce parallel tori from the Clifford parallel hexagonal planes, where the tori maintain constant mutual distance akin to the parallels themselves. Within the characteristic orthoscheme, cyclic paths highlight local connectivity: a 4-cell ring traces a closed sequence involving tesseract-like elements, while a 6-cell ring follows a helical cycle through hexaract facets, both illustrating the orthoscheme's role in generating the tiling via reflections.

Visualization techniques

Parallel and perspective projections

Visualizing the 24-cell, a with 24 octahedral cells, requires projecting its 4-dimensional structure into lower dimensions, typically or , to convey its geometry. Parallel projections, such as s to , preserve parallelism and distances in the projected direction, making them suitable for revealing symmetric layers of the without . In a vertex-first aligned along a axis, the 24-cell appears enveloped by a , with the nearest at the center surrounded by eight internal edges; this view displays six northern octahedral cells in cubic , twelve equatorial cells projected flat at 90 degrees to the viewpoint, and six southern cells mirroring the northern ones, totaling the 24 cells. Such alignments exploit the 24-cell's octahedral to minimize overlaps and distortions, ensuring the projection highlights the polytope's regular structure by hiding or layering elements appropriately. Perspective projections introduce a 4D viewpoint for central projection into 3D, simulating depth and providing a more intuitive sense of the 24-cell's enclosure, often with depth cueing through shading or color gradients to distinguish near and far elements. For instance, a vertex-first perspective projection yields a envelope, where twelve equatorial cells are obscured, and the remaining cells exhibit curved faces due to the projection's radial convergence, enhancing the perception of 4D depth. Similarly, a cell-first perspective projection results in a tetrakis cuboctahedron envelope, with six equatorial cells hidden and pyramidal distortions on faces, allowing viewers to appreciate the octahedral cells receding from the central viewpoint. Depth cueing in these projections, such as varying opacity or coloration, further aids comprehension by emphasizing foreground cells against background ones. The offers a specific technique where one is rendered as an exterior , with the remaining 23 cells depicted inside it, providing a comprehensive view of the 24-cell's . In the self-dual 24-cell's , three nested polyhedra illustrate this: a large outer represents the nearest , a small inner the farthest , and a in between connects them. The internal structure includes 18 linking the triangular faces between the outer and inner through the , and 6 connecting the cuboctahedron's square faces to vertices on the outer and inner , accounting for the total of 24 . This method, oriented cell-first, minimizes distortion by leveraging the 24-cell's to arrange internal elements without excessive overlap. Projections can be oriented vertex-first, edge-first, face-first, or cell-first to emphasize different aspects of the 24-cell's , with axes selected to reduce visual . Vertex-first and cell-first orientations, as described, align along high- directions like those through a or cell center, preserving the polytope's octahedral coordination. Edge-first views project along an edge axis, revealing symmetries, while face-first perspectives, such as those showing internal cells within a front octahedral face, use to hide about half the vertices, edges, faces, and cells for clarity. In all cases, choosing orientations along the 24-cell's rotational axes—derived from its —ensures minimal by maintaining equitable spacing and reducing projective warping.

Cell rings and helical paths

In the 24-cell, cell rings refer to cyclic sequences of octahedral cells that lie in planes orthogonal to specific symmetry axes, facilitating the understanding of its four-dimensional connectivity and aiding visualization efforts. These rings include 4-cell equatorial belts, where four octahedra form a closed loop around an equatorial plane, leveraging the polytope's self-duality and central of its cells. The 24-cell can be partitioned into 6 such 4-cell cycles (in three different orientations), mutually interlinked like adjacent links in a , though sharing the same axis. Such belts appear as flat equatorial structures in certain vertex-first projections. Polar rings consist of 6-cell cycles encircling axes that connect opposite vertices, with six octahedra arranged symmetrically around each axis in a ring-like . The 24-cell possesses exactly 16 such 6-cell polar rings, each forming a non-chiral that highlights the cubic at the poles. These rings are integral to the polytope's decomposition into fibrations and provide a for tracing paths through its cells. (Coxeter 1973) Helical hexagrams represent skew 6-cell cycles within the 24-cell, where successive octahedra connect via edges in a twisted path exhibiting 120° rotations, creating a helical that winds through the four dimensions without intersecting itself. These structures emerge from paths of length √3 between vertices, closing after six steps in a 720° double around the . Similarly, helical octagrams form 8-cell skew paths utilizing isoclinic helices—double rotations in orthogonal planes at equal angles—resulting in non-planar, twisted loops that traverse 8 octahedra. (Coxeter 1973) (Coxeter 1995) For visualization, these cell rings can be interpreted as great circles on the hypersphere in which the 24-cell is inscribed, with circumradius √2, allowing the projection of cycles onto spaces as analogous to or lines on a . This hyperspherical underscores the rings' role in rendering intuitive models by emphasizing non-intersecting paths. The rings connect to s, which are maximal polygons in the ; the 24-cell's is a formed by 12 edges in a helical , linking cell rings to broader line configurations that avoid three mutually adjacent faces. (Coxeter 1973)

Isoclinic rotations in projections

Isoclinic rotations in four-dimensional consist of two simultaneous rotations by equal in a pair of complementary orthogonal , preserving the between intersecting lines while mapping the onto itself. These rotations differ from simple rotations, which occur in a single (such as 90° turns aligned with the 24-cell's octahedral cells), by engaging both pairs of coordinates simultaneously, leading to more complex 3D projections that deform the apparent structure without angular . In contrast, double rotations at 120° emphasize larger symmetric sweeps across the 24-cell's set, often highlighting connections to related polytopes like the . When applied to projections of the 24-cell, isoclinic rotations enable animations that reveal four-dimensional motion as continuous deformations, where vertices trace smooth paths that convey the polytope's intrinsic . Paired 60° rotations in complementary planes, particularly those under the 24-cell's hexagonal great circles, produce particularly revealing views by aligning with the F₄ , transforming static shadows into dynamic sequences that unfold the hidden octahedral cells. Such animations avoid the abrupt jumps of discrete symmetries, instead simulating the 24-cell's rotation as a fluid expansion and contraction in the projected space. Under continuous isoclinic motion, the paths of the 24-cell's vertices form helical isoclines that lie on the surfaces of tori embedded in space, with the helices winding uniformly due to the equal angular rates in the orthogonal planes. These trajectories, analogous to Villarceau circles in lower dimensions, provide a geometric framework for understanding the polytope's periodic structure over a full 720° cycle, where the configuration returns to its initial orientation. In projected visualizations, isoclinic rotations demonstrate the 24-cell's chirality by distinguishing left-isoclinic from right-isoclinic variants, where the opposite sense in one creates mirrored helical windings that appear as enantiomorphic deformations in views. This technique highlights the polytope's orientation-preserving symmetries, allowing viewers to discern subtle differences that are obscured in static projections.

Coxeter group constructions

The 24-cell, as a with {3,4,3}, arises from the Wythoff construction applied to the mirrors of the , which is its full symmetry group of order 1152. In this , an initial is positioned at the intersection of one generating reflection hyperplane (mirror) while being equidistant from the remaining three mirrors, ensuring the generated orbit yields the regular . This placement corresponds to marking a single node in the F4 Coxeter-Dynkin diagram—a linear chain of four nodes with branch relations of orders 3, 4, and 3—specifically uncrossing the terminal node associated with the octahedral to produce the self-dual 24-cell. The F4 diagram's structure implies three primary mirror planes branching from the central node with a double bond (order 4), facilitating the recursive reflection process that enumerates the 24 vertices as the convex hull of the orbit under the group's action. Kaleidoscopic generation proceeds by reflecting a point within the fundamental chamber—a characteristic 5-orthoscheme bounded by these four mirrors—across successive hyperplanes, with each full set of reflections producing the complete set of vertices through 24 distinct images before closure under the group. This reflection-based enumeration ensures all vertices lie at equal distance from the origin in the 4-dimensional Euclidean space, normalized such that the edge length is √2. The vertices can be expressed as the F4-orbit of a base point, such as \left(0, 0, 1, 1\right) \sqrt{2}/2, under the action of the Weyl group generators corresponding to the simple roots of the F4 root system, yielding coordinates that include all even permutations and sign changes of \left(\pm 1, \pm 1, 0, 0\right) and \left(\pm \frac{1}{2}, \pm \frac{1}{2}, \pm \frac{1}{2}, \pm \frac{1}{2}\right). This orbit equation highlights the group's role in transitively acting on the vertices, with the stabilizer of a single vertex being the octahedral group of order 48. The Wythoff construction extends to uniform variants of the 24-cell, including prismatic compounds formed by duplicating cells along mirror directions and pyramidal apexes generated by offsetting vertices perpendicular to a mirror plane. The rectified is a derived from the regular by moving vertices to the midpoints of the original edges, resulting in 48 cells consisting of 24 cuboctahedra (rectified original octahedral cells) and 24 cubes (rectified vertex figures). It has the Wythoff symbol 2 | 3 4 3 and density 1. The truncated is a obtained by truncating the vertices of the regular , yielding 24 truncated octahedral cells and 24 cubic cells. It has the Wythoff symbol 3 | 3 4 3 and density 1.

Connections to complex and lower-dimensional polytopes

The 24-cell maintains intricate ties to geometric structures, arising from its compatibility with quaternionic and coordinate systems that embed lower-dimensional symmetries into four dimensions. In particular, the vertices of the 24-cell coincide with the 24 unit s in the Hurwitz ring of integral quaternions, providing a quaternionic interpretation where the polytope emerges as the of these points on the . This quaternionic framework positions the 24-cell as a four-dimensional analog of a 24-gon in the , where the discrete —the binary octahedral group of order 48—mirrors rotational symmetries extended from two dimensions to quaternionic space. Such connections emphasize the 24-cell's exceptional self-duality and its role in , as explored in studies of quaternion orders and lattice packings. Furthermore, the 24-cell realizes the abstract regular polytope with Schläfli symbol {3,4,3}, which reverses the sequence of the three-dimensional cube {4,3} by interchanging the roles of cells and vertex figures: its cells are regular octahedra {3,4}, while the vertex figure is a cube {4,3}. This reversal highlights a dimensional progression where the cube's square faces and trihedral vertices evolve into the 24-cell's octahedral cells and cubic vertex figures, preserving regularity across dimensions without direct analogs in intermediate spaces. The self-palindromic nature of {3,4,3} ensures the polytope is self-dual, a property shared only with simplices and certain polygons among regular polytopes. In terms of lower-dimensional sections, the 24-cell embeds regular polytopes through hyperplane intersections and inscribed compounds. An equatorial three-dimensional section, taken midway between two opposite vertices, yields a cuboctahedron, capturing the polytope's radial symmetry in a rectified Archimedean solid. Deeper sections reveal meridional octahedra, formed by hyperplanes passing through a vertex and the centers of adjacent cells, which isolate the fundamental octahedral building block while preserving triangular face structures. Additionally, the vertices of the 24-cell comprise the union of an inscribed 16-cell (cross-polytope) and a scaled 8-cell (tesseract), demonstrating how the polytope subsumes dual pairs of lower-dimensional regulars in orthogonal orientations. These sections illustrate the 24-cell's capacity to "slice" into familiar three- and four-dimensional forms, facilitating visualizations and symmetry analyses. Projections of the 24-cell onto further underscore its links to lower-dimensional . The vertex-first parallel projection envelops a , the dual of the , where the 24 projected vertices map to the 14 vertices of the dodecahedron, with internal structures revealing octahedral shadows. Conversely, cell-centered orthogonal projections produce a as the , analogous to how the and project in three dimensions, thereby positioning the 24-cell as a four-dimensional counterpart to this rectified pair. These projections not only aid in rendering the abstract polytope but also reveal isometries between its symmetry group and Archimedean solids.

References

  1. [1]
    24-Cell -- from Wolfram MathWorld
    The 24-cell has 24 vertices and 96 edges. It is one of the six regular polychora. The 24-cell is self-dual, and is the unique regular convex polychoron which ...
  2. [2]
    [PDF] Four-dimensional regular polytopes
    By definition, a transformation in Rn is a map 𝜙 : Rn → Rn with the property. ‖𝜙(𝑣) − 𝜙(𝑤)‖ = ‖𝑣 − 𝑤‖ for all 𝑣, 𝑤 ∈ Rn. Such maps are also called isometries.
  3. [3]
    Alicia Boole Stott, a geometer in higher dimension - ScienceDirect.com
    Four-dimensional polytopes were first discovered by the Swiss mathematician Ludwig Schläfli (1814–1895). Between 1850 and 1852, Schläfli developed a theory of ...
  4. [4]
    Some remarks on the algebraic structure of the finite Coxeter group F4
    The order of B3 is known to be 48 [4]. It is easy to see that the index of B3 in F4 is 24 and hence the order of F4 is 1152. 2. The structure of F4. We ...
  5. [5]
    24-cell in nLab
    Oct 10, 2021 · The finite rotation group inside O(4) which is the symmetry group of the 24-cell is the Coxeter group F4.
  6. [6]
    [PDF] Exceptional Objects - USF Scholarship Repository
    were discovered by Schlafli in 1852: the. 24-cell (bounded by 24 octahedra), 120-cell (bounded by 120 dodecahedra), and. 600-cell (bounded by 600 tetrahedra). 1 ...
  7. [7]
    [PDF] On the optimality of the ideal right-angled 24-cell - HAL
    Since Coxeter's work [3], the 24-cell is known for its nice combinatorial and geometric structure in the Euclidean sense. We demonstrate that it possesses ...
  8. [8]
    The Octaplex, Symmetry in Four-Dimensional Geometry and Art
    Coxeter. Two aspects of the regular 24-cell in four dimensions. John Wiley, Selected Writings of H.S.M. Coxeter (1995). Google Scholar. [21]. Malick Mousumi.
  9. [9]
    [PDF] Coxeter-Dynkin Diagram of F4
    Generators of a group F4 of order 1152. Coxeter-Dynkin Diagram of F4. F4 Type regular polytope. (regular 24 cell) in 4-dimensional space. (the image of a ...
  10. [10]
    Schläfli Symbol -- from Wolfram MathWorld
    A symbol of the form {p,q,r,...} used to describe regular polygons, polyhedra, and their higher-dimensional counterparts.Missing: explanation | Show results with:explanation
  11. [11]
    [PDF] Regular Polytopes in Higher Dimensions"
    vertex figure is given by (p3, ..., p, ). 3. The Three Classes of Regular Polytopes. As indicated in § 1, there are three classes of regular polytopes.
  12. [12]
    [PDF] Petrie-Coxeter Maps Revisited - arXiv
    Dec 7, 2005 · For exam- ple, from the 4-simplex {3, 3, 3} and 24-cell {3, 4, 3} in Euclidean 4-space E4 we derive. Coxeter's finite skew polyhedra {4, 6|3} ...
  13. [13]
    Polytopes - Dr Ron Knott
    ... 24-cell. Its Schlälfli symbol is {3,4,3}. It has 24 vertices, 96 edges and 96 triangular 2D "faces" and 24 3D octahedrons. 5.1 Coordinates. There are 24 ...
  14. [14]
    [PDF] Sum of four squares via the Hurwitz quaternions
    Sep 21, 2016 · O× is the vertex set of the 24-cell, a self-dual convex regular polytope in four dimensions which tessellates R4. • O is the F4 root lattice, ...
  15. [15]
    [PDF] A construction of magic 24-cells - arXiv
    However, full symmetry group of the 24-cell has order 1152. So If we disregard rotation and reflection, we found 64 magic 24-cell. 4. Conclusion.<|control11|><|separator|>
  16. [16]
    [PDF] On the optimality of the ideal right-angled 24-cell - HAL
    Nov 15, 2012 · The polytope C has 24 octahedral facets, 96 triangular faces, 96 edges and 24 cubical vertex figures. We shall show that it provides a solution ...
  17. [17]
    [PDF] 4D Polytopes and Their Dual Polytopes of the Coxeter Group ... - arXiv
    representing another 24-cell of edge length 1, dual to the root polytope. Hence the 24-cell is a self-dual polytope. When the vectors in (32) is represented ...
  18. [18]
    [PDF] arXiv:2009.09995v4 [math.GT] 11 Jun 2021
    Jun 11, 2021 · The 24-cell is self-dual, with 24 octahedral facets and 96 triangular faces. By interpreting the unit sphere in R4 as the boundary at ...<|control11|><|separator|>
  19. [19]
    Polychora - MPIFR Bonn
    The lengths of the sides are the chords of the dihedral angles of the cells. Just as each polyhedral cell is limited by at least 4 faces, 6 edges and 4 ...
  20. [20]
    Symmetries and the 24-cell - Greg Egan
    Dec 23, 2021 · The set of 24 quaternions comprising the vertices of the first 24-cell constructed this way is known as the binary tetrahedral group, while the ...
  21. [21]
    [PDF] The 24-Cell and Calabi-Yau Threefolds with Hodge Numbers (1,1)
    Unsurprisingly, it is self-mirror (h11 = h21) since the 24-cell is a self-dual polytope. All complex structure deformations of eX are represented by ...
  22. [22]
    The 24-Cell
    Jan 6, 2023 · The 24-cell is a regular 4D polytope bounded by 24 octahedra, 96 triangles, 96 edges, and 24 vertices. It is a unique object with interesting properties.
  23. [23]
    [PDF] COXETER GROUPS (Unfinished and comments are welcome)
    Their symmetry groups are the symmetric group Sn+1 and the hyperoctahedral group Hn respectively. In dimension n = 4 there are three additional regular ...
  24. [24]
    [PDF] Horoball packings related to hyperbolic $24 $ cell
    ... lines passing through a point ... It has 24 octahedral facets, 96 triangular faces, 96 edges and 24 cu- ... 24-cell is V ol(P24) = 4. 3 π2. The vertices of ...
  25. [25]
    [PDF] Convex polytopes and tilings with few flag orbits
    Apr 14, 2015 · In four dimensions, there are three additional one-orbit polytopes, for a total of six. These are the 24-cell, which consists of 24 octahedral ...
  26. [26]
    [PDF] matroid automorphisms of the root system f4 - Webbox
    F4 is the collection of 48 vectors in R4 normal to the. 24 mirror hyperplanes of the 24-cell, a 4-dimensional regular solid whose 24 facets are 3-dimensional ...
  27. [27]
    [PDF] 4D Polytopes and Their Dual Polytopes of the Coxeter Group ... - arXiv
    represents the symmetry of the snub 24-cell [7] of order 576. Similarly if ... The centers of the cells generated by these two groups upon the action on the.
  28. [28]
    From the Fibonacci Icosagrid to E8 (Part II) - MDPI
    The next is that the rotation should be isoclinic, since isoclinic rotations are so integral to the symmetries of the 600-cell and the 24-cell. This means the ...
  29. [29]
    [PDF] Symmetries of the Hypercube and the Hyperdiamond Using ...
    ... cell and the hyperdiamond or 24-cell. Symmetries that ... opposite vertices, these are the full lines ... opposite edges, these are the dotted lines ...<|control11|><|separator|>
  30. [30]
    None
    ### Summary of Symmetry Group of the 24-Cell
  31. [31]
    On quaternions and octonions - American Mathematical Society
    Jan 26, 2005 · ... rotational symmetry, respectively. As such, they naturally turn up ... 24-cell. There is much more to say in favor of the 24-cell. It ...
  32. [32]
    [2404.18794] Optimality and uniqueness of the $D_4$ root system
    Apr 29, 2024 · We prove that the D_4 root system (the set of vertices of the regular 24-cell) is the unique optimal kissing configuration in \mathbb R^4, and is an optimal ...
  33. [33]
    [PDF] Lecture 22 - F4 - Penn Math
    Apr 19, 2013 · It is worth noting that, by dualization in h∗, that the short roots also form a D4 system, so the F4 root system is two copies of the D4 system, ...Missing: doubled | Show results with:doubled
  34. [34]
    [PDF] arXiv:1410.0195v1 [math.CO] 1 Oct 2014
    Oct 1, 2014 · One is generated by the roots of height 3 in type D4, whereas the other is generated by the roots of height 4 in type F4. Theorem 1.2. A root ...
  35. [35]
    [PDF] Lifts for Voronoi cells of lattices - arXiv
    Jun 8, 2021 · For instance, the Voronoi cell of the root lattice D4 is the non-zonotopal 24-cell. Examples of classes of zonotopal lattices are Zd, the root ...
  36. [36]
    [PDF] Lattice Codes for Lattice-Based PKE - Cryptology ePrint Archive
    The denser lattice Λf is called the fine/coding lattice, and Λc is called the ... . Example: Consider the D4 lattice, whose lattice basis and its inverse are ...
  37. [37]
    [PDF] New Trellis Codes Based on Lattices and Cosets - Neil Sloane
    AMruct-A new technique is proposed for constructing trellis codes, which provides an alternative to Ungerboeck's method of “set partitioning.”.Missing: applications | Show results with:applications
  38. [38]
    regular honeycombs in hyperbolic space - Semantic Scholar
    Coxeter; Published 1956; Mathematics. made a study of honeycombs whose cells are equal regular polytopes in spaces of positive, zero, and negative curvature.
  39. [39]
    [PDF] arXiv:2407.07534v3 [math.AP] 16 Jul 2024
    Jul 16, 2024 · The 24–cell honeycomb in R4. In dimension N = 4, there exists a well known regular tessellation, which is the 24-cell honeycomb. The 24-cell ...
  40. [40]
    [PDF] Congruence Testing for Point Sets in 4 Dimensions - arXiv
    isoclinic rotations (Section 5), a left/right pair of great circles (Section ... F4 represents the reflectional symmetry group for a 24-cell and G4 is for a. 120- ...
  41. [41]
    (PDF) Horoball packings related to the 4-dimensional hyperbolic ...
    Horoball packings related to the 4-dimensional hyperbolic 24 cell honeycomb {3,4,3,4} ... Coxeter honeycomb ... regular polytopes. A honeycomb. with cells ...
  42. [42]
    Polychora | Michael Walczyk
    A wireframe render of the 8-cell is shown below. The reason why the inner cube appears smaller is because it is “further away” in the 4th dimension (the w-axis ...Missing: eight | Show results with:eight
  43. [43]
    Schlegel Polyhedra for Regular Polytopes - Brown Math
    In the Schlegel diagram of the self-dual 24-cell, the vertices are arranged in three nested polyhedra: a large octahedron corresponding to the face closest ...
  44. [44]
    Polychorons & Gosset polytope Part 4 - Stephen M. Phillips
    The 24-cell consists of 240 polytopes: 24 vertices; 96 edges; 96 triangles; 24 octahedral cells.
  45. [45]
    [PDF] Bounds for Symplectic Capacities of Rotated 4-Polytopes - eGrove
    By the commutativity of left- and right-isoclinic rotations, we also have the following which will allow us to reduce the dimension of our domain in SO(4).
  46. [46]
    (PDF) Conformal Villarceau Rotors - ResearchGate
    Apr 30, 2019 · We briefly derive their role in the Hopf fibration and as stereographic images of isoclinic rotations on a 3-sphere of the 4D Clifford torus. We ...
  47. [47]
    [PDF] Classifying Regular Polyhedra and Polytopes using Wythoff's ... - arXiv
    Dec 19, 2021 · This diagram corresponds to the 24-cell. b3 a b1 b2. Figure 6 ... Coxeter, Regular polytopes. New York: Dover Publications Inc., third ...
  48. [48]
    Regular polychoron compounds - MPIFR Bonn
    The identical edge arrangement implies that the 24-cell and Compound of three tesseracts share the same equatorial polyhedra, a set of 12 Cuboctahedra, which ...
  49. [49]
    [PDF] arXiv:math/9904028v1 [math.MG] 7 Apr 1999
    In all cases, we are interested in the corresponding ring of integers, these being the Hurwitzian ring J, the icosian ring I, and the cubian ring K. These are ...