Linearly bounded conjugator property for mapping class groups

DOI10.1007/S00039-012-0206-3MaRDI QIDQ352117zbMATH OpenOpenAlexFDO

Authors Jing Tao

Publication date 4 July 2013

Published in Geometric and Functional Analysis. GAFA (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1106.2341

zbMATH Keywords

conjugacy problemcurve complexmapping class group

Mathematics Subject Classification ID

General low-dimensional topology (57M99)

Abstract: Given two conjugate mapping classes f and g, we produce a conjugating element w such that |w| < K(|f|+|g|), where |.| denotes the word metric with respect to a fixed generating set, and K is a constant depending only on the generating set. As a consequence, the conjugacy problem for mapping class groups is exponentially bounded.

Review text

Let \(\mathcal{MCG}(\mathcal{S})\) be the mapping class group of an oriented surface \(\mathcal{S}\) of finite type. In this paper, it is shown that there is an exponential-time algorithm to solve the conjugacy problem for \(\mathcal{MCG}(\mathcal{S})\). This result is obtained by establishing the linearly bounded conjugator (L.B.C.) property for \(\mathcal{MCG}(\mathcal{S})\): (Theorem B) There exists a constant \(K\) depending only on a finite generating set \(\Lambda\) for \(\mathcal{MCG}(\mathcal{S})\), such that if \(f,g \in \mathcal{MCG}(\mathcal{S})\) are conjugate, then there is an element \(\omega \in \mathcal{MCG}(\mathcal{S})\) such that \(\omega f \omega^{-1} =g\) and \(|\omega| \leq K (|f|+|g|)\), where \(|\cdot|\) is the word metric by \(\Lambda\). By the classification of elements of \(\mathcal{MCG}(\mathcal{S})\), the proof of Theorem B is broken into three cases, pseudo-Anosov, reducible, and finite order. The case of the pseudo-Anosov elements was settled by \textit{H. A. Masur} and \textit{Y. N. Minsky} [Geom. Funct. Anal. 10, No. 4, 902--974 (2000; Zbl 0972.32011)], using the machinery of hierarchies. In this paper, new tools for the study of finite order mapping classes relying on the machinery of hierarchies are developed, and Theorem B is shown in the case of reducible or finite order.

Recommendations

• Order automatic mapping class groups
• scientific article; zbMATH DE number 4011434
• Zero entropy subgroups of mapping class groups
• Pseudo-Anosov stretch factors and homology of mapping tori
• scientific article; zbMATH DE number 475334
• A recipe for short-word pseudo-Anosovs
• HOMOMORPHISMS FROM MAPPING CLASS GROUPS
• Problems, questions and conjectures about mapping class groups
• Injective homomorphisms of mapping class groups of non-orientable surfaces
• \(z\)-classes in the mapping class group

Cites work

• A presentation for the mapping class group of a closed orientable surface
• A primer on mapping class groups
• Coarse and synthetic Weil-Petersson geometry: Quasi-flats, geodesics and relative hyperbolicity
• Covers and the curve complex
• Geometry and rigidity of mapping class groups.
• Geometry of pseudocharacters.
• Geometry of the complex of curves. I: Hyperbolicity
• Geometry of the complex of curves. II: Hierarchical structure
• scientific article; zbMATH DE number 4132432 (Why is no real title available?)
• scientific article; zbMATH DE number 5124673 (Why is no real title available?)
• scientific article; zbMATH DE number 4011434 (Why is no real title available?)
• scientific article; zbMATH DE number 4031953 (Why is no real title available?)
• scientific article; zbMATH DE number 53661 (Why is no real title available?)
• scientific article; zbMATH DE number 3630641 (Why is no real title available?)
• scientific article; zbMATH DE number 1303896 (Why is no real title available?)
• scientific article; zbMATH DE number 1385418 (Why is no real title available?)
• scientific article; zbMATH DE number 3212726 (Why is no real title available?)
• Intersection numbers and the hyperbolicity of the curve complex
• Mapping class groups are automatic
• On the algorithmic insolvability of the word problem in group theory
• On the classification of homeomorphisms of 2-manifolds and the classification of 3-manifolds
• On the geometry and dynamics of diffeomorphisms of surfaces
• On the Residual Finiteness of Certain Mapping Class Groups
• The classification of Kleinian surface groups. I: Models and bounds
• The Nielsen realization problem
• The word problem
• Train-tracks for surface homeomorphisms

Cited in

(21)

• Centralizers of finite subgroups of the mapping class group.
• Algorithmic aspects of branched coverings. III/V: Erasing maps, orbispaces, and the Birman exact sequence
• Garside theory and subsurfaces: some examples in braid groups
• Centralizers in mapping class groups and decidability of Thurston equivalence
• Elliptic actions on Teichmüller space
• Fast Nielsen-Thurston classification of braids.
• Conjugacy length in group extensions
• The augmented marking complex of a surface
• Geometry of the conjugacy problem in lamplighter groups
• An arc graph distance formula for the flip graph
• Local geometry of the 𝑘-curve graph
• scientific article; zbMATH DE number 4011434 (Why is no real title available?)
• An effective algebraic detection of the Nielsen-Thurston classification of mapping classes
• Constructive geometrization of Thurston maps and decidability of Thurston equivalence
• Conjugator lengths in hierarchically hyperbolic groups
• Conjugator length in Thompson's groups
• Stable cubulations, bicombings, and barycenters
• Coarse injectivity, hierarchical hyperbolicity and semihyperbolicity
• Hyperbolic Actions and 2nd Bounded Cohomology of Subgroups of 𝖮𝗎𝗍(𝖥_{𝗇})
• Critically fixed Thurston maps: classification, recognition, and twisting
• Divergence, thick groups, and short conjugators

This page was built for publication: Linearly bounded conjugator property for mapping class groups

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