A chiral 5-polytope of full rank (Q2022158)

After defining inductively a (skeletal) \(n\)-polytope in Euclidean space \({\mathbb E}^d\), the author recalls that such a polytope is called chiral if its geometric symmetry group induces precisely two orbits on flags, and adjacent flags belong to different orbits (in other words, such a polytope has maximal rotational symmetry, without having reflectional symmetry). An \(n\)-polytope \({\mathcal P}\) in \({\mathbb E}^d\) is said to be of full rank if \(d=n\) if \({\mathcal P}\) is finite and \(d=n-1\) if \({\mathcal P}\) is infinite. It is known that chiral \(n\)-polytopes of full rank do not exist for \(n=2\) and \(n=3\), and that finite and infinite ones do exist for \(n=4\). This paper constructs the first chiral \(5\)-polytope of full rank. It is infinite, and its 2-skeleton is the same as that of the regular tessellation \(\{3,4,3,3\}\) of \({\mathbb E}^4\) with \(24\)-cells.