Skip to main content
2 of 2
`\operatorname`, while this is on the front page
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Here is one example.

Let $M^3$ be a hyperbolic manifold. Consider the moduli space curvature $-1$ metrics on $M^3$ modulo $\operatorname{Diff}_0(M^3)$. This is a point. Conclusion: every diffeomorphism of $M^3\to M^3$ is homotopic to an isometry.

Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161