3 21 polytope

File:Up2 3 21 t0 E7.svg 321 Template:CDD		File:Up2 2 31 t0 E7.svg 231 Template:CDD		File:Up2 1 32 t0 E7.svg 132 Template:CDD
File:Up2 3 21 t1 E7.svg Rectified 321 Template:CDD			File:Up2 3 21 t2 E7.svg Birectified 321 Template:CDD
File:Up2 2 31 t1 E7.svg Rectified 231 Template:CDD			File:Up2 1 32 t1 E7.svg Rectified 132 Template:CDD
Orthogonal projections in E7 Coxeter plane

In 7-dimensional geometry, the 3₂₁ polytope is a uniform 7-polytope, constructed within the symmetry of the E₇ group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 7-ic semi-regular figure.

Its Coxeter symbol is 3₂₁, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of one of the 3-node sequences.

The rectified 3₂₁ is constructed by points at the mid-edges of the 3₂₁. The birectified 3₂₁ is constructed by points at the triangle face centers of the 3₂₁. The trirectified 3₂₁ is constructed by points at the tetrahedral centers of the 3₂₁, and is the same as the rectified 1₃₂.

These polytopes are part of a family of 127 (2⁷-1) convex uniform polytopes in 7-dimensions, made of uniform 6-polytope facets and vertex figures, defined by all permutations of rings in this Coxeter-Dynkin diagram: Template:CDD.

3₂₁ polytope

321 polytope
Type	Uniform 7-polytope
Family	k21 polytope
Schläfli symbol	{3,3,3,32,1}
Coxeter symbol	321
Coxeter diagram	Template:CDD
6-faces	702 total: 126 311File:6-orthoplex.svg 576 {35}File:6-simplex t0.svg
5-faces	6048: 4032 {34}File:5-simplex t0.svg 2016 {34}File:5-simplex t0.svg
4-faces	12096 {33}File:4-simplex t0.svg
Cells	10080 {3,3}File:3-simplex t0.svg
Faces	4032 {3}File:2-simplex t0.svg
Edges	756
Vertices	56
Vertex figure	221 polytope
Petrie polygon	octadecagon
Coxeter group	E7, [33,2,1], order 2903040
Properties	convex

In 7-dimensional geometry, the 3₂₁ polytope is a uniform polytope. It has 56 vertices, and 702 facets: 126 3₁₁ and 576 6-simplexes.

For visualization this 7-dimensional polytope is often displayed in a special skewed orthographic projection direction that fits its 56 vertices within an 18-gonal regular polygon (called a Petrie polygon). Its 756 edges are drawn between 3 rings of 18 vertices, and 2 vertices in the center. Specific higher elements (faces, cells, etc.) can also be extracted and drawn on this projection.

The 1-skeleton of the 3₂₁ polytope is the Gosset graph.

This polytope, along with the 7-simplex, can tessellate 7-dimensional space, represented by 3₃₁ and Coxeter-Dynkin diagram: Template:CDD.

Alternate names

• It is also called the Hess polytope for Edmund Hess who first discovered it.
• It was enumerated by Thorold Gosset in his 1900 paper. He called it an 7-ic semi-regular figure.
• E. L. Elte named it V₅₆ (for its 56 vertices) in his 1912 listing of semiregular polytopes.
• H.S.M. Coxeter called it 3₂₁ due to its bifurcating Coxeter-Dynkin diagram, having 3 branches of length 3, 2, and 1, and having a single ring on the final node of the 3 branch.
• Hecatonicosihexa-pentacosiheptacontahexa-exon (acronym: naq) - 126-576 facetted polyexon (Jonathan Bowers)

The 56 vertices can be most simply represented in 8-dimensional space, obtained by the 28 permutations of the coordinates and their opposite:

± (-3, -3, 1, 1, 1, 1, 1, 1)

Construction

Its construction is based on the E7 group. Coxeter named it as 3₂₁ by its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 3-node sequence.

The facet information can be extracted from its Coxeter-Dynkin diagram, Template:CDD.

Removing the node on the short branch leaves the 6-simplex, Template:CDD.

Removing the node on the end of the 2-length branch leaves the 6-orthoplex in its alternated form: 3₁₁, Template:CDD.

Every simplex facet touches a 6-orthoplex facet, while alternate facets of the orthoplex touch either a simplex or another orthoplex.

The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes 2₂₁ polytope, Template:CDD.

Seen in a configuration matrix, the element counts can be derived by mirror removal and ratios of Coxeter group orders.

E7	Template:CDD	k-face	fk	f0	f1	f2	f3	f4	f5		f6		k-figures	notes
E6	Template:CDD	( )	f0	56	27	216	720	1080	432	216	72	27	221	E7/E6 = 72x8!/72x6! = 56
D5A1	Template:CDD	{ }	f1	2	756	16	80	160	80	40	16	10	5-demicube	E7/D5A1 = 72x8!/16/5!/2 = 756
A4A2	Template:CDD	{3}	f2	3	3	4032	10	30	20	10	5	5	rectified 5-cell	E7/A4A2 = 72x8!/5!/2 = 4032
A3A2A1	Template:CDD	{3,3}	f3	4	6	4	10080	6	6	3	2	3	triangular prism	E7/A3A2A1 = 72x8!/4!/3!/2 = 10080
A4A1	Template:CDD	{3,3,3}	f4	5	10	10	5	12096	2	1	1	2	isosceles triangle	E7/A4A1 = 72x8!/5!/2 = 12096
A5A1	Template:CDD	{3,3,3,3}	f5	6	15	20	15	6	4032	*	1	1	{ }	E7/A5A1 = 72x8!/6!/2 = 4032
A5	Template:CDD			6	15	20	15	6	*	2016	0	2		E7/A5 = 72x8!/6! = 2016
A6	Template:CDD	{3,3,3,3,3}	f6	7	21	35	35	21	10	0	576	*	( )	E7/A6 = 72x8!/7! = 576
D6	Template:CDD	{3,3,3,3,4}		12	60	160	240	192	32	32	*	126		E7/D6 = 72x8!/32/6! = 126

Images

Coxeter plane projections

E7	E6 / F4	B7 / A6
File:Up2 3 21 t0 E7.svg [18]	File:Up2 3 21 t0 E6.svg [12]	File:Up2 3 21 t0 A6.svg [7x2]
A5	D7 / B6	D6 / B5
File:Up2 3 21 t0 A5.svg [6]	File:Up2 3 21 t0 D7.svg [12/2]	File:Up2 3 21 t0 D6.svg [10]
D5 / B4 / A4	D4 / B3 / A2 / G2	D3 / B2 / A3
File:Up2 3 21 t0 D5.svg [8]	File:Up2 3 21 t0 D4.svg [6]	File:Up2 3 21 t0 D3.svg [4]

Related polytopes

The 3₂₁ is fifth in a dimensional series of semiregular polytopes. Each progressive uniform polytope is constructed vertex figure of the previous polytope. Thorold Gosset identified this series in 1900 as containing all regular polytope facets, containing all simplexes and orthoplexes. Template:Gosset semiregular polytopes

It is in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 3_k1 series. (A degenerate 4-dimensional case exists as 3-sphere tiling, a tetrahedral hosohedron.) Template:3 k1 polytopes

Rectified 3₂₁ polytope

Rectified 321 polytope
Type	Uniform 7-polytope
Schläfli symbol	t1{3,3,3,32,1}
Coxeter symbol	t1(321)
Coxeter diagram	Template:CDD
6-faces	758
5-faces	44352
4-faces	70560
Cells	48384
Faces	11592
Edges	12096
Vertices	756
Vertex figure	5-demicube prism
Petrie polygon	octadecagon
Coxeter group	E7, [33,2,1], order 2903040
Properties	convex

Alternate names

• Rectified hecatonicosihexa-pentacosiheptacontahexa-exon as a rectified 126-576 facetted polyexon (acronym: ranq) (Jonathan Bowers)

Construction

Its construction is based on the E7 group. Coxeter named it as 3₂₁ by its bifurcating Coxeter-Dynkin diagram, with a single node on the end of the 3-node sequence.

The facet information can be extracted from its Coxeter-Dynkin diagram, Template:CDD.

Removing the node on the short branch leaves the 6-simplex, Template:CDD.

Removing the node on the end of the 2-length branch leaves the rectified 6-orthoplex in its alternated form: t₁3₁₁, Template:CDD.

Removing the node on the end of the 3-length branch leaves the 2₂₁, Template:CDD.

The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes 5-demicube prism, Template:CDD.

Images

Coxeter plane projections

E7	E6 / F4	B7 / A6
File:Up2 3 21 t1 E7.svg [18]	File:Up2 3 21 t1 E6.svg [12]	File:Up2 3 21 t1 A6.svg [7x2]
A5	D7 / B6	D6 / B5
File:Up2 3 21 t1 A5.svg [6]	File:Up2 3 21 t1 D7.svg [12/2]	File:Up2 3 21 t1 D6.svg [10]
D5 / B4 / A4	D4 / B3 / A2 / G2	D3 / B2 / A3
File:Up2 3 21 t1 D5.svg [8]	File:Up2 3 21 t1 D4.svg [6]	File:Up2 3 21 t1 D3.svg [4]

Birectified 3₂₁ polytope

Birectified 321 polytope
Type	Uniform 7-polytope
Schläfli symbol	t2{3,3,3,32,1}
Coxeter symbol	t2(321)
Coxeter diagram	Template:CDD
6-faces	758
5-faces	12348
4-faces	68040
Cells	161280
Faces	161280
Edges	60480
Vertices	4032
Vertex figure	5-cell-triangle duoprism
Petrie polygon	octadecagon
Coxeter group	E7, [33,2,1], order 2903040
Properties	convex

Alternate names

• Birectified hecatonicosihexa-pentacosiheptacontahexa-exon as a birectified 126-576 facetted polyexon (acronym: branq) (Jonathan Bowers)

Construction

Its construction is based on the E7 group. Coxeter named it as 3₂₁ by its bifurcating Coxeter-Dynkin diagram, with a single node on the end of the 3-node sequence.

The facet information can be extracted from its Coxeter-Dynkin diagram, Template:CDD.

Removing the node on the short branch leaves the birectified 6-simplex, Template:CDD.

Removing the node on the end of the 2-length branch leaves the birectified 6-orthoplex in its alternated form: t₂(3₁₁), Template:CDD.

Removing the node on the end of the 3-length branch leaves the rectified 2₂₁ polytope in its alternated form: t₁(2₂₁), Template:CDD.

The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes rectified 5-cell-triangle duoprism, Template:CDD.

Images

Coxeter plane projections

E7	E6 / F4	B7 / A6
File:Up2 3 21 t2 E7.svg [18]	File:Up2 3 21 t2 E6.svg [12]	File:Up2 3 21 t2 A6.svg [7x2]
A5	D7 / B6	D6 / B5
File:Up2 3 21 t2 A5.svg [6]	File:Up2 3 21 t2 D7.svg [12/2]	File:Up2 3 21 t2 D6.svg [10]
D5 / B4 / A4	D4 / B3 / A2 / G2	D3 / B2 / A3
File:Up2 3 21 t2 D5.svg [8]	File:Up2 3 21 t2 D4.svg [6]	File:Up2 3 21 t2 D3.svg [4]

See also

• List of E7 polytopes

References

• T. Gosset: On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan, 1900
• 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, wiley.com, Template:Isbn
  • (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3-45] p. 342 (figure 3.7c) by Peter mcMullen: (18-gonal node-edge graph of 3₂₁)
• Template:KlitzingPolytopes o3o3o3o *c3o3o3x - naq, o3o3o3o *c3o3x3o - ranq, o3o3o3o *c3x3o3o - branq

External links

• Gosset’s Polytopes in vZome