Applying Grothendieck duality to the moduli of curves
Sketching the context for Hartshorne's proof