I am interested in knowing what (if any) is the quasicoherent analogue of the following result that I have paraphrased from SGA 4, exposé xv, Théorème 1.15: Let $g \colon X ...
Let $\pi:X\to Y$ be a proper map of algebraic varieties (over $\mathbb C$) which is a bi-rational equivalence. are the following statements equivalent? The derived direct image of $O_X$ is $O_Y$. ...
Let $X$ be a smooth projective variety. Let $E$ be a line bundle (or, more generally, a vetor bundle) on $X$. Are there any nice criteria for acyclicity of $E$ (that is, for the property $H^i(X,E)=0$ ...