Added outline for Serre duality