Use homogeneous coordinates on projective space and let
These 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 inverting
Intersecting 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 terms
which vanish for : one cannot choose distinct indices from indices. Consequently
The 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 (0)

There are currently no matching articles.