MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
up vote 7 down vote accepted

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.

share|cite|improve this answer
Thanks. Now I remember I came up with the same answer some while ago ;) – Timo Keller Jan 10 '10 at 17:19

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.