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

Dear all, I am looking for a reference to a proof of the following well-know fact (cited for example by B.Farb in ``Relatively hyperbolic groups'', Geom. Funct. Anal. 8 (1998), no. 5, 810--840).

Suppose $X$ is the universal covering of a negatively curved Riemannian manifold, let $O$ be an open horoball in $X$ and let $H=\partial O$ be the horospherical boundary of $O$. Also suppose that $\gamma\colon [0,1]\to X\setminus O$ is a rectifiable path such that $d(\gamma (t), H)\geq k>0$ for every $t\in [0,1]$, and let $\pi\colon X\setminus O\to H$ the (well-defined) nearest-point projection. Then, there exists $\alpha>0$ (only depending on the curvature of $X$) such that the length $L(\pi\circ\gamma)$ of $\pi\circ\gamma$ is bounded above by $e^{-\alpha k} L(\gamma)$.

Of course, this fact can be reduced to the computation of the Lipschitz constant of the projection of a horosphere onto another horosphere having the same basepoint. When $X$ is the real hyperbolic $n$-space, such a computation is very easy, and it is likely that the variable curvature case can be reduced to the hyperbolic case via some comparison theorem. However, I was wondering if there is some standard reference I could rely on.

share|cite|improve this question
I would write "Applying the comparison for triangle one which vertex running to infinity, we get ..." – Anton Petrunin May 31 '10 at 18:15
Yes, probably it is not too difficult to make such an argument work. Anyway, a little issue arises since one egde of the comparison triangles involved is not geodesic, but lies on a horosphere... – Roberto Frigerio Jun 1 '10 at 7:50
Dear Anton, on second thoughts I think your approach can easily lead to a solution. Even if the edge staying far from the infinity is not geodesic, one can approximate $\gamma$ and $\pi\circ\gamma$ with suitable ``polygonal'' paths approximating the length, then use your argument on the small segments, and finally put the estimates together. – Roberto Frigerio Jun 7 '10 at 12:34
up vote 3 down vote accepted

Try Geometry of horospheres by Heintze and Im Hof.

share|cite|improve this answer
Thank you for the reference. In the meantime, a student of mine has written down a detailed proof using comparison theorems and looking at how one can pass to the limit when one vertex tends to infinity. This approach has the advantage that it works is general for CAT(-1) spaces. – Roberto Frigerio Jun 15 '10 at 18:07
Heintze-Im Hof's paper certainly treats similar issues but does it contain an answer to your specific question? Where exactly? You may find relevant the paper of Bowditch "Geometric finiteness with variable negative curvature" where in section 2 he discusses similar issues, but again not your specific question. – Igor Belegradek Jun 15 '10 at 18:51

I think you can find this in Chapter II.8 of Bridson and Haefliger.

share|cite|improve this answer
I gave a look therebut I didn't find the required estimate. It seems to me that in II.8 Bridson and Haefliger treat the general case of CAT(0) metric spaces, while I would need a result about CAT(-1) metric spaces. – Roberto Frigerio May 31 '10 at 16:57
I thought it followed from what they do there, possibly throwing in strict convexity of the distance function. Perhaps I'm mistaken. – Matthew Stover May 31 '10 at 17:54

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.