14
$\begingroup$

It is well known and more or less proven in Hartshorne's 'Algebraic Geometry' (p. 209) that for every noetherian scheme $X$ and every collection of abelian sheaves $\mathcal{F}_i$ the canonical map

$$ \bigoplus_i H^*(X; \mathcal{F}_i) \to H^*(X; \bigoplus_i \mathcal{F}_i) $$

is an isomorphism.

My line of interest is whether there are other situations where these kinds of things are true. One example came to my mind:

First observe that for a finite group $G$ and a sequence of $G$-modules $M_i$ the canonical map

$$ \bigoplus_i H^*(G; M_i) \to H^*(X; \bigoplus_i M_i) $$

is an isomorphism. Indeed, the bar resolution of $\mathbb{Z}$ over $\mathbb{Z}[G]$ is finitely generated in every degree. Thus, homming out ouf this resolution commutes with direct sums, as does homology.

Now let $X$ be a scheme with an action by a finite group $G$. Dividing by $G$, we get a map $\pi: X \to X//G$. For every quasi-coherent sheaf $\mathcal{F}$, we have a spectral sequence

$$ H^p(G; H^q(X; \pi^*\mathcal{F})) \Rightarrow H^{p+q}(X//G; \mathcal{F}) $$

(at least if $X//G$ is flat over $\mathbb{Z}$).

It easily follow that under these conditions (and $X$ noetherian) for every collection of quasi-coherent sheaves $\mathcal{F}_i$ on $X//G$, we have an isomorphism

$$ \bigoplus_i H^*(X//G; \mathcal{F}_i) \to H^*(X//G; \bigoplus_i \mathcal{F}_i) $$

Having these examples is not totally satisfactory since there might be a more general theorem with a uniform proof. So, my question is:

What are reasonably general conditions on a Deligne--Mumford stack such that arbitrary direct sums of quasi-coherent sheaves commute with cohomology?

$\endgroup$

2 Answers 2

12
$\begingroup$

A Grothendieck topology is called noetherian if every object is quasi-compact (which is defined as usual). On such a topology, sheaf cohomology commutes with filtered colimits (and in particular with arbitrary direct sums). A proof can be found in Tamme's Intoduction to Etale cohomology, Theorem §3.3.11.1. For the etale topology on the spectrum of a field this shows that Galois cohomology commutes with arbitrary direct sums. For the Zariski topology on a scheme we recover the well-known result cited in Hartshorne. An even more general statement can be found in the Stacks project, Lemma 19.16.2.

$\endgroup$
4
  • $\begingroup$ This also applies to algebraic stacks, when their cohomology is defined as usual for the etale site (but I'm not sure if this is the correct definition). $\endgroup$ Feb 5, 2013 at 9:27
  • $\begingroup$ Since etale maps are open, it seems to suffice that every etale map to the given Deligne--Mumford stack has quasi-compact source. This should be implied by the stack being noetherian. Thanks. $\endgroup$ Feb 6, 2013 at 3:38
  • 1
    $\begingroup$ If I am not mistaken, direct sums are not special cases of filtered colimits. $\endgroup$
    – Damien L
    Sep 12, 2014 at 21:54
  • 6
    $\begingroup$ Direct sums are filtered colimits of finite direct sums. And finite direct sums are no problem. $\endgroup$ Sep 13, 2014 at 8:34
13
$\begingroup$

I am not sure if you are only really interested in properly stacky things, but it is perhaps worth pointing out that the result you mentioned from Hartshorne is true in significantly greater generality.

For any quasi-compact quasi-separated scheme $X$ (in fact for any spectral space $X$, or for something even slightly weaker) and any filtered system $(\mathcal{F}_\alpha)$ of sheaves of abelian groups on $X$ there is an isomorphism $$\mathrm{colim}\; H^i(X, \mathcal{F}_\alpha) \cong H^i(X, \mathrm{colim}\; \mathcal{F}_\alpha)$$ for all $i \geq 0$.

I have a feeling this is well known (as usual to those who well know it), but at least one place this is written down is in

  • George R. Kempf, Some elementary proofs of basic theorems in the cohomology of quasi-coherent sheaves, Rocky Mountain J. Math. 10(3) (1980) pp. 637-646, doi:10.1216/RMJ-1980-10-3-637,

more specifically in Theorem 8.

$\endgroup$
1
  • 1
    $\begingroup$ Kempf's paper is very useful and clearly written. I would recommend it to anyone interested on cohomology of schemes. $\endgroup$
    – Leo Alonso
    Feb 5, 2013 at 9:58

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.