Undistorted purely pseudo-Anosov groups
In this paper we prove that groups as in the title are convex cocompact in the mapping class group.
arXiv subjects
Publications and source records attributed to Richard P. Kent IV.
In this paper we prove that groups as in the title are convex cocompact in the mapping class group.
We show that if the totally geodesic boundary of a compact hyperbolic 3-manifold M has a large collar of depth d, then the diameter of the skinning map of M is no more than A exp(-d) for some A depending only on the genus and injectivity radius of the boundary of M.
We establish a criterion for certain mapping classes of a surface homeomorphisms to be pseudo-Anosov in terms of the geometry of hyperbolic 3-manifolds and Gromov-hyperbolic surface group extensions. Specifically, any element of the fundamental group of a surface S gives rise to a mapping class on the punctured surface, and we show that such a class is pseudo-Anosov if its geodesic representative is "wide" in some hyperbolic 3-manifold homeomorphic to the trivial interval bundle over S.
Let X be a hyperbolic surface and H the fundamental group of a hyperbolic 3-manifold that fibers over the circle with fiber X. Using the Birman exact sequence, H embeds in the mapping class group Mod(Y) of the surface Y obtained by removing a point from X. We prove that a subgroup G in H is convex cocompact in Mod(Y) if and only if G is finitely generated and purely pseudo-Anosov. We also prove a generalization of this theorem with H replaced by an arbitrary Gromov hyperbolic extension of the fundamental group of X, and an additional hypothesis of quasi-convexity of G in H. Along the way, we obtain a generalization of a theorem of Scott and Swarup on the geometric finiteness of subgroups of fibered 3-manifold groups.
We determine the asymptotic behavior of the optimal Lipschitz constant for the systole map from Teichmuller space to the curve complex.
Let M be a hyperbolic 3-manifold with nonempty totally geodesic boundary. We prove that there are upper and lower bounds on the diameter of the skinning map of M that depend only on the volume of the hyperbolic structure with totally geodesic boundary, answering a question of Y. Minsky. This is proven via a filling theorem, which states that as one performs higher and higher Dehn fillings, the skinning maps converge uniformly on all of Teichmuller space. We also exhibit manifolds with totally geodesic boundaries whose skinning maps have diameter tending to infinity, as well as manifolds whose skinning maps have diameter tending to zero (the latter are due to K. Bromberg and the author). In the final section, we give a proof of Thurston's Bounded Image Theorem.
We use the classical construction of Schottky groups in hyperbolic geometry to produce non-Schottky subgroups of the mapping class group.
We prove that every Bers slice of quasi-Fuchsian space is Zariski dense in the character variety.
We prove that there are compact submanifolds of the 3-sphere whose interiors are not homeomorphic to any geometric limit of hyperbolic knot complements.
Let H and K be subgroups of a free group of ranks h and k \geq h. We prove the following strong form of Burns' inequality: rank(H \cap K) - 1 \leq 2(h-1)(k-1) - (h-1)(rank(H \vee K) -1). A corollary of this, also obtained by L. Louder and D. B. McReynolds, has been used by M. Culler and P. Shalen to obtain information regarding the volumes of hyperbolic 3-manifolds. We also prove the following particular case of the Hanna Neumann Conjecture, which has also been obtained by Louder. If the join of H and K has rank at least (h + k + 1)/2, then the intersection of H and K has rank no more than (h-1)(k-1) + 1.
We prove that a Bers slice is never algebraic, meaning that its Zariski closure in the character variety has strictly larger dimension. A corollary is that skinning maps are never constant. The proof uses grafting and the theory of complex projective structures.
There is a forgetful map from the mapping class group of a punctured surface to that of the surface with one fewer puncture. We prove that finitely generated purely pseudo-Anosov subgroups of the kernel of this map are convex cocompact in the sense of B. Farb and L. Mosher. In particular, we obtain an affirmative answer to their question of local convex cocompactness of K. Whittlesey's group. In the course of the proof, we obtain a new proof of a theorem of I. Kra. We also relate the action of this kernel on the curve complex to a family of actions on trees. This quickly yields a new proof of a theorem of J. Harer.
We characterize convex cocompact subgroups of the mapping class group of a surface in terms of uniform convergence actions on the zero locus of the limit set. We also construct subgroups that act as uniform convergence groups on their limit sets, but are not convex cocompact.
We strengthen the analogy between convex co-compact Kleinian groups and convex co-compact subgroups of the mapping class group of a surface (in the sense of B. Farb and L. Mosher).
We survey the analogy between Kleinian groups and subgroups of the mapping class group of a surface.
We show the set of faithful representations of a closed orientable hyperbolic surface group is dense in both irreducible components of the PSL(2,K) representation variety, where K is the field of real or complex numbers, answering a question of W. Goldman. We also prove the existence of faithful representations into PU(2,1) with certain nonintegral Toledo invariants.
Given a compact orientable 3-manifold M whose boundary is a hyperbolic surface and a simple closed curve C in its boundary, every knot in M is homotopic to one whose complement admits a complete hyperbolic structure with totally geodesic boundary in which the geodesic representative of C is as small as you like.
We answer a question due to A. Myasnikov by proving that all expected ranks occur as the ranks of intersections of finitely generated subgroups of free groups.