From: baez@ucrmath.ucr.edu (John Baez) Date: Jan. 4, 1994 Newsgroups: sci.physics.research Subject: This Week's Finds in Mathematical Physics (Week 28) Approved: jbaez@math.mit.edu This Week's Finds in Mathematical Physics (Week 28) John Baez I think I'll finally break my New Year's resolution to stop making a fool of myself on the net, and attempt an explanation of some things I am just learning a bit about, namely, Teichmueller space and moduli space. These are concepts that string theorists often throw around, and when I first heard of them in that context I immediately dimissed them as just another example of how physicists were learning far too much mathematics for their own good. I take it all back! They are, in fact, beautifully simple pieces of mathematics suited to physics in 2-dimensional spacetime. Two dimensions is low enough that one can often actually understand exactly what's going on in problems that become infinitely more tricky in higher dimensions. So even if one doesn't "believe" in 2-dimensional physics the way the string theorists do -- for them, physics happens on the worldsheet of the string, which is 2-dimensional -- it's worth learning as a kind of textbook case. Everything I know so far is culled from the following sources, which by no means form an exhaustive or even optimal set of references: 1) An Introduction to Teichmueller spaces, by Y. Imayoshi and M. Taniguchi, Springer-Verlag, 1991, ISBN 4-431-70088-9. 2) An introduction to the moduli space of curves, by Joe Harris, in Mathematical Aspects of String Theory (proceedings of a conference at UC San Diego in 1986), ed. S. T. Yau, World Scientific Press, 1987, ISBN 9971-50-274-7. The moduli space of punctured surfaces, by R. C. Penner, same volume. 3) The cohomology of the moduli space of curves, by John L. Harer, in Theory of Moduli (lectures given at the 3rd 1985 session of C.I.M.E. at Mondecatini Terme, Italy), ed. E. Sernesi, Springer-Verlag Lecture Notes in Mathematics 1337, 1988, ISBN 0-387-50080-4. There are a number of ways of describing Teichmueller space and moduli space. Maybe the easiest is this. Start with the surface of a doughnut with g handles, or as the experts say, a "surface of genus g". We can make this into a "Riemann surface" if we cover it with lots of patches, or "charts," each of which looks just like part the complex plane (imagine a little piece of graph paper), and such that the change of coordinates function relating overlapping patches is analytic, in the usual sense of complex variables. The simplest Riemann surface is the Riemann sphere, which is of genus zero; one gets this by taking the complex plane and sticking on one more point, "infinity" -- think of a sphere with "infinity" as the north pole. If we have a Riemann surface, we can tell whether a complex-valued function on it is analytic, simply by working locally in charts, so we can do complex analysis as usual on a doughnut with lots of handles as long as we make it into a Riemann surface! Since the main point of my article will be to provide the reader with lots of buzzwords, I should add that making a surface of genus g into a Riemann surface is called "giving it a complex structure." Now, how many ways are there to give a surface of genus g a complex structure? First of all we need a good notion of when two Riemann surfaces are "the same". They must, of course, have the same genus, but there must also be a 1-1 and onto function from one to the other that is everywhere analytic, with an analytic inverse. (Again, it makes sense to say such a function is analytic, since we can cover each Riemann surface with charts that we can think of as bits of the complex plane.) Such a mapping is called a "biholomorphic mapping" -- holomorphic just being another word for analytic -- and if we want to sound fancy, we say that the two Riemann surfaces are "biholomorphically equivalent." Well, there's a famous old theorem of Riemann that for genus 0, there is only ONE way to do it; any Riemann surface of genus 0 is biholomorphically equivalent with the Riemann sphere. But for higher genus there are infinitely many essentially different ways to give a surface of genus g a complex structure. In fact, we can imagine a big fat "space" of all ways. This is the moduli space of genus g! The first key problem in the theory is to "get our hands on" moduli space; that is, to describe it quite concretely. String theory provided a lot of motivation for doing this very well, since the worldsheet of a string -- that is, the string viewed in spacetime -- is just a surface, and Feynman path integrals in string theory involve integrating over all complex structures for this surface. To do integrals over moduli space we need to bring it down to earth! To do so, it's awfully handy to get involved with Teichmueller space. Note that moduli space can be thought of as the space of equivalence classes of complex structures on a fixed surface of genus g, where two complex structures are deemed "the same" if they are biholomorphically equivalent. Teichmueller space is defined using a more fine-grained notion of "the same". Note that any biholomorphic mapping is a diffeomorphism, that is, a smooth mapping with a smooth inverse. In fact, it must also be orientation-preserving, since an orientation-reversing map like complex conjugation can never be holomorphic! Henceforth I will always mean "orientation-preserving diffeomorophism" when I speak of diffeomorphisms of a surface. Now, some diffeomorphisms are "connected to the identity" and some aren't. We say a diffeomorphism f is connected to the identity if there is a smooth 1-parameter family of diffeomorphisms starting at f and ending at the identity diffeomorphism. In other words, a diffeomorphism is connected to the identity if you can do it "gradually" without ever having to cut the surface. To really understand this you need to know some diffeomorphisms that *aren't* connected to the identity. Here's how to get one: start with your surface of genus g > 0, cut apart one of the handles along a circle, give one handle a 360-degree twist, and glue the handles back together! This is called a Dehn twist. Anyway, Teichmueller space may be defined as the space of equivalence classes of complex structures on a fixed surface of genus g, where two complex structures are counted as the same if they are biholomorphically equivalent *by a diffeomorphism connected to the identity*. A good way of understanding the relation between Teichmueller space and moduli space is this. Define the mapping class group (of genus g) to be the group of diffeomorphisms of a surface of genus g modulo the subgroup of those connected to the identity. A beautiful fact is that this group is generated by Dehn twists! In other words, given any diffeomorphism of a surface, you can get it by first doing a bunch of Dehn twists and then doing a diffeomorphism connected to the identity. Since the mapping class group is finitely generated one should think of it as a discrete group. In fact, folks know what the relations between the generators are, too, and these are also very beautiful. I guess good places to read about this stuff are the first paper that gave an explicit presentation of mapping class groups: 4) A presentation of the mapping class group of a closed, orientable surface, by A. Hatcher and W. Thurston, Topology 19 (1980), 221-237. and the simplified treatment in 5) A simple presentation for the mapping class group of an orientable surface, Israel J. Math. 45 (1983), 157-174. Actually, though, I must admit my only acquaintance with mapping class groups comes from leafing through 6) Braids, Links, and Mapping Class Groups, by Joan S. Birman, Annals of Mathematics Studies no. 82, Princeton University Press, 1974. As one can gather from this title there is a close connection between mapping class groups and the braid group and knot theory, which is the main reason why string theory allowed Witten to get new insights into knots. (The more mundane connection, namely that one ties knots out of string, seems largely unexplored, but see "week18".) Let me not digress into this fascinating realm, however! The point I want to make here is just that: The mapping class group acts on Teichmueller space, and the quotient by this group action is moduli space. Anyone used to how math goes should find this pretty believable, but let me explain: given a diffeomorphism of our surface of genus g, we can use it as a kind of "coordinate transformation" to turn one complex structure into another. So the group of diffeomorphisms acts on Teichmueller space, but, given how Teichmuller space is defined, the subgroup of diffeomorphisms connected to the identity acts trivially. Thus the mapping class group acts on Teichmueller space. By how moduli space is defined, two points in Teichmueller space define the same point in moduli space iff one is obtained from another by an element of the mapping class group. Now the good thing about Teichmueller space is that it has very nice coordinates on it, called Fenchel-Nielsen coordinates, which reveal it to be diffeomorphic to R^{6g-6} when g > 1. (The case g = 0 is utterly dull, since Teichmueller space is a point, and the case g = 1 is beautifully treated using the fact that any Riemann surface of genus 1 is biholomorphically equivalent to the quotient of the complex plane by a lattice, relating this case to the subject of elliptic functions, as touched upon in "week13". I should also add that "week13" indicates, at least in the g = 1 case, why moduli space is often called the "moduli space of curves.") Let me say how these coordinates go, rather sketchily, just so the mysterious number 6g-6 becomes not so mysterious! Take your surface of genus g -- just think of it as a doughnut with n holes -- and cut it up into "pairs of pants," that is, pieces that look like | | | | | | | | / \ / \ / \ / /\ \ / / \ \ from above. Topologically, a pair of pants is just a sphere with three discs cut out of it! A more dignified term for a pair of pants is a "trinion," by the way. The idea now is to describe the complex structure on each pair of pants separately, and then describe how the pairs of pants are glued together. Now, it turns out that the complex structures on each pair of pants are very easily described (up to biholomorphic equivalences connected to the identity). It takes 3 positive real numbers. There's a unique metric on the original surface pants that is compatible with the complex structure (i.e. is a "Kaehler metric) and has curvature equal to -1. This is called a hyperbolic metric, as in hyperbolic geometry. Then, we can cut the surface into pairs of pants along circles that are geodesics relative to this metric. To describe the complex structure on each pair of pants we simply need to measure the lengths of the 3 bounding circles; these are called the "geodesic length functions". In other words, if your pair of pants was hyperbolic, a tailor would only need to measure you waistlength and the lengths around the two cuffs, not the inseams! Now it's a fun exercise to show that we can chop up a surface of genus g > 1 into exactly 2g - 2 pairs of pants. Doing so, moreover, requires that we cut the surface along 3g - 3 circles. (Draw some pictures!) Thus, we have a total of 3g - 3 geodesic length functions. However, we also need to describe how the pairs of pants are attached to each other. We can glue them together with any amount of twisting, and this twisting is a real-valued parameter. So there are 3g - 3 "twisting parameters" required to describe how the pairs of pants are attached. We thus have a total of 6g - 6 parameters, the Fenchel-Nielsen coordinates, and Teichmueller space is diffeomorphic to R^{6g - 6} (since the positive real numbers are diffeomorphic to R itself). I think I want to quit here but not before making a few random remarks. First, there's another description of Teichmueller space which gives it a triangulation, i.e., describes it as a bunch of high-dimensional tetrahedra (simplices) glued together. Harer's paper gives a nice quick sketch of this construction; the buzzword to look for is "quadratic differentials." The nice thing about this is that the mapping class group action respects this triangulation so we get a triangulation of moduli space. Second, quite recent work by Penner: 7) Universal constructions in Teichmueller theory, by R. C. Penner, Adv. Math. 98 (1993), 143-215. shows how to fit the Teichmueller spaces for different genus g into a single universal object. This was directly motivated by string theory, but the basic idea is (I think) simply that there should be some sense in which one can go "continously" from genus g+1 to genus g by making one handle smaller and smaller (with respect to the hyperbolic metric) until it goes away. Third, when studying the triangulation of Teichmueller space one repeatedly runs across a certain "Pachner move" which goes from one triangulation of a surface to another: O O /|\ / \ / | \ / \ / | \ / \ O | O <----> O-------O \ | / \ / \ | / \ / \|/ \ / O O which reminds me of lattice field theories in 2 dimensions (see "week16" for an explanation) and the "pentagon diagram" showing how to get between the 5 simplest ways to triangulate a pentagon using this move (see, for example, Figure 3 in Penner's paper above, or Figure 3.2 of Harer's paper). The pentagon diagram appears both in Moore and Seiberg's famous paper on string theory and chopping up surfaces into pairs of pants: 8) Classical and quantum conformal field theory, by G. Moore and S. Seiberg, Comm. Math. Phys. 123 (1989) 177-254 and in category theory, with the relationship *there* now pretty well understood in terms of "modular tensor categories" -- see e.g. 9) 2-d physics and 3-d topology, by Louis Crane, Comm. Math. Phys. 135 (1991) 615-640. Unfortunately, I haven't been able to get any string guru to sit down and really clarify how the triangulations of Teichmueller space fit in. Lest the reader wonder what the heck I'm going on about, the idea is that category theory provides a marvelous way to unify the profusion of mathematical structures that are coming up these days, and if we ever understood everything in those terms, it would all seem much less confusing. -------------------------------------------------------------------------- Previous issues of "This Week's Finds" and other expository articles on mathematics and physics (as well as some of my research papers) can be obtained by anonymous ftp from ucrmath.ucr.edu; they are in the directory "baez." The README file lists the contents of all the papers. Please do not ask me how to use hep-th or gr-qc; instead, read the file preprint.info.