---
title: Cannon–Thurston Map in Hyperbolic Geometry
url: https://www.emergentmind.com/topics/cannon-thurston-map
type: topic
---

# Cannon–Thurston Map in Hyperbolic Geometry

A Cannon–Thurston map is a continuous extension to the boundary of a proper map between Gromov-hyperbolic spaces, most commonly the inclusion of a hyperbolic subgroup into a hyperbolic group or the inclusion of a lifted surface into hyperbolic \(3\)-space. In group-theoretic form, if \(H\leq G\) are hyperbolic and \(i:\Gamma_H\to \Gamma_G\) is the induced inclusion of Cayley graphs, the question is whether \(i\) extends continuously to \(\partial H\to \partial G\). In Kleinian and \(3\)-manifold settings, the resulting boundary map can be a sphere-filling curve whose fibers encode ending laminations; in geometric group theory more broadly, existence reflects precise control of intrinsic and ambient geodesics. The subject therefore sits at the intersection of boundary topology, subgroup distortion, convergence dynamics, and the asymptotic geometry of hyperbolic spaces [1712.00760]. At the same time, hyperbolicity of both subgroup and ambient group is not enough: Cannon–Thurston maps do not exist for all hyperbolic subgroup inclusions [1206.0505].

## 1. Definition and coarse-geometric criterion

Suppose \(Y\) and \(X\) are Gromov-hyperbolic spaces and \(i:Y\to X\) is a proper map. Writing \(\widehat Y=Y\cup \partial Y\) and \(\widehat X=X\cup \partial X\) for the Gromov compactifications, a Cannon–Thurston map is a continuous extension
\[
\hat i:\widehat Y\to \widehat X,
\]
and its boundary restriction is
\[
\partial i:\partial Y\to \partial X.
\]
For hyperbolic groups this specializes to the inclusion of Cayley graphs
\[
i:\Gamma_H\to \Gamma_G
\]
for a hyperbolic subgroup \(H\leq G\), and the existence problem becomes whether inclusion extends continuously to \(\partial H\to \partial G\) [1712.00760].

A standard source of positive examples is quasiconvexity. If \(H\) is quasiconvex in \(G\), then inclusion is a quasi-isometric embedding, so the boundary map exists in the standard way. The interest of Cannon–Thurston theory lies in distorted settings, where the word metric on \(H\) and the metric induced from \(G\) may differ drastically, and there is no automatic reason that a sequence converging to a point of \(\partial H\) should define a consistent point of \(\partial G\) [1206.0505].

A decisive general criterion is due to Mitra. Let \(H\) be a hyperbolic subgroup of a hyperbolic group \(G\), and choose generating sets so that the Cayley graph \(X_H\) is a subgraph of \(X_G\). For each \(N\), define \(M(N)\) to be the infimal number such that whenever \(\lambda\) is a geodesic in \(X_H\) lying outside the ball of radius \(N\) about the identity \(e\) in \(X_H\), every geodesic in \(X_G\) connecting the endpoints of \(\lambda\) lies outside the ball of radius \(M(N)\) about \(e\) in \(X_H\). Then
\[
\partial H\to\partial G \text{ exists} \quad\Longleftrightarrow\quad M(N)\to\infty \text{ as }N\to\infty.
\]
This criterion reduces boundary continuity to a coarse comparison of intrinsic and ambient geodesics, and it underlies both existence and non-existence results across the subject [1206.0505].

## 2. Origins in hyperbolic \(3\)-manifolds and Kleinian groups

The subject began with the theorem of Cannon and Thurston for a closed hyperbolic \(3\)-manifold \(M\) fibering over the circle with fiber a closed hyperbolic surface \(\Sigma\). If \(\widetilde\Sigma\cong \mathbb H^2\) and \(\widetilde M\cong \mathbb H^3\), the inclusion
\[
\widetilde i:\widetilde\Sigma\to \widetilde M
\]
extends continuously to
\[
\hat i:\mathbb D^2\to \mathbb D^3.
\]
In this case the boundary map is an equivariant Peano curve \(S^1\to S^2\), and the image is the limit set. This original example established that even highly distorted embeddings can admit remarkably structured boundary extensions [1712.00760].

The Kleinian-group theory that followed made Cannon–Thurston maps central to the study of limit sets and ending laminations. Mahan Mj proved that Cannon–Thurston maps exist for degenerate free groups without parabolics, i.e. handlebody groups, and then for arbitrary finitely generated Kleinian groups without parabolics; more generally, the argument works whenever each degenerate end admits a bi-Lipschitz Minsky model. In the free or handlebody case, if
\[
\hat i:\widehat{\Gamma_G}\to \mathbb D^3
\]
is the extension of the orbit map, then for \(a\neq b\in \partial \Gamma_G\),
\[
\partial i(a)=\partial i(b)
\]
if and only if \(a,b\) are either the ideal endpoints of a leaf of an ending lamination of \(G\), or ideal boundary points of a complementary ideal polygon. In the general finitely generated Kleinian case, fibers are given by the transitive closure of the relations arising from lifts of ending laminations of degenerate ends [1002.0996].

The punctured-surface case with parabolics exhibits the same principle. For a simply degenerate punctured surface group without accidental parabolics, the Cannon–Thurston map
\[
\partial i:S^1_\infty\to \partial \widetilde M
\]
identifies two distinct points if and only if they are ideal endpoints of a leaf of the ending lamination, or ideal boundary points of a complementary ideal polygon. Thus the non-injectivity of the boundary map is controlled exactly by the ending lamination, even in the presence of cusps [1002.2090].

These results have major topological consequences. In the classical surface-group setting, the existence of the boundary extension is tied to local connectivity of the limit set. The survey literature presents Cannon–Thurston maps as a mechanism by which dynamics on the sphere at infinity determine geometry in the interior, with ending laminations appearing as the exact source of boundary identifications [1712.00760].

## 3. Extensions, laminations, and dendritic quotients

A second major axis of the theory concerns hyperbolic group extensions
\[
1\to H\to G\to Q\to 1.
\]
When \(H\), \(G\), and \(Q\) are infinite word-hyperbolic groups, Mitra proved that the inclusion \(H\hookrightarrow G\) extends continuously to
\[
\partial i:\partial H\to \partial G.
\]
He also associated to each \(z\in \partial Q\) an ending lamination \(\Lambda_z\subseteq \partial^2 H\), and showed that for distinct \(u,v\in \partial H\),
\[
\partial i(u)=\partial i(v)\iff (u,v)\in \Lambda=\bigcup_{z\in\partial Q}\Lambda_z.
\]
This gives an algebraic analogue of the ending-lamination theory from Kleinian groups [1907.06271].

Elizabeth Field refined this direction by isolating the topology of the identifications associated to a single boundary direction \(z\in\partial Q\). For each \(z\), the quotient of \(\partial H\) by the equivalence relation generated by \(\Lambda_z\),
\[
\partial H/\Lambda_z,
\]
is homeomorphic to a dendrite. More precisely, the one-sided Cannon–Thurston map to the boundary of a semi-infinite hyperbolic stack has fibers exactly \(\Lambda_z\), and Bowditch’s theorem implies that the target boundary is a dendrite. The conclusion is that the quotient of \(\partial H\) by the \(z\)-ending-lamination identifications is a compact, connected, locally connected, metrizable, uniquely arc-connected, loop-free continuum [1907.06271].

For hyperbolic free-group extensions
\[
1\to F_N\to E_\Gamma\to \Gamma\to 1,
\]
with \(\Gamma\le \mathrm{Out}(F_N)\) purely atoroidal and convex cocompact, the theory becomes especially explicit. The Cannon–Thurston map
\[
\partial\iota:\partial F_N\to \partial E_\Gamma
\]
exists and is surjective. For each \(z\in \partial \Gamma\), there is a free arational tree \(T_z\) such that Mitra’s ending lamination \(\Lambda_z\) agrees with the dual lamination \(L(T_z)\). Hence
\[
\partial\iota(p)=\partial\iota(q)\iff (p,q)\in L(T_z)\text{ for some }z\in\partial\Gamma.
\]
This identifies \(\partial E_\Gamma\) as the quotient of \(\partial F_N\) obtained by collapsing the leaves of the dual laminations \(L(T_z)\), and it yields the uniform multiplicity bound
\[
1\le \deg(y)\le 2N
\]
for every \(y\in \partial E_\Gamma\) [1506.06974].

A further general structural result is that in most known settings in which a Cannon–Thurston map exists—normal hyperbolic subgroups of hyperbolic groups, trees of hyperbolic spaces satisfying the qi-embedded condition, and hyperbolic metric graph bundles—the map is uniformly finite-to-one. This generalizes previous finiteness theorems of Cannon–Thurston, Kapovich–Lustig, Dowdall–Kapovich–Taylor, and Ghosh, and gives an affirmative answer to Swarup’s question for trees of hyperbolic spaces [2603.22428].

## 4. Failure of existence and ray-versus-continuity phenomena

For many years positive examples suggested that Cannon–Thurston maps might be a robust phenomenon for hyperbolic subgroup inclusions. Baker and Riley disproved this in decisive form. They constructed an explicit hyperbolic group
\[
G=\left\langle a,b,c_1,c_2,d_1,d_2 \mid \cdots \right\rangle
\]
and a free subgroup
\[
H=\langle b,d_1,d_2\rangle\cong F_3
\]
such that the inclusion \(H\hookrightarrow G\) does not extend continuously to a map
\[
\partial H\to \partial G.
\]
The ambient group is hyperbolic by a \(C'(1/6)\) small-cancellation argument, the subgroup is free of rank \(3\), and the obstruction is detected by Mitra’s criterion: there are geodesics in \(H\) staying arbitrarily far from the identity while ambient geodesics between the same endpoints pass through the identity [1206.0505].

This non-existence phenomenon is not isolated. Matsuda and Oguni showed that for every non-elementary hyperbolic group \(G\), one can embed \(G\) into another hyperbolic group \(G'\) so that no Cannon–Thurston map
\[
\partial G\to \partial G'
\]
exists, and more generally the same phenomenon occurs for every non-elementary relatively hyperbolic group with Bowditch boundaries. Their construction imports the Baker–Riley obstruction by amalgamating over a rank-\(3\) free subgroup [1206.5868].

Recent work has further separated pointwise ray landing from continuity of the full boundary map. Halder–Mj–Sardar introduced the notion of a ray Cannon–Thurston map: every geodesic ray in \(H\) starting at the identity lands at a unique point of \(\partial G\), giving a set-theoretic map
\[
\partial i_r:\partial H\to \partial G.
\]
They proved that a ray Cannon–Thurston map may exist even when the inclusion does not extend continuously to a genuine Cannon–Thurston map. A central criterion shows that if two distinct landing rays of \(H\) have the same ambient endpoint and one is an ambient quasigeodesic, then \((H,G)\) is not a CT pair. Their constructions recover a simple counterexample already lying at the heart of Baker–Riley’s examples and produce large new classes with “all rays land uniquely” but “no continuous boundary extension” [2503.17815].

## 5. Distortion, fibers, and dynamical consequences

Subgroup distortion and Cannon–Thurston existence interact in a subtle way. Hyperbolic hydra provide a family of hyperbolic groups \(\Lambda_k\hookrightarrow \Gamma_k\) in which the subgroup distortion grows at least like the \(k\)-th Ackermann function, yet the Cannon–Thurston map
\[
\partial \Lambda_k\to \partial \Gamma_k
\]
exists for every \(k\). These examples show that Cannon–Thurston maps can exist in the presence of arbitrarily heavy primitive recursive distortion. At the same time, the boundary maps are quantitatively wild: if \(\varepsilon\) denotes the modulus of continuity, then for \(k\ge 3\),
\[
\varepsilon\left(\frac{1}{A_{k-1}(n)}\right)\ge \frac1n
\]
for all sufficiently large \(n\) [1209.0815].

The structure of fibers has strong dynamical implications. In a very general setting, let \(G\) be a non-elementary word-hyperbolic group acting as a convergence group on a compact metrizable space \(Z\), and let
\[
i:\partial G\to Z
\]
be a Cannon–Thurston map. Then if \(|i^{-1}(z)|>1\), the point \(z\) is not a conical limit point. More sharply, under the extra assumption that the action on \(Z\) has no accidental parabolics, if the map \(i\) is not injective, then there exists a non-conical limit point \(z\in Z\) with
\[
|i^{-1}(z)|=1.
\]
Thus noninjectivity forces subtle dynamical pathologies not visible from multiple fibers alone [1401.2638].

A measure-theoretic refinement appears in the classical fibered \(3\)-manifold setting. For a closed hyperbolic \(3\)-manifold fibering over the circle, the Cannon–Thurston map
\[
S^1_\infty\to S^2_\infty
\]
is surjective, finite-to-one, and space-filling, but pushforwards of many natural measures on \(S^1_\infty\) are mutually singular with respect to many natural measures on \(S^2_\infty\). The mechanism is geometric: geodesics sampled with respect to a pushforward measure spend a definite positive proportion of time close to a lifted fiber, while geodesics sampled with respect to Lebesgue measure or hitting measures from geometric random walks on the \(3\)-manifold group spend an asymptotically negligible proportion of time there. This shows that topological regularity of the boundary map does not imply measure-theoretic regularity [2510.04350].

## 6. Variants, boundary choices, and newer constructions

The formalism of Cannon–Thurston maps extends well beyond subgroup inclusions of hyperbolic groups, but the correct boundary is highly sensitive to the category under consideration. For CAT(0) groups with isolated flats, visual boundaries behave very differently from Bowditch boundaries. In that setting, visual-boundary Cannon–Thurston maps do not exist for infinite normal hyperbolic subgroups of non-hyperbolic CAT(0) groups with isolated flats, and they also do not exist for infinite infinite-index normal CAT(0) subgroups with isolated flats inside non-hyperbolic CAT(0) groups with isolated flats. The obstruction comes from flats: an element may act with North–South dynamics on the subgroup boundary but by translation on a flat in the ambient CAT(0) space, producing incompatible boundary dynamics [1810.13285].

Coxeter groups provide a different geometric realization. For a Coxeter group \(W\) whose associated bilinear form has signature \((n-1,1)\), the normalized action on an ellipsoid endowed with the Hilbert metric yields a \(W\)-equivariant continuous surjection
\[
F:\partial_G W\to A(W),
\]
from the Gromov boundary of \(W\) to the limit set of \(W\). In this setting the limit set coincides with the set of accumulation points of roots. The later treatment including affine special subgroups shows that the map persists in the cuspidal case, though it need not be injective at cusp points [1312.5017].

Recent work has also produced genuinely new kinds of Cannon–Thurston constructions. For the weak unstable foliation \(W^u\) of a non-\(\mathbb R\)-covered Anosov flow on a closed hyperbolic \(3\)-manifold, the leftmost universal circle \(C^\ell\) admits a continuous, surjective, \(\pi_1(M)\)-equivariant map
\[
CT:C^\ell\to S^2_\infty.
\]
Here the domain is not the boundary of a single hyperbolic plane or the boundary of a flow space, but a universal circle built from branching foliation data. This gives a new type of Cannon–Thurston map and implies pseudo-Anosov-type dynamics for the \(\pi_1(M)\)-action on \(C^\ell\) [2604.21201].

Taken together, these developments define the modern scope of Cannon–Thurston theory. In favorable settings the maps exist, are often uniformly finite-to-one, and their fibers are governed by ending laminations, dual laminations, or dendritic quotients. In unfavorable settings even hyperbolicity on both sides can fail to force continuity. The central question has therefore shifted from whether boundary maps exist in general to which geometric hypotheses make the asymptotic geometry of the subgroup and ambient space compatible enough for a continuous extension.

Source: https://www.emergentmind.com/topics/cannon-thurston-map