Definition
The expression “B4 polyto tope” does not correspond to a single, widely recognized geometric object in the standard mathematical literature. It is occasionally used informally to refer to four‑dimensional polytopes that possess the symmetry described by the Coxeter group B₄, such as the 4‑cube (tesseract) and its dual, the 16‑cell, but no single polytope is universally identified by this name.
Overview
In the classification of regular and uniform polytopes, the Coxeter group Bₙ (also denoted Cₙ) governs the symmetry of hypercubes and orthoplexes in n dimensions. For n = 4, the group B₄ generates the family of 4‑dimensional hypercubic structures, notably the tesseract {4,3,3} and the 16‑cell {3,3,4}. Some authors have loosely referred to these members collectively as “B₄ polytopes.” However, the term is not standardized and does not appear as an entry in major reference works such as the Encyclopedia of Mathematics or the Handbook of Discrete and Computational Geometry.
Etymology / Origin
The notation “B₄” originates from the naming of Coxeter groups, where Bₙ denotes the symmetry group generated by reflections corresponding to the root system of type B (or C) in n dimensions. “Polytope” is a general term for a geometric figure with flat sides in any number of dimensions. The combination “B₄ polytope” therefore literally means “a polytope associated with the B₄ symmetry group,” a phrase that may have arisen in research papers discussing uniform 4‑dimensional polytopes.
Characteristics
Because “B₄ polytope” is not a specific, defined object, characteristic details cannot be definitively assigned. If the term is used to denote members of the B₄ family, typical features include:
- Dimensionality: Four-dimensional.
- Symmetry: Invariance under the B₄ Coxeter group, which consists of reflections and rotations generated by the B₄ root system.
- Vertex configuration: For the tesseract, 16 vertices arranged as the Cartesian product of four line segments; for the 16‑cell, 8 vertices positioned at the coordinate axes ±1 in four-dimensional space.
- Duality: The tesseract and 16‑cell are dual to each other within the B₄ family.
Related Topics
- Coxeter groups – algebraic groups generated by reflections, of which B₄ is a specific instance.
- 4‑cube (tesseract) – the regular hypercube in four dimensions, often associated with B₄ symmetry.
- 16‑cell – the regular orthoplex (cross‑polytope) in four dimensions, dual to the tesseract.
- Uniform polytopes – a broader class of polytopes that includes all members with B₄ symmetry.
- Root systems – the B₄ root system underlies the geometric construction of the associated symmetry group.
Accurate information is not confirmed that “B4 polytope” designates a unique, canonical polytope beyond the informal usage described above.