For an affine morphism and a quasi-coherent sheaf on , the direct image sheaf has the same sheaf cohomology on as on . To prove this, take a flasque resolution . Its direct images are flasque sheaves. On each affine open , the complex of sections of the direct images is . By vanishing of quasi-coherent cohomology on an affine scheme, this augmented complex is exact. Checking on the affine basis proves that resolves . Its global sections are identical to those of the original resolution.
Articles by others on the same topic
There are currently no matching articles.