Classes of motivic étale cycles (Q1932512): Difference between revisions

Let \(k\) be a field, \(X\) a smooth variety over \(k\) and \(l\) a prime number. Let \({\mathcal H}^3_{\text{ét}}(\mathbb{Q}_l/\mathbb{Z}_l(2))\) be the Zariski sheaf on \(X\) associated to the presheaf \(U\to H^3_{\text{ét}}(U,\mathbb{Q}_l/\mathbb{Z}_l(2))\). Similarly let \({\mathcal H}^3_{\text{cont}}(\mathbb{Z}_l(2))\) be the Zariski sheaf associated to \(U\to H^3_{\text{cont}}(U,\mathbb{Z}_l(2))\). Here \(H^*_{\text{cont}}\) is the continuous étale cohomology as defined by Jannsen. Theorem 1. There is an exact sequence \[ 0\to H^0(X,{\mathcal H}^3_{\text{cont}}(\mathbb{Z}_l(2))\otimes \mathbb{Q}/\mathbb{Z}\to H^0(X,{\mathcal H}^3_{\text{ét}}(\mathbb{Q}_l/\mathbb{Z}_l(2))\to C_{\text{tors}}\to 0, \] where, if \(l\) is different from the characteristic of \(k\), \(C\) is the cokernel of the \(l\)-adic cycle class \(\mathrm{CH}^2(X)\otimes\mathbb{Z}_l\to H^4_{\text{cont}}(X, \mathbb{Z}_l(2))\), defined by Jannsen. The group \(C_{\text{tors}}\) is finite if \(H^4_{\text{ét}}(X,\mathbb{Z}_l)\) is a \(\mathbb{Z}_l\)-module of finite type.This is the case if \(k\) is a finite field of characteristic \(p\neq l\) or if \(k\) is separably closed. In this case the above result yields that \(H^0(X,{\mathcal H}^3_{\text{ét}}(\mathbb{Q}_l/\mathbb{Z}_l(2))\) is an extension of a finite group by a divisible group. In the case \(k=\mathbb{C}\), the author recovers a result by Colliot-Thélene and Voisin, avoiding the recourse to the Block-Kato conjecture in degree \(-3\), which was used to prove the exactness of the following complex of Zariski sheaves associated to Betti cohomology \[ 0\to{\mathcal H}^3_{\text{cont}}(\mathbb{Z}(2))\to{\mathcal H}^3_{\text{cont}}(\mathbb{Q}(2))\to {\mathcal H}^3_{\text{ét}}(\mathbb{Q}/\mathbb{Z}(2))\to 0. \] In the same spirit, in the case of a separably closed field \(k\) of characteristic \(\neq l\) one gets, form the theorem above an exact sequence \[ 0\to H^3_{\text{tr}}(X, \mathbb{Z}_l(2))\to H^0(X,{\mathcal H}^3_{\text{cont}}(\mathbb{Z}_l(2)))\to \text{Griff}^2(X, \mathbb{Z}_l)\to 0, \] where \(\text{Griff}^2 (X,\mathbb{Z}_l)\) is the group of codimension 2 cycles with \(l\)-adic coefficients, modulo algebraic equivalence, such that the \(l\)-adic cohomology class vanishes. \(H^3_{\text{tr}}(X, \mathbb{Z}_l(2))\) by the first step of the coniveau filtration.