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.

Explicit generators of the Steinberg Module of the mapping class group

The action of the Mapping Class Group on the fundamental group of the complement of a finite subset of a Riemann surface of positive genus

On generating mapping class groups by pseudo-Anosov elements

General primitivity in the mapping class group

Arithmetic Representations of Mapping Class Groups

Mapping class group dynamics and the holonomy of branched affine structures

Coarsely bounded generating sets for mapping class group of infinite-type surfaces

Quotients of the mapping class group by power subgroups

Dynamics of subgroups of mapping class groups

Homological representations of low genus mapping class groups

Exotic mapping class group actions on the circle

Stein-fillability and positivity in the mapping class group

Generating mapping class group by two torsion elements

Constraining mapping class group homomorphisms using finite subgroups

Topological normal generation of big mapping class groups

A splitting of the virtual class for genus one stable maps

A congruence subgroup property for symmetric mapping class groups

A Presentation of the Mapping Class Groups

Curves with Prescribed Symmetry and Associated Representations of Mapping Class Groups

On the mapping class group action on the homology of surface covers

Generating the homology of covers of surfaces