Uniform 7-polytope: Difference between revisions

From testwiki
Jump to navigation Jump to search
imported>Tamfang
→top: it has at least eight facets, and that's a lousy definition anyway.
 
(No difference)

Latest revision as of 02:26, 17 November 2024

Graphs of three regular and related uniform polytopes

7-simplex
Rectified 7-simplex
Truncated 7-simplex

Cantellated 7-simplex
Runcinated 7-simplex
Stericated 7-simplex

Pentellated 7-simplex
Hexicated 7-simplex

7-orthoplex
Truncated 7-orthoplex
Rectified 7-orthoplex

Cantellated 7-orthoplex
Runcinated 7-orthoplex
Stericated 7-orthoplex

Pentellated 7-orthoplex
Hexicated 7-cube
Pentellated 7-cube

Stericated 7-cube
Cantellated 7-cube
Runcinated 7-cube

7-cube
Truncated 7-cube
Rectified 7-cube

7-demicube
Cantic 7-cube
Runcic 7-cube

Steric 7-cube
Pentic 7-cube
Hexic 7-cube

321
231
132

In seven-dimensional geometry, a 7-polytope is a polytope contained by 6-polytope facets. Each 5-polytope ridge being shared by exactly two 6-polytope facets.

A uniform 7-polytope is one whose symmetry group is transitive on vertices and whose facets are uniform 6-polytopes.

Regular 7-polytopes

Regular 7-polytopes are represented by the Schläfli symbol {p,q,r,s,t,u} with u {p,q,r,s,t} 6-polytopes facets around each 4-face.

There are exactly three such convex regular 7-polytopes:

  1. {3,3,3,3,3,3} - 7-simplex
  2. {4,3,3,3,3,3} - 7-cube
  3. {3,3,3,3,3,4} - 7-orthoplex

There are no nonconvex regular 7-polytopes.

Characteristics

The topology of any given 7-polytope is defined by its Betti numbers and torsion coefficients.[1]

The value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, whatever their underlying topology. This inadequacy of the Euler characteristic to reliably distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers.[1]

Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, and this led to the use of torsion coefficients.[1]

Uniform 7-polytopes by fundamental Coxeter groups

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

# Coxeter group Regular and semiregular forms Uniform count
1 A7 [36] Template:CDD 71
2 B7 [4,35] Template:CDD 127 + 32
3 D7 [33,1,1] Template:CDD 95 (0 unique)
4 E7 [33,2,1] Template:CDD 127

The A7 family

The A7 family has symmetry of order 40320 (8 factorial).

There are 71 (64+8-1) forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings. All 71 are enumerated below. Norman Johnson's truncation names are given. Bowers names and acronym are also given for cross-referencing.

See also a list of A7 polytopes for symmetric Coxeter plane graphs of these polytopes.

The B7 family

The B7 family has symmetry of order 645120 (7 factorial x 27).

There are 127 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings. Johnson and Bowers names.

See also a list of B7 polytopes for symmetric Coxeter plane graphs of these polytopes.

The D7 family

The D7 family has symmetry of order 322560 (7 factorial x 26).

This family has 3×32−1=95 Wythoffian uniform polytopes, generated by marking one or more nodes of the D7 Coxeter-Dynkin diagram. Of these, 63 (2×32−1) are repeated from the B7 family and 32 are unique to this family, listed below. Bowers names and acronym are given for cross-referencing.

See also list of D7 polytopes for Coxeter plane graphs of these polytopes.

The E7 family

The E7 Coxeter group has order 2,903,040.

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

See also a list of E7 polytopes for symmetric Coxeter plane graphs of these polytopes.

Regular and uniform honeycombs

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.

There are five fundamental affine Coxeter groups and sixteen prismatic groups that generate regular and uniform tessellations in 6-space:

# Coxeter group Coxeter diagram Forms
1 A~6 [3[7]] Template:CDD 17
2 C~6 [4,34,4] Template:CDD 71
3 B~6 h[4,34,4]
[4,33,31,1]		 Template:CDD 95 (32 new)
4 D~6 q[4,34,4]
[31,1,32,31,1]		 Template:CDD 41 (6 new)
5 E~6 [32,2,2] Template:CDD 39

Regular and uniform tessellations include:

Prismatic groups
# Coxeter group Coxeter-Dynkin diagram
1 A~5xI~1 [3[6],2,∞] Template:CDD
2 B~5xI~1 [4,3,31,1,2,∞] Template:CDD
3 C~5xI~1 [4,33,4,2,∞] Template:CDD
4 D~5xI~1 [31,1,3,31,1,2,∞] Template:CDD
5 A~4xI~1xI~1 [3[5],2,∞,2,∞,2,∞] Template:CDD
6 B~4xI~1xI~1 [4,3,31,1,2,∞,2,∞] Template:CDD
7 C~4xI~1xI~1 [4,3,3,4,2,∞,2,∞] Template:CDD
8 D~4xI~1xI~1 [31,1,1,1,2,∞,2,∞] Template:CDD
9 F~4xI~1xI~1 [3,4,3,3,2,∞,2,∞] Template:CDD
10 C~3xI~1xI~1xI~1 [4,3,4,2,∞,2,∞,2,∞] Template:CDD
11 B~3xI~1xI~1xI~1 [4,31,1,2,∞,2,∞,2,∞] Template:CDD
12 A~3xI~1xI~1xI~1 [3[4],2,∞,2,∞,2,∞] Template:CDD
13 C~2xI~1xI~1xI~1xI~1 [4,4,2,∞,2,∞,2,∞,2,∞] Template:CDD
14 H~2xI~1xI~1xI~1xI~1 [6,3,2,∞,2,∞,2,∞,2,∞] Template:CDD
15 A~2xI~1xI~1xI~1xI~1 [3[3],2,∞,2,∞,2,∞,2,∞] Template:CDD
16 I~1xI~1xI~1xI~1xI~1xI~1 [∞,2,∞,2,∞,2,∞,2,∞] Template:CDD

Regular and uniform hyperbolic honeycombs

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

P¯6 = [3,3[6]]:
Template:CDD 		Q¯6 = [31,1,3,32,1]:
Template:CDD 		S¯6 = [4,3,3,32,1]:
Template:CDD

Notes on the Wythoff construction for the uniform 7-polytopes

The reflective 7-dimensional uniform polytopes are constructed through a Wythoff construction process, and represented by a Coxeter-Dynkin diagram, where each node represents a mirror. An active mirror is represented by a ringed node. Each combination of active mirrors generates a unique uniform polytope. Uniform polytopes are named in relation to the regular polytopes in each family. Some families have two regular constructors and thus may be named in two equally valid ways.

Here are the primary operators available for constructing and naming the uniform 7-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.

Operation Extended
Schläfli symbol 		Coxeter-
Dynkin
diagram 		Description
Parent t0{p,q,r,s,t,u} Template:CDD Any regular 7-polytope
Rectified t1{p,q,r,s,t,u} Template:CDD The edges are fully truncated into single points. The 7-polytope now has the combined faces of the parent and dual.
Birectified t2{p,q,r,s,t,u} Template:CDD Birectification reduces cells to their duals.
Truncated t0,1{p,q,r,s,t,u} Template:CDD 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 7-polytope. The 7-polytope has its original faces doubled in sides, and contains the faces of the dual.
Bitruncated t1,2{p,q,r,s,t,u} Template:CDD Bitrunction transforms cells to their dual truncation.
Tritruncated t2,3{p,q,r,s,t,u} Template:CDD Tritruncation transforms 4-faces to their dual truncation.
Cantellated t0,2{p,q,r,s,t,u} Template:CDD In 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.
Bicantellated t1,3{p,q,r,s,t,u} Template:CDD In 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.
Runcinated t0,3{p,q,r,s,t,u} Template:CDD Runcination reduces cells and creates new cells at the vertices and edges.
Biruncinated t1,4{p,q,r,s,t,u} Template:CDD Runcination reduces cells and creates new cells at the vertices and edges.
Stericated t0,4{p,q,r,s,t,u} Template:CDD Sterication reduces 4-faces and creates new 4-faces at the vertices, edges, and faces in the gaps.
Pentellated t0,5{p,q,r,s,t,u} Template:CDD Pentellation reduces 5-faces and creates new 5-faces at the vertices, edges, faces, and cells in the gaps.
Hexicated t0,6{p,q,r,s,t,u} Template:CDD Hexication reduces 6-faces and creates new 6-faces at the vertices, edges, faces, cells, and 4-faces in the gaps. (expansion operation for 7-polytopes)
Omnitruncated t0,1,2,3,4,5,6{p,q,r,s,t,u} Template:CDD All six operators, truncation, cantellation, runcination, sterication, pentellation, and hexication are applied.

References

Template:Reflist

  • 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, Template:Isbn http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471010030.html
    • (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
  • Template:KlitzingPolytopes

Template:Polytopes

  1. ↑ 1.0 1.1 1.2 Richeson, D.; Euler's Gem: The Polyhedron Formula and the Birth of Topoplogy, Princeton, 2008.
Retrieved from "https://en.wiki.beta.math.wmflabs.org/w/index.php?title=Uniform_7-polytope&oldid=17625"