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.
Let be a standard affine chart and a quasi-coherent sheaf there. Its direct image is quasi-coherent because is an affine morphism. The standard two-chart acyclic cover has Čech cochain complex in degrees zero and one, with differential . Surjectivity gives for . This does not assert that the direct image itself is flasque.
Articles by others on the same topic
There are currently no matching articles.