In 4-dimensional

geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...

, there are 9 uniform polytopes with A₄ symmetry. There is one self-dual regular form, the

5-cell In geometry, the 5-cell is the convex 4-polytope with Schläfli symbol . It is a 5-vertex four-dimensional object bounded by five tetrahedral cells. It is also known as a C5, pentachoron, pentatope, pentahedroid, or tetrahedral pyramid. It i ...

with 5 vertices.

Symmetry

A₄ symmetry, or ,3,3is order 120, with Conway quaternion notation +¹/₆₀ ×2₁. Its abstract structure is the

symmetric group In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group \m ...

S₅. Three forms with symmetric Coxeter diagrams have extended symmetry, nowiki/>[3,3,3 of order 240, and Conway notation ±¹/₆₀ ×2, and abstract structure S₅×C₂.

Visualizations

Each can be visualized as symmetric orthographic projections in Coxeter planes of the A₄ Coxeter group, and other subgroups. Three Coxeter plane Orthographic projection, 2D projections are given, for the A₄, A₃, A₂

Coxeter group In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean refl ...

s, showing symmetry order 5,4,3, and doubled on even A_k orders to 10,4,6 for symmetric Coxeter diagrams. The 3D picture are drawn as

Schlegel diagram In geometry, a Schlegel diagram is a projection of a polytope from \mathbb^d into \mathbb^ through a point just outside one of its facets. The resulting entity is a polytopal subdivision of the facet in \mathbb^ that, together with the origina ...

projections, centered on the cell at pos. 3, with a consistent orientation, and the 5 cells at position 0 are shown solid.

Coordinates

The coordinates of uniform 4-polytopes with pentachoric symmetry can be generated as permutations of simple integers in 5-space, all in hyperplanes with normal vector (1,1,1,1,1). The A₄

palindromic A palindrome is a word, number, phrase, or other sequence of symbols that reads the same backwards as forwards, such as the words ''madam'' or ''racecar'', the date and time ''11/11/11 11:11,'' and the sentence: "A man, a plan, a canal – Panam ...

, so repeated polytopes exist in pairs of dual configurations. There are 3 symmetric positions, and 6 pairs making the total 15 permutations of one or more rings. All 15 are listed here in order of

binary arithmetic A binary number is a number expressed in the base-2 numeral system or binary numeral system, a method of mathematical expression which uses only two symbols: typically "0" (zero) and "1" (one). The base-2 numeral system is a positional notation ...

for clarity of the coordinate generation from the rings in each corresponding Coxeter diagram. The number of vertices can be deduced here from the

permutation In mathematics, a permutation of a set is, loosely speaking, an arrangement of its members into a sequence or linear order, or if the set is already ordered, a rearrangement of its elements. The word "permutation" also refers to the act or proc ...

s of the number of coordinates, peaking at 5

factorial In mathematics, the factorial of a non-negative denoted is the product of all positive integers less than or equal The factorial also equals the product of n with the next smaller factorial: \begin n! &= n \times (n-1) \times (n-2) \t ...

for the omnitruncated form with 5 unique coordinate values.

References

J.H. Conway John Horton Conway (26 December 1937 – 11 April 2020) was an English mathematician active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He also made contributions to many branches o ...

and M.J.T. Guy: ''Four-Dimensional Archimedean Polytopes'', Proceedings of the Colloquium on Convexity at Copenhagen, page 38 und 39, 1965 *

John H. Conway John Horton Conway (26 December 1937 – 11 April 2020) was an English people, English mathematician active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He also made contributions to ...

, Heidi Burgiel,

Chaim Goodman-Strauss Chaim Goodman-Strauss (born June 22, 1967 in Austin TX) is an American mathematician who works in convex geometry, especially aperiodic tiling. He is on the faculty of the University of Arkansas and is a co-author with John H. Conway of ''The Sym ...

, ''The Symmetries of Things'' 2008, (Chapter 26) *

H.S.M. Coxeter Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington t ...

: ** H.S.M. Coxeter, ''Regular Polytopes'', 3rd Edition, Dover New York, 1973 * 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::Kaleidoscopes: Selected Writings of H.S.M. Coxeter
** (Paper 22) H.S.M. Coxeter, ''Regular and Semi Regular Polytopes I'', ath. Zeit. 46 (1940) 380–407, MR 2,10** (Paper 23) H.S.M. Coxeter, ''Regular and Semi-Regular Polytopes II'', ath. Zeit. 188 (1985) 559-591** (Paper 24) H.S.M. Coxeter, ''Regular and Semi-Regular Polytopes III'', ath. Zeit. 200 (1988) 3-45* N.W. Johnson: ''The Theory of Uniform Polytopes and Honeycombs'', Ph.D. Dissertation, University of Toronto, 1966

External links

*
Uniform, convex polytopes in four dimensions:
Marco Möller ** * ** {{Polytopes 4-polytopes