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

Consider the Poincare half plane model for the n-dimensional hyperbolic space $\mathbb{H}^n$. $\mathbb{H}^n$ can be constructed out of $\mathbb{R}^{n-1}$ by crossing it with $(0;\infty)$ and equpping the product with the following metric:

Let $\gamma=(\gamma_1,\gamma_2)$ be a path $[0;t]\rightarrow \mathbb{R}^{n-1}\times (0;\infty)$ such that $\gamma_1$ is parametrized by arclength. Then define its length to be


Then define the distance of two points as the infimum over the length of all paths connecting them. (Hopefully it is really a metric).

So one could perform this construction on any geodesic metric space. Has this construction already been studied before?

Does this construction turn CAT(0) spaces into CAT(-1) spaces ?

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

This construction is called "parabolic cone" and indeed it turns CAT(0) spaces into CAT(-1). See this paper of Alexander and Bishop.

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.