Grothendieck's duality theory for coherent cohomology is a fundamental tool in algebraic geometry and number theory, in areas ranging from the moduli of curves to the arithmetic theory of modular forms.