Use homogeneous coordinates on projective space and letThese open subschemes cover . Each is a closed subscheme of the affine scheme , hence is an affine scheme.
Every nonempty finite intersection is affine as well. Indeed, inside the intersection with is the principal open subscheme obtained by invertingIntersecting it with the closed subscheme gives , again an affine scheme.
For any quasi-coherent sheaf , vanishing of quasi-coherent cohomology on an affine scheme makes every such intersection acyclic for . The acyclic cover theorem therefore identifies the sheaf cohomology of with the Čech cohomology of this cover. Its alternating Čech cochain complex has termswhich vanish for : one cannot choose distinct indices from indices. ConsequentlyThe choice meets the strict requirement even when . It is independent of , and applies to all quasi-coherent sheaves, including those which are not coherent sheaves. This is the cohomological dimension bound from an affine cover.
Articles by others on the same topic
There are currently no matching articles.