English

Maps of surface groups to finite groups with no simple loops in the kernel

Geometric Topology 2010-07-15 v1

Abstract

Let FgF_g denote the closed orientable surface of genus gg. What is the least order finite group, GgG_g, for which there is a homomorphism ψ\psi from π1(Fg)\pi_1(F_g) to GgG_g so that no nontrivial simple closed curve on FgF_g represents an element in Ker(ψ\psi)? For the torus it is easily seen that G1=Z2×Z2G_1 = Z_2 \times Z_2 suffices. We prove here that G2G_2 is a group of order 32 and that an upper bound for the order of GgG_g is given by g2g+1g^{2g +1}. The previously known upper bound was greater than 2g22g2^{g{2^{2g}}}.

Keywords

Cite

@article{arxiv.math/0002162,
  title  = {Maps of surface groups to finite groups with no simple loops in the kernel},
  author = {Charles Livingston},
  journal= {arXiv preprint arXiv:math/0002162},
  year   = {2010}
}
R2 v1 2026-07-22T16:31:22.897Z