Let be a quasi-compact, separated scheme. Then a criterion of Serre asserts that is affine if and only if
for all quasi-coherent sheaves on : that is, affine schemes are characterized by the vanishing of the higher cohomology of all quasi-coherent sheaves. The purpose of this post is to explain an interpretation of Serre’s theorem (or rather, the “if” direction) in terms of category theory. Namely, the idea is that if satisfies the cohomological vanishing condition, then the functor
from the category of quasi-coherent sheaves on to the category of modules over , turns out to be a symmetric monoidal equivalence for formal reasons. A version of Tannakian formalism now shows that is itself isomorphic to : that is, the category together with its symmetric monoidal structure recovers .
Edit: I was sure this material was well-known folklore, but didn’t have a reference when I posted this. Now I do; see Knutson’s Algebraic Spaces.
Second edit (11/19): I just realized that the argument below leaves out an important piece: it doesn’t show that the structure sheaf is a generator! I’ll try to fix this soon.
1. The Morita theorem
Let be an abelian category. How can we tell if is equivalent to the category of (right) modules over a ring ? The key property of , which distinguishes it among general abelian categories, is the following:
Observation: has a compact, projective generator (namely, itself).
The compactness condition states that
commutes with filtered colimits. Together with projectivity, this can be phrased as saying that commutes with all colimits from to . Being a generator is the condition that is a conservative functor. Stated equivalently, in this situation: a module vanishes if and only if .
The point of Morita theory is that this observation actually characterizes abelian categories which are equivalent to for some .
Theorem 1 Let be a cocomplete abelian category with a compact projective generator . Then is equivalent to the category of left modules over the ring .
The above result encodes the essential data for determining when two categories and are equivalent: this happens precisely when there is a compact projective generator of with endomorphism ring equal to .
Proof: This can be proved by “bare hands,” but another approach is to use the Barr-Beck theorem (which deserves a post of its own). I’d like to sketch this approach (which I learned from Lurie’s “Higher Algebra”) because it generalizes well to the derived setting. The idea is to show that is monadic over using the Barr-Beck theorem: that is, can be identified with the category of “modules” over an appropriate monad .
Now, one way to get a monad is to take an associative algebra , and take . This is a monad, and in fact, one has the following:
Observation: Associative rings are the same thing as colimit-preserving monads on the category of abelian groups.
So the strategy of proof is to exhibit as monadic over , via a colimit-preserving monad. This will complete the proof (and we can identify the ring, too).
Namely, we have a functor
which commutes with all limits. This functor has a left adjoint, given by
where is the unique functor which preserves colimits in and such that . In other words, to compute for finitely generated , one takes a presentation of by free -modules , and defines
As before, the goal is to make monadic over , for a colimit-preserving monad on . We need to appeal to the Barr-Beck theorem to do this. The Barr-Beck theorem states that if we have a right adjoint functor like which is conservative and which preserves split coequalizers, then is the category of “modules” for a certain monad (namely, ) on . But is conservative because is a generator, and actually commutes with all colimits because is compact and projective.
So we find that the Barr-Beck theorem applies, and we get
where is a certain monad on . Since preserves all colimits, it is a colimit-preserving monad, and we actually find that is thus the category of modules over a certain ring.
Can we identify this ring? That corresponds to identifying the monad : in other words, to computing the law of composition in . But this is .
2. Serre’s criterion
So let’s suppose is a quasi-compact, separated scheme. We will study using its category of quasi-coherent sheaves. This is an abelian category, admitting all colimits. (In fact, it is a presentable category.) Our first goal is to show that if satisfies the hypotheses of Serre’s criterion, then has a compact projective generator.
Proposition 2 Suppose is a quasi-compact, separated scheme such that for all and quasi-coherent sheaves . Then the sheaf is a compact projective generator of .
The first observation is that , or equivalently the global section functor , commutes with filtered colimits. This is a consequence of quasi-compactness and quasi-separatedness. That is, quasi-compactness and separatedness allows us to write for any as a finite equalizer of evaluated at affine open sets. For affine open, the functor commutes with all colimits in . This allows us to conclude that does too.
The more interesting, and relevant, observation is that is actually an exact functor on . This is a consequence of the long exact sequence in cohomology and the vanishing hypothesis on .
Together, these imply that is a compact projective generator of , and the Morita principle implies an equivalence of categories
given by the global section functor .
From this, we would like to conclude that the scheme itself is equivalent to . We are not quite there yet. For instance, there are many rings with the same module category as ; this is the phenomenon of Morita equivalence. Granted, this turns out not to be a problem because one is only interested here in commutative rings, and I have heard in fact under many conditions one can reconstruct a scheme from ; however, I don’t know what the conditions are.
Edit: Below, John points to the Gabriel-Rosenberg theorem. In this case, it implies that we can conclude the desired direction of Serre’s criterion from here itself.
But anyway, it will be necessary to have a little more. The point is that while , as an abstract category, does not recover , the symmetric monoidal category contains enough information to recover . This is the “Tannakian” philosophy. The functor above is a lax symmetric monoidal functor. In this case, one can check that the natural map
is actually an equivalencefor all . In fact, if we fix , the set of for which this is true is stable under colimits and contains , so it contains everything.
In other words, we have a symmetric monoidal equivalence between the symmetric monoidal category of quasi-coherent sheaves on , and the category of modules over .
Serre’s theorem is now a consequence of the following (see this paper).
Theorem 3 (Brandenburg and Chirvasitu) Let be quasi-compact and quasi-separated, and let be a scheme. Then we have an equivalence of categories
between the category (set) of maps and the category of colimit-preserving tensor functors .
In fact, in view of this, we find that the above symmetric monoidal equivalence between and actually comes from an isomorphism
which is what we wanted.