A Mind for Madness

Musings on art, philosophy, mathematics, and physics

The Coarse Moduli Space

1 Comment


On this blog we’ve extensively looked at lots of things from deformation theory over the past few years. Deformation theory is in some sense a local examination of a more global object called a moduli space. Today we’ll start a brief series on moduli spaces.

Roughly speaking a moduli space is a “space” whose “points” are objects you are trying to classify. You could make the moduli space of elliptic curves in which the points are elliptic curves. You could make the moduli space of rank {3} vector bundles over some {X}. Each point of this space would correspond to a vector bundle of rank {3} on {X} (up to isomorphism). You could make a moduli space of morphisms between {X} and {Y}.

In theory, any type of mathematical thing you think up you could try to make a space of them. Algebraic geometers do this a lot, but I see no reason why you couldn’t try to study Borel measures on some metric space by trying to make a space whose points correspond to Borel measures (maybe up to mutual absolute continuity or something).

We’ve talked about the deformation functor of an object. Roughly speaking you should expect something along the following lines. Fix an object {P}. This corresponds to a point on your moduli space {M}. The tangent space of {M} at {P} should correlated to the first order infinitesimal deformation of {P}. Nearby points to {P} on {M} should correspond to more similar objects (whatever that means) and far away objects should correspond to quite different objects.

The reason I want to keep this series brief is that the subject turns incredibly technical quickly because there are lots of conditions that people impose on their objects to get the moduli space to be small enough and nice enough to study. We’ll restrict ourselves to some fairly straightforward examples.

The general idea behind constructing a moduli space is that by specifying what the type of object you want to make a space out of, you’ve told me what the functor of points of the space is. In order for it to be some sort of “space” all that we need to do is figure out what space represents this functor.

Let’s start with making some of this more precise. Unfortunately, even the easiest cases have some strange technical points that can’t be avoided. Fix an algebraically closed field (unnecessary in general), {k}. The moduli functor will be a functor {\mathcal{F}: Sch_k\rightarrow Set} from schemes over {k} to sets. The set {\mathcal{F}(S)} is the set of equivalence classes of our objects “over” {S} (which will have a meaning depending on the type of object).

The coarse moduli space (if it exists) for this functor is a scheme {M} (a highly restrictive condition we’ll remove if this series goes very far) over {k} with the property that there is a natural transformation {\mathcal{F}\rightarrow h_M} such that {\mathcal{F}(k)\rightarrow h_M(k)} is bijective and satisfies a universal property: given any other natural transformation {\mathcal{F}\rightarrow h_N} where {N\in Sch_k} there is a unique map of schemes {M\rightarrow N} so that the original map factors {\mathcal{F}\rightarrow h_N\rightarrow h_M}.

If our moduli functor has a coarse moduli space {M}, then we define a universal family for the moduli problem to be a family of objects {X} over {M} (i.e. an element of {\mathcal{F}(M)}) with the property that for each closed point {m\in h_M(k)}, the object {X_m} over {M} is the one corresponding to {m} under the bijection {\mathcal{F}(k)\rightarrow h_M(k)}.

How should we think of this? Well, our coarse moduli space is just a scheme {M} whose closed points are the objects we are considering. This was our motivating definition. (Un)fortunately, schemes have a ton more structure than their closed points. This is what is meant by “coarse”. Other than being the universal space in some sense and actually having as its points the objects we want the rest of the scheme structure is basically irrelevant for a coarse moduli space. The universal family is essentially geometrically designating to each point of {M(k)} the object that it corresponds to.

We’ll end on an extremely simple example that will become somewhat annoying next time when we want a better notion of moduli space. Let {\mathcal{F}} be the functor that classifies smooth, projective, genus {0} curves over {k} up to isomorphism. We need to make precise our notion of a relative curve over some {S\in Sch_k} if we want a well-defined functor on all of {Sch_k}.

Define {\mathcal{F}(S)} to be the set of {X\rightarrow S} which are smooth and projective with geometric fibers curves of genus {0}. This is exactly what one would expect a family of genus {0} curves to be. The functor’s value on {Spec(k)} is just a single point {\mathcal{F}(k)=\{\mathbb{P}^1\}} because all genus {0} curves (over an algebraically closed field) are isomorphic. This easily shows that {M=Spec(k)} is the coarse moduli space and there is a universal family which is to just put the one object over {M}, i.e. {\mathbb{P}^1\rightarrow Spec(k)} is the universal family.

About these ads

Author: hilbertthm90

I write about math, philosophy, literature, music, science, computer science, gaming or whatever strikes my fancy that day.

One thought on “The Coarse Moduli Space

  1. Hi! I could have sworn I’ve visited this blog before but after going through some of the articles I realized it’s
    new to me. Nonetheless, I’m definitely delighted I found it and I’ll be bookmarking it and
    checking back regularly!

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

Follow

Get every new post delivered to your Inbox.

Join 172 other followers