Definition 48.28.1. Let $X \to S$ be a morphism of schemes which is flat and locally of finite presentation. Let $W \subset X \times _ S X$ be any open such that the diagonal $\Delta _{X/S} : X \times _ S X$ factors through a closed immersion $\Delta : X \to W$. A relative dualizing complex is a pair $(K, \xi )$ consisting of an object $K \in D(\mathcal{O}_ X)$ and a map

$\xi : \Delta _*\mathcal{O}_ X \longrightarrow L\text{pr}_1^*K|_ W$

in $D(\mathcal{O}_ W)$ such that

1. $K$ is $S$-perfect (Derived Categories of Schemes, Definition 36.33.1), and

2. $\xi$ defines an isomorphism of $\Delta _*\mathcal{O}_ X$ with $R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ W}( \Delta _*\mathcal{O}_ X, L\text{pr}_1^*K|_ W)$.

Comment #5382 by Will Chen on

The diagonal "$\Delta_{X/S}$" is missing a source.

There are also:

• 1 comment(s) on Section 48.28: Relative dualizing complexes

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