Regular polytope

Regular polytope
Gustavb · Public domain · source
Name	Regular polytope

Regular polytope

A regular polytope is a highly symmetric convex or star-like figure studied in Euclidean geometry, Projective geometry, Group theory, Combinatorics and Topology. Its facets, edges, faces and vertices exhibit transitivity under a symmetry group such as a Coxeter group, Weyl group, Lie group or Permutation group, making it central to work by figures like Élie Cartan, H. S. M. Coxeter, Ludwig Schläfli and Arthur Cayley. Regular polytopes connect to problems in Algebraic topology, Differential geometry, Number theory and applications in Crystallography, Physics and Architecture.

Definition and properties

A regular polytope is defined by combinatorial and metric regularity: vertex-transitivity, edge-transitivity and face-transitivity under a transitive subgroup of the full isometry group of a space such as Euclidean space, Spherical geometry or Hyperbolic geometry. The classification uses Schläfli symbol notation introduced by Ludwig Schläfli and popularized by H. S. M. Coxeter and relationships with Coxeter–Dynkin diagrams and Wythoff construction. Key properties include angles determined by dihedral symmetry, edge lengths uniformity, and facet congruence studied by Arthur Cayley, Évariste Galois, Sophus Lie and later analysts in Representation theory. Regularity implies strong constraints on curvature and topology, linking to invariants in Homology theory and Euler characteristic computations used by Leonhard Euler and successors.

Classification by dimension

In two dimensions the regular polytopes are regular polygons classified in early work by Euclid, enumerated with Schläfli symbols and symmetry groups related to Dihedral groups and discussed by Johannes Kepler. In three dimensions the regular polytopes are the Platonic solids studied by Plato, Archimedes, Johannes Kepler and formalized in modern terms by Leonhard Euler and Cauchy. In four dimensions the six regular polychora appear in the work of Ludwig Schläfli and were elaborated by H. S. M. Coxeter alongside investigations by John Conway and Michael Atiyah. In higher dimensions n ≥ 5 only three families persist (simplex, hypercube, cross-polytope), a result tied to Coxeter group classification and constraints detailed by Élie Cartan and Weyl in the context of root systems and Lie algebra studies.

Construction and symmetry

Constructions exploit reflections and rotations via Coxeter group generators, Wythoff constructions from mirrors studied by Wythoff and diagrammatic encodings in Coxeter–Dynkin diagrams. Symmetry groups include finite reflection groups classified by Hermann Weyl, connecting to ADE classification and Root systems investigated by Kac–Moody researchers. Metric realizations employ orthogonal transformations from Special orthogonal groups and discrete subgroups like Icosahedral group or Hyperoctahedral group. Regular star polytopes use extended Schläfli symbols and stellation processes analyzed by Johannes Kepler and modern compilers like Coxeter and Branko Grünbaum.

Examples and families

Famous examples include the five Platonic solids: Tetrahedron associated with A4 symmetry, Cube and Octahedron forming the Hyperoctahedral group, Dodecahedron and Icosahedron tied to A5 and Icosahedral group symmetry used in Crystallography and Virology. Four-dimensional regular polytopes include the 24-cell, 600-cell, 120-cell, Tesseract and 16-cell, central to studies by Schläfli and Coxeter. Infinite families comprise the simplex family linked to Symmetric group, the hypercube family associated with Hyperoctahedral group and the cross-polytope family related to dual root systems explored by Élie Cartan and Weyl. Star families, such as Kepler–Poinsot solids, were cataloged by Johannes Kepler and later by Louis Poinsot and Coxeter.

Duality and vertex figures

Duality pairs exchange vertices and facets; classic dual pairs include Cube↔Octahedron and Tesseract↔16-cell, with dual relationships formalized by Schläfli and algebraically by Incidence geometry and Matroid theory. Vertex figures, obtained by slicing near a vertex, reveal local symmetry and correspond to facets of the dual polytope; analyses of vertex figures appear in writings by Coxeter, Branko Grünbaum, John Conway and researchers in Polyhedral combinatorics. Duality connects to polarity operations in Projective geometry and to contragredient operations in Representation theory and Lie algebra root reflections.

Historical development

The concept evolved from ancient work by Euclid, Plato and Archimedes through Renaissance contributions by Kepler and formalization by Ludwig Schläfli in the 19th century. Foundational algebraic and geometric formalisms were advanced by Arthur Cayley, Schläfli, Coxeter and Élie Cartan, while 20th‑century expansion linked regular polytopes to Coxeter group theory, Weyl’s work on symmetry, and modern treatments in Algebraic topology and Discrete geometry by scholars like Branko Grünbaum, John Conway and H. S. M. Coxeter. Contemporary research continues in contexts such as Geometric group theory, Crystallography, Quantum topology and applications within Materials science and Theoretical physics.

Category:Polyhedra Category:Geometry