Regular 4-polytope
A regular 4-polytope is a four-dimensional polytope bounded by a finite number of identical regular polyhedra (cells), with the same number of cells meeting at each vertex and edge, achieving the highest degree of symmetry among 4-polytopes.[1] These figures are the four-dimensional analogues of the Platonic solids, where all elements—vertices, edges, faces, and cells—are equivalent under the polytope's symmetry group.[2] Unlike in three dimensions, where only five regular polyhedra exist, or in higher dimensions beyond four, where only three types persist (simplex, hypercube, and cross-polytope), four dimensions uniquely support sixteen regular 4-polytopes: six convex and ten star (non-convex).[2][3][4] The six convex regular 4-polytopes are denoted by a Schläfli symbol {p, q, r}, where {p, q} describes the type of the cell (a regular polyhedron {p, q}), and r indicates the number of cells meeting at each edge.[1] They are summarized in the following table: These polytopes were classified by H.S.M. Coxeter, building on earlier work by Ludwig Schläfli, and their existence is constrained by the dihedral angles of their constituent polyhedra allowing them to fit around edges without gaps or overlaps in four-dimensional Euclidean space.[1][4] Regular 4-polytopes exhibit remarkable symmetry groups, which are finite subgroups of the orthogonal group O(4), and they play a central role in geometry, group theory, and even theoretical physics, such as in models of higher-dimensional space.[2] Visualizing them requires projections into lower dimensions, often revealing intricate skeletal structures or net diagrams, but their full structure is best understood through coordinates or combinatorial descriptions.[4] Among the convex ones, the 24-cell is self-dual, meaning it is isomorphic to its dual polytope, a property shared only with the tetrahedron and octahedron in lower dimensions.[1]Fundamentals
Definition
A regular 4-polytope is a four-dimensional polytope that extends the notion of regularity from lower dimensions, where regular polygons in two dimensions and Platonic solids in three dimensions exhibit maximal symmetry through congruent regular faces meeting uniformly at vertices. In four dimensions, this regularity manifests through cells that are congruent regular 3-polytopes (such as tetrahedra or cubes), with all lower-dimensional elements—faces as regular polygons—arranged symmetrically.[5] Formally, a regular 4-polytope is a polytope whose symmetry group acts transitively on its flags, ensuring that the isometry group maps any flag (a maximal chain of nested faces: vertex contained in edge contained in face contained in cell contained in the 4-polytope) to any other flag. This transitivity implies that all vertices are equivalent, all edges are congruent, all faces are congruent regular polygons, and all cells are congruent regular 3-polytopes. The vertex figure at each vertex, formed by connecting the adjacent vertices, is itself a regular 3-polytope, and all edge lengths are equal with uniform dihedral angles between adjacent cells.[5][6] The structural elements of a regular 4-polytope consist of vertices (0-dimensional faces), edges (1-dimensional faces), faces (2-dimensional polygonal facets), cells (3-dimensional polyhedral facets), and the bounding 4-dimensional hypervolume. This hierarchical composition parallels the facets, ridges, and faces of 3-dimensional polyhedra, emphasizing the uniform symmetry across dimensions.[5]Classification
Regular 4-polytopes are classified into two main categories: convex and star (non-convex), totaling 16 in number, with 6 convex regular 4-polytopes and 10 regular star 4-polytopes known as the Schläfli–Hess polytopes.[7] The classification is based on convexity, where convex regular 4-polytopes have all elements (cells, faces, etc.) as convex polytopes, while star ones exhibit self-intersections with a density greater than 1, indicating how the structure winds around itself and intersects.[8] This complete enumeration was systematized by H.S.M. Coxeter, building on earlier work.[5] The convex regular 4-polytopes, discovered by Ludwig Schläfli, include the 5-cell or pentachoron {3,3,3}, which is bounded by 5 tetrahedral cells.[7] The tesseract or 8-cell {4,3,3} consists of 8 cubic cells.[5] The 16-cell or hexadecachoron {3,3,4} has 16 tetrahedral cells.[5] The 24-cell or icositetrachoron {3,4,3} is composed of 24 octahedral cells.[5] The 120-cell or hecatonicosachoron {5,3,3} features 120 dodecahedral cells.[5] Finally, the 600-cell or hexacosichoron {3,3,5} is made up of 600 tetrahedral cells.[5] The 10 Schläfli–Hess regular star 4-polytopes are non-convex and self-intersecting, with their discovery completed by Edmund Hess in 1883 following Schläfli's initial four; they share vertex sets with the convex 120-cell or 600-cell but feature star polyhedron cells.[7] These include the small stellated 120-cell {5/2,5,3}, bounded by 120 small stellated dodecahedra; the icosahedral 120-cell {3,5,5/2}, with 120 icosahedra; the great 120-cell {5,5/2,5}, composed of 120 great dodecahedra; the grand 120-cell {5,3,5/2}, featuring 120 dodecahedra; the great stellated 120-cell {5/2,3,5}, with 120 great stellated dodecahedra; the grand stellated 120-cell {5/2,5,5/2}, bounded by 120 small stellated dodecahedra; the great icosahedral 120-cell {3,5/2,5}, composed of 120 great icosahedra; the great grand 120-cell {5,5/2,3}, with 120 great dodecahedra; the great grand stellated 120-cell {5/2,3,3}, featuring 120 great stellated dodecahedra; and the grand 600-cell {3,3,5/2}, bounded by 600 tetrahedra.[5]Historical Development
Early Foundations
The study of regular 4-polytopes traces its conceptual roots to the ancient Greek exploration of regular polyhedra, known as Platonic solids, which served as the foundational models for symmetry in three-dimensional space. These five convex regular polyhedra—the tetrahedron, cube, octahedron, dodecahedron, and icosahedron—were systematically described by Euclid in his Elements around 300 BCE, establishing criteria for regularity based on equal faces, edges, and vertex figures. This framework of uniform geometric figures provided the inspiration for later extensions to higher dimensions, where analogous structures would maintain similar symmetry properties. During the Renaissance, mathematicians began to expand on these ideas, drawing implicit analogies to higher-dimensional forms through their work on polyhedra. In 1619, Johannes Kepler, in his Harmonices Mundi, described two regular star polyhedra—the small stellated dodecahedron and great dodecahedron—alongside the Platonic solids, demonstrating that regularity could encompass non-convex forms while preserving uniform symmetry. Kepler's analysis of these figures, rooted in his pursuit of cosmic harmony, highlighted the potential for more complex regular structures, foreshadowing the generalization to four dimensions without explicit construction.[9] The 19th century marked a pivotal shift toward rigorous higher-dimensional geometry, building on emerging algebraic and vectorial tools. In 1844, Hermann Grassmann published Die lineale Ausdehnungslehre, introducing an extension theory that formalized line geometry and laid the foundations for vector spaces, enabling the manipulation of geometric objects in arbitrary dimensions through linear combinations and independence concepts. This work provided essential algebraic machinery for describing polytopes beyond three dimensions. Around the same time, in the 1840s, Arthur Cayley contributed early explorations of higher-dimensional analogs in papers such as his 1843 work on determinants, extending two-dimensional concepts to multidimensional arrays and influencing the development of n-dimensional spaces.[10][11] A landmark advancement came in 1852 when Ludwig Schläfli introduced the systematic study of n-dimensional polytopes in his manuscript Theorie der vielfachen Kontinuität, defining them as higher analogs of polyhedra and classifying regular 4-polytopes using inductive symbols that encode their facet and vertex-figure structures. Schläfli identified six convex regular 4-polytopes, proving their existence through these symbols while showing that only three regular polytopes persist in dimensions five and higher. Complementing this, Bernhard Riemann's 1854 habilitation lecture, "Über die Hypothesen welche der Geometrie zu Grunde liegen," generalized geometry to n-dimensional manifolds with intrinsic metrics, challenging Euclidean assumptions and providing a non-Euclidean framework that influenced conceptualizations of 4D space by decoupling dimensionality from physical intuition.[12][13]19th and 20th Century Advances
In the late 19th century, significant progress was made in enumerating and constructing regular 4-polytopes. William I. Stringham's 1880 paper provided an intuitive proof for the existence of exactly six convex regular 4-polytopes, along with explicit coordinate-based constructions for each, building on earlier n-dimensional generalizations by Arthur Cayley and others. This work confirmed the analogy to the five Platonic solids in three dimensions, establishing a firm count without relying on exhaustive case analysis. Shortly thereafter, Pieter H. Schoute advanced the field through visualizations in his two-volume treatise Mehrdimensionale Geometrie (1902–1905), where he employed orthographic projections to depict sections and shadows of regular 4-polytopes in three-dimensional space, facilitating intuitive comprehension of their structure.[14] The early 20th century saw extensions of star polyhedra concepts to four dimensions. Edmund Hess's investigations into stellations of the icosahedron and dodecahedron from 1876 to 1892, including the enumeration of the 59 stellations of the icosahedron, inspired higher-dimensional analogs. Ludwig Schläfli, who had introduced Schläfli symbols in 1852 for describing regular polytopes including stars, extended these ideas to 4D, identifying four nonconvex examples. In 1883, Edmund Hess completed the enumeration by describing the remaining six regular star 4-polytopes.[15] H.S.M. Coxeter's early essay "Dimensional Analogy" (1923), written at age 16, initiated his lifelong study of the subject and explored symmetries of regular 4-polytopes, with rigorous classifications and comprehensive analysis appearing in his later works, including the 1948 book Regular Polytopes.[16] Mid-20th-century developments solidified the theoretical foundations. Coxeter's seminal book Regular Polytopes (first published 1948, with expanded editions in 1963 and 1973) standardized notation, including Schläfli symbols and Wythoff constructions, and provided comprehensive proofs of their geometric properties and symmetry groups. In the 1970s, Peter McMullen employed computational methods to verify the densities of these polytopes, particularly for the star varieties, confirming Coxeter's analytical predictions and resolving longstanding questions about their topological winding numbers.[17] Parallel to these mathematical advances, Hermann Minkowski's 1908 formulation of four-dimensional spacetime in special relativity spurred broader interest in 4D geometry, though it did not directly address the regularity conditions of polytopes. This physical context encouraged interdisciplinary exploration of higher-dimensional structures, indirectly supporting the geometric rigor applied to regular 4-polytopes.Construction Methods
Schläfli Symbols
The Schläfli symbol provides a compact notation for denoting regular polytopes, including those in four dimensions, by recursively specifying the structure of their faces and how they meet at higher-dimensional elements. For a regular 4-polytope, the symbol takes the form {p, q, r}, where {p} denotes the type of the regular polygonal faces (a regular p-gon), the cells (3-dimensional elements) are regular polyhedra of type {p, q} (with q such faces meeting at each edge of a cell), and the vertex figures (the 3-dimensional polytopes formed by connecting neighboring vertices) are of type {q, r} (with r cells meeting at each edge of the polytope). This recursive construction builds from lower-dimensional regular figures, ensuring the entire structure is uniform and regular.[18][19] Examples illustrate how the symbol encodes this regularity. The 5-cell, or pentachoron, has Schläfli symbol {3,3,3}, featuring triangular faces {3}, tetrahedral cells {3,3}, and tetrahedral vertex figures with three cells around each edge. The tesseract, or 8-cell, is denoted {4,3,3}, with square faces {4}, cubic cells {4,3}, and tetrahedral vertex figures. The 600-cell has symbol {3,3,5}, with triangular faces, tetrahedral cells, and icosahedral {3,5} vertex figures, where five cells meet at each edge. These symbols capture the combinatorial and geometric uniformity inherent to regular 4-polytopes.[18] For convex regular 4-polytopes, the parameters must satisfy p, q, r \geq 3 and \frac{1}{p} + \frac{1}{q} + \frac{1}{r} > \frac{1}{2}, ensuring the structure is finite and bounded in four-dimensional Euclidean space; equality yields infinite honeycombs, while the inequality in the opposite direction produces hyperbolic tilings. The notation extends to non-convex regular star 4-polytopes using fractional entries to represent density and stellations, such as { \frac{5}{2}, 5, 3 } for the small stellated 120-cell, whose cells are small stellated dodecahedra with dodecahedral vertex figures.[19][5] This symbolic system was introduced by Ludwig Schläfli in his 1852 treatise Theorie der vielfachen Kontinuität, where he first described regular polytopes in arbitrary dimensions.[12]Recursive Construction
The recursive construction of regular 4-polytopes builds upon lower-dimensional regular polytopes in a hierarchical manner, using the Schläfli symbol {p, q, r} to specify the assembly process. It begins with a regular 2D face in the form of a {p}-gon, such as an equilateral triangle for p=3 or a square for p=4. These faces are then used to form the regular 3D cell {p, q} by arranging q faces around each vertex, ensuring the vertex figure—a regular q-gon—fits without overlap, as in the tetrahedron {3, 3} or cube {4, 3}. To extend to the 4D polytope {p, q, r}, r such 3D cells are assembled around each edge of the cell, creating a uniform tiling where the edge figure is a regular r-gon. This step requires the dihedral angle φ of the 3D cell {p, q} to satisfy r φ < 2π to ensure convexity and prevent gaps or overlaps in the 4D space.[20] The validity of this construction for convex regular 4-polytopes is limited to specific integer values of p, q, r ≥ 3 that meet the angular condition, resulting in only six such polytopes in Euclidean 4-space. The dihedral angle φ of the cell {p, q} determines how many cells can fit around an edge; for instance, the cube {4, 3} has φ = 90° (π/2 radians), allowing up to three cubes per edge since 3 × 90° = 270° < 360°. Similarly, the regular octahedron {3, 4} has φ ≈ 109.47°, also permitting three per edge. These constraints ensure the overall structure remains bounded and convex, as derived from the geometric properties of the component polytopes.[20][3] A key metric in this construction is the vertex density, defined as the number of 3D cells meeting at each vertex of the 4-polytope. This is determined by the vertex figure, which is itself a regular 3D polyhedron {q, r}, and equals the number of faces of {q, r}. For a regular polyhedron {q, r}, this number is given by the formula F = \frac{4r}{2q + 2r - qr}, derived from Euler's formula and the regularity conditions, though explicit computation varies by case. In the recursive assembly, this density reflects how the cells surround the vertex uniformly, maintaining the polytope's symmetry.[18] Representative examples illustrate the process. The tesseract, or 4-cube {4, 3, 3}, uses cubic cells {4, 3} with three cubes meeting around each edge; at each vertex, four cubes converge, corresponding to the 4 faces of its vertex figure, the tetrahedron {3, 3}. The 24-cell {3, 4, 3} employs regular octahedral cells {3, 4}, uniquely self-dual among convex 4-polytopes, with three octahedra around each edge and six at each vertex, filling space densely yet boundedly due to the octahedral dihedral angle. These constructions highlight how the recursive stacking preserves regularity across dimensions.[21][22][20] While the primary focus remains on regular 4-polytopes via Schläfli symbols, the related Wythoff symbol | r q p briefly extends to uniform variants by specifying the vertex figure placement, but such details pertain more to non-regular cases.[18]Convex Regular 4-Polytopes
Enumeration and Descriptions
There are six convex regular 4-polytopes, which are the finite regular figures in four-dimensional Euclidean space bounded by regular polyhedral cells. These polytopes, analogous to the five Platonic solids in three dimensions, include the 5-cell, tesseract, 16-cell, 24-cell, 120-cell, and 600-cell, each characterized by a Schläfli symbol denoting the regularity of their facets, vertex figures, and cells.[3][5] All six can be realized with vertices in Euclidean 4-space, with their structures determined by the condition that two cells meet at each face and four edges meet at each vertex.[5] The following table enumerates these polytopes by name, Schläfli symbol, and counts of vertices, edges, faces, and cells (3-dimensional elements), along with the type of regular polyhedron serving as each cell.| Polychoron | Schläfli symbol | Vertices | Edges | Faces | Cells | Cell type |
|---|---|---|---|---|---|---|
| 5-cell | {3,3,3} | 5 | 10 | 10 | 5 | tetrahedron |
| Tesseract | {4,3,3} | 16 | 32 | 24 | 8 | cube |
| 16-cell | {3,3,4} | 8 | 24 | 32 | 16 | tetrahedron |
| 24-cell | {3,4,3} | 24 | 96 | 96 | 24 | octahedron |
| 120-cell | {5,3,3} | 600 | 1200 | 720 | 120 | dodecahedron |
| 600-cell | {3,3,5} | 120 | 720 | 1200 | 600 | tetrahedron |
Geometric Properties
Convex regular 4-polytopes are bounded figures with no self-intersections and density 1, meaning their interiors do not overlap and they fill space without gaps or overlaps when tiled appropriately. A defining geometric property is the dihedral angle, the angle between two adjacent 3D cells meeting at a 2D face. These angles, derived from the underlying Coxeter-Dynkin diagrams and symmetry groups, must allow an integer number of cells to fit around each edge without exceeding 360° for the figures to close up in four dimensions. The dihedral angles for the six convex regular 4-polytopes are given below.[27][28]| Polychoron | Schläfli symbol | Dihedral angle |
|---|---|---|
| 5-cell | {3,3,3} | \arccos\left(\frac{1}{4}\right) \approx 75.52^\circ |
| Tesseract | {4,3,3} | $90^\circ |
| 16-cell | {3,3,4} | $120^\circ |
| 24-cell | {3,4,3} | $120^\circ |
| 120-cell | {5,3,3} | \arccos\left(-\frac{1 + \sqrt{5}}{4}\right) \approx 144^\circ |
| 600-cell | {3,3,5} | \arccos\left(-\frac{1 + 3\sqrt{5}}{8}\right) \approx 164.48^\circ |
Coordinate Representations
The convex regular 4-polytopes admit explicit vertex coordinates in 4-dimensional Euclidean space, centered at the origin. These representations facilitate the study of their geometric properties and symmetry groups. For the 5-cell and the icosahedral polytopes (120-cell and 600-cell), the coordinates involve irrational numbers arising from their construction, while the cubic polytopes (16-cell, tesseract, and 24-cell) use permutations and sign variations of rational vectors. The golden ratio φ = (1 + √5)/2 ≈ 1.618 is essential for the icosahedral cases, reflecting the underlying H_4 symmetry. Normalization is chosen such that the edge length is √2 for most cases, with a derivation sketch provided for the 5-cell below; alternative scalings to edge length 1 are obtained by dividing all coordinates by √2.[5] For the 5-cell, the vertices are constructed by extending a regular tetrahedron into the fourth dimension. Begin with a regular tetrahedron in the first three coordinates, centered at the origin, with edge length √2 and vertices at \left( \frac{1}{2}, \frac{1}{2}, \frac{1}{2} \right), \left( \frac{1}{2}, -\frac{1}{2}, -\frac{1}{2} \right), \left( -\frac{1}{2}, \frac{1}{2}, -\frac{1}{2} \right), \left( -\frac{1}{2}, -\frac{1}{2}, \frac{1}{2} \right). This tetrahedron has circumradius R = \sqrt{3}/2. The height h from the fourth vertex to the hyperplane of the tetrahedron is given by h = \sqrt{2 - R^2} = \sqrt{5}/2, ensuring the uncentered distance to each tetrahedron vertex is √2. To center the full 5-cell at the origin, shift the fourth coordinate of the tetrahedron vertices to -h/5 = -\sqrt{5}/10 and the fifth vertex (at the origin in the first three coordinates) to 4h/5 = 2\sqrt{5}/5 in the fourth coordinate. The resulting vertices are: \left( \frac{1}{2}, \frac{1}{2}, \frac{1}{2}, -\frac{\sqrt{5}}{10} \right), \left( \frac{1}{2}, -\frac{1}{2}, -\frac{1}{2}, -\frac{\sqrt{5}}{10} \right), \left( -\frac{1}{2}, \frac{1}{2}, -\frac{1}{2}, -\frac{\sqrt{5}}{10} \right), \left( -\frac{1}{2}, -\frac{1}{2}, \frac{1}{2}, -\frac{\sqrt{5}}{10} \right), \left( 0, 0, 0, \frac{2\sqrt{5}}{5} \right). This yields edge length √2, as the relative distances are preserved under centering.[5] The 16-cell (or 4-orthoplex) has 8 vertices given by all permutations of (±1, 0, 0, 0), with edge length √2.[5] The tesseract (or 4-cube) has 16 vertices given by all combinations of (±1, ±1, ±1, ±1)/2, with edge length 1 (scale by √2 for edge length √2).[5] The 24-cell has 24 vertices consisting of all permutations of (±1, 0, 0, 0) (8 points) and all combinations of (±1/2, ±1/2, ±1/2, ±1/2) (16 points), with edge length 1 (scale by √2 for edge length √2). The edges connect vertices from different sets at distance 1.[5] The 600-cell has 120 vertices divided into three orbits under the H_4 symmetry group: 8 points from permutations of (±1, 0, 0, 0); 16 points from all sign combinations of (1/2, 1/2, 1/2, 1/2); and 96 points from all even permutations of (0, ±1/2, ±φ/2, ±φ^{-1}/2) with independent signs on the nonzero coordinates, where φ^{-1} = φ - 1 = (√5 - 1)/2. This configuration yields edge length 1 (scale by √2 for edge length √2).[29] The 120-cell has 600 vertices given by four orbits involving the golden ratio: 24 points from all permutations of (±1, ±1, 0, 0); 96 points from even permutations of (0, ±φ^{-2}, ±φ^{-1}, ±1) with signs; 96 points from even permutations of (±φ^{-1}, ±1, ±φ, 0) with signs; and 384 points from (±1/2, ±1/2, ±φ/2, ±φ/2) and similar forms with even permutations and signs. The scaling is chosen for edge length 1 (scale by √2 for edge length √2); the exact combinations ensure uniformity under the symmetry group.[5]Visualization Approaches
Visualizing regular 4-polytopes necessitates projecting their four-dimensional geometry into three-dimensional or two-dimensional spaces to facilitate human perception. Early systematic studies of such projections were conducted by Pieter H. Schoute, who in his 1905 monograph detailed orthographic and perspective methods for rendering regular polytopes. Orthographic projections parallel-project the 4-polytope onto a 3D hyperplane, preserving parallelism and edge lengths in certain directions, which highlights symmetrical properties without distortion from depth. In contrast, perspective projections simulate a viewpoint from a finite distance, converging parallel lines and creating a sense of depth, though they can introduce foreshortening that complicates symmetry analysis.[30] Stereographic projection offers an alternative by mapping the 4-polytope from a hypersphere in 4D Euclidean space onto a 3D hyperplane, preserving angles locally and providing a conformal representation suitable for exploring curved or spherical embeddings of these figures. This method, analogous to 3D-to-2D stereographic mapping for polyhedra, avoids singularities except at the projection pole and is particularly effective for visualizing the overall topology. For instance, applying it to the 120-cell yields intricate 3D surfaces that unfold the polytope's dodecahedral cells without severe overlap.[31] To bridge the dimensional gap, 3D net analogies unfold the polytope's 3D cells into Euclidean 3-space, similar to how 2D nets unfold polyhedral faces into a plane; these arrangements display the connectivity of cells without intersection when possible. Cross-sections, or 3D slices through the 4-polytope by a hyperplane, further aid comprehension by revealing regular 3D polyhedra—for example, equatorial sections of the 24-cell yield octahedra, while varying the slice orientation can produce cubes or other Platonic solids, illustrating the polytope's layered structure.[28] Two-dimensional projections simplify these forms into planar diagrams, often as vertex-edge graphs or outlines of projected faces, emphasizing skeletal structure over volume. A representative example is the orthographic projection of the tesseract (4D hypercube), which appears as a smaller cube nested within a larger cube connected by edges, capturing the eight cubic cells in a shadowed, cubic-like silhouette when viewed along a principal axis. Historical efforts included wireframe physical models constructed by D. M. Y. Sommerville around 1912, using rods to represent edges and vertices for tangible 3D approximations of 4D symmetries.[32] Modern computational tools have advanced these approaches, particularly through virtual reality (VR) and augmented reality (AR) systems that enable real-time 4D rotations and interactions. Post-2000 developments, such as the 4D Toys software released in 2017, simulate 4D physics in VR environments, allowing users to manipulate regular 4-polytopes like the 16-cell or 600-cell by "slicing" or rotating in the fourth dimension, providing intuitive access to their dynamic behavior beyond static projections.[33]Regular Star 4-Polytopes
Enumeration and Naming
The regular star 4-polytopes, known as the Schläfli–Hess polychora, comprise a complete set of 10 figures enumerated by H. S. M. Coxeter through systematic faceting of the convex 600-cell and 120-cell.[34] These polytopes are all realized within four-dimensional Euclidean space, with no further regular star 4-polytopes possible in this geometry.[34] Naming conventions for these polytopes, as standardized by Coxeter, employ Schläfli symbols incorporating density fractions (e.g., {5/2,5,3} for the small stellated 120-cell) to denote the starring process, alongside descriptive terms evoking their structural relation to convex counterparts, such as the stellated icosidodecahedral 120-cell.[34] Density values further distinguish them, quantifying the winding of their cells; for instance, the icosahedral 120-cell exhibits density 4, reflecting moderate self-intersection.[34] The cells of these star 4-polytopes are themselves regular star polyhedra, including types like the great stellated dodecahedron {5/2,3}.[34] Nine arise from faceting the 120-cell {5,3,3}, while one derives from the 600-cell {3,3,5}.[34]| Name | Schläfli Symbol | Cells (Type and Count) | Density |
|---|---|---|---|
| Icosahedral 120-cell | {3,5,5/2} | 120 icosahedra {3,5} | 4 |
| Small stellated 120-cell | {5/2,5,3} | 120 small stellated dodecahedra {5/2,5} | 6 |
| Great 120-cell | {5,5/2,5} | 120 great dodecahedra {5,5/2} | 19 |
| Grand 120-cell | {5,3,5/2} | 120 dodecahedra {5,3} | 20 |
| Great icosahedral 120-cell | {3,5/2,5} | 120 great icosahedra {3,5/2} | 59 |
| Grand stellated 120-cell | {5/2,5,5/2} | 120 small stellated dodecahedra {5/2,5} | 66 |
| Great stellated 120-cell | {5/2,3,5} | 120 great stellated dodecahedra {5/2,3} | 76 |
| Great grand 120-cell | {5,5/2,3} | 120 great dodecahedra {5,5/2} | 191 |
| Grand 600-cell | {3,3,5/2} | 600 tetrahedra {3,3} | 25 |
| Great grand stellated 120-cell | {5/2,3,5/2} | 120 great stellated dodecahedra {5/2,3} | 451 |