Motivic cohomology and unramified cohomology of quadrics (Q1572872)

Let \(F\) be a field of characteristic \(\neq 2\), \(X\) a projective quadric over \(F\) defined by a non-degenerate quadratic form \(q\), and \(F(X)\) its function field. The \(n\)-th unramified cohomology group of the extension \(F(X)/F\) with coefficients in \({\mathbb Q}/{\mathbb Z}(n-1)\), denoted by \(H^n_{nr}(F(X)/F, {\mathbb Q}/{\mathbb Z}(n-1))\), is defined to be the kernel of the map \[ H^n(F(X), {\mathbb Q}/{\mathbb Z}(n-1))\to\bigoplus_{x\in X^{(1)}}H^{n-1}(F(x), {\mathbb Q}/{\mathbb Z}(n-2)), \] where \(F(x)\) denotes the residue field at a codimension \(1\) point \(x\in X^{(1)}\), and the cohomology groups are Galois cohomology groups. This yields a map \[ \eta^n=\eta^n_X\,:\,H^n(F, {\mathbb Q}/{\mathbb Z}(n-1))\to H^n_{nr}(F(X)/F, {\mathbb Q}/{\mathbb Z}(n-1)) \] induced by the natural restriction map. In the two previous papers [Am. J. Math. 120, No. 4, 841--891 (1998; Zbl 0913.11018)] (joint with \textit{M. Rost}) and [Duke Math. J. 106, No. 3, 449--484 (2001; Zbl 1049.11044)], various results on \(\text{Coker}\,\eta^n\) and \(\text{Ker}\,\eta^n\) have been obtained for \(n\leq 4\), \(\dim X\leq 4\) and \(\dim X \geq 11\). The purpose of the present article is to extend the results to quadrics of dimensions between \(5\) and \(10\), where they show that \(\text{Coker}\,\eta^4 =0\) in many cases, and also to quadrics defined by so-called Pfister forms and Pfister neighbors, where the main result states that the map \(\eta^n\) is surjective for all \(n\geq 0\). As a key ingredient, they show that if \(\dim X\geq 7\) and the defining quadratic form is not a \(9\)-dimensional one containing a subform similar to a \(3\)-fold Pfister form, then \(\text{Coker}\,\eta^4\cong \text{}_2CH^3(X)\). Since the authors use Voevodsky's motivic cohomology, most of their results are shown under the assumption that \(\text{char}(F)=0\). It should also be noted that independently, \textit{O. T. Izhboldin} [Ann. Math. (2) 154, 529--587 (2001; Zbl 0998.11015)] computed the torsion of \(CH^3(X)\) for \textit{all} quadrics of dimension \(\geq 7\) in \textit{any} characteristic \(\neq 2\), thus generalizing various results in the present paper.