Generating the liftable mapping class groups of regular cyclic covers

From MaRDI portal





``In this article we show that \({L}\mathrm{Mod}_{p_k}(S_g)\}_{k\geq 2}\) forms an infinite family of self normalizing subgroups in \(\mathrm{Mod}(S_g)\), which are also maximal when \(k\) is prime. Furthermore we derive explicit finite generating sets for \(L\mathrm{Mod}_{p_k} (S_g)\) for \(g\geq3\) and \( k \geq 2\), and \(L\mathrm{Mod}_{p_2} (S_2)\). For \(g \geq 2\), as an application of our main result, we also derive a generating set for \(L\mathrm{Mod}_{p_k} (S_g) \cap C_{\mathrm{Mod}(S_g)}(\iota)\), where \(C_{\mathrm{Mod}(S_g)}(\iota)\) is the centraliser of the hyperelliptic involution \(\iota\in \mathrm{Mod}(S_g)\). Let \(\mathcal L\) be the infinite ladder surface, and let \(q_g:\mathcal L \mapsto S_g\) be the standard infinite-sheeted cover induced by \(\langle h^{g-1}\rangle\) where \(h\) is the standard handle shift on \(\mathcal L\). As a final application we derive a finite generating set for \(L\mathrm{Mod}_{q_g} (S_g)\) for \(g \geq 3\). \N\NThe article is organized as follows: The Introduction of the problem and main results are stated in the first section. The algebraic significance of \(L\mathrm{Mod}_{p_k} (S_g)\) in \(\mathrm{Mod}(S_g)\) with theorems, maximality of \(L\mathrm{Mod}_{p_k} (S_g)\) and the self normalising property of \(L\mathrm{Mod}_{p_k} (S_g)\) is shown in Section Two. In Section Three the generations of \(\Psi(\mathrm{Mod}_{p_k} (S_g.e_1))\), the kernel of this \(\Psi\), \(L\mathrm{Mod}_{p_k} (S_g)\) and \(S\mathrm{Mod}_{p_k} (S_{g_k})\) are obtained. The examination of the liftable mapping classes of the regular infinite-sheeted cyclic cover is done in Section Four. Then in Section Five the authors generate \(L\mathrm{Mod}_{p_2} (S_2)\).











This page was built for publication: Generating the liftable mapping class groups of regular cyclic covers

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