[Math] When is the global section functor exact

algebraic-geometryschemessheaf-theory

Given sheaves $\mathcal{F}_1,\mathcal{F}_2, \mathcal{F}_3$ on some scheme $X$, and an exact sequence

$$ 0\rightarrow \mathcal{F}_1\rightarrow \mathcal{F}_2\rightarrow \mathcal{F}_3\rightarrow 0 ,$$

when do we know that the global section functor $\Gamma(X,*)$ is exact when applied to the above exact sequence? The global section functor is left exact, so I suppose I am asking when does $\Gamma(X,*)$ preserve a surjective morphism of sheaves.

Of course we know this when $X=\operatorname{Spec}(A)$ is an affine scheme and the $\mathcal{F}_i$ are coherent $\mathcal{O}_X$-modules. Are there more notable cases, and more importantly, do we know of an if and only if condition on the scheme and sheaves to ensure that the global section functor is exact?

Best Answer

If $X$ is Noetherian, Serre proved that $X$ is affine if and only if $H^i(X,\mathcal{F}) = 0$ for all quasi-coherent $\mathcal{F}$ and $i > 0$.

The latter condition is equivalent to $\Gamma(X,-)$ being an exact functor.

Related Question