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

Improve this question
$\endgroup$

1 Answer 1

Reset to default
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}$.

Improve this answer
$\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
    Commented Jul 22, 2015 at 14:29

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .