MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Is there a non-trivial class $S$ of smooth Deligne-Mumford stacks over a base $B$ with the property that if $\mathcal{X}, \mathcal{Y} \in S$ have isomorphic coarse moduli spaces (assumed to exist) then $\mathcal{X} \cong \mathcal{Y}$? If $B = Spec(k)$, $k$ a field (of characteristic $0$ if necessary), can one take $S$ to be the class of all irreducible, smooth, separated DM stacks with trivial inertia in codimension $\leq 1$?

share|cite|improve this question
See the paper "Functorial reconstruction theorems for stacks" by Lieblich and Osserman (on arxiv, etc.). It's somewhat contrary to the whole point of introducing stacks to pose this kind of question, but anyway that paper does give affirmative result in some classes of examples. – BCnrd Apr 12 '10 at 15:35
@Brian I was aware of the paper of Lieblich and Osserman but it seemed to me that they address a somewhat different question i.e. they consider the functor associated to the stack rather than the coarse moduli space, and the former retains more information about the stack. – ulrich Apr 12 '10 at 15:52
@unknown: sorry, I misread the question, Mea culpa. Feel free to delete both my comment and yours if you wish. – BCnrd Apr 12 '10 at 16:57
up vote 16 down vote accepted

Yes, the class of all smooth, separated DM stacks over a field of characteristic $0$, with trivial inertia in codimension at most $1$, over a field of characteristic $0$, has the propery you want. The point is that every moduli space of such a stack has quotient singularities; and every variety with quotient singularities is the moduli space of a unique such stack. I believe that this was first proved in Angelo Vistoli: Intersection theory on algebraic stacks and on their moduli spaces. Invent. Math. 97 (1989), no. 3, 613-670, Proposition 2.8 (uniqueness is not stated there, but it follows from the proof).

share|cite|improve this answer
Thanks a lot for the reference! – ulrich Apr 13 '10 at 5:12

The answer to the second question is No. For example the weighted projective stack $\mathbb{P}(1,2)$ and $\mathbb{P}^1$ have isomorphic coarse moduli spaces but are not isomorphic stacks. More generally, you can always ``add stack structure" in codimension one by using the root stack construction first developed by Cadman.

share|cite|improve this answer
@mdeland In the second question I specified that there is no inertia in codimension 1 precisely in order to rule out such examples. – ulrich Apr 12 '10 at 15:55
Ah sorry, I also misread the question! – mdeland Apr 12 '10 at 18:33

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.