Английская Википедия:600-cell

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description Шаблон:Infobox polychoron

Файл:600-cell net.png
Net

In geometry, the 600-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol {3,3,5}. It is also known as the C600, hexacosichoron[1] and hexacosihedroid.[2] It is also called a tetraplex (abbreviated from "tetrahedral complex") and a polytetrahedron, being bounded by tetrahedral cells.

The 600-cell's boundary is composed of 600 tetrahedral cells with 20 meeting at each vertex.Шаблон:Efn Together they form 1200 triangular faces, 720 edges, and 120 vertices. It is the 4-dimensional analogue of the icosahedron, since it has five tetrahedra meeting at every edge, just as the icosahedron has five triangles meeting at every vertex.Шаблон:Efn Its dual polytope is the 120-cell.

Geometry

The 600-cell is the fifth in the sequence of 6 convex regular 4-polytopes (in order of size and complexity).Шаблон:Efn It can be deconstructed into twenty-five overlapping instances of its immediate predecessor the 24-cell,Шаблон:Sfn as the 24-cell can be deconstructed into three overlapping instances of its predecessor the tesseract (8-cell), and the 8-cell can be deconstructed into two overlapping instances of its predecessor the 16-cell.Шаблон:Sfn

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.Шаблон:Efn The 24-cell's edge length equals its radius, but the 600-cell's edge length is ~0.618 times its radius. The 600-cell's radius and edge length are in the golden ratio.

Шаблон:Regular convex 4-polytopes

Coordinates

Unit radius Cartesian coordinates

The vertices of a 600-cell of unit radius centered at the origin of 4-space, with edges of length Шаблон:Sfrac ≈ 0.618 (where φ = Шаблон:Sfrac ≈ 1.618 is the golden ratio), can be givenШаблон:Sfn as follows:

8 vertices obtained from

(0, 0, 0, ±1)

by permuting coordinates, and 16 vertices of the form:

Шаблон:Sfrac, ±Шаблон:Sfrac, ±Шаблон:Sfrac, ±Шаблон:Sfrac)

The remaining 96 vertices are obtained by taking even permutations of

Шаблон:Sfrac, ±Шаблон:Sfrac, ±Шаблон:Sfrac, 0)

Note that the first 8 are the vertices of a 16-cell, the second 16 are the vertices of a tesseract, and those 24 vertices together are the vertices of a 24-cell. The remaining 96 vertices are the vertices of a snub 24-cell, which can be found by partitioning each of the 96 edges of another 24-cell (dual to the first) in the golden ratio in a consistent manner.Шаблон:Sfn

When interpreted as quaternions,Шаблон:Efn these are the unit icosians.

In the 24-cell, there are squares, hexagons and triangles that lie on great circles (in central planes through four or six vertices).Шаблон:Efn In the 600-cell there are twenty-five overlapping inscribed 24-cells, with each vertex and square shared by five 24-cells, and each hexagon or triangle shared by two 24-cells.Шаблон:Efn In each 24-cell there are three disjoint 16-cells, so in the 600-cell there are 75 overlapping inscribed 16-cells.Шаблон:Efn Each 16-cell constitutes a distinct orthonormal basis for the choice of a coordinate reference frame.

The 60 axes and 75 16-cells of the 600-cell constitute a geometric configuration, which in the language of configurations is written as 605754 to indicate that each axis belongs to 5 16-cells, and each 16-cell contains 4 axes.Шаблон:Sfn Each axis is orthogonal to exactly 15 others, and these are just its companions in the 5 16-cells in which it occurs.

Hopf spherical coordinates

In the 600-cell there are also great circle pentagons and decagons (in central planes through ten vertices).Шаблон:Efn

Only the decagon edges are visible elements of the 600-cell (because they are the edges of the 600-cell). The edges of the other great circle polygons are interior chords of the 600-cell, which are not shown in any of the 600-cell renderings in this article (except where shown as dashed lines).

By symmetry, an equal number of polygons of each kind pass through each vertex; so it is possible to account for all 120 vertices as the intersection of a set of central polygons of only one kind: decagons, hexagons, pentagons, squares, or triangles. For example, the 120 vertices can be seen as the vertices of 15 pairs of completely orthogonalШаблон:Efn squares which do not share any vertices, or as 100 dual pairs of non-orthogonal hexagons between which all axis pairs are orthogonal, or as 144 non-orthogonal pentagons six of which intersect at each vertex. This latter pentagonal symmetry of the 600-cell is captured by the set of Hopf coordinatesШаблон:Efn (𝜉i, 𝜂, 𝜉j) given as:

({<10}Шаблон:Sfrac, {≤5}Шаблон:Sfrac, {<10}Шаблон:Sfrac)

where {<10} is the permutation of the ten digits (0 1 2 3 4 5 6 7 8 9) and {≤5} is the permutation of the six digits (0 1 2 3 4 5). The 𝜉i and 𝜉j coordinates range over the 10 vertices of great circle decagons; even and odd digits label the vertices of the two great circle pentagons inscribed in each decagon.Шаблон:Efn

Structure

Polyhedral sections

The mutual distances of the vertices, measured in degrees of arc on the circumscribed hypersphere, only have the values 36° = Шаблон:Sfrac, 60° = Шаблон:Sfrac, 72° = Шаблон:Sfrac, 90° = Шаблон:Sfrac, 108° = Шаблон:Sfrac, 120° = Шаблон:Sfrac, 144° = Шаблон:Sfrac, and 180° = 𝜋. Departing from an arbitrary vertex V one has at 36° and 144° the 12 vertices of an icosahedron,Шаблон:Efn at 60° and 120° the 20 vertices of a dodecahedron, at 72° and 108° the 12 vertices of a larger icosahedron, at 90° the 30 vertices of an icosidodecahedron, and finally at 180° the antipodal vertex of V.Шаблон:SfnШаблон:SfnШаблон:Sfn These can be seen in the H3 Coxeter plane projections with overlapping vertices colored.Шаблон:Sfn

Файл:600-cell-polyhedral levels.png

These polyhedral sections are solids in the sense that they are 3-dimensional, but of course all of their vertices lie on the surface of the 600-cell (they are hollow, not solid). Each polyhedron lies in Euclidean 4-dimensional space as a parallel cross section through the 600-cell (a hyperplane). In the curved 3-dimensional space of the 600-cell's boundary surface envelope, the polyhedron surrounds the vertex V the way it surrounds its own center. But its own center is in the interior of the 600-cell, not on its surface. V is not actually at the center of the polyhedron, because it is displaced outward from that hyperplane in the fourth dimension, to the surface of the 600-cell. Thus V is the apex of a 4-pyramid based on the polyhedron.

Concentric Hulls
Файл:Hulls of H4only-orthonormal.png The 600-cell is projected to 3D using an orthonormal basis.

The vertices are sorted and tallied by their 3D norm. Generating the increasingly transparent hull of each set of tallied norms shows:

1) two points at the origin
2) two icosahedra
3) two dodecahedra
4) two larger icosahedra
5) and a single icosidodecahedron

for a total of 120 vertices. This is the view from any origin vertex. The 600-cell contains 60 distinct sets of these concentric hulls, one centered on each pair of antipodal vertices.

Golden chords

Файл:600-cell vertex geometry.png
Vertex geometry of the 600-cell, showing the 5 regular great circle polygons and the 8 vertex-to-vertex chord lengthsШаблон:Efn with angles of arc. The golden ratioШаблон:Efn governs the fractional roots of every other chord,Шаблон:Efn and the radial golden trianglesШаблон:Efn which meet at the center.

Шаблон:See also The 120 vertices are distributedШаблон:Sfn at eight different chord lengths from each other. These edges and chords of the 600-cell are simply the edges and chords of its five great circle polygons.Шаблон:Sfn In ascending order of length, they are Шаблон:Radic, Шаблон:Radic, Шаблон:Radic, Шаблон:Radic, Шаблон:Radic, Шаблон:Radic, Шаблон:Radic, and Шаблон:Radic.Шаблон:Efn

Notice that the four hypercubic chords of the 24-cell (Шаблон:Radic, Шаблон:Radic, Шаблон:Radic, Шаблон:Radic)Шаблон:Efn alternate with the four new chords of the 600-cell's additional great circles, the decagons and pentagons. The new golden chord lengths are necessarily square roots of fractions, but very special fractions related to the golden ratioШаблон:Efn including the two golden sections of Шаблон:Radic, as shown in the diagram.Шаблон:Efn

Boundary envelopes

Файл:600-cell.gif
A 3D projection of a 600-cell performing a simple rotation. The 3D surface made of 600 tetrahedra is visible.

The 600-cell rounds out the 24-cell by adding 96 more vertices between the 24-cell's existing 24 vertices,Шаблон:Efn in effect adding twenty-four more overlapping 24-cells inscribed in the 600-cell.Шаблон:Efn The new surface thus formed is a tessellation of smaller, more numerous cellsШаблон:Efn and faces: tetrahedra of edge length Шаблон:Sfrac ≈ 0.618 instead of octahedra of edge length 1. It encloses the Шаблон:Radic edges of the 24-cells, which become invisible interior chords in the 600-cell, like the [[24-cell#Hypercubic chords|Шаблон:Radic and Шаблон:Radic chords]].

Файл:24-cell.gif
A 3D projection of a 24-cell performing a simple rotation. The 3D surface made of 24 octahedra is visible. It is also present in the 600-cell, but as an invisible interior boundary envelope.

Since the tetrahedra are made of shorter triangle edges than the octahedra (by a factor of Шаблон:Sfrac, the inverse golden ratio), the 600-cell does not have unit edge-length in a unit-radius coordinate system the way the 24-cell and the tesseract do; unlike those two, the 600-cell is not radially equilateral. Like them it is radially triangular in a special way, but one in which golden triangles rather than equilateral triangles meet at the center.Шаблон:Efn

The boundary envelope of 600 small tetrahedral cells wraps around the twenty-five envelopes of 24 octahedral cells (adding some 4-dimensional space in places between these curved 3-dimensional envelopes). The shape of those interstices must be an octahedral 4-pyramid of some kind, but in the 600-cell it is not regular.Шаблон:Efn

Geodesics

The vertex chords of the 600-cell are arranged in geodesic great circle polygons of five kinds: decagons, hexagons, pentagons, squares, and triangles.Шаблон:Sfn

Файл:Stereographic polytope 600cell.png
Cell-centered stereographic projection of the 600-cell's 72 central decagons onto their great circles. Each great circle is divided into 10 arc-edges at the intersections where 6 great circles cross.

The Шаблон:Radic = 𝚽 edges form 72 flat regular central decagons, 6 of which cross at each vertex.Шаблон:Efn Just as the icosidodecahedron can be partitioned into 6 central decagons (60 edges = 6 × 10), the 600-cell can be partitioned into 72 decagons (720 edges = 72 × 10). The 720 Шаблон:Radic edges divide the surface into 1200 triangular faces and 600 tetrahedral cells: a 600-cell. The 720 edges occur in 360 parallel pairs, Шаблон:Radic apart. As in the decagon and the icosidodecahedron, the edges occur in golden trianglesШаблон:Efn which meet at the center of the polytope.Шаблон:Efn The 72 great decagons can be divided into 6 sets of 12 non-intersecting Clifford parallel geodesics,Шаблон:Efn such that only one decagonal great circle in each set passes through each vertex, and the 12 decagons in each set reach all 120 vertices.Шаблон:Sfn

The Шаблон:Radic chords form 200 central hexagons (25 sets of 16, with each hexagon in two sets),Шаблон:Efn 10 of which cross at each vertexШаблон:Efn (4 from each of five 24-cells that meet at the vertex, with each hexagon in two of those 24-cells).Шаблон:Efn Each set of 16 hexagons consists of the 96 edges and 24 vertices of one of the 25 overlapping inscribed 24-cells. The Шаблон:Radic chords join vertices which are two Шаблон:Radic edges apart. Each Шаблон:Radic chord is the long diameter of a face-bonded pair of tetrahedral cells (a triangular bipyramid), and passes through the center of the shared face. As there are 1200 faces, there are 1200 Шаблон:Radic chords, in 600 parallel pairs, Шаблон:Radic apart. The hexagonal planes are non-orthogonal (60 degrees apart) but they occur as 100 dual pairs in which all 3 axes of one hexagon are orthogonal to all 3 axes of its dual.Шаблон:Sfn The 200 great hexagons can be divided into 10 sets of 20 non-intersecting Clifford parallel geodesics, such that only one hexagonal great circle in each set passes through each vertex, and the 20 hexagons in each set reach all 120 vertices.Шаблон:Sfn

The Шаблон:Radic chords form 144 central pentagons, 6 of which cross at each vertex.Шаблон:Efn The Шаблон:Radic chords run vertex-to-every-second-vertex in the same planes as the 72 decagons: two pentagons are inscribed in each decagon. The Шаблон:Radic chords join vertices which are two Шаблон:Radic edges apart on a geodesic great circle. The 720 Шаблон:Radic chords occur in 360 parallel pairs, Шаблон:Radic = φ apart.

The Шаблон:Radic chords form 450 central squares, 15 of which cross at each vertex (3 from each of the five 24-cells that meet at the vertex). The Шаблон:Radic chords join vertices which are three Шаблон:Radic edges apart (and two Шаблон:Radic chords apart). There are 600 Шаблон:Radic chords, in 300 parallel pairs, Шаблон:Radic apart. The 450 great squares (225 completely orthogonalШаблон:Efn pairs) can be divided into 15 sets of 30 non-intersecting Clifford parallel geodesics, such that only one square great circle in each set passes through each vertex, and the 30 squares (15 completely orthogonal pairs) in each set reach all 120 vertices.Шаблон:Sfn

The Шаблон:Radic = φ chords form the legs of 720 central isosceles triangles (72 sets of 10 inscribed in each decagon), 6 of which cross at each vertex. The third edge (base) of each isosceles triangle is of length Шаблон:Radic. The Шаблон:Radic chords run vertex-to-every-third-vertex in the same planes as the 72 decagons, joining vertices which are three Шаблон:Radic edges apart on a geodesic great circle. There are 720 distinct Шаблон:Radic chords, in 360 parallel pairs, Шаблон:Radic apart.

The Шаблон:Radic chords form 400 equilateral central triangles (25 sets of 32, with each triangle in two sets), 10 of which cross at each vertex (4 from each of five 24-cells, with each triangle in two of the 24-cells). Each set of 32 triangles consists of the 96 Шаблон:Radic chords and 24 vertices of one of the 25 overlapping inscribed 24-cells. The Шаблон:Radic chords run vertex-to-every-second-vertex in the same planes as the 200 hexagons: two triangles are inscribed in each hexagon. The Шаблон:Radic chords join vertices which are four Шаблон:Radic edges apart (and two Шаблон:Radic chords apart on a geodesic great circle). Each Шаблон:Radic chord is the long diameter of two cubic cells in the same 24-cell.Шаблон:Efn There are 1200 Шаблон:Radic chords, in 600 parallel pairs, Шаблон:Radic apart.

The Шаблон:Radic chords (the diagonals of the pentagons) form the legs of 720 central isosceles triangles (144 sets of 5 inscribed in each pentagon), 6 of which cross at each vertex. The third edge (base) of each isosceles triangle is an edge of the pentagon of length Шаблон:Radic, so these are golden triangles.Шаблон:Efn The Шаблон:Radic chords run vertex-to-every-fourth-vertex in the same planes as the 72 decagons, joining vertices which are four Шаблон:Radic edges apart on a geodesic great circle. There are 720 distinct Шаблон:Radic chords, in 360 parallel pairs, Шаблон:Radic apart.

The Шаблон:Radic chords occur as 60 long diameters (75 sets of 4 orthogonal axes with each set comprising a 16-cell), the 120 long radii of the 600-cell. The Шаблон:Radic chords join opposite vertices which are five Шаблон:Radic edges apart on a geodesic great circle. There are 25 distinct but overlapping sets of 12 diameters, each comprising one of the 25 inscribed 24-cells.Шаблон:Efn There are 75 distinct but overlapping sets of 4 orthogonal diameters, each comprising one of the 75 inscribed 16-cells.

The sum of the squared lengthsШаблон:Efn of all these distinct chords of the 600-cell is 14,400 = 1202.Шаблон:Efn These are all the central polygons through vertices, but the 600-cell does have one noteworthy great circle that does not pass through any vertices (a 0-gon).Шаблон:Efn Moreover, in 4-space there are geodesics on the 3-sphere which do not lie in central planes at all. There are geodesic shortest paths between two 600-cell vertices that are helical rather than simply circular; they correspond to isoclinic (diagonal) rotations rather than simple rotations.Шаблон:Efn

All the geodesic polygons enumerated above lie in central planes of just three kinds, each characterized by a rotation angle: decagon planes (Шаблон:Sfrac apart), hexagon planes (Шаблон:Sfrac apart, also in the 25 inscribed 24-cells), and square planes (Шаблон:Sfrac apart, also in the 75 inscribed 16-cells and the 24-cells). These central planes of the 600-cell can be divided into 4 orthogonal central hyperplanes (3-spaces) each forming an icosidodecahedron. There are 450 great squares 90 degrees apart; 200 great hexagons 60 degrees apart; and 72 great decagons 36 degrees apart.Шаблон:Efn Each great square plane is completely orthogonalШаблон:Efn to another great square plane. Each great hexagon plane is completely orthogonal to a plane which intersects only two vertices (one Шаблон:Radic long diameter): a great digon plane.Шаблон:Efn Each great decagon plane is completely orthogonal to a plane which intersects no vertices: a great 0-gon plane.Шаблон:Efn

Fibrations of great circle polygons

Each set of similar great circle polygons (squares or hexagons or decagons) can be divided into bundles of non-intersecting Clifford parallel great circles (of 30 squares or 20 hexagons or 12 decagons).Шаблон:Efn Each fiber bundle of Clifford parallel great circlesШаблон:Efn is a discrete Hopf fibration which fills the 600-cell, visiting all 120 vertices just once.Шаблон:Sfn Each discrete Hopf fibration has its 3-dimensional base which is a distinct polyhedron that acts as a map or scale model of the fibration.Шаблон:Efn The great circle polygons in each bundle spiral around each other, delineating helical rings of face-bonded cells which nest into each other, pass through each other without intersecting in any cells and exactly fill the 600-cell with their disjoint cell sets. The different fiber bundles with their cell rings each fill the same space (the 600-cell) but their fibers run Clifford parallel in different "directions"; great circle polygons in different fibrations are not Clifford parallel.Шаблон:Sfn

Decagons
Файл:Regular star figure 6(5,2).svg
Triacontagram {30/12}=6{5/2} is the Schläfli double six configuration 302125 characteristic of the H4 polytopes.Шаблон:^ The 30 vertex circumference is the skew Petrie polygon.Шаблон:Efn The interior angle between adjacent edges is 36°, also the isoclinic angle between adjacent Clifford parallel decagon planes.Шаблон:Efn In the 120-cell, the six disjoint pentagrams are inscribed regular 5-cells of edge-length Шаблон:Radic.

The fibrations of the 600-cell include 6 fibrations of its 72 great decagons: 6 fiber bundles of 12 great decagons.Шаблон:Efn The 12 Clifford parallel decagons in each bundle are completely disjoint. Adjacent parallel decagons are spanned by edges of other great decagons.

Each fiber bundleШаблон:Efn delineates 20 helical rings of 30 tetrahedral cells each,Шаблон:Efn with five rings nesting together around each decagon.Шаблон:Sfn The Hopf map of this fibration is the icosahedron, where each of 12 vertices lifts to a great decagon, and each of 20 triangular faces lifts to a 30-cell ring.Шаблон:Efn Each tetrahedral cell occupies only one of the 20 cell rings in each of the 6 fibrations. The tetrahedral cell contributes each of its 6 edges to a decagon in a different fibration, but contributes that edge to five distinct cell rings in the fibration.Шаблон:Efn

The 12 great circles and 30-cell rings of the 600-cell's 6 characteristic Hopf fibrations make the 600-cell a geometric configuration of 30 "points" and 12 "lines" written as 302125.Шаблон:^ It is called the Schläfli double six configuration after Ludwig Schläfli,Шаблон:Sfn the Swiss mathematician who discovered the 600-cell and the complete set of regular polytopes in n dimensions.Шаблон:Sfn

Hexagons

The fibrations of the 24-cell include 4 fibrations of its 16 great hexagons: 4 fiber bundles of 4 great hexagons. The 4 Clifford parallel hexagons in each bundle are completely disjoint. Adjacent parallel hexagons are spanned by edges of other great hexagons. Each fiber bundle delineates 4 helical rings of 6 octahedral cells each, with three rings nesting together around each hexagon. Each octahedral cell occupies only one cell ring in each of the 4 fibrations. The octahedral cell contributes 3 of its 12 edges to 3 different Clifford parallel hexagons in each fibration, but contributes each edge to three distinct cell rings in the fibration.

The 600-cell contains 25 24-cells, and can be seen (10 different ways) as a compound of 5 disjoint 24-cells.Шаблон:Efn It has 10 fibrations of its 200 great hexagons: 10 fiber bundles of 20 great hexagons. The 20 Clifford parallel hexagons in each bundle are completely disjoint. Adjacent parallel hexagons are spanned by edges of great decagons.Шаблон:Efn Each fiber bundle delineates 20 helical rings of 6 octahedral cells each, with three rings nesting together around each hexagon. The Hopf map of this fibration is the dodecahedron, where the 20 vertices each lift to a bundle of great hexagons.Шаблон:Sfn Each octahedral cell occupies only one of the 20 6-octahedron rings in each of the 10 fibrations. The 20 6-octahedron rings belong to 5 disjoint 24-cells of 4 6-octahedron rings each; each hexagonal fibration of the 600-cell consists of 5 disjoint 24-cells.

Squares

The fibrations of the 16-cell include 3 fibrations of its 6 great squares: 3 fiber bundles of 2 great squares. The 2 Clifford parallel squares in each bundle are completely disjoint. Adjacent parallel squares are spanned by edges of other great squares. Each fiber bundle delineates 2 helical rings of 8 tetrahedral cells each. Each tetrahedral cell occupies only one cell ring in each of the 3 fibrations. The tetrahedral cell contributes each of its 6 edges to a different square (contributing two opposite non-intersecting edges to each of the 3 fibrations), but contributes each edge to both of the two distinct cell rings in the fibration.

The 600-cell contains 75 16-cells, and can be seen (10 different ways) as a compound of 15 disjoint 16-cells. It has 15 fibrations of its 450 great squares: 15 fiber bundles of 30 great squares. The 30 Clifford parallel squares in each bundle are completely disjoint. Adjacent parallel squares are spanned by edges of great decagons.Шаблон:Efn Each fiber bundle delineates 30 cell-disjoint helical rings of 8 tetrahedral cells each.Шаблон:Efn The Hopf map of this fibration is the icosidodecahedron,Шаблон:Efn where the 30 vertices each lift to a bundle of great squares.Шаблон:Sfn Each tetrahedral cell occupies only one of the 30 8-tetrahedron rings in each of the 15 fibrations.

Clifford parallel cell rings

The densely packed helical cell ringsШаблон:SfnШаблон:SfnШаблон:Sfn of fibrations are cell-disjoint, but they share vertices, edges and faces. Each fibration of the 600-cell can be seen as a dense packing of cell rings with the corresponding faces of adjacent cell rings face-bonded to each other.Шаблон:Efn The same fibration can also be seen as a minimal sparse arrangement of fewer completely disjoint cell rings that do not touch at all.Шаблон:Efn

The fibrations of great decagons can be seen (five different ways) as 4 completely disjoint 30-cell rings with spaces separating them, rather than as 20 face-bonded cell rings, by leaving out all but one cell ring of the five that meet at each decagon.Шаблон:Sfn The five different ways you can do this are equivalent, in that all five correspond to the same discrete fibration (in the same sense that the 6 decagonal fibrations are equivalent, in that all 6 cover the same 600-cell). The 4 cell rings still constitute the complete fibration: they include all 12 Clifford parallel decagons, which visit all 120 vertices.Шаблон:Efn This subset of 4 of 20 cell rings is dimensionally analogousШаблон:Efn to the subset of 12 of 72 decagons, in that both are sets of completely disjoint Clifford parallel polytopes which visit all 120 vertices.Шаблон:Efn The subset of 4 of 20 cell rings is one of 5 fibrations within the fibration of 12 of 72 decagons: a fibration of a fibration. All the fibrations have this two level structure with subfibrations.

The fibrations of the 24-cell's great hexagons can be seen (three different ways) as 2 completely disjoint 6-cell rings with spaces separating them, rather than as 4 face-bonded cell rings, by leaving out all but one cell ring of the three that meet at each hexagon. Therefore each of the 10 fibrations of the 600-cell's great hexagons can be seen as 2 completely disjoint octahedral cell rings.

The fibrations of the 16-cell's great squares can be seen (two different ways) as a single 8-tetrahedral-cell ring with an adjacent cell-ring-sized empty space, rather than as 2 face-bonded cell rings, by leaving out one of the two cell rings that meet at each square. Therefore each of the 15 fibrations of the 600-cell's great squares can be seen as a single tetrahedral cell ring.Шаблон:Efn

The sparse constructions of the 600-cell's fibrations correspond to lower-symmetry decompositions of the 600-cell, 24-cell or 16-cell with cells of different colors to distinguish the cell rings from the spaces between them.Шаблон:Efn The particular lower-symmetry form of the 600-cell corresponding to the sparse construction of the great decagon fibrations is dimensionally analogousШаблон:Efn to the snub tetrahedron form of the icosahedron (which is the baseШаблон:Efn of these fibrations on the 2-sphere). Each of the 20 Boerdijk-Coxeter cell ringsШаблон:Efn is lifted from a corresponding face of the icosahedron.Шаблон:Efn

Constructions

The 600-cell incorporates the geometries of every convex regular polytope in the first four dimensions, except the 5-cell, the 120-cell, and the polygons {7} and above.Шаблон:Sfn Consequently, there are numerous ways to construct or deconstruct the 600-cell, but none of them are trivial. The construction of the 600-cell from its regular predecessor the 24-cell can be difficult to visualize.

Gosset's construction

Thorold Gosset discovered the semiregular 4-polytopes, including the snub 24-cell with 96 vertices, which falls between the 24-cell and the 600-cell in the sequence of convex 4-polytopes of increasing size and complexity in the same radius. Gosset's construction of the 600-cell from the 24-cell is in two steps, using the snub 24-cell as an intermediate form. In the first, more complex step (described elsewhere) the snub 24-cell is constructed by a special snub truncation of a 24-cell at the golden sections of its edges.Шаблон:Sfn In the second step the 600-cell is constructed in a straightforward manner by adding 4-pyramids (vertices) to facets of the snub 24-cell.Шаблон:Sfn

The snub 24-cell is a diminished 600-cell from which 24 vertices (and the cluster of 20 tetrahedral cells around each) have been truncated,Шаблон:Efn leaving a "flat" icosahedral cell in place of each removed icosahedral pyramid.Шаблон:Efn The snub 24-cell thus has 24 icosahedral cells and the remaining 120 tetrahedral cells. The second step of Gosset's construction of the 600-cell is simply the reverse of this diminishing: an icosahedral pyramid of 20 tetrahedral cells is placed on each icosahedral cell.

Constructing the unit-radius 600-cell from its precursor the unit-radius 24-cell by Gosset's method actually requires three steps. The 24-cell precursor to the snub-24 cell is not of the same radius: it is larger, since the snub-24 cell is its truncation. Starting with the unit-radius 24-cell, the first step is to reciprocate it around its midsphere to construct its outer canonical dual: a larger 24-cell, since the 24-cell is self-dual. That larger 24-cell can then be snub truncated into a unit-radius snub 24-cell.

Cell clusters

Since it is so indirect, Gosset's construction may not help us very much to directly visualize how the 600 tetrahedral cells fit together into a curved 3-dimensional surface envelope,Шаблон:Efn or how they lie on the underlying surface envelope of the 24-cell's octahedral cells. For that it is helpful to build up the 600-cell directly from clusters of tetrahedral cells.

Most of us have difficulty visualizing the 600-cell from the outside in 4-space, or recognizing an outside view of the 600-cell due to our total lack of sensory experience in 4-dimensional spaces,Шаблон:Sfn but we should be able to visualize the surface envelope of 600 cells from the inside because that volume is a 3-dimensional space that we could actually "walk around in" and explore.Шаблон:Sfn In these exercises of building the 600-cell up from cell clusters, we are entirely within a 3-dimensional space, albeit a strangely small, closed curved space, in which we can go a mere ten edge lengths away in a straight line in any direction and return to our starting point.

Icosahedra
Файл:Uniform polyhedron-43-h01.svg
A regular icosahedron colored in snub octahedron symmetry.Шаблон:Efn Icosahedra in the 600-cell are face bonded to each other at the yellow faces, and to clusters of 5 tetrahedral cells at the blue faces. The apex of the icosahedral pyramid (not visible) is a 13th 600-cell vertex inside the icosahedron (but above its hyperplane).
Файл:5-cell net.png
A cluster of 5 tetrahedral cells: four cells face-bonded around a fifth cell (not visible). The four cells lie in different hyperplanes.

The vertex figure of the 600-cell is the icosahedron.Шаблон:Efn Twenty tetrahedral cells meet at each vertex, forming an icosahedral pyramid whose apex is the vertex, surrounded by its base icosahedron. The 600-cell has a dihedral angle of Шаблон:Nowrap.Шаблон:Sfn

An entire 600-cell can be assembled from 24 such icosahedral pyramids (bonded face-to-face at 8 of the 20 faces of the icosahedron, colored yellow in the illustration), plus 24 clusters of 5 tetrahedral cells (four cells face-bonded around one) which fill the voids remaining between the icosahedra. Each icosahedron is face-bonded to each adjacent cluster of 5 cells by two blue faces that share an edge (which is also one of the six edges of the central tetrahedron of the five). Six clusters of 5 cells surround each icosahedron, and six icosahedra surround each cluster of 5 cells. Five tetrahedral cells surround each icosahedron edge: two from inside the icosahedral pyramid, and three from outside it.Шаблон:Efn

The apexes of the 24 icosahedral pyramids are the vertices of a 24-cell inscribed in the 600-cell. The other 96 vertices (the vertices of the icosahedra) are the vertices of an inscribed snub 24-cell, which has exactly the same structure of icosahedra and tetrahedra described here, except that the icosahedra are not 4-pyramids filled by tetrahedral cells; they are only "flat" 3-dimensional icosahedral cells, because the central apical vertex is missing.

The 24-cell edges joining icosahedral pyramid apex vertices run through the centers of the yellow faces. Coloring the icosahedra with 8 yellow and 12 blue faces can be done in 5 distinct ways.Шаблон:Efn Thus each icosahedral pyramid's apex vertex is a vertex of 5 distinct 24-cells,Шаблон:Efn and the 120 vertices comprise 25 (not 5) 24-cells.Шаблон:Efn

The icosahedra are face-bonded into geodesic "straight lines" by their opposite yellow faces, bent in the fourth dimension into a ring of 6 icosahedral pyramids. Their apexes are the vertices of a great circle hexagon. This hexagonal geodesic traverses a ring of 12 tetrahedral cells, alternately bonded face-to-face and vertex-to-vertex. The long diameter of each face-bonded pair of tetrahedra (each triangular bipyramid) is a hexagon edge (a 24-cell edge). There are 4 rings of 6 icosahedral pyramids intersecting at each apex-vertex, just as there are 4 cell-disjoint interlocking rings of 6 octahedra in the 24-cell (a hexagonal fibration).Шаблон:Efn

The tetrahedral cells are face-bonded into triple helices, bent in the fourth dimension into rings of 30 tetrahedral cells.Шаблон:Efn The three helices are geodesic "straight lines" of 10 edges: great circle decagons which run Clifford parallelШаблон:Efn to each other. Each tetrahedron, having six edges, participates in six different decagonsШаблон:Efn and thereby in all 6 of the decagonal fibrations of the 600-cell.

The partitioning of the 600-cell into clusters of 20 cells and clusters of 5 cells is artificial, since all the cells are the same. One can begin by picking out an icosahedral pyramid cluster centered at any arbitrarily chosen vertex, so there are 120 overlapping icosahedra in the 600-cell.Шаблон:Efn Their 120 apexes are each a vertex of five 24-vertex 24-cells, so there are 5*120/24 = 25 overlapping 24-cells.Шаблон:Efn

Octahedra

There is another useful way to partition the 600-cell surface, into 24 clusters of 25 tetrahedral cells, which reveals more structureШаблон:Sfn and a direct construction of the 600-cell from its predecessor the 24-cell.

Begin with any one of the clusters of 5 cells (above), and consider its central cell to be the center object of a new larger cluster of tetrahedral cells. The central cell is the first section of the 600-cell beginning with a cell. By surrounding it with more tetrahedral cells, we can reach the deeper sections beginning with a cell.

First, note that a cluster of 5 cells consists of 4 overlapping pairs of face-bonded tetrahedra (triangular dipyramids) whose long diameter is a 24-cell edge (a hexagon edge) of length Шаблон:Radic. Six more triangular dipyramids fit into the concavities on the surface of the cluster of 5,Шаблон:Efn so the exterior chords connecting its 4 apical vertices are also 24-cell edges of length Шаблон:Radic. They form a tetrahedron of edge length Шаблон:Radic, which is the second section of the 600-cell beginning with a cell.Шаблон:Efn There are 600 of these Шаблон:Radic tetrahedral sections in the 600-cell.

With the six triangular dipyamids fit into the concavities, there are 12 new cells and 6 new vertices in addition to the 5 cells and 8 vertices of the original cluster. The 6 new vertices form the third section of the 600-cell beginning with a cell, an octahedron of edge length Шаблон:Radic, obviously the cell of a 24-cell.Шаблон:Efn As partially filled so far (by 17 tetrahedral cells), this Шаблон:Radic octahedron has concave faces into which a short triangular pyramid fits; it has the same volume as a regular tetrahedral cell but an irregular tetrahedral shape.Шаблон:Efn Each octahedron surrounds 1 + 4 + 12 + 8 = 25 tetrahedral cells: 17 regular tetrahedral cells plus 8 volumetrically equivalent tetrahedral cells each consisting of 6 one-sixth fragments from 6 different regular tetrahedral cells that each span three adjacent octahedral cells.Шаблон:Efn

Thus the unit-radius 600-cell may be constructed directly from its predecessor,Шаблон:Efn the unit-radius 24-cell, by placing on each of its octahedral facets a truncatedШаблон:Efn irregular octahedral pyramid of 14 verticesШаблон:Efn constructed (in the above manner) from 25 regular tetrahedral cells of edge length Шаблон:Sfrac ≈ 0.618.

Union of two tori

There is yet another useful way to partition the 600-cell surface into clusters of tetrahedral cells, which reveals more structureШаблон:Sfn and the decagonal fibrations of the 600-cell. An entire 600-cell can be assembled around two rings of 5 icosahedral pyramids, bonded vertex-to-vertex into two geodesic "straight lines".

Файл:100 tets.jpg
100 tetrahedra in a 10×10 array forming a Clifford torus boundary in the 600 cell. Its opposite edges are identified, forming a duocylinder.

The 120-cell can be decomposed into two disjoint tori. Since it is the dual of the 600-cell, this same dual tori structure exists in the 600-cell, although it is somewhat more complex. The 10-cell geodesic path in the 120-cell corresponds to the 10-vertex decagon path in the 600-cell.Шаблон:Sfn

Start by assembling five tetrahedra around a common edge. This structure looks somewhat like an angular "flying saucer". Stack ten of these, vertex to vertex, "pancake" style. Fill in the annular ring between each pair of "flying saucers" with 10 tetrahedra to form an icosahedron. You can view this as five vertex-stacked icosahedral pyramids, with the five extra annular ring gaps also filled in.Шаблон:Efn The surface is the same as that of ten stacked pentagonal antiprisms: a triangular-faced column with a pentagonal cross-section.Шаблон:Sfn Bent into a columnar ring this is a torus consisting of 150 cells, ten edges long, with 100 exposed triangular faces,Шаблон:Efn 150 exposed edges, and 50 exposed vertices. Stack another tetrahedron on each exposed face. This will give you a somewhat bumpy torus of 250 cells with 50 raised vertices, 50 valley vertices, and 100 valley edges.Шаблон:Efn The valleys are 10 edge long closed paths and correspond to other instances of the 10-vertex decagon path mentioned above (great circle decagons). These decagons spiral around the center core decagon,Шаблон:Efn but mathematically they are all equivalent (they all lie in central planes).

Build a second identical torus of 250 cells that interlinks with the first. This accounts for 500 cells. These two tori mate together with the valley vertices touching the raised vertices, leaving 100 tetrahedral voids that are filled with the remaining 100 tetrahedra that mate at the valley edges. This latter set of 100 tetrahedra are on the exact boundary of the duocylinder and form a Clifford torus. They can be "unrolled" into a square 10×10 array. Incidentally this structure forms one tetrahedral layer in the tetrahedral-octahedral honeycomb. There are exactly 50 "egg crate" recesses and peaks on both sides that mate with the 250 cell tori. In this case into each recess, instead of an octahedron as in the honeycomb, fits a triangular bipyramid composed of two tetrahedra.

This decomposition of the 600-cell has symmetry [[10,2+,10]], order 400, the same symmetry as the grand antiprism.Шаблон:Sfn The grand antiprism is just the 600-cell with the two above 150-cell tori removed, leaving only the single middle layer of 300 tetrahedra, dimensionally analogousШаблон:Efn to the 10-face belt of an icosahedron with the 5 top and 5 bottom faces removed (a pentagonal antiprism).Шаблон:Efn

The two 150-cell tori each contain 6 Clifford parallel great decagons (five around one), and the two tori are Clifford parallel to each other, so together they constitute a complete fibration of 12 decagons that reaches all 120 vertices, despite filling only half the 600-cell with cells.

Boerdijk–Coxeter helix rings

The 600-cell can also be partitioned into 20 cell-disjoint intertwining rings of 30 cells,Шаблон:Sfn each ten edges long, forming a discrete Hopf fibration which fills the entire 600-cell.Шаблон:SfnШаблон:Sfn Each ring of 30 face-bonded tetrahedra is a cylindrical Boerdijk–Coxeter helix bent into a ring in the fourth dimension.

Файл:600-cell tet ring.png
A single 30-tetrahedron Boerdijk–Coxeter helix ring within the 600-cell, seen in stereographic projection.Шаблон:Efn
Файл:600-cell Coxeter helix-ring.png
A 30-tetrahedron ring can be seen along the perimeter of this 30-gonal orthogonal projection of the 600-cell.Шаблон:Efn
Файл:Regular star polygon 30-11.svg
The 30-cell ring as a {30/11} polygram of 30 edges wound into a helix that twists around its axis 11 times. This projection along the axis of the 30-cell cylinder shows the 30 vertices 12° apart around the cylinder's circular cross section, with the edges connecting every 11th vertex on the circle.Шаблон:Efn
Файл:Coxeter helix edges.png
The 30-vertex, 30-tetrahedron Boerdijk–Coxeter helix ring, cut and laid out flat in 3-dimensional space. Three {{{2}}} Clifford parallel great decagons bound the ring.Шаблон:Efn They are bridged by a skew 30-gram helix of 30 {{{2}}} edges linking all 30 vertices: the Petrie polygon of the 600-cell.Шаблон:Efn The 15 {{{2}}} edges and 15 {{{2}}} edges form separate 15-gram helices, the edge-paths of isoclines.

The 30-cell ring is the 3-dimensional space occupied by the 30 vertices of three {{{2}}} Clifford parallel great decagons that lie adjacent to each other, 36° = Шаблон:Sfrac = one 600-cell edge length apart at all their vertex pairs.Шаблон:Efn The 30 {{{2}}} edges joining these vertex pairs form a helical triacontagram, a skew 30-gram spiral of 30 edge-bonded triangular faces, that is the Petrie polygon of the 600-cell.Шаблон:Efn The dual of the 30-cell ring (the skew 30-gon made by connecting its cell centers) is the Petrie polygon of the 120-cell, the 600-cell's dual polytope.Шаблон:Efn The central axis of the 30-cell ring is a great 30-gon geodesic that passes through the center of 30 faces, but does not intersect any vertices.Шаблон:Efn

The 15 {{{2}}} edges and 15 {{{2}}} edges form separate 15-gram helices. Each orange or yellow edge crosses between two {{{2}}} great decagons. Successive orange or yellow edges of these 15-gram helices do not lie on the same great circle; they lie in different central planes inclined at 36° = Шаблон:Sfrac to each other.Шаблон:Efn Each 15-gram helix is noteworthy as the edge-path of an isocline, the geodesic path of an isoclinic rotation.Шаблон:Efn The isocline is a circular curve which intersects every second vertex of the 15-gram, missing the vertex in between. A single isocline runs twice around each orange (or yellow) 15-gram through every other vertex, hitting half the vertices on the first loop and the other half of them on the second loop. The two connected loops forms a single Möbius loop, a skew {15/2} pentadecagram. The pentadecagram is not shown in these illustrations (but see below), because its edges are invisible chords between vertices which are two orange (or two yellow) edges apart, and no chords are shown in these illustrations. Although the 30 vertices of the 30-cell ring do not lie in one great 30-gon central plane,Шаблон:Efn these invisible pentadecagram isoclines are true geodesic circles of a special kind, that wind through all four dimensions rather than lying in a 2-dimensional plane as an ordinary geodesic great circle does.Шаблон:Efn

Five of these 30-cell helices nest together and spiral around each of the 10-vertex decagon paths, forming the 150-cell torus described in the grand antiprism decomposition above.Шаблон:Sfn Thus every great decagon is the center core decagon of a 150-cell torus.Шаблон:Efn The 600-cell may be decomposed into 20 30-cell rings, or into two 150-cell tori and 10 30-cell rings, but not into four 150-cell tori of this kind.Шаблон:Efn The 600-cell can be decomposed into four 150-cell tori of a different kind.Шаблон:Efn

Radial golden triangles

The 600-cell can be constructed radially from 720 golden triangles of edge lengths Шаблон:Radic Шаблон:Radic Шаблон:Radic which meet at the center of the 4-polytope, each contributing two Шаблон:Radic radii and a Шаблон:Radic edge.Шаблон:Efn They form 1200 triangular pyramids with their apexes at the center: irregular tetrahedra with equilateral Шаблон:Radic bases (the faces of the 600-cell). These form 600 tetrahedral pyramids with their apexes at the center: irregular 5-cells with regular Шаблон:Radic tetrahedron bases (the cells of the 600-cell).

Characteristic orthoscheme

Characteristics of the 600-cellШаблон:Sfn
edgeШаблон:Sfn arc dihedralШаблон:Sfn
𝒍 <math>\tfrac{1}{\phi} \approx 0.618</math> 36° <math>\tfrac{\pi}{5}</math> 164°29′ <math>\pi-2\text{𝟁}</math>
𝟀 <math>\sqrt{\tfrac{2}{3\phi^2}} \approx 0.505</math> 22°15′20″ <math>\tfrac{\pi}{3} - \text{𝜼}</math> 60° <math>\tfrac{\pi}{3}</math>
𝝉Шаблон:Efn <math>\sqrt{\tfrac{1}{2\phi^2}} \approx 0.437</math> 18° <math>\tfrac{\pi}{10}</math> 36° <math>\tfrac{\pi}{5}</math>
𝟁 <math>\sqrt{\tfrac{1}{6\phi^2}} \approx 0.252</math> 17°44′40″ <math>\text{𝜼} - \tfrac{\pi}{6}</math> 60° <math>\tfrac{\pi}{3}</math>
<math>_0R^3/l</math> <math>\sqrt{\tfrac{3}{4\phi^2}} \approx 0.535</math> 22°15′20″ <math>\tfrac{\pi}{3} - \text{𝜼}</math> 90° <math>\tfrac{\pi}{2}</math>
<math>_1R^3/l</math> <math>\sqrt{\tfrac{1}{4\phi^2}} \approx 0.309</math> 18° <math>\tfrac{\pi}{10}</math> 90° <math>\tfrac{\pi}{2}</math>
<math>_2R^3/l</math> <math>\sqrt{\tfrac{1}{12\phi^2}} \approx 0.178</math> 17°44′40″ <math>\text{𝜼} - \tfrac{\pi}{6}</math> 90° <math>\tfrac{\pi}{2}</math>
<math>_0R^4/l</math> <math>1</math>
<math>_1R^4/l</math> <math>\sqrt{\tfrac{5 + \sqrt{5}}{8}} \approx 0.951</math>
<math>_2R^4/l</math> <math>\sqrt{\tfrac{\phi^2}{3}} \approx 0.934</math>
<math>_3R^4/l</math> <math>\sqrt{\tfrac{\phi^4}{8}} \approx 0.926</math>
<math>\text{𝜼}</math> 37°44′40″ <math>\tfrac{\text{arc sec }4}{2}</math>

Every regular 4-polytope has its characteristic 4-orthoscheme, an irregular 5-cell.Шаблон:Efn The characteristic 5-cell of the regular 600-cell is represented by the Coxeter-Dynkin diagram Шаблон:CDD, which can be read as a list of the dihedral angles between its mirror facets. It is an irregular tetrahedral pyramid based on the characteristic tetrahedron of the regular tetrahedron. The regular 600-cell is subdivided by its symmetry hyperplanes into 14400 instances of its characteristic 5-cell that all meet at its center.Шаблон:Efn

The characteristic 5-cell (4-orthoscheme) has four more edges than its base characteristic tetrahedron (3-orthoscheme), joining the four vertices of the base to its apex (the fifth vertex of the 4-orthoscheme, at the center of the regular 600-cell).Шаблон:Efn If the regular 600-cell has unit radius and edge length <math>\text{𝒍} = \tfrac{1}{\phi} \approx 0.618</math>, its characteristic 5-cell's ten edges have lengths <math>\sqrt{\tfrac{2}{3\phi^2}}</math>, <math>\sqrt{\tfrac{1}{2\phi^2}}</math>, <math>\sqrt{\tfrac{1}{6\phi^2}}</math> around its exterior right-triangle face (the edges opposite the characteristic angles 𝟀, 𝝉, 𝟁),Шаблон:Efn plus <math>\sqrt{\tfrac{3}{4\phi^2}}</math>, <math>\sqrt{\tfrac{1}{4\phi^2}}</math>, <math>\sqrt{\tfrac{1}{12\phi^2}}</math> (the other three edges of the exterior 3-orthoscheme facet the characteristic tetrahedron, which are the characteristic radii of the regular tetrahedron), plus <math>1</math>, <math>\sqrt{\tfrac{5 + \sqrt{5}}{8}}</math>, <math>\sqrt{\tfrac{\phi^2}{3}}</math>, <math>\sqrt{\tfrac{\phi^4}{8}}</math> (edges which are the characteristic radii of the 600-cell). The 4-edge path along orthogonal edges of the orthoscheme is <math>\sqrt{\tfrac{1}{2\phi^2}}</math>, <math>\sqrt{\tfrac{1}{6\phi^2}}</math>, <math>\sqrt{\tfrac{1}{4\phi^2}}</math>, <math>\sqrt{\tfrac{\phi^4}{8}}</math>, first from a 600-cell vertex to a 600-cell edge center, then turning 90° to a 600-cell face center, then turning 90° to a 600-cell tetrahedral cell center, then turning 90° to the 600-cell center.

Reflections

The 600-cell can be constructed by the reflections of its characteristic 5-cell in its own facets (its tetrahedral mirror walls).Шаблон:Efn Reflections and rotations are related: a reflection in an even number of intersecting mirrors is a rotation.Шаблон:SfnШаблон:Sfn For example, a full isoclinic rotation of the 600-cell in decagonal invariant planes takes each of the 120 vertices through 15 vertices and back to itself, on a skew pentadecagram2 geodesic isocline of circumference 5𝝅 that winds around the 3-sphere, as each great decagon rotates (like a wheel) and also tilts sideways (like a coin flipping) with the completely orthogonal plane.Шаблон:Efn Any set of four orthogonal pairs of antipodal vertices (the 8 vertices of one of the 75 inscribed 16-cells)Шаблон:Efn performing such an orbit visits 15 * 8 = 120 distinct vertices and generates the 600-cell sequentially in one full isoclinic rotation, just as any single characteristic 5-cell reflecting itself in its own mirror walls generates the 120 vertices simultaneously by reflection.Шаблон:Efn

Weyl orbits

Another construction method uses quaternions and the Icosahedral symmetry of Weyl group orbits <math>O(\Lambda)=W(H_4)=I</math> of order 120.Шаблон:Sfn The following are the orbits of 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

Файл:120Cell-SimpleRoots-Quaternion-Tp.png

With quaternions <math>(p,q)</math> where <math>\bar p</math> is the conjugate of <math>p</math> and <math>[p,q]:r\rightarrow r'=prq</math> and <math>[p,q]^*:r\rightarrow r=p\bar rq</math>, then the Coxeter group <math>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>p \in T</math> such that <math>\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>p^\dagger</math> as an exchange of <math>-1/\varphi \leftrightarrow \varphi</math> within <math>p</math>, we can construct:

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

Rotations

The regular convex 4-polytopes are an expression of their underlying symmetry which is known as SO(4), the group of rotationsШаблон:Sfn about a fixed point in 4-dimensional Euclidean space.Шаблон:Efn

The 600-cell is generated by isoclinic rotationsШаблон:Efn of the 24-cell by 36° = Шаблон:Sfrac (the arc of one 600-cell edge length).Шаблон:Efn

Twenty-five 24-cells

There are 25 inscribed 24-cells in the 600-cell.Шаблон:Efn Therefore there are also 25 inscribed snub 24-cells, 75 inscribed tesseracts and 75 inscribed 16-cells.Шаблон:Efn

The 8-vertex 16-cell has 4 long diameters inclined at 90° = Шаблон:Sfrac to each other, often taken as the 4 orthogonal axes or basis of the coordinate system.Шаблон:Efn

The 24-vertex 24-cell has 12 long diameters inclined at 60° = Шаблон:Sfrac to each other: 3 disjoint sets of 4 orthogonal axes, each set comprising the diameters of one of 3 inscribed 16-cells, isoclinically rotated by Шаблон:Sfrac with respect to each other.Шаблон:Efn

The 120-vertex 600-cell has 60 long diameters: not just 5 disjoint sets of 12 diameters, each comprising one of 5 inscribed 24-cells (as we might suspect by analogy), but 25 distinct but overlapping sets of 12 diameters, each comprising one of 25 inscribed 24-cells.Шаблон:Sfn There are 5 disjoint 24-cells in the 600-cell, but not just 5: there are 10 different ways to partition the 600-cell into 5 disjoint 24-cells.Шаблон:Efn

Like the 16-cells and 8-cells inscribed in the 24-cell, the 25 24-cells inscribed in the 600-cell are mutually isoclinic polytopes. The rotational distance between inscribed 24-cells is always an equal-angled rotation of Шаблон:Sfrac in each pair of completely orthogonal invariant planes of rotation.Шаблон:Efn

Five 24-cells are disjoint because they are Clifford parallel: their corresponding vertices are Шаблон:Sfrac apart on two non-intersecting Clifford parallelШаблон:Efn decagonal great circles (as well as Шаблон:Sfrac apart on the same decagonal great circle).Шаблон:Efn An isoclinic rotation of decagonal planes by Шаблон:Sfrac takes each 24-cell to a disjoint 24-cell (just as an isoclinic rotation of hexagonal planes by Шаблон:Sfrac takes each 16-cell to a disjoint 16-cell).Шаблон:Efn Each isoclinic rotation occurs in two chiral forms: there are 4 disjoint 24-cells to the left of each 24-cell, and another 4 disjoint 24-cells to its right.Шаблон:Efn The left and right rotations reach different 24-cells; therefore each 24-cell belongs to two different sets of five disjoint 24-cells.

All Clifford parallel polytopes are isoclinic, but not all isoclinic polytopes are Clifford parallels (completely disjoint objects).Шаблон:Efn Each 24-cell is isoclinic and Clifford parallel to 8 others, and isoclinic but not Clifford parallel to 16 others.Шаблон:Efn With each of the 16 it shares 6 vertices: a hexagonal central plane.Шаблон:Efn Non-disjoint 24-cells are related by a simple rotation by Шаблон:Sfrac in an invariant plane intersecting only two vertices of the 600-cell, a rotation in which the completely orthogonal fixed plane is their common hexagonal central plane. They are also related by an isoclinic rotation in which both planes rotate by Шаблон:Sfrac.Шаблон:Efn

There are two kinds of Шаблон:Sfrac isoclinic rotations which take each 24-cell to another 24-cell.Шаблон:Efn Disjoint 24-cells are related by a Шаблон:Sfrac isoclinic rotation of an entire fibration of 12 Clifford parallel decagonal invariant planes. (There are 6 such sets of fibers, and a right or a left isoclinic rotation possible with each set, so there are 12 such distinct rotations.)Шаблон:Efn Non-disjoint 24-cells are related by a Шаблон:Sfrac isoclinic rotation of an entire fibration of 20 Clifford parallel hexagonal invariant planes.Шаблон:Efn (There are 10 such sets of fibers, so there are 20 such distinct rotations.)Шаблон:Efn

On the other hand, each of the 10 sets of five disjoint 24-cells is Clifford parallel because its corresponding great hexagons are Clifford parallel. (24-cells do not have great decagons.) The 16 great hexagons in each 24-cell can be divided into 4 sets of 4 non-intersecting Clifford parallel geodesics, each set of which covers all 24 vertices of the 24-cell. The 200 great hexagons in the 600-cell can be divided into 10 sets of 20 non-intersecting Clifford parallel geodesics, each set of which covers all 120 vertices and constitutes a discrete hexagonal fibration. Each of the 10 sets of 20 disjoint hexagons can be divided into five sets of 4 disjoint hexagons, each set of 4 covering a disjoint 24-cell. Similarly, the corresponding great squares of disjoint 24-cells are Clifford parallel.

Rotations on polygram isoclines

The regular convex 4-polytopes each have their characteristic kind of right (and left) isoclinic rotation, corresponding to their characteristic kind of discrete Hopf fibration of great circles.Шаблон:Efn For example, the 600-cell can be fibrated six different ways into a set of Clifford parallel great decagons, so the 600-cell has six distinct right (and left) isoclinic rotations in which those great decagon planes are invariant planes of rotation. We say these isoclinic rotations are characteristic of the 600-cell because the 600-cell's edges lie in their invariant planes. These rotations only emerge in the 600-cell, although they are also found in larger regular polytopes (the 120-cell) which contain inscribed instances of the 600-cell.

Just as the geodesic polygons (decagons or hexagons or squares) in the 600-cell's central planes form fiber bundles of Clifford parallel great circles, the corresponding geodesic skew polygrams (which trace the paths on the Clifford torus of vertices under isoclinic rotation)Шаблон:Sfn form fiber bundles of Clifford parallel isoclines: helical circles which wind through all four dimensions.Шаблон:Efn Since isoclinic rotations are chiral, occurring in left-handed and right-handed forms, each polygon fiber bundle has corresponding left and right polygram fiber bundles.Шаблон:Sfn All the fiber bundles are aspects of the same discrete Hopf fibration, because the fibration is the various expressions of the same distinct left-right pair of isoclinic rotations.

Cell rings are another expression of the Hopf fibration. Each discrete fibration has a set of cell-disjoint cell rings that tesselates the 4-polytope.Шаблон:Efn The isoclines in each chiral bundle spiral around each other: they are axial geodesics of the rings of face-bonded cells. The Clifford parallel cell rings of the fibration nest into each other, pass through each other without intersecting in any cells, and exactly fill the 600-cell with their disjoint cell sets.

Isoclinic rotations rotate a rigid object's vertices along parallel paths, each vertex circling within two orthogonal moving great circles, the way a loom weaves a piece of fabric from two orthogonal sets of parallel fibers. A bundle of Clifford parallel great circle polygons and a corresponding bundle of Clifford parallel skew polygram isoclines are the warp and woof of the same distinct left or right isoclinic rotation, which takes Clifford parallel great circle polygons to each other, flipping them like coins and rotating them through a Clifford parallel set of central planes. Meanwhile, because the polygons are also rotating individually like wheels, vertices are displaced along helical Clifford parallel isoclines (the chords of which form the skew polygram), through vertices which lie in successive Clifford parallel polygons.Шаблон:Efn

In the 600-cell, each family of isoclinic skew polygrams (moving vertex paths in the decagon {10}, hexagon {6}, or square {4} great polygon rotations) can be divided into bundles of non-intersecting Clifford parallel polygram isoclines.Шаблон:Sfn The isocline bundles occur in pairs of left and right chirality; the isoclines in each rotation act as chiral objects, as does each distinct isoclinic rotation itself.Шаблон:Efn Each fibration contains an equal number of left and right isoclines, in two disjoint bundles, which trace the paths of the 600-cell's vertices during the fibration's left or right isoclinic rotation respectively. Each left or right fiber bundle of isoclines by itself constitutes a discrete Hopf fibration which fills the entire 600-cell, visiting all 120 vertices just once. It is a different bundle of fibers than the bundle of Clifford parallel polygon great circles, but the two fiber bundles describe the same discrete fibration because they enumerate those 120 vertices together in the same distinct right (or left) isoclinic rotation, by their intersection as a fabric of cross-woven parallel fibers.

Each isoclinic rotation involves pairs of completely orthogonal invariant central planes of rotation, which both rotate through the same angle. There are two ways they can do this: by both rotating in the "same" direction, or by rotating in "opposite" directions (according to the right hand rule by which we conventionally say which way is "up" on each of the 4 coordinate axes). The right polygram and right isoclinic rotation conventionally correspond to invariant pairs rotating in the same direction; the left polygram and left isoclinic rotation correspond to pairs rotating in opposite directions.Шаблон:Sfn Left and right isoclines are different paths that go to different places. In addition, each distinct isoclinic rotation (left or right) can be performed in a positive or negative direction along the circular parallel fibers.

A fiber bundle of Clifford parallel isoclines is the set of helical vertex circles described by a distinct left or right isoclinic rotation. Each moving vertex travels along an isocline contained within a (moving) cell ring. While the left and right isoclinic rotations each double-rotate the same set of Clifford parallel invariant planes of rotation, they step through different sets of great circle polygons because left and right isoclinic rotations hit alternate vertices of the great circle {2p} polygon (where p is a prime ≤ 5).Шаблон:Efn The left and right rotation share the same Hopf bundle of {2p} polygon fibers, which is both a left and right bundle, but they have different bundles of {p} polygonsШаблон:Sfn because the discrete fibers are opposing left and right {p} polygons inscribed in the {2p} polygon.Шаблон:Efn

A simple rotation is direct and local, taking some vertices to adjacent vertices along great circles, and some central planes to other central planes within the same hyperplane.Шаблон:Efn In a simple rotation, there is just a single pair of completely orthogonal invariant central planes of rotation; it does not constitute a fibration.

An isoclinic rotation is diagonal and global, taking all the vertices to non-adjacent vertices (two or more edge-lengths away)Шаблон:Efn along diagonal isoclines, and all the central plane polygons to Clifford parallel polygons (of the same kind). A left-right pair of isoclinic rotations constitutes a discrete fibration. All the Clifford parallel central planes of the fibration are invariant planes of rotation, separated by two equal angles and lying in different hyperplanes.Шаблон:Efn The diagonal isoclineШаблон:Efn is a shorter route between the non-adjacent vertices than the multiple simple routes between them available along edges: it is the shortest route on the 3-sphere, the geodesic.

Decagons and 5𝝅 polygrams

The fibrations of the 600-cell include 6 fibrations of its 72 great decagons: 6 fiber bundles of 12 great decagons,Шаблон:Efn each delineating 20 chiral cell rings of 30 tetrahedral cells each,Шаблон:Efn with three great decagons bounding each cell ring, and five cell rings nesting together around each decagon. The 12 Clifford parallel decagons in each bundle are completely disjoint. Adjacent parallel decagons are spanned by edges of other great decagons.Шаблон:Efn Each fibration corresponds to a distinct left (and right) isoclinic rotation of the 600-cell in 12 great decagon invariant planes on 5𝝅 isoclines.

The bundle of 12 Clifford parallel decagon fibers is divided into a bundle of 12 left pentagon fibers and a bundle of 12 right pentagon fibers, with each left-right pair of pentagons inscribed in a decagon.Шаблон:Sfn 12 great polygons comprise a fiber bundle covering all 120 vertices in a discrete Hopf fibration. There are 20 cell-disjoint 30-cell rings in the fibration, but only 4 completely disjoint 30-cell rings.Шаблон:Efn The 600-cell has six such discrete decagonal fibrations, and each is the domain (container) of a unique left-right pair of isoclinic rotations (left and right fiber bundles of 12 great pentagons).Шаблон:Efn Each great decagon belongs to just one fibration,Шаблон:Sfn but each 30-cell ring belongs to 5 of the six fibrations (and is completely disjoint from 1 other fibration).Шаблон:^ The 600-cell contains 72 great decagons, divided among six fibrations, each of which is a set of 20 cell-disjoint 30-cell rings (4 completely disjoint 30-cell rings), but the 600-cell has only 20 distinct 30-cell rings altogether. Each 30-cell ring contains 3 of the 12 Clifford parallel decagons in each of 5 fibrations, and 30 of the 120 vertices.

In these decagonal isoclinic rotations, vertices travel along isoclines which follow the edges of hexagons,Шаблон:Sfn advancing a pythagorean distance of one hexagon edge in each double 36°×36° rotational unit.Шаблон:Efn In an isoclinic rotation, each successive hexagon edge travelled lies in a different great hexagon, so the isocline describes a skew polygram, not a polygon. In a 60°×60° isoclinic rotation (as in the 24-cell's characteristic hexagonal rotation, and below in the hexagonal rotations of the 600-cell) this polygram is a hexagram: the isoclinic rotation follows a 6-edge circular path, just as a simple hexagonal rotation does, although it takes two revolutions to enumerate all the vertices in it, because the isocline is a double loop through every other vertex, and its chords are Шаблон:Radic chords of the hexagon instead of Шаблон:Radic hexagon edges.Шаблон:Efn But in the 600-cell's 36°×36° characteristic decagonal rotation, successive great hexagons are closer together and more numerous, and the isocline polygram formed by their 15 hexagon edges is a pentadecagram (15-gram).Шаблон:Efn It is not only not the same period as the hexagon or the simple decagonal rotation, it is not even an integer multiple of the period of the hexagon, or the decagon, or either's simple rotation. Only the compound {30/4}=2{15/2} triacontagram (30-gram), which is two 15-grams rotating in parallel (a black and a white), is a multiple of them all, and so constitutes the rotational unit of the decagonal isoclinic rotation.Шаблон:Efn

In the 30-cell ring, the non-adjacent vertices linked by isoclinic rotations are two edge-lengths apart, with three other vertices of the ring lying between them.Шаблон:Efn The two non-adjacent vertices are linked by a Шаблон:Radic chord of the isocline which is a great hexagon edge (a 24-cell edge). The Шаблон:Radic chords of the 30-cell ring (without the Шаблон:Radic 600-cell edges) form a skew triacontagram{30/4}=2{15/2} which contains 2 disjoint {15/2} Möbius double loops, a left-right pair of pentadecagram2 isoclines. Each left (or right) bundle of 12 pentagon fibers is crossed by a left (or right) bundle of 8 Clifford parallel pentadecagram fibers. Each distinct 30-cell ring has 2 double-loop pentadecagram isoclines running through its even or odd (black or white) vertices respectively.Шаблон:Efn The pentadecagram helices have no inherent chirality, but each acts as either a left or right isocline in any distinct isoclinic rotation.Шаблон:Efn The 2 pentadecagram fibers belong to the left and right fiber bundles of 5 different fibrations.

At each vertex, there are six great decagons and six pentadecagram isoclines (six black or six white) that cross at the vertex.Шаблон:Efn Eight pentadecagram isoclines (four black and four white) comprise a unique right (or left) fiber bundle of isoclines covering all 120 vertices in the distinct right (or left) isoclinic rotation. Each fibration has a unique left and right isoclinic rotation, and corresponding unique left and right fiber bundles of 12 pentagons and 8 pentadecagram isoclines. There are only 20 distinct black isoclines and 20 distinct white isoclines in the 600-cell. Each distinct isocline belongs to 5 fiber bundles.

Three sets of 30-cell ring chords from the same orthogonal projection viewpoint
Pentadecagram {15/2} Triacontagram {30/4}=2{15/2} Triacontagram {30/6}=6{5}
All edges are pentadecagram isocline chords of length Шаблон:Radic, which are also great hexagon edges of 24-cells inscribed in the 600-cell. Only great pentagon edges of length Шаблон:Radic ≈ 1.176.
Файл:Regular star polygon 15-2.svg Файл:Regular star figure 2(15,2).svg Файл:Regular star figure 6(5,1).svg
A single black (or white) isocline is a Möbius double loop skew pentadecagram {15/2} of circumference 5𝝅.Шаблон:Efn The Шаблон:Radic chords are 24-cell edges (hexagon edges) from different inscribed 24-cells. These chords are invisible (not shown) in the 30-cell ring illustration, where they join opposite vertices of two face-bonded tetrahedral cells that are two orange edges apart or two yellow edges apart. The 30-cell ring as a skew compound of two disjoint pentadecagram {15/2} isoclines (a black-white pair, shown here as orange-yellow).Шаблон:Efn The Шаблон:Radic chords of the isoclines link every 4th vertex of the 30-cell ring in a straight chord under two orange edges or two yellow edges. The doubly-curved isocline is the geodesic (shortest path) between those vertices; they are also two edges apart by three different angled paths along the edges of the face-bonded tetrahedra. Each pentadecagram isocline (at left) intersects all six great pentagons (above) in two or three vertices. The pentagons lie on flat 2𝝅 great circles in the decagon invariant planes of rotation. The pentadecagrams are not flat: they are helical 5𝝅 isocline circles whose 15 chords lie in successive great hexagon planes inclined at 𝝅/5 = 36° to each other. The isocline circle is said to be twisting either left or right with the rotation, but all such pentadecagrams are directly congruent, each acting as a left or right isocline in different fibrations.
No 600-cell edges appear in these illustrations, only invisible interior chords of the 600-cell. In this article, they should all properly be drawn as dashed lines.

Two 15-gram double-loop isoclines are axial to each 30-cell ring. The 30-cell rings are chiral; each fibration contains 10 right (clockwise-spiraling) rings and 10 left (counterclockwise spiraling) rings, but the two isoclines in each 3-cell ring are directly congruent.Шаблон:Efn Each acts as a left (or right) isocline a left (or right) rotation, but has no inherent chirality.Шаблон:Efn The fibration's 20 left and 20 right 15-grams altogether contain 120 disjoint open pentagrams (60 left and 60 right), the open ends of which are adjacent 600-cell vertices (one Шаблон:Radic edge-length apart). The 30 chords joining the isocline's 30 vertices are Шаблон:Radic hexagon edges (24-cell edges), connecting 600-cell vertices which are two 600-cell Шаблон:Radic edges apart on a decagon great circle. Шаблон:Efn These isocline chords are both hexagon edges and pentagram edges.

The 20 Clifford parallel isoclines (30-cell ring axes) of each left (or right) isocline bundle do not intersect each other. Either distinct decagonal isoclinic rotation (left or right) rotates all 120 vertices (and all 600 cells), but pentadecagram isoclines and pentagons are connected such that vertices alternate as 60 black and 60 white vertices (and 300 black and 300 white cells), like the black and white squares of the chessboard.Шаблон:Efn In the course of the rotation, the vertices on a left (or right) isocline rotate within the same 15-vertex black (or white) isocline, and the cells rotate within the same black (or white) 30-cell ring.

Hexagons and 4𝝅 polygrams

Файл:Regular star figure 2(10,3).svg
Icosagram {20/6}=2{10/3} contains 2 disjoint {10/3} decagrams ({{{2}}} and {{{2}}}) which connect vertices 3 apart on the {10} and 6 apart on the {20}. In the 600-cell the edges are great pentagon edges spanning 72°.

The fibrations of the 600-cell include 10 fibrations of its 200 great hexagons: 10 fiber bundles of 20 great hexagons. The 20 Clifford parallel hexagons in each bundle are completely disjoint. Adjacent parallel hexagons are spanned by edges of great decagons.Шаблон:Efn Each fibration corresponds to a distinct left (and right) isoclinic rotation of the 600-cell in 20 great hexagon invariant planes on 4𝝅 isoclines.

Each fiber bundle delineates 20 disjoint directly congruent cell rings of 6 octahedral cells each, with three cell rings nesting together around each hexagon. The bundle of 20 Clifford parallel hexagon fibers is divided into a bundle of 20 black Шаблон:Radic great triangle fibers and a bundle of 20 white great triangle fibers, with a black and a white triangle inscribed in each hexagon and 6 black and 6 white triangles in each 6-octahedron ring. The black or white triangles are joined by three intersecting black or white isoclines, each of which is a special kind of helical great circleШаблон:Efn through the corresponding vertices in 10 Clifford parallel black (or white) great triangles. The 10 Шаблон:Radic chords of each isocline form a skew decagram {10/3}, 10 great pentagon edges joined end-to-end in a helical loop, winding 3 times around the 600-cell through all four dimensions rather than lying flat in a central plane. Each pair of black and white isoclines (intersecting antipodal great hexagon vertices) forms a compound 20-gon icosagram {20/6}=2{10/3}.

Notice the relation between the 24-cell's characteristic rotation in great hexagon invariant planes (on hexagram isoclines), and the 600-cell's own version of the rotation of great hexagon planes (on decagram isoclines). They are exactly the same isoclinic rotation: they have the same isocline. They have different numbers of the same isocline, and the 600-cell's Шаблон:Radic isocline chord is shorter than the 24-cell's (Шаблон:Radic) isocline chord, because the isocline intersects more vertices in the 600-cell (10) than it does in the 24-cell (6), but both Clifford polygrams have a 4𝝅 circumference.Шаблон:Efn

Squares and 8𝝅 polygrams

Файл:Regular star polygon 24-5.svg
The Clifford polygon of the 600-cell's isoclinic rotation in great square invariant planes is a skew regular {24/5} 24-gram, with φ = Шаблон:Radic edges that connect vertices 5 apart on the 24-vertex circumference, which is a unique 24-cell (Шаблон:Radic edges not shown).

The fibrations of the 600-cell include 15 fibrations of its 450 great squares: 15 fiber bundles of 30 great squares. The 30 Clifford parallel squares in each bundle are completely disjoint. Adjacent parallel squares are spanned by edges of great decagons.Шаблон:Efn Each fibration corresponds to a distinct left (and right) isoclinic rotation of the 600-cell in 30 great square invariant planes (15 completely orthogonal pairs) on 8𝝅 isoclines.

Each fiber bundle delineates 30 chiral cell rings of 8 tetrahedral cells each,Шаблон:Efn with a left and right cell ring nesting together to fill each of the 15 disjoint 16-cells inscribed in the 600-cell. Axial to each 8-tetrahedron ring is a special kind of helical great circle, an isocline.Шаблон:Efn In a left (or right) isoclinic rotation of the 600-cell in great square invariant planes, all the vertices circulate on one of 15 Clifford parallel isoclines.

The 30 Clifford parallel squares in each bundle are joined by four Clifford parallel 24-gram isoclines (one through each vertex), each of which intersects one vertex in 24 of the 30 squares, and all 24 vertices of just one of the 600-cell's 25 24-cells. Each isocline is a 24-gram circuit intersecting all 25 24-cells, 24 of them just once and one of them 24 times. The 24 vertices in each 24-gram isocline comprise a unique 24-cell; there are 25 such distinct isoclines in the 600-cell. Each isocline is a skew {24/5} 24-gram, 24 φ = Шаблон:Radic chords joined end-to-end in a helical loop, winding 5 times around one 24-cell through all four dimensions rather than lying flat in a central plane. Adjacent vertices of the 24-cell are one Шаблон:Radic chord apart, and 5 φ chords apart on its isocline. A left (or right) isoclinic rotation through 720° takes each 24-cell to and through every other 24-cell.

Notice the relations between the 16-cell's rotation of just 2 invariant great square planes, the 24-cell's rotation in 6 Clifford parallel great squares, and this rotation of the 600-cell in 30 Clifford parallel great squares. These three rotations are the same rotation, taking place on exactly the same kind of isocline circles, which happen to intersect more vertices in the 600-cell (24) than they do in the 16-cell (8).Шаблон:Efn In the 16-cell's rotation the distance between vertices on an isocline curve is the Шаблон:Radic diameter axis. In the 600-cell vertices are closer together, and its Шаблон:Radic = φ chord is the distance between adjacent vertices on the same isocline, but all three Clifford polygrams have an 8𝝅 circumference.

As a configuration

This configuration matrixШаблон:Sfn represents the 600-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 600-cell. The non-diagonal numbers say how many of the column's element occur in or at the row's element.

<math>\begin{bmatrix}\begin{matrix}120 & 12 & 30 & 20 \\ 2 & 720 & 5 & 5 \\ 3 & 3 & 1200 & 2 \\ 4 & 6 & 4 & 600 \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 Шаблон:CDD k-face fk f0 f1 f2 f3 k-fig Notes
H3 Шаблон:CDD ( ) f0 120 12 30 20 {3,5} H4/H3 = 14400/120 = 120
A1H2 Шаблон:CDD { } f1 2 720 5 5 {5} H4/H2A1 = 14400/10/2 = 720
A2A1 Шаблон:CDD {3} f2 3 3 1200 2 { } H4/A2A1 = 14400/6/2 = 1200
A3 Шаблон:CDD {3,3} f3 4 6 4 600 ( ) H4/A3 = 14400/24 = 600

Symmetries

The icosians are a specific set of Hamiltonian quaternions with the same symmetry as the 600-cell.Шаблон:Sfn The icosians lie in the golden field, (a + bШаблон:Radic) + (c + dШаблон:Radic)i + (e + fШаблон:Radic)j + (g + hШаблон:Radic)k, where the eight variables are rational numbers.Шаблон:Sfn The finite sums of the 120 unit icosians are called the icosian ring.

When interpreted as quaternions,Шаблон:Efn the 120 vertices of the 600-cell form a group under quaternionic multiplication. This group is often called the binary icosahedral group and denoted by 2I as it is the double cover of the ordinary icosahedral group I.Шаблон:Sfn It occurs twice in the rotational symmetry group RSG of the 600-cell as an invariant subgroup, namely as the subgroup 2IL of quaternion left-multiplications and as the subgroup 2IR of quaternion right-multiplications. Each rotational symmetry of the 600-cell is generated by specific elements of 2IL and 2IR; the pair of opposite elements generate the same element of RSG. The centre of RSG consists of the non-rotation Id and the central inversion −Id. We have the isomorphism RSG ≅ (2IL × 2IR) / {Id, -Id}. The order of RSG equals Шаблон:Sfrac = 7200. The quaternion algebra as a tool for the treatment of 3D and 4D rotations, and as a road to the full understanding of the theory of rotations in 4-dimensional Euclidean space, is described by Mebius.Шаблон:Sfn

The binary icosahedral group is isomorphic to SL(2,5).

The full symmetry group of the 600-cell is the Weyl group of H4.Шаблон:Sfn This is a group of order 14400. It consists of 7200 rotations and 7200 rotation-reflections. The rotations form an invariant subgroup of the full symmetry group. The rotational symmetry group was first described by S.L. van Oss.Шаблон:Sfn The H4 group and its Clifford algebra construction from 3-dimensional symmetry groups by induction is described by Dechant.Шаблон:Sfn

Visualization

The symmetries of the 3-D surface of the 600-cell are somewhat difficult to visualize due to both the large number of tetrahedral cells,Шаблон:Efn and the fact that the tetrahedron has no opposing faces or vertices.Шаблон:Efn One can start by realizing the 600-cell is the dual of the 120-cell. One may also notice that the 600-cell also contains the vertices of a dodecahedron,Шаблон:Sfn which with some effort can be seen in most of the below perspective projections.

2D projections

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

Orthographic projections by Coxeter planesШаблон:Sfn
H4 - F4
Файл:600-cell graph H4.svg
[30]
(Red=1)
Файл:600-cell t0 p20.svg
[20]
(Red=1)
Файл:600-cell t0 F4.svg
[12]
(Red=1)
H3 A2 / B3 / D4 A3 / B2
Файл:600-cell t0 H3.svg
[10]
(Red=1,orange=5,yellow=10)
Файл:600-cell t0 A2.svg
[6]
(Red=1,orange=3,yellow=6)
Файл:600-cell t0.svg
[4]
(Red=1,orange=2,yellow=4)

3D projections

A three-dimensional model of the 600-cell, in the collection of the Institut Henri Poincaré, was photographed in 1934–1935 by Man Ray, and formed part of two of his later "Shakesperean Equation" paintings.[3]

Vertex-first projection
Файл:600cell-perspective-vertex-first-multilayer-01.png This image shows a vertex-first perspective projection of the 600-cell into 3D. The 600-cell is scaled to a vertex-center radius of 1, and the 4D viewpoint is placed 5 units away. Then the following enhancements are applied:
  • The 20 tetrahedra meeting at the vertex closest to the 4D viewpoint are rendered in solid color. Their icosahedral arrangement is clearly shown.
  • The tetrahedra immediately adjoining these 20 cells are rendered in transparent yellow.
  • The remaining cells are rendered in edge-outline.
  • Cells facing away from the 4D viewpoint (those lying on the "far side" of the 600-cell) have been culled, to reduce visual clutter in the final image.
Cell-first projection
Файл:600cell-perspective-cell-first-multilayer-02.png This image shows the 600-cell in cell-first perspective projection into 3D. Again, the 600-cell to a vertex-center radius of 1 and the 4D viewpoint is placed 5 units away. The following enhancements are then applied:
  • The nearest cell to the 4d viewpoint is rendered in solid color, lying at the center of the projection image.
  • The cells surrounding it (sharing at least 1 vertex) are rendered in transparent yellow.
  • The remaining cells are rendered in edge-outline.
  • Cells facing away from the 4D viewpoint have been culled for clarity.

This particular viewpoint shows a nice outline of 5 tetrahedra sharing an edge, towards the front of the 3D image.

Frame synchronized orthogonal isometric (left) and perspective (right) projections
Файл:Cell600Cmp.ogv

Diminished 600-cells

The snub 24-cell may be obtained from the 600-cell by removing the vertices of an inscribed 24-cell and taking the convex hull of the remaining vertices.Шаблон:Sfn This process is a diminishing of the 600-cell.

The grand antiprism may be obtained by another diminishing of the 600-cell: removing 20 vertices that lie on two mutually orthogonal rings and taking the convex hull of the remaining vertices.Шаблон:Sfn

A bi-24-diminished 600-cell, with all tridiminished icosahedron cells has 48 vertices removed, leaving 72 of 120 vertices of the 600-cell. The dual of a bi-24-diminished 600-cell, is a tri-24-diminished 600-cell, with 48 vertices and 72 hexahedron cells.

There are a total of 314,248,344 diminishings of the 600-cell by non-adjacent vertices. All of these consist of regular tetrahedral and icosahedral cells.[4]

Diminished 600-cells
Name Tri-24-diminished 600-cell Bi-24-diminished 600-cell Snub 24-cell
(24-diminished 600-cell)
Grand antiprism
(20-diminished 600-cell)
600-cell
Vertices 48 72 96 100 120
Vertex figure
(Symmetry)
Файл:Dual tridiminished icosahedron.png
dual of tridiminished icosahedron
([3], order 6)
Файл:Biicositetradiminished 600-cell vertex figure.png
tetragonal antiwedge
([2]+, order 2)
Файл:Snub 24-cell verf.png
tridiminished icosahedron
([3], order 6)
Файл:Grand antiprism verf.png
bidiminished icosahedron
([2], order 4)
Файл:600-cell verf.svg
Icosahedron
([5,3], order 120)
Symmetry Order 144 (48×3 or 72×2) [3+,4,3]
Order 576 (96×6)
[[10,2+,10]]
Order 400 (100×4)
[5,3,3]
Order 14400 (120×120)
Net Файл:Triicositetradiminished hexacosichoron net.png Файл:Biicositetradiminished hexacosichoron net.png Файл:Snub 24-cell-net.png Файл:Grand antiprism net.png Файл:600-cell net.png
Ortho
H4 plane
Файл:Bidex ortho-30-gon.png Файл:Snub 24-cell ortho30-gon.png Файл:Grand antiprism ortho-30-gon.png Файл:600-cell graph H4.svg
Ortho
F4 plane
Файл:Bidex ortho 12-gon.png Файл:24-cell h01 F4.svg Файл:GrandAntiPrism-2D-F4.svg Файл:600-cell t0 F4.svg

Related polytopes and honeycombs

The 600-cell is one of 15 regular and uniform polytopes with the same H4 symmetry [3,3,5]:Шаблон:Sfn Шаблон:H4 family

It is similar to three regular 4-polytopes: the 5-cell {3,3,3}, 16-cell {3,3,4} of Euclidean 4-space, and the order-6 tetrahedral honeycomb {3,3,6} of hyperbolic space. All of these have tetrahedral cells. Шаблон:Tetrahedral cell tessellations

This 4-polytope is a part of a sequence of 4-polytope and honeycombs with icosahedron vertex figures: Шаблон:Icosahedral vertex figure tessellations

The regular complex polygons 3{5}3, Шаблон:CDD and 5{3}5, Шаблон:CDD, in <math>\mathbb{C}^2</math> have a real representation as 600-cell in 4-dimensional space. Both have 120 vertices, and 120 edges. The first has Complex reflection group 3[5]3, order 360, and the second has symmetry 5[3]5, order 600.Шаблон:Sfn

Regular complex polytope in orthogonal projection of H4 Coxeter planeШаблон:Sfn
Файл:600-cell graph H4.svg
{3,3,5}
Order 14400
Файл:Complex polygon 3-5-3.png
3{5}3
Order 360
Файл:Complex polygon 5-3-5.png
5{3}5
Order 600

See also

Notes

Шаблон:Notelist

Citations

Шаблон:Reflist

References

Шаблон:Refbegin

Шаблон:Refend

External links

Шаблон:Regular 4-polytopes Шаблон:Polytopes Шаблон:Authority control

  1. N.W. Johnson: Geometries and Transformations, (2018) Шаблон:ISBN 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. Шаблон:Citation. See in particular mathematical object mo-6.2, p. 58; Antony and Cleopatra, SE-6, p. 59; mathematical object mo-9, p. 64; Merchant of Venice, SE-9, p. 65, and "The Hexacosichoron", Philip Ordning, p. 96.
  4. Шаблон:Cite journal