Regular 4-polytope

In mathematics, a regular 4-polytope is a regular four-dimensional polytope. They are the four-dimensional analogs of the regular polyhedra in three dimensions and the regular polygons in two dimensions.

Regular 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century, although the full set were not discovered until later.

There are six convex and ten star regular 4-polytopes, giving a total of sixteen.

History

The tesseract is one of 6 convex regular 4-polytopes

The convex 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. Schläfli discovered that there are precisely six such figures.

Schläfli also found four of the regular star 4-polytopes; (the grand 120-cell, great stellated 120-cell, grand 600-cell, and great grand stellated 120-cell). He skipped the remaining six because he would not allow forms that failed the Euler characteristic on cells or vertex figures (for zero-hole tori: F − E + V = 2). That excludes cells and vertex figures as {5,5/2}, and {5/2,5}.

Edmund Hess (1843–1903) published the complete list in his 1883 German book Einleitung in die Lehre von der Kugelteilung mit besonderer Berücksichtigung ihrer Anwendung auf die Theorie der Gleichflächigen und der gleicheckigen Polyeder.

Construction

The existence of a regular 4-polytope \{p,q,r\} is constrained by the existence of the regular polyhedra \{p,q\}, \{q,r\} which form its cells and a dihedral angle constraint

\sin(\frac{\pi}{p}) \sin(\frac{\pi}{r}) < \cos(\frac{\pi}{q}).

to ensure that the cells meet to form a closed 3-surface.

The six convex and ten star polytopes described are the only solutions to these constraints.

There are four nonconvex Schläfli symbols {p,q,r} that have valid cells {p,q} and vertex figures {q,r}, and pass the dihedral test, but fail to produce finite figures: {3,5/2,3}, {4,3,5/2}, {5/2,3,4}, {5/2,3,5/2}.

Regular convex 4-polytopes

The regular convex 4-polytopes are the four-dimensional analogs of the Platonic solids in three dimensions and the convex regular polygons in two dimensions.

Five of them may be thought of as close analogs of the Platonic solids. There is one additional figure, the 24-cell, which has no close three-dimensional equivalent.

Each convex regular 4-polytope is bounded by a set of 3-dimensional cells which are all Platonic solids of the same type and size. These are fitted together along their respective faces in a regular fashion.

Properties

The following tables lists some properties of the six convex regular 4-polytopes. The symmetry groups of these 4-polytopes are all Coxeter groups and given in the notation described in that article. The number following the name of the group is the order of the group.

Names Image Family Schläfli
Coxeter 		V E F C Vert.
fig. 		Dual Symmetry group
5-cell
pentachoron
pentatope
4-simplex		 n-simplex
(An family) 		{3,3,3}
 5 10 10
{3} 		5
{3,3} 		{3,3} (self-dual) A4
[3,3,3]		 120
8-cell
octachoron
tesseract
4-cube		 n-cube
(Bn family) 		{4,3,3}
 16 32 24
{4} 		8
{4,3} 		{3,3} 16-cell B4
[4,3,3] 		384
16-cell
hexadecachoron
4-orthoplex 		n-orthoplex
(Bn family) 		{3,3,4}
 8 24 32
{3} 		16
{3,3} 		{3,4} 8-cell B4
[4,3,3] 		384
24-cell
icositetrachoron
octaplex
polyoctahedron (pO)		 Fn family {3,4,3}
 24 96 96
{3} 		24
{3,4} 		{4,3} (self-dual) F4
[3,4,3] 		1152
120-cell
hecatonicosachoron
dodecacontachoron
dodecaplex
polydodecahedron (pD)		 n-pentagonal polytope
(Hn family) 		{5,3,3}
 600 1200 720
{5} 		120
{5,3} 		{3,3} 600-cell H4
[5,3,3] 		14400
600-cell
hexacosichoron
tetraplex
polytetrahedron (pT)		 n-pentagonal polytope
(Hn family) 		{3,3,5}
 120 720 1200
{3} 		600
{3,3} 		{3,5} 120-cell H4
[5,3,3] 		14400

John Conway advocates the names simplex, orthoplex, tesseract, octaplex or polyoctahedron (pO), dodecaplex or polydodecahedron (pD), and tetraplex or polytetrahedron (pT).[1]

Norman Johnson advocates the names n-cell, or pentachoron, tesseract or octachoron, hexadecachoron, icositetrachoron, hecatonicosachoron (or dodecacontachoron), and hexacosichoron, coining the term polychoron being a 4D analogy to the 3D polyhedron, and 2D polygon, expressed from the Greek roots poly ("many") and choros ("room" or "space").[2][3]

The Euler characteristic for all 4-polytopes is zero, we have the 4-dimensional analog of Euler's polyhedral formula:

N_0 - N_1 + N_2 - N_3 = 0\,

where Nk denotes the number of k-faces in the polytope (a vertex is a 0-face, an edge is a 1-face, etc.).

Visualization

The following table shows some 2-dimensional projections of these 4-polytopes. Various other visualizations can be found in the external links below. The Coxeter-Dynkin diagram graphs are also given below the Schläfli symbol.

A4 = [3,3,3] BC4 = [4,3,3] F4 = [3,4,3] H4 = [5,3,3]
5-cell 8-cell 16-cell 24-cell 120-cell 600-cell
{3,3,3} {4,3,3} {3,3,4} {3,4,3} {5,3,3} {3,3,5}
Solid 3D orthographic projections

tetrahedral
envelope
(cell/vertex-centered)
cubic envelope
(cell-centered)
Cubic envelope
(cell-centered)
cuboctahedral
envelope
(cell-centered)
truncated rhombic
triacontahedron
envelope
(cell-centered)
Pentakis icosidodecahedral
envelope
(vertex-centered)
Wireframe Schlegel diagrams (Perspective projection)

Cell-centered
Cell-centered
Cell-centered
Cell-centered
Cell-centered
Vertex-centered
Wireframe stereographic projections (3-sphere)

Regular star (Schläfli–Hess) 4-polytopes

The great grand 120-cell, one of ten Schläfli–Hess polychora by orthographic projection.

The Schläfli–Hess 4-polytopes are the complete set of 10 regular self-intersecting star polychora (four-dimensional polytopes).[4] They are named in honor of their discoverers: Ludwig Schläfli and Edmund Hess. Each is represented by a Schläfli symbol {p,q,r} in which one of the numbers is 5/2. They are thus analogous to the regular nonconvex Kepler–Poinsot polyhedra.

Names

Conway abbreviated name hierarchy

Their names given here were given by John Conway, extending Cayley's names for the Kepler–Poinsot polyhedra: along with stellated and great, he adds a grand modifier. Conway offered these operational definitions:

  1. stellation – replaces edges by longer edges in same lines. (Example: a pentagon stellates into a pentagram)
  2. greatening – replaces the faces by large ones in same planes. (Example: an icosahedron greatens into a great icosahedron)
  3. aggrandizement – replaces the cells by large ones in same 3-spaces. (Example: a 600-cell aggrandizes into a grand 600-cell)

John Conway names the 10 forms from 3 regular celled 4-polytopes: pT=polytetrahedron {3,3,5} (a tetrahedral 600-cell), pI=polyicoshedron {3,5,5/2} (an icosahedral 120-cell), and pD=polydodecahedron {5,3,3} (a dodecahedral 120-cell), with prefix modifiers: g, a, and s for great, (ag)grand, and stellated. The final stellation, the great grand stellated polydodecahedron contains them all as gaspD.

Symmetry

All ten polychora have [3,3,5] (H4) hexacosichoric symmetry. They are generated from 6 related Goursat tetrahedra rational-order symmetry groups: [3,5,5/2], [5,5/2,5], [5,3,5/2], [5/2,5,5/2], [5,5/2,3], and [3,3,5/2].

Each group has 2 regular star-polychora, except for two groups which are self-dual, having only one. So there are 4 dual-pairs and 2 self-dual forms among the ten regular star polychora.

Properties

Note:

The cells (polyhedra), their faces (polygons), the polygonal edge figures and polyhedral vertex figures are identified by their Schläfli symbols.

Name
Conway (abbrev.)		 Orthogonal
projection		 Schläfli
Coxeter		 C
{p, q}		 F
{p}		 E
{r}		 V
{q, r}		 Dens. χ
Icosahedral 120-cell
polyicosahedron (pI)		 {3,5,5/2}
 120
{3,5}
 1200
{3}
 720
{5/2}
 120
{5,5/2}
 4 480
Small stellated 120-cell
stellated polydodecahedron (spD)		 {5/2,5,3}
 120
{5/2,5}
 720
{5/2}
 1200
{3}
 120
{5,3}
 4 −480
Great 120-cell
great polydodecahedron (gpD)		 {5,5/2,5}
 120
{5,5/2}
 720
{5}
 720
{5}
 120
{5/2,5}
 6 0
Grand 120-cell
grand polydodecahedron (apD)		 {5,3,5/2}
 120
{5,3}
 720
{5}
 720
{5/2}
 120
{3,5/2}
 20 0
Great stellated 120-cell
great stellated polydodecahedron (gspD)		 {5/2,3,5}
 120
{5/2,3}
 720
{5/2}
 720
{5}
 120
{3,5}
 20 0
Grand stellated 120-cell
grand stellated polydodecahedron (aspD)		 {5/2,5,5/2}
 120
{5/2,5}
 720
{5/2}
 720
{5/2}
 120
{5,5/2}
 66 0
Great grand 120-cell
great grand polydodecahedron (gapD)		 {5,5/2,3}
 120
{5,5/2}
 720
{5}
 1200
{3}
 120
{5/2,3}
 76 −480
Great icosahedral 120-cell
great polyicosahedron (gpI)		 {3,5/2,5}
 120
{3,5/2}
 1200
{3}
 720
{5}
 120
{5/2,5}
 76 480
Grand 600-cell
grand polytetrahedron (apT)		 {3,3,5/2}
 600
{3,3}
 1200
{3}
 720
{5/2}
 120
{3,5/2}
 191 0
Great grand stellated 120-cell
great grand stellated polydodecahedron (gaspD)		 {5/2,3,3}
 120
{5/2,3}
 720
{5/2}
 1200
{3}
 600
{3,3}
 191 0

See also

References

Citations

  1. ↑ Conway, 2008, Chapter 26, Higher Still
  2. ↑ "Convex and abstract polytopes", Programme and abstracts, MIT, 2005
  3. ↑ Johnson (2015), Chapter 11, Section 11.5 Spherical Coxeter groups
  4. ↑ Coxeter, Star polytopes and the Schläfli function f{α,β,γ) p. 122 2. The Schläfli-Hess polytopes

Bibliography

External links