From Surf Wiki (app.surf) — the open knowledge base
5 21 honeycomb
Type of uniform tessellation
Type of uniform tessellation
| 521 honeycomb |
|---|
| Type |
| Family |
| Schläfli symbol |
| Coxeter symbol |
| Coxeter-Dynkin diagram |
| 8-faces |
| 7-faces |
| 6-faces |
| 5-faces |
| 4-faces |
| Cells |
| Faces |
| Cell figure |
| Face figure |
| Edge figure |
| Vertex figure |
| Symmetry group |
In geometry, the 521 honeycomb is a uniform tessellation of 8-dimensional Euclidean space. The symbol 521 is from Coxeter, named for the length of the 3 branches of its Coxeter-Dynkin diagram.
By putting spheres at its vertices one obtains the densest-possible packing of spheres in 8 dimensions. This was proven by Maryna Viazovska in 2016 using the theory of modular forms. Viazovska was awarded the Fields Medal for this work in 2022.
This honeycomb was first studied by Gosset who called it a 9-ic semi-regular figure (Gosset regarded honeycombs in n dimensions as degenerate n+1 polytopes).
Each vertex of the 521 honeycomb is surrounded by 2160 8-orthoplexes and 17280 8-simplicies.
The vertex figure of Gosset's honeycomb is the semiregular 421 polytope. It is the final figure in the k21 family.
This honeycomb is highly regular in the sense that its symmetry group (the affine {\tilde{E}}_8 Weyl group) acts transitively on the k-faces for k ≤ 6. All of the k-faces for k ≤ 7 are simplices.
Construction
It is created by a Wythoff construction upon a set of 9 hyperplane mirrors in 8-dimensional space.
The facet information can be extracted from its Coxeter-Dynkin diagram. :
Removing the node on the end of the 2-length branch leaves the 8-orthoplex, 611. :
Removing the node on the end of the 1-length branch leaves the 8-simplex. :
The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes the 421 polytope. :
The edge figure is determined from the vertex figure by removing the ringed node and ringing the neighboring node. This makes the 321 polytope. :
The face figure is determined from the edge figure by removing the ringed node and ringing the neighboring node. This makes the 221 polytope. :
The cell figure is determined from the face figure by removing the ringed node and ringing the neighboring node. This makes the 121 polytope. :
Kissing number
Each vertex of this tessellation is the center of a 7-sphere in the densest packing in 8 dimensions; its kissing number is 240, represented by the vertices of its vertex figure 421.
E8 lattice
{\tilde{E}}_8 contains {\tilde{A}}_8 as a subgroup of index 5760. Both {\tilde{E}}_8 and {\tilde{A}}_8 can be seen as affine extensions of A_8 from different nodes: [[File:Affine A8 E8 relations.png]]
{\tilde{E}}_8 contains {\tilde{D}}_8 as a subgroup of index 270. Both {\tilde{E}}_8 and {\tilde{D}}_8 can be seen as affine extensions of D_8 from different nodes: [[File:Affine D8 E8 relations.png]]
The vertex arrangement of 521 is called the E8 lattice.
The E8 lattice can also be constructed as a union of the vertices of two 8-demicube honeycombs (called a D82 or D8+ lattice), as well as the union of the vertices of three 8-simplex honeycombs (called an A83 lattice): : = ∪ = ∪ ∪
Regular complex honeycomb
Using a complex number coordinate system, it can also be constructed as a \mathbb{C}^4 regular complex polytope, given the symbol 3{3}3{3}3{3}3{3}3, and Coxeter diagram . Its elements are in relative proportion as 1 vertex, 80 3-edges, 270 3{3}3 faces, 80 3{3}3{3}3 cells and 1 3{3}3{3}3{3}3 Witting polytope cells.
Notes
References
- Coxeter The Beauty of Geometry: Twelve Essays, Dover Publications, 1999, (Chapter 3: Wythoff's Construction for Uniform Polytopes)
- 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,
- (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3–45]
- N.W. Johnson: Geometries and Transformations, (2015)
References
- Coxeter, 1973, Chapter 5: The Kaleidoscope
- Gosset, Thorold. (1900). "On the regular and semi-regular figures in space of ''n'' dimensions". [[Messenger of Mathematics]].
- N.W. Johnson: ''Geometries and Transformations'', (2018) 12.5: Euclidean Coxeter groups, p.294
- Johnson (2011) p.177
- "The Lattice E8".
- Kaleidoscopes: Selected Writings of H. S. M. Coxeter, Paper 18, "Extreme forms" (1950)
- Coxeter Regular Convex Polytopes, 12.5 The Witting polytope
This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.
Ask Mako anything about 5 21 honeycomb — get instant answers, deeper analysis, and related topics.
Research with MakoFree with your Surf account
Create a free account to save articles, ask Mako questions, and organize your research.
Sign up freeThis content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.
Report