## Poincaré disk vs Riemann sphere

Hello,

it is well-known that with stereographic projection we can obtain a 1-1 correspondence between the points of the 2d Cartesian plane (plus the point at infinity), and the points on the Riemann sphere.

What is the geometrical construction that corresponds to a 1-1 mapping between the Poincaré disk and the points on the 2d Cartesian plane?

My attempt was to consider a point (x,y) on the Cartesian plane, then make a parallel projection on the upper sheet of the hyperboloid, thus obtaining (x,y,h), and finally apply a projective transformation with focal point (0,0,-1) and focal plane coincident with the Cartesian plane. This way all the points on the hyperboloid (upper sheet) are mapped onto the unit ball of the Cartesian plane, with the points on the unit circle representing the points at infininity.

Is this the correct way of doing it?
 PhysOrg.com science news on PhysOrg.com >> New language discovery reveals linguistic insights>> US official: Solar plane to help ground energy use (Update)>> Four microphones, computer algorithm enough to produce 3-D model of simple, convex room
 Sounds right. See the following pages for some reference. http://en.wikipedia.org/wiki/Hyperbo...perbolic_plane http://en.wikipedia.org/wiki/Poincar%C3%A9_disc_model http://en.wikipedia.org/wiki/Klein_model
 ok thanks. If that is true, then the symmetries on the Poincaré disk (Fuchsian groups) are basically the same as the symmetries described by the 17 wallpaper groups on the plane? We would just form a symmetric lattice on the 2d Cartesian plane, and project it as I described on the Poincaré disk. Am I right? Or am I missing something?

## Poincaré disk vs Riemann sphere

That seems quite unlikely. That sort of reasoning would imply that if two spaces have the same topology then they have the same discrete isometry groups.

I think what happens is that your mapping of the plane to hyperbolic space does not send isometries to isometries. So even though your wallpaper picture transforms into a nice wallpaper like picture of the disk, it does not work on the level of sending the group elements of one (isometries) into the group elements of the other.
 I see...then I got it wrong because I was essentially applying isometries on the 2d Cartesian plane, and then simply "deform" the 2d plane into the Poincaré disk. The question is then: in what space am I supposed to apply isometries? I make an analogy with the Riemann sphere, just for example. We can map the Cartesian 2d plane onto the Riemann sphere and define isometries (in 3d space) of the Riemann sphere, i.e. we can rotate it around any axis and translate it. By inverse stereographic projection we would map the Riemann sphere back onto the Cartesian 2d plane. See this video for a nice illustration. By considering the discrete isometry groups on the Riemann sphere we would then obtain some sort of "conformal symmetry" on the Cartesian plane. I bet an analogous procedure is what leads to the symmetry groups on the Poincaré disk. But how to do it?
 Recognitions: Science Advisor Stereographic projection maps the sphere minus a point conformally onto the complex plane. There is no conformal map of an open disk onto the whole complex plane. So this means that there is no right (conformal) way to map a disk onto the plane Still a disk is homeomorphic to the entire plane and is also diffeomorphic to it. What about trying stereographic projection from the center of the sphere rather than from the north pole (stand the sphere on the plane at the south pole). Follow its inverse by vertical projection onto the open unit disk. Notice also that the inverse of sterographic projection allows you to put a metric on Euclidean space that is bounded. Can you use this to show that the plane is homeomorphic to a disk? What about mapping a point in the tangent plane to the north pole to the point on the great circle whose distance to the north pole equals the Euclidean distance of the point to the origin in the tangent plane?
 Hi Lavinia! thanks for the answer. I did not think of constructing the Poincaré disk by stereographically projecting from the sphere center (0,0,0). However, once we map the 2d plane onto the lower hemisphere of the Riemann sphere, how do we define isometries that would describe the symmetry groups on the Poincaré disk?

Recognitions:
Science Advisor
 Quote by mnb96 Hi Lavinia! thanks for the answer. I did not think of constructing the Poincaré disk by stereographically projecting from the sphere center (0,0,0). However, once we map the 2d plane onto the lower hemisphere of the Riemann sphere, how do we define isometries that would describe the symmetry groups on the Poincaré disk?
Not sure what you are trying to do.

The symmetries of the Poincare disk I think are the fractional linear transformations that preserve the unit circle. Not need for stereographic projection.

 Similar discussions for: Poincaré disk vs Riemann sphere Thread Forum Replies Differential Geometry 4 Differential Geometry 6 Calculus & Beyond Homework 0 Advanced Physics Homework 0 Calculus & Beyond Homework 2