This blogpost started as a response to the question “why moduli spaces?” … but then David Ben-Zvi had a good pithy answer to that in his Princeton Companion to Mathematics article on moduli spaces : “Moduli spaces can be thought of as geometric solutions to geometric classification problems.”
If the geometry of the moduli space is well-chosen, it can tell us things about the geometry of the spaces / objects which points in it correspond to. Ben-Zvi has a thoroughly concrete and persuasive discussion of this in the case of 1-dimensional real projective space, a.k.a. the moduli space of lines through the origin in the plane.
Below we document, somewhat briefly, a couple more examples of how we can say things properties of geometric objects of a certain type by arguing in a moduli space of all such objects.
An example from (classical) algebraic geometry
A conic (or conic section) is a curve obtained by the intersection of a cone with a plane; familiar examples, known to the Greeks, include circles, ellipses, and hyperbolae.
Conics in 2-dimensional (complex) projective space are parametrized by ; explicitly, we have the correspondence .
In other words, is the moduli space of conics in . We will use this to show that given any five distinct points in such that no four lie on a (projective) line, there is a unique conic (possibly degenerate) passing through .
The conics through any given point in are parametrized by a hyperplane in the moduli space ; conics through 5 distinct points are given by the intersection of five hyperplanes, which is non-empty by considerations of dimension. This already gives us existence, even without the “no four on a line” condition; it remains only to show uniqueness given this additional condition.
Suppose this intersection consists of a single point (in , i.e. a unique conic in .) Then it is clear that we cannot have any four of our on a line , for taking the union of this line and a line between the remaining point and any one of the four yields a conic containing the five given points, contradicting uniqueness.
Conversely, suppose the intersection is larger, i.e. it contains a (a “pencil”) of conics.
We parametrize this pencil by for some . Then, for any on the line containing , has a solution (in ), i.e. there is a conic in our pencil going through . We may verify that any conic in containing three collinear points is a pair of lines (or a double line); by the pigeonhole principle, at least one of these lines must contain at least three of the .
Now if contains exactly three of the , then there is a unique conic containing all five —the pair of lines consisting of and the line through the remaining two . Since by assumption we do not have uniqueness, must contain (at least) four of the .
An example from geometric topology
The genus g Teichmüller space Teich(g) is the space of all complex / conformal structures on a closed Riemann surface of genus g, up to some natural notion of equivalence. Equivalently, via uniformization, it is a space of all constant-curvature Riemannian metrics on a topological surface of genus g.
We will focus on the case of surfaces of genus at least two; for these surfaces, uniformization tells us that the constant-curvature metrics are hyperbolic. There is an analogous theory for genus one which gives us the moduli space of flat metrics on the torus, and many of the same general arguments that appear below can be applied there as well, but the specifics there can have a slightly different flavour, due to the lack of negative curvature (in the objects, that is.)
A point in Teich(g) can be specified by a pair (S, h), where S is a surface with a hyperbolic metric, and is a marking, a choice of isomorphism from the fundamental group of a “naked” topological (reference) surface F without a metric and our metrized surface S. To steal Dick Canary’s metaphor: S is the hyperbolic clothing, and h provides instructions for how to wear it.
Technically, a point in Teich(g) is an equivalence class of such pairs, where two marked hyperbolic metrics and are considered equivalent if there is an isometry such that , i.e. the two maps are homotopic to each other. In terms of the metaphor: jiggling the clothing around a little doesn’t give an essentially different way of wearing it.
We have specified Teich(g) as a set. We can give it a topology in (at least) two ways:
- By identifying each equivalence class of marked hyperbolic structures with a holonomy representation and thus Teich(g) with a subspace of the representation variety , where the quotient identifies representations that are conjugate in —this corresponds in the algebra to the identification of homotopic marked metrics in the geometry. isn’t actually a variety, in the algebraic geometry sense, but it does have natural topology. The induced topology on Teich(g) is called the algebraic topology.
- By defining a metric on Teich(g), the Teichmüller metric , and giving it the metric topology. is defined as (the logarithm of) the minimum quasiconformal distortion over all quasiconformal maps between the two marked hyperbolic structures.(For full definitions see e.g. Chapter 11 of Farb and Margalit’s Primer on Mapping Class Groups.)
A moment’s thought and some fiddling shows that these two approaches produce the same topology.
Intuitively, neighborhoods in this topology correspond to sets of marked hyperbolic metrics which don’t differ from each other too much—the clothing has similar dimensions, and the instructions are relatively similar.
A space to act on
The mapping class group Mod(F) of a surface (or more generally of any space) F is defined as the group of all isotopy classes of homeomorphisms from F to itself. Mod(F) may be thought of as the group of symmetries of a surface. The notation Mod comes by way of analogy with SL(2, Z), which is the mapping class group of the torus—the mapping class group for a surface is sometimes also called the Teichmüller modular group.
The mapping class group of a genus g surface acts naturally on the genus g Teichmüller space by change of marking: , i.e. by changing the layout of the naked topological surface, it yields effectively different instructions for how to wear the hyperbolic clothing.
It can be shown that this action is properly discontinuous (see e.g. section 12.3 of Farb and Margalit), and isometric if we give Teich(g) the Teichmüller metric. The quotient of Teich(g) is , the moduli space of genus g surfaces—which we discuss slightly more below,
Using this action, we may obtain Thurston’s classification of elements of Mod(S), analogous to classification of elements of SL(2, R) by their action on hyperbolic 2-space: define the translation length ; then
- periodic elements have fixed points in Teichmüller space, and hence have and achieve this inf (analogous to elliptic elements of SL(2, R));
- pseudo-Anosov elements have positive translation length, and always achieve this translation length on a Teichmüller geodesic (analogous to hyperbolic elements of SL(2, R));
- reducible elements have zero translation length, but do not achieve it (analogous to parabolics.)
A fuller description of this classification and the work needed to obtain it can be found in Chapter 14 of Farb and Margalit’s Primer.
A space to explore
It would perhaps been possible to rephrase the above classification and obtain it without the use of Teichmüller space, but the use of Teichmüller space certainly helps illuminate the (geometric) structure of the argument and how it is analogous to the classification of elements of SL(2, R) essentially using hyperbolic geometry.
Similarly, moduli spaces can provide a new light in which to consider / describe possible geometric structures.
For instance, we might ask: how could we imagine or describe the various hyperbolic metrics can we put on a genus g surface?
One possible approach to answering this could involve putting coordinates on the genus g Teichmüller space and attempting to interpret those coordinates in terms of the genus 2 surface. Indeed, we can put a set of (global!) 6g – 6 coordinates on Teichmüller space, the Fenchel-Nielsen coordinates, which we obtain by considering a set of 3g – 3 disjoint geodesics on our surface (a pants decomposition, so called because it divides our surface into spheres with three boundary components, i.e. pairs of pants) and taking length and twist parameters along those geodesics—for a full description see Danny Calegari’s post (linked right above).
The Fenchel-Nielsen coordinates (together with a little hyperbolic geometry) give us a very concrete way of answering our question: to obtain some hyperbolic metric on a genus 2 surface, say, we
- take two pairs of pants,
- identify pairs of boundary curves that we will glue to obtain our genus 2 surface,
- specify how long we want each pair of boundary curves to be—this uniquely determines the hyperbolic metric on each pair of pants—,
- specify how much we twist the curves in each pair relative to each other when we glue them together.
To obtain a different metric, we change our specifications for the lengths and/or the twist parameters.
Or, jumping up a dimension, we might ask: are there any hyperbolic metrics on closed 3-manifolds that we could describe similarly concretely?
One way to answer this would be to consider a corresponding representation variety . Unfortunately, 3-manifold fundamental groups are much more complicated than surface groups, and these representation varieties have been much harder to study (although, using machinery I do not [yet?] understand, they are actually algebraic varieties.)
Deformation, degeneration, and the totality
Putting the totality of geometric objects together as a moduli space highlights ways of varying the geometry on them which may be less obvious or natural from a non-moduli-space perspective:
- Infinitesimal deformations of a particular geometric structure: e.g. we might ask, how many degrees of freedom are there if we start with a given hyperbolic metric and try to vary the lengths of the geodesics? Can we concretely describe or characterize these degrees of freedom? Barry Mazur has an excellent overview article which talks more about deformations.
- Degeneration of particular aspect/s of our geometric structures—e.g. what happens to our hyperbolic metric if we pick a geodesic loop and shrink its length towards zero, or expand it towards infinity?
Having such a structured totality also allows us to answer with some degree of precision questions such as “how special is such a feature (say, the presence of many short disjoint geodesics) for this type of geometric structure?” With a moduli space in hand, we might be able to answer “it is a high-codimension feature” (so rather special), or perhaps “it is true except in small balls of finite total volume” (so not very special.)
Aside: coarse and fine moduli; universal properties
The distinction between Teichmüller space Teich(g) and its quotient moduli space , briefly mentioned above, more generally reflects a distinction between fine and coarse moduli spaces. The emphasis on marked hyperbolic metrics may not seem all that natural: we may not care so much about different instructions for how to wear the clothing, but are only interested in essentially different sorts of hyperbolic clothing—which is, untranslating the metaphor, what is describing.
, though, is not as nice as Teich(g)—for one thing, Teich(g) has the universal property that any continuously-varying family of marked genus g surfaces parametrized by a topological space S is described by a continuous map from S into Teich(g). Indeed, we can put a complex structure on Teich(g), and then we can replace “continuous” above with “complex analytic”.
, however, does not have this property, essentially because any higher-genus surface has non-trivial automorphisms, which kill any hope of obtaining the universal property; to address this problem, we “rigidify” the surface (or, from another perspective, “kill off the automorphisms”) by specifying a marking.
Such a universal property provides one way of specifying, categorically, what a moduli space is, and is one way of more precisely expressing the notion that the moduli space captures the geometry that we are interested in.
For more on this circle of ideas—really quite key to the history of Teichmüller space—, introduced by Teichmüller in his 1944 paper and expanded upon by Grothendieck in a series of lectures at the Séminaire Henri Cartan, see this article of A’Campo, Ji, and Παπαδόπουλος.
Invariants from moduli space
Moduli spaces also allow for a novel way of defining topological invariants, which, again, Ben-Zvi’s article describes much better than I could:
‘an important application of moduli spaces in geometry and topology is inspired by quantum field theory, where a particle, rather than follow the “best” classical path between two points, follows all paths with varying probabilities. Classically, one calculates many topological invariants by picking a geometric structure (such as a metric) on a space, calculating some quantity using this structure, and finally proving that the result of the calculation did not depend on the structure we chose. The new alternative is to look at all such geometric structures, and integrate some quantity over the space of all choices. The result, if we can show convergence, will manifestly not depend on any choices. String theory has given rise to many important applications of this idea, in particular by giving a rich structure to the collection of integrals obtained in this way. Donaldson and Seiberg-Witten theories use this philosophy to give topological invariants of four-manifolds. Gromov-Witten theory applies it to the topology of symplectic manifolds, and to counting problems in algebraic geometry.’
We remark here that Vassiliev invariants in knot theory can be seen as another example of this approach; this is perhaps clearer from the point of view of the Kontsevich integral, rather than from the combinatorial perspective.