Sample Page

In four-dimensional geometry, the 24-cell is a convex regular 4-polytope,[1] a four-dimensional analogue of a Platonic solid. It is named for the 24 octahedra that form its boundary.

It is also called C24, or the icositetrachoron,[2] octaplex (short for “octahedral complex”), icosatetrahedroid,[3] octacube, hyper-diamond or polyoctahedron, being constructed of octahedral cells.

Geometric description

The 24-cell is a convex four-dimensional polytope boundary, an analogy of nearly the cuboctahedron and its dual the rhombic dodecahedron in four dimensions.[4] It is composed of 24 octahedral cells with six meeting at each vertex, and three at each edge.[5] Together, it has 96 triangular faces, 96 edges, and 24 vertices. Like other four-dimensional regular polytope, 5-cell, the 24-cell is self-dual. The 24-cell and the tesseract are the only convex regular 4-polytopes in which the edge length equals the radius. Its geometry is summarized by its Schläfli symbol, , which indicates that its faces are regular 3-gons (triangles), its cells are octahedra (polyhedra with 3-sided faces, 4 of which meet at each vertex), and the vertex figure is a cube (a polyhedron with 4-sided faces, 3 of which meet at each vertex).

The 24-point 24-cell contains three 8-point 16-cells (red, green, and blue), double-rotated by 60 degrees with respect to each other
The net of a 24-cell is composed of regular octahedra

The 24-cell incorporates the geometries of every convex regular polytope in the first four dimensions, except the 5-cell, those with a 5 in their Schlӓfli symbol, and the regular polygons with 7 or more sides. In other words, the 24-cell contains all of the regular polytopes made of triangles and squares that exist in four dimensions except the regular 5-cell, but none of the pentagonal polytopes. The geometric relationships among all of these regular polytopes can be observed in a single 24-cell or the 24-cell honeycomb.

The 24-cell is the fourth in the sequence of six convex regular 4-polytopes (in order of size and complexity). The convex regular 4-polytopes can be ordered by size as a measure of 4-dimensional content (hypervolume) for the same radius. This is their proper order of enumeration, the order in which they nest inside each other as compounds.[6] Each greater polytope in the sequence is rounder than its predecessor, enclosing more 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 24-cell is the 24-point 4-polytope: fourth in the ascending sequence that runs from 5-point 4-polytope to 600-point 4-polytope. It can be deconstructed into 3 overlapping instances of its predecessor the tesseract (8-cell), as the 8-cell can be deconstructed into 2 instances of its predecessor the 16-cell.[7] 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 24-cell is the convex hull of its vertices which can be described as the 24 coordinate permutations of:[8]Those coordinates can be constructed as the 24-cell , rectifying the 16-cell with the 8 vertices that are permutations of .[8] The vertex figure of a 16-cell is the octahedron; thus, cutting the vertices of the 16-cell at the midpoint of its incident edges produces 8 octahedral cells. This process also rectifies the tetrahedral cells of the 16-cell which become 16 octahedra, giving the 24-cell 24 octahedral cells.[9]

The 12 axes and 16 hexagons of the 24-cell constitute a Reye configuration, which in the language of configurations is written as 124163 to indicate that each axis belongs to 4 hexagons, and each hexagon contains 3 axes.[10]

This configuration matrix represents the 24-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 24-cell. The non-diagonal numbers say how many of the column’s element occur in or at the row’s element.[11]

Root systems

The compound of the 24 vertices of the 24-cell (red nodes), and its unscaled dual (yellow nodes), represent the 48 root vectors of the F4 group, as shown in this F4 Coxeter plane projection

The 24 root vectors of the D4 root system of the simple Lie group SO(8) form the vertices of a 24-cell. The vertices can be seen in 3 hyperplanes, with the 6 vertices of an octahedron cell on each of the outer hyperplanes and 12 vertices of a cuboctahedron on a central hyperplane. These vertices, combined with the 8 vertices of the 16-cell, represent the 32 root vectors of the B4 and C4 simple Lie groups.

The 48 vertices (or strictly speaking their radius vectors) of the union of the 24-cell and its dual form the root system of type F4.[12] The 24 vertices of the original 24-cell form a root system of type D4; its size has the ratio 2:1. This is likewise true for the 24 vertices of its dual. The full symmetry group of the 24-cell is the Weyl group of F4, which is generated by reflections through the hyperplanes orthogonal to the F4 roots. This is a solvable group of order 1152. The rotational symmetry group of the 24-cell is of order 576.

Quaternionic interpretation

The 24 quaternion elements of the binary tetrahedral group match the vertices of the 24-cell. Seen in 4-fold symmetry projection: * 1 order-1: 1 * 1 order-2: -1 * 6 order-4: ±i, ±j, ±k * 8 order-6: (+1±i±j±k)/2 * 8 order-3: (-1±i±j±k)/2.

When interpreted as the quaternions, the F4 root lattice (which is the integral span of the vertices of the 24-cell) is closed under multiplication and is therefore a ring. This is the ring of Hurwitz integral quaternions. The vertices of the 24-cell form the group of units (i.e. the group of invertible elements) in the Hurwitz quaternion ring (this group is also known as the binary tetrahedral group). The vertices of the 24-cell are precisely the 24 Hurwitz quaternions with norm squared 1, and the vertices of the dual 24-cell are those with norm squared 2. The D4 root lattice is the dual of the F4 and is given by the subring of Hurwitz quaternions with even norm squared.[13]

Viewed as the 24 unit Hurwitz quaternions, the unit radius coordinates of the 24-cell represent (in antipodal pairs) the 12 rotations of a regular tetrahedron.[5]

Vertices of other convex regular 4-polytopes also form multiplicative groups of quaternions, but few of them generate a root lattice.[14]

Voronoi cells and tessellation

A 24-cell honeycomb

The Voronoi cells of the D4 root lattice are regular 24-cells. The corresponding Voronoi tessellation gives the tessellation of four-dimensional Euclidean space by regular 24-cells, the 24-cell honeycomb. As a polytope that can tile by translation, the 24-cell is an example of a parallelotope, the simplest one that is not also a zonotope.[15] The Schläfli symbol for this tessellation is . It is one of only three regular tessellations of . The 24-cells are centered at the D4 lattice points (Hurwitz quaternions with even norm squared) while the vertices are at the F4 lattice points with odd norm squared. Each 24-cell of this tessellation has 24 neighbors. With each of these it shares an octahedron. It also has 24 other neighbors with which it shares only a single vertex. Eight 24-cells meet at any given vertex in this tessellation.

The dual tessellation of the 24-cell honeycomb {3,4,3,3} is the 16-cell honeycomb {3,3,4,3}. The third regular tessellation of four dimensional space is the tesseractic honeycomb {4,3,3,4}, whose vertices can be described by 4-integer Cartesian coordinates. The congruent relationships among these three tessellations can be helpful in visualizing the 24-cell, in particular the radial equilateral symmetry which it shares with the tesseract.

Rotations

The regular convex 4-polytopes are an expression of their underlying symmetry which is known as SO(4), the group of rotations about a fixed point in 4-dimensional Euclidean space.[16]

A 3D projection of a 24-cell performing a simple rotation.
A 3D projection of a 24-cell performing a double rotation.

Rotations in 4-dimensional Euclidean space can be seen as the composition of two 2-dimensional rotations in completely orthogonal planes.[17] Thus the general rotation in 4-space is a double rotation.[18] There are two important special cases: a simple rotation (in which one rotational angle is 0) and an isoclinic rotation (similar but not identical to two simple rotations through the same angle).

  • In the 24-cell, there is a simple rotation which will take any vertex directly to any other vertex, also moving most of the other vertices but leaving at least 2 and at most 6 other vertices fixed (the vertices that the fixed central plane intersects). The vertex moves along a great circle in the invariant plane of rotation between adjacent vertices of a great hexagon, a great square or a great digon, and the completely orthogonal fixed plane is a digon, a square or a hexagon, respectively.
  • Double rotations come in two chiral forms: left and right rotations. In a double rotation each vertex moves in a spiral along two orthogonal great circles at once. Either the path is right-hand threaded (like most screws and bolts), moving along the circles in the “same” directions, or it is left-hand threaded (like a reverse-threaded bolt), moving along the circles in what we conventionally say are “opposite” directions (according to the right hand rule by which we conventionally say which way is “up” on each of the 4 coordinate axes).[19] In double rotations of the 24-cell that take vertices to vertices, one invariant plane of rotation contains either a great hexagon, a great square, or only an axis (two vertices, a great digon). The completely orthogonal invariant plane of rotation will necessarily contain a great digon, a great square, or a great hexagon, respectively. The selection of an invariant plane of rotation, a rotational direction and angle through which to rotate it, and a rotational direction and angle through which to rotate its completely orthogonal plane, completely determines the nature of the rotational displacement. In the 24-cell, there are several noteworthy kinds of double rotation permitted by these parameters.[20]
  • When the angles of rotation in the two completely orthogonal invariant planes are exactly the same, a remarkably symmetric transformation occurs:[21] all the great circle planes Clifford parallel to the pair of invariant planes become pairs of invariant planes of rotation themselves, through that same angle, and the 4-polytope rotates isoclinically in many directions at once.[22] Each vertex moves an equal distance in four orthogonal directions at the same time. In the 24-cell any isoclinic rotation through 60 degrees in a hexagonal plane takes each vertex to a vertex two edge lengths away, rotates all 16 hexagons by 60 degrees, and takes every great circle polygon (square, hexagon or triangle) to a Clifford parallel great circle polygon of the same kind 120 degrees away. An isoclinic rotation is also called a Clifford displacement, after its discoverer.

The 24-cell in the double rotation animation appears to turn itself inside out. It appears to, because it actually does, reversing the chirality of the whole 4-polytope just the way your bathroom mirror reverses the chirality of your image by a 180 degree reflection. Each 360 degree isoclinic rotation is as if the 24-cell surface had been stripped off like a glove and turned inside out, making a right-hand glove into a left-hand glove (or vice versa).[23]

Characteristic orthoscheme

Characteristics of the 24-cell[24]
edge[25] arc dihedral[26]
𝒍 60° 120°
𝟀 45° 45°
𝝉 30° 60°
𝟁 30° 60°
45° 90°
30° 90°
30° 90°

Every regular 4-polytope has its characteristic 4-orthoscheme, an irregular 5-cell. The characteristic 5-cell of the regular 24-cell is represented by the Coxeter-Dynkin diagram , 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 octahedron. The regular 24-cell is subdivided by its symmetry hyperplanes into 1152 instances of its characteristic 5-cell that all meet at its center.[27]

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 24-cell). If the regular 24-cell has radius and edge length 𝒍 = 1, its characteristic 5-cell’s ten edges have lengths , , around its exterior right-triangle face (the edges opposite the characteristic angles 𝟀, 𝝉, 𝟁), plus , , (the other three edges of the exterior 3-orthoscheme facet the characteristic tetrahedron, which are the characteristic radii of the octahedron), plus , , , (edges which are the characteristic radii of the 24-cell). The 4-edge path along orthogonal edges of the orthoscheme is , , , , first from a 24-cell vertex to a 24-cell edge center, then turning 90° to a 24-cell face center, then turning 90° to a 24-cell octahedral cell center, then turning 90° to the 24-cell center.

Reflections

The 24-cell can be constructed by the reflections of its characteristic 5-cell in its own facets (its tetrahedral mirror walls). Reflections and rotations are related: a reflection in an even number of intersecting mirrors is a rotation.[28] Consequently, regular polytopes can be generated by reflections or by rotations. For example, any 720° isoclinic rotation of the 24-cell in a hexagonal invariant plane takes each of the 24 vertices to and through 5 other vertices and back to itself, on a skew hexagram2 geodesic isocline that winds twice around the 3-sphere on every second vertex of the hexagram. Any set of four orthogonal pairs of antipodal vertices (the 8 vertices of one of the three inscribed 16-cells) performing half such an orbit visits 3 * 8 = 24 distinct vertices and generates the 24-cell sequentially in 3 steps of a single 360° isoclinic rotation, just as any single characteristic 5-cell reflecting itself in its own mirror walls generates the 24 vertices simultaneously by reflection.

Tracing the orbit of one such 16-cell vertex during the 360° isoclinic rotation reveals more about the relationship between reflections and rotations as generative operations. The vertex follows an isocline (a doubly curved geodesic circle) rather than an ordinary great circle. The isocline connects vertices two edge lengths apart, but curves away from the great circle path over the two edges connecting those vertices, missing the vertex in between. Although the isocline does not follow any one great circle, it is contained within a ring of another kind: in the 24-cell it stays within a 6-cell ring of spherical[29] octahedral cells, intersecting one vertex in each cell, and passing through the volume of two adjacent cells near the missed vertex.

Chiral symmetry operations

A symmetry operation is a rotation or reflection which leaves the object indistinguishable from itself before the transformation. The 24-cell has 1152 distinct symmetry operations (576 rotations and 576 reflections). Each rotation is equivalent to two reflections, in a distinct pair of non-parallel mirror planes.

Pictured are sets of disjoint great circle polygons, each in a distinct central plane of the 24-cell. For example, {24/4}=4{6} is an orthogonal projection of the 24-cell picturing 4 of its [16] great hexagon planes. The 4 planes lie Clifford parallel to the projection plane and to each other, and their great polygons collectively constitute a discrete Hopf fibration of 4 non-intersecting great circles which visit all 24 vertices just once.

Each row of the table describes a class of distinct rotations. Each rotation class takes the left planes pictured to the corresponding right planes pictured. The vertices of the moving planes move in parallel along the polygonal isocline paths pictured. For example, the rotation class consists of [32] distinct rotational displacements by an arc-distance of 2𝝅/3 = 120° between 16 great hexagon planes represented by quaternion group and a corresponding set of 16 great hexagon planes represented by quaternion group . One of the [32] distinct rotations of this class moves the representative vertex coordinate to the vertex coordinate .

Proper rotations of the 24-cell symmetry group F4[30]
Isocline Rotation class Left planes Right planes
{24/8}=4{6/2}


[16] 4𝝅 {6/2}
{24/4}=4{6}


[16] 2𝝅 {6}
{24/8}=4{6/2}


[16] 2𝝅 {6}
2𝝅/3 120° 3 1.732~ 𝝅/3 60° 1 1 2𝝅/3 120° 3 1.732~
{24/2}=2{12}


[16] 4𝝅 {12}
{24/4}=4{6}


[16] 2𝝅 {6}
{24/4}=4{6}


[16] 2𝝅 {6}
𝝅/3 60° 1 1 𝝅/3 60° 1 1 𝝅/3 60° 1 1
{24/1}={24}


[16] 4𝝅 {1}
{24/4}=4{6}


[16] 2𝝅 {6}
{24/4}=4{6}


[16] 2𝝅 {6}
2𝝅 360° 0 0 𝝅/3 60° 1 1 𝝅/3 60° 1 1
{24/12}=12{2}


[16] 4𝝅 {2}
{24/4}=4{6}


[16] 2𝝅 {6}
{24/8}=4{6/2}


[16] 2𝝅 {6}
𝝅 180° 4 2 𝝅/3 60° 1 1 2𝝅/3 120° 3 1.732~
{24/2}=2{12}


[8] 4𝝅 {12}
{24/4}=4{6}


[8] 2𝝅 {6}
{24/6}=6{4}


[8] 2𝝅 {4}
𝝅/3 60° 1 1 𝝅/3 60° 1 1 𝝅/2 90° 2 1.414~
{24/8}=4{6/2}


[8] 4𝝅 {6/2}
{24/4}=4{6}


[8] 2𝝅 {6}
{24/6}=6{4}


[8] 2𝝅 {4}
2𝝅/3 120° 3 1.732~ 𝝅/3 60° 1 1 𝝅/2 90° 2 1.414~
{24/1}={24}


[18] 4𝝅 {1}
{24/6}=6{4}


[18] 2𝝅 {4}
{24/6}=6{4}


[18] 2𝝅 {4}
2𝝅 360° 0 0 𝝅/2 90° 2 1.414~ 𝝅/2 90° 2 1.414~
{24/12}=12{2}


[18] 4𝝅 {2}
{24/6}=6{4}


[18] 2𝝅 {4}
{24/6}=6{4}


[18] 2𝝅 {4}
𝝅 180° 4 2 𝝅/2 90° 2 1.414~ 𝝅/2 90° 2 1.414~
{24/9}=3{8/3}


[72] 4𝝅 {8/3}
{24/6}=6{4}


[72] 2𝝅 {4}
{24/6}=6{4}


[72] 2𝝅 {4}
𝝅/2 90° 2 1.414~ 𝝅/2 90° 2 1.414~ 𝝅 180° 4 2
{24/1}={24}


[36] 4𝝅 {1}
{24/6}=6{4}


[36] 2𝝅 {4}
{24/6}=6{4}


[36] 2𝝅 {4}
2𝝅 360° 0 0 𝝅/2 90° 2 1.414~ 𝝅/2 90° 2 1.414~
{24/2}=2{12}


[48] 4𝝅 {12}
{24/6}=6{4}


[48] 2𝝅 {4}
{24/4}=4{6}


[48] 2𝝅 {6}
𝝅/3 60° 1 1 𝝅/2 90° 2 1.414~ 𝝅/3 60° 1 1
{24/12}=12{2}


[9] 4𝝅 {2}
{24/6}=6{4}


[9] 2𝝅 {4}
{24/6}=6{4}


[9] 2𝝅 {4}
𝝅 180° 4 2 𝝅/2 90° 2 1.414~ 𝝅/2 90° 2 1.414~
{24/12}=12{2}


[12] 4𝝅 {2}
{24/12}=12{2}


[12] 2𝝅 {2}
{24/12}=12{2}


[12] 2𝝅 {2}
𝝅/2 90° 2 1.414~ 𝝅/2 90° 2 1.414~ 𝝅/2 90° 2 1.414~
{24/1}={24}


[0] 0𝝅 {1}
{24/12}=12{2}


[0] 2𝝅 {2}
{24/12}=12{2}


[0] 2𝝅 {2}
0 0 0 𝝅/2 90° 2 1.414~ 𝝅/2 90° 2 1.414~
{24/12}=12{2}


[12] 2𝝅 {2}
{24/12}=12{2}


[12] 2𝝅 {2}
{24/12}=12{2}


[12] 2𝝅 {2}
𝝅 180° 4 2 𝝅/2 90° 2 1.414~ 𝝅/2 90° 2 1.414~

In a rotation class each quaternion group may be representative not only of its own fibration of Clifford parallel planes but also of the other congruent fibrations. For example, rotation class takes the 4 hexagon planes of to the 4 hexagon planes of which are 120° away, in an isoclinic rotation. But in a rigid rotation of this kind, all [16] hexagon planes move in congruent rotational displacements, so this rotation class also includes , and . The name is the conventional representation for all [16] congruent plane displacements.

These rotation classes are all subclasses of which has [32] distinct rotational displacements rather than [16] because there are two chiral ways to perform any class of rotations, designated its left rotations and its right rotations. The [16] left displacements of this class are not congruent with the [16] right displacements, but enantiomorphous like a pair of shoes. Each left (or right) isoclinic rotation takes [16] left planes to [16] right planes, but the left and right planes correspond differently in the left and right rotations. The left and right rotational displacements of the same left plane take it to different right planes.

Each rotation class (table row) describes a distinct left (and right) isoclinic rotation. The left (or right) rotations carry the left planes to the right planes simultaneously, through a characteristic rotation angle. For example, the rotation moves all [16] hexagonal planes at once by 2𝝅/3 = 120° each. Repeated 6 times, this left (or right) isoclinic rotation moves each plane 720° and back to itself in the same orientation, passing through all 4 planes of the left set and all 4 planes of the right set once each. The picture in the isocline column represents this union of the left and right plane sets. In the example it can be seen as a set of 4 Clifford parallel skew hexagrams, each having one edge in each great hexagon plane, and skewing to the left (or right) at each vertex throughout the left (or right) isoclinic rotation.

Visualization

Octacube steel sculpture at Pennsylvania State University

Cell rings

The 24-cell is bounded by 24 octahedral cells. For visualization purposes, it is convenient that the octahedron has opposing parallel faces (a trait it shares with the cells of the tesseract and the 120-cell). One can stack octahedrons face to face in a straight line bent in the 4th direction into a great circle with a circumference of 6 cells.[31][32] The cell locations lend themselves to a hyperspherical description. Pick an arbitrary cell and label it the “North Pole“. Eight great circle meridians (two cells long) radiate out in 3 dimensions, converging at the 3rd “South Pole” cell. This skeleton accounts for 18 of the 24 cells (2 + 8×2). See the table below.

Layer # Number of Cells Description Colatitude Region
1 1 cell North Pole Northern Hemisphere
2 8 cells First layer of meridian cells 60°
3 6 cells Non-meridian / interstitial 90° Equator
4 8 cells Second layer of meridian cells 120° Southern Hemisphere
5 1 cell South Pole 180°
Total 24 cells
An edge-center perspective projection, showing one of four rings of 6 octahedra around the equator

The 24-cell can be partitioned into cell-disjoint sets of four of these 6-cell great circle rings, forming a discrete Hopf fibration of four non-intersecting linked rings. One ring is “vertical”, encompassing the pole cells and four meridian cells. The other three rings each encompass two equatorial cells and four meridian cells, two from the northern hemisphere and two from the southern.[33]

The regular complex polygon 4{3}4, or contains the 24 vertices of the 24-cell, and 24 4-edges that correspond to central squares of 24 of 48 octahedral cells. Its symmetry is 4[3]4, order 96.[34]

The following are some polytopes constructed from the 24-cell.

24-cell family polytopes
Name 24-cell truncated 24-cell snub 24-cell rectified 24-cell cantellated 24-cell bitruncated 24-cell cantitruncated 24-cell runcinated 24-cell runcitruncated 24-cell omnitruncated 24-cell
Schläfli
symbol
{3,4,3} t0,1{3,4,3}
t{3,4,3}
s{3,4,3} t1{3,4,3}
r{3,4,3}
t0,2{3,4,3}
rr{3,4,3}
t1,2{3,4,3}
2t{3,4,3}
t0,1,2{3,4,3}
tr{3,4,3}
t0,3{3,4,3} t0,1,3{3,4,3} t0,1,2,3{3,4,3}
Coxeter
diagram
Schlegel
diagram
F4
B4
B3(a)
B3(b)
B2

The 24-cell can also be derived as a rectified 16-cell:

B4 symmetry polytopes
Name tesseract rectified
tesseract
truncated
tesseract
cantellated
tesseract
runcinated
tesseract
bitruncated
tesseract
cantitruncated
tesseract
runcitruncated
tesseract
omnitruncated
tesseract
Coxeter
diagram

=

=
Schläfli
symbol
{4,3,3} t1{4,3,3}
r{4,3,3}
t0,1{4,3,3}
t{4,3,3}
t0,2{4,3,3}
rr{4,3,3}
t0,3{4,3,3} t1,2{4,3,3}
2t{4,3,3}
t0,1,2{4,3,3}
tr{4,3,3}
t0,1,3{4,3,3} t0,1,2,3{4,3,3}
Schlegel
diagram
B4
 
Name 16-cell rectified
16-cell
truncated
16-cell
cantellated
16-cell
runcinated
16-cell
bitruncated
16-cell
cantitruncated
16-cell
runcitruncated
16-cell
omnitruncated
16-cell
Coxeter
diagram

=

=

=

=

=

=
Schläfli
symbol
{3,3,4} t1{3,3,4}
r{3,3,4}
t0,1{3,3,4}
t{3,3,4}
t0,2{3,3,4}
rr{3,3,4}
t0,3{3,3,4} t1,2{3,3,4}
2t{3,3,4}
t0,1,2{3,3,4}
tr{3,3,4}
t0,1,3{3,3,4} t0,1,2,3{3,3,4}
Schlegel
diagram
B4

See also

Citations

  1. ^ Coxeter 1973, p. 118, Chapter VII: Ordinary Polytopes in Higher Space.
  2. ^ Johnson 2018, p. 249, 11.5.
  3. ^ Ghyka 1977, p. 68.
  4. ^ Coxeter 1995, p. 25, (Paper 3) Two aspects of the regular 24-cell in four dimensions.
  5. ^ a b Stillwell 2001, p. 22.
  6. ^ Coxeter 1973, p. 136, §7.8 The enumeration of possible regular figures.
  7. ^ Coxeter 1973, p. 302, Table VI (ii): 𝐈𝐈 = {3,4,3}: see Result column
  8. ^ a b Coxeter 1973, p. 156, §8.7. Cartesian Coordinates.
  9. ^ Coxeter 1973, pp. 145–146, §8.1 The simple truncations of the general regular polytope.
  10. ^ Waegell & Aravind 2009, pp. 4–5, §3.4 The 24-cell: points, lines and Reye’s configuration; In the 24-cell Reye’s “points” and “lines” are axes and hexagons, respectively.
  11. ^ Coxeter 1973, p. 12, §1.8. Configurations.
  12. ^ van Ittersum 2020, p. 78, §4.2.5.
  13. ^ Egan 2021; quaternions, the binary tetrahedral group and the binary octahedral group, with rotating illustrations.
  14. ^ Koca, Al-Ajmi & Koc 2007.
  15. ^ Coxeter 1968, p. 70, §4.12 The Classification of Zonohedra.
  16. ^ Mamone, Pileio & Levitt 2010, pp. 1438–1439, §4.5 Regular Convex 4-Polytopes; the 24-cell has 1152 symmetry operations (rotations and reflections) as enumerated in Table 2, symmetry group 𝐹4.
  17. ^ Kim & Rote 2016, p. 6, §5. Four-Dimensional Rotations.
  18. ^ Perez-Gracia & Thomas 2017, §7. Conclusions; “Rotations in three dimensions are determined by a rotation axis and the rotation angle about it, where the rotation axis is perpendicular to the plane in which points are being rotated. The situation in four dimensions is more complicated. In this case, rotations are determined by two orthogonal planes and two angles, one for each plane. Cayley proved that a general 4D rotation can always be decomposed into two 4D rotations, each of them being determined by two equal rotation angles up to a sign change.”
  19. ^ Perez-Gracia & Thomas 2017, pp. 12−13, §5. A useful mapping.
  20. ^ Coxeter 1995, pp. 30–32, (Paper 3) Two aspects of the regular 24-cell in four dimensions; §3. The Dodecagonal Aspect; Coxeter considers the 150°/30° double rotation of period 12 which locates 12 of the 225 distinct 24-cells inscribed in the 120-cell, a regular 4-polytope with 120 dodecahedral cells that is the convex hull of the compound of 25 disjoint 24-cells.
  21. ^ Perez-Gracia & Thomas 2017, pp. 2−3, §2. Isoclinic rotations.
  22. ^ Kim & Rote 2016, pp. 7–10, §6. Angles between two Planes in 4-Space.
  23. ^ Coxeter 1973, p. 141, §7.x. Historical remarks; “Möbius realized, as early as 1827, that a four-dimensional rotation would be required to bring two enantiomorphous solids into coincidence. This idea was neatly deployed by H. G. Wells in The Plattner Story.”
  24. ^ Coxeter 1973, pp. 292–293, Table I(ii); “24-cell”.
  25. ^ Coxeter 1973, p. 139, §7.9 The characteristic simplex.
  26. ^ Coxeter 1973, p. 290, Table I(ii); “dihedral angles”.
  27. ^ Kim & Rote 2016, pp. 17–20, §10 The Coxeter Classification of Four-Dimensional Point Groups.
  28. ^ Coxeter 1973, pp. 33–38, §3.1 Congruent transformations.
  29. ^ Coxeter 1973, p. 138; “We allow the Schläfli symbol {p,…, v} to have three different meanings: a Euclidean polytope, a spherical polytope, and a spherical honeycomb. This need not cause any confusion, so long as the situation is frankly recognized. The differences are clearly seen in the concept of dihedral angle.”
  30. ^ Mamone, Pileio & Levitt 2010, pp. 1438–1439, §4.5 Regular Convex 4-Polytopes, Table 2, Symmetry operations.
  31. ^ Coxeter 1970, p. 18, §8. The simplex, cube, cross-polytope and 24-cell; Coxeter studied cell rings in the general case of their geometry and group theory, identifying each cell ring as a polytope in its own right which fills a three-dimensional manifold (such as the 3-sphere) with its corresponding honeycomb. He found that cell rings follow Petrie polygons and some (but not all) cell rings and their honeycombs are twisted, occurring in left- and right-handed chiral forms. Specifically, he found that since the 24-cell’s octahedral cells have opposing faces, the cell rings in the 24-cell are of the non-chiral (directly congruent) kind. Each of the 24-cell’s cell rings has its corresponding honeycomb in Euclidean (rather than hyperbolic) space, so the 24-cell tiles 4-dimensional Euclidean space by translation to form the 24-cell honeycomb.
  32. ^ Banchoff 2013, studied the decomposition of regular 4-polytopes into honeycombs of tori tiling the Clifford torus, showed how the honeycombs correspond to Hopf fibrations, and made a particular study of the 24-cell’s 4 rings of 6 octahedral cells with illustrations.
  33. ^ Banchoff 2013, pp. 265–266.
  34. ^ Coxeter 1991.

References

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 polychoron Pentachoron 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 npolytope nsimplex northoplexncube ndemicube 1k22k1k21 npentagonal polytope
Topics: Polytope familiesRegular polytopeList of regular polytopes and compoundsPolytope operations