Relative Beilinson Monad and Direct Image for Families of Coherent Sheaves

David Eisenbud, Frank-Olaf Schreyer

The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech…