Abstract:For $g\geq 2$, let $\mathrm{Mod}(S_g)$ be the mapping class group of the closed orientable surface $S_g$ of genus $g$. In this paper, we obtain necessary and sufficient conditions under which a given pseudo-periodic mapping class can be a root of another up to conjugacy. Using this characterization, the canonical decomposition of (non-periodic) mapping classes, and some known algorithms, we give an algorithm for determining the conjugacy classes of roots of arbitrary mapping classes. Furthermore, we derive realizable bounds on the degrees of roots of pseudo-periodic mapping classes in $\mathrm{Mod}(S_g)$, the Torelli group, the level-$m$ subgroup of $\mathrm{Mod}(S_g)$, and the commutator subgroup of $\mathrm{Mod}(S_2)$. In particular, we show that the highest possible (realizable) degree of a root of a pseudo-periodic mapping class $F$ is $3q(F)(g+1)(g+2)$, where $q(F)$ is a unique positive integer associated with the conjugacy class of $F$. Moreover, this bound is realized by a root of a power of a Dehn twist about a separating curve of genus $[g/2]$ in $S_g$, where $g\equiv 0,9 \pmod{12}$. Finally, for $g\geq 3$, we show that any pseudo-periodic mapping class having a nontrivial periodic component that is not the hyperelliptic involution, normally generates $\mathrm{Mod}(S_g)$. Consequently, we establish that $\mathrm{Mod}(S_g)$ is normally generated by a root of bounding pair map or a root of a nontrivial power of a Dehn twist.

Twisted Rokhlin property for mapping class groups

Homeomorphism groups of 2-manifolds with the virtual Rokhlin property

Multitwists in big mapping class groups

Presentations of Mapping Class Groups and an Application to Cluster Algebras from Surfaces

A Presentation of the Mapping Class Groups

Orderability of big mapping class groups

Action of subgroups of the mapping class group on Heisenberg homologies

Braided multitwists

Constraining mapping class group homomorphisms using finite subgroups

Mapping Class Groups of Simply Connected Kähler Manifolds

Simple infinite presentations for the mapping class group of a compact non-orientable surface

Rigidity Results for large displacement quotients of mapping class groups

Torsion Elements in the Mapping Class Group of a Surface

RELATIVE TWISTING IN OUTER SPACE

Mapping class groups for 2-orbifolds

The $R_{\infty}$ property for Houghton's groups

Mapping class group dynamics and the holonomy of branched affine structures

The Mapping Class Group Cannot Be Realized by Homeomorphisms

On the Twisted Group Ring Isomorphism Problem for a class of groups

Finding and Combining Indicable Subgroups of Big Mapping Class Groups

General primitivity in the mapping class group