Science Fair Project Encyclopedia

Science Fair Project Encyclopedia Contents Page

Categories: Conformal geometry | Hyperbolic geometry | Riemannian geometry | Riemann surfaces

Poincaré metric

In mathematics, the Poincaré metric is the natural metric tensor for Poincaré half-plane model of hyperbolic geometry. Two equivalent representations exist for hyperbolic geometry, one for the unit disc and one for the upper half-plane. These two are related by a conformal map. We give both forms below.

Contents

1 Conformal map

2 Metric and volume element on the Poincaré plane

3 Metric and volume element on the Poincaré disk

4 Schwarz lemma

5 See also

6 References

Conformal map

The upper half plane can be mapped conformally to the unit disk with the Möbius transformation

$w=e^{i\phi}\frac{z-z_0}{z-\overline {z_0}}$

where w is the point on the unit disk that corresponds to the point z in the upper half plane. In this mapping, the constant z₀ can be any point in the upper half plane; it will be mapped to the center of the disk. The real axis $\Im z =0$ maps to the edge of the unit disk $| w | = 1.$ The constant real number $φ$ can be used to rotate the disk by an arbitrary fixed amount.

The canonical mapping is

$w=\frac{iz+1}{z+i}$

which takes i to the center of the disk, and 0 to the bottom of the disk.

Metric and volume element on the Poincaré plane

The Poincaré metric tensor on H is given by

$ds^2=\frac{dx^2+dy^2}{y^2}=\frac{dzd\overline{z}}{y^2}$

where we write $d z = d x + i d y .$ This metric tensor is invariant under the action of SL(2,R). That is, if we write

$z'=x'+iy'=\frac{az+b}{cz+d}$

for $a d - b c = 1$ then we can work out that

$x'=\frac{ac(x^2+y^2)+x(ad+bc)+bd}{|cz+d|^2}$

and

$y'=\frac{y}{|cz+d|^2}$ .

The infinitesimal transforms as

$dz'=\frac{dz}{(cz+d)^2}$

and so

$dz'd\overline{z}' = \frac{dzd\overline{z}}{|cz+d|^4}$

thus making it clear that the metric tensor is invariant under SL(2,R).

The invariant volume element is given by

$d\mu=\frac{dxdy}{y^2}.$

The metric is given by

$\rho(z_1,z_2)=2\tanh^{-1}\frac{|z_1-z_2|}{|z_1-\overline{z_2}|}$

$\rho(z_1,z_2)=\log\frac{|z_1-\overline{z_2}|+|z_1-z_2|}{|z_1-\overline{z_2}|-|z_1-z_2|}$

for $z_1,z_2 \in \mathbb{H}$ .

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.

Metric and volume element on the Poincaré disk

The Poincaré metric tensor on the unit disk $U=\{z=x+iy:|z|=\sqrt{(x^2+y^2)} \leq 1 \}$ is given by

$ds^2=\frac{dx^2+dy^2}{(1-(x^2+y^2))^2}=\frac{dz\,d\overline{z}}{(1-|z|^2)^2}.$

The volume element is given by

$d\mu=\frac{dx\,dy}{(1-(x^2+y^2))^2}=\frac{dx\,dy}{(1-|z|^2)^2}.$

The Poincaré metric is given by

$\rho(z_1,z_2)=\tanh^{-1}\left|\frac{z_1-z_2}{1-z_1\overline{z_2}}\right|$

for $z_1,z_2 \in U.$

The geodesics for this metric tensor are circular arcs whose endpoints are orthogonal to the boundary of the disk.

Schwarz lemma

The Poincaré metric is distance-decreasing on harmonic functions. This is an extension of the Schwarz lemma, called the Schwarz-Alhfors-Pick theorem.

References

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).

Categories: Conformal geometry | Hyperbolic geometry | Riemannian geometry | Riemann surfaces

Last updated: 05-27-2005 19:56:24

Science Fair Project Encyclopedia Contents Page

10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details

All Science Fair Projects