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!