Finite presentations for the balanced superelliptic mapping class groups

Generators, relations, and presentations of groups (20F05) 2-dimensional topology (including mapping class groups of surfaces, Teichmüller theory, curve complexes, etc.) (57K20) Fundamental group, presentations, free differential calculus (57M05) Topological methods in group theory (57M07) Topological properties of groups of homeomorphisms or diffeomorphisms (57S05)

Review text

Let $\Sigma = \Sigma_{g,n}^b$ be the closed oriented surface of genus $g \geq 0$ with $n$ marked points, and $b$ boundary components, and let $\mathrm{Mod}(\Sigma)$ be the mapping class group of $\Sigma$. Given a finite-sheeted branched cover $p: \Sigma_g^b \to \Sigma_{g_0,k}^{b_0}$, let $\mathrm{LMod}_p(\Sigma_{g_0,k}^{b_0})$ (resp. $\mathrm{SMod}_p(\Sigma_g^b)$) be the liftable (resp. symmetric) mapping class group associated with $p$, as described in [\textit{D. Margalit} and \textit{R. R. Winarski}, Bull. Lond. Math. Soc. 53, No. 3, 643--659 (2021; Zbl 1470.57045)].\N\NThe concept of liftability of mapping classes was first investigated by \textit{J. S. Birman} and \textit{H. M. Hilden} [Adv. Theory Riemann Surfaces, Proc.1969 Stony Brook Conf., 81--115 (1971; Zbl 0217.48602)] in the context of the hyperelliptic cover $p: \Sigma_g \to \Sigma_{0,2g+2}$. They demonstrated that the entire group $\mathrm{Mod}(\Sigma_{0,2g+2})$ lifts under this cover to the centralizer of the hyperelliptic involution within $\mathrm{Mod}(\Sigma_g)$ and provided a finite presentation for it. More recently, \textit{T. Ghaswala} and \textit{R. R. Winarski} [New York J. Math. 23, 133--164 (2017; Zbl 1402.57003)] examined the general $k$-sheeted balanced superelliptic cover $p:\Sigma_g \to \Sigma_{0,2n+2}$, where $g = n(k-1)$ and $k \geq 2$. They characterized liftability under this cover and derived a finite presentation for $\mathrm{SMod}_p(\Sigma_g)$.\N\NIn this paper, a new presentation for $\mathrm{SMod}_p(\Sigma_g)$ is derived for the balanced superelliptic cover involving a different set of generators than those used by Ghaswala and Winarski. Additionally, a presentation for a related symmetric group within the mapping class group of $\Sigma_g$ relative to a branch point of this cover is obtained. Furthermore, for the analogous $k$-sheeted balanced superelliptic cover $p:\Sigma_g^1 \to \Sigma_{0,2n+1}^1$, a presentation for $\mathrm{SMod}_p(\Sigma_g^1)$ is derived. Using these presentations, the first homology groups of the symmetric mapping class groups and the associated liftable mapping class groups have been computed.

Cites work

Cited in

(1)

Generating the liftable mapping class groups of cyclic covers of spheres

This page was built for publication: Finite presentations for the balanced superelliptic mapping class groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6962521)