Remark 48.12.9. Lemma 48.12.8 means our relative dualizing complex is rigid in a sense analogous to the notion introduced in . Namely, since the functor on the right of (48.12.8.2) is “quadratic” in $\omega _{X/Y}^\bullet$ and the functor on the left of (48.12.8.2) is “linear” this “pins down” the complex $\omega _{X/Y}^\bullet$ to some extent. There is an approach to duality theory using “rigid” (relative) dualizing complexes, see for example , , and . We will return to this in Section 48.28.

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