We show that Cannon–Thurston maps exist for degenerate free groups without parabolics, that is, 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 endpoints of leaves of an ending lamination in the Masur domain, whenever a point has more than one pre-image. This proves a conjecture of Otal. We also prove a similar result for point pre-images under Cannon–Thurston maps for arbitrary finitely generated Kleinian groups without parabolics.

We introduce coarse flow spaces for relatively hyperbolic groups and use them to verify a regularity condition for the action of relatively hyperbolic groups on their boundaries. As an application the Farrell–Jones conjecture for relatively hyperbolic groups can be reduced to the peripheral subgroups (up to index-2 overgroups in the $L$-theory case).

We give a generalized and self-contained account of Haglund–Paulin’s wallspaces and Sageev’s construction of the CAT(0) cube complex dual to a wallspace. We examine criteria on a wallspace leading to finiteness properties of its dual cube complex. Our discussion is aimed at readers wishing to apply these methods to produce actions of groups on cube complexes and understand their nature. We develop the wallspace ideas in a level of generality that facilitates their application. Our main result describes the structure of dual cube complexes arising from relatively hyperbolic groups. Let $H_1,\ldots, H_s$ be relatively quasiconvex codimension-1 subgroups of a group $G$ that is hyperbolic relative to $P_1, \ldots, P_r$. We prove that $G$ acts relatively cocompactly on the associated dual CAT(0) cube complex $C$. This generalizes Sageev’s result that $C$ is cocompact when $G$ is hyperbolic. When $P_1,\ldots, P_r$ are abelian, we show that the dual CAT(0) cube complex $C$ has a $G$-cocompact CAT(0) truncation.

We show that every non-elementary hyperbolic group $\G $ admits a proper affine isometric action on $L^p(\bd \G \times \bd \G )$, where $\bd \G $ denotes the boundary of $\G $ and $p$ is large enough. Our construction involves a $\G $-invariant measure on $\bd \G \times \bd \G $ analogous to the Bowen–Margulis measure from the ${\rm CAT}(-1)$ setting, as well as a geometric, Busemann-type cocycle. We also deduce that $\G $ admits a proper affine isometric action on the first $\ell ^p$-cohomology group $H^1_{(p)}(\G )$ for large enough $p$.

We prove that simple, thick hyperbolic P-manifolds of dimension at least three exhibit Mostow rigidity. We also prove a quasi-isometry rigidity result for the fundamental groups of simple, thick hyperbolic P-manifolds of dimension at least three. The key tool in the proof of these rigidity results is a strong form of the Jordan separation theorem, for maps from $S^n\rightarrow S^{n+1}$ which are not necessarily injective.