The continuity of convex cores with respect to the geometric topology (Q2583310)

Let \(M\) be a hyperbolic 3-manifold. Consider all convex submanifolds which are deformation retracts of \(M\). The minimal element \(C(M)\) among such submanifolds is called \textit{the convex core} of \(M\). The main goal of the paper is to obtain sufficiently weak conditions, under which geometric convergence of Kleinian groups \(G_i\to G_\infty\) implies geometric convergence of the convex cores \(C({\mathbb H}^3/G_i)\to C({\mathbb H}^3/G_\infty)\). In the previous papers by \textit{T. Jørgensen} and \textit{A. Marden} [Math. Scand. 66, No. 1, 47--72 (1990; Zbl 0738.30032)], and \textit{J. W. Anderson} and \textit{R. D. Canary} [Invent. Math. 126, No. 2, 205--214 (1996; Zbl 0874.57012)] it was proved that it is true (under some additional conditions) if (a) \(G_\infty\) is geometrically finite, or (b) the algebraic limit of \(G_i\) has no additional parabolic elements. In the paper it is not supposed that (a) or (b) is fulfilled. We cite below the main result. A Kleinian group is \textit{freely indecomposable relative to the parabolic subgroups} if for any nontrivial free product decomposition \(G=A\ast B\) there is a parabolic element whose conjugates are contained neither in \(A\) nor in \(B\). A Kleinian group has \textit{double trouble} if there are two simple closed curves on the boundary of \(C({\mathbb H}^3/G)\), non homotopic to each other on \(\partial C({\mathbb H}^3/G)\), which represent the same parabolic class contained in a parabolic group isomorphic to \({\mathbb Z}\times {\mathbb Z}\). Theorem 1.1. Let \(G\) be a geometrically finite torsion free Kleinian group. Suppose that \(G\) is freely indecomposable relative to the parabolic subgroups and does not have double trouble. Let \(\{(G_i,\phi_i)\}\) be a sequence of (possibly geometrically infinite) Kleinian groups with isomorphisms \(\phi_i:G\to G_i\) mapping parabolic elements to parabolic elements, which converges algebraically to a Kleinian group \((\Gamma,\psi)\). Let us choose conjugates of \(G_i\) so that \(\{\phi_i\}\) converges to \(\psi\) as representations and let \(G_\infty\) be a geometric limit of \(\{G_i\}\), which is known to exist if we extract a subsequence. Then the convex cores \(C({\mathbb H}^3/G_i)\) converges geometrically to the convex core \(C({\mathbb H}/G_\infty)\) in the sense of Gromov as subspaces of \({\mathbb H}^3/G_i)\) and \({\mathbb H}/G_\infty\). Under the assumptions of Theorem 1.1 the limit sets \(\Lambda_{G_i}\) converge to \(\Lambda_{G_\infty}\) with respect to the Hausdorff topology on \(S_\infty^2\) (Corollary 1.2).