Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

This question is motivated by the results in this paper, In this paper some of its most important results about the asymptotics of symmetric traceless transverse harmonic rank-s tensors on $\mathbb{H}_n = EAdS_n$ in equations 2.27, 2.28, 2.88, 2.89 are all given in hyperbolic coordinates.

But for reasons of physics one wants to write $\mathbb{H}_n$ in the Poincare patch!

How does one convert between the two? Is there a known transformation?

  • In the hyperbolic model of $\mathbb{H}_n$ the space is thought of a zero-set in $\mathbb{R}^{n+1}$ of the equation, $x_0^2 - \sum_{i=1}^n x_i ^2 = a^2$ and then one uses the coordinates $y \in [0,\infty)$ and and $\vec{n} \in S^{n-1}$ to write, $x_0 = a cosh y$ and $\vec{x} = a \vec{n} sinh y$ and then the metric is, $ds^2 = a^2 [ dy^2 + sinh ^ 2 yd\Omega_{n-1}^2]$

Here $d\Omega_{n-1}^2$ is the standard metric on $S^{n-1}$.

(..and this is the metric in equation 2.15 in the linked paper..)

  • In the Poincare patch model of $\mathbb{H}_n$ it is thought of as the half-space $x_n > 0$ in $\mathbb{R}^n$ with the metric, $ds^2 = \frac{a^2}{z^2}(dz^2 + \sum_{i=1}^{n-1}dx_i^2 )$

I would like to know the transformation and the relation between these two models.

I believe that there is some function connecting the $y$ and the $z$ and then I can substitute that into 2.28 and 2.89 of the paper to see the asymptotics in the Poincare patch.

I am hoping the relationship is such that it relates large $y$ to small $z$...

share|cite|improve this question
Cross-posted to – Qmechanic Sep 20 '13 at 23:53
up vote 3 down vote accepted

I'm thinking in 2D, but the results should generalize to arbitrary dimensions.

You can use the point $(-1, 0, 0, \dots, 0)$ (which is the vertex of the unused sheet of the hyperboloid) as a projection center, and project onto the symmetry plane $x_0=0$. The image of the used sheet of the hyperboloid will be the disc $\left\{x\;\middle\vert\;x_0=0,\lVert x\rVert<1\right\}$ which then forms the Poincaré ball model of hyperbolic space.

From there you can go to the half-space model using the higher-dimensional analogon of a Möbius transformation, as discussed in this answer.

If you use $y$ for the coordinates in the Hyperboloid model, $x$ for coordinates in the ball model and $z$ for coordinates in the half-space model, you can write the two steps like this:

$$ \begin{pmatrix} y_0 \\ y_1 \\ y_2 \\ \vdots \\ y_{n-1} \\ y_n \end{pmatrix} \mapsto \frac1{y_0+1} \begin{pmatrix} y_1 \\ y_2 \\ \vdots \\ y_{n-1} \\ y_n \end{pmatrix} =: \begin{pmatrix} x_1 \\ x_2 \\ \vdots \\ x_{n-1} \\ x_n \end{pmatrix} \mapsto \frac{2}{1-2x_n+\lVert x\rVert^2} \begin{pmatrix}x_1\\x_2\\\vdots\\x_{n-1}\\1-x_n\end{pmatrix} - \begin{pmatrix}0\\0\\\vdots\\0\\1\end{pmatrix} =: \begin{pmatrix}z_1\\z_2\\\vdots\\z_{n-1}\\z_n\end{pmatrix} $$

Now you can combine them into a single formula:

$$ \begin{pmatrix} y_0 \\ y_1 \\ y_2 \\ \vdots \\ y_{n-1} \\ y_n \end{pmatrix} \mapsto \frac{2}{1+y_0-2y_n+\frac{\sum_{i=1}^n y_i^2}{1+y_0}} \begin{pmatrix}y_1\\y_2\\\vdots\\y_{n-1}\\1+y_0-y_n\end{pmatrix} - \begin{pmatrix}0\\0\\\vdots\\0\\1\end{pmatrix} =: \begin{pmatrix}z_1\\z_2\\\vdots\\z_{n-1}\\z_n\end{pmatrix} $$

share|cite|improve this answer
Thanks! Let me read that other answer. But what is the projection map that you use initially? – user6818 Sep 20 '13 at 20:21
@user6818: Included an explicit formula, hope this makes things clearer. – MvG Sep 20 '13 at 20:41
When you are projecting down into the disk in $\mathbb{R}^n$ are you still getting a hyperbolic metric there? Is it obvious that the coordinate transformations that you have done actually shift between the two metrics that I wrote down? What is worrying is that your $z_n$ seems to depend on the values of all the $y$s - whereas I would think that there would be a function $f$ such that $e^y = f(z)$ which would convert between my two metrics... – user6818 Sep 20 '13 at 23:20
I can map the hyperboloid model of $\mathbb{H}_n$ to a ball model in $\mathbb{R}^n$ by declaring, $u = \frac{2a sinh y}{1 + cosh y}$. Then the metric on the ball $B^n$ is, $ds^2 = \frac{du^2 + u^2 d\Omega_{n-1}^2 }{(1 - \frac{u^2}{4a^2})^2}$. Is this the disk metric that you would also get? I would believe that there is now a coordinate transformation that goes from this metric to the Poincare patch...I mean when you say $\vert x \vert ^2$ shouldn't you mean the norm of the position vector of the point $\vec{x}$ in this hyperbolic metric? – user6818 Sep 20 '13 at 23:27
I think there is a typo in your equation - I think it should be $1 + y_0 - y_n$ in the last entry instead of $1-y_n$. – user6818 Sep 21 '13 at 0:39

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.