When can cohomology be calculated on the coarse moduli space? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T03:16:22Z http://mathoverflow.net/feeds/question/6278 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/6278/when-can-cohomology-be-calculated-on-the-coarse-moduli-space When can cohomology be calculated on the coarse moduli space? Dan Petersen 2009-11-20T16:05:54Z 2011-01-13T22:41:51Z <p>Suppose $\cal{X}$ is a DM-stack, and <em>X</em> its coarse moduli space. Let <em>F</em> be a sheaf on $\cal{X}$, and $\pi : \mathcal{X} \to X$ the projection. In all examples I have seen, it has been true that</p> <p>$H^i(\mathcal{X},F) = H^i(X,\pi_\ast F)$.</p> <p>Is there a simple example where this fails? Are there easy conditions where this is true?</p> http://mathoverflow.net/questions/6278/when-can-cohomology-be-calculated-on-the-coarse-moduli-space/6286#6286 Answer by Tyler Lawson for When can cohomology be calculated on the coarse moduli space? Tyler Lawson 2009-11-20T17:08:45Z 2009-11-21T13:23:09Z <p>Let k be a field and your DM-smack be [Spec(k)//G] for a trivial action of a group G. A sheaf on this stack is roughly a sheaf with a group action, and cohomology is group cohomology. If you consider a sheaf where multiplication by |G| is invertible, then group cohomology vanishes in high degrees, but otherwise there is a lot of information not coming from the cohomology of Spec(k).</p> <p>EDIT: Under amenable circumstances when the left adjoint $\pi^*$ is exact, you can get a sufficient condition for your isomorphism to hold. (I'm not sure what kind of topology you want to work with, or whether you're working with simply sheaves of abelian groups or sheaves of $\mathcal{O}$-modules or quasicoherent modules or...) In this case, $\pi_*$ preserves injectives and so there's a Grothendieck spectral sequence $$H^p(X, {\mathbb R}^q \pi_* F) \Rightarrow H^{p+q}(\mathcal{X},F)$$ and so a sufficient condition is for the higher direct image functors $\mathbb{R}^q \pi_* F$ to vanish for q > 0. These are the sheaves associated to the presheaves $U \mapsto H^q(\pi^{-1} U, F)$, and often their stalks are related to the cohomology of the fibers of $\pi$ - which are, in this case of a DM-stack, pretty much the group cohomology of the stabilizers.</p> http://mathoverflow.net/questions/6278/when-can-cohomology-be-calculated-on-the-coarse-moduli-space/52013#52013 Answer by Anton Geraschenko for When can cohomology be calculated on the coarse moduli space? Anton Geraschenko 2011-01-13T22:41:51Z 2011-01-13T22:41:51Z <p>(This mostly just adds some references to Tyler's answer)</p> <p>$\newcommand{\X}{\mathcal X}$ As Tyler said, if $F$ is a quasi-coherent $\cal O$-module, you get the Grothendieck spectral sequence</p> <p>$$H^p(X,R^q\pi_*(F))\Rightarrow H^{p+q}(\X,F)$$</p> <p>so it suffices to impose the condition that <code>$R^q\pi_*=0$</code> for $q>0$ (i.e. that <code>$\pi_*$</code> is exact). This is exactly the condition that $\X$ is <em>tame</em>. See Abramovich-Olsson-Vistoli's <a href="http://arxiv.org/abs/math/0703310" rel="nofollow">Tame stacks in positive characteristic</a>. In particular, DM stacks in characteristic 0 are always tame.<sup>&dagger;</sup></p> <p>Note that it didn't matter that $\pi$ was a coarse space map. We just needed that $\pi_*$ is exact (that "$\pi$ is <em>cohomologically affine</em>"). In particular, the isomorphism holds when $F$ is quasi-coherent and $\pi:\mathcal X\to X$ is a <a href="http://arxiv.org/abs/0804.2242" rel="nofollow">good moduli space</a>.</p> <p><sup>&dagger;</sup> This is asserted in the first paragraph of the paper, but I don't see how to prove it. Perhaps somebody could clarify in a comment.</p>