Peripheral fillings of relatively hyperbolic groups
D. Osin
备注：
The difference with the previous version is that Proposition 3.2 is proved for quasi--geodesics instead of geodesics. This allows to simplify the exposition in the last section. To appear in Invent. Math
A group theoretic version of Dehn surgery is studied. Starting with an arbitrary relatively hyperbolic group $G$ we define a peripheral filling procedure, which produces quotients of $G$ by imitating the effect of the Dehn filling of a complete finite volume hyperbolic 3--manifold $M$ on the fundamental group $π_1(M)$. The main result of the paper is an algebraic counterpart of Thurston's hyperbolic Dehn surgery theorem. We also show that peripheral subgroups of $G$ 'almost' have the Congruence Extension Property and the group $G$ is approximated (in an algebraic sense) by its quotients obtained by peripheral fillings. Various applications of these results are discussed.
We build quasi--isometry invariants of relatively hyperbolic groups which detect the hyperbolic parts of the group; these are variations of the stable dimension constructions previously introduced by the authors. We prove that, given any finite collection of finitely generated groups $\mathcal{H}$ each of which either has finite stable dimension or is non-relatively hyperbolic, there exist infinitely many quasi--isometry types of one--ended groups which are hyperbolic relative to $\mathcal{H}$. The groups are constructed using small cancellation theory over free products.
Suppose $G$ is a finitely presented group that is hyperbolic relative to ${\bf P}$ a finite collection of 1-ended finitely generated proper subgroups of $G$. If $G$ and the ${\bf P}$ are 1-ended and the boundary $\partial (G,{\bf P})$ has no cut point, then $G$ was known to have semistable fundamental group at $\infty$. We consider the more general situation when $\partial (G,{\bf P})$ contains cut points. Our main theorem states that if $G$ is finitely presented and each $P\in {\bf P}$ is finitely generated and has semistable fundamental group at $\infty$, then $G$ has semistable fundamental …
An ideal triangulation $\mathcal{T}$ of a hyperbolic 3-manifold $M$ with one cusp is non-peripheral if no edge of $\mathcal{T}$ is homotopic to a curve in the boundary torus of $M$. For such a triangulation, the gluing and completeness equations can be solved to recover the hyperbolic structure of $M$. A planar projection of a knot gives four ideal cell decompositions of its complement (minus 2 balls), two of which are ideal triangulations that use 4 (resp., 5) ideal tetrahedra per crossing. Our main result is that these ideal triangulations are non-peripheral for all planar, reduced, alternat…
In this paper, we introduce and characterize a class of parabolically extended structures for relatively hyperbolic groups. A characterization of relative quasiconvexity with respect to parabolically extended structures is obtained using dynamical methods. Some applications are discussed. The class of groups acting geometrically finitely on Floyd boundaries turns out to be easily understood. However, we also show that Dunwoody's inaccessible group does not act geometrically finitely on its Floyd boundary.
We study Dehn fillings of relatively hyperbolic group pairs $(Γ, ¶)$ and the persistence of connectedness of Bowditch boundary in sufficiently long Dehn fillings. We show that the restriction of peripheral subgroups to virtually polycyclic subgroups is not needed.
Dehn fillings for relatively hyperbolic groups generalize the topological Dehn surgery on a non-compact hyperbolic $3$-manifold such as a hyperbolic knot complement. We prove a rigidity result saying that if two non-elementary relatively hyperbolic groups without suitable splittings have sufficiently many isomorphic Dehn fillings, then these groups are in fact isomorphic. Our main application is a solution to the isomorphism problem in the class of non-elementary relatively hyperbolic groups with residually finite parabolic groups and with no suitable splittings.
We prove that if every hyperbolic group is residually finite, then every quasi-convex subgroup of every hyperbolic group is separable. The main tool is relatively hyperbolic Dehn filling.
We give new examples of hyperbolic and relatively hyperbolic groups of cohomological dimension $d$ for all $d\geq 4$. These examples result from applying CAT$(0)$/CAT$(-1)$ filling constructions (based on singular doubly warped products) to finite volume hyperbolic manifolds with toral cusps. The groups obtained have a number of interesting properties, which are established by analyzing their boundaries at infinity by a kind of Morse-theoretic technique, related to but distinct from ordinary and combinatorial Morse theory.
Let G be a finitely generated relatively hyperbolic group. We show that if no peripheral subgroup of G is hyperbolic relative to a collection of proper subgroups, then the fixed subgroup of every automorphism of G is relatively quasiconvex. It follows that the fixed subgroup is itself relatively hyperbolic with respect to a natural family of peripheral subgroups. If all peripheral subgroups of G are slender (respectively, slender and coherent), our result implies that the fixed subgroup of every automorphism of G is finitely generated (respectively, finitely presented). In particular, this hap…
This paper proves under certain conditions the existence of an algorithm, which detects relatively quasiconvex subgroups $H$ of relatively hyperbolic groups $(G,\mathbb{P})$. Additionally, this algorithm outputs an induced peripheral structure of $(G,\mathbb{P})$ on $H$.
We introduce a number of new tools for the study of relatively hyperbolic groups. First, given a relatively hyperbolic group G, we construct a nice combinatorial Gromov hyperbolic model space acted on properly by G, which reflects the relative hyperbolicity of G in many natural ways. Second, we construct two useful bicombings on this space. The first of these, "preferred paths", is combinatorial in nature and allows us to define the second, a relatively hyperbolic version of a construction of Mineyev. As an application, we prove a group-theoretic analog of the Gromov-Thurston 2πTheorem in the …
In this paper it is proved that relative hyperbolicity is an invariant of quasi-isometry. As a byproduct of the arguments, simplified definitions of relative hyperbolicity are obtained. In particular we obtain a new definition very similar to the one of hyperbolicity, relying on the existence for every quasi-geodesic triangle of a central left coset of peripheral subgroup.
We give a solution to Dehn's isomorphism problem for the class of all hyperbolic groups, possibly with torsion. We also prove a relative version for groups with peripheral structures. As a corollary, we give a uniform solution to Whitehead's problem asking whether two tuples of elements of a hyperbolic group $G$ are in the same orbit under the action of $\Aut(G)$. We also get an algorithm computing a generating set of the group of automorphisms of a hyperbolic group preserving a peripheral structure.
We study the geometry of nonrelatively hyperbolic groups. Generalizing a result of Schwartz, any quasi-isometric image of a non-relatively hyperbolic space in a relatively hyperbolic space is contained in a bounded neighborhood of a single peripheral subgroup. This implies that a group being relatively hyperbolic with nonrelatively hyperbolic peripheral subgroups is a quasi-isometry invariant. As an application, Artin groups are relatively hyperbolic if and only if freely decomposable. We also introduce a new quasi-isometry invariant of metric spaces called metrically thick, which is sufficien…
We show that any group that is hyperbolic relative to virtually nilpotent subgroups, and does not admit peripheral splittings, contains a quasi-isometrically embedded copy of the hyperbolic plane. In natural situations, the specific embeddings we find remain quasi-isometric embeddings when composed with the inclusion map from the Cayley graph to the coned-off graph, as well as when composed with the quotient map to "almost every" peripheral (Dehn) filling. We apply our theorem to study the same question for fundamental groups of 3-manifolds. The key idea is to study quantitative geometric prop…
We show that Out(G) is residually finite if G is a one-ended group that is hyperbolic relative to virtually polycyclic subgroups. More generally, if G is one-ended and hyperbolic relative to proper residually finite subgroups, the group of outer automorphisms preserving the peripheral structure is residually finite. We also show that Out(G) is virtually p-residually finite for every prime p if G is one-ended and toral relatively hyperbolic, or infinitely-ended and virtually p-residually finite.
We examine the relationship between finitely and infinitely generated relatively hyperbolic groups, in two different contexts. First, we elaborate on a remark from math.GR/0601311, which states that the version of Dehn filling in relatively hyperbolic groups proved in math.GR/0510195, allowing infinitely generated parabolic subgroups, follows from the version with finitely generated parabolics. Second, we observe that direct limits of relatively hyperbolic groups are in fact direct limits of finitely generated relatively hyperbolic groups. We use this (and known results) to derive some consequ…
We define a new condition on relatively hyperbolic Dehn filling which allows us to control the behavior of a relatively quasiconvex subgroups which need not be full. As an application, in combination with a recent result of Cooper and Futer, we provide a new proof of the virtual fibering of non-compact finite-volume hyperbolic 3-manifolds, a result first proved by Wise. Additionally, we explain how the results of [2, Appendix A] can be generalized to the relative setting to control the relative height of relatively quasiconvex subgroups under appropriate Dehn fillings.
We demonstrate under appropriate finiteness conditions that a coarse embedding induces an inequality of homological Dehn functions. Applications of the main results include a characterization of what finitely presentable groups may admit a coarse embedding into a hyperbolic group of geometric dimension $2$, characterizations of finitely presentable subgroups of groups with quadratic Dehn function with geometric dimension $2$, and to coarse embeddings of nilpotent groups into other nilpotent groups of the same growth and into hyperbolic groups.
The asymptotic bound for a length-based attack on the Conjugacy Search Problem in relatively hyperbolic groups is cubic for hyperbolic elements and a "small" polynomial for parabolic elements, depending on the Conjugacy Search Problem for the peripheral subgroups. The bound for relatively hyperbolic groups in this paper is a significant improvement on previous work.
We show that a relatively hyperbolic group quasi-isometrically embeds in a product of finitely many trees if the peripheral subgroups do, and we provide an estimate on the minimal number of trees needed. Applying our result to the case of 3-manifolds, we show that fundamental groups of closed 3-manifolds have linearly controlled asymptotic dimension at most 8. To complement this result, we observe that fundamental groups of Haken 3-manifolds with non-empty boundary have asymptotic dimension 2.
Let $Σ_{g,p}$ be the genus--$g$ oriented surface with $p$ punctures, with either $g>0$ or $p>3$. We show that $MCG(Σ_{g,p})/DT$ is acylindrically hyperbolic where $DT$ is the normal subgroup of the mapping class group $MCG(Σ_{g,p})$ generated by $K^{th}$ powers of Dehn twists about curves in $Σ_{g,p}$ for suitable $K$. Moreover, we show that in low complexity $MCG(Σ_{g,p})/DT$ is in fact hyperbolic. In particular, for $3g-3+p\leq 2$, we show that the mapping class group $MCG(Σ_{g,p})$ is fully residually non-elementary hyperbolic and admits an affine isometric action with unbounded orbits on s…
The aim of this paper is to demonstrate that very many Dehn fillings on a cusped hyperbolic 3-manifold yield a 3-manifold which is irreducible, atoroidal and not Seifert fibred, and which has infinite, word hyperbolic fundamental group. We establish an extension of the Thurston-Gromov $2π$ theorem by showing that if each filling slope has length more than six, then the resulting 3-manifold has all the above properties. We also give a combinatorial version of the $2π$ theorem which relates to angled ideal triangulations. We apply these techniques by studying surgery along alternating links.
We begin an investigation into the behavior of Bowditch and Gromov boundaries under the operation of Dehn filling. In particular we show many Dehn fillings of a toral relatively hyperbolic group with 2-sphere boundary are hyperbolic with 2-sphere boundary. As an application, we show that the Cannon conjecture implies a relatively hyperbolic version of the Cannon conjecture.
Given a closed hyperbolic 3-manifold M with a quasigeodesic flow we construct a π_1-equivariant sphere-filling curve in the boundary of hyperbolic space. Specifically, we show that any complete transversal P to the lifted flow on H^3 has a natural compactification as a closed disc that inherits a π_1 action. The embedding of P in H^3 extends continuously to the compactification and the restriction to the boundary is a surjective π_1-equivariant map from S^1 to S^2_\infty. This generalizes the result of Cannon and Thurston for fibered hyperbolic 3-manifolds.
We study the set of homomorphisms from a fixed finitely generated group into a family of groups which are `uniformly acylindrically hyperbolic'. Our main results reduce this study to sets of homomorphisms which do not diverge in an appropriate sense. As an application, we prove that any relatively hyperbolic group with equationally noetherian peripheral subgroups is itself equationally noetherian.
Suppose a group $G$ is relatively hyperbolic with respect to a collection $\PP$ of its subgroups and also acts properly, cocompactly on a $\CAT(0)$ (or $δ$--hyperbolic) space $X$. The relatively hyperbolic structure provides a relative boundary $\partial(G,\PP)$. The $\CAT(0)$ structure provides a different boundary at infinity $\partial X$. In this article, we examine the connection between these two spaces at infinity. In particular, we show that $\partial (G,\PP)$ is $G$--equivariantly homeomorphic to the space obtained from $\partial X$ by identifying the peripheral limit points of the sam…
We introduce and study the notions of hyperbolically embedded and very rotating families of subgroups. The former notion can be thought of as a generalization of the peripheral structure of a relatively hyperbolic group, while the later one provides a natural framework for developing a geometric version of small cancellation theory. Examples of such families naturally occur in groups acting on hyperbolic spaces including hyperbolic and relatively hyperbolic groups, mapping class groups, $Out(F_n)$, and the Cremona group. Other examples can be found among groups acting geometrically on $CAT(0)$…
Suppose that all hyperbolic groups are residually finite. The following statements follow: In relatively hyperbolic groups with peripheral structures consisting of finitely generated nilpotent subgroups, quasiconvex subgroups are separable; Geometrically finite subgroups of non-uniform lattices in rank one symmetric spaces are separable; Kleinian groups are subgroup separable. We also show that LERF for finite volume hyperbolic 3-manifolds would follow from LERF for closed hyperbolic 3-manifolds. The method is to reduce, via combination and filling theorems, the separability of a quasiconvex s…
Following the approach of Dahmani, Guirardel and Osin, we extend the group theoretical Dehn filling theorem to show that the pre-images of infinite order elements have a certain structure of a free product. We then apply this result to show that groups hyperbolic relative to residually finite groups satisfying the Farrell-Jones conjecture, they satisfy the Farrell-Jones conjecture.
We use algebraic techniques to study homological filling functions of groups and their subgroups. If $G$ is a group admitting a finite $(n+1)$--dimensional $K(G,1)$ and $H \leq G$ is of type $F_{n+1}$, then the $n^{th}$--homological filling function of $H$ is bounded above by that of $G$. This contrast with known examples where such inequality does not hold under weaker conditions on the ambient group $G$ or the subgroup $H$. We include applications to hyperbolic groups and homotopical filling functions.
The aim of this short note is to provide a proof of the decidability of the generalized membership problem for relatively quasi-convex subgroups of finitely presented relatively hyperbolic groups, under some reasonably mild conditions on the peripheral structure of these groups. These hypotheses are satisfied, in particular, by toral relatively hyperbolic groups.
Let $G$ be an acylindrically hyperbolic group and $E$ an exponential equation over $G$. We show that if $E$ is solvable in $G$, then there exists a solution whose components, corresponding to loxodromic elements, can be linearly estimated in terms of lengths of the coefficients of $E$. We give a more precise answer in the case where $G$ is a relatively hyperbolic group. Under some assumption of general character, the solvability and the search problems for exponential equations over $G$ can be reduced to the peripheral subgroups of $G$.
For $d=4, 5, 6$, we exhibit the first examples of complete finite volume hyperbolic $d$-manifolds $M$ with cusps such that infinitely many $d$-orbifolds $M_{m}$ obtained from $M$ by generalized Dehn filling admit properly convex real projective structures. The orbifold fundamental groups of $M_m$ are Gromov-hyperbolic relative to a collection of subgroups virtually isomorphic to $\mathbb{Z}^{d-2}$, hence the images of the developing maps of the projective structures on $M_m$ are new examples of divisible properly convex domains of the projective $d$-space which are not strictly convex, in cont…
In this paper we show that the existence of a non-parabolic local cut point in the Bowditch boundary $\partial(G,\mathbb{P})$ of a relatively hyperbolic group $(G,\mathbb{P})$ implies that $G$ splits over a $2$-ended subgroup. This theorem generalizes a theorem of Bowditch from the setting of hyperbolic groups to relatively hyperbolic groups. As a consequence we are able to generalize a theorem of Kapovich and Kleiner by classifying the homeomorphism type of $1$-dimensional Bowditch boundaries of relatively hyperbolic groups which satisfy certain properties, such as no splittings over $2$-ende…
Let K be a fine hyperbolic graph and G be a group acting on K with finite quotient. We prove that G is exact provided that all vertex stabilizers are exact. In particular, a relatively hyperbolic group is exact if all its peripheral groups are exact. We prove this by showing that the group G acts amenably on a compact topological space. We include some applications to the theories of group von Neumann algebras and of measurable orbit equivalence relations.
Let $(W, S)$ be a Coxeter system. We give necessary and sufficient conditions on the Coxeter diagram of $(W, S)$ for $W$ to be relatively hyperbolic with respect to a collection of finitely generated subgroups. The peripheral subgroups are necessarily parabolic subgroups (in the sense of Coxeter group theory). As an application, we present a criterion for the maximal flats of the Davis complex of $(W,S)$ to be isolated. If this is the case, then the maximal affine sub-buildings of any building of type $(W,S)$ are isolated.
