\(K\)-theory of surfaces at the prime 2 (Q1780005): Difference between revisions

Let \(X\) be a smooth variety over a field \(k\), \(l\) a prime number and consider the map \[ \Phi^l_X: K/l(X)\to K^{et}/l(X) \] between the spectra definining the algebraic \(K\)-theory with finite coefficients and the etale K-theory of X. The main result of the paper is the following theorem: Let \(X\) be a smooth complete surface over a real closed field \(R\) such that \(X(R)\neq\emptyset\) and \(H^3_{et}(X_C,\mathbb{Z}/2)= 0\), where \(C\) is an algebraic closure of \(R\), then \(\Phi ^2_X\) is a weak equivalence on \((0)\)-connected covers. It follows that the 2-adic valuation of the number of elements in \(K_n(X, \mathbb{Z}/2)\) may be computed in terms of the cohomological invariants of \(X: h^i(X)= \dim H^i_{et}(X,\mathbb{Z}/2)\) and \(h^j_R(X)= \dim H^j(X(R),\mathbb{Z}/2)\). One of the main ingredients of the proof is that for a smooth surface over a real closed field, the Bloch-Ogus spectral sequences for motivic cohomology and étale cohomology \[ E^{p,q}_2(X, n)_M= H^p(X,{\mathcal H}^q_M(\mathbb{Z}/l^\nu(n))\Rightarrow H^{p+q}_M(X, \mathbb{Z}/l^\nu(n)), \] \[ E^{p,q}_2(X, n)_{et}= H^p(X,{\mathcal H}^q_{et} (\mathbb{Z}/l^\nu(n))\Rightarrow H^{p+q}_{et}(X, \mathbb{Z}/l^\nu(n)) \] for \(l= 2\) yield the following isomorphisms: (i) \(H^p_M(X, \mathbb{Z}/2(n))\simeq H^p_{et}(X, \mathbb{Z}/2)\) for \(p\leq n\); (ii) \(H^p_M(X, \mathbb{Z}/2(n))\simeq N^i H^p_{et}(X, \mathbb{Z}/2)\) for \(p= n+i\) and \(i= 1,2\), where \(\{N^i H^p_{et}(X, \mathbb{Z}/2)\}_i\) is the coniveau filtration, i.e., \[ N^i H^*_{et}(X, \mathbb{Z}/2)= \text{Im}(\lim(H^*_{et}(Z, \mathbb{Z}/2)\to H^*_{et}(X, \mathbb{Z}/2(q)), \] where the limit is taken over all closed subschemes \(Z\) of codimension \(i\). In the case \(R= \mathbb{R}\) the results notably apply to rational surfaces, complete intersections and K3 surfaces.