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.
Articles by others on the same topic
There are currently no matching articles.