Birman-Hilden theory for big mapping class groups
Nestor Colin, Ruben Hidalgo, Rita Jiménez Rolland, Israel Morales, Saúl Quispe
TL;DR
This work extends Birman–Hilden theory to big mapping class groups by proving that fully ramified branched covers $p:S\to X$ between surfaces with $S$ of infinite type or $X$ of negative Euler characteristic satisfy the Birman–Hilden property. The authors combine the Alexander method with Klein-surface techniques to treat orientable and non-orientable cases in a unified framework, enabling infinite-sheeted and infinite-type scenarios. They derive injective realizations of non-orientable mapping class groups into orientable doubles and establish injections for surface braid groups under orientable doubling, thereby generalizing several finite-type results to the infinite-type setting. The results provide structural insights into big mapping class groups and offer systematic constructions of geometrically characteristic covers with robust lift properties.
Abstract
Let $S$ and $X$ be two connected topological surfaces without boundary, and assume that $S$ is either of infinite type or has negative Euler characteristic. In this paper, we prove that if $p:S\rightarrow X$ is a fully ramified branched covering map, then $p$ satisfies the Birman-Hilden property. This generalizes a theorem of Winarski, and the known results in the literature, to the context of surfaces of infinite type and branched covering maps of infinite degree. As an application, we show that the mapping class group (respectively, the braid group on $k$-strands) of a non-orientable surface of infinite type can be realized as a subgroup of the mapping class group (respectively, the braid group on $2k$-strands) of its orientable double cover.
