Let (X,d) be a tree (T) of hyperbolic metric spaces satisfying the quasi-isometrically embedded condition. Let $v$ be a vertex of $T$. Let $({X_v},d_v)$ denote the hyperbolic metric space corresponding to $v$. Then $i : X_v \rightarrow X$ extends continuously to a map $\hat{i} : \widehat{X_v} \rightarrow \widehat{X}$. This generalizes a Theorem of Cannon and Thurston. The techniques are used to give a new proof of a result of Minsky: Thurston's ending lamination conjecture for certain Kleinian groups. Applications to graphs of hyperbolic groups and local connectivity of limit sets of Kleinian groups are also given.
In earlier work, we had shown that Cannon-Thurston maps exist for Kleinian surface groups. In this paper 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. In particular, the Cannon-Thurston map is finite-to-one. This completes the proof of the conjectural picture of Cannon-Thurston maps for surface groups.
This is an expository paper. We prove the Cannon-Thurston property for bounded geometry surface groups with or without punctures. We prove three theorems, due to Cannon-Thurston, Minsky and Bowditch. The proofs are culled out of earlier work of the author.
Using the Birmanexact sequence for pure mapping class groups, we construct a universal Cannon--Thurston map onto the boundary of a curve complex for a surface with punctures we call surviving curve complex. Along the way we prove hyperbolicity of this complex and identify its boundary as a space of laminations. As a corollary we obtain a universal Cannon--Thurston map to the boundary of the ordinary curve complex, extending earlier work of the second author with Mj and Schleimer.
Any hyperbolic surface bundle over the circle gives rise to a continuous surjection from the circle to the sphere, by work of Cannon and Thurston. We prove that the order in which this surjection fills out the sphere is dictated by a natural triangulation of the surface bundle (introduced by Agol) when all singularities of the invariant foliations are at punctures of the fiber.
We introduce the notion of manifolds of amalgamation geometry and its generalization, split geometry. We show that the limit set of any surface group of split geometry is locally connected, by constructing a natural Cannon-Thurston map.
The notion of i-bounded geometry generalises simultaneously bounded geometry and the geometry of punctured torus Kleinian groups. We show that the limit set of a surface Kleinian group of i-bounded geometry is locally connected by constructing a natural Cannon-Thurston map. This is an exposition of a special case of the main result of arXiv:math/0607509.
We prove the existence of Cannon-Thurston maps for simply and doubly degenerate surface Kleinian groups. As a consequence we prove that connected limit sets of finitely generated Kleinian groups are locally connected.
Let N^h be a hyperbolic 3-manifold of bounded geometry corresponding to a hyperbolic structure on a pared manifold (M,P). Further, suppose that (\partial{M} - P) is incompressible, i.e. the boundary of M is incompressible away from cusps. Further, suppose that M_{gf} is a geometrically finite hyperbolic structure on (M,P). Then there is a Cannon- Thurston map from the limit set of M_{gf} to that of N^h. Further, the limit set of N^h is locally connected. This answers in part a question attributed to Thurston.
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.
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 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.
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…
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…
We show that for a strongly convergent sequence of purely loxodromic finitely generated Kleinian groups with incompressible ends, Cannon-Thurston maps, viewed as maps from a fixed base limit set to the Riemann sphere, converge uniformly. For algebraically convergent sequences we show that there exist examples where even pointwise convergence of Cannon-Thurston maps fails.
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…
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…
Given a hyperbolic subgroup $H$ of a hyperbolic group $G$ for which a Cannon-Thurston map $\hat i:\partial H \ra \partial G$ exists, we study the limit set $Λ_H$ of $H$ with respect to its action on $\partial G$. We prove that the set of conical limit points is exactly the subset of $Λ_H$ consisting of the points to which the Cannon-Thurston map $\hat i$ injects. Moreover, we show that when $H$ is not quasi-convex in $G$, there exists a non-conical limit point in $Λ_H$
We show that the hyperbolic structure on a closed, orientable, hyperbolic 3-manifold can be constructed from a solution to the hyperbolic gluing equations using any triangulation with essential edges. The key ingredients in the proof are Thurston's spinning construction and a volume rigidity result attributed by Dunfield to Thurston, Gromov and Goldman. As an application, we show that this gives a new algorithm to detect hyperbolic structures on closed 3-manifolds.
The Cannon Conjecture for a torsionfree hyperbolic group G with boundary homeomorphic to S^2 says that G is the fundamental group of an aspherical closed 3-manifold M. It is known that then M is a hyperbolic 3-manifold. We prove the stable version that for any closed manifold N of dimension greater or equal to 2 there exists a closed manifold M together with a simple homotopy equivalence from M to the cartesian product of N and BG. If N is aspherical and pi_1(N) satisfies the Farrell-Jones Conjecture, then M is unique up to homeomorphism.
We give a complete proof of Thurston's celebrated hyperbolic Dehn filling theorem, following the ideal triangulation approach of Thurston and Neumann-Zagier. We avoid to assume that a genuine ideal triangulation always exists, using only a partially flat one, obtained by subdividing an Epstein-Penner decomposition. This forces us to deal with negatively oriented tetrahedra. Our analysis of the set of hyperbolic Dehn filling coefficients is elementary and self-contained. In particular, it does not assume smoothness of the complete point in the variety of deformations.
We characterise completely when limit sets, as parametrised by Cannon-Thurston maps, move discontinuously for a sequence of algebraically convergent quasi-Fuchsian groups.
For each right-angled hexagon in the hyperbolic plane, we construct a one-parameter family of right-angled hexagons with a Lipschitz map between any two elements in this family, realizing the smallest Lipschitz constant in the homotopy class of this map relative to the boundary. As a consequence of this construction, we exhibit new geodesics for the arc metric on the Teichm{ü}ller space of an arbitrary surface of negative Euler characteristic with nonempty boundary. We also obtain new geodesics for Thurston's metric on Teichm{ü}ller spaces of hyperbolic surfaces without boundary.
Thurston's sphere packing on 3-dimensional manifolds, II
School of Mathematics and Statistics, Hunan First Normal University（湖南第一师范学院数学与统计学院）；School of Mathematics and Statistics, Wuhan University（武汉大学数学与统计学院）；International Center for Mathematical Research (BICMR), Beijing (Peking) University（北京大学国际数学研究中心）
These are notes on the hyperbolic geometry of surfaces, Teichm{ü}ller spaces and Thurston's metric on these spaces. They are associated with lectures I gave at the Morningside Center of Mathematics of the Chinese Academy of Sciences in March 2019 and at the Chebyshev Laboratory of the Saint Petersburg State University in May 2019. In particular, I survey several results on the behavior of stretch lines, a distinguished class of geodesics for Thurston's metric and I point out several analogies between this metric and Teichm{ü}ller's metric. Several open questions are addressed. The final versio…
The Cannon Conjecture from the geometric group theory asserts that a word hyperbolic group that acts effectively on its boundary, and whose boundary is homeomorphic to the 2-sphere, is isomorphic to a Kleinian group. We prove the following Criterion for Cannon's Conjecture: A hyperbolic group $G$ (that acts effectively on its boundary) whose boundary is homeomorphic to the 2-sphere is isomorphic to a Kleinian group if and only if every two points in the boundary of $G$ are separated by a quasi-convex surface subgroup. Thus, the Cannon's conjecture is reduced to showing that such a group contai…
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 study Thurston's Lipschitz and curve metrics, as well as the arc metric on the Teichmueller space of one-hold tori equipped with complete hyperbolic metrics with boundary holonomy of fixed length. We construct natural Lipschitz maps between two surfaces equipped with such hyperbolic metrics that generalize Thurston's stretch maps and prove the following: (1) On the Teichmueller space of the torus with one boundary component, the Lipschitz and the curve metrics coincide and define a geodesic metric on this space. (2) On the same space, the arc and the curve metrics coincide when the length o…
We show that for a strongly convergent sequence of geometrically finite Kleinian groups with geometrically finite limit, the Cannon-Thurston maps of limit sets converge uniformly. If however the algebraic and geometric limits differ, as in the well known examples due to Kerckhoff and Thurston, then provided the geometric limit is geometrically finite, the maps of limit sets converge pointwise but not uniformly.
In the Teichmüller space of a hyperbolic surface of finite type, we construct geodesic lines for Thurston's asymmetric metric having the property that when they are traversed in the reverse direction, they are also geodesic lines (up to reparametrization). The lines we construct are special stretch lines in the sense of Thurston. They are directed by complete geodesic laminations that are not chain-recurrent, and they have a nice description in terms of Fenchel-Nielsen coordinates. At the basis of the construction are certain maps with controlled Lipschitz constants between right-angled hyperb…
We study the action of the elements of the mapping class group of a surface of finite type on the Teichmüller space of that surface equipped with Thurston's asymmetric metric. We classify such actions as elliptic, parabolic, hyperbolic and pseudo-hyperbolic, depending on whether the translation distance of such an element is zero or positive and whether the value of this translation distance is attained or not, and we relate these four types to Thurston's classification of mapping classes. The study is parallel to the one made by Bers in the setting of Teichmüller space equipped with Teichmüll…
We study when the Thurston norm is detected by twisted Alexander polynomials associated to representations of the 3-manifold group to SL(2, C). Specifically, we show that the hyperbolic torsion polynomial determines the genus for a large class of hyperbolic knots in the 3-sphere which includes all special arborescent knots and many knots whose ordinary Alexander polynomial is trivial. This theorem follows from results showing that the tautness of certain sutured manifolds can be certified by checking that they are a product from the point of view of homology with coefficients twisted by an SL(…
We show that the nearest point retraction is a uniform quasi-isometry from the Thurston metric on a hyperbolic domain in the Riemann sphere to the boundary of the convex hull of its complement. As a corollary, one obtains explicit bounds on the quasi-isometry constant of the nearest point retraction with respect to the Poincare metric when the domain is uniformly perfect. We also establish Marden and Markovic's conjecture that a hyperbolic domain is uniformly perfect if and only if the nearest point retraction is Lipschitz with respect to the Poincare metric.
We provide analogues for non-orientable surfaces with or without boundary or punctures of several basic theorems in the setting of the Thurston theory of surfaces which were developed so far only in the case of orientable surfaces. Namely, we provide natural analogues for non-orientable surfaces of the Fenchel-Nielsen theorem on the parametrization of the Teichmüller space of the surface, the Dehn-Thurston theorem on the parametrization of measured foliations in the surface, and the Hatcher-Thurston theorem, which gives a complete minimal set of moves between pair of pants decompositions of th…
We provide a detailed proof of the following folklore theorem: Let mu > 0 be a Margulis constant for 3-dimensional hyperbolic space. Then for any d>0 there exists a constant K>0, depending on mu and d, so that for any complete finite volume hyperbolic 3-manifold M, the d-neighborhood of the mu-thick part of M can be triangulated using at most K Vol(M) tetrahedra; here Vol is the hyperbolic volume function. As a corollary, we obtain the following topological interpretation of the volume: the minimal number of tetrahedra required to triangulate a link exterior in M is linearly equivalent to Vol(…
Let $X_0$ be a complete borderless infinite area hyperbolic surface. We introduce Thurston's boundary to the Teichmüller space $T(X_0)$ of the surface $X_0$ using Liouville (geodesic) currents. Thurston's boundary to $T(X_0)$ is identified with the space $PML_{bdd}(X_0)$ of projective bounded measured laminations on $X_0$ which naturally extends Thurston's result for closed surfaces. Moreover, the quasiconformal mapping class group $MCG_{qc}(X_0)$ acts continuously on the closure $T(X_0)\cup PML_{bdd}(X_0)$.
A measured laminations on the universal hyperbolic solenoid $§$ is, by our definition, a leafwise measured lamination with appropriate continuity for the transverse variations. An earthquakes on theuniversal hyperbolic solenoid $§$ is uniquely determined by a measured lamination on $§$; it is a leafwise earthquake with the leafwise earthquake measure equal to the leafwise measured lamination. Leafwise earthquakes fit together to produce a new hyperbolic metric on $§$ which is transversely continuous and we show that any two hyperbolic metrics on $§$ are connected by an earthquake. We also esta…
We highlight several analogies between the Finsler (infinitesimal) properties of Teichmüller's metric and Thurston's asymmetric metric on Teichmüller space. Thurston defined his asymmetric metric in analogy with Teichmüllers' metric, as a solution to an extremal problem, which consists, in the case of the asymmetric metric, of finding the best Lipschitz maps in the hoomotopy class of homeomorphisms between two hyperbolic surface. (In the Teichmüller metric case, one searches for the best quasiconformal map between two conformal surfaces.) It turns out also that some properties of Thurston's as…
