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.

Generating Extended Mapping Class Groups with Two Periodic Elements

On generating mapping class groups by pseudo-Anosov elements

Generating mapping class group by two torsion elements

Extending Periodic Maps on Surfaces over the 4-Sphere

Periodicity of the pure mapping class group of non-orientable surfaces

On the Torsion Generators of the Mapping Class Groups

Embedding Periodic Maps on Surfaces into Those on S 3

Extending Periodic Automorphisms of Surfaces to 3-Manifolds

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

Big mapping class groups are not extremely amenable

The balanced superelliptic mapping class groups are generated by three elements

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

General primitivity in the mapping class group

Topological normal generation of big mapping class groups

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 the mapping class group action on the homology of surface covers

Geometric normal subgroups in mapping class groups of punctured surfaces

Generating the liftable mapping class groups of regular cyclic covers

Exotic mapping class group actions on the circle

Torsion Elements in the Mapping Class Group of a Surface

A Presentation of the Mapping Class Groups