Search the corpus

    Sheaves of modules

    Quasicoherence, coherence, twisting sheaves, and line bundles.

    For \(X\) projective over a noetherian ring and \(\mcf\) coherent on \(X\), there is a surjection \(\bigoplus_{i=1}^r\OO_X(-d_i)\to\mcf\), so long exact sequences reduce statements about \(H^j(X,\mcf)\) to the cohomology of the sheaves \(\OO(d)\) on projective space.

    What links to this