ABSTRACT
In these expository notes derived categories and functors are gently introduced, and used along with Koszul complexes to develop the basics of local cohomology. Local duality and its far-reaching generalization, Greenlees-May duality, are treated. A canonical version of local duality, via differentials and residues, is outlined. Finally, the fundamental Residue Theorem, described here e.g., for smooth proper maps of formal schemes, marries canonical local duality to a canonical version of Grothendieck duality for formal schemes.
