Uniform 6-polytope explained

In six-dimensional geometry, a uniform 6-polytope is a six-dimensional uniform polytope. A uniform polypeton is vertex-transitive, and all facets are uniform 5-polytopes.

The complete set of convex uniform 6-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-Dynkin diagrams. Each combination of at least one ring on every connected group of nodes in the diagram produces a uniform 6-polytope.

The simplest uniform polypeta are regular polytopes: the 6-simplex, the 6-cube (hexeract), and the 6-orthoplex (hexacross) .

History of discovery

Uniform 6-polytopes by fundamental Coxeter groups

Uniform 6-polytopes with reflective symmetry can be generated by these four Coxeter groups, represented by permutations of rings of the Coxeter-Dynkin diagrams.

There are four fundamental reflective symmetry groups which generate 153 unique uniform 6-polytopes.

Coxeter groupCoxeter-Dynkin diagram
1A6[3,3,3,3,3]
2B6[3,3,3,3,4]
3D6[3,3,3,3<sup>1,1</sup>]
4E6[3<sup>2,2,1</sup>]
[3,3<sup>2,2</sup>]

Uniform prismatic families

Uniform prism

There are 6 categorical uniform prisms based on the uniform 5-polytopes.

Coxeter groupNotes
1A5A1[3,3,3,3,2]Prism family based on 5-simplex
2B5A1[4,3,3,3,2]Prism family based on 5-cube
3aD5A1[3<sup>2,1,1</sup>,2]Prism family based on 5-demicube
Coxeter groupNotes
4A3I2(p)A1[3,3,2,p,2]Prism family based on tetrahedral-p-gonal duoprisms
5B3I2(p)A1[4,3,2,p,2]Prism family based on cubic-p-gonal duoprisms
6H3I2(p)A1[5,3,2,p,2]Prism family based on dodecahedral-p-gonal duoprisms

Uniform duoprism

There are 11 categorical uniform duoprismatic families of polytopes based on Cartesian products of lower-dimensional uniform polytopes. Five are formed as the product of a uniform 4-polytope with a regular polygon, and six are formed by the product of two uniform polyhedra:

Coxeter groupNotes
1A4I2(p)[3,3,3,2,p]Family based on 5-cell-p-gonal duoprisms.
2B4I2(p)[4,3,3,2,p]Family based on tesseract-p-gonal duoprisms.
3F4I2(p)[3,4,3,2,p]Family based on 24-cell-p-gonal duoprisms.
4H4I2(p)[5,3,3,2,p]Family based on 120-cell-p-gonal duoprisms.
5D4I2(p)[3<sup>1,1,1</sup>,2,p]Family based on demitesseract-p-gonal duoprisms.
Coxeter groupNotes
6A32[3,3,2,3,3]Family based on tetrahedral duoprisms.
7A3B3[3,3,2,4,3]Family based on tetrahedral-cubic duoprisms.
8A3H3[3,3,2,5,3]Family based on tetrahedral-dodecahedral duoprisms.
9B32[4,3,2,4,3]Family based on cubic duoprisms.
10B3H3[4,3,2,5,3]Family based on cubic-dodecahedral duoprisms.
11H32[5,3,2,5,3]Family based on dodecahedral duoprisms.

Uniform triaprism

There is one infinite family of uniform triaprismatic families of polytopes constructed as a Cartesian products of three regular polygons. Each combination of at least one ring on every connected group produces a uniform prismatic 6-polytope.

Enumerating the convex uniform 6-polytopes

These fundamental families generate 153 nonprismatic convex uniform polypeta.

In addition, there are 57 uniform 6-polytope constructions based on prisms of the uniform 5-polytopes: [3,3,3,3,2], [4,3,3,3,2], [3<sup>2,1,1</sup>,2], excluding the penteract prism as a duplicate of the hexeract.

In addition, there are infinitely many uniform 6-polytope based on:

  1. Duoprism prism families: [3,3,2,p,2], [4,3,2,p,2], [5,3,2,p,2].
  2. Duoprism families: [3,3,3,2,p], [4,3,3,2,p], [5,3,3,2,p].
  3. Triaprism family: [p,2,q,2,r].

The A6 family

There are 32+4−1=35 forms, derived by marking one or more nodes of the Coxeter-Dynkin diagram.All 35 are enumerated below. They are named by Norman Johnson from the Wythoff construction operations upon regular 6-simplex (heptapeton). Bowers-style acronym names are given in parentheses for cross-referencing.

The A6 family has symmetry of order 5040 (7 factorial).

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

Coxeter-DynkinJohnson naming system
Bowers name and (acronym)
Base pointElement counts
543210
16-simplex
heptapeton (hop)
(0,0,0,0,0,0,1)7213535217
2Rectified 6-simplex
rectified heptapeton (ril)
(0,0,0,0,0,1,1)14 63 140 175 105 21
3Truncated 6-simplex
truncated heptapeton (til)
(0,0,0,0,0,1,2)14 63 140 175 126 42
4Birectified 6-simplex
birectified heptapeton (bril)
(0,0,0,0,1,1,1)14 84 245 350 210 35
5Cantellated 6-simplex
small rhombated heptapeton (sril)
(0,0,0,0,1,1,2)35 210 560 805 525 105
6Bitruncated 6-simplex
bitruncated heptapeton (batal)
(0,0,0,0,1,2,2)14 84 245 385 315 105
7Cantitruncated 6-simplex
great rhombated heptapeton (gril)
(0,0,0,0,1,2,3)35 210 560 805 630 210
8Runcinated 6-simplex
small prismated heptapeton (spil)
(0,0,0,1,1,1,2)70 455 1330 1610 840 140
9Bicantellated 6-simplex
small birhombated heptapeton (sabril)
(0,0,0,1,1,2,2)70 455 1295 1610 840 140
10Runcitruncated 6-simplex
prismatotruncated heptapeton (patal)
(0,0,0,1,1,2,3)70 560 1820 2800 1890 420
11Tritruncated 6-simplex
tetradecapeton (fe)
(0,0,0,1,2,2,2)14 84 280 490 420 140
12Runcicantellated 6-simplex
prismatorhombated heptapeton (pril)
(0,0,0,1,2,2,3)70 455 1295 1960 1470 420
13Bicantitruncated 6-simplex
great birhombated heptapeton (gabril)
(0,0,0,1,2,3,3)49 329 980 1540 1260 420
14Runcicantitruncated 6-simplex
great prismated heptapeton (gapil)
(0,0,0,1,2,3,4)70 560 1820 3010 2520 840
15Stericated 6-simplex
small cellated heptapeton (scal)
(0,0,1,1,1,1,2)10570014701400630105
16Biruncinated 6-simplex
small biprismato-tetradecapeton (sibpof)
(0,0,1,1,1,2,2)84 714 2100 2520 1260 210
17Steritruncated 6-simplex
cellitruncated heptapeton (catal)
(0,0,1,1,1,2,3)105 945 2940 3780 2100 420
18Stericantellated 6-simplex
cellirhombated heptapeton (cral)
(0,0,1,1,2,2,3)105 1050 3465 5040 3150 630
19Biruncitruncated 6-simplex
biprismatorhombated heptapeton (bapril)
(0,0,1,1,2,3,3)84 714 2310 3570 2520 630
20Stericantitruncated 6-simplex
celligreatorhombated heptapeton (cagral)
(0,0,1,1,2,3,4)105 1155 4410 7140 5040 1260
21Steriruncinated 6-simplex
celliprismated heptapeton (copal)
(0,0,1,2,2,2,3)105 700 1995 2660 1680 420
22Steriruncitruncated 6-simplex
celliprismatotruncated heptapeton (captal)
(0,0,1,2,2,3,4)105 945 3360 5670 4410 1260
23Steriruncicantellated 6-simplex
celliprismatorhombated heptapeton (copril)
(0,0,1,2,3,3,4)105 1050 3675 5880 4410 1260
24Biruncicantitruncated 6-simplex
great biprismato-tetradecapeton (gibpof)
(0,0,1,2,3,4,4)84 714 2520 4410 3780 1260
25Steriruncicantitruncated 6-simplex
great cellated heptapeton (gacal)
(0,0,1,2,3,4,5)105 1155 4620 8610 7560 2520
26Pentellated 6-simplex
small teri-tetradecapeton (staff)
(0,1,1,1,1,1,2)126 434 630 490 210 42
27Pentitruncated 6-simplex
teracellated heptapeton (tocal)
(0,1,1,1,1,2,3)126 826 1785 1820 945 210
28Penticantellated 6-simplex
teriprismated heptapeton (topal)
(0,1,1,1,2,2,3)126 1246 3570 4340 2310 420
29Penticantitruncated 6-simplex
terigreatorhombated heptapeton (togral)
(0,1,1,1,2,3,4)126 1351 4095 5390 3360 840
30Pentiruncitruncated 6-simplex
tericellirhombated heptapeton (tocral)
(0,1,1,2,2,3,4)126 1491 5565 8610 5670 1260
31Pentiruncicantellated 6-simplex
teriprismatorhombi-tetradecapeton (taporf)
(0,1,1,2,3,3,4)126 1596 5250 7560 5040 1260
32Pentiruncicantitruncated 6-simplex
terigreatoprismated heptapeton (tagopal)
(0,1,1,2,3,4,5)126 1701 6825 11550 8820 2520
33Pentisteritruncated 6-simplex
tericellitrunki-tetradecapeton (tactaf)
(0,1,2,2,2,3,4)126 1176 3780 5250 3360 840
34Pentistericantitruncated 6-simplex
tericelligreatorhombated heptapeton (tacogral)
(0,1,2,2,3,4,5)126 1596 6510 11340 8820 2520
35Omnitruncated 6-simplex
great teri-tetradecapeton (gotaf)
(0,1,2,3,4,5,6)126 1806 8400 16800 15120 5040

The B6 family

There are 63 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings.

The B6 family has symmetry of order 46080 (6 factorial x 26).

They are named by Norman Johnson from the Wythoff construction operations upon the regular 6-cube and 6-orthoplex. Bowers names and acronym names are given for cross-referencing.

Coxeter-Dynkin diagramSchläfli symbolNamesElement counts
543210
36t06-orthoplex
Hexacontatetrapeton (gee)
641922401606012
37t1Rectified 6-orthoplex
Rectified hexacontatetrapeton (rag)
765761200112048060
38t2Birectified 6-orthoplex
Birectified hexacontatetrapeton (brag)
76636216028801440160
39t2Birectified 6-cube
Birectified hexeract (brox)
76636208032001920240
40t1Rectified 6-cube
Rectified hexeract (rax)
7644411201520960192
41t06-cube
Hexeract (ax)
126016024019264
42t0,1Truncated 6-orthoplex
Truncated hexacontatetrapeton (tag)
7657612001120540120
43t0,2Cantellated 6-orthoplex
Small rhombated hexacontatetrapeton (srog)
1361656504064003360480
44t1,2Bitruncated 6-orthoplex
Bitruncated hexacontatetrapeton (botag)
1920480
45t0,3Runcinated 6-orthoplex
Small prismated hexacontatetrapeton (spog)
7200960
46t1,3Bicantellated 6-orthoplex
Small birhombated hexacontatetrapeton (siborg)
86401440
47t2,3Tritruncated 6-cube
Hexeractihexacontitetrapeton (xog)
3360960
48t0,4Stericated 6-orthoplex
Small cellated hexacontatetrapeton (scag)
5760960
49t1,4Biruncinated 6-cube
Small biprismato-hexeractihexacontitetrapeton (sobpoxog)
115201920
50t1,3Bicantellated 6-cube
Small birhombated hexeract (saborx)
96001920
51t1,2Bitruncated 6-cube
Bitruncated hexeract (botox)
2880960
52t0,5Pentellated 6-cube
Small teri-hexeractihexacontitetrapeton (stoxog)
1920384
53t0,4Stericated 6-cube
Small cellated hexeract (scox)
5760960
54t0,3Runcinated 6-cube
Small prismated hexeract (spox)
76801280
55t0,2Cantellated 6-cube
Small rhombated hexeract (srox)
4800960
56t0,1Truncated 6-cube
Truncated hexeract (tox)
76444112015201152384
57t0,1,2Cantitruncated 6-orthoplex
Great rhombated hexacontatetrapeton (grog)
3840960
58t0,1,3Runcitruncated 6-orthoplex
Prismatotruncated hexacontatetrapeton (potag)
158402880
59t0,2,3Runcicantellated 6-orthoplex
Prismatorhombated hexacontatetrapeton (prog)
115202880
60t1,2,3Bicantitruncated 6-orthoplex
Great birhombated hexacontatetrapeton (gaborg)
100802880
61t0,1,4Steritruncated 6-orthoplex
Cellitruncated hexacontatetrapeton (catog)
192003840
62t0,2,4Stericantellated 6-orthoplex
Cellirhombated hexacontatetrapeton (crag)
288005760
63t1,2,4Biruncitruncated 6-orthoplex
Biprismatotruncated hexacontatetrapeton (boprax)
230405760
64t0,3,4Steriruncinated 6-orthoplex
Celliprismated hexacontatetrapeton (copog)
153603840
65t1,2,4Biruncitruncated 6-cube
Biprismatotruncated hexeract (boprag)
230405760
66t1,2,3Bicantitruncated 6-cube
Great birhombated hexeract (gaborx)
115203840
67t0,1,5Pentitruncated 6-orthoplex
Teritruncated hexacontatetrapeton (tacox)
86401920
68t0,2,5Penticantellated 6-orthoplex
Terirhombated hexacontatetrapeton (tapox)
211203840
69t0,3,4Steriruncinated 6-cube
Celliprismated hexeract (copox)
153603840
70t0,2,5Penticantellated 6-cube
Terirhombated hexeract (topag)
211203840
71t0,2,4Stericantellated 6-cube
Cellirhombated hexeract (crax)
288005760
72t0,2,3Runcicantellated 6-cube
Prismatorhombated hexeract (prox)
134403840
73t0,1,5Pentitruncated 6-cube
Teritruncated hexeract (tacog)
86401920
74t0,1,4Steritruncated 6-cube
Cellitruncated hexeract (catax)
192003840
75t0,1,3Runcitruncated 6-cube
Prismatotruncated hexeract (potax)
172803840
76t0,1,2Cantitruncated 6-cube
Great rhombated hexeract (grox)
57601920
77t0,1,2,3Runcicantitruncated 6-orthoplex
Great prismated hexacontatetrapeton (gopog)
201605760
78t0,1,2,4Stericantitruncated 6-orthoplex
Celligreatorhombated hexacontatetrapeton (cagorg)
4608011520
79t0,1,3,4Steriruncitruncated 6-orthoplex
Celliprismatotruncated hexacontatetrapeton (captog)
4032011520
80t0,2,3,4Steriruncicantellated 6-orthoplex
Celliprismatorhombated hexacontatetrapeton (coprag)
4032011520
81t1,2,3,4Biruncicantitruncated 6-cube
Great biprismato-hexeractihexacontitetrapeton (gobpoxog)
3456011520
82t0,1,2,5Penticantitruncated 6-orthoplex
Terigreatorhombated hexacontatetrapeton (togrig)
307207680
83t0,1,3,5Pentiruncitruncated 6-orthoplex
Teriprismatotruncated hexacontatetrapeton (tocrax)
5184011520
84t0,2,3,5Pentiruncicantellated 6-cube
Teriprismatorhombi-hexeractihexacontitetrapeton (tiprixog)
4608011520
85t0,2,3,4Steriruncicantellated 6-cube
Celliprismatorhombated hexeract (coprix)
4032011520
86t0,1,4,5Pentisteritruncated 6-cube
Tericelli-hexeractihexacontitetrapeton (tactaxog)
307207680
87t0,1,3,5Pentiruncitruncated 6-cube
Teriprismatotruncated hexeract (tocrag)
5184011520
88t0,1,3,4Steriruncitruncated 6-cube
Celliprismatotruncated hexeract (captix)
4032011520
89t0,1,2,5Penticantitruncated 6-cube
Terigreatorhombated hexeract (togrix)
307207680
90t0,1,2,4Stericantitruncated 6-cube
Celligreatorhombated hexeract (cagorx)
4608011520
91t0,1,2,3Runcicantitruncated 6-cube
Great prismated hexeract (gippox)
230407680
92t0,1,2,3,4Steriruncicantitruncated 6-orthoplex
Great cellated hexacontatetrapeton (gocog)
6912023040
93t0,1,2,3,5Pentiruncicantitruncated 6-orthoplex
Terigreatoprismated hexacontatetrapeton (tagpog)
8064023040
94t0,1,2,4,5Pentistericantitruncated 6-orthoplex
Tericelligreatorhombated hexacontatetrapeton (tecagorg)
8064023040
95t0,1,2,4,5Pentistericantitruncated 6-cube
Tericelligreatorhombated hexeract (tocagrax)
8064023040
96t0,1,2,3,5Pentiruncicantitruncated 6-cube
Terigreatoprismated hexeract (tagpox)
8064023040
97t0,1,2,3,4Steriruncicantitruncated 6-cube
Great cellated hexeract (gocax)
6912023040
98t0,1,2,3,4,5Omnitruncated 6-cube
Great teri-hexeractihexacontitetrapeton (gotaxog)
13824046080

The D6 family

The D6 family has symmetry of order 23040 (6 factorial x 25).

This family has 3×16−1=47 Wythoffian uniform polytopes, generated by marking one or more nodes of the D6 Coxeter-Dynkin diagram. Of these, 31 (2×16−1) are repeated from the B6 family and 16 are unique to this family. The 16 unique forms are enumerated below. Bowers-style acronym names are given for cross-referencing.

Coxeter diagramNamesBase point
(Alternately signed)
Element countsCircumrad
543210
99 = 6-demicube
Hemihexeract (hax)
(1,1,1,1,1,1)44252640640240320.8660254
100 = Cantic 6-cube
Truncated hemihexeract (thax)
(1,1,3,3,3,3)766362080320021604802.1794493
101 = Runcic 6-cube
Small rhombated hemihexeract (sirhax)
(1,1,1,3,3,3)38406401.9364916
102 = Steric 6-cube
Small prismated hemihexeract (sophax)
(1,1,1,1,3,3)33604801.6583123
103 = Pentic 6-cube
Small cellated demihexeract (sochax)
(1,1,1,1,1,3)14401921.3228756
104 = Runcicantic 6-cube
Great rhombated hemihexeract (girhax)
(1,1,3,5,5,5)576019203.2787192
105 = Stericantic 6-cube
Prismatotruncated hemihexeract (pithax)
(1,1,3,3,5,5)1296028802.95804
106 = Steriruncic 6-cube
Prismatorhombated hemihexeract (prohax)
(1,1,1,3,5,5)768019202.7838821
107 = Penticantic 6-cube
Cellitruncated hemihexeract (cathix)
(1,1,3,3,3,5)960019202.5980761
108 = Pentiruncic 6-cube
Cellirhombated hemihexeract (crohax)
(1,1,1,3,3,5)1056019202.3979158
109 = Pentisteric 6-cube
Celliprismated hemihexeract (cophix)
(1,1,1,1,3,5)52809602.1794496
110 = Steriruncicantic 6-cube
Great prismated hemihexeract (gophax)
(1,1,3,5,7,7)1728057604.0926762
111 = Pentiruncicantic 6-cube
Celligreatorhombated hemihexeract (cagrohax)
(1,1,3,5,5,7)2016057603.7080991
112 = Pentistericantic 6-cube
Celliprismatotruncated hemihexeract (capthix)
(1,1,3,3,5,7)2304057603.4278274
113 = Pentisteriruncic 6-cube
Celliprismatorhombated hemihexeract (caprohax)
(1,1,1,3,5,7)1536038403.2787192
114 = Pentisteriruncicantic 6-cube
Great cellated hemihexeract (gochax)
(1,1,3,5,7,9)34560115204.5552168

The E6 family

There are 39 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings. Bowers-style acronym names are given for cross-referencing. The E6 family has symmetry of order 51,840.

Coxeter diagramNamesElement counts
5-faces4-facesCellsFacesEdgesVertices
115221
Icosiheptaheptacontidipeton (jak)
99648108072021627
116Rectified 221
Rectified icosiheptaheptacontidipeton (rojak)
1261350432050402160216
117Truncated 221
Truncated icosiheptaheptacontidipeton (tojak)
1261350432050402376432
118Cantellated 221
Small rhombated icosiheptaheptacontidipeton (sirjak)
34239421512024480151202160
119Runcinated 221
Small demiprismated icosiheptaheptacontidipeton (shopjak)
3424662162001944086401080
120Demified icosiheptaheptacontidipeton (hejak)3422430720079203240432
121Bitruncated 221
Bitruncated icosiheptaheptacontidipeton (botajik)
2160
122Demirectified icosiheptaheptacontidipeton (harjak)1080
123Cantitruncated 221
Great rhombated icosiheptaheptacontidipeton (girjak)
4320
124Runcitruncated 221
Demiprismatotruncated icosiheptaheptacontidipeton (hopitjak)
4320
125Steritruncated 221
Cellitruncated icosiheptaheptacontidipeton (catjak)
2160
126Demitruncated icosiheptaheptacontidipeton (hotjak)2160
127Runcicantellated 221
Demiprismatorhombated icosiheptaheptacontidipeton (haprojak)
6480
128Small demirhombated icosiheptaheptacontidipeton (shorjak)4320
129Small prismated icosiheptaheptacontidipeton (spojak)4320
130Tritruncated icosiheptaheptacontidipeton (titajak)4320
131Runcicantitruncated 221
Great demiprismated icosiheptaheptacontidipeton (ghopjak)
12960
132Stericantitruncated 221
Celligreatorhombated icosiheptaheptacontidipeton (cograjik)
12960
133Great demirhombated icosiheptaheptacontidipeton (ghorjak)8640
134Prismatotruncated icosiheptaheptacontidipeton (potjak)12960
135Demicellitruncated icosiheptaheptacontidipeton (hictijik)8640
136Prismatorhombated icosiheptaheptacontidipeton (projak)12960
137Great prismated icosiheptaheptacontidipeton (gapjak)25920
138Demicelligreatorhombated icosiheptaheptacontidipeton (hocgarjik)25920
Coxeter diagramNamesElement counts
5-faces4-facesCellsFacesEdgesVertices
139 = 122
Pentacontatetrapeton (mo)
547022160216072072
140 = Rectified 122
Rectified pentacontatetrapeton (ram)
12615666480108006480720
141 = Birectified 122
Birectified pentacontatetrapeton (barm)
12622861080019440129602160
142 = Trirectified 122
Trirectified pentacontatetrapeton (trim)
5584608864064802160270
143 = Truncated 122
Truncated pentacontatetrapeton (tim)
136801440
144 = Bitruncated 122
Bitruncated pentacontatetrapeton (bitem)
6480
145 = Tritruncated 122
Tritruncated pentacontatetrapeton (titam)
8640
146 = Cantellated 122
Small rhombated pentacontatetrapeton (sram)
6480
147 = Cantitruncated 122
Great rhombated pentacontatetrapeton (gram)
12960
148 = Runcinated 122
Small prismated pentacontatetrapeton (spam)
2160
149 = Bicantellated 122
Small birhombated pentacontatetrapeton (sabrim)
6480
150 = Bicantitruncated 122
Great birhombated pentacontatetrapeton (gabrim)
12960
151 = Runcitruncated 122
Prismatotruncated pentacontatetrapeton (patom)
12960
152 = Runcicantellated 122
Prismatorhombated pentacontatetrapeton (prom)
25920
153 = Omnitruncated 122
Great prismated pentacontatetrapeton (gopam)
51840

Triaprisms

Uniform triaprisms, ××, form an infinite class for all integers p,q,r>2. ×× makes a lower symmetry form of the 6-cube.

The extended f-vector is (p,p,1)*(q,q,1)*(r,r,1)=(pqr,3pqr,3pqr+pq+pr+qr,3p(p+1),3p,1).

Coxeter diagramNamesElement counts
5-faces4-facesCellsFacesEdgesVertices
×× [4] p+q+rpq+pr+qr+p+q+rpqr+2(pq+pr+qr)3pqr+pq+pr+qr3pqrpqr
×× 3p3p(p+1)p2(p+6)3p2(p+1)3p3p3
×× (trittip) 93681998127
×× = 6-cube126016024019264

Non-Wythoffian 6-polytopes

In 6 dimensions and above, there are an infinite amount of non-Wythoffian convex uniform polytopes: the Cartesian product of the grand antiprism in 4 dimensions and any regular polygon in 2 dimensions. It is not yet proven whether or not there are more.

Regular and uniform honeycombs

There are four fundamental affine Coxeter groups and 27 prismatic groups that generate regular and uniform tessellations in 5-space:

Coxeter groupCoxeter diagramForms
1

{\tilde{A}}5

[3<sup>[6]]12
2

{\tilde{C}}5

[4,3<sup>3</sup>,4]35
3

{\tilde{B}}5

[4,3,3<sup>1,1</sup>]
[4,3<sup>3</sup>,4,1<sup>+</sup>]

47 (16 new)
4

{\tilde{D}}5

[3<sup>1,1</sup>,3,3<sup>1,1</sup>]
[1<sup>+</sup>,4,3<sup>3</sup>,4,1<sup>+</sup>]

20 (3 new)

Regular and uniform honeycombs include:

{\tilde{A}}5

There are 12 unique uniform honeycombs, including:

{\tilde{C}}5

There are 35 uniform honeycombs, including:

{\tilde{B}}5

There are 47 uniform honeycombs, 16 new, including:

{\tilde{D}}5

, [3<sup>1,1</sup>,3,3<sup>1,1</sup>]: There are 20 unique ringed permutations, and 3 new ones. Coxeter calls the first one a quarter 5-cubic honeycomb, with symbols q, = . The other two new ones are =, = .
Prismatic groups
Coxeter groupCoxeter-Dynkin diagram
1

{\tilde{A}}4

x

{\tilde{I}}1

[3<sup>[5],2,∞]
2

{\tilde{B}}4

x

{\tilde{I}}1

[4,3,3<sup>1,1</sup>,2,∞]
3

{\tilde{C}}4

x

{\tilde{I}}1

[4,3,3,4,2,∞]
4

{\tilde{D}}4

x

{\tilde{I}}1

[3<sup>1,1,1,1</sup>,2,∞]
5

{\tilde{F}}4

x

{\tilde{I}}1

[3,4,3,3,2,∞]
6

{\tilde{C}}3

x

{\tilde{I}}1

x

{\tilde{I}}1

[4,3,4,2,∞,2,∞]
7

{\tilde{B}}3

x

{\tilde{I}}1

x

{\tilde{I}}1

[4,3<sup>1,1</sup>,2,∞,2,∞]
8

{\tilde{A}}3

x

{\tilde{I}}1

x

{\tilde{I}}1

[3<sup>[4],2,∞,2,∞]
9

{\tilde{C}}2

x

{\tilde{I}}1

x

{\tilde{I}}1

x

{\tilde{I}}1

[4,4,2,∞,2,∞,2,∞]
10

{\tilde{H}}2

x

{\tilde{I}}1

x

{\tilde{I}}1

x

{\tilde{I}}1

[6,3,2,∞,2,∞,2,∞]
11

{\tilde{A}}2

x

{\tilde{I}}1

x

{\tilde{I}}1

x

{\tilde{I}}1

[3<sup>[3],2,∞,2,∞,2,∞]
12

{\tilde{I}}1

x

{\tilde{I}}1

x

{\tilde{I}}1

x

{\tilde{I}}1

x

{\tilde{I}}1

[∞,2,∞,2,∞,2,∞,2,∞]
13

{\tilde{A}}2

x

{\tilde{A}}2

x

{\tilde{I}}1

[3<sup>[3],2,3[3],2,∞]
14

{\tilde{A}}2

x

{\tilde{B}}2

x

{\tilde{I}}1

[3<sup>[3],2,4,4,2,∞]
15

{\tilde{A}}2

x

{\tilde{G}}2

x

{\tilde{I}}1

[3<sup>[3],2,6,3,2,∞]
16

{\tilde{B}}2

x

{\tilde{B}}2

x

{\tilde{I}}1

[4,4,2,4,4,2,∞]
17

{\tilde{B}}2

x

{\tilde{G}}2

x

{\tilde{I}}1

[4,4,2,6,3,2,∞]
18

{\tilde{G}}2

x

{\tilde{G}}2

x

{\tilde{I}}1

[6,3,2,6,3,2,∞]
19

{\tilde{A}}3

x

{\tilde{A}}2

[3<sup>[4],2,3[3]]
20

{\tilde{B}}3

x

{\tilde{A}}2

[4,3<sup>1,1</sup>,2,3<sup>[3]]
21

{\tilde{C}}3

x

{\tilde{A}}2

[4,3,4,2,3<sup>[3]]
22

{\tilde{A}}3

x

{\tilde{B}}2

[3<sup>[4],2,4,4]
23

{\tilde{B}}3

x

{\tilde{B}}2

[4,3<sup>1,1</sup>,2,4,4]
24

{\tilde{C}}3

x

{\tilde{B}}2

[4,3,4,2,4,4]
25

{\tilde{A}}3

x

{\tilde{G}}2

[3<sup>[4],2,6,3]
26

{\tilde{B}}3

x

{\tilde{G}}2

[4,3<sup>1,1</sup>,2,6,3]
27

{\tilde{C}}3

x

{\tilde{G}}2

[4,3,4,2,6,3]

Regular and uniform hyperbolic honeycombs

There are no compact hyperbolic Coxeter groups of rank 6, groups that can generate honeycombs with all finite facets, and a finite vertex figure. However, there are 12 paracompact hyperbolic Coxeter groups of rank 6, each generating uniform honeycombs in 5-space as permutations of rings of the Coxeter diagrams.

align=right

{\bar{P}}5

= [3,3<sup>[5]]:

{\widehat{AU}}5

= [(3,3,3,3,3,4)]:

{\widehat{AR}}5

= [(3,3,4,3,3,4)]:

{\bar{S}}5

= [4,3,3<sup>2,1</sup>]:

{\bar{O}}5

= [3,4,3<sup>1,1</sup>]:

{\bar{N}}5

= [3,(3,4)<sup>1,1</sup>]:

{\bar{U}}5

= [3,3,3,4,3]:

{\bar{X}}5

= [3,3,4,3,3]:

{\bar{R}}5

= [3,4,3,3,4]:

{\bar{Q}}5

= [3<sup>2,1,1,1</sup>]:

{\bar{M}}5

= [4,3,3<sup>1,1,1</sup>]:

{\bar{L}}5

= [3<sup>1,1,1,1,1</sup>]:

Notes on the Wythoff construction for the uniform 6-polytopes

Construction of the reflective 6-dimensional uniform polytopes are done through a Wythoff construction process, and represented through a Coxeter-Dynkin 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 6-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's the primary operators available for constructing and naming the uniform 6-polytopes.

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

OperationExtended
Schläfli symbol
width=110Coxeter-
Dynkin
diagram
Description
Parentwidth=70t0Any regular 6-polytope
Rectifiedt1The edges are fully truncated into single points. The 6-polytope now has the combined faces of the parent and dual.
Birectifiedt2Birectification reduces cells to their duals.
Truncatedt0,1Each 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 6-polytope. The 6-polytope has its original faces doubled in sides, and contains the faces of the dual.
Bitruncatedt1,2Bitrunction transforms cells to their dual truncation.
Tritruncatedt2,3Tritruncation transforms 4-faces to their dual truncation.
Cantellatedt0,2In addition to vertex truncation, each original edge is beveled with new rectangular faces appearing in their place. A uniform cantellation is halfway between both the parent and dual forms.
Bicantellatedt1,3In addition to vertex truncation, each original edge is beveled with new rectangular faces appearing in their place. A uniform cantellation is halfway between both the parent and dual forms.
Runcinatedt0,3Runcination reduces cells and creates new cells at the vertices and edges.
Biruncinatedt1,4Runcination reduces cells and creates new cells at the vertices and edges.
Stericatedt0,4Sterication reduces 4-faces and creates new 4-faces at the vertices, edges, and faces in the gaps.
Pentellatedt0,5Pentellation reduces 5-faces and creates new 5-faces at the vertices, edges, faces, and cells in the gaps. (expansion operation for polypeta)
Omnitruncatedt0,1,2,3,4,5All five operators, truncation, cantellation, runcination, sterication, and pentellation are applied.

References

External links

Notes and References

  1. [Thorold Gosset|T. Gosset]
  2. http://www.polytope.net/hedrondude/polypeta.htm Uniform Polypeta
  3. https://polytope.miraheze.org/wiki/Uniform_polytope Uniform polytope
  4. Web site: N,m,k-tip .