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

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .