Exact direct image from an affine open in a semi-separated scheme

ID: exact-direct-image-from-an-affine-open-in-a-semi-separated-scheme

If is an affine open subscheme of a semi-separated scheme, its open immersion has exact direct image on quasi-coherent sheaves. Test on an affine open of : the intersection is affine, and the affine module-sheaf equivalence makes sections on this intersection exact. The direct image is also quasi-coherent, since this open immersion is an affine morphism.

New to topics? Read the docs here!