Conformal factor between Euclidean metric and metric on Poincaré Ball of arbitrary radius

Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
Usually, a Poincaré Ball is given as the set
$
mathbbD^n = x in mathbbR^n :
$
Let $g_E,x$ be the Euclidean Riemannian metric induced at $x in mathbbR^n$ -- in that case, $g_E,x = I_n$ for all $x$(i.e. it can be represented as the identity matrix), so that the inner product in Euclidean space is just the normal Euclidean inner product we are used to (i.e. if $T_xmathbbR^N$ is the tangent space of $mathbbR^n$ at $x$, and $u,v$ are vectors in that tangent space, then our inner-product is just $g_E,x(u,v) = u^TI_nv = u^Tv = langle u,v rangle$).
The metric used in the Poincaré ball, $g_mathbbD^n$ is conformal to the Euclidean metric because it preserves angles. In other words, for some $x in mathbbD^n$, and some $u,v in T_xmathbbD^n$, we have that
$$
g_mathbbD^n,x(u,v) = lambda_x^2g_E,x(u,v)
$$
And that $lambda_x$ is called the conformal factor; for the Poincaré ball metric, it is
$$
lambda_x = frac2^2
$$
In my understanding, this conformal factor shows that in the Poincaré ball looks locally like $mathbbR^n$ near the origin and has similar distances, but that near the border, the distances become really huge for even small deviations in where $x$ is located.
This works for the unit Poincaré disk. What I am looking for is the conformal factor for the Poincaré disk of some radius $r > 0$ where $r$ is not necessarily equal to 1.
This particular Poincaré disk can be represented as
$$
mathbbD_r^n = x
$$
and in this case,
$$
g_mathbbD_r^n,x(u,v) = (lambda_x^r)^2g_E,x(u,v)
$$
What is $lambda_x^r$? My guess would be
$$
lambda_x^r = frac2^2
$$
Is this correct? And even if it is, can anybody explain why? An explanation of this would go a long way toward helping me to understand the Poincaré disk a lot better.
hyperbolic-geometry conformal-geometry
add a comment |Â
up vote
0
down vote
favorite
Usually, a Poincaré Ball is given as the set
$
mathbbD^n = x in mathbbR^n :
$
Let $g_E,x$ be the Euclidean Riemannian metric induced at $x in mathbbR^n$ -- in that case, $g_E,x = I_n$ for all $x$(i.e. it can be represented as the identity matrix), so that the inner product in Euclidean space is just the normal Euclidean inner product we are used to (i.e. if $T_xmathbbR^N$ is the tangent space of $mathbbR^n$ at $x$, and $u,v$ are vectors in that tangent space, then our inner-product is just $g_E,x(u,v) = u^TI_nv = u^Tv = langle u,v rangle$).
The metric used in the Poincaré ball, $g_mathbbD^n$ is conformal to the Euclidean metric because it preserves angles. In other words, for some $x in mathbbD^n$, and some $u,v in T_xmathbbD^n$, we have that
$$
g_mathbbD^n,x(u,v) = lambda_x^2g_E,x(u,v)
$$
And that $lambda_x$ is called the conformal factor; for the Poincaré ball metric, it is
$$
lambda_x = frac2^2
$$
In my understanding, this conformal factor shows that in the Poincaré ball looks locally like $mathbbR^n$ near the origin and has similar distances, but that near the border, the distances become really huge for even small deviations in where $x$ is located.
This works for the unit Poincaré disk. What I am looking for is the conformal factor for the Poincaré disk of some radius $r > 0$ where $r$ is not necessarily equal to 1.
This particular Poincaré disk can be represented as
$$
mathbbD_r^n = x
$$
and in this case,
$$
g_mathbbD_r^n,x(u,v) = (lambda_x^r)^2g_E,x(u,v)
$$
What is $lambda_x^r$? My guess would be
$$
lambda_x^r = frac2^2
$$
Is this correct? And even if it is, can anybody explain why? An explanation of this would go a long way toward helping me to understand the Poincaré disk a lot better.
hyperbolic-geometry conformal-geometry
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Usually, a Poincaré Ball is given as the set
$
mathbbD^n = x in mathbbR^n :
$
Let $g_E,x$ be the Euclidean Riemannian metric induced at $x in mathbbR^n$ -- in that case, $g_E,x = I_n$ for all $x$(i.e. it can be represented as the identity matrix), so that the inner product in Euclidean space is just the normal Euclidean inner product we are used to (i.e. if $T_xmathbbR^N$ is the tangent space of $mathbbR^n$ at $x$, and $u,v$ are vectors in that tangent space, then our inner-product is just $g_E,x(u,v) = u^TI_nv = u^Tv = langle u,v rangle$).
The metric used in the Poincaré ball, $g_mathbbD^n$ is conformal to the Euclidean metric because it preserves angles. In other words, for some $x in mathbbD^n$, and some $u,v in T_xmathbbD^n$, we have that
$$
g_mathbbD^n,x(u,v) = lambda_x^2g_E,x(u,v)
$$
And that $lambda_x$ is called the conformal factor; for the Poincaré ball metric, it is
$$
lambda_x = frac2^2
$$
In my understanding, this conformal factor shows that in the Poincaré ball looks locally like $mathbbR^n$ near the origin and has similar distances, but that near the border, the distances become really huge for even small deviations in where $x$ is located.
This works for the unit Poincaré disk. What I am looking for is the conformal factor for the Poincaré disk of some radius $r > 0$ where $r$ is not necessarily equal to 1.
This particular Poincaré disk can be represented as
$$
mathbbD_r^n = x
$$
and in this case,
$$
g_mathbbD_r^n,x(u,v) = (lambda_x^r)^2g_E,x(u,v)
$$
What is $lambda_x^r$? My guess would be
$$
lambda_x^r = frac2^2
$$
Is this correct? And even if it is, can anybody explain why? An explanation of this would go a long way toward helping me to understand the Poincaré disk a lot better.
hyperbolic-geometry conformal-geometry
Usually, a Poincaré Ball is given as the set
$
mathbbD^n = x in mathbbR^n :
$
Let $g_E,x$ be the Euclidean Riemannian metric induced at $x in mathbbR^n$ -- in that case, $g_E,x = I_n$ for all $x$(i.e. it can be represented as the identity matrix), so that the inner product in Euclidean space is just the normal Euclidean inner product we are used to (i.e. if $T_xmathbbR^N$ is the tangent space of $mathbbR^n$ at $x$, and $u,v$ are vectors in that tangent space, then our inner-product is just $g_E,x(u,v) = u^TI_nv = u^Tv = langle u,v rangle$).
The metric used in the Poincaré ball, $g_mathbbD^n$ is conformal to the Euclidean metric because it preserves angles. In other words, for some $x in mathbbD^n$, and some $u,v in T_xmathbbD^n$, we have that
$$
g_mathbbD^n,x(u,v) = lambda_x^2g_E,x(u,v)
$$
And that $lambda_x$ is called the conformal factor; for the Poincaré ball metric, it is
$$
lambda_x = frac2^2
$$
In my understanding, this conformal factor shows that in the Poincaré ball looks locally like $mathbbR^n$ near the origin and has similar distances, but that near the border, the distances become really huge for even small deviations in where $x$ is located.
This works for the unit Poincaré disk. What I am looking for is the conformal factor for the Poincaré disk of some radius $r > 0$ where $r$ is not necessarily equal to 1.
This particular Poincaré disk can be represented as
$$
mathbbD_r^n = x
$$
and in this case,
$$
g_mathbbD_r^n,x(u,v) = (lambda_x^r)^2g_E,x(u,v)
$$
What is $lambda_x^r$? My guess would be
$$
lambda_x^r = frac2^2
$$
Is this correct? And even if it is, can anybody explain why? An explanation of this would go a long way toward helping me to understand the Poincaré disk a lot better.
hyperbolic-geometry conformal-geometry
asked Aug 14 at 3:33
Marko
257
257
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
An open ball of radius $r$ corresponds to $$lVert xrVert<r$$ or equivalently (for $r>0$) $$fraclVert xrVert^2r^2<1$$ not $$r,lVert xrVert^2<1$$ as you wrote it. In other words, wherever you use $lVert xrVert$ in the unit ball setup, you'd use $lVert xrVert/r$ in the arbitrary radius setup. Thus you'd have $$lambda_x^r=frac21-fraclVert xrVert^2r^2=frac2r^2r^2-lVert xrVert^2;.$$
Note that as long as you still multiply this by $g_E,x$, you still get lengths which are scaled by a factor of $r$ compared to the unit ball. Which in turn means that the curvature of your hyperbolic plane will have a Gaussian curvature not of $-1$ but of $-frac1r^2$. If you want to have the standard $-1$ curvature, better use $$lambda_x^r=frac2rr^2-lVert xrVert^2$$ to correct for the scale inside $g_E,x$. But in that case you essentially have a unit ball model drawn at a larger scale, and the radius you used to draw it has no impact any more on the geometry within the model. Which might be desirable but might also make this consideration boring.
Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
â Marko
Aug 17 at 2:33
1
@Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
â MvG
Aug 17 at 10:13
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
An open ball of radius $r$ corresponds to $$lVert xrVert<r$$ or equivalently (for $r>0$) $$fraclVert xrVert^2r^2<1$$ not $$r,lVert xrVert^2<1$$ as you wrote it. In other words, wherever you use $lVert xrVert$ in the unit ball setup, you'd use $lVert xrVert/r$ in the arbitrary radius setup. Thus you'd have $$lambda_x^r=frac21-fraclVert xrVert^2r^2=frac2r^2r^2-lVert xrVert^2;.$$
Note that as long as you still multiply this by $g_E,x$, you still get lengths which are scaled by a factor of $r$ compared to the unit ball. Which in turn means that the curvature of your hyperbolic plane will have a Gaussian curvature not of $-1$ but of $-frac1r^2$. If you want to have the standard $-1$ curvature, better use $$lambda_x^r=frac2rr^2-lVert xrVert^2$$ to correct for the scale inside $g_E,x$. But in that case you essentially have a unit ball model drawn at a larger scale, and the radius you used to draw it has no impact any more on the geometry within the model. Which might be desirable but might also make this consideration boring.
Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
â Marko
Aug 17 at 2:33
1
@Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
â MvG
Aug 17 at 10:13
add a comment |Â
up vote
1
down vote
accepted
An open ball of radius $r$ corresponds to $$lVert xrVert<r$$ or equivalently (for $r>0$) $$fraclVert xrVert^2r^2<1$$ not $$r,lVert xrVert^2<1$$ as you wrote it. In other words, wherever you use $lVert xrVert$ in the unit ball setup, you'd use $lVert xrVert/r$ in the arbitrary radius setup. Thus you'd have $$lambda_x^r=frac21-fraclVert xrVert^2r^2=frac2r^2r^2-lVert xrVert^2;.$$
Note that as long as you still multiply this by $g_E,x$, you still get lengths which are scaled by a factor of $r$ compared to the unit ball. Which in turn means that the curvature of your hyperbolic plane will have a Gaussian curvature not of $-1$ but of $-frac1r^2$. If you want to have the standard $-1$ curvature, better use $$lambda_x^r=frac2rr^2-lVert xrVert^2$$ to correct for the scale inside $g_E,x$. But in that case you essentially have a unit ball model drawn at a larger scale, and the radius you used to draw it has no impact any more on the geometry within the model. Which might be desirable but might also make this consideration boring.
Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
â Marko
Aug 17 at 2:33
1
@Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
â MvG
Aug 17 at 10:13
add a comment |Â
up vote
1
down vote
accepted
up vote
1
down vote
accepted
An open ball of radius $r$ corresponds to $$lVert xrVert<r$$ or equivalently (for $r>0$) $$fraclVert xrVert^2r^2<1$$ not $$r,lVert xrVert^2<1$$ as you wrote it. In other words, wherever you use $lVert xrVert$ in the unit ball setup, you'd use $lVert xrVert/r$ in the arbitrary radius setup. Thus you'd have $$lambda_x^r=frac21-fraclVert xrVert^2r^2=frac2r^2r^2-lVert xrVert^2;.$$
Note that as long as you still multiply this by $g_E,x$, you still get lengths which are scaled by a factor of $r$ compared to the unit ball. Which in turn means that the curvature of your hyperbolic plane will have a Gaussian curvature not of $-1$ but of $-frac1r^2$. If you want to have the standard $-1$ curvature, better use $$lambda_x^r=frac2rr^2-lVert xrVert^2$$ to correct for the scale inside $g_E,x$. But in that case you essentially have a unit ball model drawn at a larger scale, and the radius you used to draw it has no impact any more on the geometry within the model. Which might be desirable but might also make this consideration boring.
An open ball of radius $r$ corresponds to $$lVert xrVert<r$$ or equivalently (for $r>0$) $$fraclVert xrVert^2r^2<1$$ not $$r,lVert xrVert^2<1$$ as you wrote it. In other words, wherever you use $lVert xrVert$ in the unit ball setup, you'd use $lVert xrVert/r$ in the arbitrary radius setup. Thus you'd have $$lambda_x^r=frac21-fraclVert xrVert^2r^2=frac2r^2r^2-lVert xrVert^2;.$$
Note that as long as you still multiply this by $g_E,x$, you still get lengths which are scaled by a factor of $r$ compared to the unit ball. Which in turn means that the curvature of your hyperbolic plane will have a Gaussian curvature not of $-1$ but of $-frac1r^2$. If you want to have the standard $-1$ curvature, better use $$lambda_x^r=frac2rr^2-lVert xrVert^2$$ to correct for the scale inside $g_E,x$. But in that case you essentially have a unit ball model drawn at a larger scale, and the radius you used to draw it has no impact any more on the geometry within the model. Which might be desirable but might also make this consideration boring.
answered Aug 15 at 9:40
MvG
29.7k44597
29.7k44597
Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
â Marko
Aug 17 at 2:33
1
@Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
â MvG
Aug 17 at 10:13
add a comment |Â
Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
â Marko
Aug 17 at 2:33
1
@Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
â MvG
Aug 17 at 10:13
Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
â Marko
Aug 17 at 2:33
Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
â Marko
Aug 17 at 2:33
1
1
@Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
â MvG
Aug 17 at 10:13
@Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
â MvG
Aug 17 at 10:13
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2882024%2fconformal-factor-between-euclidean-metric-and-metric-on-poincar%25c3%25a9-ball-of-arbitra%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password