Mapping class groups of manifolds with boundary are of finite type

Alexander Kupers

2024-04-03

Abstract:In this note we prove that the mapping class group of a compact topological manifold $M$ with boundary is of finite type, under assumptions on its dimension and connectivity.

Geometric Topology,Algebraic Topology

What problem does this paper attempt to address?

Mapping class groups of simply connected 4-manifolds with boundary

Patrick Orson,Mark Powell

2024-08-15

Abstract:We compute the topological mapping class group of every compact, simply connected, topological 4-manifold. This was previously only known in the closed case. If the 4-manifold is smooth, we deduce an analogous description of the stable smooth mapping class group, extending work of Saeki.

Geometric Topology
Moduli spaces of 3-manifolds with boundary are finite

Rachael Boyd,Corey Bregman,Jan Steinebrunner

2024-04-19

Abstract:We study the classifying space B Diff(M) of the diffeomorphism group of a connected, compact, orientable 3-manifold M. In the case that M is reducible we build a contractible space parametrising the systems of reducing spheres. We use this to prove that if M has non-empty boundary, then B Diff(M rel boundary) has the homotopy type of a finite CW complex. This was conjectured by Kontsevich and appears on the Kirby problem list as Problem 3.48. As a consequence, we are able to show that for every compact, orientable 3-manifold M, B Diff(M) has finite type.

Geometric Topology,Algebraic Topology
Residual finiteness of some automorphism groups of high dimensional manifolds

Fadi Mezher

2024-10-11

Abstract:We show that for a smooth, closed 2-connected manifold $M$ of dimension $d \geq 6$, the topological mapping class group $\pi_0 \mathrm{Homeo}(M)$ is residually finite, in contrast to the situation for the smooth mapping class group $\pi_0 \mathrm{Diff}(M)$. Combined with a result of Sullivan, this implies that $\pi_0 \mathrm{Homeo}(M)$ is an arithmetic group. The proof uses embedding calculus, and is of independent interest: we show that the $T_k$-mapping class group, $\pi_0 T_k \mathrm{Diff}(M)$, is residually finite, for all $k \in \mathbb{N}$. The statement on the topological mapping class group is then deduced from the Weiss fibre sequence, convergence of the embedding calculus tower and smoothing theory.

Geometric Topology,Algebraic Topology
Controllability and diffeomorphism groups on manifolds with boundary

Erlend Grong,Alexander Schmeding

2024-09-03

Abstract:In this article we consider diffeomorphism groups of manifolds with smooth boundary. We show that the diffeomorphism groups of the manifold and its boundary fit into a short exact sequence which admits local sections. In other words, they form an infinite-dimensional fibre bundle. Manifolds with boundary are of interest in numerical analysis and with a view towards applications in machine learning we establish controllability results for families of vector fields. This generalises older results due to Agrachev and Caponigro in the boundary-less case. Our results show in particular that the diffeomorphism group of a manifold with smooth boundary is generated by the image of the exponential map.

Differential Geometry,Group Theory
Automatic continuity of pure mapping class groups

Ryan Dickmann

2024-06-14

Abstract:We completely classify the orientable infinite-type surfaces $S$ such that $\operatorname{PMap}(S)$, the pure mapping class group, has automatic continuity. This classification includes surfaces with noncompact boundary. In the case of surfaces with finitely many ends and no noncompact boundary components, we prove the mapping class group $\operatorname{Map}(S)$ does not have automatic continuity. We also completely classify the surfaces such that $\overline{\operatorname{PMap}_c(S)}$, the subgroup of the pure mapping class group composed of elements with representatives that can be approximated by compactly supported homeomorphisms, has automatic continuity. In some cases when $\overline{\operatorname{PMap}_c(S)}$ has automatic continuity, we show any homomorphism from $\overline{\operatorname{PMap}_c(S)}$ to a countable group is trivial.

Geometric Topology,Group Theory
Mapping class groups of $h$-cobordant manifolds

Samuel Muñoz-Echániz

2024-05-18

Abstract:We prove that the mapping class group is not an $h$-cobordism invariant of high-dimensional manifolds by exhibiting $h$-cobordant manifolds whose mapping class groups have different cardinalities. In order to do so, we introduce a moduli space of "$h$-block" bundles and understand its difference with the moduli space of ordinary block bundles.

Algebraic Topology,Geometric Topology
$4$-manifolds with boundary and fundamental group $\mathbb{Z}$

Anthony Conway,Lisa Piccirillo,Mark Powell

2024-08-20

Abstract:We classify topological $4$-manifolds with boundary and fundamental group $\mathbb{Z}$, under some assumptions on the boundary. We apply this to classify surfaces in simply-connected $4$-manifolds with $S^3$ boundary, where the fundamental group of the surface complement is $\mathbb{Z}$. We then compare these homeomorphism classifications with the smooth setting. For manifolds, we show that every Hermitian form over $\mathbb{Z}[t^{\pm 1}]$ arises as the equivariant intersection form of a pair of exotic smooth 4-manifolds with boundary and fundamental group $\mathbb{Z}$. For surfaces we have a similar result, and in particular we show that every $2$-handlebody with $S^3$ boundary contains a pair of exotic discs.

Geometric Topology
Mapping class group of manifolds which look like $3$-dimensional complete intersections

Matthias Kreck,Yang Su

2024-06-11

Abstract:In this paper we compute the mapping class group of closed simply-connected 6-manifolds $M$ which look like complete intersections, i.~e.~ $H_2(M;\mathbb Z) \cong \mathbb Z $ and $x^3 \ne 0$ where $x \in H^2(M; \mathbb Z)$ is a generator. We determine some algebraic properties of the mapping class group; for example we compute its abelianization and its center. We show that modulo the center the mapping class group is residually finite and virtually torsion-free. We also study low dimensional homology groups. The results are very similar to the computation of the mapping class group of Riemann surfaces. We give generators of the mapping class group, and generators and relations for the subgroup acting trivially on $\pi_{3}(M)$.

Geometric Topology,Algebraic Topology,Differential Geometry
Asymptotic mapping class groups of Cantor manifolds and their finiteness properties

Javier Aramayona,Kai-Uwe Bux,Jonas Flechsig,Nansen Petrosyan,Xiaolei Wu

2024-07-09

Abstract:We prove that the infinite family of asymptotic mapping class groups of surfaces of defined by Funar--Kapoudjian and Aramayona--Funar are of type $F_\infty$, thus answering questions of Funar-Kapoudjian-Sergiescu and Aramayona-Vlamis. As it turns out, this result is a specific instance of a much more general theorem which allows to deduce that asymptotic mapping class groups of Cantor manifolds, also introduced in this paper, are of type $F_\infty$, provide the underlying manifolds satisfy some general hypotheses. As important examples, we will obtain $F_\infty$ asymptotical mapping class groups that contain, respectively, the mapping class group of every compact surface with non-empty boundary, the automorphism group of every free group of finite rank, or infinite families of arithmetic groups. In addition, for certain types of manifolds, the homology of our asymptotic mapping class groups coincides with the stable homology of the relevant mapping class groups, as studied by Harer and Hatcher--Wahl.

Geometric Topology,Group Theory
Mapping Classes Are Almost Determined by Their Finite Quotient Actions

Yi Liu

DOI: https://doi.org/10.1215/00127094-2022-0047

2023-01-01

Duke Mathematical Journal

Abstract:Given any connected compact orientable surface, a pair of mapping classes is said to be procongruently conjugate if it induces 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.
Compact and finite-type support in the homology of big mapping class groups

Martin Palmer,Xiaolei Wu

2024-08-02

Abstract:For any infinite-type surface $S$, a natural question is whether the homology of its mapping class group contains any non-trivial classes that are supported on (i) a compact subsurface or (ii) a finite-type subsurface. Our purpose here is to study this question, in particular giving an almost-complete answer when the genus of $S$ is positive (including infinite) and a partial answer when the genus of $S$ is zero. Our methods involve the notion of shiftable subsurfaces as well as homological stability for mapping class groups of finite-type surfaces.

Geometric Topology,Algebraic Topology,Group Theory
Constraining mapping class group homomorphisms using finite subgroups

Chen, Lei

DOI: https://doi.org/10.1007/s10711-024-00918-y

2024-09-22

Geometriae Dedicata

Abstract:We classify homomorphisms from mapping class groups by using arguments involving finite subgroups. First, we give a new proof of a result of Aramayona–Souto that all homomorphisms between certain mapping class groups of closed surfaces are trivial. Second, we show that only finitely many mapping class groups of closed surfaces have nontrivial homomorphisms to for any n , where is the n -sphere. We also effectivize this result for small values of n ; for instance, we prove that every homomorphism from to or is trivial if , extending a result of Franks–Handel.

mathematics
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

Luca Da Col

2024-10-07

Abstract:Let $T_{g,n}$ be a compact orientable topological surface of genus $g$ with $n$ marked points and let $M(g,n)$ denote its mapping class group. We study the action on the fundamental group of the surface induced by the self-homeomorphisms of the mapping class group by describing completely the case of positive genus. In order to do so, we use a presentation for the mapping class group with generators the Humphries generators and compute their images as elements of the outer automorphism group of the fundamental group, since the action is defined only up to conjugation.

Algebraic Topology,Geometric Topology
A Bers type classification of big mapping classes

Ara Basmajian,Yassin Chandran

2024-10-08

Abstract:For an infinite type surface $\Sigma$, we consider the space of (marked) convex hyperbolic structures on $\Sigma$, denoted $H(\Sigma)$, with the Fenchel-Nielsen topology. The (big) mapping class group acts faithfully on this space allowing us to investigate a number of mapping class group invariant subspaces of $H(\Sigma)$ which arise from various geometric properties (e.g. geodesic or metric completeness, ergodicity of the geodesic flow, lower systole bound, discrete length spectrum) of the hyperbolic structure. In particular, we show that the space of geodesically complete convex hyperbolic structures in $H(\Sigma)$ is locally path connected, connected and decomposes naturally into Teichmüller subspaces. The big mapping class group of $\Sigma$ acts faithfully on this space allowing us to classify mapping classes into three types ({\it always quasiconformal, sometimes quasiconformal, and never quasiconformal}) in terms of their dynamics on the Teichmüller subspaces. Moreover, each type contains infinitely many mapping classes, and the type is relative to the underlying subspace of $H(\Sigma)$ that is being considered. As an application of our work, we show that if the mapping class group of a general topological surface $\Sigma$ is algebraically isomorphic to the modular group of a Riemann surface $X$, then $\Sigma$ is of finite topological type and $X$ is homeomorphic to it. Moreover, a big mapping class group can not act on any Teichmüller space with orbits equivalent to modular group orbits.

Geometric Topology,Complex Variables
The compact-open topology on the diffeomorphism or homeomorphism group of a smooth manifold without boundary is minimal in almost all dimensions

J. de la Nuez González

2024-04-02

Abstract:We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group topology. This implies the minimality of the compact-open topology on the homeomorphism group of $M$ in all dimensions different from $3$ and $4$. In those cases for which in addition to all of this automatic continuity is known to hold, such as when $M$ is closed, one can conclude that the compact-open topology is the unique separable Hausdorff group topology on the homeomorphism group.

Mathematics
Orderability of big mapping class groups

Pravin Kumar,Apeksha Sanghi,Mahender Singh

2024-08-10

Abstract:We give an alternate proof of the left-orderability of the mapping class group of a connected oriented infinite-type surface with a non-empty boundary. Our main strategy involves the inductive construction of a countable stable Alexander system for the surface using a carefully chosen exhaustion by finite-type subsurfaces. In fact, we prove that a generalised ideal arc system for the surface also induces a left-ordering on the big mapping class group. We then prove that two generalised ideal arc systems determine the same left-ordering if and only if they are loosely isotopic. Finally, we prove that the topology on the big mapping class group is the same as the order topology induced by a left-ordering corresponding to an inductively constructed ideal arc system.

Geometric Topology,Group Theory
The sphere complex of a locally finite graph

Brian Udall

2024-10-02

Abstract:For a locally finite graph $\Gamma$, we consider its mapping class group $\text{Map}(\Gamma)$ as defined by Algom-Kfir-Bestvina. For these groups, we prove a generalization of the results of Laudenbach and Brendle-Broaddus-Putman, producing a $3$-manifold $M_{\Gamma}$ whose mapping class group surjects onto $\text{Map}(\Gamma)$ with kernel a compact abelian group of sphere twists so that the corresponding short exact sequence splits. Along the way we obtain an induced faithful action of $\text{Map}(\Gamma)$ on the sphere complex $\mathcal{S}(M_{\Gamma})$ of $M_{\Gamma}$, which is the simplicial complex whose simplices are isotopy classes of finite collections of spheres in $M_{\Gamma}$ which are pairwise disjoint. When $\Gamma$ has finite rank, we further show that the action of $\text{Map}(\Gamma)$ on a certain natural subcomplex has elements with positive translation length, and also consider a candidate for an Outer space of such a graph. As another application, we prove that for many $\Gamma$, $\text{Map}(\Gamma)$ is quasi-isometric to a particular subgraph of $\mathcal{S}(M_{\Gamma})$, following Schaffer-Cohen. We also deduce analogs of the results of Domat-Hoganson-Kwak.

Geometric Topology,Group Theory
The Mapping Class Group Cannot Be Realized by Homeomorphisms

Vladimir Markovic,Dragomir Saric

DOI: https://doi.org/10.48550/arxiv.0807.0182

2008-01-01

Abstract:Let M be a closed surface. By (M) we denote the group of orientation preserving homeomorphisms of M and let (M) denote the Mapping class group. In this paper we complete the proof of the conjecture of Thurston that says that for any closed surface M of genus ≥ 2, there is no homomorphic section :(M) →(M) of the standard projection map :(M) →(M).
The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups

Henry Wilton,Alessandro Sisto

2024-10-01

Abstract:Assuming that every hyperbolic group is residually finite, we prove the congruence subgroup property for mapping class groups of hyperbolic surfaces of finite type. Under the same assumption, it follows that profinitely equivalent hyperbolic 3-manifolds are commensurable.

Group Theory,Geometric Topology
Mapping class groups are quasicubical

Harry Petyt

2024-07-01

Abstract:It is proved that the mapping class group of any closed surface with finitely many marked points is quasiisometric to a CAT(0) cube complex. We provide two distinct proofs, one tailored to mapping class groups, and one applying to a larger class of groups.

Metric Geometry,Group Theory

Mapping class groups of manifolds with boundary are of finite type

Mapping class groups of simply connected 4-manifolds with boundary

Moduli spaces of 3-manifolds with boundary are finite

Residual finiteness of some automorphism groups of high dimensional manifolds

Controllability and diffeomorphism groups on manifolds with boundary

Automatic continuity of pure mapping class groups

Mapping class groups of $h$-cobordant manifolds

$4$-manifolds with boundary and fundamental group $\mathbb{Z}$

Mapping class group of manifolds which look like $3$-dimensional complete intersections

Asymptotic mapping class groups of Cantor manifolds and their finiteness properties

Mapping Classes Are Almost Determined by Their Finite Quotient Actions

Compact and finite-type support in the homology of big mapping class groups

Constraining mapping class group homomorphisms using finite subgroups

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

A Bers type classification of big mapping classes

The compact-open topology on the diffeomorphism or homeomorphism group of a smooth manifold without boundary is minimal in almost all dimensions

Orderability of big mapping class groups

The sphere complex of a locally finite graph

The Mapping Class Group Cannot Be Realized by Homeomorphisms

The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups

Mapping class groups are quasicubical