Gosset–Elte figures

The 421 polytope of 8-space

In geometry, the Gosset–Elte figures, named by Coxeter after Thorold Gosset and E. L. Elte, are a group of uniform polytopes which are not regular, generated by a Wythoff construction with mirrors all related by order-2 and order-3 dihedral angles. They can be seen as one-end-ringed Coxeter–Dynkin diagrams.

The Coxeter symbol for these figures has the form ki,j, where each letter represents a length of order-3 branches on a Coxeter–Dynkin diagram with a single ring on the end node of a k length sequence of branches. The vertex figure of ki,j is (k  1)i,j, and each of its facets are represented by subtracting one from one of the nonzero subscripts, i.e. ki  1,j and ki,j  1.[1]

Rectified simplices are included in the list as limiting cases with k=0. Similarly 0i,j,k represents a bifurcated graph with a central node ringed.

History

Coxeter named these figures as ki,j (or kij) in shorthand and gave credit of their discovery to Gosset and Elte:[2]

Elte's enumeration included all the kij polytopes except for the 142 which has 3 types of 6-faces.

The set of figures extend into honeycombs of (2,2,2), (3,3,1), and (5,4,1) families in 6,7,8 dimensional Euclidean spaces respectively. Gosset's list included the 521 honeycomb as the only semiregular one in his definition.

Definition

Simply-laced ADE groups

The polytopes and honeycombs in this family can be seen within ADE classification.

A finite polytope kij exists if

\frac{1}{i+1}+\frac{1}{j+1}+\frac{1}{k+1}>1

or equal for Euclidean honeycombs, and less for hyperbolic honeycombs.

The Coxeter group [3i,j,k] can generate up to 3 unique uniform Gosset–Elte figures with Coxeter–Dynkin diagrams with one end node ringed. By Coxeter's notation, each figure is represented by kij to mean the end-node on the k-length sequence is ringed.

The simplex family can be seen as a limiting case with k=0, and all rectified (single-ring) Coxeter–Dynkin diagrams.

A-family [3n] (rectified simplices)

The family of n-simplices contain Gosset–Elte figures of the form 0ij as all rectified forms of the n-simplex (i + j = n  1).

They are listed below, along with their Coxeter–Dynkin diagram, with each dimensional family drawn as a graphic orthogonal projection in the plane of the Petrie polygon of the regular simplex.

Coxeter group Simplex Rectified Birectified Trirectified Quadrirectified
A1
[30]
= 000

A2
[31]
= 010
A3
[32]
= 020
= 011
A4
[33]
= 030
= 021
A5
[34]
= 040
= 031
= 022
A6
[35]
= 050
= 041
= 032
A7
[36]
= 060
= 051
= 042
= 033
A8
[37]
= 070
= 061
= 052
= 043
A9
[38]
= 080
= 071
= 062
= 053
= 044
A10
[39]
= 090
= 081
= 072
= 063
= 054
... ...

D-family [3n3,1,1] demihypercube

Each Dn group has two Gosset–Elte figures, the n-demihypercube as 1k1, and an alternated from of the n-orthoplex, k11, constructed with alternating simplex facets. Rectified n-demihypercubes, a lower symmetry form of a birectified n-cube, can also be represented as 0k11.

Class Demihypercubes Orthoplexes
(Regular)
Rectified demicubes
D3
[31,1,0]
= 110
  = 0110
D4
[31,1,1]
= 111
  = 0111
D5
[32,1,1]
= 121
= 211
= 0211
D6
[33,1,1]
= 131
= 311
= 0311
D7
[34,1,1]
= 141
= 411
= 0411
D8
[35,1,1]
= 151
= 511
= 0511
D9
[36,1,1]
= 161
= 611
= 0611
D10
[37,1,1]
= 171
= 711
= 0711
... ... ...
Dn
[3n3,1,1]
... = 1n3,1 ... = (n3)11 ... = 0n3,1,1

En family [3n4,2,1]

Each En group from 4 to 8 has two or three Gosset–Elte figures, represented by one of the end-nodes ringed:k21, 1k2, 2k1. A rectified 1k2 series can also be represented as 0k21.

2k1 1k2 k21 0k21
E4
[30,2,1]
= 201
= 120
= 021
E5
[31,2,1]
= 211
= 121
= 121
= 0211
E6
[32,2,1]
= 221
= 122
= 221
= 0221
E7
[33,2,1]
= 231
= 132
= 321
= 0321
E8
[34,2,1]
= 241
= 142
= 421
= 0421

Euclidean and hyperbolic honeycombs

There are three Euclidean (affine) Coxeter groups in dimensions 6, 7, and 8:[5]

Coxeter group Honeycombs
{\tilde{E}}_6 = [32,2,2] = 222     = 0222
{\tilde{E}}_7 = [33,3,1] = 331 = 133   = 0331
{\tilde{E}}_8 = [35,2,1] = 251 = 152 = 521 = 0521

There are three hyperbolic (paracompact) Coxeter groups in dimensions 7, 8, and 9:

Coxeter group Honeycombs
{\bar{T}}_7 = [33,2,2] = 322 = 232   = 0322
{\bar{T}}_8 = [34,3,1] = 431 = 341 = 143 = 0431
{\bar{T}}_9 = [36,2,1] = 261 = 162 = 621 = 0621

As a generalization more order-3 branches can also be expressed in this symbol. The 4-dimensional affine Coxeter group, {\tilde{Q}}_4, [31,1,1,1], has four order-3 branches, and can express one honeycomb, 1111, , represents a lower symmetry form of the 16-cell honeycomb, and 01111, for the rectified 16-cell honeycomb. The 5-dimensional hyperbolic Coxeter group, {\bar{L}}_4, [31,1,1,1,1], has five order-3 branches, and can express one honeycomb, 11111, and its rectification as 011111, .

Notes

  1. Coxeter 1973, p.201
  2. Coxeter, 1973, p. 210 (11.x Historical remarks)
  3. Gosset, 1900
  4. E.L.Elte, 1912
  5. Coxeter 1973, pp.202-204, 11.8 Gosset's figures in six, seven, and eight dimensions.

References

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