User:Tomruen/Thorold Gosset

From Wikipedia, the free encyclopedia

Thorold Gosset (1869-1962)

Contents

[edit] See also

[edit] References

  • T. Gosset: On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan, 1900

[edit] External links

  • Regular and semi-regular convex polytopes a short historical overview
  • Series of Lie Algebras
  • Gosset's Figure in 8 Dimensions, A Zome Model
  • Gosset figures Figures derived from the third trigonal series. Th. Gosset described a series of semiregular figures, being a vertex-figure series based on the triangular prism.
    • Gossetododecatope: The gosset figure with a vertex with simplex-vertex symmetry. These are of the form of 1_k2 or {G,3.....}. These are the largest of the gosset figures.
      • 5D 1_21 gossetododecateron {G,3,3,3} = half-cube
      • 6D 1_22 gossetododecapenton {G,3,3,3,3}
      • 7D 1_32 gossetododecaexon {G,3,3,3,3,3}
      • 8D 1_42 gossetododecazetton {G,3,3,3,3,3,3}
      • 9D 1_52 gossetododecayotton {G,3,3,3,3,3,3,3} = apeiroyotton
    • Gossetoicosatope: This is a series of polytopes that have the previous dimension as an vertex figure. The three-dimensional representative is the triangular prism or gossetoicosahedron. In six, seven and eight dimensions, these figures have a symmetry distinct from any of the regular figures in that dimension.
      • 3D gossetoicosahedron X_21 {3,B} = triangular prism
      • 4D gossetoicosachoron 0_21 {3,3,B} = rectified pentachoron
      • 5D gossetoicosateron 1_21 {3,3,3,B} = half-pentaprism
      • 6D gossetoicosapenton 2_21 {3,3,3,3,B}
      • 7D gossetoicosaexon 3_21 {3,3,3,3,3,B}
      • 8D gossetoicosazetton 4_21 {3,3,3,3,3,3,B}
      • 9D gossetoicosayotton 5_21 {3,3,3,3,3,3,3,B} [apeiroyotton]
    • Gossetooctotope: This is the gosset polytope that has a half-cube vertex-figure, and is therefore of the form 2_k1.
      • 5D gossetooctateron 2_11 {G;3,3,3} = pentategum
      • 6D gossetooctapeton 2_21 {G;3,3,3,3} = gossetoicosapeton
      • 7D gossetooctaexon 2_31 {G;3,3,3,3,3}
      • 8D gossetooctazetton 2_41 {G;3,3,3,3,3,3}
      • 9D gossetooctatotton 2_51 {G;3,3,3,3,3,3,3} [apeirogon]

[edit] polytopes

[1]

N  Lines            Polytope         Dim  Symmetry Group
 
9    0                 0              0     A0 U(1) 
 
8    1 or 0       line segment        1     A1 SU(2) 
 
7    3              triangle          2     A2 SU(3)
 
6    6        half-cuboctahedron      3     A3=D3 SU(4)=Spin(6)    
 
5   10        6+4 faces of 4cube      4     D4 Spin(8)     
   
4   16     Gosset 1_21 (half-5cube)   5     D5 Spin(10)    
 
3   27             Gosset 2_21        6     E6
 
2   56=28+28       Gosset 3_21        7     E7
 
1  240        Witting = Gosset 4_21   8     E8
 
0  infinite        Gosset 5_21        9     E9 = affine 
                                            extension of E8

The real 4_21 Witting polytope of the E8 lattice in R8 has

240 vertices;

6,720 edges;

60,480 triangular faces;

241,920 tetrahedra;

483,840 4-simplexes;

483,840 5-simplexes 4_00;

138,240 + 69,120 6-simplexes 4_10 and 4_01; and

17,280 7-simplexes 4_20 and 2,160 7-cross-polytopes 4_11.

http://www.liga.ens.fr/~dutour/Regular/

Semi-regular polytopes
All regular polytopes 
0_21 also called hypersimplex 
1_21, half-5-cube 
2_21, Delaunay polytope of the root lattice E6 
3_21, Delaunay polytope of the root lattice E7 
4_21, Voronoi polytope of the root lattice E8 
snub 24-cell 
octicosahedric polytope, i.e. the medial of 600-cell.