Uniform 6-polytope
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 {3,3,3,3,3}, the 6-cube (hexeract) {4,3,3,3,3}, and the 6-orthoplex (hexacross) {3,3,3,3,4}.
History of discovery
- Regular polytopes: (convex faces)
- 1852: Ludwig Schläfli proved in his manuscript Theorie der vielfachen Kontinuität that there are exactly 3 regular polytopes in 5 or more dimensions.
- Convex semiregular polytopes: (Various definitions before Coxeter's uniform category)
- 1900: Thorold Gosset enumerated the list of nonprismatic semiregular convex polytopes with regular facets (convex regular polytera) in his publication On the Regular and Semi-Regular Figures in Space of n Dimensions.[1]
- Convex uniform polytopes:
- 1940: The search was expanded systematically by H.S.M. Coxeter in his publication Regular and Semi-Regular Polytopes.
- Nonregular uniform star polytopes: (similar to the nonconvex uniform polyhedra)
- Ongoing: Jonathan Bowers and other researchers search for other non-convex uniform 6-polytopes, with a current count of 41348 known uniform 6-polytopes outside infinite families (convex and non-convex), excluding the prisms of the uniform 5-polytopes. The list is not proven complete.[2][3]
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.
| File:Coxeter diagram finite rank6 correspondence.png Coxeter-Dynkin 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. |
Uniform prismatic families
Uniform prism There are 6 categorical uniform prisms based on the uniform 5-polytopes.
| # | Coxeter group | Notes | ||
|---|---|---|---|---|
| 4 | A3I2(p)A1 | [3,3,2,p,2] | File:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 2.pngFile:CDel node.pngFile:CDel p.pngFile:CDel node.pngFile:CDel 2.pngFile:CDel node.png | Prism family based on tetrahedral-p-gonal duoprisms |
| 5 | B3I2(p)A1 | [4,3,2,p,2] | File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 2.pngFile:CDel node.pngFile:CDel p.pngFile:CDel node.pngFile:CDel 2.pngFile:CDel node.png | Prism family based on cubic-p-gonal duoprisms |
| 6 | H3I2(p)A1 | [5,3,2,p,2] | File:CDel node.pngFile:CDel 5.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 2.pngFile:CDel node.pngFile:CDel p.pngFile:CDel node.pngFile:CDel 2.pngFile:CDel node.png | 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:
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.
| # | Coxeter group | Notes | ||
|---|---|---|---|---|
| 1 | I2(p)I2(q)I2(r) | [p,2,q,2,r] | File:CDel node.pngFile:CDel p.pngFile:CDel node.pngFile:CDel 2.pngFile:CDel node.pngFile:CDel q.pngFile:CDel node.pngFile:CDel 2.pngFile:CDel node.pngFile:CDel r.pngFile:CDel node.png | Family based on p,q,r-gonal triprisms |
Enumerating the convex uniform 6-polytopes
- Simplex family: A6 [34] - File:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png
- 35 uniform 6-polytopes as permutations of rings in the group diagram, including one regular:
- Hypercube/orthoplex family: B6 [4,34] - File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png
- 63 uniform 6-polytopes as permutations of rings in the group diagram, including two regular forms:
- {4,33} — 6-cube (hexeract) - File:CDel node 1.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png
- {33,4} — 6-orthoplex, (hexacross) - File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node 1.png
- 63 uniform 6-polytopes as permutations of rings in the group diagram, including two regular forms:
- Demihypercube D6 family: [33,1,1] - File:CDel nodes.pngFile:CDel split2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png
- 47 uniform 6-polytopes (16 unique) as permutations of rings in the group diagram, including:
- {3,32,1}, 121 6-demicube (demihexeract) - File:CDel nodes 10ru.pngFile:CDel split2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png; also as h{4,33}, File:CDel node h.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png
- {3,3,31,1}, 211 6-orthoplex - File:CDel nodes.pngFile:CDel split2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node 1.png, a half symmetry form of File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node 1.png.
- 47 uniform 6-polytopes (16 unique) as permutations of rings in the group diagram, including:
- E6 family: [33,1,1] - File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.png
- 39 uniform 6-polytopes as permutations of rings in the group diagram, including:
- {3,3,32,1}, 221 - File:CDel nodea 1.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.png
- {3,32,2}, 122 - File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch 01lr.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.png
- 39 uniform 6-polytopes as permutations of rings in the group diagram, including:
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], [32,1,1,2], excluding the penteract prism as a duplicate of the hexeract. In addition, there are infinitely many uniform 6-polytope based on:
- Duoprism prism families: [3,3,2,p,2], [4,3,2,p,2], [5,3,2,p,2].
- Duoprism families: [3,3,3,2,p], [4,3,3,2,p], [5,3,3,2,p].
- 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).
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.
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.
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.
Triaprisms
Uniform triaprisms, {p}×{q}×{r}, form an infinite class for all integers p,q,r>2. {4}×{4}×{4} 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 diagram | Names | Element counts | |||||
|---|---|---|---|---|---|---|---|
| 5-faces | 4-faces | Cells | Faces | Edges | Vertices | ||
| File:CDel branch 10.pngFile:CDel labelp.pngFile:CDel 2.pngFile:CDel branch 10.pngFile:CDel labelq.pngFile:CDel 2.pngFile:CDel branch 10.pngFile:CDel labelr.png | {p}×{q}×{r} [4] | p+q+r | pq+pr+qr+p+q+r | pqr+2(pq+pr+qr) | 3pqr+pq+pr+qr | 3pqr | pqr |
| File:CDel branch 10.pngFile:CDel labelp.pngFile:CDel 2.pngFile:CDel branch 10.pngFile:CDel labelp.pngFile:CDel 2.pngFile:CDel branch 10.pngFile:CDel labelp.png | {p}×{p}×{p} | 3p | 3p(p+1) | p2(p+6) | 3p2(p+1) | 3p3 | p3 |
| File:CDel branch 10.pngFile:CDel 2.pngFile:CDel branch 10.pngFile:CDel 2.pngFile:CDel branch 10.png | {3}×{3}×{3} (trittip) | 9 | 36 | 81 | 99 | 81 | 27 |
| File:CDel branch 10.pngFile:CDel label4.pngFile:CDel 2.pngFile:CDel branch 10.pngFile:CDel label4.pngFile:CDel 2.pngFile:CDel branch 10.pngFile:CDel label4.png | {4}×{4}×{4} = 6-cube | 12 | 60 | 160 | 240 | 192 | 64 |
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:
Regular and uniform honeycombs include:
- There are 12 unique uniform honeycombs, including:
- 5-simplex honeycomb File:CDel node 1.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node.png
- Truncated 5-simplex honeycomb File:CDel branch 11.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel branch.png
- Omnitruncated 5-simplex honeycomb File:CDel node 1.pngFile:CDel split1.pngFile:CDel nodes 11.pngFile:CDel 3ab.pngFile:CDel nodes 11.pngFile:CDel split2.pngFile:CDel node 1.png
- There are 35 uniform honeycombs, including:
- Regular hypercube honeycomb of Euclidean 5-space, the 5-cube honeycomb, with symbols {4,33,4}, File:CDel node 1.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node.png = File:CDel node 1.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel split1.pngFile:CDel nodes.png
- There are 47 uniform honeycombs, 16 new, including:
- The uniform alternated hypercube honeycomb, 5-demicubic honeycomb, with symbols h{4,33,4}, File:CDel node h1.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node.png = File:CDel nodes 10ru.pngFile:CDel split2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node.png = File:CDel nodes 10ru.pngFile:CDel split2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel split1.pngFile:CDel nodes.png
- , [31,1,3,31,1]: There are 20 unique ringed permutations, and 3 new ones. Coxeter calls the first one a quarter 5-cubic honeycomb, with symbols q{4,33,4}, File:CDel nodes 10ru.pngFile:CDel split2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel split1.pngFile:CDel nodes 10lu.png = File:CDel node h1.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node h1.png. The other two new ones are File:CDel nodes 10ru.pngFile:CDel split2.pngFile:CDel node 1.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel split1.pngFile:CDel nodes 10lu.png = File:CDel node h1.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node 1.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node h1.png, File:CDel nodes 10ru.pngFile:CDel split2.pngFile:CDel node 1.pngFile:CDel 3.pngFile:CDel node 1.pngFile:CDel split1.pngFile:CDel nodes 10lu.png = File:CDel node h1.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node 1.pngFile:CDel 3.pngFile:CDel node 1.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node h1.png.
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.
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.
See also
Notes
- ↑ T. Gosset: On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan, 1900
- ↑ Uniform Polypeta, Jonathan Bowers
- ↑ Uniform polytope
- ↑ "N,m,k-tip".
References
- T. Gosset: On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan, 1900
- A. Boole Stott: Geometrical deduction of semiregular from regular polytopes and space fillings, Verhandelingen of the Koninklijke academy van Wetenschappen width unit Amsterdam, Eerste Sectie 11,1, Amsterdam, 1910
- H.S.M. Coxeter:
- H.S.M. Coxeter, M.S. Longuet-Higgins und J.C.P. Miller: Uniform Polyhedra, Philosophical Transactions of the Royal Society of London, Londne, 1954
- H.S.M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York, 1973
- Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6
- (Paper 22) H.S.M. Coxeter, Regular and Semi Regular Polytopes I, [Math. Zeit. 46 (1940) 380-407, MR 2,10]
- (Paper 23) H.S.M. Coxeter, Regular and Semi-Regular Polytopes II, [Math. Zeit. 188 (1985) 559-591]
- (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3-45]
- N.W. Johnson: The Theory of Uniform Polytopes and Honeycombs, Ph.D. Dissertation, University of Toronto, 1966
- Klitzing, Richard. "6D uniform polytopes (polypeta)".
- Klitzing, Richard. "Uniform polytopes truncation operators".
External links
- Polytope names
- Polytopes of Various Dimensions, Jonathan Bowers
- Multi-dimensional Glossary
- Glossary for hyperspace, George Olshevsky.
| Space | Family | / / | ||||
|---|---|---|---|---|---|---|
| E2 | Uniform tiling | 0[3] | δ3 | hδ3 | qδ3 | Hexagonal |
| E3 | Uniform convex honeycomb | 0[4] | δ4 | hδ4 | qδ4 | |
| E4 | Uniform 4-honeycomb | 0[5] | δ5 | hδ5 | qδ5 | 24-cell honeycomb |
| E5 | Uniform 5-honeycomb | 0[6] | δ6 | hδ6 | qδ6 | |
| E6 | Uniform 6-honeycomb | 0[7] | δ7 | hδ7 | qδ7 | 222 |
| E7 | Uniform 7-honeycomb | 0[8] | δ8 | hδ8 | qδ8 | 133 • 331 |
| E8 | Uniform 8-honeycomb | 0[9] | δ9 | hδ9 | qδ9 | 152 • 251 • 521 |
| E9 | Uniform 9-honeycomb | 0[10] | δ10 | hδ10 | qδ10 | |
| E10 | Uniform 10-honeycomb | 0[11] | δ11 | hδ11 | qδ11 | |
| En-1 | Uniform (n-1)-honeycomb | 0[n] | δn | hδn | qδn | 1k2 • 2k1 • k21 |