We’ve previously discussed moduli spaces a bit. The point of this is that we’ll need to understand a certain moduli space, the moduli of stable maps, in order to continue. So we’ll be starting out with moduli of stable curves, and then continuing on.
So back on the moduli spaces and base change post, I asserted the existence of moduli spaces , and stated the the dimension of this space is . Now, this is the moduli space of smooth, irreducible curves of genus with marked points. Strictly, these are only coarse moduli spaces, but they are quasi-projective. To do anything useful for counting curves, we need to describe a compactification: .
We define an -pointed stable curve of genus , , to be an -tuple with , all the distinct smooth points, such that is a complete connected curve with at worst nodal singularities and arithmetic genus , such that there are only finitely many automorphisms of fixing the and nodes. The last condition can be rephrased to be that every rational component of the normalization
has at least three points lying over special points (that is, nodes or marked points). If this last condition is not necessarily satisfied, we call the curve quasi-stable.
So now we define a family of stable curves over a base to be a flat morphism with fibers stable curves and sections . The functor taking to the set of families of stable curves over is not representable, sadly. However, it is coarsely representable. That is, there’s a coarse moduli space of stable curves. We denote it by .
So this is a moduli space compactifying where the marked points can’t coincide. If two points are coming together in the moduli space, then the limit will be non-irreducible. It will “grow” a new rational component, which will intersect the point the two marked points were converging to, and the two marked points will move onto it.
Now, an interesting thing is to look at . This is actually a divisor, called the boundary divisor, and it behaves rather well. In fact, there is a conjecture of Fulton’s that connects this up to toric geometry via a strong analogy, but I’m not going to go into this.
Now we move on to families of maps. We’ll first talk about quasi-stable things, before going on to stable. A family of maps of -points genus quasi-stable curves to over is a family of quasi-stable curves along with a map . The members of the family are the restriction of to the fibers. We call two families of maps isomorphic if there’s an isomorphism , commuting with the maps to , the maps to , and the sections.
A family of maps will be a family of stable maps if the map restricted to each fiber is stable. So all that’s left is to define what it means for a map from a quasi-stable curve to to be stable. It will just be a condition on the components: let be an irreducible component. Then the map is stable if the two following conditions hold:
- If is isomorphic to and is mapped to a point by , then contains at least three special points.
- If is of arithmetic genus 1 and is mapped to a point, then it contains at least one marked point.
That is, the map restricted to each component is constant only if that component is stable.
The last point in defining the moduli space is breaking it up into components. Let a homology class on . Then we say that represents if .
So now, we have a few big theorems and small definitions that we’ll need, but won’t prove:
Theorem: There exists a projective coarse moduli space of stable maps representing .
Now we define to be the subset of maps with no automorphisms, and we say that a variety is convex if for all , we have . We also define the boundary of to be the locus of non-irreducible domains. Then we have the following theorem:
Theorem: Let be a projective, smooth, convex variety
- is a normal projective variety of pure dimension
- is locally the quotient of a smooth variety by a finite group. That is, it’s an orbifold.
- is a smooth, fine moduli space.
- The boundary of is a divisor with normal crossings, up to finite group quotients.
Before moving on, we will note that there’s quite a bit of structure floating around that we haven’t mentioned yet. For instance, each marked point gives a map by taking the stable map to the point . Similarly, we can forget marked points (possibly contracting components) to get a map whenever . And finally, by mapping to , we get a map .
From here on out, we’re pretty much going to be using only curves of genus zero. Next up: Gromov-Witten invariants.