The \ell-adic Dualizing Complex on an Excellent Surface with Rational Singularities

Every scheme X satisfying (†) equipped with a dimension function \delta has a potential dualizing complex, unique up to unique isomorphism, which we denoted by \mathscr{K}_{X, \delta} or simply by \mathscr{K}_X. Moreover the potential dualizing complex is a dualizing complex.

Let X be a regular scheme satisfying (†). Then \delta(x) \mathrel{\mathop:}= - \dim \mathcal{O}_{X,x} is a dimension function on X and we have \mathscr{K}_{X, \delta} = \Lambda.

Let f \colon X \to Y be a compactifiable morphism of schemes satisfying (†). Let \delta_Y be a dimension function on Y and equip X with the dimension function

Then we have \mathscr{K}_{X, \delta_X} = \mathbf{R}\@ifempty{}{}{^{}} f^! \mathscr{K}_{Y, \delta_Y}.

Let f \colon X \to Y be a regular morphism of schemes satisfying (†). Let \delta_Y be a dimension function on Y and equip X with the dimension function

Then we have \mathscr{K}_{X, \delta_X} = f^{\ast} \mathscr{K}_{Y, \delta_Y}.

Let X be a scheme satisfying (†) equipped with a dimension function \delta, Y a closed subscheme of X and U \mathrel{\mathop:}= X \setminus Y. Then there is a long exact sequence of \Lambda-modules:

Let X be a scheme satisfying (†) equipped with a dimension function \delta, X_1 and X_2 two closed subschemes of X such that X = X_1 \cup X_2 (as sets). Then we have a long exact sequence

Let X be a scheme satisfying (†) equipped with a dimension function \delta. Then \mathrm{H}_{n}(X, \delta) = 0 for all n > 2 \dim_{\delta}(X).

Let X be a scheme satisfying (†) equipped with a dimension function \delta, Y a closed subscheme of X, X' \mathrel{\mathop:}= X \setminus Y. Then for each integer n > 2 \dim_{\delta}(Y) + 1, there is a canonical isomorphism \mathrm{H}_{n}(X, \delta) \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} \mathrm{H}_{n}(X', \delta) of \Lambda-modules.

Let X be a scheme satisfying (†), Y a closed subscheme of X, U \mathrel{\mathop:}= X \setminus Y, i \colon Y \hookrightarrow X and j \colon U \hookrightarrow X the inclusions. Then for each object \mathscr{F} in \mathbf{D}_{\mathrm{c}}\@ifempty{\mathrm{b}}{}{^{\mathrm{b}}}\@ifnextchar({\b@Brac}{\n@Brac}{X_{\textup{\'et}}, \Lambda}, there are two distinguished triangles in \mathbf{D}_{\mathrm{c}}\@ifempty{\mathrm{b}}{}{^{\mathrm{b}}}\@ifnextchar({\b@Brac}{\n@Brac}{X_{\textup{\'et}}, \Lambda}:

1. j_!j^{\ast}\mathscr{F} \to \mathscr{F} \to i_{\ast}i^{\ast}\mathscr{F} \to j_!j^{\ast}\mathscr{F}[1] ,

2. i_{\ast}\mathbf{R}\@ifempty{}{}{^{}} i^!\mathscr{F} \to \mathscr{F} \to \mathbf{R}\@ifempty{}{}{^{}} j_{\ast} j^{\ast}\mathscr{F} \to i_{\ast}\mathbf{R}\@ifempty{}{}{^{}} i^!\mathscr{F}[1] .

Let X be a scheme satisfying (†), Y a closed subscheme of X, U \mathrel{\mathop:}= X \setminus Y, i \colon Y \hookrightarrow X and j \colon U \hookrightarrow X the inclusions, \mathscr{F}' \xrightarrow{\varphi} \mathscr{F} \xrightarrow{\psi} \mathscr{F}'' a sequence of objects in \mathbf{D}_{\mathrm{c}}\@ifempty{\mathrm{b}}{}{^{\mathrm{b}}}\@ifnextchar({\b@Brac}{\n@Brac}{X_{\textup{\'et}}, \Lambda}. Assume that one of the following two conditions holds:

1. j^{\ast}(\varphi) \colon j^{\ast}\mathscr{F}' \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} j^{\ast}\mathscr{F} is an isomorphism, j^{\ast}\mathscr{F}'' = 0, and for all n \in \mathbb{Z},

   0 \to \mathrm{H}^{n}(i^{\ast}\mathscr{F}') \to \mathrm{H}^{n}(i^{\ast}\mathscr{F}) \to \mathrm{H}^{n}(i^{\ast}\mathscr{F}'') \to 0

   is a short exact sequence;

2. j^{\ast}(\psi) \colon j^{\ast}\mathscr{F} \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} j^{\ast}\mathscr{F}'' is an isomorphism, j^{\ast}\mathscr{F}' = 0, and for all n \in \mathbb{Z},

   0 \to \mathrm{H}^{n}(\mathbf{R}\@ifempty{}{}{^{}} i^!\mathscr{F}') \to \mathrm{H}^{n}(\mathbf{R}\@ifempty{}{}{^{}} i^!\mathscr{F}) \to \mathrm{H}^{n}(\mathbf{R}\@ifempty{}{}{^{}} i^!\mathscr{F}'') \to 0

   is a short exact sequence.

Then there exists a morphism \delta \colon \mathscr{F}'' \to \mathscr{F}'[1] which makes

a distinguished triangle in \mathbf{D}_{\mathrm{c}}\@ifempty{\mathrm{b}}{}{^{\mathrm{b}}}\@ifnextchar({\b@Brac}{\n@Brac}{X_{\textup{\'et}}, \Lambda}.

Let

be a Cartesian square of schemes satisfying (†), r \mathrel{\mathop:}= p \circ i' = i \circ q. Assume that p is proper, i is a closed immersion; and there exists an open subset U of X such that i(Y) = X \setminus U and p induces an isomorphism p^{-1}(U) \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} U. Then for each object \mathscr{F} in \mathbf{D}_{\mathrm{c}}\@ifempty{\mathrm{b}}{}{^{\mathrm{b}}}\@ifnextchar({\b@Brac}{\n@Brac}{X_{\textup{\'et}}, \Lambda}, there are two distinguished triangles:

in \mathbf{D}_{\mathrm{c}}\@ifempty{\textbf{+}}{}{^{\textbf{+}}}\@ifnextchar({\b@Brac}{\n@Brac}{X_{\textup{\'et}}, \Lambda}, where \delta and \vartheta are induced by the adjunctions.

Let the assumptions and the notations be as in Proposition 1.16; and let \delta be a dimension function on X. Then there is a long exact sequence of \Lambda-modules:

Let C be a 1-equidimensional proper algebraic scheme over a separably closed field k. Let C^{(1)}, C^{(2)}, \ldots, C^{(r)} be all connected components of C; and let C_1, C_2, \ldots, C_n be all irreducible components of C. Assume that \mathrm{H}^{1}(C, \mathcal{O}_C) = 0. Then we have

1. As to homology, we have

   1. There is a canonical isomorphism:

      \mathrm{H}_{0}(C) = \bigoplus^r_{i=1} \mathrm{H}_{0}(C^{(i)}) \@ifempty{\oplus \deg}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{\oplus \deg}} \Lambda^{\oplus r} \,.

   2. \mathrm{H}_{1}(C) = 0.

   3. \mathrm{H}_{2}(C)(-1) is a free \Lambda-module with basis \mathrm{cl}(C_1),\ldots,\mathrm{cl}(C_n).

2. As to cohomology, we have

   1. There is a canonical isomorphism:

      \mathrm{H}^{0}(C, \Lambda) = \bigoplus^r_{i=1} \mathrm{H}^{0}(C^{(i)}) \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} \Lambda^{\oplus r} \,.

   2. \mathrm{H}^{1}(C, \Lambda) = 0.

   3. There is a canonical isomorphism \mathrm{H}^{2}\bigl(C, \Lambda(1)\bigr) \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} \Lambda^{\oplus n} which sends c_1(\mathscr{L}) to \bigl(\deg(\mathscr{L}|_{C_1}), \ldots, \deg(\mathscr{L}|_{C_r})\bigr) for each invertible \mathcal{O}_C-module \mathscr{L}.

Let X be a surface which is the spectrum of a strictly Henselian local ring, P the closed point of X, U \mathrel{\mathop:}= X \setminus P. Assume that U is regular, and X admits a desingularization \pi \colon \widetilde{X} \to X which induces an isomorphism \pi^{-1}(U) \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} U. Let E \mathrel{\mathop:}= \pi^{-1}(P) be the exceptional divisor. Then we have

1. The map \mathrm{H}^{0}(\mathrm{t}_X) \colon \Lambda \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} \mathrm{H}_{4}(X)(-2) is an isomorphism.

2. \mathrm{H}_{3}(X) \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} \mathrm{H}^{1}\bigl(E, \Lambda(2)\bigr).

3. There is an exact sequence of \Lambda-modules:

   0 \to \mathrm{H}_{2}(E) \to \mathrm{H}^{2}\bigl(E, \Lambda(2)\bigr) \to \mathrm{H}_{2}(X) \to \mathrm{H}_{1}(E) \to 0 \,,

   Moreover the kernel of the map \mathrm{H}_{2}(X) \to \mathrm{H}_{1}(E) is a finite group.

4. There is an exact sequence of \Lambda-modules:

   0 \to \mathrm{H}_{1}(X) \to \mathrm{H}_{0}(E) \xrightarrow{\deg} \Lambda \to 0 \,.

5. \mathrm{H}_{q}(X) = 0 for q > 4 or q < 1.

Let the assumptions and the notations be as in Proposition 3.1. We further assume that X has a rational singularity at P. Then we have

1. Let \mathrm{Cl}(X) denote the Weil divisor class group of X. Then there is a canonical isomorphism

   \mathrm{cl} \colon \mathrm{Cl}(X) \otimes_{\mathbb{Z}} \Lambda \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} \mathrm{H}_{2}(X)(-1)

   which sends each [Y] \otimes 1 to \mathrm{cl}_X(Y).

2. The map \mathrm{H}^{0}(\mathrm{t}_X) \colon \Lambda \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} \mathrm{H}_{4}(X)(-2) is an isomorphism.

3. \mathrm{H}_{q}(X) = 0 for q \neq 2, 4.

Let X be a surface having only finitely many singular points, all of which are rational singularities. Then \mathrm{t}_X \colon \mathbb{Q}_{\ell}(2)[4] \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} \mathscr{K}_X is an isomorphism in \mathbf{D}_{\mathrm{c}}\@ifempty{\mathrm{b}}{}{^{\mathrm{b}}}\@ifnextchar({\b@Brac}{\n@Brac}{X_{\textup{\'et}}, \mathbb{Q}_{\ell}}. In particular, \mathbb{Q}_{\ell} is a dualizing complex on X_{\textup{\'et}} in coefficient \mathbb{Q}_{\ell}.

Let k be a separably closed field on which \ell is invertible. And let X be a surface over k. Assume that X has only finitely many singular points, all of which are rational singularities. Then

1. The trace map \operatorname{Tr}_X \colon \mathrm{H}_{\mathrm{c}}^{4}\bigl(X, \mathbb{Q}_{\ell}(2)\bigr) \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} \mathbb{Q}_{\ell} is an isomorphism.

2. For every 0 \leqslant r \leqslant 4 and every object \mathscr{F} in \mathbf{D}_{\mathrm{c}}\@ifempty{\mathrm{b}}{}{^{\mathrm{b}}}\@ifnextchar({\b@Brac}{\n@Brac}{X_{\textup{\'et}}, \mathbb{Q}_{\ell}}, the pairing

   \mathrm{H}_{\mathrm{c}}^{r}(X, \mathscr{F}) \times \mathrm{Ext}^{4-r}_X\bigl(\mathscr{F}, \mathbb{Q}_{\ell}(2)\bigr) \to \mathrm{H}_{\mathrm{c}}^{4}\bigl(X, \mathbb{Q}_{\ell}(2)\bigr) \@ifempty{\operatorname{Tr}_X}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{\operatorname{Tr}_X}} \mathbb{Q}_{\ell}

   is nondegenerate.

3. For every 0 \leqslant r \leqslant 4, the pairing

   \mathrm{H}_{\mathrm{c}}^{r}(X, \mathbb{Q}_{\ell}) \times \mathrm{H}^{4-r}\bigl(X, \mathbb{Q}_{\ell}(2)\bigr) \to \mathrm{H}_{\mathrm{c}}^{4}\bigl(X, \mathbb{Q}_{\ell}(2)\bigr) \@ifempty{\operatorname{Tr}_X}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{\operatorname{Tr}_X}} \mathbb{Q}_{\ell}

   is nondegenerate.

Let X be a surface having only finitely many singular points, all of which are rational singularities. Assume further that for any singular point P, \mathcal{O}_{X, P}^{\mathrm{sh}} is factorial. Then \mathrm{t}_X \colon \mathbb{Z}_{\ell}(2)[4] \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} \mathscr{K}_X is an isomorphism in \mathbf{D}_{\mathrm{c}}\@ifempty{\mathrm{b}}{}{^{\mathrm{b}}}\@ifnextchar({\b@Brac}{\n@Brac}{X_{\textup{\'et}}, \mathbb{Z}_{\ell}}. In particular, \mathbb{Z}_{\ell} is a dualizing complex on X_{\textup{\'et}} in coefficient \mathbb{Z}_{\ell}.

Let X be a surface having only finitely many singular points, all of which are rational singularities; U an open dense subset contained in X_{\mathrm{reg}} and j \colon U \hookrightarrow X the inclusion. Let \mathscr{F} be a smooth \overline{\mathbb{Q}}_{\ell}-sheaf on X_{\textup{\'et}}. Then \mathscr{F}[2] is an object in \mathrm{Perv}(X, \overline{\mathbb{Q}}_{\ell}) and there is a canonical isomorphism j_{! \ast} \circ j^{\ast}\mathscr{F}[2] \@ifempty{}{\xrightarrow{\,\sim\,}} {\xrightarrow[\,\sim\,]{}} \mathscr{F}[2].

Let X be a complete surface over k, \mathscr{F} a smooth \overline{\mathbb{Q}}_{\ell}-sheaf on X_{\textup{\'et}}. Assume that X has only finitely many singular points, all of which are rational singularities; and \mathscr{F} is punctually pure of weight w. Then for every n \in \mathbb{N}, the \overline{\mathbb{Q}}_{\ell}-module \mathrm{H}^{n}(\overline{X}_{\textup{\'et}}, \overline{\mathscr{F}}) is punctually pure of weight n+w.