Mapping classes are almost determined by their finite quotient actions

DOI10.1215/00127094-2022-0047MaRDI QIDQ6046449zbMATH OpenOpenAlexFDO

Publication date 11 May 2023

Published in Duke Mathematical Journal (Search for Journal in Brave)

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

3-manifold groups fixed point theory mapping class group procongruent conjugacy profinite completion

Kleinian groups (aspects of compact Riemann surfaces and uniformization) (30F40) 2-dimensional topology (including mapping class groups of surfaces, Teichmüller theory, curve complexes, etc.) (57K20) Covering spaces and low-dimensional topology (57M10) General geometric structures on low-dimensional manifolds (57M50)

Abstract: Given any connected compact orientable surface, a pair of mapping classes are said to be procongruently conjugate if they induce a conjugate pair of outer automophisms on the profinite completion of the fundamental group of the surface. For example, this occurs if they induce conjugate outer automorphisms on every characteristic finite quotient of the fundamental group. In this paper, it is shown that every procongruent conjugacy class of mapping classes, as a subset of the surface mapping class group, is the disjoint union of at most finitely many conjugacy classes of mapping classes. For any pseudo-Anosov mapping class of a connected closed orientable surface, several topological features are confirmed to depend only on the procongurent conjugacy class of the mapping class, including: the stretching factor, the topological type of the prong singularities, the transverse orientability of the invariant foliations, and the isomorphism type of the symplectic Floer homology.

Review text

The author introduces the relation of procongruent conjugacy between elements of the mapping class group \(\mathrm{Mod}(S)\) of an orientable connected compact surface \(S\). As explained in the introduction, this relation is an analogue of profinite isomorphism between 3-manifold groups. Every mapping class of \(S\) naturally induces an outer automorphism of the profinite completion of the fundamental group \(\widehat{\pi_1(S)}\). A pair of mapping classes \([f_A]\) and \([f_B]\) is said to be procongruently conjugate it they induce a conjugate pair in \(\mathrm{Out}(\widehat{\pi_1(S)})\). For example, it is shown that \([f_A]\) and \([f_B]\) are procongruently conjugate if they induce a conjugate pair of outer automorphisms for every characteristic finite quotient \(\pi_1(S)/K\). The main result of the paper says that every mapping class is procongruently almost rigid in the following sense. For any mapping class \([f]\) there exist finitely many mapping classes \([f_1],\dots,[f_r]\) with the following property: for any mapping class \([f']\) which is procongruently conjugate to \([f]\), there exists some \(s\in\{1,\dots,r\}\) such that \([f']\) is conjugate to \([f_s]\) in \(\mathrm{Mod}(S)\). As an application, it is shown that a number of dynamical features of a pseudo-Anosov mapping class of a closed orientable surface are invariant under procongruent conjugacy, including the stretching factor, the number of fixed points of each index, the topological type of singularities of the invariant foliations and the transverse orientability of the invariant foliations.

Recommendations

Cites work

Cited in

(1)

Distinctness of two pseudo-Anosov maps

This page was built for publication: Mapping classes are almost determined by their finite quotient actions

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