Let $\mathcal{C}\rightarrow S$ a flat projective family of locally complete intersection projective curves over a integral noetherian scheme (say a spectrum of a local ring). I was wondering whether there was a simple (without derived category) way to construct the "relative dualizing sheaf" $\omega_{\mathcal{C}/S}$; specially whether it was an invertible sheaf and whether its restriction to (geometric) fibers (generic or special)was the usual dualizing sheaf (of locally complete intersection).


See the paper

Kleiman, Steven L. Relative duality for quasicoherent sheaves. Compositio Math. 41 (1980), no. 1, 39–60.

You'll find a detailed non-derived construction and a verification of the main properties of $\omega_{X/S}$.

  • $\begingroup$ Thank you very much. I think the section on duality theory of Qing Liu's Algebraic geometry and arithmetic curves is also a good reference. $\endgroup$ – user052715 Jul 22 '15 at 14:29

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.