Serre Duality is the statement, for a smooth projective (integral) variety and a locally-free sheaf on ,
where is the canonical bundle and . This isomorphism is almost canonical: it depends on the choice of an isomorphism
called a trace map. I’m going to sketch out my understanding of what’s going on with this duality statement and how it comes up (non-rigorously).