Quasi-coherence of direct image under a quasi-compact quasi-separated morphism

ID: quasi-coherence-of-direct-image-under-a-quasi-compact-quasi-separated-morphism

If is quasi-compact and quasi-separated, then the direct image of every quasi-coherent sheaf on is again a quasi-coherent sheaf. A finite affine cover of each inverse image of an affine target chart expresses the direct image as the kernel of a morphism between finite sums of quasi-coherent direct images from affine charts.

New to topics? Read the docs here!