Iasked me the question what the interpretation of the irreducibility of a moduli space is for the functor it represents. For proper, there is the valuative criterion and for (formally) smooth, there is the infinitesimal lifting property, but I don't know something similar for irreducible. Can someone shed some light on this?


Your question is a bit vague, but let me try to say something. Being irreducible is a global property so there can be no local characterization like being smooth, regular, etc. If $\mathcal{M}$ is the "space" representing your functor, we say that it is irreducible if it admits a surjective map from an irreducible variety (this is just topological).

If you think about what it means to be irreducible, we could also say that any two closed points of $\mathcal{M}$ can be connected by an irreducible variety. From the functorial point of view, this would mean that any two objects being parametrized live in a family over some irreducible variety. So for example, saying that $M_g$ (the moduli space of smooth geneus $g$ curves is irreducible, is the same as saying that for any two smooth curves $C_1, C_2$ of genus $g$ (say over a field), there is a family $f: S \rightarrow B$ such that $B$ is irreducible, every geometric fiber is a smooth genus $g$ curve, and both $C_1$ and $C_2$ are fibers of $f$. In fact, you can take $B$ to be a curve.

  • $\begingroup$ Thanks. Now I remember I came up with the same answer some while ago ;) $\endgroup$
    – user19475
    Jan 10 '10 at 17:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy