MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If we have a Riemann surface with punctures of negative Euler characterstisc, how can one define a complete hyperbolic metric?

I know that in this case the universal cover is the hyperbolic plane and it has a complete metric. Do we project this metric to the puntured surface? If so, why is it complete?

I will deeply appreciate if somebody gives an example or a good reference.

share|cite|improve this question
up vote 5 down vote accepted

A good reference for this is, say, Kobayashi and Nomizu "Foundations of Differential Geometry". The result you are looking for is: If $M$ is a complete Riemannian manifold and $p: M\to M'$ is a (locally) isometric covering map to another Riemannian manifold, then $M'$ is also complete. To prove this note that every geodesic in $M'$ lifts to a geodesic in $M$. Since geodesics in $M$ extend to bi-infinite geodesics, you conclude that $M'$ is geodesically complete. Now, use Hopf-Rinow Theorem. Actually, several converse statements to this are also true, e.g., if both $M, M'$ are complete and $p: M\to M'$ is a locally-isometric map, then $p$ is a covering map. A proof of this is a bit more difficult.

share|cite|improve this answer

To see how you get complete metrics, you should know enough about hyperbolic geometry to know what an ideal triangle is. Once you do, note that any triangulation can be made of ideal triangles (usually in more than one way). Checking completeness is then a mildly challenging exercise. I would suggest you look at Bill Thurston's book, as well as Beardon's "Geometry of Discrete groups", and S. Katok's little book (as suggested elsewhere by @Sue).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.