3
$\begingroup$

Let $\mathcal{X}$ be a smooth, proper and separated Deligne-Mumford stack and let $\pi:\mathcal{X}\rightarrow X$ be its coarse moduli space. Does Grothendieck duality hold for the morphism $\pi$ ?

In particular I would like two know if there is an isomorphism

$$\pi_{*}\mathcal{E}xt^{1}_{\mathcal{X}}(\mathcal{F},\pi^{*}\mathcal{G})\cong \mathcal{E}xt^{1}_{X}(\pi_{*}\mathcal{F},\mathcal{G})$$

where $\mathcal{F}$ is a coherent sheaf on $\mathcal{X}$ and $\mathcal{G}$ is a coherent sheaf on $X$.

$\endgroup$
1
  • 1
    $\begingroup$ I remember reading Nironi arxiv.org/pdf/0811.1955.pdf a few years ago, but I have been away from research long enough that I can't tell if this helps. Sorry in advance if this is old news to you :-) $\endgroup$ Feb 4, 2014 at 19:50

1 Answer 1

1
$\begingroup$

By Corollary $2.10$ in http://arxiv.org/pdf/0811.1955.pdf

Let $f:\mathcal{X}\rightarrow \mathcal{Y}$ be a proper morphism of Deligne-Mumford stacks and $\mathcal{F}\in D^+_c(\mathcal{X})$, $\mathcal{G}\in D^+(\mathcal{Y})$. The the morphsim

$$Rf_{*}R\mathcal{H}om_{\mathcal{X}}(\mathcal{F},f^{!}\mathcal{G})\rightarrow R\mathcal{H}om_{\mathcal{X}}(Rf_{*}\mathcal{F},Rf_{*}f^{!}\mathcal{G})\rightarrow R\mathcal{H}om_{\mathcal{Y}}(Rf_{*}\mathcal{F},\mathcal{G}).$$

is an isomorphism.

If $f:\mathcal{X}\rightarrow \mathcal{Y}$ is a representable finite étale morphism of noetherian algebraic stacks, then the functor $f^{!}$ is the same as $f^{*}$. Therefore we have an isomorphism

$$Rf_{*}R\mathcal{H}om_{\mathcal{X}}(\mathcal{F},f^{*}\mathcal{G})\rightarrow R\mathcal{H}om_{\mathcal{X}}(Rf_{*}\mathcal{F},Rf_{*}f^{*}\mathcal{G})\rightarrow R\mathcal{H}om_{\mathcal{Y}}(Rf_{*}\mathcal{F},\mathcal{G}).$$

Finally, $f$ finite implies $R^if_*\mathcal{F} = 0$ for $i\geq 1$. Therefore, if $\mathcal{H}om_{\mathcal{X}}(\mathcal{F},f^{*}\mathcal{G}) = 0$ we get

$$f_{*}\mathcal{E}xt^{1}_{\mathcal{X}}(\mathcal{F},f^{*}\mathcal{G})\cong \mathcal{E}xt^{1}_{\mathcal{Y}}(f_{*}\mathcal{F},\mathcal{G}).$$

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