Maps of surface groups to finite groups with no simple loops in the kernel
Geometric Topology
2010-07-15 v1
Abstract
Let denote the closed orientable surface of genus . What is the least order finite group, , for which there is a homomorphism from to so that no nontrivial simple closed curve on represents an element in Ker()? For the torus it is easily seen that suffices. We prove here that is a group of order 32 and that an upper bound for the order of is given by . The previously known upper bound was greater than .
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}
}