We study the large scale geometry of mapping class groups MCG(S), using hyperbolicity properties of curve complexes. We show that any self quasi-isometry of MCG(S) (outside a few sporadic cases) is a bounded distance away from a left-multiplication, and as a consequence obtain quasi-isometric rigidity for MCG(S), namely that groups quasi-isometric to MCG(S) are virtually equal to it. (The latter theorem was proved by Hamenstadt using different methods). As part of our approach we obtain several other structural results: a description of the tree-graded structure on the asymptotic cone of MCG(S); a characterization of the image of the curve-complex projection map from MCG(S) to the product of the curve complexes of essential subsurfaces of S; and a construction of Sigma-hulls in MCG(S), an analogue of convex hulls.
We establish orbit equivalence rigidity for any ergodic, essentially free and measure-preserving action on a standard Borel space with a finite positive measure of the mapping class group for a compact orientable surface with higher complexity. We prove similar rigidity results for a finite direct product of mapping class groups as well.
We show that the mapping class group of a compact orientable surface with higher complexity has the following extreme rigidity in the sense of measure equivalence: if the mapping class group is measure equivalent to a discrete group, then they are commensurable up to finite kernel. Moreover, we describe all lattice embeddings of the mapping class group into a locally compact second countable group. We also obtain similar results for finite direct products of mapping class groups.
In all possible cases, we prove that local embeddings between two curve complexes whose complexities do not increase from domain to codomain are induced by surface homeomorphism. This is our first main result. From this we can deduce our second, a strong local co-Hopfian result for mapping class groups.
Let S be an oriented surface of finite type of genus g with m punctures and where 3g-3+m>1. We show that the mapping class group M(S) of S is quasi-isometrically rigid. We also give a different proof of the following result of Behrstock and Minsky: The homological dimension of the asmyptotic cone of M(S) of S equals 3g-3+m.
In these lecture notes, we combine recent homological methods of Kevin Whyte with older dynamical methods developed by Benson Farb and myself, to obtain a new quasi-isometric rigidity theorem for the mapping class group MCG(S) of a once punctured surface S of genus at least 2: if K is a finitely generated group quasi-isometric to MCG(S) then there is a homomorphism K -> MCG(S) with finite kernel and finite index image. This theorem is joint with Kevin Whyte.
We show that finite index subgroups of the handlebody group are rigid in their ambient mapping class group: any injective map of a finite index subgroup of the genus $g$ handlebody group into the genus $g$ mapping class group is conjugation by a mapping class group element. On the other hand, we construct an injection of the genus $g$ handlebody group into a genus $h>g$ mapping class group which is not conjugate into a handlebody group.
In this paper we study some consequences of the author's classification of graph manifolds by their profinite fundamental groups. In particular we study commensurability, the behaviour of knots, and relation to mapping classes. We prove that the exteriors of graph knots are distinguished among all 3-manifold groups by their profinite fundamental groups. We also prove a strong conjugacy separability result for certain mapping classes of surfaces.
The mapping class group $\mathrm{Mod}_{g, 1}$ of a surface with one marked point can be identified with an index two subgroup of $\mathrm{Aut}(π_1 Σ_g)$. For a surface of genus $g \geq 2$, we show that any action of $\mathrm{Mod}_{g, 1}$ on the circle is either semi-conjugate to its natural action on the Gromov boundary of $π_1 Σ_g$, or factors through a finite cyclic group. For $g \geq 3$, all finite actions are trivial. This answers a question of Farb.
Let ${\mathcal M}_{g,n}$ denote the moduli space of smooth, genus $g\geq 1$ curves with $n\geq 0$ marked points. Let ${\mathcal A}_h$ denote the moduli space of $h$-dimensional, principally polarized abelian varieties. Let $g\geq 3$ and $h\leq g$. If $F:{\mathcal M}_{g,n}\to{\mathcal A}_h$ is a nonconstant holomorphic map then $h=g$ and $F$ is the classical period mapping, assigning to a Riemann surface $X$ its Jacobian.
We study the geometry of warped cones over free, minimal isometric group actions and related constructions of expander graphs. We prove a rigidity theorem for the coarse geometry of such warped cones: Namely, if a group has no abelian factors, then two such warped cones are quasi-isometric if and only if the actions are finite covers of conjugate actions. As a consequence, we produce continuous families of non-quasi-isometric expanders and superexpanders. The proof relies on the use of coarse topology for warped cones, such as a computation of their coarse fundamental groups.
We construct arithmetic Kleinian groups that are profinitely rigid in the absolute sense: each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. The Bianchi group $\mathrm{PSL}(2,\mathbb{Z}[ω])$ with $ω^2+ω+1=0$ is rigid in this sense. Other examples include the non-uniform lattice of minimal co-volume in $\mathrm{PSL}(2,\mathbb{C})$ and the fundamental group of the Weeks manifold (the closed hyperbolic $3$-manifold of minimal volume).
This paper concerns rigidity of the mapping class groups. We show that any homomorphism $ϕ:{\rm Mod}_g\to {\rm Mod}_h$ between mapping class groups of closed orientable surfaces with distinct genera $g>h$ is trivial if $g\geq 3$ and has finite image for all $g\geq 1$. Some implications are drawn for more general homomorphs of these groups.
In this paper we propose two guiding principles that suggest a number of conjectures (some now proved) about various forms of rigidity for moduli spaces arising in algebraic geometry. Such conjectures have group-theoretic, topological and holomorphic aspects, and so they also provide motivation for natural problems in geometric group theory and topology.
Certain topics on polygons are extended from Euclidean to hyperbolic geometry. This first part deals with uniqueness and existence of cocyclic polygons with prescribed sidelengths. The non-Euclidean versions are more difficult due to the existence of three different types of circles in the hyperbolic plane. The second part will be concerned with the problem of maximizing the area of polygons with fixed sidelengths. By the metric character of these problems it is necessary to dispense to a certain extent with classical hyperbolic trigonometry because angles must be replaced by length quantities…
The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic 2-manifolds (resp., 3-manifolds). By work of Reid, this spectrum determines the commensurability class of the 2-manifold (resp., 3-manifold). We establish effective versions of these rigidity results by ensuring that, for two incommensurable arithmetic manifolds of bounded volume, the length sets (resp., the complex length sets) must disagree for a length th…
Let $S$ be a surface of finite type which is not a sphere with at most four punctures, a torus with at most two punctures, or a closed surface of genus two. Let $\mathcal{MF}$ be the space of equivalence classes of measured foliations of compact support on $S$ and let $\mathcal{UMF}$ be the quotient space of $\mathcal{MF}$ obtained by identifying two equivalence classes whenever they can be represented by topologically equivalent foliations, that is, forgetting the transverse measure. The extended mapping class group $Γ^*$ of $S$ acts as by homeomorphisms of $\mathcal{UMF}$. We show that the r…
We show that for a closed $n$-manifold $N$ admitting a quasiregular mapping from the Euclidean $n$-space the following are equivalent: (1) order of growth of $π_1(N)$ is $n$, (2) $N$ is aspherical, and (3) $π_1(N)$ is virtually $\mathbb{Z}^n$ and torsion free.
This paper has three parts. The first part is a general introduction to rigidity and to rigid actions of mapping class group actions on various spaces. In the second part, we describe in detail four rigidity results that concern actions of mapping class groups on spaces of foliations and of laminations, namely, Thurston's sphere of projective foliations equipped with its projective piecewise-linear structure, the space of unmeasured foliations equipped with the quotient topology, the reduced Bers boundary, and the space of geodesic laminations equipped with the Thurston topology. In the third …
In this paper we explore coarse properties of cusp-decomposable manifolds first defined by Nguyên Phan. We describe the large scale geometry of the universal cover of a cusp-decomposable manifold and of quasi-isometries between two such universal covers. This description will provide us the tools to prove quasi-isometric rigidity for fundamental groups of cusp-decomposable manifolds.
We introduce a natural stratification of the space of projective classes of measured laminations on a complete hyperbolic surface of finite area. We prove a rigidity result, namely, the group of self-homeomorphisms of the space of projective measured laminations that preserve such a stratification is in general identified with the extended mapping class group of the corresponding surface. We use this approach to fill a gap in the proof of the rigidity of the action of the extended mapping class group on the unmeasured laminations space.
We define a complete Riemannian manifold X to be large-scale conformally rigid if all groups that are quasi-isometric to some complete Riemannian manifold of bounded geometry conformal to X are quasi-isometric to X. We prove that many 3-manifolds, including Euclidean 3-space, hyperbolic 3-space and the product of the hyperbolic plane with the real line are large-scale conformally rigid. This implies new characterizations of groups that can act properly, cocompactly by isometries on those manifolds.
We give a short and elementary proof of the non-realizability of the mapping class group via homeomorphisms. This was originally established by Markovic, resolving a conjecture of Thurston. With the tools established in this paper, we also obtain some rigidity results for actions of the mapping class group on Euclidean spaces.
We classify all closed, aspherical Riemannian manifolds M whose universal cover has indiscrete isometry group. One sample application is the theorem that any such M with word-hyperbolic fundamental group must be isometric to a negatively curved, locally symmetric manifold. Another application is the classification of all contractible Riemannian manifolds covering both compact and (noncompact, complete) finite volume manifold. There are also applications to the Hopf Conjecture, a new proof of Kazhdan's Conjecture (Frankel's Theorem) in complex geometry, etc. Ideas in the proof come from Lie the…
We prove that a Kleinian surface groups is determined, up to conjugacy in the isometry group of $\mathbb H^3$, by its simple marked length spectrum. As a first application, we show that a discrete faithful representation of the fundamental group of a compact, acylindrical, hyperbolizable 3-manifold $M$ is similarly determined by the translation lengths of images of elements of $π_1(M)$ represented by simple curves on the boundary of $M$. As a second application, we show the group of diffeomorphisms of quasifuchsian space which preserve the renormalized intersection number is generated by the (…
