We generalize work by Bourgain and Kontorovich [On the local-global conjecture for integral Apollonian gaskets, Invent. Math. 196 (2014), 589–650] and Zhang [On the local-global principle for integral Apollonian 3-circle packings, J. Reine Angew. Math. 737, (2018), 71–110], proving an almost local-to-global property for the curvatures of certain circle packings, to a large class of Kleinian groups. Specifically, we associate in a natural way an infinite family of integral packings of circles to any Kleinian group ${\mathcal{A}}\leqslant \text{PSL}_{2}(K)$ satisfying certain conditions, where $K$ is an imaginary quadratic field, and show that the curvatures of the circles in any such packing satisfy an almost local-to-global principle. A key ingredient in the proof is that ${\mathcal{A}}$ possesses a spectral gap property, which we prove for any infinite-covolume, geometrically finite, Zariski dense Kleinian group in $\operatorname{PSL}_{2}({\mathcal{O}}_{K})$ containing a Zariski dense subgroup of $\operatorname{PSL}_{2}(\mathbb{Z})$.

We prove a bound relating the volume of a curve near a cusp in a complex ball quotient $X=\mathbb{B}/\unicode[STIX]{x1D6E4}$ to its multiplicity at the cusp. There are a number of consequences: we show that for an $n$-dimensional toroidal compactification $\overline{X}$ with boundary $D$, $K_{\overline{X}}+(1-\unicode[STIX]{x1D706})D$ is ample for $\unicode[STIX]{x1D706}\in (0,(n+1)/2\unicode[STIX]{x1D70B})$, and in particular that $K_{\overline{X}}$ is ample for $n\geqslant 6$. By an independent algebraic argument, we prove that every ball quotient of dimension $n\geqslant 4$ is of general type, and conclude that the phenomenon famously exhibited by Hirzebruch in dimension 2 does not occur in higher dimensions. Finally, we investigate the applications to the problem of bounding the number of cusps and to the Green–Griffiths conjecture.

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 prove some general results about quasi-actions on trees and define Property (QFA), which is analogous to Serre's Property (FA), but in the coarse setting. This property is shown to hold for a class of groups, including SL$(n,\mathbb{Z})$ for $n\geq 3$. We also give a way of thinking about Property (QFA) by breaking it down into statements about particular classes of trees.

We describe the Zariski closure of the geometric realization of Coxeter groups. When the Coxeter system is irreducible and the Tits form B non-positive and non-degenerate, this Zariski closure is equal to the orthogonal group of B.