Abstract
A 2-cell decomposition of a closed orientable surface is called a regular map if its automorphism group acts transitively on the set of all its darts (or arcs). It is well known that the group \(G = \mathrm{Aut}^+(\mathcal {M})\) of all orientation-preserving automorphisms of such a map \(\mathcal {M}\) is a finite quotient of the free product \(\Gamma = \mathbb {Z}* C_2\). In this paper we investigate the situation where G is nilpotent and the underlying graph of the map is simple (with no multiple edges). By applying a theorem of Labute (Proc Amer Math Soc 66:197–201, 1977) on the ranks of the factors of the lower central series of \(\Gamma \) (via the associated Lie algebra), we prove that the number of vertices of any such map is bounded by a function of the nilpotency class of the group G. Moreover, we show that for a fixed nilpotency class c there is exactly one such simple regular map \(\mathcal {M}_c\) attaining the bound, and that this map is universal, in the sense that every simple regular map \(\mathcal {M}\) for which \(\mathrm{Aut}^+(\mathcal {M})\) is nilpotent of class at most c is a quotient of \(\mathcal {M}_c\). In particular, there are finitely many such quotients for any given value of c, and every regular map \(\mathcal {M}\), whether simple or non-simple, for which \(\mathrm{Aut}^+(\mathcal {M})\) is nilpotent of class at most c, is a cyclic cover of exactly one of them.
Similar content being viewed by others
References
Brahana, H.R.: Regular maps and their groups. Amer. J. Math. 49, 268–284 (1927)
Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system I: the user language. J. Symb. Comput. 24, 235–265 (1997)
Catalano, D.A., Conder, M.D.E., Du, S.F., Kwon, Y.S., Nedela, R., Wilson, S.: Classification of regular embeddings of \(n\)-dimensional cubes. J. Algebraic Combin. 33, 215–238 (2011)
Conder, M.D.E.: Regular maps and hypermaps of Euler characteristic \(-1\) to \(-200\). J. Combin. Theory Ser. B 99, 455–459 (2009). Data source: www.math.auckland.ac.nz/~conder/hypermaps.html
Coxeter, H.S.M., Moser, W.O.J.: Generators and Relations for Discrete Groups, 4th edn. Springer, Berlin (1972)
Du, S.F., Jones, G.A., Kwak, J.H., Nedela, R., Škoviera, M.: Regular embeddings of \(K_{n, n}\) where \(n\) is a power of 2. I: metacyclic case. Europ. J. Combin. 28, 1595–1609 (2007)
Du, S.F., Jones, G.A., Kwak, J.H., Nedela, R., Škoviera, M.: Regular embeddings of \(K_{n, n}\) where \(n\) is a power of 2. II: the non-metacyclic case. Europ. J. Combin. 31, 1946–1956 (2010)
Du, S.F., Jones, G.A., Kwak, J.H., Nedela, R., Škoviera, M.: Two-groups that factorise as products of cyclic groups, and regular embeddings of complete bipartite graphs. Ars Math. Contemp. 6, 155–170 (2013)
Hu, K., Nedela, R. Škoviera, M., Wang, N.: Regular embeddings of cycles with multiple edges revisited. Ars Math. Contemp. 8, 177–194 (2015)
Huppert, B.: Endliche Gruppen I. Springer, Berlin (1967)
Jones, G.A.: Ree groups and Riemann surfaces. J. Algebra 165, 41–62 (1994)
Jones, G.A., Silver, S.A.: Suzuki groups and surfaces. J. London Math. Soc. 48(2), 117–125 (1993)
Jones, G.A., Singerman, D.: Theory of maps on orientable surfaces. Proc. London Math. Soc. 37, 273–307 (1978)
Jones, G., Streit, M., Wolfart, J.: Galois action on families of generalised Fermat curves. J. Algebra 307, 829–840 (2007)
Labute, J.P.: The lower central series of the group \(\langle \, x,y : x^p = 1 \,\rangle \). Proc. Amer. Math. Soc. 66, 197–201 (1977)
Malnič, A., Nedela, R., Škoviera, M.: Regular maps with nilpotent automorphism groups. European J. Combin. 33, 1974–1986 (2012)
Nedela, R., Škoviera, M.: Exponents of orientable maps. Proc. London Math. Soc. 75, 1–31 (1997)
Nedela, R., Škoviera, M., Zlatoš, A.: Bipartite maps, Petrie duality and exponent groups (dedicated to the memory of Professor M. Pezzana). Atti Sem. Mat. Fis. Univ. Modena. 49, 109–133 (2001)
Sah, C.H.: Groups related to compact Riemann surfaces. Acta Math. 123, 13–42 (1969)
Sloane, N.J.A.: On-line encyclopedia of integer sequences (OEIS). www.oeis.org
Wilson, S.E.: Operators over regular maps. Pacific J. Math. 81, 559–568 (1979)
Wilson, S.E.: Bicontactual regular maps. Pacific J. Math. 120, 437–451 (1985)
Wilson, S.E.: Cantankerous maps and rotary embeddings of \(K_n\). J. Combin. Theory Ser. B 47, 262–279 (1989)
Acknowledgments
The first author was supported by a James Cook Fellowship, and a Marsden Fund grant from the Royal Society of New Zealand (UOA1323). The second author was supported by the National Natural Science Foundation of China (11271267), the Natural Science Foundation of Beijing (1132005), and the National Research Foundation for the Doctoral Program of Higher Education of China (20121108110005). The work of the third and fourth authors was partially supported by the project ‘Mobility - Enhancing Research, Science and Education’ at Matej Bel University in Banská Bystrica, ITMS code: 26110230082, under the Operational Programme Education co-financed by the European Social Fund. The third and fourth authors were also partially supported by the grants APVV-0223-10, APVV-15-0220, VEGA 1/0474/15, and by the Slovak-Chinese bilateral grant APVV-SK-CN-0009-12.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Conder, M., Du, S., Nedela, R. et al. Regular maps with nilpotent automorphism group. J Algebr Comb 44, 863–874 (2016). https://doi.org/10.1007/s10801-016-0692-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-016-0692-8