3
$\begingroup$

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).

$\endgroup$

1 Answer 1

3
$\begingroup$

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}$.

$\endgroup$
1
  • $\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, 2015 at 14:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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