We give a complete proof of the Bers–Sullivan–Thurston density conjecture. In the light of the ending lamination theorem, it suffices to prove that any collection of possible ending invariants is realized by some algebraic limit of geometrically finite hyperbolic manifolds. The ending invariants are either Riemann surfaces or filling laminations supporting Masur domain measured laminations and satisfying some mild additional conditions. With any set of ending invariants we associate a sequence of geometrically finite hyperbolic manifolds and prove that this sequence has a convergent subsequence. We derive the necessary compactness theorem combining the Rips machine with non-existence results for certain small actions on real trees of free products of surface groups and free groups. We prove then that the obtained algebraic limit has the desired conformal boundaries and the property that none of the filling laminations is realized by a pleated surface. In order to be able to apply the ending lamination theorem, we have to prove that this algebraic limit has the desired topological type and that these non-realized laminations are ending laminations. That this is the case is the main novel technical result of this paper. Loosely speaking, we show that a filling Masur domain lamination which is not realized is an ending lamination.

We prove three new monotonicity formulas for manifolds with a lower Ricci curvature bound and show that they are connected to rate of convergence to tangent cones. In fact, we show that the derivative of each of these three monotone quantities is bounded from below in terms of the Gromov–Hausdorff distance to the nearest cone. The monotonicity formulas are related to the classical Bishop–Gromov volume comparison theorem and Perelman’s celebrated monotonicity formula for the Ricci flow. We will explain the connection between all of these.

We prove a quantitative bi-Lipschitz non-embedding theorem for the Heisenberg group with its Carnot–Carathéodory metric and apply it to give a lower bound on the integrality gap of the Goemans–Linial semidefinite relaxation of the sparsest cut problem.

Building on [BB1] we prove a general criterion for convergence of (possibly singular) Bergman measures towards pluripotential-theoretic equilibrium measures on complex manifolds. The criterion may be formulated in terms of the growth properties of the unit-balls of certain norms on holomorphic sections, or equivalently as an asymptotic minimization property for generalized Donaldson$L$-functionals. Our result settles in particular a well-known conjecture in pluripotential theory concerning the equidistribution of Fekete points and it gives the convergence of Bergman measures towards the equilibrium measure for Bernstein-Markov measures. Applications to interpolation of holomorphic sections are also discussed.

Durhuus and Jonsson (1995) introduced the class of “locally constructible” (LC) 3-spheres and showed that there are only exponentially many combinatorial types of simplicial LC 3-spheres. Such upper bounds are crucial for the convergence of models for 3D quantum gravity.