The \(\ell \)-adic dualizing complex on an excellent surface with rational singularities (Q1757931)

Let \(\ell\) be a prime, and let \(\Lambda\) be the integral closure of \(\mathbb{Z}_{\ell}\) in a finite extension of \(\mathbb{Q}_{\ell}\). In this paper, the author studies the dualizing complex of an excellent surface with rational singularities \(X\). He proves that the dualizing complex \(\mathcal{K}_X \in D_c^b(X_{\text{ét}}, \Lambda)\) of \(X\) can be expressed in terms of a distinguished triangle. To state the result, we need some notation. Let \(P_1, \ldots, P_r \in X\) be the rational singularities. For \(i=1, \ldots, r\), let \(l_i: P_i \to X\) be the inclusion. Let \(\mathcal{M}_i \in D_c^b(P_{i,\text{ét}}, \Lambda)\) be the object defined by the \(\Lambda-\mathrm{Gal}(k(P_i)^s/k(P_i))\)-module \(\mathrm{Cl}(\mathcal{O}_{X,P_i}^{sh}) \otimes_{\mathbb{Z}} \Lambda\). Then the main result of the paper, Theorem 5.4, states that there exists a distinguished triangle \[ \Lambda_X(2)[4] \to \mathcal{K}_X \to \bigoplus_{i=1}^r (l_i)_* \mathcal{M}_i(1)[2] \to (\Lambda_X(2)[4])[1]. \] As corollaries, the author shows that \(\mathcal{K}_X\) is isomorphic to \(\mathbb{Q}_{\ell}(2)[4]\) in \(D_c^b(P_{i,\text{ét}}, \mathbb{Q}_{\ell})\), and also that there exists a Poincaré duality result for objects in \(D_c^b(P_{i,\text{ét}}, \mathbb{Q}_{\ell})\).