4 21 polytope

DISPLAYTITLE:4 21 polytope In 8-dimensional geometry, the 421 is a semiregular uniform 8-polytope, constructed within the symmetry of the E8 group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 8-ic semi-regular figure. Its Coxeter symbol is 421, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 4-node sequences, . The rectified 421 is constructed by points at the mid-edges of the 421. The birectified 421 is constructed by points at the triangle face centers of the 421. The trirectified 421 is constructed by points at the tetrahedral centers of the 421. These polytopes are part of a family of 255 = 28 − 1 convex uniform 8-polytopes, made of uniform 7-polytope facets and vertex figures, defined by all permutations of one or more rings in this Coxeter-Dynkin diagram: . The 421 polytope has 17,280 7-simplex and 2,160 7-orthoplex facets, and 240 vertices. Its vertex figure is the 321 polytope. As its vertices represent the root vectors of the simple Lie group E8, this polytope is sometimes referred to as the E8 root polytope. The vertices of this polytope can also be obtained by taking the 240 integral octonions of norm 1. Because the octonions are a nonassociative normed division algebra, these 240 points have a multiplication operation making them not into a group but rather a loop, in fact a Moufang loop. For visualization this 8-dimensional polytope is often displayed in a special skewed orthographic projection direction that fits its 240 vertices within a regular triacontagon (called a Petrie polygon). Its 6720 edges are drawn between the 240 vertices. Specific higher elements (faces, cells, etc.) can also be extracted and drawn on this projection. This polytope was discovered by Thorold Gosset, who described it in his 1900 paper as an 8-ic semi-regular figure. It is the last finite semiregular figure in his enumeration, semiregular to him meaning that it contained only regular facets. E. L. Elte named it V240 (for its 240 vertices) in his 1912 listing of semiregular polytopes.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (4)

Related concepts (22)

Related lectures (8)

Fully solvable finite simplex lattices with open boundaries in arbitrary dimensions

Fabrizio Minganti

Finite simplex lattice models are used in different branches of science, e.g., in condensed-matter physics, when studying frustrated magnetic systems and non-Hermitian localization phenomena; or in chemistry, when describing experiments with mixtures. An n ...

College Pk2023

New Results in Integer and Lattice Programming

Christoph Hunkenschröder

An integer program (IP) is a problem of the form

\min \{f(x) : \, Ax = b, \ l \leq x \leq u, \ x \in \Z^n\}

, where

A \in \Z^{m \times n}

b \in \Z^m

l,u \in \Z^n

, and

f: \Z^n \rightarrow \Z

is a separable convex objective function. The problem o ...

EPFL2020

Indecomposable Coverings with Concave Polygons

We show that for any concave polygon that has no parallel sides and for any k, there is a k-fold covering of some point set by the translates of this polygon that cannot be decomposed into two coverings. Moreover, we give a complete classification of open ...

Springer-Verlag2010

Uniform k 21 polytope

DISPLAYTITLE:Uniform k 21 polytope In geometry, a uniform k21 polytope is a polytope in k + 4 dimensions constructed from the En Coxeter group, and having only regular polytope facets. The family was named by their Coxeter symbol k21 by its bifurcating Coxeter–Dynkin diagram, with a single ring on the end of the k-node sequence. Thorold Gosset discovered this family as a part of his 1900 enumeration of the regular and semiregular polytopes, and so they are sometimes called Gosset's semiregular figures.

E8 lattice

In mathematics, the E_8 lattice is a special lattice in R^8. It can be characterized as the unique positive-definite, even, unimodular lattice of rank 8. The name derives from the fact that it is the root lattice of the E_8 root system. The norm of the E_8 lattice (divided by 2) is a positive definite even unimodular quadratic form in 8 variables, and conversely such a quadratic form can be used to construct a positive-definite, even, unimodular lattice of rank 8. The existence of such a form was first shown by H.

1 42 polytope

DISPLAYTITLE: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.

Polynomial Equations: Determining Coefficients

Covers the process of determining coefficients in polynomial equations.

Surfaces with Constant Curvature MATH-126: Geometry for architects II

Explores surfaces with constant curvature, emphasizing the significance of minimal oriented radius and the properties of pseudo-spheres.

Hamiltonian dynamics on convex polytopes

Explores Hamiltonian dynamics on convex polytopes, covering symplectic capacities, EHZ capacity, and systolic ratio maximizers.