11
$\begingroup$

It took me some effort to work out Gerashenko's nice simple example Can a singular Deligne-Mumford stack have a smooth coarse space? of a DM stack non-equisingular with its coarse moduli space, which means I must improve my understanding of coarse moduli spaces.

What are your favourite examples of coarse moduli spaces? One per answer, please, so we can rank them.

$\endgroup$
2
  • $\begingroup$ Do you want coarse moduli spaces that are not fine? Do you want the examples to be algebraic? Most of my favorite spaces are moduli spaces. $\endgroup$
    – Tom Church
    Oct 22, 2009 at 5:29
  • $\begingroup$ To the first question: yes, the ideal example would be one where the coarse moduli space is very far from the stack, and difficult to guess. (At present, I can only guess the coarse moduli space for stacks of the form [X/G], and know the answers for A_g, M_g.) To the second question: non-algebraic examples are cool. $\endgroup$ Oct 22, 2009 at 5:44

6 Answers 6

10
$\begingroup$

An elementary example everyone should know is

BG=[*/G].

Here * is a point and G is an algebraic group. Its sections on a scheme X form the groupoid of principal G-bundles on X. Because principal G bundles are locally trivial, the coarse moduli space is a point.

If M is a stack, it determines a presheaf \pi_0(M), whose sections are the isomorphisms classes of objects of M. One way to think about the coarse moduli space is as a space representing the sheafification of this presheaf in whatever topology you are working with.

Starting from this example, you should also be able to work out the issues surrounding [X/G]. In fact, it's good to revisit BG after working out the general case. But I won't do it here since you asked for one example only. In fact, maybe I should have said

*= Spec(Q)

and

G=GL_2/Q.

I learned about stacks in the days before all these nice books, so I'm not sure about a reference for anything I write about them. But the statements here should all be pretty clear from the definitions.

$\endgroup$
1
  • $\begingroup$ I realise I'm quite late to this party, but there is a question related to the sheafification of $\pi_0$ which I would very much like to be settled: in the case of existence of a coarse moduli space, is that the sheaf the coarse moduli space? mathoverflow.net/questions/90975/coarse-moduli-space-and-pi-0 $\endgroup$
    – Jacob Bell
    Jan 25, 2013 at 0:06
9
$\begingroup$

Personal favorite: The Jacobian J of a smooth curve, which is the coarse moduli space for degree zero line bundles on that curve. If you choose a point in your curve, you can also realize the Jacobian as the stack which classifies pairs (L,t) where L is a degree zero line bundle and t is a point in the fiber of L over your chosen point (i.e. a trivialization). There's an obvious surjective map from this stack to the stack M of degree zero line bundles; just forget the trivialization. Thus, the Jacobian is both a coarse moduli space for M and an atlas for M.

$\endgroup$
4
$\begingroup$

The moduli space of semi-stable vector bundles with trivial determinant over a genus $g$ curve. If the rank is 2 then the coarse space is isomorphic to $\mathbb{P}^3$!!

$\endgroup$
3
$\begingroup$

My favorite example of moduli spaces are Grassmannians and in particular projective spaces. Check out exercises 5, 6, and 7 of this: http://www.math.ucdavis.edu/~osserman/classes/256A/hws/hw7.pdf

$\endgroup$
3
$\begingroup$

Whenever I'm doing something and I'm trying to see what difference coarse and fine moduli spaces make, I test the theorem with the STACK M_1 of genus 1 curves and with the variety which is the coarse moduli space of genus 1 curves, A^1, so A^1 is one of my favorite coarse moduli spaces.

$\endgroup$
2
$\begingroup$

Thank you all for your very kind answers! It was silly of mine to suggest we rate the examples, since it's unclear if any examples are better than others. To atone for my mistake, let me offer a summary of the proposed examples in the form of a table.

stack : coarse moduli space

$\mathcal{M}_1$ : affine line $\mathbf{A}^1$;

line bundles of degree $0$ on a smooth curve : $\mathrm{Pic}^0$;

$[\mathrm{pt}/G]$ : $\mathrm{pt}$.

Good moduli spaces

One thing that I learned from Alper, Good moduli spaces is that an object technically better than the coarse moduli space is a good moduli space, a replacement notion which commutes with arbitrary, not just flat, base change, and exists more generally. Explicitly, a good moduli space of an Artin stack $X$ is a morphism $f$ to an algebraic space such that 0) it's quasi-compact a) pushforward along $f$ is exact on quasi-coherent sheaves, and b) the pullback morphism $f_*\mathcal{O}_Y\rightarrow \mathcal{O}_X$ is an isomorphism.

For example, given a linear algebraic group $G$ acting an an affine scheme of ring A over a field, the morphism $$ [\mathrm{Spec}(A)/G] \rightarrow \mathrm{Spec}(A^G) $$ is a good moduli space (ibid., Example 8.3), hence over $\mathbf{Q}$, $$ [\mathbf{A}^1/\mathrm{Spec}(k)]\rightarrow \mathrm{Spec}(k) $$ is a good moduli space (ibid., Example 8.1 and Example 12.4 (1)).

And when is the old notion of a coarse moduli space a special case of the new notion of good moduli space, you ask? Well, if the stack in question is tame (ibid. Example 8.1), i.e., if it has inertia stack finite over it and if the morphism from it to the coarse moduli space is exact on quasicoherent sheaves. (The latter condition is automatic in characteristic $0$.)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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