120-cell

From HandWiki
Short description: Four-dimensional analog of the dodecahedron
  1. REDIRECT Template:Infobox 4-polytope

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.[lower-alpha 1] Its dual polytope is the 600-cell.

Geometry

The 120-cell incorporates the geometries of every convex regular polytope in the first four dimensions (except the polygons {7} and above).[lower-alpha 2] As the sixth and largest regular convex 4-polytope,[lower-alpha 3] it contains inscribed instances of its four predecessors (recursively). It also contains 120 inscribed instances of the first in the sequence, the 5-cell,[lower-alpha 4] which is not found in any of the others.[4] The 120-cell is a four-dimensional Swiss Army knife: it contains one of everything.

It is daunting but instructive to study the 120-cell, because it contains examples of every relationship among all the convex regular polytopes found in the first four dimensions. Conversely, it can only be understood by first understanding each of its predecessors, and the sequence of increasingly complex symmetries they exhibit.[5] That is why Stillwell titled his paper on the 4-polytopes and the history of mathematics[6] of more than 3 dimensions The Story of the 120-cell.[7]


Cartesian coordinates

Natural Cartesian coordinates for 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 coordinates

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

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

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

where φ (also called 𝝉)[lower-alpha 6] is the golden ratio, 1 + 5/2 ≈ 1.618.

Unit radius coordinates

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

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

120 8 ({±1, 0, 0, 0}) 16-cell 24-cell 600-cell 120-cell
16 ({±1, ±1, ±1, ±1}) / 2 Tesseract
96 ([0, ±φ−1, ±1, ±φ]) / 2 Snub 24-cell
480 Diminished 120-cell 5-point 5-cell 24-cell 600-cell
32 ([±φ, ±φ, ±φ, ±φ−2]) / 8 (1, 0, 0, 0)

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

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

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

32 ([±1, ±1, ±1, ±5]) / 8
32 ([±φ−1, ±φ−1, ±φ−1, ±φ2]) / 8
96 ([0, ±φ−1, ±φ, ±5]) / 8
96 ([0, ±φ−2, ±1, ±φ2]) / 8
192 ([±φ−1, ±1, ±φ, ±2]) / 8
The unit-radius coordinates of uniform convex 4-polytopes are related by quaternion multiplication. Since the regular 4-polytopes are compounds of each other, their sets of Cartesian 4-coordinates (quaternions) are set products of each other. The unit-radius coordinates of the 600 vertices of the 120-cell (in the left column above) are all the possible quaternion products[10] 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 other three columns above).[lower-alpha 7]

The table gives the coordinates of at least one instance of each 4-polytope, but the 120-cell contains multiples-of-five inscribed instances of each of its precursor 4-polytopes, occupying different subsets of its vertices. The (600-point) 120-cell is the convex hull of 5 disjoint (120-point) 600-cells. Each (120-point) 600-cell is the convex hull of 5 disjoint (24-point) 24-cells, so the 120-cell is the convex hull of 25 disjoint 24-cells. Each 24-cell is the convex hull of 3 disjoint (8-point) 16-cells, so the 120-cell is the convex hull of 75 disjoint 16-cells. Uniquely, the (600-point) 120-cell is the convex hull of 120 disjoint (5-point) 5-cells.[lower-alpha 10]

Chords

Great circle polygons of the 120-cell, which lie in the invariant central planes of its isoclinic[lower-alpha 16] rotations. The 120-cell edges of length 𝜁 ≈ 0.270 occur only in the red irregular great hexagon, which also has edges of length 2.5. The 120-cell's 1200 edges do not form great circle polygons by themselves, but by alternating with 2.5 edges of inscribed regular 5-cells[lower-alpha 4] they form 400 irregular great hexagons.[lower-alpha 17] The 120-cell also contains a compound of several of these great circle polygons in the same central plane, illustrated separately.[lower-alpha 18] An implication of the compounding is that the edges and characteristic rotations[lower-alpha 19] of the regular 5-cell, the 8-cell hypercube, the 24-cell, and the 120-cell all lie in the same rotation planes, the hexagonal central planes of the 24-cell.[lower-alpha 11]

The 600-point 120-cell has all 8 of the 120-point 600-cell's distinct chord lengths, plus two additional important chords: its own shorter edges, and the edges of its 120 inscribed regular 5-cells.[lower-alpha 4] These two additional chords give the 120-cell its characteristic isoclinic rotation,[lower-alpha 23] in addition to all the rotations of the other regular 4-polytopes which it inherits.[13] They also give the 120-cell a characteristic great circle polygon: an irregular great hexagon in which three 120-cell edges alternate with three 5-cell edges.[lower-alpha 17]

The 120-cell's edges do not form regular great circle polygons in a single central plane the way the edges of the 600-cell, 24-cell, and 16-cell do. Like the edges of the 5-cell and the 8-cell tesseract, they form zig-zag Petrie polygons instead.[lower-alpha 27] The 120-cell's Petrie polygon is a triacontagon {30} zig-zag skew polygon.[lower-alpha 30]

Since the 120-cell has a circumference of 30 edges, it has 15 distinct chord lengths, ranging from its edge length to its diameter.[lower-alpha 28] Every regular convex 4-polytope is inscribed in the 120-cell, and the 15 chords enumerated in the rows of the following table are all the distinct chords that make up the regular 4-polytopes and their great circle polygons.[lower-alpha 32]

The first thing to notice about this table is that it has eight columns, not six: in addition to the six regular convex 4-polytopes, two irregular 4-polytopes occur naturally in the sequence of nested 4-polytopes: the 96-point snub 24-cell and the 480-point diminished 120-cell.[lower-alpha 3]

The second thing to notice is that each numbered row is marked with a triangle △, square ☐, or pentagon ✩. The 15 chords lie in central planes of three kinds: great square ☐ planes characteristic of the 16-cell, great hexagon and great triangle △ planes characteristic of the 24-cell, or great decagon and great pentagon ✩ planes characteristic of the 600-cell.[lower-alpha 11]

Chords of the 120-cell and its inscribed 4-polytopes[14]
Inscribed[lower-alpha 33] 5-cell 16-cell 8-cell 24-cell Snub 600-cell Dimin 120-cell
Vertices 5 8 16 24 96 120 480 600
Edges 10[lower-alpha 17] 24 32 96 432 720 1200 1200[lower-alpha 17]
Edge chord #8[lower-alpha 4] #7 #5 #5 #3 #3[lower-alpha 20] #1 #1[lower-alpha 30]
Isocline chord[lower-alpha 15] #8 #15 #10 #10 #5 #5 #4 #4[lower-alpha 35]
Clifford polygon[lower-alpha 26] {5/2} {8/3} {6/2} {15/2} {15/4}[lower-alpha 23]
#1
𝝅/0.270~ edge[lower-alpha 30] 1
1200[lower-alpha 23]
4
{3,3}
15.5~° 0.𝜀[lower-alpha 36] 0.270~
#2
face diagonal[lower-alpha 39]
3600
12
2{3,4}
25.2~° 0.19~ 0.437~
#3
𝝅/5 great decagon edge [math]\displaystyle{ \phi^{-1} }[/math] 10[lower-alpha 10]
720

7200
24
2{3,5}
36° 0.𝚫 0.618~
#4
[lower-alpha 18] cell diameter[lower-alpha 37]
1200
4
{3,3}
44.5~° 0.57~ 0.757~
#5
𝝅/3 great hexagon[lower-alpha 41] edge
32
225[lower-alpha 10]
96
225

5[lower-alpha 10]
1200

2400[lower-alpha 40]
32
4{4,3}
60° 1 1
#6
2𝝅/5 great pentagon[lower-alpha 21] edge
720

7200
24
2{3,5}
72° 1.𝚫 1.175~
#7
𝝅/2 great square[lower-alpha 9] edge 675[lower-alpha 9]
24
675
48

72

1800


16200
54
9{3,4}
90° 2 1.414~
#8
𝝅/1.823~ 5-cell edge[lower-alpha 42] 120[lower-alpha 4]
10

720

1200[lower-alpha 23]
4
{3,3}
104.5~° 2.5 1.581~
#9
3𝝅/5 golden section [math]\displaystyle{ \phi }[/math]
720

7200
24
2{3,5}
108° 2.𝚽 1.618~
#10
2𝝅/3 great triangle edge
32
25[lower-alpha 10]
96

1200

2400
32
4{4,3}
120° 3 1.732~
#11
{30/11}-gram[lower-alpha 34] edge
1200
4
{3,3}
135.5~° 3.43~ 1.851~
#12
4𝝅/5 great pentagon diagonal
720

7200
24
2{3,5}
144°[lower-alpha 1] 3.𝚽 1.902~
#13
{30/13}-gram edge
3600
12
2{3,4}
154.8~° 3.81~ 1.952~
#14
{30/14}=2{15/7} edge
1200
4
{3,3}
164.5~° 3.93~ 1.982~
#15
𝝅 diameter 75[lower-alpha 10]
4

8

12

48

60

240

300[lower-alpha 9]
1

180° 4 2
Squared lengths total[lower-alpha 43] 25 64 256 576 14400 360000[lower-alpha 32] 300
The major[lower-alpha 32] chords #1 - #15 join vertex pairs which are 1 - 15 edges apart on a Petrie polygon.

The annotated chord table is a complete bill of materials for constructing the 120-cell. All of the 2-polytopes, 3-polytopes and 4-polytopes in the 120-cell are made from the 15 1-polytopes in the table.

The black integers in table cells are incidence counts of the row's chord in the column's 4-polytope. For example, in the #3 chord row, the 600-cell's 72 great decagons contain 720 #3 chords in all.

The red integers are the number of disjoint 4-polytopes above (the column label) which compounded form a 120-cell. For example, the 120-cell is a compound of 25 disjoint 24-cells (25 * 24 vertices = 600 vertices).

The green integers are the number of distinct 4-polytopes above (the column label) which can be picked out in the 120-cell. For example, the 120-cell contains 225 distinct 24-cells which share components.

The blue integers in the right column are incidence counts of the row's chord at each 120-cell vertex. For example, in the #3 chord row, 24 #3 chords converge at each of the 120-cell's 600 vertices, forming a double icosahedral vertex figure 2{3,5}. In total 300 major chords[lower-alpha 32] of 15 distinct lengths meet at each vertex of the 120-cell.

Relationships among interior polytopes

The 120-cell is the compound of all five of the other regular convex 4-polytopes. All the relationships among the regular 1-, 2-, 3- and 4-polytopes occur in the 120-cell.[lower-alpha 2] It is a four-dimensional jigsaw puzzle in which all those polytopes are the parts.[17] Although there are many sequences in which to construct the 120-cell by putting those parts together, ultimately they only fit together one way. The 120-cell is the unique solution to the combination of all these polytopes.[7]

The regular 1-polytope occurs in only 15 distinct lengths in any of the component polytopes of the 120-cell.[lower-alpha 32]

Only 4 of those 15 chords occur in the 16-cell, 8-cell and 24-cell. The four hypercubic chords 1, 2, 3 and 4 are sufficient to build the 24-cell and all its component parts. The 24-cell is the unique solution to the combination of these 4 chords and all the regular polytopes that can be built from them.


An additional 4 of the 15 chords are required to build the 600-cell. The four golden chords are square roots of irrational fractions that are functions of 5. The 600-cell is the unique solution to the combination of these 8 chords and all the regular polytopes that can be built from them. Notable among the new parts found in the 600-cell which do not occur in the 24-cell are pentagons, and icosahedra.


All 15 chords, and 15 other distinct chordal distances enumerated below, occur in the 120-cell. Notable among the new parts found in the 120-cell which do not occur in the 600-cell are regular 5-cells.[lower-alpha 44] The relationships between the regular 5-cell (the simplex regular 4-polytope) and the other regular 4-polytopes are manifest only in the 120-cell.

Geodesic rectangles

The 30 distinct chords[lower-alpha 32] found in the 120-cell occur as 15 pairs of 180° complements. They form 15 distinct kinds of great circle polygon that lie in central planes of several kinds: Template:Backgroundcolor in an irregular dodecagon,[lower-alpha 18] Template:Backgroundcolor in a regular decagon, and Template:Backgroundcolor in several kinds of rectangle, including a square.

Each great circle polygon is characterized by its pair of 180° complementary chords. The chord pairs form great circle polygons with parallel opposing edges, so each great polygon is either a rectangle or a compound of a rectangle, with the two chords as the rectangle's edges.

Each of the 15 complementary chord pairs corresponds to a distinct pair of opposing polyhedral sections of the 120-cell, beginning with a vertex, the 00 section. The correspondence is that each 120-cell vertex is surrounded by each polyhedral section's vertices at a uniform distance (the chord length), the way a polyhedron's vertices surround its center at the distance of its long radius.[lower-alpha 45] The #1 chord is the "radius" of the 10 section, the tetrahedral vertex figure of the 120-cell.[lower-alpha 39] The #14 chord is the "radius" of its congruent opposing 290 section. The #7 chord is the "radius" of the central section of the 120-cell, in which two opposing 150 sections are coincident.

30 chords (15 180° pairs) make 15 kinds of great circle polygons and polyhedral sections[19]
Short chord Great circle polygons Rotation Long chord
10

#1
[lower-alpha 46] [math]\displaystyle{ 1 / \phi^2\sqrt{2} }[/math] Irregular great hexagons of the 120-cell.png 400 irregular great hexagons[lower-alpha 18] / 4

(600 great rectangles)
in 200 △ planes

4𝝅[lower-alpha 13]
{15/4}[lower-alpha 23]
#4[lower-alpha 35]
[math]\displaystyle{ \phi^{5}\sqrt{3} / \sqrt{8} }[/math] 290

#14
15.5~° 0.𝜀[lower-alpha 36] 0.270~ 164.5~° 3.93~ 1.982~
20

#2
[lower-alpha 39] [math]\displaystyle{ 1 / \phi\sqrt{2} }[/math] 25.2° × 154.8° chords great rectangle.png Great rectangles
in planes
8𝝅
{30/13}
#13
280

#13
25.2~° 0.19~ 0.437~ 154.8~° 3.81~ 1.952~
30

#3
[math]\displaystyle{ \pi / 5 }[/math] [math]\displaystyle{ 1 / \phi }[/math] Great decagon rectangle.png 720 great decagons / 12
(3600 great rectangles)
in 720 planes
5𝝅
{15/2}
#5
[math]\displaystyle{ 4\pi / 5 }[/math] [math]\displaystyle{ \sqrt{2+\phi} }[/math] 270

#12
36° 0.𝚫 0.618~ 144°[lower-alpha 1] 3.𝚽 1.902~
40

#4−1
[math]\displaystyle{ \sqrt{1}/\sqrt{2} }[/math] √0.5 × √3.5 great rectangle.png Great rectangles
in planes
[math]\displaystyle{ \sqrt{7} / \sqrt{2} }[/math] 260

#11+1
41.4~° 0.5 0.707~ 138.6~° 3.5 1.871~
50

#4
[math]\displaystyle{ \sqrt{3} / \phi\sqrt{2} }[/math] Irregular great dodecagon.png 200 irregular great dodecagons[lower-alpha 49] / 4
(600 great rectangles)
in 200 △ planes
[lower-alpha 48] [math]\displaystyle{ \phi^2 / \sqrt{2} }[/math] 250

#11
44.5~° 0.57~ 0.757~ 135.5~° 3.43~ 1.851~
60

#4+1
49.1° × 130.9° great rectangle.png Great rectangles
in planes
240

#11−1
49.1~° 0.69~ 0.831~ 130.9~° 3.31~ 1.819~
70

#5−1
56° × 124° great rectangle.png Great rectangles
in planes
230

#10+1
56° 0.88~ 0.939~ 124° 3.12~ 1.766~
80

#5
[math]\displaystyle{ \pi / 3 }[/math] Great hexagon.png 400 regular great hexagons[lower-alpha 41] / 16
(1200 great rectangles)
in 200 △ planes
4𝝅[lower-alpha 13]
2{10/3}
#4
[math]\displaystyle{ 2\pi / 3 }[/math] 220

#10
60° 1 1 120° 3 1.732~
90

#5+1
66.1° × 113.9° great rectangle.png Great rectangles
in planes
210

#10−1
66.1~° 1.19~ 1.091~ 113.9~° 2.81~ 1.676~
100

#6−1
69.8° × 110.2° great rectangle.png Great rectangles
in planes
200

#9+1
69.8~° 1.31~ 1.144~ 110.2~° 2.69~ 1.640~
110

#6
[math]\displaystyle{ 2\pi/5 }[/math] [math]\displaystyle{ \sqrt{3-\phi} }[/math] Great pentagons rectangle.png 1440 great pentagons[lower-alpha 21] / 12
(3600 great rectangles)

in 720 planes

8𝝅
{24/5}
#9
[math]\displaystyle{ 3\pi / 5 }[/math] [math]\displaystyle{ \phi }[/math] 190

#9
72° 1.𝚫 1.175~ 108° 2.𝚽 1.618~
120

#6+1
[math]\displaystyle{ \sqrt{3} / \sqrt{2} }[/math] Great 5-cell digons rectangle.png 1200 great digon 5-cell edges[lower-alpha 50] / 4
(600 great rectangles)

in 200 △ planes

4𝝅[lower-alpha 13]
{5/2}
#8
[math]\displaystyle{ \sqrt{5} / \sqrt{2} }[/math] 180

#8
75.5~° 1.5 1.224~ 104.5~° 2.5 1.581~
130

#6+2
81.1° × 98.9° great rectangle.png Great rectangles
in planes
170

#8−1
81.1~° 1.69~ 1.300~ 98.9~° 2.31~ 1.520~
140

#7−1
84.5° × 95.5° great rectangle.png Great rectangles
in planes
160

#7+1
84.5~° 0.81~ 1.345~ 95.5~° 2.19~ 1.480~
150

#7
[math]\displaystyle{ \pi / 2 }[/math] Great square rectangle.png 4050 great squares[lower-alpha 9] / 27

in 4050 planes

8𝝅
{30/7}
#7
[math]\displaystyle{ \pi / 2 }[/math] 150

#7
90° 2 1.414~ 90° 2 1.414~

Each kind of great circle polygon (each distinct pair of 180° complementary chords) plays a role in a discrete isoclinic rotation[lower-alpha 15] of a distinct class,[lower-alpha 19] which takes its great rectangle edges to similar edges in Clifford parallel great polygons of the same kind.[lower-alpha 56] There is a distinct left and right rotation of this class for each fiber bundle of Clifford parallel great circle polygons in the invariant planes of the rotation.[lower-alpha 57] In each class of rotation,[lower-alpha 55] vertices rotate on a distinct kind of circular geodesic isocline[lower-alpha 14] which has a characteristic circumference, skew Clifford polygram[lower-alpha 26] and chord number, listed in the Rotation column above.[lower-alpha 24]

Concentric hulls

Error creating thumbnail: Unable to save thumbnail to destination
Orthogonal projection of the 120-cell using any 3 of these Cartesian coordinate dimensions forms an outer hull of a Chamfered dodecahedron of Norm=8.
Hulls 1, 2, & 7 are each overlapping pairs of Dodecahedrons.
Hull 3 is a pair of Icosidodecahedrons.
Hulls 4 & 5 are each pairs of Truncated icosahedrons.
Hulls 6 & 8 are pairs of Rhombicosidodecahedrons.

Polyhedral graph

Considering the adjacency matrix of the vertices representing the polyhedral graph of the unit-radius 120-cell, the graph diameter is 15, connecting each vertex to its coordinate-negation at a Euclidean distance of 2 away (its circumdiameter), 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 eigenvalues ranging from 1/φ22 ≈ 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.

The vertices of the 120-cell polyhedral graph are 3-colorable.

The graph is Eulerian having degree 4 in every vertex. Its edge set can be decomposed into two Hamiltonian cycles.[22]

Constructions

The 120-cell is the sixth in the sequence of 6 convex regular 4-polytopes (in order of size and complexity).[lower-alpha 3] It can be deconstructed into ten distinct instances (or five disjoint instances) of its predecessor (and dual) the 600-cell,[lower-alpha 8] just as the 600-cell can be deconstructed into twenty-five distinct instances (or five disjoint instances) of its predecessor the 24-cell,[lower-alpha 58] the 24-cell can be deconstructed into three distinct instances of its predecessor the tesseract (8-cell), and the 8-cell can be deconstructed into two disjoint instances of its predecessor (and dual) the 16-cell.[25] The 120-cell contains 675 distinct instances (75 disjoint instances) of the 16-cell.[lower-alpha 9]

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.

Dual 600-cells

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 φ22 ≈ 3.702) can be constructed in this manner just inside a 600-cell of long radius 4. The unit radius 120-cell (with edge-length 1/φ22 ≈ 0.270) can be constructed in this manner just inside a 600-cell of long radius 8/φ2 ≈ 1.080.

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.[lower-alpha 37]

Reciprocally, the unit-radius 120-cell can be constructed just outside a 600-cell of slightly smaller long radius φ2/8 ≈ 0.926, by placing the center of each dodecahedral cell at one of the 120 600-cell vertices. The 120-cell whose coordinates are given above of long radius 8 = 22 ≈ 2.828 and edge-length 2/φ2 = 3−5 ≈ 0.764 can be constructed in this manner just outside a 600-cell of 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 φ. The 120-cell of edge-length 2 and long radius φ28 ≈ 7.405 given by Coxeter[3] can be constructed in this manner just outside a 600-cell of long radius φ4 and edge-length φ3.

Therefore, the unit-radius 120-cell can be constructed from its predecessor the unit-radius 600-cell in three reciprocation steps.

Cell rotations of inscribed duals

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 different ways), so it can be seen as a compound of five of its own dual (in two ways). 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.[27] Just as the 120-cell is a compound of five 600-cells (in two ways), the dodecahedron is a compound of five regular tetrahedra (in two ways). 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 of a cube obviously).[28] This shows that the 120-cell contains, among its many interior features, 120 compounds of ten tetrahedra, each of which is dimensionally analogous to the whole 120-cell as a compound of ten 600-cells.[lower-alpha 8]

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.[lower-alpha 59] Therefore the whole 120-cell, with all ten inscribed 600-cells, can be generated from just one 600-cell by rotating its cells.

Augmentation

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 four 'apexes'), but we can discern their shape in the way a tetrahedron lies inscribed in a dodecahedron.[lower-alpha 60]

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.[lower-alpha 61] The central cell is vertex-bonded to 40 other tetrahedral cells which lie entirely outside the dodecahedron.

Weyl orbits

Another construction method uses quaternions and the Icosahedral symmetry of Weyl group orbits [math]\displaystyle{ O(\Lambda)=W(H_4)=I }[/math] of order 120.[30] The following describe [math]\displaystyle{ T }[/math] and [math]\displaystyle{ T' }[/math] 24-cells as quaternion orbit weights of D4 under the Weyl group W(D4):
O(0100) : T = {±1,±e1,±e2,±e3,(±1±e1±e2±e3)/2}
O(1000) : V1
O(0010) : V2
O(0001) : V3

[math]\displaystyle{ T'=\sqrt{2}\{V1\oplus V2\oplus V3 \} = \begin{pmatrix} \frac{-1-e_1}{\sqrt{2}} & \frac{1-e_1}{\sqrt{2}} & \frac{-1+e_1}{\sqrt{2}} & \frac{1+e_1}{\sqrt{2}} & \frac{-e_2-e_3}{\sqrt{2}} & \frac{e_2-e_3}{\sqrt{2}} & \frac{-e_2+e_3}{\sqrt{2}} & \frac{e_2+e_3}{\sqrt{2}} \\ \frac{-1-e_2}{\sqrt{2}} & \frac{1-e_2}{\sqrt{2}} & \frac{-1+e_2}{\sqrt{2}} & \frac{1+e_2}{\sqrt{2}} & \frac{-e_1-e_3}{\sqrt{2}} & \frac{e_1-e_3}{\sqrt{2}} & \frac{-e_1+e_3}{\sqrt{2}} & \frac{e_1+e_3}{\sqrt{2}} \\ \frac{-e_1-e_2}{\sqrt{2}} & \frac{e_1-e_2}{\sqrt{2}} & \frac{-e_1+e_2}{\sqrt{2}} & \frac{e_1+e_2}{\sqrt{2}} & \frac{-1-e_3}{\sqrt{2}} & \frac{1-e_3}{\sqrt{2}} & \frac{-1+e_3}{\sqrt{2}} & \frac{1+e_3}{\sqrt{2}} \end{pmatrix}; }[/math]

With quaternions [math]\displaystyle{ (p,q) }[/math] where [math]\displaystyle{ \bar p }[/math] is the conjugate of [math]\displaystyle{ p }[/math] and [math]\displaystyle{ [p,q]:r\rightarrow r'=prq }[/math] and [math]\displaystyle{ [p,q]^*:r\rightarrow r''=p\bar rq }[/math], then the Coxeter group [math]\displaystyle{ W(H_4)=\lbrace[p,\bar p] \oplus [p,\bar p]^*\rbrace }[/math] is the symmetry group of the 600-cell and the 120-cell of order 14400.

Given [math]\displaystyle{ p \in T }[/math] such that [math]\displaystyle{ \bar p=\pm p^4, \bar p^2=\pm p^3, \bar p^3=\pm p^2, \bar p^4=\pm p }[/math] and [math]\displaystyle{ p^\dagger }[/math] as an exchange of [math]\displaystyle{ -1/\varphi \leftrightarrow \varphi }[/math] within [math]\displaystyle{ p }[/math], we can construct:

  • the snub 24-cell [math]\displaystyle{ S=\sum_{i=1}^4\oplus p^i T }[/math]
  • the 600-cell [math]\displaystyle{ I=T+S=\sum_{i=0}^4\oplus p^i T }[/math]
  • the 120-cell [math]\displaystyle{ J=\sum_{i,j=0}^4\oplus p^i\bar p^{\dagger j}T' }[/math]
  • the alternate snub 24-cell [math]\displaystyle{ S'=\sum_{i=1}^4\oplus p^i\bar p^{\dagger i}T' }[/math]
  • the dual snub 24-cell = [math]\displaystyle{ T \oplus T' \oplus S' }[/math].

As a configuration

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.[31][32]

[math]\displaystyle{ \begin{bmatrix}\begin{matrix}600 & 4 & 6 & 4 \\ 2 & 1200 & 3 & 3 \\ 5 & 5 & 720 & 2 \\ 20 & 30 & 12 & 120 \end{matrix}\end{bmatrix} }[/math]

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 1200 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 720 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

Visualization

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.[33]

Layered stereographic projection

The cell locations lend themselves to a hyperspherical description.[34] 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

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.[35][36][37][38][33] 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.[39] 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 (Clifford parallel) great circles.

Other great circle constructs

There is another great circle path of interest that alternately passes through opposing cell vertices, then along an edge. This path consists of 6 edges alternating with 6 cell diameter chords, forming an irregular dodecagon in a central plane.[lower-alpha 18] Both these great circle paths have dual great circle paths in the 600-cell. The 10 cell face to face path above maps to a 10 vertex path solely traversing along edges in the 600-cell, forming a decagon.[lower-alpha 20] The alternating cell/edge path 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).

Another great circle polygon path exists which is unique to the 120-cell and has no dual counterpart in the 600-cell. This path consists of 3 120-cell edges alternating with 3 inscribed 5-cell edges (#8 chords), forming the irregular great hexagon with alternating short and long edges illustrated above.[lower-alpha 17] Each 5-cell edge runs through the volume of three dodecahedral cells (in a ring of ten face-bonded dodecahedral cells), to the opposite pentagonal face of the third dodecahedron. This irregular great hexagon lies in the same central plane (on the same great circle) as the irregular great dodecagon described above, but it intersects only {6} of the {12} dodecagon vertices. There are two irregular great hexagons inscribed in each irregular great dodecagon, in alternate positions.

Perspective projections

Projections to 3D of a 4D 120-cell performing a simple rotation
120-cell.gif 120-cell-inner.gif
From outside the 3-sphere in 4-space. Inside the 3D surface of the 3-sphere.

As in all the illustrations in this article, only the edges of the 120-cell appear in these renderings. All the other chords are not shown. The complex interior parts of the 120-cell, all its inscribed 600-cells, 24-cells, 8-cells, 16-cells and 5-cells, are completely invisible in all illustrations. The viewer must imagine them.

These projections use perspective projection, from a specific viewpoint in four dimensions, projecting the model as a 3D shadow. Therefore, faces and cells that look larger are merely closer to the 4D viewpoint.

A comparison of perspective projections of the 3D dodecahedron to 2D (below left), and projections of the 4D 120-cell to 3D (below right), demonstrates two related perspective projection methods, by dimensional analogy. Schlegel diagrams use perspective to show depth in the dimension which has been flattened, choosing a view point above a specific cell, thus making that cell the envelope of the model, with other cells appearing smaller inside it. Stereographic projections use the same approach, but are shown with curved edges, representing the spherical polytope as a tiling of a 3-sphere. Both these methods distort the object, because the cells are not actually nested inside each other (they meet face-to-face), and they are all the same size. Other perspective projection methods exist, such as the rotating animations above, which do not exhibit this particular kind of distortion, but rather some other kind of distortion (as all projections must).

Comparison with regular dodecahedron
Projection Dodecahedron 120-cell
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
Enhanced perspective projections
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

Orthogonal projections

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.[41]

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

Orthographic projections by Coxeter planes[42]
H4 - F4
120-cell graph H4.svg
[30]
(Red=1)
120-cell t0 p20.svg
[20]
(Red=1)
120-cell t0 F4.svg
[12]
(Red=1)
H3 A2 / B3 / D4 A3 / B2
120-cell t0 H3.svg
[10]
(Red=5, orange=10)
120-cell t0 A2.svg
[6]
(Red=1, orange=3, yellow=6, lime=9, green=12)
120-cell t0 A3.svg
[4]
(Red=1, orange=2, yellow=4, lime=6, green=8)

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
File:Cell120.ogv
Animated 4D rotation

Related polyhedra and honeycombs

H4 polytopes

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

{p,3,3} polytopes

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

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

Tetrahedrally diminished 120-cell

Since the 600-point 120-cell has 5 disjoint inscribed 600-cells, it can be diminished by the removal of one of those 120-point 600-cells, creating an irregular 480-point 4-polytope.[lower-alpha 64]

In the tetrahedrally diminished dodecahedron, 4 vertices are truncated to equilateral triangles. The 12 pentagon faces lose a vertex, becoming trapezoids.

Each dodecahedral cell of the 120-cell is diminished by removal of 4 of its 20 vertices, creating an irregular 16-point polyhedron called the tetrahedrally diminished dodecahedron because the 4 vertices removed formed a tetrahedron inscribed in the dodecahedron. Since the vertex figure of the dodecahedron is the triangle, each truncated vertex is replaced by a triangle. The 12 pentagon faces are replaced by 12 trapezoids, as one vertex of each pentagon is removed and two of its edges are replaced by the pentagon's diagonal chord.[lower-alpha 38] The tetrahedrally diminished dodecahedron has 16 vertices and 16 faces: 12 trapezoid faces and four equilateral triangle faces.

Since the vertex figure of the 120-cell is the tetrahedron,[lower-alpha 60] each truncated vertex is replaced by a tetrahedron, leaving 120 tetrahedrally diminished dodecahedron cells and 120 regular tetrahedron cells. The regular dodecahedron and the tetrahedrally diminished dodecahedron both have 30 edges, and the regular 120-cell and the tetrahedrally diminished 120-cell both have 1200 edges.

The 480-point diminished 120-cell may be called the tetrahedrally diminished 120-cell because its cells are tetrahedrally diminished, or the 600-cell diminished 120-cell because the vertices removed formed a 600-cell inscribed in the 120-cell, or even the regular 5-cells diminished 120-cell because removing the 120 vertices removes one vertex from each of the 120 inscribed regular 5-cells, leaving 120 regular tetrahedra.[lower-alpha 4]

Davis 120-cell

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.

See also

  • Uniform 4-polytope family with [5,3,3] symmetry
  • 57-cell – an abstract regular 4-polytope constructed from 57 hemi-dodecahedra.
  • 600-cell - the dual 4-polytope to the 120-cell

Notes

  1. 1.0 1.1 1.2 In the 120-cell, 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 The 120-cell contains instances of all of the regular convex 1-polytopes, 2-polytopes, 3-polytopes and 4-polytopes, except for the regular polygons {7} and above, most of which do not occur. {10} is a notable exception which does occur. Various regular skew polygons {7} and above occur in the 120-cell, notably {11},[lower-alpha 34] {15}[lower-alpha 23] and {30}.[lower-alpha 20]
  3. 3.0 3.1 3.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.
  4. 4.0 4.1 4.2 4.3 4.4 4.5 4.6 4.7
    In triacontagram {30/12}=6{5/2},
    six of the 120 disjoint regular 5-cells of edge-length 2.5 which are inscribed in the 120-cell appear as six pentagrams, the Clifford polygon of the 5-cell. The 30 vertices comprise a Petrie polygon of the 120-cell,[lower-alpha 20] with 30 zig-zag edges (not shown), and 3 inscribed great decagons (edges not shown) which lie Clifford parallel to the projection plane.[lower-alpha 21]
    Inscribed in the unit-radius 120-cell are 120 disjoint regular 5-cells,[12] of edge-length 2.5. No regular 4-polytopes except the 5-cell and the 120-cell contain 2.5 chords (the #8 chord).[lower-alpha 5] The 120-cell contains 10 distinct inscribed 600-cells which can be taken as 5 disjoint 600-cells two different ways. Each 2.5 chord connects two vertices in disjoint 600-cells, and hence in disjoint 24-cells, 8-cells, and 16-cells. These chords and the 120-cell edges occur only in the 120-cell, connecting two vertices in disjoint 600-cells.[lower-alpha 22] Corresponding polytopes of the same kind in disjoint 600-cells are Clifford parallel and 2.5 apart. Each 5-cell contains one vertex from each of 5 disjoint 600-cells (three different ways). Each 5-cell contains three distinct Petrie pentagons of its 5 vertices, pentagonal circuits each binding 5 disjoint 600-cells together in a distinct isoclinic rotation characteristic of the 5-cell.
  5. 5.0 5.1 5.2 5.3 Multiple instances of each of the regular convex 4-polytopes can be inscribed in any of their larger successor 4-polytopes, except for the smallest, the regular 5-cell, which occurs inscribed only in the largest, the 120-cell. To understand the way in which the 4-polytopes nest within each other, it is necessary to carefully distinguish disjoint multiple instances from merely distinct multiple instances of inscribed 4-polytopes. For example, the 600-point 120-cell is the convex hull of a compound of 75 8-point 16-cells that are completely disjoint: they share no vertices, and 75 * 8 = 600. But it is also possible to pick out 675 distinct 16-cells within the 120-cell, most pairs of which share some vertices, because two concentric equal-radius 16-cells may be rotated with respect to each other such that they share 2 vertices (an axis), or even 4 vertices (a great square plane), while their remaining vertices are not coincident.[lower-alpha 9] In 4-space, any two congruent regular 4-polytopes may be concentric but rotated with respect to each other such that they share only a common subset of their vertices. Only in the case of the 4-simplex (the 5-point regular 5-cell) that common subset of vertices must always be empty, unless it is all 5 vertices. It is impossible to rotate two concentric 4-simplexes with respect to each other such that some, but not all, of their vertices are coincident: they may only be completely coincident, or completely disjoint. Only the 4-simplex has this property; the 16-cell, and by extension any larger regular 4-polytope, may lie rotated with respect to itself such that the pair shares some, but not all, of their vertices. Intuitively we may see how this follows from the fact that only the 4-simplex does not possess any opposing vertices (any 2-vertex central axes) which might be invariant after a rotation. The 120-cell contains 120 completely disjoint regular 5-cells, which are its only distinct inscribed regular 5-cells, but every other nesting of regular 4-polytopes features some number of disjoint inscribed 4-polytopes and a larger number of distinct inscribed 4-polytopes.
  6. (Coxeter 1973) uses the greek letter 𝝓 (phi) to represent one of the three characteristic angles 𝟀, 𝝓, 𝟁 of a regular polytope. Because 𝝓 is commonly used to represent the golden ratio constant ≈ 1.618, for which Coxeter uses 𝝉 (tau), we reverse Coxeter's conventions, and use 𝝉 to represent the characteristic angle.
  7. To obtain all 600 coordinates by quaternion cross-multiplication of these three 4-polytopes' coordinates with less redundancy, it is sufficient to include just one vertex of the 24-cell: (1/2, 1/2, 0, 0).[9]
  8. 8.0 8.1 8.2 8.3 The 600 vertices of the 120-cell can be partitioned into those of 5 disjoint inscribed 120-vertex 600-cells in two different ways.[29] The geometry of this 4D partitioning is dimensionally analogous to the 3D partitioning of the 20 vertices of the dodecahedron into 5 disjoint inscribed tetrahedra, which can also be done in two different ways because each dodecahedral cell contains two opposing sets of 5 disjoint inscribed tetrahedral cells. The 120-cell can be partitioned in a manner analogous to the dodecahedron because each of its dodecahedral cells contains one tetrahedral cell from each of the 10 inscribed 600-cells.
  9. 9.0 9.1 9.2 9.3 9.4 9.5 9.6 9.7 The 120-cell has 600 vertices distributed symmetrically on the surface of a 3-sphere in four-dimensional Euclidean space. The vertices come in antipodal pairs, and the lines through antipodal pairs of vertices define the 300 rays [or axes] of the 120-cell. We will term any set of four mutually orthogonal rays (or directions) a basis. 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. The rays and bases constitute a geometric configuration, which in the language of configurations is written as 30096754 to indicate that each ray belongs to 9 bases, and each basis contains 4 rays.[26] Each basis corresponds to a distinct 16-cell containing four orthogonal axes and six orthogonal great squares. 75 completely disjoint 16-cells containing all 600 vertices of the 120-cell can be selected from the 675 distinct 16-cells.[lower-alpha 5]
  10. 10.0 10.1 10.2 10.3 10.4 10.5 The 120-cell can be constructed as a compound of 5 disjoint 600-cells,[lower-alpha 8] or 25 disjoint 24-cells, or 75 disjoint 16-cells, or 120 disjoint 5-cells. Except in the case of the 120 5-cells,[lower-alpha 5] these are not counts of all the distinct regular 4-polytopes which can be found inscribed in the 120-cell, only the counts of completely disjoint inscribed 4-polytopes which when compounded form the convex hull of the 120-cell. The 120-cell contains 10 distinct 600-cells, 225 distinct 24-cells, and 675 distinct 16-cells.[lower-alpha 9]
  11. 11.0 11.1 11.2 The edges and 8𝝅 characteristic rotations of the 16-cell lie in the great square ☐ central planes. More generally, rotations of this type are a consequence of the symmetry group [math]\displaystyle{ B 4 }[/math]. The edges and 5𝝅 characteristic rotations of the 600-cell lie in the great pentagon ✩ (great decagon) central planes. More generally, rotations of this type are a consequence of the symmetry group [math]\displaystyle{ H 4 }[/math]. The edges and 4𝝅 characteristic rotations[lower-alpha 13] of the other regular 4-polytopes, the regular 5-cell, the 8-cell hypercube, the 24-cell, and the 120-cell,[lower-alpha 23] all lie in the great triangle △ (great hexagon) central planes.[lower-alpha 18] Collectively these rotations involve all four symmetry groups [math]\displaystyle{ A 4 }[/math], [math]\displaystyle{ B 4 }[/math], [math]\displaystyle{ F 4 }[/math] and [math]\displaystyle{ H 4 }[/math].
  12. The finite length of an ordinary great circle is always 2𝝅r of course, but the isoclines of each discrete non-simple rotation have their own characteristic circumferential length, which is in every case greater than 2𝝅r.[lower-alpha 11]
  13. 13.0 13.1 13.2 13.3 13.4 All 3-sphere isoclines[lower-alpha 14] of the same circumference are directly congruent circles. An ordinary great circle is an isocline of circumference 2𝝅; simple rotations take place on 2𝝅 isoclines. Double rotations may have isoclines of up to 8𝝅 circumference. Because the characteristic rotations of several regular 4-polytopes take place in the same invariant planes (the 24-cell's hexagonal planes), those rotations all have congruent isoclines of 4𝝅 circumference. The regular 4-polytopes which rotate on 4𝝅 isoclines characteristically (when they are rotating in the isoclinic invariant planes containing their edges) are the 5-cell, the 8-cell, the 24-cell and the 120-cell.
  14. 14.0 14.1 14.2 14.3 14.4 14.5 14.6 An isocline is a closed, curved, helical great circle through all four dimensions. Unlike an ordinary great circle it does not lie in a single central plane, but like any great circle, when viewed within the curved 3-dimensional space of the 4-polytope's boundary surface it is a straight line, a geodesic. Both ordinary great circles and isocline great circles are helical in the sense that parallel bundles of great circles are linked and spiral around each other, but neither are actually twisted (they have no inherent torsion). Their curvature is not their own, but a property of the 3-sphere's natural curvature, within which curved space they are finite (closed) straight line segments.[lower-alpha 12] To avoid confusion, we always refer to an isocline as such, and reserve the term great circle for an ordinary great circle in the plane.[lower-alpha 13]
  15. 15.0 15.1 15.2 15.3 15.4 15.5 An isoclinic[lower-alpha 16] rotation is an equi-rotation-angled double rotation in two completely orthogonal invariant central planes of rotation at the same time. Every discrete isoclinic rotation has two characteristic arc-angles (chord lengths), its rotation angle and its isocline angle.[lower-alpha 19] In each incremental rotation step from vertex to neighboring vertex, each rotation plane rotates by the rotation angle, and also tilts sideways (like a coin flipping) by an equal rotation angle. Thus each vertex rotates on a great circle by one rotation angle increment, while simultaneously the whole great circle rotates with the completely orthogonal great circle by an equal rotation angle increment.[lower-alpha 54] The product of these two simultaneous and equal great circle rotation increments is an overall displacement of each vertex by the isocline angle increment (the isocline chord length). Thus the rotation angle measures the vertex displacement in the reference frame of a moving great circle, and also the sideways displacement of the moving great circle (the distance between the great circle polygon and the adjacent Clifford parallel great circle polygon the rotation takes it to) in the stationary reference frame. The isocline chord length is the total vertex displacement in the stationary reference frame, which is an oblique chord between the two adjacent great circle polygons (the distance between their corresponding vertices in the rotation).
  16. 16.0 16.1 16.2 16.3 16.4 16.5 Two angles are required to specify the separation between two planes in 4-space.[11] If the two angles are identical, the two planes are called isoclinic (also Clifford parallel) and they intersect in a single point. In double rotations, points rotate within invariant central planes of rotation by some angle, and the entire invariant central plane of rotation also tilts sideways (in an orthogonal invariant central plane of rotation) by some angle. Therefore each vertex traverses a helical smooth curve called an isocline[lower-alpha 14] between two points in different central planes, while traversing an ordinary great circle in each of two orthogonal central planes (as the planes tilt relative to their original planes). If the two orthogonal angles are identical, the distance traveled along each great circle is the same, and the double rotation is called isoclinic (also a Clifford displacement). A rotation which takes isoclinic central planes to each other is an isoclinic rotation.[lower-alpha 15]
  17. 17.0 17.1 17.2 17.3 17.4 17.5 17.6 Cite error: Invalid <ref> tag; no text was provided for refs named irregular great hexagon
  18. 18.0 18.1 18.2 18.3 18.4 18.5 18.6 18.7 18.8 18.9
    The 120-cell has 200 central planes that each intersect 12 vertices, forming an irregular dodecagon with alternating edges of two different lengths. Inscribed in the dodecagon are two regular great hexagons (black),[lower-alpha 41] two irregular great hexagons (red),[lower-alpha 17] and four equilateral great triangles (only one is shown, in green).
    The 120-cell has an irregular dodecagon {12} great circle polygon of 6 edges (#1 chords marked 𝜁) alternating with 6 dodecahedron cell-diameters (#4 chords).[lower-alpha 37] The irregular great dodecagon contains two irregular great hexagons (red) inscribed in alternate positions.[lower-alpha 17] Two regular great hexagons with edges of a third size (1, the #5 chord) are also inscribed in the dodecagon.[lower-alpha 41] The twelve regular hexagon edges (#5 chords), the six cell-diameter edges of the dodecagon (#4 chords), and the six 120-cell edges of the dodecagon (#1 chords), are all chords of the same great circle, but the other 24 zig-zag edges (#1 chords, not shown) that bridge the six #4 edges of the dodecagon do not lie in this great circle plane. The 120-cell's irregular great dodecagon planes, its irregular great hexagon planes, its regular great hexagon planes, and its equilateral great triangle planes, are the same set of dodecagon planes. The 120-cell contains 200 such {12} central planes (100 completely orthogonal pairs), the same 200 central planes each containing a hexagon that are found in each of the 10 inscribed 600-cells.[lower-alpha 40]
  19. 19.0 19.1 19.2 19.3 Every class of discrete isoclinic rotation[lower-alpha 15] is characterized by its rotation and isocline angles and by which set of Clifford parallel central planes are its invariant planes of rotation. The characteristic isoclinic rotation of a 4-polytope is the class of discrete isoclinic rotation in which the set of invariant rotation planes contains the 4-polytope's edges; there is a distinct left (and right) rotation for each such set of Clifford parallel central planes (each Hopf fibration of the edge planes). If the edges of the 4-polytope form regular great circles, the rotation angle of the characteristic rotation is simply the edge arc-angle (the edge chord is simply the rotation chord). But in a regular 4-polytope with a tetrahedral vertex figure[lower-alpha 27] the edges do not form regular great circles, they form irregular great circles in combination with another chord. For example, the #1 chord edges of the 120-cell are edges of an irregular great dodecagon which also has #4 chord edges.[lower-alpha 18] In such a 4-polytope, the rotation angle is not the edge arc-angle; in fact it is not necessarily the arc of any vertex chord.[lower-alpha 47]
  20. 20.0 20.1 20.2 20.3 20.4 20.5 20.6
    In triacontagram {30/9}=3{10/3} we see the 120-cell Petrie polygon (on the circumference of the 30-gon, with 120-cell edges not shown) as a compound of three Clifford parallel 600-cell great decagons (seen as three disjoint {10/3} decagrams) that spiral around each other. The 600-cell edges (#3 chords) connect vertices which are 3 600-cell edges apart (on a great circle), and 9 120-cell edges apart (on a Petrie polygon). The three disjoint {10/3} great decagons of 600-cell edges delineate a single Boerdijk–Coxeter helix 30-tetrahedron ring of an inscribed 600-cell.
    The 120-cell and 600-cell both have 30-gon Petrie polygons.[lower-alpha 29] They are two distinct skew 30-gon helices, composed of 30 120-cell edges (#1 chords) and 30 600-cell edges (#3 chords) respectively, but they occur in completely orthogonal pairs that spiral around the same 0-gon great circle axis. The 120-cell's Petrie helix winds closer to the axis than the 600-cell's Petrie helix does, because its 30 edges are shorter than the 600-cell's 30 edges (and they zig-zag at less acute angles). A dual pair[lower-alpha 29] of these Petrie helices of different radii sharing an axis do not have any vertices in common; they are completely disjoint.[lower-alpha 33] The 120-cell Petrie helix (versus the 600-cell Petrie helix) twists around the 0-gon axis 9 times (versus 11 times) in the course of one circular orbit, forming a skew {30/9}=3{10/3} polygram (versus a skew {30/11} polygram).[lower-alpha 34]
  21. 21.0 21.1 21.2 Inscribed in the 3 Clifford parallel great decagons of each helical Petrie polygon of the 120-cell[lower-alpha 4] are 6 great pentagonsCite error: Invalid <ref> tag; refs with no name must have content in which the 6 pentagrams (regular 5-cells) appear to be inscribed, but the pentagrams are skew (not parallel to the projection plane); each 5-cell actually has vertices in 5 different decagon-pentagon central planes in 5 completely disjoint 600-cells.
  22. The 120 regular 5-cells are completely disjoint. Each 5-cell contains three distinct Petrie pentagons of its 5 vertices, pentagonal circuits each binding 5 disjoint 600-cells together. But the vertices of two disjoint 5-cells are not linked by 5-cell edges, so each {5/2} pentagram isocline of 5 #8 chords is confined to a single 5-cell, and there are no other circuits of 5-cell edges (#8 chords) in the 120-cell.
  23. 23.0 23.1 23.2 23.3 23.4 23.5 23.6 23.7 23.8 23.9 thumb
  24. 24.0 24.1 The 120-cell has 7200 distinct rotational displacements, each with its invariant rotation plane. The 7200 distinct central planes can be grouped into the sets of Clifford parallel invariant rotation planes of 25 distinct classes of (double) rotations, and are usually given as those sets.[21]
  25. Cite error: Invalid <ref> tag; no text was provided for refs named pentadecagram isoclines
  26. 26.0 26.1 26.2 The chord-path of an isocline[lower-alpha 14] may be called the 4-polytope's Clifford polygon, as it is the skew polygram shape of the rotational circles traversed by the 4-polytope's vertices in its characteristic Clifford displacement.[lower-alpha 16]
  27. 27.0 27.1 The 5-cell, 8-cell and 120-cell all have tetrahedral vertex figures. In a 4-polytope with a tetrahedral vertex figure, a path along edges does not lie on an ordinary great circle in a single central plane: each successive edge lies in a different central plane than the previous edge. In the 120-cell the 30-edge circumferential path along edges follows a zig-zag skew Petrie polygon, which is not a great circle. However, there exists a 15-chord circumferential path that is a true geodesic great circle through those 15 vertices: but it is not an ordinary "flat" great circle of circumference 2𝝅𝑟, it is a helical isocline[lower-alpha 14] that bends in a circle in two completely orthogonal central planes at once, circling through four dimensions rather than confined to a two dimensional plane.[lower-alpha 25] The skew chord set of an isocline is called its Clifford polygon.[lower-alpha 26]
  28. 28.0 28.1 The 30-edge circumference of the 120-cell follows a skew Petrie polygon, not a great circle polygon. The Petrie polygon of any 4-polytope is a zig-zag helix spiraling through the curved 3-space of the 4-polytope's surface.[lower-alpha 31] The 15 numbered chords of the 120-cell occur as the distance between two vertices in that 30-vertex helical ring.[lower-alpha 32] Those 15 distinct Pythagorean distances through 4-space range from the 120-cell edge-length which links any two nearest vertices in the ring (the #1 chord), to the 120-cell axis-length (diameter) which links any two antipodal (most distant) vertices in the ring (the #15 chord).
  29. 29.0 29.1 29.2 The regular skew 30-gon is the Petrie polygon of the 600-cell and its dual the 120-cell. The Petrie polygons of the 120-cell occur in the 600-cell as duals of the 30-cell Boerdijk–Coxeter helix rings (the Petrie polygons of the 600-cell):[lower-alpha 34] connecting their 30 tetrahedral cell centers together produces the Petrie polygons of the dual 120-cell, as noticed by Rolfdieter Frank (circa 2001). Thus he discovered that the vertex set of the 120-cell partitions into 20 non-intersecting Petrie polygons. This set of 20 disjoint Clifford parallel skew polygons is a discrete Hopf fibration of the 120-cell (just as their 20 dual 30-cell rings are a discrete fibration of the 600-cell).[lower-alpha 20]
  30. 30.0 30.1 30.2 30.3
    The Petrie polygon of the 120-cell is a skew regular triacontagon {30}.[lower-alpha 28] The 30 #1 chord edges do not all lie on the same {30} great circle polygon, but they lie in groups of 6 (equally spaced around the circumference) in 5 Clifford parallel {12} great circle polygons.[lower-alpha 18]
    The 120-cell contains 80 distinct 30-gon Petrie polygons of its 1200 edges, and can be partitioned into 20 disjoint 30-gon Petrie polygons.[lower-alpha 29] The Petrie 30-gon twists around its 0-gon great circle axis 9 times in the course of one circular orbit, and can be seen as a compound triacontagram {30/9}=3{10/3} of 600-cell edges (#3 chords) linking pairs of vertices that are 9 vertices apart on the Petrie polygon.[lower-alpha 20] The {30/9}-gram (with its #3 chord edges) is an alternate sequence of the same 30 vertices as the Petrie 30-gon (with its #1 chord edges).
  31. The Petrie polygon of a 3-polytope (polyhedron) with triangular faces (e.g. an icosahedron) can be seen as a linear strip of edge-bonded faces bent into a ring. Within that circular strip of edge-bonded triangles (10 in the case of the icosahedron) the Petrie polygon can be picked out as a skew polygon of edges zig-zagging (not circling) through the 2-space of the polyhedron's surface: alternately bending left and right, and slaloming around a great circle axis that passes through the triangles but does not intersect any vertices. The Petrie polygon of a 4-polytope (polychoron) with tetrahedral cells (e.g. a 600-cell) can be seen as a linear helix of face-bonded cells bent into a ring: a Boerdijk–Coxeter helix ring. Within that circular helix of face-bonded tetrahedra (30 in the case of the 600-cell) the skew Petrie polygon can be picked out as a helix of edges zig-zagging (not circling) through the 3-space of the polychoron's surface: alternately bending left and right, and spiraling around a great circle axis that passes through the tetrahedra but does not intersect any vertices.
  32. 32.0 32.1 32.2 32.3 32.4 32.5 32.6 32.7 The 120-cell itself contains more chords than the 15 chords numbered #1 - #15, but the additional chords occur only in the interior of 120-cell, not as edges of any of the six regular convex 4-polytopes or their characteristic great circle rings. The 15 major chords are so numbered because the #n chord connects two vertices which are n edge lengths apart on a Petrie polygon. There are 30 distinct 4-space chordal distances between vertices of the 120-cell (15 pairs of 180° complements), including #15 the 180° diameter (and its complement the 0° chord). In this article, we name the 15 unnumbered minor chords by their arc-angles, e.g. 41.4~° which, with length 0.5, falls between the #3 and #4 chords.
  33. 33.0 33.1 "At a point of contact, [elements of a regular polytope and elements of its dual in which it is inscribed in some manner] lie in completely orthogonal subspaces of the tangent hyperplane to the sphere [of reciprocation], so their only common point is the point of contact itself.... In fact, the [various] radii 0𝑹, 1𝑹, 2𝑹, ... determine the polytopes ... whose vertices are the centers of elements 𝐈𝐈0, 𝐈𝐈1, 𝐈𝐈2, ... of the original polytope."[15]
  34. 34.0 34.1 34.2 34.3 180px
  35. 35.0 35.1 35.2 The characteristic isoclinic rotation of the 120-cell, in the invariant planes in which its edges (#1 chords) lie, takes those edges to similar edges in Clifford parallel central planes. Since an isoclinic rotation[lower-alpha 15] is a double rotation (in two completely orthogonal invariant central planes at once), in each incremental rotation step from vertex to neighboring vertex the vertices travel between central planes on helical great circle isoclines, not on ordinary great circles,[lower-alpha 14] over an isocline chord which in this particular rotation is a #4 chord of 44.5~° arc-length.[lower-alpha 47]
  36. 36.0 36.1 The fractional square root chord lengths are given as decimal fractions where:
           𝚽 ≈ 0.618 is the inverse golden ratio 1/φ
           𝚫 = 1 - 𝚽 = 𝚽2 ≈ 0.382
           𝜀 = 𝚫2/2 ≈ 0.073
    and the 120-cell edge-length 1/φ22 is:
           𝛇 = 𝜀 ≈ 0.270
    For example:
           𝛇 = 0.𝜀 = 0.073~ ≈ 0.270
  37. 37.0 37.1 37.2 37.3 In the dodecahedral cell of the unit-radius 120-cell, the length of the edge (the #1 chord of the 120-cell) is 1/φ22 ≈ 0.270. Eight orange vertices lie at the Cartesian coordinates (±φ38, ±φ38, ±φ38) relative to origin at the cell center. They form a cube (dashed lines) of edge length 1/φ2 ≈ 0.437 (the pentagon diagonal, and the #2 chord of the 120-cell). The face diagonals of the cube (not shown) of edge length 1/φ ≈ 0.618 are the edges of tetrahedral cells inscribed in the cube (600-cell edges, and the #3 chord of the 120-cell). The diameter of the dodecahedron is 3/φ2 ≈ 0.757 (the cube diagonal, and the #4 chord of the 120-cell).
  38. 38.0 38.1 The face pentagon diagonal (the #2 chord) is in the golden ratio φ ≈ 1.618 to the face pentagon edge (the 120-cell edge, the #1 chord).[lower-alpha 37]
  39. 39.0 39.1 39.2 The #2 chord joins vertices which are 2 edge lengths apart: the vertices of the 120-cell's tetrahedral vertex figure, the second section of the 120-cell beginning with a vertex, denoted 10. The #2 chords are the edges of this tetrahedron, and the #1 chords are its long radii. The #2 chords are also diagonal chords of the 120-cell's pentagon faces.[lower-alpha 38]
  40. 40.0 40.1 40.2 The 120-cell contains ten 600-cells which can be partitioned into five completely disjoint 600-cells two different ways.[lower-alpha 8] All ten 600-cells occupy the same set of 200 irregular great dodecagon central planes.[lower-alpha 18] There are exactly 400 regular hexagons in the 120-cell (two in each dodecagon central plane), and each of the ten 600-cells contains its own distinct subset of 200 of them (one from each dodecagon central plane). Each 600-cell contains only one of the two opposing regular hexagons inscribed in any dodecagon central plane, just as it contains only one of two opposing tetrahedra inscribed in any dodecahedral cell. Each 600-cell is disjoint from 4 other 600-cells, and shares hexagons with 5 other 600-cells.[lower-alpha 63] Each disjoint pair of 600-cells occupies the opposing pair of disjoint great hexagons in every dodecagon central plane. Each non-disjoint pair of 600-cells intersects in 16 hexagons that comprise a 24-cell. The 120-cell contains 9 times as many distinct 24-cells (225) as disjoint 24-cells (25).[lower-alpha 9] Each 24-cell occurs in 9 600-cells, is absent from just one 600-cell, and is shared by two 600-cells.
  41. 41.0 41.1 41.2 41.3
    Triacontagram {30/5}=5{6}, the 120-cell's skew Petrie 30-gon as a compound of 5 great hexagons.
    Each great hexagon edge is the axis of a zig-zag of 5 120-cell edges. The 120-cell's Petrie polygon is a helical zig-zag of 30 120-cell edges, spiraling around a 0-gon great circle axis that does not intersect any vertices.[lower-alpha 20] There are 5 great hexagons inscribed in each Petrie polygon, in five different central planes.[lower-alpha 40]
  42. The Petrie polygon of the 5-cell is the pentagon (5-gon), and the Petrie polygon of the 120-cell is the triacontagon (30-gon).[lower-alpha 30] Each 120-cell Petrie 30-gon lies completely orthogonal to six 5-cell Petrie 5-gons, which belong to six of the 120 disjoint regular 5-cells inscribed in the 120-cell.[lower-alpha 4]
  43. 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.[16]
  44. Dodecahedra emerge as visible features in the 120-cell, but they also occur in the 600-cell as interior polytopes.[18]
  45. In the curved 3-dimensional space of the 120-cell's surface, each of the 600 vertices is surrounded by 15 pairs of polyhedral sections, each section at the "radial" distance of one of the 30 distinct chords. The vertex is not actually at the center of the polyhedron, because it is displaced in the fourth dimension out of the section's hyperplane, so that the apex vertex and its surrounding base polyhedron form a polyhedral pyramid. The characteristic chord is radial around the apex, as the pyramid's lateral edges.
  46. In the 120-cell's isoclinic rotations the rotation arc-angle is 12° (1/30 of a circle), not the 15.5~° arc of the #1 edge chord. Regardless of which central planes are the invariant rotation planes, any 120-cell isoclinic rotation by 12° will take the great polygon in every central plane to a congruent great polygon in a Clifford parallel central plane that is 12° away. Adjacent Clifford parallel great polygons (of every kind) are completely disjoint, and their nearest vertices are connected by two 120-cell edges (#1 chords of arc-length 15.5~°). The 12° rotation angle is not the arc of any vertex-to-vertex chord in the 120-cell. It occurs only as the two equal angles between adjacent Clifford parallel central planes,[lower-alpha 16] and it is the separation between adjacent rotation planes in all the 120-cell's various isoclinic rotations (not only in its characteristic rotation).
  47. 47.0 47.1 47.2 The isocline chord of the 120-cell's characteristic rotation[lower-alpha 23] is the #4 chord of 44.5~° arc-angle (the larger edge of the irregular great dodecagon), because in that isoclinic rotation each vertex moves to another vertex 4 edge-lengths away on a Petrie polygon, and the circular geodesic path it rotates on (its isocline)[lower-alpha 14] does not intersect any nearer vertices.
  48. 48.0 48.1 Isoclinic rotations take Clifford parallel planes to each other, as planes of rotation tilt sideways like coins flipping.[lower-alpha 15] The #4 chord[lower-alpha 35] bridge is significant in an isoclinic rotation in regular great hexagons (the 24-cell's characteristic rotation), in which the invariant rotation planes are a subset of the same 200 dodecagon central planes as the 120-cell's characteristic rotation (in irregular great hexagons).[lower-alpha 23] In each 12° arc[lower-alpha 47] of the 24-cell's characteristic rotation of the 120-cell, every regular great hexagon vertex is displaced to another vertex, in a Clifford parallel regular great hexagon that is a #4 chord away. Adjacent Clifford parallel regular great hexagons have six pairs of corresponding vertices joined by #4 chords. The six #4 chords are edges of six distinct great rectangles in six disjoint dodecagon central planes which are mutually Clifford parallel.
  49. This illustration shows just one of three related irregular great dodecagons that lie in three distinct △ central planes. Two of them (not shown) lie in Clifford parallel (disjoint) dodecagon planes, and share no vertices. The blue central rectangle of #4 and #11 edges lies in a third dodecagon plane, not Clifford parallel to either of the two disjoint dodecagon planes and intersecting them both; it shares two vertices (a 4 axis of the rectangle) with each of them. Each dodecagon plane contains two irregular great hexagons in alternate positions (not shown).[lower-alpha 18] Thus each #4 chord of the great rectangle shown is a bridge between two Clifford parallel irregular great hexagons that lie in the two dodecagon planes which are not shown.[lower-alpha 48]
  50. The regular 5-cell has only digon central planes intersecting two vertices. The 120-cell with 120 inscribed regular 5-cells contains great rectangles whose longer edges are these digons, the edges of inscribed 5-cells of length 2.5. Three disjoint rectangles occur in one {12} central plane, where the six #8 2.5 chords belong to six disjoint 5-cells. The 120 sections and 180 sections are regular tetrahedra of edge length 2.5, the cells of regular 5-cells. The regular 5-cells' ten triangle faces lie in those sections; each of a face's three 2.5 edges lies in a different {12} central plane.
  51. 51.0 51.1 Although perpendicular and linked (like adjacent links in a taught chain), completely orthogonal great polygons are also parallel, and lie exactly opposite each other in the 4-polytope, in planes that do not intersect except at one point, the common center of the two linked circles.
  52. The plane in which an entire invariant plane rotates (tilts sideways) is (incompletely) orthogonal to both completely orthogonal invariant planes, and also Clifford parallel to both of them.[lower-alpha 51]
  53. The 90 degree isoclinic rotation of two completely orthogonal planes takes them to each other. In such a rotation of a rigid 4-polytope, all 6 orthogonal planes rotate by 90 degrees, and also tilt sideways by 90 degrees to their completely orthogonal (Clifford parallel) plane.[20] The corresponding vertices of the two completely orthogonal great polygons are 4 (180°) apart; the great polygons (Clifford parallel polytopes) are 4 (180°) apart; but the two completely orthogonal planes are 90° apart, in the two orthogonal angles that separate them.[lower-alpha 16] If the isoclinic rotation is continued through another 90°, each vertex completes a 360° rotation and each great polygon returns to its original plane, but in a different orientation (axes swapped): it has been turned "upside down" on the surface of the 4-polytope (which is now "inside out"). Continuing through a second 360° isoclinic rotation (through four 90° by 90° isoclinic steps, a 720° rotation) returns everything to its original place and orientation.
  54. It is easiest to visualize this incorrectly, because the completely orthogonal great circles are Clifford parallel and do not intersect. An invariant plane tilts sideways in an orthogonal central plane which is not its completely orthogonal plane, but Clifford parallel to it. It rotates with its completely orthogonal plane, but not in it. It is Clifford parallel to its completely orthogonal plane, and does not intersect it; the plane that it rotates in is orthogonal to both completely orthogonal planes and intersects them both.[lower-alpha 52] In the 120-cell's characteristic rotation,[lower-alpha 23] each invariant rotation plane is Clifford parallel to its completely orthogonal plane, but not adjacent to it; it reaches some other (nearest) parallel plane first. But if the isoclinic rotation taking it through successive Clifford parallel planes is continued through 90°, the vertices will have moved 180° and the tilting rotation plane will reach its (original) completely orthogonal plane.[lower-alpha 53]
  55. 55.0 55.1 Rotations in 4-dimensional Euclidean space are defined by at least one pair of completely orthogonal[lower-alpha 51] central planes of rotation which are invariant, which means that all points in the plane stay in the plane as the plane moves. A distinct left (and right) isoclinic[lower-alpha 16] rotation may have multiple pairs of completely orthogonal invariant planes, and all those invariant planes are mutually Clifford parallel. A distinct class of discrete isoclinic rotation has a characteristic kind of great polygon in its invariant planes.[lower-alpha 19] It has multiple distinct left (and right) rotation instances called fibrations, which have disjoint sets of invariant rotation planes. The fibrations are disjoint bundles of Clifford parallel circular fibers, the great circle polygons in their invariant planes.
  56. In the 120-cell, completely orthogonal to every great circle polygon lies another great circle polygon of the same kind. The set of Clifford parallel invariant planes of a distinct isoclinic rotation is a set of such completely orthogonal pairs.[lower-alpha 55]
  57. Each kind of rotation plane has its characteristic fibration divisor, denoting the number of fiber bundles of Clifford parallel great circle polygons (of each distinct kind) that are found in rotation planes of that kind. Each bundle covers all the vertices of the 120-cell exactly once, so the total number of vertices in the great circle polygons of one kind, divided by the number of bundles, is always 600, the number of distinct vertices. For example, "400 irregular great hexagons / 4".
  58. 58.0 58.1 In the 120-cell, each 24-cell belongs to two different 600-cells.[23] The 120-cell contains 225 distinct 24-cells and can be partitioned into 25 disjoint 24-cells, so it is the convex hull of a compound of 25 24-cells.[24]
  59. The 10 tetrahedra in each dodecahedron overlap; but the 600 tetrahedra in each 600-cell do not, so each of the 10 must belong to a different 600-cell.
  60. 60.0 60.1 Each 120-cell vertex figure is actually a low tetrahedral pyramid, an irregular 5-cell with a regular tetrahedron base.
  61. 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.
  62. A 24-cell contains 16 hexagons. In the 600-cell, with 25 24-cells, each 24-cell is disjoint from 8 24-cells and intersects each of the other 16 24-cells in six vertices that form a hexagon.[40] A 600-cell contains 25・16/2 = 200 such hexagons.
  63. Each regular great hexagon is shared by two 24-cells in the same 600-cell,[lower-alpha 62] and each 24-cell is shared by two 600-cells.[lower-alpha 58] Each regular hexagon is shared by four 600-cells.
  64. The diminishment of the 600-point 120-cell to a 480-point 4-polytope by removal of one if its 600-cells is analogous to the diminishment of the 120-point 600-cell by removal of one of its 5 disjoint inscribed 24-cells, creating the 96-point snub 24-cell. Similarly, the 8-cell tesseract can be seen as a 16-point diminished 24-cell from which one 8-point 16-cell has been removed.

Citations

  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. 3.0 3.1 Coxeter 1973, pp. 292-293, Table I(ii); "120-cell".
  4. Dechant 2021, p. 20, Remark 5.7, explains why not.[lower-alpha 5]
  5. Dechant 2021, Abstract; "[E]very 3D root system allows the construction of a corresponding 4D root system via an ‘induction theorem’. In this paper, we look at the icosahedral case of H3 → H4 in detail and perform the calculations explicitly. Clifford algebra is used to perform group theoretic calculations based on the versor theorem and the Cartan-Dieudonné theorem ... shed[ding] light on geometric aspects of the H4 root system (the 600-cell) as well as other related polytopes and their symmetries ... including the construction of the Coxeter plane, which is used for visualising the complementary pairs of invariant polytopes.... This approach therefore constitutes a more systematic and general way of performing calculations concerning groups, in particular reflection groups and root systems, in a Clifford algebraic framework."
  6. Mathematics and Its History, John Stillwell, 1989, 3rd edition 2010, ISBN 0-387-95336-1
  7. 7.0 7.1 Stillwell 2001.
  8. Coxeter 1973, pp. 156-157, §8.7 Cartesian coordinates.
  9. 9.0 9.1 Mamone, Pileio & Levitt 2010, p. 1442, Table 3.
  10. Mamone, Pileio & Levitt 2010, p. 1433, §4.1; A Cartesian 4-coordinate point (w,x,y,z) is a vector in 4D space from (0,0,0,0). Four-dimensional real space is a vector space: any two vectors can be added or multiplied by a scalar to give another vector. Quaternions extend the vectorial structure of 4D real space by allowing the multiplication of two 4D vectors [math]\displaystyle{ \left(w,x,y,z\right)_1 }[/math] and [math]\displaystyle{ \left(w,x,y,z\right)_2 }[/math] according to
    [math]\displaystyle{ \begin{pmatrix} w_2\\ x_2\\ y_2\\ z_2 \end{pmatrix} \begin{pmatrix} w_1\\ x_1\\ y_1\\ z_1 \end{pmatrix} = \begin{pmatrix} {w_2 w_1 - x_2 x_1 - y_2 y_1 - z_2 z_1}\\ {w_2 x_1 + x_2 w_1 + y_2 z_1 - z_2 y_1}\\ {w_2 y_1 - x_2 z_1 + y_2 w_1 + z_2 x_1}\\ {w_2 z_1 + x_2 y_1 - y_2 x_1 + z_2 w_1} \end{pmatrix} }[/math]
  11. Kim & Rote 2016, p. 7, §6 Angles between two Planes in 4-Space; "In four (and higher) dimensions, we need two angles to fix the relative position between two planes. (More generally, k angles are defined between k-dimensional subspaces.)".
  12. Coxeter 1973, p. 304, Table VI (iv): 𝐈𝐈 = {5,3,3}.
  13. Mamone, Pileio & Levitt 2010, pp. 1438-1439, §4.5 Regular Convex 4-Polytopes, Table 2, Symmetry group 𝛨4; the 120-cell has 7200 distinct rotational displacements (and 7200 reflections), which can be grouped as 25 distinct isoclinic rotations.[lower-alpha 24]
  14. Coxeter 1973, pp. 300-301, Table V:(v) Simplified sections of {5,3,3} (edge 2φ−2√2 [radius 4]) beginning with a vertex; Coxeter's table lists 16 non-point sections labelled 10 − 160, polyhedra whose successively increasing "radii" on the 3-sphere (in column 2la) are the following chords in our notation:[lower-alpha 32] #1, #2, #3, 41.4~°, #4, 49.1~°, 56.0~°, #5, 66.1~°, 69.8~°, #6, 75.5~°, 81.1~°, 84.5~°, #7, 95.5~°, ..., #15. The remaining distinct chords occur as the longer "radii" of the second set of 16 opposing polyhedral sections (in column a for (30−i)0) which lists #15, #14, #13, #12, 138.6~°, #11, 130.1~°, 124~°, #10, 113.9~°, 110.2~°, #9, #8, 98.9~°, 95.5~°, #7, 84.5~°, ..., or at least they occur among the 180° complements of all those Coxeter-listed chords. The complete ordered set of 30 distinct chords is 0°, #1, #2, #3, 41.4~°, #4, 49.1~°, 56~°, #5, 66.1~°, 69.8~°, #6, 75.5~°, 81.1~°, 84.5~°, #7, 95.5~°, #8, #9, 110.2°, 113.9°, #10, 124°, 130.1°, #11, 138.6°, #12, #13, #14, #15. The chords also occur among the edge-lengths of the polyhedral sections (in column 2lb, which lists only: #2, .., #3, .., 69.8~°, .., .., #3, .., .., #5, #8, .., .., .., #7, ... because the multiple edge-lengths of irregular polyhedral sections are not given).
  15. Coxeter 1973, p. 147, §8.1 The simple truncations of the general regular polytope.
  16. Copher 2019, p. 6, §3.2 Theorem 3.4.
  17. Schleimer & Segerman 2013.
  18. Coxeter 1973, p. 298, Table V: (iii) Sections of {3,3,5} beginning with a vertex.
  19. Coxeter 1973, pp. 300-301, Table V:(v) Simplified sections of {5,3,3} (edge 2φ−2√2 [radius 4]) beginning with a vertex; Coxeter's table lists 16 non-point sections labelled 10 − 160, but 140 and 160 are congruent opposing sections and 150 opposes itself; there are 29 non-point sections, denoted 10 − 290, in 15 opposing pairs.
  20. Kim & Rote 2016, pp. 8-10, Relations to Clifford Parallelism.
  21. Mamone, Pileio & Levitt 2010, §4.5 Regular Convex 4-Polytopes, Table 2.
  22. Carlo H. Séquin (July 2005). Symmetrical Hamiltonian manifolds on regular 3D and 4D polytopes. Mathartfun.com. pp. 463–472. ISBN 9780966520163. https://archive.bridgesmathart.org/2005/bridges2005-463.html#gsc.tab=0. Retrieved March 13, 2023. 
  23. van Ittersum 2020, p. 435, §4.3.5 The two 600-cells circumscribing a 24-cell.
  24. Denney et al. 2020, p. 5, §2 The Labeling of H4.
  25. Coxeter 1973, p. 305, Table VII: Regular Compounds in Four Dimensions.
  26. Waegell & Aravind 2014, pp. 3-4, §2 Geometry of the 120-cell: rays and bases.
  27. Sullivan 1991, pp. 4-5, The Dodecahedron.
  28. Coxeter et al. 1938, p. 4; "Just as a tetrahedron can be inscribed in a cube, so a cube can be inscribed in a dodecahedron. By reciprocation, this leads to an octahedron circumscribed about an icosahedron. In fact, each of the twelve vertices of the icosahedron divides an edge of the octahedron according to the "golden section". Given the icosahedron, the circumscribed octahedron can be chosen in five ways, giving a compound of five octahedra, which comes under our definition of stellated icosahedron. (The reciprocal compound, of five cubes whose vertices belong to a dodecahedron, is a stellated triacontahedron.) Another stellated icosahedron can at once be deduced, by stellating each octahedron into a stella octangula, thus forming a compound of ten tetrahedra. Further, we can choose one tetrahedron from each stella octangula, so as to derive a compound of five tetrahedra, which still has all the rotation symmetry of the icosahedron (i.e. the icosahedral group), although it has lost the reflections. By reflecting this figure in any plane of symmetry of the icosahedron, we obtain the complementary set of five tetrahedra. These two sets of five tetrahedra are enantiomorphous, i.e. not directly congruent, but related like a pair of shoes. [Such] a figure which possesses no plane of symmetry (so that it is enantiomorphous to its mirror-image) is said to be chiral."
  29. Waegell & Aravind 2014, pp. 5-6.
  30. Koca, Al-Ajmi & Ozdes Koca 2011, pp. 986-988, 6. Dual of the snub 24-cell.
  31. Coxeter 1973, §1.8 Configurations.
  32. Coxeter 1991, p. 117.
  33. 33.0 33.1 Sullivan 1991, p. 15, Other Properties of the 120-cell.
  34. Schleimer & Segerman 2013, p. 16, §6.1. Layers of dodecahedra.
  35. Coxeter 1970, pp. 19-23, §9. The 120-cell and the 600-cell.
  36. Schleimer & Segerman 2013, pp. 16-18, §6.2. Rings of dodecahedra.
  37. Banchoff 2013.
  38. Zamboj 2021, pp. 6-12, §2 Mathematical background.
  39. Zamboj 2021, pp. 23-29, §5 Hopf tori corresponding to circles on B2.
  40. Denney et al. 2020, p. 438.
  41. Chilton 1964.
  42. Dechant 2021, pp. 18-20, 6. The Coxeter Plane.
  43. Denney et al. 2020.

References

External links

Fundamental convex regular and uniform polytopes in dimensions 2–10
Family An Bn I2(p) / Dn E6 / E7 / E8 / F4 / G2 Hn
Regular polygon Triangle Square p-gon Hexagon Pentagon
Uniform polyhedron Tetrahedron OctahedronCube Demicube DodecahedronIcosahedron
Uniform 4-polytope 5-cell 16-cellTesseract Demitesseract 24-cell 120-cell600-cell
Uniform 5-polytope 5-simplex 5-orthoplex5-cube 5-demicube
Uniform 6-polytope 6-simplex 6-orthoplex6-cube 6-demicube 122221
Uniform 7-polytope 7-simplex 7-orthoplex7-cube 7-demicube 132231321
Uniform 8-polytope 8-simplex 8-orthoplex8-cube 8-demicube 142241421
Uniform 9-polytope 9-simplex 9-orthoplex9-cube 9-demicube
Uniform 10-polytope 10-simplex 10-orthoplex10-cube 10-demicube
Uniform n-polytope n-simplex n-orthoplexn-cube n-demicube 1k22k1k21 n-pentagonal polytope
Topics: Polytope familiesRegular polytopeList of regular polytopes and compounds