Finite complex computing cohomology in a proper flat family

ID: finite-complex-computing-cohomology-in-a-proper-flat-family

For a proper morphism with Noetherian and an -flat coherent sheaf , locally on the base there is a bounded complex of finite free modules such that
naturally for every -module .

New to topics? Read the docs here!