Let X be proper Cohen-Macaulay scheme of pure dimension 1 over an algebraically closed field k. When X is moreover reduced, Rosenlicht's theory of regular differential forms gives a beautiful explicit description of Grothendieck duality for X. I am wondering if there is an analogue of Rosenlicht's theory in the general context of proper CM curves.
More precisely, in the reduced case Rosenlicht defines a sheaf of calOX-modules omega
whose sections over an open U in X are those meromorphic differentials
eta on the inverse image of U in the normalization X′ of X with the property that for each closed point xinU,
the sum of the residues of feta over all points y of X′ mapping to x is zero for all
finmathcalOX,x. He also defines a trace morphism Tr:H1(X,omega)rightarrowk
in terms of "sums of residues" with the property that the pair (omega,Tr) is canonically isomorphic to the relative dualizing sheaf with its (Grothendieck) trace mapping (one proves this by showing that Roesnlicht's construction satisfies the right universal property).
Is there a similarly explicit (i.e. in terms of certain kinds of differential forms and residues) description of the sections of the dualizing sheaf and of the trace map in the general proper CM setting?
Things to note: A random normal proper and flat curve (=scheme of pure relative dimension 1) calX over W(k) will always have CM special fiber. However, this special fiber is "very often" not reduced, so there are many examples of non-reduced CM curves.
I asked a previous question on MO hinting at this one: Adjunction for underlying reduced subschemes
I'm happy to assume that X is Gorenstein, if that is at all useful.
No comments:
Post a Comment