Quotients of a universal locally projective polytope of type \(\{5,3,5\}\) (Q1762715)

The authors show that the universal regular \(4\)-polytope \({\mathcal P} = \{\{5,3\},\{3,5\}_5\}\), with regular dodecahedra as facets and regular hemi-icosahedra as vertex-figures, is finite. Its group is remarkable: it is \(J_1 \times L_2(19)\), where \(J_1\) is the first Janko group and \(L_2(19) = PSL_2(19)\) is a projective special linear group (both are simple). Thus \({\mathcal P}\) has \(5003460\) facets, and twice as many vertices. The authors also discuss quotients of \({\mathcal P}\), enumerating those which are section regular. Two of these quotients are regular. The first is the self-dual \(\{\{5,3\}_5,\{3,5\}_5\}\), now with \(57\) regular hemi-dodecahedra as facets, which was discovered by \textit{H. S. M. Coxeter} [Geom. Dedicata 13, 87--99 (1982; Zbl 0506.51016)]; its group is \(L_2(19)\). The other is of type \(\{\{5,3\},\{3,5\}_5\}\) again, but its group is now \(J_1\), and it has \(1463\) facets. The authors have found all this using computer algebra programs, and so geometric descriptions of the polytopes (particularly the new regular ones) are lacking; the reviewer's opinion is that this is somewhat unfortunate. (Some errata arising from a programming error have been communicated to me by the authors; these will appear in a subsequent note. To summarize them, in the tables the rows headed 13, 70, 78, 90, 91, 95, 111 and 127 should be deleted.)