Generating the homology of covers of surfaces
Marco Boggi, Andrew Putman, Nick Salter
Abstract
Putman and Wieland conjectured that if $\tildeΣ \rightarrow Σ$ is a finite branched cover between closed oriented surfaces of sufficiently high genus, then the orbits of all nonzero elements of $H_1(\tildeΣ;\mathbb{Q})$ under the action of lifts to $\tildeΣ$ of mapping classes on $Σ$ are infinite. We prove that this holds if $H_1(\tildeΣ;\mathbb{Q})$ is generated by the homology classes of lifts of simple closed curves on $Σ$. We also prove that the subspace of $H_1(\tildeΣ;\mathbb{Q})$ spanned by such lifts is a symplectic subspace. Finally, simple closed curves lie on subsurfaces homeomorphic to 2-holed spheres, and we prove that $H_1(\tildeΣ;\mathbb{Q})$ is generated by the homology classes of lifts of loops on $Σ$ lying on subsurfaces homeomorphic to 3-holed spheres.
