Uniform 5-polytope

Graphs of regular and uniform polytopes.

5-simplex

Rectified 5-simplex

Truncated 5-simplex

Cantellated 5-simplex

Runcinated 5-simplex

Stericated 5-simplex

5-orthoplex

Truncated 5-orthoplex

Rectified 5-orthoplex

Cantellated 5-orthoplex

Runcinated 5-orthoplex

Cantellated 5-cube

Runcinated 5-cube

Stericated 5-cube

5-cube

Truncated 5-cube

Rectified 5-cube

5-demicube

Truncated 5-demicube

Cantellated 5-demicube

Runcinated 5-demicube

In geometry, a uniform 5-polytope is a five-dimensional uniform polytope. By definition, a uniform 5-polytope is vertex-transitive and constructed from uniform 4-polytope facets.

The complete set of convex uniform 5-polytopes has not been determined, but most can be made as Wythoff constructions from a small set of symmetry groups. These construction operations are represented by the permutations of rings of the Coxeter diagrams.

History of discovery

Regular 5-polytopes

Regular 5-polytopes can be represented by the Schläfli symbol {p,q,r,s}, with s {p,q,r} polychoral facets around each face. There are exactly three such regular polytopes, all convex:

There are no nonconvex regular polytopes in 5 or more dimensions.

Convex uniform 5-polytopes

There are 104 known convex uniform 5-polytopes, plus a number of infinite families of duoprism prisms, and polygon-polyhedron duoprisms. All except the grand antiprism prism are based on Wythoff constructions, reflection symmetry generated with Coxeter groups.

Reflection families


Coxeter diagram correspondences between families and higher symmetry within diagrams. Nodes of the same color in each row represent identical mirrors. Black nodes are not active in the correspondence.

The 5-simplex is the regular form in the A5 family. The 5-cube and 5-orthoplex are the regular forms in the B5 family. The bifurcating graph of the D6 family contains the pentacross, as well as a 5-demicube which is an alternated 5-cube.

Fundamental families[2]

# Coxeter group Coxeter diagram
1A5 [34]
2B5[4,33]
3D5[32,1,1]

Uniform prisms There are 5 finite categorical uniform prismatic families of polytopes based on the nonprismatic uniform 4-polytopes:

# Coxeter groups Coxeter diagram
1 A4 × A1 [3,3,3,2]
2 B4 × A1 [4,3,3,2]
3 F4 × A1 [3,4,3,2]
4 H4 × A1 [5,3,3,2]
5 D4 × A1 [31,1,1,2]

There is one infinite family of 5-polytopes based on prisms of the uniform duoprisms {p}×{q}×{ }:

Coxeter groups Coxeter diagram
I2(p) × I2(q) × A1 [p,2,q,2]

Uniform duoprisms

There are 3 categorical uniform duoprismatic families of polytopes based on Cartesian products of the uniform polyhedra and regular polygons: {q,r}×{p}:

# Coxeter groups Coxeter diagram
1 A3 × I2(p) [3,3,2,p]
2 B3 × I2(p) [4,3,2,p]
3. H3 × I2(p) [5,3,2,p]

Enumerating the convex uniform 5-polytopes

That brings the tally to: 19+31+8+46+1=105

In addition there are:

The A5 family

There are 19 forms based on all permutations of the Coxeter diagrams with one or more rings. (16+4-1 cases)

They are named by Norman Johnson from the Wythoff construction operations upon regular 5-simplex (hexateron).

The A5 family has symmetry of order 720 (6 factorial). 7 of the 19 figures, with symmetrically ringed Coxeter diagrams have doubled symmetry, order 1440.

The coordinates of uniform 5-polytopes with 5-simplex symmetry can be generated as permutations of simple integers in 6-space, all in hyperplanes with normal vector (1,1,1,1,1,1).

See symmetry graphs: List of A5 polytopes

# Base point Johnson naming system
Bowers name and (acronym)
Coxeter diagram
k-face element counts Vertex
figure
Facet counts by location: [3,3,3,3]
4 3 2 1 0
[3,3,3]
(6)

[3,3,2]
(15)

[3,2,3]
(20)

[2,3,3]
(15)

[3,3,3]
(6)
1 (0,0,0,0,0,1) or (0,1,1,1,1,1) 5-simplex
hexateron (hix)
6 15 20 15 6
{3,3,3}
(5)

{3,3,3}
- - - -
2 (0,0,0,0,1,1) or (0,0,1,1,1,1) Rectified 5-simplex
rectified hexateron (rix)
12 45 80 60 15
t{3,3}×{ }
(4)

r{3,3,3}
- - - (2)

{3,3,3}
3 (0,0,0,0,1,2) or (0,1,2,2,2,2) Truncated 5-simplex
truncated hexateron (tix)
12 45 80 75 30
Tetrah.pyr
(4)

t{3,3,3}
- - - (1)

{3,3,3}
4 (0,0,0,1,1,2) or (0,1,1,2,2,2) Cantellated 5-simplex
small rhombated hexateron (sarx)
27 135 290 240 60
prism-wedge
(3)

rr{3,3,3}
- - (1)
×
{ }×{3,3}
(1)

r{3,3,3}
5 (0,0,0,1,2,2) or (0,0,1,2,2,2) Bitruncated 5-simplex
bitruncated hexateron (bittix)
12 60 140 150 60 (3)

2t{3,3,3}
- - - (2)

t{3,3,3}
6 (0,0,0,1,2,3) or (0,1,2,3,3,3) Cantitruncated 5-simplex
great rhombated hexateron (garx)
27 135 290 300 120
tr{3,3,3}
- - ×
{ }×{3,3}

t{3,3,3}
7 (0,0,1,1,1,2) or (0,1,1,1,2,2) Runcinated 5-simplex
small prismated hexateron (spix)
47 255 420 270 60 (2)

t0,3{3,3,3}
- (3)

{3}×{3}
(3)
×
{ }×r{3,3}
(1)

r{3,3,3}
8 (0,0,1,1,2,3) or (0,1,2,2,3,3) Runcitruncated 5-simplex
prismatotruncated hexateron (pattix)
47 315 720 630 180
t0,1,3{3,3,3}
- ×
{6}×{3}
×
{ }×r{3,3}

rr{3,3,3}
9 (0,0,1,2,2,3) or (0,1,1,2,3,3) Runcicantellated 5-simplex
prismatorhombated hexateron (pirx)
47 255 570 540 180
t0,1,3{3,3,3}
-
{3}×{3}
×
{ }×t{3,3}

2t{3,3,3}
10 (0,0,1,2,3,4) or (0,1,2,3,4,4) Runcicantitruncated 5-simplex
great prismated hexateron (gippix)
47 315 810 900 360
Irr.5-cell

t0,1,2,3{3,3,3}
- ×
{3}×{6}
×
{ }×t{3,3}

rr{3,3,3}
11 (0,1,1,1,2,3) or (0,1,2,2,2,3) Steritruncated 5-simplex
celliprismated hexateron (cappix)
62 330 570 420 120
t{3,3,3}
×
{ }×t{3,3}
×
{3}×{6}
×
{ }×{3,3}

t0,3{3,3,3}
12 (0,1,1,2,3,4) or (0,1,2,3,3,4) Stericantitruncated 5-simplex
celligreatorhombated hexateron (cograx)
62 480 1140 1080 360
tr{3,3,3}
×
{ }×tr{3,3}
×
{3}×{6}
×
{ }×rr{3,3}

t0,1,3{3,3,3}
# Base point Johnson naming system
Bowers name and (acronym)
Coxeter diagram
k-face element counts Vertex
figure
Facet counts by location: [3,3,3,3]
4 3 2 1 0
[3,3,3]
(6)

[3,3,2]
(15)

[3,2,3]
(20)

[2,3,3]
(15)

[3,3,3]
(6)
13 (0,0,0,1,1,1) Birectified 5-simplex
dodecateron (dot)
12 60 120 90 20
{3}×{3}
(3)

r{3,3,3}
- - - (3)

r{3,3,3}
14 (0,0,1,1,2,2) Bicantellated 5-simplex
small birhombated dodecateron (sibrid)
32 180 420 360 90 (2)

rr{3,3,3}
- (8)

{3}×{3}
- (2)

rr{3,3,3}
15 (0,0,1,2,3,3) Bicantitruncated 5-simplex
great birhombated dodecateron (gibrid)
32 180 420 450 180
tr{3,3,3}
-
{3}×{3}
-
tr{3,3,3}
16 (0,1,1,1,1,2) Stericated 5-simplex
small cellated dodecateron (scad)
62 180 210 120 30
Irr.16-cell
(1)

{3,3,3}
(4)
×
{ }×{3,3}
(6)

{3}×{3}
(4)
×
{ }×{3,3}
(1)

{3,3,3}
17 (0,1,1,2,2,3) Stericantellated 5-simplex
small cellirhombated dodecateron (card)
62 420 900 720 180
rr{3,3,3}
×
{ }×rr{3,3}

{3}×{3}
×
{ }×rr{3,3}

rr{3,3,3}
18 (0,1,2,2,3,4) Steriruncitruncated 5-simplex
celliprismatotruncated dodecateron (captid)
62 450 1110 1080 360
t0,1,3{3,3,3}
×
{ }×t{3,3}

{6}×{6}
×
{ }×t{3,3}

t0,1,3{3,3,3}
19 (0,1,2,3,4,5) Omnitruncated 5-simplex
great cellated dodecateron (gocad)
62 540 1560 1800 720
Irr. {3,3,3}
(1)

t0,1,2,3{3,3,3}
(1)
×
{ }×tr{3,3}
(1)

{6}×{6}
(1)
×
{ }×tr{3,3}
(1)

t0,1,2,3{3,3,3}

The B5 family

The B5 family has symmetry of order 3840 (5!×25).

This family has 251=31 Wythoffian uniform polytopes generated by marking one or more nodes of the Coxeter diagram.

For simplicity it is divided into two subgroups, each with 12 forms, and 7 "middle" forms which equally belong in both.

The 5-cube family of 5-polytopes are given by the convex hulls of the base points listed in the following table, with all permutations of coordinates and sign taken. Each base point generates a distinct uniform 5-polytope. All coordinates correspond with uniform 5-polytopes of edge length 2.

See symmetry graph: List of B5 polytopes

# Base point Name
Coxeter diagram
Element counts Vertex
figure
Facet counts by location: [4,3,3,3]
43210
[4,3,3]
(10)

[4,3,2]
(40)

[4,2,3]
(80)

[2,3,3]
(80)

[3,3,3]
(32)
20 (0,0,0,0,1)√25-orthoplex (tac)
3280804010
{3,3,4}

{3,3,3}
- - - -
21 (0,0,0,1,1)√2Rectified 5-orthoplex (rat)
4224040024040
{ }×{3,4}


{3,3,4}
- - -
r{3,3,3}
22 (0,0,0,1,2)√2Truncated 5-orthoplex (tot)
4224040028080
(Octah.pyr)

t{3,3,3}

{3,3,3}
- - -
23 (0,0,1,1,1)√2Birectified 5-cube (nit)
(Birectified 5-orthoplex)
4228064048080
{4}×{3}

r{3,3,4}
- - -
r{3,3,3}
24 (0,0,1,1,2)√2Cantellated 5-orthoplex (sart)
8264015201200240
Prism-wedge
r{3,3,4} { }×{3,4} - -
rr{3,3,3}
25 (0,0,1,2,2)√2Bitruncated 5-orthoplex (bittit)
42280720720240 t{3,3,4} - - -
2t{3,3,3}
26 (0,0,1,2,3)√2Cantitruncated 5-orthoplex (gart)
8264015201440480 rr{3,3,4} { }×r{3,4}
{6}×{4}
-
t0,1,3{3,3,3}
27 (0,1,1,1,1)√2Rectified 5-cube (rin)
4220040032080
{3,3}×{ }

r{4,3,3}
- - -
{3,3,3}
28 (0,1,1,1,2)√2Runcinated 5-orthoplex (spat)
162120021601440320 r{4,3,3} -
{3}×{4}

t0,3{3,3,3}
29 (0,1,1,2,2)√2Bicantellated 5-cube (sibrant)
(Bicantellated 5-orthoplex)
12284021601920480
rr{4,3,3}
-
{4}×{3}
-
rr{3,3,3}
30 (0,1,1,2,3)√2Runcitruncated 5-orthoplex (pattit)
162144036803360960 rr{3,3,4} { }×r{3,4}
{6}×{4}
-
t0,1,3{3,3,3}
31 (0,1,2,2,2)√2Bitruncated 5-cube (tan)
42280720800320
2t{4,3,3}
- - -
t{3,3,3}
32 (0,1,2,2,3)√2Runcicantellated 5-orthoplex (pirt)
162120029602880960 { }×t{3,4} 2t{3,3,4}
{3}×{4}
-
t0,1,3{3,3,3}
33 (0,1,2,3,3)√2Bicantitruncated 5-cube (gibrant)
(Bicantitruncated 5-orthoplex)
12284021602400960
rr{4,3,3}
-
{4}×{3}
-
rr{3,3,3}
34 (0,1,2,3,4)√2Runcicantitruncated 5-orthoplex (gippit)
1621440416048001920 tr{3,3,4} { }×t{3,4}
{6}×{4}
-
t0,1,2,3{3,3,3}
35 (1,1,1,1,1)5-cube (pent)
1040808032
{3,3,3}

{4,3,3}
- - - -
36 (1,1,1,1,1)
+ (0,0,0,0,1)√2
Stericated 5-cube (scant)
(Stericated 5-orthoplex)
2428001040640160
Tetr.antiprm

{4,3,3}

{4,3}×{ }

{4}×{3}

{ }×{3,3}

{3,3,3}
37 (1,1,1,1,1)
+ (0,0,0,1,1)√2
Runcinated 5-cube (span)
202124021601440320
t0,3{4,3,3}
-
{4}×{3}

{ }×r{3,3}

{3,3,3}
38 (1,1,1,1,1)
+ (0,0,0,1,2)√2
Steritruncated 5-orthoplex (cappin)
242152028802240640 t0,3{3,3,4} { }×{4,3} - -
t{3,3,3}
39 (1,1,1,1,1)
+ (0,0,1,1,1)√2
Cantellated 5-cube (sirn)
12268015201280320
Prism-wedge

rr{4,3,3}
- -
{ }×{3,3}

r{3,3,3}
40 (1,1,1,1,1)
+ (0,0,1,1,2)√2
Stericantellated 5-cube (carnit)
(Stericantellated 5-orthoplex)
242208047203840960
rr{4,3,3}

rr{4,3}×{ }

{4}×{3}

{ }×rr{3,3}

rr{3,3,3}
41 (1,1,1,1,1)
+ (0,0,1,2,2)√2
Runcicantellated 5-cube (prin)
202124029602880960
t0,1,3{4,3,3}
-
{4}×{3}

{ }×t{3,3}

2t{3,3,3}
42 (1,1,1,1,1)
+ (0,0,1,2,3)√2
Stericantitruncated 5-orthoplex (cogart)
2422320592057601920
{ }×rr{3,4}

t0,1,3{3,3,4}

{6}×{4}

{ }×t{3,3}

tr{3,3,3}
43 (1,1,1,1,1)
+ (0,1,1,1,1)√2
Truncated 5-cube (tan)
42200400400160
Tetrah.pyr

t{4,3,3}
- - -
{3,3,3}
44 (1,1,1,1,1)
+ (0,1,1,1,2)√2
Steritruncated 5-cube (capt)
242160029602240640
t{4,3,3}

t{4,3}×{ }

{8}×{3}

{ }×{3,3}

t0,3{3,3,3}
45 (1,1,1,1,1)
+ (0,1,1,2,2)√2
Runcitruncated 5-cube (pattin)
202156037603360960
t0,1,3{4,3,3}
{ }×t{4,3}
{6}×{8}
{ }×t{3,3} t0,1,3{3,3,3}]]
46 (1,1,1,1,1)
+ (0,1,1,2,3)√2
Steriruncitruncated 5-cube (captint)
(Steriruncitruncated 5-orthoplex)
2422160576057601920
t0,1,3{4,3,3}

t{4,3}×{ }

{8}×{6}

{ }×t{3,3}

t0,1,3{3,3,3}
47 (1,1,1,1,1)
+ (0,1,2,2,2)√2
Cantitruncated 5-cube (girn)
12268015201600640
tr{4,3,3}
- -
{ }×{3,3}

t{3,3,3}
48 (1,1,1,1,1)
+ (0,1,2,2,3)√2
Stericantitruncated 5-cube (cogrin)
2422400600057601920
tr{4,3,3}

tr{4,3}×{ }

{8}×{3}

{ }×t0,2{3,3}

t0,1,3{3,3,3}
49 (1,1,1,1,1)
+ (0,1,2,3,3)√2
Runcicantitruncated 5-cube (gippin)
2021560424048001920
t0,1,2,3{4,3,3}
-
{8}×{3}

{ }×t{3,3}

tr{3,3,3}
50 (1,1,1,1,1)
+ (0,1,2,3,4)√2
Omnitruncated 5-cube (gacnet)
(omnitruncated 5-orthoplex)
2422640816096003840
Irr. {3,3,3}

tr{4,3}×{ }

tr{4,3}×{ }

{8}×{6}

{ }×tr{3,3}

t0,1,2,3{3,3,3}

The D5 family

The D5 family has symmetry of order 1920 (5! x 24).

This family has 23 Wythoffian uniform polyhedra, from 3x8-1 permutations of the D5 Coxeter diagram with one or more rings. 15 (2x8-1) are repeated from the B5 family and 8 are unique to this family.

See symmetry graphs: List of D5 polytopes

# Coxeter diagram
Schläfli symbol symbols
Johnson and Bowers names
Element counts Vertex
figure
Facets by location: [31,2,1]
4 3 2 1 0
[3,3,3]
(16)

[31,1,1]
(10)

[3,3]×[ ]
(40)

[ ]×[3]×[ ]
(80)

[3,3,3]
(16)
51 =
h{4,3,3,3}, 5-demicube
Hemipenteract (hin)
26 120 160 80 16
t1{3,3,3}
{3,3,3} t0(111) - - -
52 =
h2{4,3,3,3}, cantic 5-cube
Truncated hemipenteract (thin)
42 280 640 560 160
53 =
h3{4,3,3,3}, runcic 5-cube
Small rhombated hemipenteract (sirhin)
42 360 880 720 160
54 =
h4{4,3,3,3}, steric 5-cube
Small prismated hemipenteract (siphin)
82 480 720 400 80
55 =
h2,3{4,3,3,3}, runcicantic 5-cube
Great rhombated hemipenteract (girhin)
42 360 1040 1200 480
56 =
h2,4{4,3,3,3}, stericantic 5-cube
Prismatotruncated hemipenteract (pithin)
82 720 1840 1680 480
57 =
h3,4{4,3,3,3}, steriruncic 5-cube
Prismatorhombated hemipenteract (pirhin)
82 560 1280 1120 320
58 =
h2,3,4{4,3,3,3}, steriruncicantic 5-cube
Great prismated hemipenteract (giphin)
82 720 2080 2400 960

Uniform prismatic forms

There are 5 finite categorical uniform prismatic families of polytopes based on the nonprismatic uniform 4-polytopes:

A4 × A1

This prismatic family has 9 forms:

The A1 x A4 family has symmetry of order 240 (2*5!).

# Coxeter diagram
and Schläfli
symbols
Name
Element counts
Facets Cells Faces Edges Vertices
59 = {3,3,3}×{ }
5-cell prism
720302510
60 = r{3,3,3}×{ }
Rectified 5-cell prism
1250907020
61 = t{3,3,3}×{ }
Truncated 5-cell prism
125010010040
62 = rr{3,3,3}×{ }
Cantellated 5-cell prism
2212025021060
63 = t0,3{3,3,3}×{ }
Runcinated 5-cell prism
3213020014040
64 = 2t{3,3,3}×{ }
Bitruncated 5-cell prism
126014015060
65 = tr{3,3,3}×{ }
Cantitruncated 5-cell prism
22120280300120
66 = t0,1,3{3,3,3}×{ }
Runcitruncated 5-cell prism
32180390360120
67 = t0,1,2,3{3,3,3}×{ }
Omnitruncated 5-cell prism
32210540600240

B4 × A1

This prismatic family has 16 forms. (Three are shared with [3,4,3]×[ ] family)

The A1×B4 family has symmetry of order 768 (254!).

# Coxeter diagram
and Schläfli
symbols
Name
Element counts
Facets Cells Faces Edges Vertices
[16] = {4,3,3}×{ }
Tesseractic prism
(Same as 5-cube)
1040808032
68 = r{4,3,3}×{ }
Rectified tesseractic prism
2613627222464
69 = t{4,3,3}×{ }
Truncated tesseractic prism
26136304320128
70 = rr{4,3,3}×{ }
Cantellated tesseractic prism
58360784672192
71 = t0,3{4,3,3}×{ }
Runcinated tesseractic prism
82368608448128
72 = 2t{4,3,3}×{ }
Bitruncated tesseractic prism
26168432480192
73 = tr{4,3,3}×{ }
Cantitruncated tesseractic prism
58360880960384
74 = t0,1,3{4,3,3}×{ }
Runcitruncated tesseractic prism
8252812161152384
75 = t0,1,2,3{4,3,3}×{ }
Omnitruncated tesseractic prism
8262416961920768
76 = {3,3,4}×{ }
16-cell prism
1864885616
77 = r{3,3,4}×{ }
Rectified 16-cell prism
(Same as 24-cell prism)
2614428821648
78 = t{3,3,4}×{ }
Truncated 16-cell prism
2614431228896
79 = rr{3,3,4}×{ }
Cantellated 16-cell prism
(Same as rectified 24-cell prism)
50336768672192
80 = tr{3,3,4}×{ }
Cantitruncated 16-cell prism
(Same as truncated 24-cell prism)
50336864960384
81 = t0,1,3{3,3,4}×{ }
Runcitruncated 16-cell prism
8252812161152384
82 = sr{3,3,4}×{ }
snub 24-cell prism
1467681392960192

F4 × A1

This prismatic family has 10 forms.

The A1 x F4 family has symmetry of order 2304 (2*1152). Three polytopes 85, 86 and 89 (green background) have double symmetry [[3,4,3],2], order 4608. The last one, snub 24-cell prism, (blue background) has [3+,4,3,2] symmetry, order 1152.

# Coxeter diagram
and Schläfli
symbols
Name
Element counts
Facets Cells Faces Edges Vertices
[77] = {3,4,3}×{ }
24-cell prism
2614428821648
[79] = r{3,4,3}×{ }
rectified 24-cell prism
50336768672192
[80] = t{3,4,3}×{ }
truncated 24-cell prism
50336864960384
83 = rr{3,4,3}×{ }
cantellated 24-cell prism
146100823042016576
84 = t0,3{3,4,3}×{ }
runcinated 24-cell prism
242115219201296288
85 = 2t{3,4,3}×{ }
bitruncated 24-cell prism
5043212481440576
86 = tr{3,4,3}×{ }
cantitruncated 24-cell prism
1461008259228801152
87 = t0,1,3{3,4,3}×{ }
runcitruncated 24-cell prism
2421584364834561152
88 = t0,1,2,3{3,4,3}×{ }
omnitruncated 24-cell prism
2421872508857602304
[82] = s{3,4,3}×{ }
snub 24-cell prism
1467681392960192

H4 × A1

This prismatic family has 15 forms:

The A1 x H4 family has symmetry of order 28800 (2*14400).

# Coxeter diagram
and Schläfli
symbols
Name
Element counts
Facets Cells Faces Edges Vertices
89 = {5,3,3}×{ }
120-cell prism
122960264030001200
90 = r{5,3,3}×{ }
Rectified 120-cell prism
7224560984084002400
91 = t{5,3,3}×{ }
Truncated 120-cell prism
722456011040120004800
92 = rr{5,3,3}×{ }
Cantellated 120-cell prism
19221296029040252007200
93 = t0,3{5,3,3}×{ }
Runcinated 120-cell prism
26421272022080168004800
94 = 2t{5,3,3}×{ }
Bitruncated 120-cell prism
722576015840180007200
95 = tr{5,3,3}×{ }
Cantitruncated 120-cell prism
192212960326403600014400
96 = t0,1,3{5,3,3}×{ }
Runcitruncated 120-cell prism
264218720448804320014400
97 = t0,1,2,3{5,3,3}×{ }
Omnitruncated 120-cell prism
264222320628807200028800
98 = {3,3,5}×{ }
600-cell prism
602240031201560240
99 = r{3,3,5}×{ }
Rectified 600-cell prism
72250401080079201440
100 = t{3,3,5}×{ }
Truncated 600-cell prism
722504011520100802880
101 = rr{3,3,5}×{ }
Cantellated 600-cell prism
14421152028080252007200
102 = tr{3,3,5}×{ }
Cantitruncated 600-cell prism
144211520316803600014400
103 = t0,1,3{3,3,5}×{ }
Runcitruncated 600-cell prism
264218720448804320014400

Grand antiprism prism

The grand antiprism prism is the only known convex non-Wythoffian uniform 5-polytope. It has 200 vertices, 1100 edges, 1940 faces (40 pentagons, 500 squares, 1400 triangles), 1360 cells (600 tetrahedra, 40 pentagonal antiprisms, 700 triangular prisms, 20 pentagonal prisms), and 322 hypercells (2 grand antiprisms , 20 pentagonal antiprism prisms , and 300 tetrahedral prisms ).

# Name Element counts
Facets Cells Faces Edges Vertices
104 grand antiprism prism
Gappip
322 1360 1940 1100 200

Notes on the Wythoff construction for the uniform 5-polytopes

Construction of the reflective 5-dimensional uniform polytopes are done through a Wythoff construction process, and represented through a Coxeter diagram, where each node represents a mirror. Nodes are ringed to imply which mirrors are active. The full set of uniform polytopes generated are based on the unique permutations of ringed nodes. Uniform 5-polytopes are named in relation to the regular polytopes in each family. Some families have two regular constructors and thus may have two ways of naming them.

Here are the primary operators available for constructing and naming the uniform 5-polytopes.

The last operation, the snub, and more generally the alternation, are the operation that can create nonreflective forms. These are drawn with "hollow rings" at the nodes.

The prismatic forms and bifurcating graphs can use the same truncation indexing notation, but require an explicit numbering system on the nodes for clarity.

Operation Extended
Schläfli symbol
Coxeter diagram Description
Parent t0{p,q,r,s} {p,q,r,s} Any regular 5-polytope
Rectified t1{p,q,r,s}r{p,q,r,s} The edges are fully truncated into single points. The 5-polytope now has the combined faces of the parent and dual.
Birectified t2{p,q,r,s}2r{p,q,r,s} Birectification reduces faces to points, cells to their duals.
Trirectified t3{p,q,r,s}3r{p,q,r,s} Trirectification reduces cells to points. (Dual rectification)
Quadrirectified t4{p,q,r,s}4r{p,q,r,s} Quadrirectification reduces 4-faces to points. (Dual)
Truncated t0,1{p,q,r,s}t{p,q,r,s} Each original vertex is cut off, with a new face filling the gap. Truncation has a degree of freedom, which has one solution that creates a uniform truncated 5-polytope. The 5-polytope has its original faces doubled in sides, and contains the faces of the dual.
Cantellated t0,2{p,q,r,s}rr{p,q,r,s} In addition to vertex truncation, each original edge is beveled with new rectangular faces appearing in their place.
Runcinated t0,3{p,q,r,s} Runcination reduces cells and creates new cells at the vertices and edges.
Stericated t0,4{p,q,r,s} 2r2r{p,q,r,s} Sterication reduces facets and creates new facets (hypercells) at the vertices and edges in the gaps. (Same as expansion operation for 5-polytopes.)
Omnitruncated t0,1,2,3,4{p,q,r,s} All four operators, truncation, cantellation, runcination, and sterication are applied.
Half h{2p,3,q,r} Alternation, same as
Cantic h2{2p,3,q,r} Same as
Runcic h3{2p,3,q,r} Same as
Runcicantic h2,3{2p,3,q,r} Same as
Steric h4{2p,3,q,r} Same as
Runcisteric h3,4{2p,3,q,r} Same as
Stericantic h2,4{2p,3,q,r} Same as
Steriruncicantic h2,3,4{2p,3,q,r} Same as
Snub s{p,2q,r,s} Alternated truncation
Snub rectified sr{p,q,2r,s} Alternated truncated rectification
ht0,1,2,3{p,q,r,s} Alternated runcicantitruncation
Full snub ht0,1,2,3,4{p,q,r,s} Alternated omnitruncation

Regular and uniform honeycombs

Coxeter diagram correspondences between families and higher symmetry within diagrams. Nodes of the same color in each row represent identical mirrors. Black nodes are not active in the correspondence.

There are five fundamental affine Coxeter groups, and 13 prismatic groups that generate regular and uniform tessellations in Euclidean 4-space.[3][4]

Fundamental groups
# Coxeter group Coxeter diagram Forms
1{\tilde{A}}_4[3[5]][(3,3,3,3,3)]7
2{\tilde{C}}_4[4,3,3,4] 19
3{\tilde{B}}_4[4,3,31,1][4,3,3,4,1+] = 23 (8 new)
4{\tilde{D}}_4[31,1,1,1][1+,4,3,3,4,1+] = 9 (0 new)
5{\tilde{F}}_4[3,4,3,3] 31 (21 new)

There are three regular honeycombs of Euclidean 4-space:

Other families that generate uniform honeycombs:

Non-Wythoffian uniform tessellations in 4-space also exist by elongation (inserting layers), and gyration (rotating layers) from these reflective forms.

Prismatic groups
# Coxeter group Coxeter diagram
1{\tilde{C}}_3×{\tilde{I}}_1[4,3,4,2,∞]
2{\tilde{B}}_3×{\tilde{I}}_1[4,31,1,2,∞]
3{\tilde{A}}_3×{\tilde{I}}_1[3[4],2,∞]
4{\tilde{C}}_2×{\tilde{I}}_1x{\tilde{I}}_1[4,4,2,∞,2,∞]
5{\tilde{H}}_2×{\tilde{I}}_1x{\tilde{I}}_1[6,3,2,∞,2,∞]
6{\tilde{A}}_2×{\tilde{I}}_1x{\tilde{I}}_1[3[3],2,∞,2,∞]
7{\tilde{I}}_1×{\tilde{I}}_1x{\tilde{I}}_1x{\tilde{I}}_1[∞,2,∞,2,∞,2,∞]
8{\tilde{A}}_2x{\tilde{A}}_2[3[3],2,3[3]]
9{\tilde{A}}_2×{\tilde{B}}_2[3[3],2,4,4]
10{\tilde{A}}_2×{\tilde{G}}_2[3[3],2,6,3]
11{\tilde{B}}_2×{\tilde{B}}_2[4,4,2,4,4]
12{\tilde{B}}_2×{\tilde{G}}_2[4,4,2,6,3]
13{\tilde{G}}_2×{\tilde{G}}_2[6,3,2,6,3]

Compact Regular tessellations of hyperbolic 4-space

There are five kinds of convex regular honeycombs and four kinds of star-honeycombs in H4 space:[5]

Honeycomb name Schläfli
Symbol
{p,q,r,s}
Coxeter diagram Facet
type
{p,q,r}
Cell
type
{p,q}
Face
type
{p}
Face
figure
{s}
Edge
figure
{r,s}
Vertex
figure

{q,r,s}
Dual
Order-5 5-cell{3,3,3,5}{3,3,3}{3,3}{3}{5}{3,5}{3,3,5}{5,3,3,3}
Order-3 120-cell{5,3,3,3}{5,3,3}{5,3}{5}{3}{3,3}{3,3,3}{3,3,3,5}
Order-5 tesseractic{4,3,3,5}{4,3,3}{4,3}{4}{5}{3,5}{3,3,5}{5,3,3,4}
Order-4 120-cell{5,3,3,4}{5,3,3}{5,3}{5}{4}{3,4}{3,3,4}{4,3,3,5}
Order-5 120-cell{5,3,3,5}{5,3,3}{5,3}{5}{5}{3,5}{3,3,5}Self-dual

There are four regular star-honeycombs in H4 space:

Honeycomb name Schläfli
Symbol
{p,q,r,s}
Coxeter diagram Facet
type
{p,q,r}
Cell
type
{p,q}
Face
type
{p}
Face
figure
{s}
Edge
figure
{r,s}
Vertex
figure

{q,r,s}
Dual
Order-3 small stellated 120-cell{5/2,5,3,3}{5/2,5,3}{5/2,5}{5}{5}{3,3}{5,3,3}{3,3,5,5/2}
Order-5/2 600-cell{3,3,5,5/2}{3,3,5}{3,3}{3}{5/2}{5,5/2}{3,5,5/2}{5/2,5,3,3}
Order-5 icosahedral 120-cell{3,5,5/2,5}{3,5,5/2}{3,5}{3}{5}{5/2,5}{5,5/2,5}{5,5/2,5,3}
Order-3 great 120-cell{5,5/2,5,3}{5,5/2,5}{5,5/2}{5}{3}{5,3}{5/2,5,3}{3,5,5/2,5}

Regular and uniform hyperbolic honeycombs

There are 5 compact hyperbolic Coxeter groups of rank 5, each generating uniform honeycombs in hyperbolic 4-space as permutations of rings of the Coxeter diagrams. There are also 9 paracompact hyperbolic Coxeter groups of rank 5, each generating uniform honeycombs in 4-space as permutations of rings of the Coxeter diagrams. Paracompact groups generate honeycombs with infinite facets or vertex figures.

Compact hyperbolic groups

{\widehat{AF}}_4 = [(3,3,3,3,4)]:

{\bar{DH}}_4 = [5,3,31,1]:

{\bar{H}}_4 = [3,3,3,5]:

{\bar{BH}}_4 = [4,3,3,5]:
{\bar{K}}_4 = [5,3,3,5]:

Paracompact hyperbolic groups

{\bar{P}}_4 = [3,3[4]]:

{\bar{BP}}_4 = [4,3[4]]:
{\bar{FR}}_4 = [(3,3,4,3,4)]:
{\bar{DP}}_4 = [3[3]×[]]:

{\bar{N}}_4 = [4,/3\,3,4]:
{\bar{O}}_4 = [3,4,31,1]:
{\bar{S}}_4 = [4,32,1]:
{\bar{M}}_4 = [4,31,1,1]:

{\bar{R}}_4 = [3,4,3,4]:

Notes

  1. T. Gosset: On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan, 1900
  2. Regular and semi-regular polytopes III, p.315 Three finite groups of 5-dimensions
  3. Regular polytopes, p.297. Table IV, Fundamental regions for irreducible groups generated by reflections.
  4. Regular and Semiregular polytopes, II, pp.298-302 Four-dimensional honeycombs
  5. Coxeter, The Beauty of Geometry: Twelve Essays, Chapter 10: Regular honeycombs in hyperbolic space, Summary tables IV p213

References

External links

This article is issued from Wikipedia - version of the Thursday, February 19, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.