Rotary hypermaps of genus 2 (Q1591745)

A hypermap on an orientable surface is called rotary if its orientation-preserving automorphism group acts transitively on the set of darts (hyperedge-vertex incidence pairs). A hypermap on any surface is called reflexible if its full automorphism group, including orientation-reversing automorphisms, acts transitively on the set of blades (hyperedge-vertex-face incidence triples). The rotary hypermaps on the sphere and torus were classified in \textit{D. Corn} and \textit{D. Singerman} [Regular hypermaps, Eur. J. Comb. 9, No. 4, 337-351 (1988; Zbl 0665.57002)]. The article under review classifies the rotary hypermaps of genus 2. There are 43 of them, of which 10 are maps, classified in \textit{W. Threlfall} [Gruppenbilder, Abh. Sächs. Akad. Wiss., Math.-Phys. Kl. 41, No.~6, 1-59 (1932; Zbl 0004.02202)], 20 more are obtained from the maps by considering them as hypermaps and applying hyperedge-vertex-face duality as discussed in \textit{A. Machì} [On the complexity of a hypermap, Discrete Math. 42, 221-226 (1982; Zbl 0503.05024)], and the remaining 13 are obtained from the maps using first the bijection between bipartite maps and hypermaps of the same orientable genus presented in \textit{T. R. S. Walsh} [Hypermaps versus bipartite maps, J. Comb. Theory, Ser. B 18, 155-163 (1975; Zbl 0302.05101)] and then hyperedge-vertex-face duality. All these maps turn out to be reflexible. From this fact the authors deduce that there are no reflexible hypermaps on a (non-orientable) surface of characteristic \(-1\), generalizing an analogous result for maps in \textit{H. S. M. Coxeter} and \textit{W. O. J. Moser} [Generators and relations for discrete groups (Ergebnisse der Mathematik und ihrer Grenzgebiete. Band 14. Berlin-Heidelberg-New York: Springer-Verlag) (1972; Zbl 0239.20040)].