Let $U$ be a locally Noetherian scheme. Let $\mathcal{O}_{\acute{e}tale}$ be the structure sheaf of $U$ on the small étale site of $U$. We will say an object $K \in D_\mathit{QCoh}(\mathcal{O}_{\acute{e}tale})$ is a dualizing complex on $U$ if $K = \epsilon ^*(\omega _ U^\bullet )$ for some dualizing complex $\omega _ U^\bullet $ in the sense of Duality for Schemes, Section 48.2. Here $\epsilon ^* : D_\mathit{QCoh}(\mathcal{O}_ U) \to D_\mathit{QCoh}(\mathcal{O}_{\acute{e}tale})$ is the equivalence of Derived Categories of Spaces, Lemma 75.4.2. Most of the properties of $\omega _ U^\bullet $ studied in Duality for Schemes, Section 48.2 are inherited by $K$ via the discussion in Derived Categories of Spaces, Sections 75.4 and 75.13.
We define a dualizing complex on a locally Noetherian algebraic space to be a complex which étale locally comes from a dualizing complex on the corresponding scheme.
Lemma 86.2.1. Let $S$ be a scheme. Let $X$ be a locally Noetherian algebraic space over $S$. Let $K$ be an object of $D_\mathit{QCoh}(\mathcal{O}_ X)$. The following are equivalent
For every étale morphism $U \to X$ where $U$ is a scheme the restriction $K|_ U$ is a dualizing complex for $U$ (as discussed above).
There exists a surjective étale morphism $U \to X$ where $U$ is a scheme such that $K|_ U$ is a dualizing complex for $U$.
Proof. Assume $U \to X$ is surjective étale where $U$ is a scheme. Let $V \to X$ be an étale morphism where $V$ is a scheme. Then
are étale morphisms of schemes with the arrow to $V$ surjective. Hence we can use Duality for Schemes, Lemma 48.26.1 to see that if $K|_ U$ is a dualizing complex for $U$, then $K|_ V$ is a dualizing complex for $V$. $\square$
Definition 86.2.2. Let $S$ be a scheme. Let $X$ be a locally Noetherian algebraic space over $S$. An object $K$ of $D_\mathit{QCoh}(\mathcal{O}_ X)$ is called a dualizing complex if $K$ satisfies the equivalent conditions of Lemma 86.2.1.
Lemma 86.2.3. Let $A$ be a Noetherian ring and let $X = \mathop{\mathrm{Spec}}(A)$. Let $\mathcal{O}_{\acute{e}tale}$ be the structure sheaf of $X$ on the small étale site of $X$. Let $K, L$ be objects of $D(A)$. If $K \in D_{\textit{Coh}}(A)$ and $L$ has finite injective dimension, then in $D(\mathcal{O}_{\acute{e}tale})$ where $\epsilon : (X_{\acute{e}tale}, \mathcal{O}_{\acute{e}tale}) \to (X, \mathcal{O}_ X)$ is as in Derived Categories of Spaces, Section 75.4.
\[ \epsilon ^*\widetilde{R\mathop{\mathrm{Hom}}\nolimits _ A(K, L)} = R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_{\acute{e}tale}}(\epsilon ^*\widetilde{K}, \epsilon ^*\widetilde{L}) \]
Proof. By Duality for Schemes, Lemma 48.2.3 we have a canonical isomorphism
in $D(\mathcal{O}_ X)$. There is a canonical map
in $D(\mathcal{O}_{\acute{e}tale})$, see Cohomology on Sites, Remark 21.35.11. We will show the left and right hand side of this arrow have isomorphic cohomology sheaves, but we will omit the verification that the isomorphism is given by this arrow.
We may assume that $L$ is given by a finite complex $I^\bullet $ of injective $A$-modules. By induction on the length of $I^\bullet $ and compatibility of the constructions with distinguished triangles, we reduce to the case that $L = I[0]$ where $I$ is an injective $A$-module. Recall that the cohomology sheaves of $R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_{\acute{e}tale}}(\epsilon ^*\widetilde{K}, \epsilon ^*\widetilde{L}))$ are the sheafifications of the presheaf sending $U$ étale over $X$ to the $i$th ext group between the restrictions of $\epsilon ^*\widetilde{K}$ and $\epsilon ^*\widetilde{L}$ to $U_{\acute{e}tale}$. See Cohomology on Sites, Lemma 21.35.1. If $U = \mathop{\mathrm{Spec}}(B)$ is affine, then this ext group is equal to $\text{Ext}^ i_ B(K \otimes _ A B, L \otimes _ A B)$ by the equivalence of Derived Categories of Spaces, Lemma 75.4.2 and Derived Categories of Schemes, Lemma 36.3.5 (this also uses the compatibilities detailed in Derived Categories of Spaces, Remark 75.6.3). Since $A \to B$ is étale, we see that $I \otimes _ A B$ is an injective $B$-module by Dualizing Complexes, Lemma 47.26.4. Hence we see that
The penultimate equality because $H^{-n}(K)$ is a finite $A$-module, see More on Algebra, Lemma 15.65.4. Therefore the cohomology sheaves of the left and right hand side of the equality in the lemma are the same. $\square$
Lemma 86.2.4. Let $S$ be a scheme. Let $X$ be a locally Noetherian algebraic space over $S$. Let $K$ be a dualizing complex on $X$. Then $K$ is an object of $D_{\textit{Coh}}(\mathcal{O}_ X)$ and $D = R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ X}(-, K)$ induces an anti-equivalence which comes equipped with a canonical isomorphism $\text{id} \to D \circ D$. If $X$ is quasi-compact, then $D$ exchanges $D^+_{\textit{Coh}}(\mathcal{O}_ X)$ and $D^-_{\textit{Coh}}(\mathcal{O}_ X)$ and induces an equivalence $D^ b_{\textit{Coh}}(\mathcal{O}_ X) \to D^ b_{\textit{Coh}}(\mathcal{O}_ X)$.
\[ D : D_{\textit{Coh}}(\mathcal{O}_ X) \longrightarrow D_{\textit{Coh}}(\mathcal{O}_ X) \]
Proof. Let $U \to X$ be an étale morphism with $U$ affine. Say $U = \mathop{\mathrm{Spec}}(A)$ and let $\omega _ A^\bullet $ be a dualizing complex for $A$ corresponding to $K|_ U$ as in Lemma 86.2.1 and Duality for Schemes, Lemma 48.2.1. By Lemma 86.2.3 the diagram
commutes where $\mathcal{O}_{\acute{e}tale}$ is the structure sheaf of the small étale site of $U$. Since formation of $R\mathop{\mathcal{H}\! \mathit{om}}\nolimits $ commutes with restriction, we conclude that $D$ sends $D_{\textit{Coh}}(\mathcal{O}_ X)$ into $D_{\textit{Coh}}(\mathcal{O}_ X)$. Moreover, the canonical map
(Cohomology on Sites, Lemma 21.35.5) is an isomorphism for all $L$ in $D_{\textit{Coh}}(\mathcal{O}_ X)$ because this is true over all $U$ as above by Dualizing Complexes, Lemma 47.15.3. The statement on boundedness properties of the functor $D$ in the quasi-compact case also follows from the corresponding statements of Dualizing Complexes, Lemma 47.15.3. $\square$
Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Recall that an object $L$ of $D(\mathcal{O})$ is invertible if it is an invertible object for the symmetric monoidal structure on $D(\mathcal{O}_ X)$ given by derived tensor product. In Cohomology on Sites, Lemma 21.49.2 we we have seen this means $L$ is perfect and if $(\mathcal{C}, \mathcal{O})$ is a locally ringed site, then for every object $U$ of $\mathcal{C}$ there is a covering $\{ U_ i \to U\} $ of $U$ in $\mathcal{C}$ such that $L|_{U_ i} \cong \mathcal{O}_{U_ i}[-n_ i]$ for some integers $n_ i$.
Let $S$ be a scheme and let $X$ be an algebraic space over $S$. If $L$ in $D(\mathcal{O}_ X)$ is invertible, then there is a disjoint union decomposition $X = \coprod _{n \in \mathbf{Z}} X_ n$ such that $L|_{X_ n}$ is an invertible module sitting in degree $n$. In particular, it follows that $L = \bigoplus H^ n(L)[-n]$ which gives a well defined complex of $\mathcal{O}_ X$-modules (with zero differentials) representing $L$.
Lemma 86.2.5. Let $S$ be a scheme. Let $X$ be a locally Noetherian algebraic space over $S$. If $K$ and $K'$ are dualizing complexes on $X$, then $K'$ is isomorphic to $K \otimes _{\mathcal{O}_ X}^\mathbf {L} L$ for some invertible object $L$ of $D(\mathcal{O}_ X)$.
Proof. Set
This is an invertible object of $D(\mathcal{O}_ X)$, because affine locally this is true. Use Lemma 86.2.3 and Dualizing Complexes, Lemma 47.15.5 and its proof. The evaluation map $L \otimes _{\mathcal{O}_ X}^\mathbf {L} K \to K'$ is an isomorphism for the same reason. $\square$
Lemma 86.2.6. Let $S$ be a scheme. Let $X$ be a locally Noetherian quasi-separated algebraic space over $S$. Let $\omega _ X^\bullet $ be a dualizing complex on $X$. Then $X$ the function $|X| \to \mathbf{Z}$ defined by is a dimension function on $|X|$.
\[ x \longmapsto \delta (x)\text{ such that } \omega _{X, \overline{x}}^\bullet [-\delta (x)] \text{ is a normalized dualizing complex over } \mathcal{O}_{X, \overline{x}} \]
Proof. Let $U$ be a scheme and let $U \to X$ be a surjective étale morphism. Let $\omega _ U^\bullet $ be the dualizing complex on $U$ associated to $\omega _ X^\bullet |_ U$. If $u \in U$ maps to $x \in |X|$, then $\mathcal{O}_{X, \overline{x}}$ is the strict henselization of $\mathcal{O}_{U, u}$. By Dualizing Complexes, Lemma 47.22.1 we see that if $\omega ^\bullet $ is a normalized dualizing complex for $\mathcal{O}_{U, u}$, then $\omega ^\bullet \otimes _{\mathcal{O}_{U, u}} \mathcal{O}_{X, \overline{x}}$ is a normalized dualizing complex for $\mathcal{O}_{X, \overline{x}}$. Hence we see that the dimension function $U \to \mathbf{Z}$ of Duality for Schemes, Lemma 48.2.7 for the scheme $U$ and the complex $\omega _ U^\bullet $ is equal to the composition of $U \to |X|$ with $\delta $. Using the specializations in $|X|$ lift to specializations in $U$ and that nontrivial specializations in $U$ map to nontrivial specializations in $X$ (Decent Spaces, Lemmas 68.12.2 and 68.12.1) an easy topological argument shows that $\delta $ is a dimension function on $|X|$. $\square$
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)