Most manifolds are hyperbolic?

Question

I heard the claim as in the title for a long time, but can not find the precise reference for this claim, what's the reference with proof for this claim? Thanks for the help. To be more precise, is there a canonical topology structure on the space $\Omega$ of all compact $n$-dim smooth manifolds, such that for any compact smooth $n$-dim manifold $M^n$, any neighborhood $U$ of $M^n$ in $\Omega$, there is a $n$-dim smooth manifold $N^n\in U$ such that $N^n$ admits a Riemannian metric with curvature equal to $-1$. Everything in my mind is just Riemannian hyperbolic, no complex structure involved.

Answer 1

The quotes are from Thurston's survey paper Three dimensional manifolds, kleinian groups and hyperbolic geometry page 362:

2.6. THEOREM [Th 1]. Suppose $L \subset M^3$ is a link such that $M — L$ has a hyperbolic structure. Then most manifolds obtained from $M$ by Dehn surgery along $L$ have hyperbolic structures. In fact, if we exclude, for each component of $L$, a finite set of choices of identification maps (up to the appropriate equivalence relation as mentioned above), all the remaining Dehn surgeries yield hyperbolic manifolds.

 

Every closed 3-manifold is obtained from the three-sphere $S^3$ by Dehn surgery along some link whose complement is hyperbolic, so in some sense Theorem 2.6 says that most 3-manifolds are hyperbolic.

Answer 2

In two dimensions, most oriented manifolds are hyperbolic (since the only non-hyperbolic ones are $S^2$ and $T^2.$ In three dimensions, there are a number of models for random manifolds, and in most of them the vast majority of the manifolds obtained are hyperbolic. For example, a random mapping torus is hyperbolic, because a random surface automorphism is pseudo-Anosov (this is independently due to Joseph Maher and myself), a random Heegaard splitting is hyperbolic (Maher) (see my paper for more). It should be noted that people do not believe that these are "accurate" models of random 3-manifolds. As a negative statement, it is known that if you order knots by number of crossings, and you pick one of the first $N$ uniformly at random, then a random knot is not hyperbolic (there is a positive proportion of non-hyperbolic ones).

Answer 3

What is certainly true is that manifolds with hyperbolic-like properies are more common that one might naively suspect after taking a course in higher dimensional topology.

For example, the Gromov-Charney-Davis hyperbolization shows that for any closed smooth $n$-manifold $M$ there is a closed smooth $n$-manifold $N$ with (word)-hyperbolic fundamental group and a degree one map $f: N\to M$ such that $f$ is surjectve on homology and the fundamental group, and pulls back the rational Pontryagin classes. Ontaneda's recent work implies that for any $\epsilon>0$ the manifold $N$ can be chosen to admit a Riemannian metric of curvature within $[-1-\epsilon, -1]$.

Answer 4

Some answers here explain why in small dimensions being hyperbolic is generic. Maybe surprisingly, in some sense being hyperbolic is actually rare in higher dimensions (while in other senses it is generic, as Igor Belegradek explains in his answer).

In "Counting hyperbolic manifolds" Burger-Gelnader-Lubotzky-Mozes proved that for $d\geq 4$ there is a constant $c(d)$ such that for $V$ large enough, the number of $d$-dimensional hyperbolic manifolds of volume at most $V$ is bounded by $V^{c(d)V}$.

Note that by Mostow Rigidity, a given manifold carries at most one hyperbolic structure, and if it does, this manifold is completely determinded by its fundamental group. What BGLM do is actually counting possible fundamental groups.

On the contrary, in dimension 3 there exist infinitely many different (pairwise non-homeomorphic) compact hyperbolic manifolds of uniformly bounded volume (examples could be obtained by Dehn filling a knot complement). By taking a product with a $(d-3)$-dimensional torus, one sees that also changing "hyperbolic" to "non-positively curved" (sectional curvature in $[-1,0]$) gives infinitely many compact manifolds of uniformly bounded volume.

Maybe I should (and maybe I shouldn't) note that one can generalize the above counting result to the realm of all pinched negatively curved manifolds of dimension $\geq 5$. We do this in a forthcoming paper with Gelander and Sauer. For this one should relay on Farrel-Jones Theorem instead of Mostow Rigidity.

Answer 5

Although this does not answer your question, there are partial answers in dimension 3.

For example, if you construct an orientable 3-manifold via a random Heegaard splitting (constructing the gluing map as a product of Dehn twists, this is where the "random" part comes in) then most 3-manifolds are hyperbolic.

https://arxiv.org/abs/0809.4881

On a contrary note, I think the answer to your question will depend heavily on how you consider your manifolds to be generated. Some processes are biased towards things like hyperbolic manifolds. Others have drastically different biases. In that regard I don't think there is any one answer to your question.