120-cell

From Wikiversity
Jump to navigation Jump to search
120-cell
Schlegel wireframe 120-cell.png
Schlegel diagram
(vertices and edges)
TypeConvex regular 4-polytope
Schläfli symbol{5,3,3}
Coxeter diagramCDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
Cells120 {5,3} Dodecahedron.png
Faces720 {5} Regular pentagon.svg
Edges1200
Vertices600
Vertex figure120-cell verf.png
tetrahedron
Petrie polygon30-gon
Coxeter groupH4, [3,3,5]
Dual600-cell
Propertiesconvex, isogonal, isotoxal, isohedral

In geometry, the 120-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol {5,3,3}. It is also called a C120, dodecaplex (short for "dodecahedral complex"), hyperdodecahedron, polydodecahedron, hecatonicosachoron, dodecacontachoron[1] and hecatonicosahedroid.[2]

The boundary of the 120-cell is composed of 120 dodecahedral cells with 4 meeting at each vertex. Together they form 720 pentagonal faces, 1200 edges, and 600 vertices. It is the 4-dimensional analogue of the regular dodecahedron, since just as a dodecahedron has 12 pentagonal facets, with 3 around each vertex, the dodecaplex has 120 dodecahedral facets, with 3 around each edge.[a] Its dual polytope is the 600-cell.

Geometry[edit | edit source]

The 120-cell is the sixth in the sequence of 6 convex regular 4-polytopes (in order of size and complexity).[b] It can be deconstructed into ten overlapping instances of its immediate predecessor (and dual) the 600-cell,[c] just as the 600-cell can be deconstructed into twenty-five overlapping instances of its immediate predecessor the 24-cell, the 24-cell can be deconstructed into three overlapping instances of its predecessor the 8-cell (tesseract), and the 8-cell can be deconstructed into two overlapping instances of its predecessor the 16-cell.[4]

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 600-cell's edge length is ~0.618 times its radius (the inverse golden ratio), but the 120-cell's edge length is ~0.270 times its radius.

Regular convex 4-polytopes
Symmetry group A4 B4 F4 H4
Name 5-cell


Hyper-
tetrahedron

16-cell


Hyper-
octahedron

8-cell


Hyper-
cube

24-cell 600-cell


Hyper-
icosahedron

120-cell


Hyper-
dodecahedron

Schläfli symbol {3, 3, 3} {3, 3, 4} {4, 3, 3} {3, 4, 3} {3, 3, 5} {5, 3, 3}
Coxeter diagram CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
Graph 4-simplex t0.svg 4-cube t3.svg 4-cube t0.svg 24-cell t0 F4.svg 600-cell graph H4.svg 120-cell graph H4.svg
Vertices 5 8 16 24 120 600
Edges 10 24 32 96 720 1200
Faces 10
triangles
32
triangles
24
squares
96
triangles
1200
triangles
720
pentagons
Cells 5
tetrahedra
16
tetrahedra
8
cubes
24
octahedra
600
tetrahedra
120
dodecahedra
Cartesian[d]
coordinates
( 1, 0, 0, 0)
(−1/4, 5/4, 5/4, 5/4)
(−1/4, 5/4,−5/4,−5/4)
(−1/4,−5/4, 5/4,−5/4)
(−1/4,−5/4,−5/4, 5/4)
({±1, 0, 0, 0}) 1/2, ±1/2, ±1/2, ±1/2) ({±1, 0, 0, 0})
1/2, ±1/2, ±1/2, ±1/2)
({±1, 0, 0, 0})
1/2, ±1/2, ±1/2, ±1/2)
([±φ/2, ±1/2, ±φ−1/2, 0])
Hopf[i]
coordinates
({<2}𝜋, {<30}𝜋/60, {<2}𝜋)120 ({<4}𝜋/2, {≤1}𝜋/2, {<4}𝜋/2)4 ({1 3 5 7}𝜋/4, 𝜋/4, {1 3 5 7}𝜋/4)1 ({<6}𝜋/3, {≤3}𝜋/6, ({<6}𝜋/3)6 ({<10}𝜋/5, {≤5}𝜋/10, ({<10}𝜋/5)5 ({<10}𝜋/5, {≤5}𝜋/10, {<10}𝜋/5)1
Long radius[b] 1 1 1 1 1 1
Edge length 5/2 ≈ 1.581 2 ≈ 1.414 1 1 1/ϕ ≈ 0.618 1/2ϕ2 ≈ 0.270
Short radius 1/4 1/2 1/2 2/2 ≈ 0.707 1 - (2/23φ)2 ≈ 0.936 1 - (1/23φ)2 ≈ 0.968
Area 10•8/3 ≈ 9.428 32•3/4 ≈ 13.856 24 96•3/8 ≈ 20.785 1200•3/2 ≈ 99.238 720•25+105/4 ≈ 621.9
Volume 5•55/24 ≈ 2.329 16•1/3 ≈ 5.333 8 24•2/3 ≈ 11.314 600•1/38φ3 ≈ 16.693 120•2 + φ/28φ3 ≈ 18.118
4-Content 5/24•(5/2)4 ≈ 0.146 2/3 ≈ 0.667 1 2 Short∙Vol/4 ≈ 3.907 Short∙Vol/4 ≈ 4.385

Coordinates[edit | edit source]

The natural Cartesian coordinates of a 4-polytope centered at the origin of 4-space occur in different frames of reference, depending on the long radius (center-to-vertex) chosen.

8 radius Cartesian coordinates[edit | edit source]

The 120-cell with long radius 8 = 22 ≈ 2.828 has edge length 2/φ2 = 3−5 ≈ 0.764.

In this frame of reference, its 600 vertex coordinates are the {permutations} and [even permutations] of the following:[5]

({0, 0, ±2, ±2}) 24-point 24-cell 600-point 120-cell
({±1, ±1, ±1, ±5})
({±φ−2, ±φ, ±φ, ±φ})
({±φ−1, ±φ−1, ±φ−1, ±φ2})
([0, ±φ−2, ±1, ±φ2])
([0, ±φ−1, ±φ, ±5])
([±φ−1, ±1, ±φ, ±2])

where φ (also called τ) is the golden ratio, 1 + 5/2 ≈ 1.618.

Unit radius Cartesian coordinates[edit | edit source]

The unit-radius 120-cell has edge length 1/2φ2 ≈ 0.270.

In this frame of reference the 120-cell lies vertex up, and its coordinates are the {permutations} and [even permutations] in the left column below:

({±1, 0, 0, 0}) 8-point 16-cell 24-point 24-cell 120-point 600-cell 600-point 120-cell
({±1/2, ±1/2, ±1/2, ±1/2}) 16-point tesseract
([±φ/2, ±1/2, ±φ−1/2, 0]) 96-point snub 24-cell
({±1/2, ±1/2, 0, 0})

({±φ−1/8, ±φ−1/8, ±φ−1/8, ±φ−1/8})

({±1/8, ±1/8, ±1/8, ±5/8})

5-point 5-cell:

({1, 0, 0, 0})

({−1/4, 5/4, 5/4, 5/4})

({−1/4, −5/4, −5/4, 5/4})

({−1/4, −5/4, 5/4, −5/4})

({−1/4, 5/4, −5/4, −5/4})

({±1/2, ±1/2, 0, 0}) ({±1, 0, 0, 0})

({±1/2, ±1/2, ±1/2, ±1/2})

([±φ/2, ±1/2, ±φ−1/2, 0])

The unit-radius coordinates of the 600 vertices of the 120-cell (in the left column above) are obtained by multiplying all possible quaternion products[6] of the 5 vertices of the 5-cell, the 24 vertices of the 24-cell, and the 120 vertices of the 600-cell (in the middle three columns above).[j]

Hopf spherical coordinates[edit | edit source]

[8]

Structure[edit | edit source]

Vertex adjacency[edit | edit source]

Considering the adjacency matrix of the vertices representing its polyhedral graph, the graph diameter connecting each vertex to its coordinate-negation is 15, and there are 24 different paths to connect them along the polytope edges. From each vertex, there are 4 vertices at distance 1, 12 at distance 2, 24 at distance 3, 36 at distance 4, 52 at distance 5, 68 at distance 6, 76 at distance 7, 78 at distance 8, 72 at distance 9, 64 at distance 10, 56 at distance 11, 40 at distance 12, 12 at distance 13, 4 at distance 14, and 1 at distance 15. The adjacency matrix has 27 distinct unit-radius eigenvalues (chord lengths) ranging from 1/2φ2 ≈ 0.270 with a multiplicity of 4, to 2 with a multiplicity of 1. The multiplicity of eigenvalue 0 is 18, and the rank of the adjacency matrix is 582.

Cell clusters[edit | edit source]

Polyhedral sections beginning with a cell.[9]

Geodesics[edit | edit source]

..

The 1200 25/8 ≈ 1.581 chords are the edges of the 120 disjoint 5-cells inscribed in the 120-cell.

..

The 4 chords occur as 300 long diameters (675 sets of 4 orthogonal axes, with each axis occurring in 9 sets),[k] the 600 long radii of the 120-cell. The 4 chords join opposite vertices which are five 0.𝚫 chords apart on a geodesic great circle. There are 10 distinct but overlapping sets of 60 diameters, each comprising one of the 10 inscribed 600-cells.[c]

The sum of the squared lengths[l] of all these distinct chords of the 120-cell is 360,000 = 6002.[m]

Constructions[edit | edit source]

The 120-cell incorporates the geometries of every convex regular polytope in the first four dimensions (except the polygons {7} and above). As the sixth and last convex regular 4-polytope,[b] it contains inscribed instances of its four predecessors (recursively). It also contains inscribed instances of the first in the sequence, the 5-cell, which is not found in any of its other successors.[12]

Dual 600-cells[edit | edit source]

Five tetrahedra inscribed in a dodecahedron. Five opposing tetrahedra (not shown) can also be inscribed.

Since the 120-cell is the dual of the 600-cell, it can be constructed from the 600-cell by placing its 600 vertices at the center of volume of each of the 600 tetrahedral cells. From a 600-cell of unit long radius, this results in a 120-cell of slightly smaller long radius (φ2/8 ≈ 0.926) and edge length of exactly 1/4. Thus the unit-edge-length 120-cell (with long radius 2φ2 ≈ 3.702) can be constructed in this manner just inside a 600-cell of long radius 4.

One of the five distinct cubes inscribed in the dodecahedron (dashed lines). Two opposing tetrahedra (not shown) lie inscribed in each cube, so ten distinct tetrahedra (one from each 600-cell in the 120-cell) are inscribed in the dodecahedron.[n]

Reciprocally, the 120-cell whose coordinates are given above of edge length 2/φ2 = 3−5 ≈ 0.764 and long radius 8 = 22 ≈ 2.828 can be constructed just outside a 600-cell of slightly smaller long radius, by placing the center of each dodecahedral cell at one of the 120 600-cell vertices. The 600-cell must have long radius φ2, which is smaller than 8 in the same ratio of ≈ 0.926; it is in the golden ratio to the edge length of the 600-cell, so that must be φ.

Cell rotations of inscribed duals[edit | edit source]

Since the 120-cell contains inscribed 600-cells, it contains its own dual of the same radius. The 120-cell contains five disjoint 600-cells (ten overlapping inscribed 600-cells of which we can pick out five disjoint 600-cells in two ways), so it can be seen as a compound of five of its own dual (in two ways).[c] The vertices of each inscribed 600-cell are vertices of the 120-cell, and (dually) each dodecahedral cell center is a tetrahedral cell center in each of the inscribed 600-cells.

The dodecahedral cells of the 120-cell have tetrahedral cells of the 600-cells inscribed in them. As two opposing tetrahedra can be inscribed in a cube, and five cubes can be inscribed in a dodecahedron, ten tetrahedra in five cubes can be inscribed in a dodecahedron: two opposing sets of five, with each set covering all 20 vertices, and each vertex in two tetrahedra (one from each set, but not the opposing pair obviously). This shows that the 120-cell contains, among its many interior features, 120 compounds of ten tetrahedra.

All ten tetrahedra can be generated by two chiral five-click rotations of any one tetrahedron. In each dodecahedral cell, one tetrahedral cell comes from each of the ten 600-cells inscribed in the 120-cell.[o] Therefore the whole 120-cell, with all ten inscribed 600-cells, can be generated from just one 600-cell, by rotating its cells.

Augmentation[edit | edit source]

Another consequence of the 120-cell containing inscribed 600-cells is that it is possible to construct it by placing 4-pyramids of some kind on the cells of the 600-cell. These tetrahedral pyramids must be quite irregular in this case (with the apex blunted into several 'apexes'), but we can discern their shape in the way a tetrahedron lies inscribed in a dodecahedron.

Only 120 tetrahedral cells of each 600-cell can be inscribed in the 120-cell's dodecahedra; its other 480 tetrahedra span dodecahedral cells. Each dodecahedron-inscribed tetrahedron is the center cell of a cluster of five tetrahedra, with the four others face-bonded around it lying only partially within the dodecahedron. The central tetrahedron is edge-bonded to an additional 12 tetrahedral cells, also lying only partially within the dodecahedron.[p] The central cell is vertex-bonded to 40 other tetrahedral cells which lie entirely outside the dodecahedron.

Rotations[edit | edit source]

[c]

Reflections[edit | edit source]

[14]

As a configuration[edit | edit source]

This configuration matrix represents the 120-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 120-cell. The nondiagonal numbers say how many of the column's element occur in or at the row's element.[15][16]

Here is the configuration expanded with k-face elements and k-figures. The diagonal element counts are the ratio of the full Coxeter group order, 14400, divided by the order of the subgroup with mirror removal.

H4 CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png k-face fk f0 f1 f2 f3 k-fig Notes
A3 CDel node x.pngCDel 2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png ( ) f0 600 4 6 4 {3,3} H4/A3 = 14400/24 = 600
A1A2 CDel node 1.pngCDel 2.pngCDel node x.pngCDel 2.pngCDel node.pngCDel 3.pngCDel node.png { } f1 2 720 3 3 {3} H4/A2A1 = 14400/6/2 = 1200
H2A1 CDel node 1.pngCDel 5.pngCDel node.pngCDel 2.pngCDel node x.pngCDel 2.pngCDel node.png {5} f2 5 5 1200 2 { } H4/H2A1 = 14400/10/2 = 720
H3 CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 2.pngCDel node x.png {5,3} f3 20 30 12 120 ( ) H4/H3 = 14400/120 = 120

Symmetries[edit | edit source]

[17]

Visualization[edit | edit source]

The 120-cell consists of 120 dodecahedral cells. For visualization purposes, it is convenient that the dodecahedron has opposing parallel faces (a trait it shares with the cells of the tesseract and the 24-cell). One can stack dodecahedrons face to face in a straight line bent in the 4th direction into a great circle with a circumference of 10 cells. Starting from this initial ten cell construct there are two common visualizations one can use: a layered stereographic projection, and a structure of intertwining rings.[18]

Layered stereographic projection[edit | edit source]

The cell locations lend themselves to a hyperspherical description. Pick an arbitrary dodecahedron and label it the "north pole". Twelve great circle meridians (four cells long) radiate out in 3 dimensions, converging at the fifth "south pole" cell. This skeleton accounts for 50 of the 120 cells (2 + 4 × 12).

Starting at the North Pole, we can build up the 120-cell in 9 latitudinal layers, with allusions to terrestrial 2-sphere topography in the table below. With the exception of the poles, the centroids of the cells of each layer lie on a separate 2-sphere, with the equatorial centroids lying on a great 2-sphere. The centroids of the 30 equatorial cells form the vertices of an icosidodecahedron, with the meridians (as described above) passing through the center of each pentagonal face. The cells labeled "interstitial" in the following table do not fall on meridian great circles.

Layer # Number of Cells Description Colatitude Region
1 1 cell North Pole Northern Hemisphere
2 12 cells First layer of meridional cells / "Arctic Circle" 36°
3 20 cells Non-meridian / interstitial 60°
4 12 cells Second layer of meridional cells / "Tropic of Cancer" 72°
5 30 cells Non-meridian / interstitial 90° Equator
6 12 cells Third layer of meridional cells / "Tropic of Capricorn" 108° Southern Hemisphere
7 20 cells Non-meridian / interstitial 120°
8 12 cells Fourth layer of meridional cells / "Antarctic Circle" 144°
9 1 cell South Pole 180°
Total 120 cells

The cells of layers 2, 4, 6 and 8 are located over the faces of the pole cell. The cells of layers 3 and 7 are located directly over the vertices of the pole cell. The cells of layer 5 are located over the edges of the pole cell.

Intertwining rings[edit | edit source]

Two intertwining rings of the 120-cell.
Two orthogonal rings in a cell-centered projection

The 120-cell can be partitioned into 12 disjoint 10-cell great circle rings, forming a discrete/quantized Hopf fibration.[19] Starting with one 10-cell ring, one can place another ring alongside it that spirals around the original ring one complete revolution in ten cells. Five such 10-cell rings can be placed adjacent to the original 10-cell ring. Although the outer rings "spiral" around the inner ring (and each other), they actually have no helical torsion. They are all equivalent. The spiraling is a result of the 3-sphere curvature. The inner ring and the five outer rings now form a six ring, 60-cell solid torus. One can continue adding 10-cell rings adjacent to the previous ones, but it's more instructive to construct a second torus, disjoint from the one above, from the remaining 60 cells, that interlocks with the first. The 120-cell, like the 3-sphere, is the union of these two (Clifford) tori. If the center ring of the first torus is a meridian great circle as defined above, the center ring of the second torus is the equatorial great circle that is centered on the meridian circle.[20] Also note that the spiraling shell of 50 cells around a center ring can be either left handed or right handed. It's just a matter of partitioning the cells in the shell differently, i.e. picking another set of disjoint great circles.

Other great circle constructs[edit | edit source]

There is another great circle path of interest that alternately passes through opposing cell vertices, then along an edge. This path consists of 6 cells and 6 edges. Both the above great circle paths have dual great circle paths in the 600-cell. The 10 cell face to face path above maps to a 10 vertices path solely traversing along edges in the 600-cell, forming a decagon. The alternating cell/edge path above maps to a path consisting of 12 tetrahedrons alternately meeting face to face then vertex to vertex (six triangular bipyramids) in the 600-cell. This latter path corresponds to a ring of six icosahedra meeting face to face in the snub 24-cell (or icosahedral pyramids in the 600-cell).

Projections[edit | edit source]

Orthogonal projections[edit | edit source]

Orthogonal projections of the 120-cell can be done in 2D by defining two orthonormal basis vectors for a specific view direction. The 30-gonal projection was made in 1963 by B. L.Chilton.[21]

The H3 decagonal projection shows the plane of the van Oss polygon.

Orthographic projections by Coxeter planes
H4 - F4
120-cell graph H4.svg
[30]
120-cell t0 p20.svg
[20]
120-cell t0 F4.svg
[12]
H3 A2 / B3 / D4 A3 / B2
120-cell t0 H3.svg
[10]
120-cell t0 A2.svg
[6]
120-cell t0 A3.svg
[4]

3-dimensional orthogonal projections can also be made with three orthonormal basis vectors, and displayed as a 3d model, and then projecting a certain perspective in 3D for a 2d image.

3D orthographic projections
120Cell 3D.png
3D isometric projection

Animated 4D rotation

Perspective projections[edit | edit source]

These projections use perspective projection, from a specific view point in four dimensions, and projecting the model as a 3D shadow. Therefore, faces and cells that look larger are merely closer to the 4D viewpoint. Schlegel diagrams use perspective to show four-dimensional figures, choosing a point above a specific cell, thus making the cell as the envelope of the 3D model, and other cells are smaller seen inside it. Stereographic projection use the same approach, but are shown with curved edges, representing the polytope as a tiling of a 3-sphere.

A comparison of perspective projections from 3D to 2D is shown in analogy.

Comparison with regular dodecahedron
Projection Dodecahedron Dodecaplex
Schlegel diagram Dodecahedron schlegel.svg
12 pentagon faces in the plane
Schlegel wireframe 120-cell.png
120 dodecahedral cells in 3-space
Stereographic projection Dodecahedron stereographic projection.png Stereographic polytope 120cell faces.png
With transparent faces
Perspective projection
120-cell perspective-cell-first-02.png Cell-first perspective projection at 5 times the distance from the center to a vertex, with these enhancements applied:
  • Nearest dodecahedron to the 4D viewpoint rendered in yellow
  • The 12 dodecahedra immediately adjoining it rendered in cyan;
  • The remaining dodecahedra rendered in green;
  • Cells facing away from the 4D viewpoint (those lying on the "far side" of the 120-cell) culled to minimize clutter in the final image.
120-cell perspective-vertex-first-02.png Vertex-first perspective projection at 5 times the distance from center to a vertex, with these enhancements:
  • Four cells surrounding nearest vertex shown in 4 colors
  • Nearest vertex shown in white (center of image where 4 cells meet)
  • Remaining cells shown in transparent green
  • Cells facing away from 4D viewpoint culled for clarity
120-cell.gif A 3D projection of a 120-cell performing a simple rotation.
120-cell-inner.gif A 3D projection of a 120-cell performing a simple rotation (from the inside).
Animated 4D rotation

Related 4-polytopes and honeycombs[edit | edit source]

H4 polytopes[edit | edit source]

The 120-cell is one of 15 regular and uniform polytopes with the same symmetry [3,3,5]:

H4 family polytopes
120-cell rectified
120-cell
truncated
120-cell
cantellated
120-cell
runcinated
120-cell
cantitruncated
120-cell
runcitruncated
120-cell
omnitruncated
120-cell
CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png CDel node.pngCDel 5.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png CDel node 1.pngCDel 5.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png CDel node 1.pngCDel 5.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png CDel node 1.pngCDel 5.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png CDel node 1.pngCDel 5.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.png
{5,3,3} r{5,3,3} t{5,3,3} rr{5,3,3} t0,3{5,3,3} tr{5,3,3} t0,1,3{5,3,3} t0,1,2,3{5,3,3}
120-cell t0 H3.svg 120-cell t1 H3.svg 120-cell t01 H3.svg 120-cell t02 H3.png 120-cell t03 H3.png 120-cell t012 H3.png 120-cell t013 H3.png 120-cell t0123 H3.png
600-cell t0 H3.svg 600-cell t1 H3.svg 600-cell t01 H3.svg 600-cell t02 H3.svg 120-cell t12 H3.png 120-cell t123 H3.png 120-cell t023 H3.png
600-cell rectified
600-cell
truncated
600-cell
cantellated
600-cell
bitruncated
600-cell
cantitruncated
600-cell
runcitruncated
600-cell
omnitruncated
600-cell
CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.png CDel node.pngCDel 5.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png CDel node.pngCDel 5.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.png CDel node.pngCDel 5.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.png CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.png CDel node 1.pngCDel 5.pngCDel node 1.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node 1.png
{3,3,5} r{3,3,5} t{3,3,5} rr{3,3,5} 2t{3,3,5} tr{3,3,5} t0,1,3{3,3,5} t0,1,2,3{3,3,5}

{p,3,3} polytopes[edit | edit source]

The 120-cell is similar to three regular 4-polytopes: the 5-cell {3,3,3} and tesseract {4,3,3} of Euclidean 4-space, and the hexagonal tiling honeycomb {6,3,3} of hyperbolic space. All of these have a tetrahedral vertex figure {3,3}:

{5,3,p} polytopes[edit | edit source]

The 120-cell is a part of a sequence of 4-polytopes and honeycombs with dodecahedral cells:

Davis 120-cell[edit | edit source]

The Davis 120-cell, introduced by Davis (1985), is a compact 4-dimensional hyperbolic manifold obtained by identifying opposite faces of the 120-cell, whose universal cover gives the regular honeycomb {5,3,3,5} of 4-dimensional hyperbolic space.

In popular culture[edit | edit source]

The video game Deltarune (2018) mentions the hyperdodecahedron on a poster, contrasting with various two-dimensional shapes.

See also[edit | edit source]

Notes[edit | edit source]

  1. 3 dodecahedra and 3 pentagons meet at every edge. 4 dodecahedra, 6 pentagons, and 4 edges meet at every vertex. The dihedral angle (between dodecahedral hyperplanes) is 144°.[3]
  2. 2.0 2.1 2.2 The convex regular 4-polytopes can be ordered by size as a measure of 4-dimensional content (hypervolume) for the same radius. Each greater polytope in the sequence is rounder than its predecessor, enclosing more 4-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 120-cell is the 600-point 4-polytope: sixth and last in the ascending sequence that begins with the 5-point 4-polytope.
  3. 3.0 3.1 3.2 3.3 The vertices of the 120-cell can be partitioned into those of five disjoint 600-cells in two different ways.[13]
  4. The coordinates (w, x, y, z) of the unit-radius origin-centered 4-polytope are given, in some cases as {permutations} or [even permutations] of the coordinate values.
  5. The point itself (𝜉i, 𝜂, 𝜉j) does not necessarily lie in either of the invariant planes of rotation referenced to locate it (by convention, the wz and xy Cartesian planes), and never lies in both of them, since completely orthogonal planes do not intersect at any point except their common center. When 𝜂 = 0, the point lies in the 𝜉i "longitudinal" plane; when 𝜂 = 𝜋/2 the point lies in the 𝜉j "equatorial" plane; and when 0 < 𝜂 < 𝜋/2 the point does not lie in either invariant plane. Thus the 𝜉i and 𝜉j coordinates number vertices of two completely orthogonal great circle polygons which do not intersect (at the point or anywhere else).
  6. The angles 𝜉i and 𝜉j are angles of rotation in the two completely orthogonal invariant planes[e] which characterize rotations in 4-dimensional Euclidean space. The angle 𝜂 is the inclination of both these planes from the north-south pole axis, where 𝜂 ranges from 0 to 𝜋/2. The (𝜉i, 0, 𝜉j) coordinates describe the great circles which intersect at the north and south pole ("lines of longitude"). The (𝜉i, 𝜋/2, 𝜉j) coordinates describe the great circles orthogonal to longitude ("equators"); there is more than one "equator" great circle in a 4-polytope, as the equator of a 3-sphere is a whole 2-sphere of great circles. The other Hopf coordinates (𝜉i, 0 < 𝜂 < 𝜋/2, 𝜉j) describe the great circles (not "lines of latitude") which cross an equator but do not pass through the north or south pole.
  7. 7.0 7.1 The conversion from Hopf coordinates (𝜉i, 𝜂, 𝜉j) to unit-radius Cartesian coordinates (w, x, y, z) is:
    w = cos 𝜉i sin 𝜂
    x = cos 𝜉j cos 𝜂
    y = sin 𝜉j cos 𝜂
    z = sin 𝜉i sin 𝜂
    The "Hopf north pole" (0, 0, 0) is Cartesian (0, 1, 0, 0).
    The "Cartesian north pole" (1, 0, 0, 0) is Hopf (0, 𝜋/2, 0).
  8. The Hopf coordinates are triples of three angles:
    (𝜉i, 𝜂, 𝜉j)
    that parameterize the 3-sphere by numbering points along its great circles. A Hopf coordinate describes a point as a rotation from the "north pole" (0, 0, 0).[f] The 𝜉i and 𝜉j coordinates range over the vertices of completely orthogonal great circle polygons which do not intersect at any vertices. Hopf coordinates are a natural alternative to Cartesian coordinates[g] for framing regular convex 4-polytopes, because the group of rotations in 4-dimensional Euclidean space, denoted SO(4), generates those polytopes. A rotation in 4D of a point {ξi, η, ξj} through angles ξ1 and ξ2 is simply expressed in Hopf coordinates as {ξi + ξ1, η, ξj + ξ2}.
  9. Hopf spherical coordinates[h] of the vertices are given as three independently permuted coordinates:
    (𝜉i, 𝜂, 𝜉j)𝑚
    where {<k} is the {permutation} of the k non-negative integers less than k, and {≤k} is the permutation of the k+1 non-negative integers less than or equal to k. Each permuted coordinate specifies one set of a 4-polytope's great circle polygons, so the coordinate set expresses one set of rotations in 4-dimensional Euclidean space which generates the 4-polytope. Unlike Cartesian coordinates, Hopf coordinates are not necessarily unique to each point; there may be Hopf coordinate synonyms for a vertex. The multiplicity 𝑚 of the coordinate permutation is the ratio of the number of Hopf coordinates to the number of vertices. With Cartesian coordinates the choice of radius is a parameter determining the reference frame, but Hopf coordinates are radius-independent: all Hopf coordinates convert to unit-radius Cartesian coordinates by the same mapping.[g]
  10. To obtain all 600 coordinates without redundancy by quaternion cross-multiplication of these three 4-polytopes' coordinates, it is sufficient to include just one vertex of the 24-cell: (1/2, 1/2, 0, 0).[7]
  11. The 600 vertices come in antipodal pairs, and the lines through antipodal pairs of vertices define the 300 axes or rays of the 120-cell. Any set of four mutually orthogonal axes is called a basis (as in the basis for a coordinate system). The 300 rays form 675 bases, with each ray occurring in 9 bases and being orthogonal to its 27 distinct companions in these bases and to no other rays.[10]
  12. The sum of 0.𝚫・720 + 1・1200 + 1.𝚫・720 + 2・1800 + 2.𝚽・720 + 3・1200 + 3.𝚽・720 + 4・60 is 14,400.
  13. The sum of the squared lengths of all the distinct chords of any regular convex n-polytope of unit radius is the square of the number of vertices.[11]
  14. In the dodecahedral cell of the unit-radius 120-cell, the orange vertices lie at the Cartesian coordinates (±8φ3, ±8φ3, ±8φ3) relative to origin at the cell center. They form a cube (dashed lines) of edge length 1/2φ. The face diagonals of the cube (not shown) of edge length 1/φ are the edges of tetrahedral cells inscribed in the cube (600-cell edges). The dodecahedron (120-cell) edge length is 1/2φ2, and the distance from the cell center to any vertex is 24φ3.
  15. The 10 tetrahedra in each dodecahedron overlap; but the 600 tetrahedra in each 600-cell are disjoint, so each of the ten must belong to a different 600-cell.
  16. As we saw in the 600-cell, these 12 tetrahedra belong (in pairs) to the 6 icosahedral clusters of twenty tetrahedral cells which surround each cluster of five tetrahedral cells.

Citations[edit | edit source]

  1. N.W. Johnson: Geometries and Transformations, (2018) ISBN 978-1-107-10340-5 Chapter 11: Finite Symmetry Groups, 11.5 Spherical Coxeter groups, p.249
  2. Matila Ghyka, The Geometry of Art and Life (1977), p.68
  3. Coxeter 1973, p. 293.
  4. Coxeter 1973, p. 305, Table VII: Regular Compounds in Four Dimensions.
  5. Coxeter 1973, pp. 156-157, §8.7 Cartesian coordinates.
  6. Mamone, Pileio & Levitt 2010, p. 1433, §4.1.
  7. Mamone, Pileio & Levitt 2010, p. 1442, Table 3.
  8. Zamboj 2021, pp. 10-11, §Hopf coordinates.
  9. Sullivan 1991.
  10. Waegell & Aravind 2014, pp. 3-7, §2 Geometry of the 120-cell: rays and bases.
  11. Copher 2019, p. 6, §3.2 Theorem 3.4.
  12. Coxeter 1973, p. 304, Table VI (iv): 𝐈𝐈 = {5,3,3}.
  13. Waegell & Arvind 2014, pp. 5-6.
  14. Sullivan 1990, pp. 10-14, Generating the 120-cell.
  15. Coxeter, Regular Polytopes, sec 1.8 Configurations
  16. Coxeter, Complex Regular Polytopes, p.117
  17. Mamone, Pileio & Levitt 2010, pp. 1438-1439, §4.5.
  18. Sullivan 1991, p. 15, Other Properties of the 120-cell.
  19. Zamboj 2021, pp. 6-12, §2 Mathematical background.
  20. Zamboj 2021, pp. 23-29, §5 Hopf tori corresponding to circles on B2.
  21. "B.+L.+Chilton"+polytopes On the projection of the regular polytope {5,3,3} into a regular triacontagon, B. L. Chilton, Nov 29, 1963.

References[edit | edit source]

  • Coxeter, H.S.M. (1973). Regular Polytopes (3rd ed.). New York: Dover. 
  • Coxeter, H.S.M. (1991). Regular Complex Polytopes (2nd ed.). Cambridge: Cambridge University Press. 
  • Coxeter, H.S.M. (1995). Sherk, F. Arthur; McMullen, Peter; Thompson, Anthony C. et al.. eds. Kaleidoscopes: Selected Writings of H.S.M. Coxeter (2nd ed.). Wiley-Interscience Publication. ISBN 978-0-471-01003-6. https://www.wiley.com/en-us/Kaleidoscopes%3A+Selected+Writings+of+H+S+M+Coxeter-p-9780471010036. 
    • (Paper 22) H.S.M. Coxeter, Regular and Semi Regular Polytopes I, [Math. Zeit. 46 (1940) 380-407, MR 2,10]
    • (Paper 23) H.S.M. Coxeter, Regular and Semi-Regular Polytopes II, [Math. Zeit. 188 (1985) 559-591]
    • (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3-45]
  • J.H. Conway and M.J.T. Guy: Four-Dimensional Archimedean Polytopes, Proceedings of the Colloquium on Convexity at Copenhagen, page 38 und 39, 1965
  • N.W. Johnson: The Theory of Uniform Polytopes and Honeycombs, Ph.D. Dissertation, University of Toronto, 1966
  • Four-dimensional Archimedean Polytopes (German), Marco Möller, 2004 PhD dissertation [1]
  • Oss, Salomon Levi van: Das regelmässige 600-Zell und seine selbstdeckenden Bewegungen. Verhandelingen der Koninklijke (Nederlandse) Akademie van Wetenschappen, Sectie 1 Deel 7 Nummer 1 (Afdeeling Natuurkunde). Amsterdam: 1899. Online at URL [2], reachable from the home page of the KNAW Digital Library at URL [3]. REMARK: Van Oss does not mention the arc distances between vertices of the 600-cell.
  • F. Buekenhout, M. Parker: The number of nets of the regular convex polytopes in dimension <= 4. Discrete Mathematics, Volume 186, Issues 1-3, 15 May 1998, Pages 69-94. REMARK: The authors do mention the arc distances between vertices of the 600-cell.
  • Davis, Michael W. (1985), "A hyperbolic 4-manifold", Proceedings of the American Mathematical Society, 93 (2): 325–328, doi:10.2307/2044771, ISSN 0002-9939, MR 0770546
  • Denney, Tomme; Hooker, Da'Shay; Johnson, De'Janeke; Robinson, Tianna; Butler, Majid; Claiborne, Sandernishe (2020). "The geometry of H4 polytopes". Advances in Geometry 20 (3): 433-444. 
  • Steinbach, Peter (1997). "Golden fields: A case for the Heptagon". Mathematics Magazine 70 (Feb 1997): 22–31. doi:10.1080/0025570X.1997.11996494. 
  • Copher, Jessica (2019). "Sums and Products of Regular Polytopes' Squared Chord Lengths". arXiv:1903.06971 [math.MG].CS1 maint: ref=harv (link)
  • Miyazaki, Koji (1990). "Primary Hypergeodesic Polytopes". International Journal of Space Structures 5 (3-4): 309-323. doi:10.1177/026635119000500312. 
  • van Ittersum, Clara (2020). "Symmetry groups of regular polytopes in three and four dimensions". TUDelft.
  • Mamone, Salvatore; Pileio, Giuseppe; Levitt, Malcolm H. (2010). "Orientational Sampling Schemes Based on Four Dimensional Polytopes". Symmetry 2: 1423-1449. doi:10.3390/sym2031423. 
  • Stillwell, John (January 2001). "The Story of the 120-Cell". Notices of the AMS 48 (1): 17-25. https://www.ams.org/notices/200101/fea-stillwell.pdf. 
  • Sullivan, John M. (1991). "Generating and Rendering Four-Dimensional Polytopes". Mathematica Journal 1 (3). 
  • Waegell, Mordecai; Aravind, P.K. (10 Sep 2014). "Parity proofs of the Kochen-Specker theorem based on the 120-cell". arXiv:1309.7530v3 [quant-ph].CS1 maint: ref=harv (link)
  • Zamboj, Michal (8 Jan 2021). "Synthetic construction of the Hopf fibration in the double orthogonal projection of the 4-space". arXiv:2003.09236v2 [math.HO].CS1 maint: ref=harv (link)

External links[edit | edit source]