We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.GT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Geometric Topology

Title: General primitivity in the mapping class group

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 efficient algorithm for computing roots of arbitrary mapping classes up to conjugacy. 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 the roots of the powers of Dehn twist about a separating curve of genus $[g/2]$ in $S_g$. 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 there exist roots of bounding pair maps and powers of Dehn twists that normally generate $\mathrm{Mod}(S_g)$.
Subjects: Geometric Topology (math.GT)
MSC classes: Primary 57K20, Secondary 57M60
Cite as: arXiv:2109.07937 [math.GT]
  (or arXiv:2109.07937v2 [math.GT] for this version)

Submission history

From: Kashyap Rajeevsarathy [view email]
[v1] Thu, 16 Sep 2021 12:43:44 GMT (47kb,D)
[v2] Thu, 30 Sep 2021 10:26:11 GMT (91kb,D)

Link back to: arXiv, form interface, contact.