Poincaré half-plane model

Parallel rays in Poincare half-plane model of hyperbolic geometry

In non-Euclidean geometry, the Poincaré half-plane model is the upper half-plane, denoted below as H  \{ (x ,y) | y > 0; x, y \in \mathbb{R} \} , together with a metric, the Poincaré metric, that makes it a model of two-dimensional hyperbolic geometry.

Equivalently the Poincaré half-plane model is sometimes described as a complex plane where the imaginary part (the y coordinate mentioned above) is positive.

The Poincaré half-plane model is named after Henri Poincaré, but it originated with Eugenio Beltrami, who used it, along with the Klein model and the Poincaré disk model (due to Riemann), to show that hyperbolic geometry was equiconsistent with Euclidean geometry.

This model is conformal which means that the angles measured at a point are the same in the model as they are in the actual hyperbolic plane.

The Cayley transform provides an isometry between the half-plane model and the Poincaré disk model.

This model can be generalized to model an n+1 dimensional hyperbolic space by replacing the real number x by a vector in an n dimensional Euclidean vector space.

Metric

The metric of the model on the half-plane

\{ \langle x, y \rangle | y > 0 \} \text{ is : } (d s)^2 = \frac{(d x)^2 + (d y)^2}{y^2} \,

where s measures the length along a (possibly curved) line. The straight lines in the hyperbolic plane (geodesics for this metric tensor, i.e. curves which minimize the distance) are represented in this model by circular arcs perpendicular to the x-axis (half-circles whose origin is on the x-axis) and straight vertical rays perpendicular to the x-axis.

Distance calculation

In general, the distance between two points measured in this metric along such a geodesic is:

\operatorname{dist} (\langle x_1, y_1 \rangle, \langle x_2, y_2 \rangle) = \operatorname{arcosh} \left( 1 + \frac{ {(x_2 - x_1)}^2 + {(y_2 - y_1)}^2 }{ 2 y_1 y_2 } \right) .

Some special cases can be simplified:

\operatorname{dist} (\langle x, y_1 \rangle, \langle x, y_2 \rangle) =\left| \ln\frac{y_2}{y_1} \right| = | \ln(y_2) - \ln(y_1) | .[1]
\operatorname{dist} ( \langle x, r \rangle, \langle x \pm r\sin\phi , r\cos\phi  \rangle )
= \operatorname{arsinh} \left( \tan \phi \right) 
= \operatorname{arcosh} \left( \frac{1}{\cos \phi } \right)
= \ln \left( \frac{1 + \sin \phi} {\cos \phi }\right)

where arcosh and arsinh are inverse hyperbolic functions

\operatorname{arsinh} {x} =\ln \left(x + \sqrt{x^2 + 1} \right)
\ , \ 
\operatorname{arcosh} {x} =\ln \left(x + \sqrt{x^2 - 1} \right); x \ge 1
\,.

Another way to calculate the distance between two points that are on an (Euclidean) half circle is:

\operatorname{dist} (AB) = \left| \ln \left(  \frac{ |BA_{\infty}|\  |AB_{\infty}|}{ |AA_{\infty}| \  |BB_{\infty}| } \right) \right|.

where A_{\infty} , B_{\infty} are the points where the halfcircles meet the boundary line and  |PQ| is the euclidean length of the line segment connecting the points P and Q in the model.

Special points and curves

  • the points on the x-axis, and
  • one imaginary point at  y = \infty which is the ideal point to which all lines orthogonal to the x-axis converge.
  • half-circles whose origin is on the x-axis
  • straight vertical rays orthogonal to the x-axis
a circle with center ( x, y \cosh (r) ) and radius y \sinh (r)
  • a circular arc which intersects the x-axis at the same two ideal points as the half-circle which models its axis but at an acute or obtuse angle
  • a straight line which intersects the x-axis at the same point as the vertical line which models its axis , but at an acute or obtuse angle.
  • a circle tangent to the x-axis (but excluding the ideal point of intersection, which is its center)
  • a line parallel to the x-axis, in this case the center is the ideal point at  y = \infty .

Compass and straightedge constructions

Here is how one can use compass and straightedge constructions in the model to achieve the effect of the basic constructions in the hyperbolic plane.[2] For example, how to construct the half-circle in the Euclidean half-plane which models a line on the hyperbolic plane through two given points.

Creating the line through two existing points

Draw the line segment between the two points. Construct the perpendicular bisector of the line segment. Find its intersection with the x-axis. Draw the circle around the intersection which passes through the given points. Erase the part which is on or below the x-axis.

Or in the special case where the two given points lie on a vertical line, draw that vertical line through the two points and erase the part which is on or below the x-axis.

Creating the circle through one point with center another point

Draw the radial line (half-circle) between the two given points as in the previous case. Construct a tangent to that line at the non-central point. Drop a perpendicular from the given center point to the x-axis. Find the intersection of these two lines to get the center of the model circle. Draw the model circle around that new center and passing through the given non-central point.

Draw a circle around the intersection of the vertical line and the x-axis which passes through the given central point. Draw a horizontal line through the non-central point. Construct the tangent to the circle at its intersection with that horizontal line.

The midpoint between the intersection of the tangent with the vertical line and the given non-central point is the center of the model circle. Draw the model circle around that new center and passing through the given non-central point.

Draw a circle around the intersection of the vertical line and the x-axis which passes through the given central point. Draw a line tangent to the circle which passes through the given non-central point. Draw a horizontal line through that point of tangency and find its intersection with the vertical line.

The midpoint between that intersection and the given non-central point is the center of the model circle. Draw the model circle around that new center and passing through the given non-central point.

Given a circle find its (hyperbolic) center

Drop a perpendicular p from the Euclidean center of the circle to the x-axis.

Let point q be the intersection of this line and the x- axis.

Draw a line tangent to the circle going through q.

Draw the half circle h with center q going through the point where the tangent and the circle meet.

The (hyperbolic) center is the point where h and p intersect.[3]

Other constructions

Find the intersection of the two given semicircles (or vertical lines).

Find the intersection of the given semicircle (or vertical line) with the given circle.

Find the intersection of the two given circles.

Symmetry groups

Stellated regular heptagonal tiling of the model

The projective linear group PGL(2,C) acts on the Riemann sphere by the Möbius transformations. The subgroup that maps the upper half-plane, H, onto itself is PSL(2,R), the transforms with real coefficients, and these act transitively and isometrically on the upper half-plane, making it a homogeneous space.

There are four closely related Lie groups that act on the upper half-plane by fractional linear transformations and preserve the hyperbolic distance.

The relationship of these groups to the Poincaré model is as follows:

Important subgroups of the isometry group are the Fuchsian groups.

One also frequently sees the modular group SL(2,Z). This group is important in two ways. First, it is a symmetry group of the square 2x2 lattice of points. Thus, functions that are periodic on a square grid, such as modular forms and elliptic functions, will thus inherit an SL(2,Z) symmetry from the grid. Second, SL(2,Z) is of course a subgroup of SL(2,R), and thus has a hyperbolic behavior embedded in it. In particular, SL(2,Z) can be used to tessellate the hyperbolic plane into cells of equal (Poincaré) area.

Isometric symmetry

The group action of the projective special linear group PSL(2,R) on H is defined by

\left(\begin{matrix}a&b\\ c&d\\ \end{matrix}\right) \cdot z = \frac{az+b}{cz+d} = {(ac|z|^2+bd+(ad+bc)\Re(z))  + i\Im(z)\over|cz+d|^2}.

Note that the action is transitive, in that for any z_1,z_2\in\mathbb{H}, there exists a g\in {\rm PSL}(2,\mathbb{R}) such that gz_1=z_2. It is also faithful, in that if gz=z for all z in H, then g=e.

The stabilizer or isotropy subgroup of an element z in H is the set of g\in{\rm PSL}(2,\mathbb{R}) which leave z unchanged: gz=z. The stabilizer of i is the rotation group

{\rm SO}(2) = \left\{ \left(\begin{matrix}\cos\theta&\sin\theta\\ -\sin\theta&\cos\theta\\ \end{matrix}\right)\,:\,\theta\in{\mathbf R}\right\}.

Since any element z in H is mapped to i by some element of PSL(2,R), this means that the isotropy subgroup of any z is isomorphic to SO(2). Thus, H = PSL(2,R)/SO(2). Alternatively, the bundle of unit-length tangent vectors on the upper half-plane, called the unit tangent bundle, is isomorphic to PSL(2,R).

The upper half-plane is tessellated into free regular sets by the modular group SL(2,Z).

Geodesics

The geodesics for this metric tensor are circular arcs perpendicular to the real axis (half-circles whose origin is on the real axis) and straight vertical lines ending on the real axis.

The unit-speed geodesic going up vertically, through the point i is given by

\gamma(t) = \left(\begin{matrix}e^{t/2}&0\\
                   0&e^{-t/2}\\ \end{matrix}\right) \cdot i
   = ie^t.

Because PSL(2,R) acts transitively by isometries of the upper half-plane, this geodesic is mapped into the other geodesics through the action of PSL(2,R). Thus, the general unit-speed geodesic is given by

\gamma(t) =
\left(\begin{matrix}a&b\\ c&d\\ \end{matrix}\right) \left(\begin{matrix}e^{t/2}&0\\
                   0&e^{-t/2}\\ \end{matrix}\right) \cdot i
  = \frac {aie^t +b} {cie^t +d}.

This provides the complete description of the geodesic flow on the unit-length tangent bundle (complex line bundle) on the upper half-plane.

The model in three dimensions

The metric of the model on the half- space

\{ \langle x, y, z \rangle | z > 0 \} \,

is given by

(d s)^2 = \frac{(d x)^2 + (d y)^2 + (d z)^2}{z^2} \,

where s measures length along a possibly curved line. The straight lines in the hyperbolic space (geodesics for this metric tensor, i.e. curves which minimize the distance) are represented in this model by circular arcs normal to the z = 0-plane (half-circles whose origin is on the z = 0-plane) and straight vertical rays normal to the z = 0-plane.

The distance between two points measured in this metric along such a geodesic is:

\operatorname{dist} (\langle x_1, y_1,z_1 \rangle, \langle x_2, y_2,z_2\rangle) = \operatorname{arcosh} \left( 1 + \frac{ {(x_2 - x_1)}^2 + {(y_2 - y_1)}^2 + {(z_2 - z_1)}^2 }{ 2 z_1 z_2 } \right) \,.

The model in n dimensions

This model can be generalized to model an n+1 dimensional hyperbolic space by replacing the real number x by a vector in an n dimensional Euclidean vector space.

See also

References

  1. "mathemathics stackexchange". Retrieved 19 September 2015.
  2. Bochaca, Judit Abardia. "Tools to work with the Half-Plane model". Tools to work with the Half-Plane mode. Retrieved 25 June 2015.
  3. Flavors of Geometry, MSRI Publications, Volume 31, 1997 , Hyperbolic Geometry, J. W. Cannon, W. J. Floyd, R. Kenyon and W. R. Parry, page 87, Figure 19. Constructing the hyperbolic center of a circle
  • Eugenio Beltrami, Teoria fondamentale degli spazi di curvatura constante, Annali. di Mat., ser II 2 (1868), 232–255
  • Henri Poincaré (1882) "Théorie des Groupes Fuchsiens", Acta Mathematica v.1, p. 1. First article in a legendary series exploiting the half-plane model. An archived copy is freely available. On page 52 one can see an example of the semicircle diagrams so characteristic of the model.
  • Hershel M. Farkas and Irwin Kra, Riemann Surfaces (1980), Springer-Verlag, New York. ISBN 0-387-90465-4.
  • Jurgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-540-43299-X (See Section 2.3).
  • Saul Stahl, The Poincaré Half-Plane, Jones and Bartlett, 1993, ISBN 0-86720-298-X.
  • John Stillwell (1998) Numbers and Geometry,pp. 100–104, Springer-Verlag,NY ISBN 0-387-98289-2 .An elementary introduction to the Poincaré half-plane model of the hyperbolic plane.
This article is issued from Wikipedia - version of the Wednesday, April 20, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.