Arxiv:2009.11521V2 [Math.GT] 4 Mar 2021

PROPAGATING QUASICONVEXITY FROM FIBERS MAHAN MJ AND PRANAB SARDAR π Abstract. Let 1 → K −→ G −→ Q be an exact sequence of hyperbolic −1 groups. Let Q1 < Q be a quasiconvex subgroup and let G1 = π (Q1). Under relatively mild conditions (e.g. if K is a closed surface group or a free group and Q is convex cocompact), we show that infinite index quasiconvex subgroups of G1 are quasiconvex in G. Related results are proven for metric bundles, developable complexes of groups and graphs of groups. 1. Introduction The aim of this paper is to provide evidence in favor of the following Scholium. Scholium 1.1. For an exact sequence π 1 → K −→ G −→ Q → 1 of hyperbolic groups, and more generally for hyperbolic metric bundles, quasiconvexity in fibers propagates to quasiconvexity in subbundles. There are two specific examples in which the exact sequence in Scholium 1.1 has been studied: (1) When K = π1(Σ) is the fundamental group of a closed surface of genus g > 1, and Q < MCG(Σ). Here, the exact sequence comes from the Birman exact sequence π 1 → π1(Σ) −→ MCG(Σ.∗) −→ MCG(Σ) → 1, where MCG(Σ.∗) denotes the mapping class group of Σ equipped with a marked point ∗. (2) When K = Fn is the free group on n generators (n> 2), and Q < Out(Fn). Here, the exact sequence comes from the Birman exact sequence for free arXiv:2009.11521v2 [math.GT] 4 Mar 2021 groups π 1 → Fn −→ Aut(Fn) −→ Out(Fn) → 1. Date: March 5, 2021. 2010 Mathematics Subject Classification. 20F65, 20F67 (Primary), 30F60(Secondary) . Key words and phrases. quasiconvex subgroup, Cannon-Thurston map, lamination, convex cocompact subgroup, metric bundle, mapping class group, Out(Fn). MM is supported by the Department of Atomic Energy, Government of India, under project no.12-R&D-TFR-14001. MM is also supported in part by a Department of Science and Technology JC Bose Fellowship, CEFIPRA project No. 5801-1, a SERB grant MTR/2017/000513, and an endowment of the Infosys Foundation via the Chandrasekharan-Infosys Virtual Centre for Random Geometry. This material is based upon work supported by the National Science Foundation under Grant No. DMS-1928930 while MM participated in a program hosted by the Mathematical Sciences Research Institute in Berkeley, California, during the Fall 2020 semester. PS was partially supported by DST INSPIRE grant DST/INSPIRE/04/2014/002236 and DST MATRICS grant MTR/2017/000485 of the Govt of India. 1 2 MAHANMJANDPRANABSARDAR The results in this paper are in the same vein as a series of theorems starting with work of Scott-Swarup [SS90], followed by several authors [Mit99, DKL14, KL15, DKT16, DT17, MR18, Gho20]. In all these papers, the setup was as follows: Consider an exact sequence of hyperbolic groups as in Scholium 1.1. Then, under relatively mild conditions, it was shown that an infinite index quasiconvex subgroup of K is quasiconvex in the bigger group G. The purpose of this paper is to extend these results in a different direction. Let Q1 < Q be a quasiconvex subgroup and −1 let G1 = π (Q1). The main results of this paper show similarly that, under some conditions, infinite index quasiconvex subgroups of G1 are quasiconvex in G. In other words the distortion [Gro93, Chapter 4] (see Definition 2.2 below) is entirely captured by the fiber group. The earlier papers cited above all treat the case with Q1 = {1}. The simplest example that illustrates this is the following. Let M1,M2 be two closed hyperbolic 3-manifolds fibering over the circle with the same topological fiber F . Suppose further that the 3-complex M1 ∪F M2 = M obtained by gluing M1,M2 along the fiber F has a hyperbolic fundamental group given by G = π1(M1) ∗π1(F ) π1(M2). Then a prototypical theorem of this paper shows that an infinite index quasiconvex subgroup of π1(M1) is quasiconvex in G. Analogous results are also shown for K a free group. Note that, using work of [FM02, KL08, Ham05, DT17], these results can equivalently be formulated in terms of quasiconvex subgroups Q1 of convex cocompact subgroups of the mapping class group MCG(Σ) or the outer automorphism group Out(Fn) of the free group as follows (see Theorems 4.3 and 4.5): Theorem 1.2. Let π 1 → K −→ G −→ Q → 1 be an exact sequence of hyperbolic groups, where K is either π1(Σ), with Σ a closed surface of genus at least 2; or a finitely generated free group Fn, n > 2. Let Q be an infinite convex cocompact subgroup of respectively MCG(Σ) or Out(Fn). Let −1 Q1 < Q be a qi embedded subgroup and G1 = π (Q1). Suppose H < G1 is an infinite index, quasiconvex subgroup. Then H is quasiconvex in G. The main new technical tool used in the proof of Theorem 1.2 is the existence and structure of the Cannon-Thurston map for the pair (G1, G) established in [KS20]. We show also (Proposition 4.8) that in the absence of convex cocompactness, The- orem 1.2 fails quite dramatically due to the existence of subgroups K1 of K that are quasiconvex in K and G1, but not in G. The main theorems of the paper are more general, and make the content of Scholium 1.1 precise in three contexts: (1) exact sequences of groups (Theorem 4.1), (2) complexes of groups (Theorem 4.10), and (3) general graphs of groups (Theorem 4.11). The underlying geometric structure in all three cases is given by a map π : X →B from a total space X to a base space B. In the first two cases, π : X →B is a metric graph bundle (see Definition 3.1), which may be thought of as a natural analog of a bundle in the context of coarse geometry. In the third case, π : X →B is a tree of spaces (cf. [BF92]). We assume that both X , B are hyperbolic and consider a qi −1 embedded subspace B1 ⊂ B. The pullback X1 = π (B1) gives a subbundle or a subtree of spaces. In the cases we are interested in, X corresponds to a group G, and X1 to a subgroup G1 of G (a standard motif of geometric group theory via the PROPAGATING QUASICONVEXITY FROM FIBERS 3 Milnor-Svarcˇ lemma [BH99, Proposition 8.19] for instance). Then, one looks at a subgroup H < G1 such that (1) H is qi embedded in G1, (2) H is not qi embedded in G, or equivalently, H is distorted in G (see Defi- nition 2.2). The main aim of all three Theorems 4.1, 4.10, and 4.11 is to identify the source −1 of distortion as coming from a fiber Fv = π (v) of π : X →B. Again, in all three cases, the fiber Fv corresponds to a subgroup K < G (in Scholium 1.1, it is the normal subgroup). The output of Theorems 4.1, 4.10, and 4.11 is a finitely generated subgroup of H ∩K that is distorted in G. Thus, the source of distortion of H in G is the existence of a finitely generated distorted subgroup in the intersection of H with the fiber group. 2. A coarse topological fact The main aim of this section is to prove Proposition 2.8, which is a generalization in the geometric group theory context of the following simple 3-manifold fact: Fact 2.1. Let M be a closed hyperbolic 3-manifold fibering over the circle with fiber F . Let Σ ⊂ M be an immersed incompressible quasi-Fuchsian surface. Let G = π1(M),K = π1(F ),H = π(Σ). Let MF denote the cover of M corresponding to K < G, let F0 denote a lift of F to MF and ΣF denote a lift of Σ to MF . Then, given any finitely generated subgroup K1 < K ∩ H, there is a compact subsurface Σ0 ⊂ ΣF , necessarily contained in a finite neighborhood of F0, such that K1 <i∗(π1(Σ0)), where i :Σ0 → MF denotes the inclusion map. While we could not find an explicit reference for Fact 2.1, the proof is fairly 0 straightforward. Let ΣF denote the cover of Σ corresponding to K ∩ H. Then 0 ΣF ⊂ MF comes from an immersion ι of ΣF into MF such that 0 ι∗ : π1(ΣF ) → π1(MF )= π1(F ) 0 is injective. Then ι∗(π1(ΣF )) = K ∩ H is infinitely generated free. Hence K1 can 0 be identified with a finitely generated free subgroup of π1(ΣF ), and is therefore 0 carried by a compact essential subsurface W of ΣF . Choosing ι(W )=Σ0, Fact 2.1 follows. 2.1. Preliminaries. All metric spaces in this paper are proper geodesic metric spaces. A metric graph is a simplicial connected graph where all the edges are assigned length 1 and the graph is given the induced length metric [BH99, Chapter I.1, Section 1.9]. For any graph X we shall denote by V (X) and E(X) the vertex set and the edge set of X respectively. For any metric space X, A ⊂ X and r ≥ 0 we denote by Nr(A) the set {x ∈ X : d(x, a) ≤ r for some a ∈ A} and refer to it as the r-neighborhood of A in X. Also for x ∈ X, r ≥ 0 we shall denote by B(x, r) the closed ball of radius r in X centered at x. Given A, B ⊂ X the Hausdorff distance of A, B is given by Hd(A, B) = inf{r ≥ 0 : B ⊂ Nr(A), A ⊂ Nr(B)}.

Load more