Lemma 53.4.2. Let $X$ be a proper scheme over a field $k$ which is Cohen-Macaulay and equidimensional of dimension $1$. The module $\omega _ X$ of Lemma 53.4.1 has the following properties

$\omega _ X$ is a dualizing module on $X$ (Duality for Schemes, Section 48.22),

$\omega _ X$ is a coherent Cohen-Macaulay module whose support is $X$,

there are functorial isomorphisms $\mathop{\mathrm{Ext}}\nolimits ^ i_ X(K, \omega _ X[1]) = \mathop{\mathrm{Hom}}\nolimits _ k(H^{-i}(X, K), k)$ compatible with shifts for $K \in D_\mathit{QCoh}(X)$,

there are functorial isomorphisms $\mathop{\mathrm{Ext}}\nolimits ^{1 + i}(\mathcal{F}, \omega _ X) = \mathop{\mathrm{Hom}}\nolimits _ k(H^{-i}(X, \mathcal{F}), k)$ for $\mathcal{F}$ quasi-coherent on $X$.

## Comments (0)