Definition
A uniform 5‑polytope is a five‑dimensional convex polytope whose facets are uniform 4‑polytopes, whose vertex figures are uniform, and whose symmetry group is transitive on its vertices. In other words, it is a highly symmetric 5‑dimensional shape in which all vertices are equivalent under the polytope’s symmetry operations, and every facet (4‑dimensional face) is itself a uniform 4‑polytope.
Overview
Uniform 5‑polytopes belong to the broader class of uniform polytopes, which are the higher‑dimensional analogues of the Archimedean solids in three dimensions. The study of uniform 5‑polytopes is part of the theory of convex polytopes and Coxeter groups. Their classification relies on the analysis of reflection groups (Coxeter groups) in five dimensions, particularly the groups denoted $A_5$, $B_5$ (or $C_5$), and $D_5$.
The known families of uniform 5‑polytopes include:
- Regular 5‑polytopes – the three regular convex polytopes in five dimensions: the 5‑simplex ${3,3,3,3}$, the 5‑cube ${4,3,3,3}$, and the 5‑orthoplex ${3,3,3,4}$.
- Uniform series derived from the $A_5$ Coxeter group – the 5‑simplex family and its truncations, cantellations, runcinations, etc.
- Uniform series derived from the $B_5$ (or $C_5$) Coxeter group – includes the 5‑cube and 5‑orthoplex families and their various truncations and cantellations.
- Uniform series derived from the $D_5$ Coxeter group – includes the demicube family (5‑dimensional analogue of the demicube) and related forms.
In total, the complete enumeration yields 1,920 convex uniform 5‑polytopes (including the regular ones), as enumerated by Coxeter and later refined by Johnson and others. Each uniform 5‑polytope can be described by a Wythoff construction using a set of active mirrors in the corresponding Coxeter diagram.
Etymology / Origin
The term “polytope” derives from the Greek roots poly‑ (“many”) and ‑tope (from topos, “place” or “position”), originally used for two‑dimensional polygons and later extended to higher dimensions. “Uniform” in this context refers to vertex‑transitivity, a concept formalized in the early 20th century by H. S. M. Coxeter in his work on regular and semi‑regular polytopes. The specific phrase “5‑polytope” indicates a polytope of dimension five.
Characteristics
| Property | Description |
|---|---|
| Dimension | 5 |
| Convexity | All uniform 5‑polytopes are convex; non‑convex uniform 5‑polytopes (star polytopes) exist but are treated separately. |
| Symmetry | Vertex‑transitive; the symmetry group is a finite Coxeter group acting as a reflection group in $\mathbb{R}^5$. |
| Facets | Uniform 4‑polytopes (e.g., 4‑simplex, 4‑cube, 24‑cell, etc.). |
| Vertex figure | Uniform 4‑polytope, identical for all vertices. |
| Construction | Obtainable via Wythoff’s kaleidoscopic construction; truncation, cantellation, runcination, and other operations applied to regular 5‑polytopes generate the full set. |
| Notation | Often expressed using Schläfli symbols (e.g., ${3,3,3,3}$ for the 5‑simplex) and extended notation for derived forms (e.g., $t_0,1{3,3,3,3}$ for a truncated 5‑simplex). |
Related Topics
- Regular 5‑polytope – the three highly symmetric convex polytopes in five dimensions.
- Uniform polytope – the general class of vertex‑transitive polytopes in any dimension.
- Coxeter groups – reflection groups that classify symmetric polytopes; groups $A_5$, $B_5$, and $D_5$ are particularly relevant.
- Wythoff construction – a method for generating uniform polytopes from Coxeter diagrams.
- Higher‑dimensional geometry – the study of objects in dimensions greater than three, including concepts such as polychora (4‑polytopes) and polytopes in arbitrary dimensions.
- John Conway’s “polytope notation” – alternative notation systems for describing uniform polytopes.
Uniform 5‑polytopes represent a well‑established area of mathematical research within the field of geometric combinatorics and the theory of convex polytopes.