Let $1\to (K,K_1)\to (G,N_G(K_1))\to(Q,Q_1)\to 1$ be a short exact sequence of pairs of finitely generated groups with $K$ strongly hyperbolic relative to proper subgroup $K_1$. Assuming that for all $g\in G$ there exists $k\in K$ such that $gK_1g^{-1}=kK_1k^{-1}$, we prove that there exists a quasi-isometric section $s\colon Q \to G$. Further we prove that if $G$ is strongly hyperbolic relative to the normalizer subgroup $N_G(K_1)$ and weakly hyperbolic relative to $K_1$, then there exists a Cannon-Thurston map for the inclusion $i\colonΓ_K\to Γ_G$.
We show that Cannon-Thurston maps exist for degenerate free groups without parabolics, i.e. for handlebody groups. Combining these techniques with earlier work proving the existence of Cannon-Thurston maps for surface groups, we show that Cannon-Thurston maps exist for arbitrary finitely generated Kleinian groups without parabolics, proving conjectures of Thurston and McMullen. We also show that point pre-images under Cannon-Thurston maps for degenerate free groups without parabolics correspond to end-points of leaves of an ending lamination in the Masur domain, whenever a point has more than …
In earlier work, we had shown that Cannon-Thurston maps exist for Kleinian punctured surface groups without accidental parabolics. In this note we prove that pre-images of points are precisely end-points of leaves of the ending lamination whenever the Cannon-Thurston map is not one-to-one. This extends earlier work done for closed surface groups.
Mahan Mitra (Mj) proved Cannon--Thurston maps exist for normal hyperbolic subgroups of a hyperbolic group. We prove that Cannon--Thurston maps do not exist for infinite normal hyperbolic subgroups of non-hyperbolic CAT(0) groups with isolated flats with respect to the visual boundaries. We also show Cannon--Thurston maps do not exist for infinite infinite-index normal CAT(0) subgroups with isolated flats in non-hyperbolic CAT(0) groups with isolated flats. We obtain a structure theorem for the normal subgroups in these settings and show that outer automorphism groups of hyperbolic groups have …
Baker and Riley proved that a free group of rank 3 can be contained in a hyperbolic group as a subgroup for which the Cannon-Thurston map is not well-defined. By using their result, we show that the phenomenon occurs for not only a free group of rank 3 but also every non-elementary hyperbolic group. In fact it is shown that a similar phenomenon occurs for every non-elementary relatively hyperbolic group.
For a Coxeter group $W$ we have an associating bi-linear form $B$ on a real vector space. We assume that $B$ has the signature $(n-1,1)$. In this case we have the Cannon-Thurston map for $W$, that is, a $W$-equivariant continuous surjection from the Gromov boundary of $W$ to the limit set of $W$. We focus on the case where Coxeter groups contain affine special subgroups.
We prove the existence of continuous boundary extensions (Cannon-Thurston maps) for the inclusion of a vertex space into a tree of (strongly) relatively hyperbolic spaces satisfying the qi-embedded condition. This implies the same result for inclusion of vertex (or edge) subgroups in finite graphs of (strongly) relatively hyperbolic groups. This generalises a result of Bowditch for punctured surfaces in 3 manifolds and a result of Mitra for trees of hyperbolic metric spaces.
In genus two and higher, the fundamental group of a closed surface acts naturally on the curve complex of the surface with one puncture. Combining ideas from previous work of Kent--Leininger--Schleimer and Mitra, we construct a universal Cannon--Thurston map from a subset of the circle at infinity for the closed surface group onto the boundary of the curve complex of the once-punctured surface. Using the techniques we have developed, we also show that the boundary of this curve complex is locally path-connected.
For a Coxeter group $W$ we have an associating bi-linear form $B$ on suitable real vector space. We assume that $B$ has the signature $(n-1,1)$ and all the bi-linear form associating rank $n' (\ge 3)$ Coxeter subgroups generated by subsets of $S$ has the signature $(n',0)$ or $(n'-1,1)$. Under these assumptions, we see that there exists the Cannon-Thurston map for $W$, that is, the $W$-equivariant continuous surjection from the Gromov boundary of $W$ to the limit set of $W$. To see this we construct an isometric action of $W$ on an ellipsoid with the Hilbert metric. As a consequence, we see th…
We construct an example of a hyperbolic group with a hyperbolic subgroup for which the Cannon-Thurston map does not exist. That is, inclusion does not induce a map of the boundaries.
There is a family of hyperbolic groups known as hyperbolic hydra which contain heavily distorted free subgroups. We prove the existence of Cannon--Thurston maps (that is, maps of the boundaries induced by subgroup inclusion) for these free subgroups. It is known that Cannon--Thurston maps between hyperbolic space boundaries can exist even in the presence of arbitrarily heavy (even non-recursive) distortion. The hyperbolic hydra examples show that Cannon--Thurston maps can exist even between hyperbolic group boundaries in the presence of arbitrarily heavy primitive recursive distortion.
We give an overview of the theory of Cannon-Thurston maps which forms one of the links between the complex analytic and hyperbolic geometric study of Kleinian groups. We also briefly sketch connections to hyperbolic subgroups of hyperbolic groups and end with some open questions.
Let $G$ be a non-elementary word-hyperbolic group acting as a convergence group on a compact metrizable space $Z$ so that there exists a continuous $G$-equivariant map $i:\partial G\to Z$, which we call a \emph{Cannon-Thurston map}. We obtain two characterzations (a dynamical one and a geometric one) of conical limit points in $Z$ in terms of their pre-images under the Cannon-Thurston map $i$. As an application we prove, under the extra assumption that the action of $G$ on $Z$ has no accidental parabolics, that if the map $i$ is not injective then there exists a non-conical limit point $z\in Z…
This is an announcement of some of the results obtained as a part of the second author's Ph.D. thesis. In the first part, we prove that the fundamental group of an acylindrical complex of hyperbolic groups with finite edge groups is hyperbolic in which the vertex groups are quasiconvex. In the second part of the article, we prove the existence of Cannon-Thurston maps for certain subcomplexes of groups in acylindrical complexes of hyperbolic groups (see Theorem 0.4).
Given a metric (graph) bundle $X$ over $B$ where all the fibres are strongly relatively hyperbolic and nonelementary we show that, under certain conditions, $X$ is strongly hyperbolic relative to a collection of maximal cone-subbundles of horosphere-like spaces. Further, given a coarsely Lipschitz qi embedding $i: A\to B$, we show that the pullback $Y$ is strongly relatively hyperbolic and the map $Y\to X$ admits a Cannon-Thurston (CT) map. As an application, we prove a group-theoretic analogue of this result for a relatively hyperbolic extension of groups.
For any atoroidal iwip $ϕ\in Out(F_N)$ the mapping torus group $G_ϕ=F_N\rtimes_ϕ<t>e$ is hyperbolic, and the embedding $ι: F_N \overset{\lhd}{\longrightarrow} G_ϕ$ induces a continuous, $F_N$-equivariant and surjective {\em Cannon-Thurston map} $\hat ι: \partial F_N \to \partial G_ϕ$. We prove that for any $ϕ$ as above, the map $\hat ι$ is finite-to-one and that the preimage of every point of $\partial G_ϕ$ has cardinality $\le 2N$. We also prove that every point $S\in \partial G_ϕ$ with $\ge 3$ preimages in $\partial F_N$ has the form $(wt^m)^\infty$ where $w\in F_N, m\ne 0$, and that there a…
When 1 -> H -> G -> Q -> 1 is a short exact sequence of three infinite, word-hyperbolic groups, Mahan Mitra (Mj) has shown that the inclusion map from H to G extends continuously to a map between the Gromov boundaries of H and G. This boundary map is known as the Cannon-Thurston map. In this context, Mitra associates to every point z in the Gromov boundary of Q an "ending lamination" on H which consists of pairs of distinct points in the boundary of H. We prove that for each such z, the quotient of the Gromov boundary of H by the equivalence relation generated by this ending lamination is a de…
This paper gives a detailed analysis of the Cannon--Thurston maps associated to a general class of hyperbolic free group extensions. Let $F_N$ denote a free groups of finite rank $N\ge 3$ and consider a \emph{convex cocompact} subgroup $Γ\le Out(F_N)$, i.e. one for which the orbit map from $Γ$ into the free factor complex of $F_N$ is a quasi-isometric embedding. The subgroup $Γ$ determines an extension $E_Γ$ of $F_N$, and the main theorem of Dowdall--Taylor \cite{DT1} states that in this situation $E_Γ$ is hyperbolic if and only if $Γ$ is purely atoroidal. Here, we give an explicit geometric d…
In this note we discuss the behavior of the Gromov boundaries and limit sets for the surface subgroups of the mapping class group with accidental parabolics constructed by the author and A. Reid in earlier work. Specifically, we show that generically there are no Cannon--Thurston maps from the Gromov boundary to Thurston's boundary of Teichmuller space.
We prove the existence of Cannon-Thurston maps for Kleinian groups corresponding to pared manifolds whose boundary is incompressible away from cusps. We also describe the structure of these maps in terms of ending laminations.
The arguments of Cannon, Floyd, Grayson and Thurston showing that solve geometry groups are not almost convex also show that solvable Baumslag-Solitar groups are not almost convex.
We are concerned with mapping class groups of surfaces with nonempty boundary. We present a very natural method, due to Thurston, of finding many different left orderings of such groups. The construction involves equipping the surface with a hyperbolic structure, embedding the universal cover in the hyperbolic plane, and extending the action of the mapping class group on it to its limit points on the circle at infinity. We classify all orderings of braid groups which arise in this way. Moreover, restricting to a certain class of ``nonpathological'' orderings, we prove that there are only finit…
In this note, we provide a description of the structure of homomorphisms from a finitely generated group to any torsion-free (3-dimensional) Kleinian group with uniformly bounded finite covolume. This is analogous to the Jorgensen-Thurston Theorem in hyperbolic geometry.
We give an alternative proof of the Bestvina--Feighn combination theorem for trees hyperbolic spaces and describe uniform quasigeodesics in such spaces. As one of the applications, we prove the existence of Cannon-Thurston maps for inclusion maps of total spaces of subtrees of hyperbolic spaces.
This paper shows that every Gromov hyperbolic group can be described by a finite subdivision rule acting on the 3-sphere. This gives a boundary-like sequence of increasingly refined finite cell complexes which carry all quasi-isometry information about the group. This extends a result from Cannon and Swenson in 1998 that hyperbolic groups can be described by a recursive sequence of overlapping coverings by possibly wild sets, and demonstrates the existence of non-cubulated groups that can be represented by subdivision rules.
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.
We show that recent work of Song implies that torsion-free hyperbolic groups with Gromov boundary $S^2$ are realized as fundamental groups of closed 3-manifolds of constant negative curvature if and only if the solution to an associated spherical Plateau problem for group homology is isometric to such a 3-manifold, and suggest some related questions.
We use bounded cohomology to define a notion of volume of an SO(n,1)-valued representation of a lattice SO(n,1) and, using this tool, we give a complete proof of the volume rigidity theorem of Francaviglia and Klaff in this setting. Our approach gives in particular a proof of Thurston's version of Gromov's proof of Mostow Rigidity (also in the non-cocompact case), which is dual to the Gromov--Thurston proof using the simplicial volume invariant.}
We show that a regular isomorphism of profinite completion of the fundamental groups of two 3-manifolds $N_1$ and $N_2$ induces an isometry of the Thurston norms and a bijection between the fibered classes. We study to what extent does the profinite completion of knot groups distinguish knots and show that it distinguishes each torus knot and the figure eight knot among all knots. We show also that it distinguishes between hyperbolic knots with cyclically commensurable complements under the assumption that their Alexander polynomials have at least one zero which is not a root of unity.
We obtain an ordering of closed aspherical 4-manifolds that carry a non-hyperbolic Thurston geometry. As application, we derive that the Kodaira dimension of geometric 4-manifolds is monotone with respect to the existence of maps of non-zero degree.
For any orientable finite-volume hyperbolic 3-manifold, this paper proves that the profinite isomorphism type of the fundamental group uniquely determines the isomorphism type of the first integral cohomology, as marked with the Thurston norm and the fibered classes; moreover, up to finite ambiguity, the profinite isomorphism type determines the isomorphism type of the fundamental group, among the class of finitely generated 3-manifold groups.
The Thurston compactification of Teichmuller spaces has been generalized to many different representation spaces by J. Morgan, P. Shalen, M. Bestvina, F. Paulin, A. Parreau and others. In the simplest case of representations of fundamental groups of closed hyperbolic surfaces in PSL(2,R), we prove that this compactification is very degenerated: the nice behaviour of the Thurston compactification of the Teichmuller space contrasts with wild phenomena happening on the boundary of the other connected components of these representation spaces. We prove that it is more natural to consider a refinem…
Let G be a word-hyperbolic group, obtained as a graph of free groups amalgamated along cyclic subgroups. If H_2(G;Q) is nonzero, then G contains a closed hyperbolic surface subgroup. Moreover, the unit ball of the Gromov-Thurston norm on H_2(G;R) is a finite-sided rational polyhedron.
In arXiv:1204.2810 Agol proved the Virtual Haken and Virtual Fibering Conjectures by confirming a conjecture of Wise: Every cubulated hyperbolic group is virtually special. We extend this result to cocompactly cubulated relatively hyperbolic groups with minimal assumptions on the parabolic subgroups. Our proof proceeds by first recubulating to obtain an improper action with controlled stabilizers (a weakly relatively geometric action), and then Dehn filling to obtain many cubulated hyperbolic quotients. We apply our results to prove the Relative Cannon Conjecture for certain cubulated or parti…
We study combinatorial modulus on boundaries of hyperbolic Coxeter groups. We give new examples of hyperbolic groups whose boundary satisfies a combinatorial version of the Loewner property, and prove Cannon's conjecture for Coxeter groups. We also establish some connections with l^p cohomology.
Thurston has claimed (unpublished) that central extensions of word hyperbolic groups by finitely generated abelian groups are automatic. We show that they are in fact biautomatic. Further, we show that every 2-dimensional cohomology class on a word hyperbolic group can be represented by a bounded 2-cocycle. This lends weight to the claim of Gromov that for a word hyperbolic group, the cohomology in every dimension is bounded.
For a free group $\mathbb{F}$ of finite rank such that $\text{rank}(\mathbb{F})\geq 3$, we prove that the set of weak limits of a conjugacy class in $\mathbb{F}$ under iterates of some hyperbolic $ϕ\in\mathsf{Out(\mathbb{F})}$ is equal to the collection of generic leaves and singular lines of $ϕ$. As an application we describe the ending lamination set for a hyperbolic extension of $\mathbb{F}$ by a hyperbolic subgroup of $\mathsf{Out(\mathbb{F})}$ in a new way and use it to prove results about Cannon-Thurston maps for such extensions. We also use it to derive conditions for quasiconvexity of …
Following ideas that go back to Cannon, we show the rationality of various generating functions of growth sequences counting embeddings of convex subgraphs in locally-finite, vertex-transitive graphs with the (relative) falsification by fellow traveler property (fftp). In particular, we recover results of Cannon, of Epstein, Iano-Fletcher and Zwick, and of Calegari and Fujiwara. One of our applications concerns Schreier coset graphs of hyperbolic groups relative to quasi-convex subgroups, we show that these graphs have rational growth, the falsification by fellow traveler property, and the exi…
