The hyperbolic plane

So, I know I usually talk about strictly algebraic geometry stuff, but the moduli of curves lives in an interesting place.  It’s both an algebraic and an analytic object.  So we’re going to start by talking a bit about hyperbolic surfaces, as we work towards a construction of Teichmüller space, which is used to construct the moduli of curves over \mathbb{C}.

We actually have to start with some more basic differential geometric notions that have been neglected, because we never did a “Differential Geometry from the Beginning” series (perhaps I should in the future? Chime in in the comments if that would be desirable, though I might try to find someone else to write it, as I’m not a real expert on that stuff).  We’ll just assume, though “smooth manifold” and “Riemannian metric” largely because they would deserve posts of their own, and these are things that I think the target audience of these posts are probably ok with (correct me if I’m wrong!).

Definition The hyperbolic plane (in the Poincaré half plane model) consists of the points of \mathbb{R}^2 with y>0 and which has metric ds^2=\frac{dx^2+dy^2}{y^2}.  This means that if you start from any point, the real line is infinitely far away from it.

A quick historical note: even the Wikipedia page points out that the half-plane model is due to Beltrami, a name that reappears often in Teichmüller theory.

So, I should include a picture, and these are some geodesics in the hyperbolic plane:

A tiling by geodesics in the hyperbolic plane.

A tiling by geodesics in the hyperbolic plane.

So what sorts of isometries are there? The linear fractional transformations! If we treat (x,y) as x+iy, then we can write them as z\mapsto \frac{az+b}{cz+d} where \left[\begin{array}{cc}a&b\\c&d\end{array}\right] is a matrix with determinant 1.  This group is precisely SL(2,\mathbb{R}).  In fact, the correct group is PSL(2,\mathbb{R}) because minus the identity acts trivially.

As a final aside on the half-plane in and of itself, we look at the subgroup PSL(2,\mathbb{Z}), and we can see that it acts very nicely on the upper half-plane (though not quite as nicely as you’d really hope for quotients, and that’s part of the fun) and some finite index subgroups act even more nicely.  We call this the modular group (and some of the subgroups are called congruence subgroups) and the quotient of the upper half-plane by it is the modular curve (or a modular curve).  Modular curves are VERY important, and show up in all sorts of problems in number theory (which I’m sure Jim will talk about at some point), including the proof of Fermat’s Last Theorem.

About Charles Siegel

Charles Siegel is currently a postdoc at Kavli IPMU in Japan. He works on the geometry of the moduli space of curves.
This entry was posted in Uncategorized and tagged . Bookmark the permalink.

4 Responses to The hyperbolic plane

  1. mic says:

    Oh, this starts rather exciting. Do you intend to go in the direction of the construction of Teichmueller space using local coordinates (Fock, Goncharov, Kashaev or whatever) and connections with geometric Langlands programme?
    Also, this whole moduli spaces of Riemann surfaces story is very interesting from the mathematical physics point of view.

    • We’re definitely heading through construction of Teichmueller space, via a combination of Hamenstadt’s notes from the relevant PCMI and the classic article by Bers which was my first encounter with the material. Do you know a decent reference on the connections to Geometric Langlands? I don’t know that subject well. Also, we might talk a bit about some extensions and connections to strings once we’ve built the moduli space two ways (Teichmueller and GIT) and discussed some “basic” geometry/topology.

      • mic says:

        Where it comes to references, I know about this paper by Teschner: arxiv.org/abs/1005.2846, so hopefully that would be helpful. However I’ve a physical background, so I can’t say how approachable it is for a mathematician.

  2. Juan says:

    Thanks for the great post! A “differential geometry from the beginning” series or any references to a good intro series would be greatly appreciated! Thank you

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s