4
$\begingroup$

Let $\cal X$ be a DM stack and ${\cal D}\hookrightarrow{\cal X}$ an effective Cartier divisor on it. Suppose that $n$ is a positive integer invertible in ${\cal X}$.

Let $\sqrt[n]{{\cal D}}\to{\cal X}$ be the root stack associated to the triple $({\cal X, D}, n)$.

(1) Is it true that the moduli space of $\sqrt[n]{{\cal D}}$ is the same of the moduli space of $\cal X$?

(2) Is $\sqrt[n]{{\cal D}}$ a DM stack (also in the case when $\cal X$ is not a scheme)?

In case, can you give me a proof (or a reference) or counterexamples?

$\endgroup$

1 Answer 1

7
$\begingroup$

One way to construct the root stack is to consider the universal situation of $\Theta := [\mathbb{A}^1/\mathbb{G}_m]$. Here let us work over $\mathbb{Z}[\frac{1}{n}]$ since we assume $n$ is invertible. There is a natural map $\phi_n : \Theta \to \Theta$ induced by $z \mapsto z^n$. Given an effective Cartier divisor $D \subset X$, there is an induced morphism $X \to \Theta$. Then the $n^{th}$ root stack can be given as the following fiber product. $\require{AMScd}$ \begin{CD} \sqrt[n]{D} @>>> \Theta\\ @V V V @VV \phi_n V\\ X @>f_D>> \Theta \end{CD}

In particular, takng $(X,D) = (\mathbb{A}^1, 0)$, $f_D$ is the standard smooth cover of $\Theta$ by a $\mathbb{A}^1$ and $\sqrt[n]{D}$ is Deligne-Mumford with finite inertia and proper over $\mathbb{A}^1$. Thus $\phi_n$ is a proper tame morphism with finite inertia and which is representable by Deligne-Mumford stacks.

By Theorem 3.1 in Abramovich, Dan; Olsson, Martin; Vistoli, Angelo, Twisted stable maps to tame Artin stacks, there exists a factorization of $\phi_n$ through a relative coarse moduli space $$ \Theta \xrightarrow{\pi} \bar{\Theta} \xrightarrow{\bar{\phi}_n} \Theta. $$ On the other hand, $\bar{\phi}_n$ is a representable proper birational morphism to a smooth stack so $\bar{\phi}_n$ is an isomorphism by Zariski's Main Theorem.

The formation of the relative moduli space commutes with arbitrary base change for tame morphisms. Thus the relative coarse moduli space of $\sqrt[n]{D} \to X$ is canonically isomorphic to $X$. By pulling back to a smooth a presentation of $X$ and working through the construction of coarse moduli spaces, we conclude that if $X$ has a coarse moduli space, so does $\sqrt[n]{D}$ and they are isomorphic.

Finally, $\sqrt[n]{D} \to X$ is representable by Deligne-Mumford stacks since the property of being representable by Deligne-Mumford stacks is compatible with base change. So if $X$ is Deligne-Mumford, we conclude that $\sqrt[n]{D}$ is as well.

$\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.