Grothendieck Duality

A formalism in the derived category (and coherent/compact contexts) that describes a duality between pushforward and extraordinary pullback functors: for a suitably finite-type morphism f, there is an adjunction between Rf_* and f^! implemented via a relative dualizing complex, generalizing Serre and Verdier duality.