# What’s new on the ArXiv: 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.