Direct image of a quasi-coherent sheaf under an affine morphism

ID: direct-image-of-a-quasi-coherent-sheaf-under-an-affine-morphism

For an affine morphism , the direct image of every quasi-coherent sheaf on is quasi-coherent. On affine charts this is the fact that restriction of scalars turns the module sheaf into the module sheaf associated with the same underlying module over the target ring.

New to topics? Read the docs here!