Example 48.22.2. Say $X$ is an equidimensional scheme of finite type over a field $k$. Then it is customary to take $\omega _ X^\bullet$ the dualizing complex normalized relative to $k[0]$ and to refer to

$\omega _ X = H^{-\dim (X)}(\omega _ X^\bullet )$

as the dualizing module of $X$. If $X$ is separated over $k$, then $\omega _ X^\bullet = f^!\mathcal{O}_{\mathop{\mathrm{Spec}}(k)}$ where $f : X \to \mathop{\mathrm{Spec}}(k)$ is the structure morphism by Lemma 48.20.9. If $X$ is proper over $k$, then this is a special case of Example 48.22.1.

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