Lemma 48.24.4. Let $X$ be a locally Noetherian scheme.

1. If $X$ has a dualizing complex $\omega _ X^\bullet$, then

1. $X$ is Gorenstein $\Leftrightarrow$ $\omega _ X^\bullet$ is an invertible object of $D(\mathcal{O}_ X)$,

2. $\mathcal{O}_{X, x}$ is Gorenstein $\Leftrightarrow$ $\omega _{X, x}^\bullet$ is an invertible object of $D(\mathcal{O}_{X, x})$,

3. $U = \{ x \in X \mid \mathcal{O}_{X, x}\text{ is Gorenstein}\}$ is an open Gorenstein subscheme.

2. If $X$ is Gorenstein, then $X$ has a dualizing complex if and only if $\mathcal{O}_ X[0]$ is a dualizing complex.

Proof. Looking affine locally this follows from the corresponding result in algebra, namely Dualizing Complexes, Lemma 47.21.4. $\square$

There are also:

• 4 comment(s) on Section 48.24: Gorenstein schemes

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