Failure of ordinary sheaf-dual Serre duality for a skyscraper sheaf
ID: failure-of-ordinary-sheaf-dual-serre-duality-for-a-skyscraper-sheaf
On with , let at a rational point. It has one-dimensional global sections, but its dual of a sheaf is zero: a local map from the residue field into the local polynomial ring must have image annihilated by a nonzero parameter, which is impossible in an integral domain. Thus . Serre duality for arbitrary coherent sheaves instead uses an Ext functor; replacing this by the ordinary dual can lose torsion information.
New to topics? Read the docs here!