A locally hyperbolic 3-manifold that is not hyperbolic

A preprint with a new example shows that the understanding of infinitely generated Kleinian groups will be more complicated than for the finitely generated ones.

Cremaschi: A locally hyperbolic 3-manifold that is not hyperbolic, https://arxiv.org/pdf/1711.11568

By the proofs of hyperbolization and tameness, one knows precisely which irreducible 3-manifolds with finitely generated fundamental groups admit hyperbolic metrics: they have to be atoroidal and have infinite fundamental group.

The study of hyperbolic 3-manifolds with infinitely generated fundamental group is more involved. For example there are Cantor sets in the 3-sphere such that the complement admits a complete hyperbolic metric. (J. South, M. Store: A Cantor set with hyperbolic complement, Conformal Geometry and Dynamics 17, 58-67, 2013.)

For irreducible 3-manifolds \(M\) with infinitely generated fundamental group \(\Gamma \) one has two necessary conditions for hyperbolization:
* \(\Gamma \) has to be divisible, i.e., for every \(\gamma\in \Gamma \) there are infinitely many (distinct) \(\alpha\in\Gamma \) such that \(\alpha^n=\gamma\) for some $n$, and
* \(M=\Gamma\backslash {\bf H}^3 \) has to be locally hyperbolic, i.e., every cover with finitely generated fundamental group has to be hyperbolic.

One may wonder whether these conditions are already sufficient or whether there exist 3-manifolds satisfying both conditions without being hyperbolic. (This question is attributed to Agol.)

The new paper shows that such a manifold indeed exists. The example \(M_\infty\) is the thickening of the 2-complex obtained from gluing to an infinite annulus \(A \) countably many copies \(\Sigma_i\) of a genus 2 surface \(\Sigma\) such that each \(\Sigma_i\) is glued to \(S^1\times\left\{i\right\}\). The surfaces \(\Sigma_{\pm i}\) cobound a hyperbolizable manifold, which can be used to prove that \(M_\infty\) is locally hyperbolic. On the other hand, the infinite annulus \(A \) is used to show that \(M_\infty\) cannot be hyperbolic.