5 21 honeycombDISPLAYTITLE:5 21 honeycomb 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.
Uniform 1 k2 polytopeDISPLAYTITLE:Uniform 1 k2 polytope In geometry, 1k2 polytope is a uniform polytope in n-dimensions (n = k+4) constructed from the En Coxeter group. The family was named by their Coxeter symbol 1k2 by its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 1-node sequence. It can be named by an extended Schläfli symbol {3,3k,2}. The family starts uniquely as 6-polytopes, but can be extended backwards to include the 5-demicube (demipenteract) in 5-dimensions, and the 4-simplex (5-cell) in 4-dimensions.
1 42 polytopeDISPLAYTITLE:1 42 polytope In 8-dimensional geometry, the 142 is a uniform 8-polytope, constructed within the symmetry of the E8 group. Its Coxeter symbol is 142, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 1-node sequences. The rectified 142 is constructed by points at the mid-edges of the 142 and is the same as the birectified 241, and the quadrirectified 421.
2 51 honeycombDISPLAYTITLE:2 51 honeycomb In 8-dimensional geometry, the 251 honeycomb is a space-filling uniform tessellation. It is composed of 241 polytope and 8-simplex facets arranged in an 8-demicube vertex figure. It is the final figure in the 2k1 family. 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 short branch leaves the 8-simplex.
E9 honeycombDISPLAYTITLE:E9 honeycomb In geometry, an E9 honeycomb is a tessellation of uniform polytopes in hyperbolic 9-dimensional space. , also (E10) is a paracompact hyperbolic group, so either facets or vertex figures will not be bounded. E10 is last of the series of Coxeter groups with a bifurcated Coxeter-Dynkin diagram of lengths 6,2,1. There are 1023 unique E10 honeycombs by all combinations of its Coxeter-Dynkin diagram.
Gosset–Elte figuresIn 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.
1 32 polytopeDISPLAYTITLE:1 32 polytope In 7-dimensional geometry, 132 is a uniform polytope, constructed from the E7 group. Its Coxeter symbol is 132, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of one of the 1-node sequences. The rectified 132 is constructed by points at the mid-edges of the 132. These polytopes are part of a family of 127 (27-1) convex uniform polytopes in 7-dimensions, made of uniform polytope facets and vertex figures, defined by all permutations of rings in this Coxeter-Dynkin diagram: .
1 22 polytopeDISPLAYTITLE:1 22 polytope In 6-dimensional geometry, the 122 polytope is a uniform polytope, constructed from the E6 group. It was first published in E. L. Elte's 1912 listing of semiregular polytopes, named as V72 (for its 72 vertices). Its Coxeter symbol is 122, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 1-node sequence. There are two rectifications of the 122, constructed by positions points on the elements of 122. The rectified 122 is constructed by points at the mid-edges of the 122.