Lemma 107.19.3. Let $X \to S$ be a family of curves with Gorenstein fibres equidimensional of dimension $1$ (Lemma 107.12.2). Then the relative dualizing sheaf $\omega _{X/S}$ is an invertible $\mathcal{O}_ X$-module whose formation commutes with arbitrary base change.

Proof. This is true because the pullback of the relative dualizing module to a fibre is invertible by the discussion above. Alternatively, you can argue exactly as in the proof of Lemma 107.19.1 and deduce the result from Duality for Schemes, Lemma 48.25.10. $\square$

There are also:

• 3 comment(s) on Section 107.19: The relative dualizing sheaf

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).