Galois cohomology in degree 3 of function fields of curves over number fields (Q1827521)

The main object of the paper under review is \(H^3(K,{\mathbb Z}/2)\) where \(K\) is the function field of a curve defined over a field \(k\) which is either a \(p\)-adic field, or a number field. The author's main goal is to establish the following analogue of the classical Tate's lemma: given \(\alpha_1, \dots ,\alpha_n\in H^3(K,{\mathbb Z}/2)\), there exist \(\lambda \in K^*\) and \(\beta_i\in H^2(K,{\mathbb Z}/2)\) such that \(\alpha_i=(\lambda )\cup \beta_i\). Note that if \(k\) is a \(p\)-adic field and \(p\neq 2\), it is known [\textit{R. Parimala} and \textit{V. Suresh}, Inst. Hautes Etudes Sci., Publ. Math. 88, 129--150 (1998; Zbl 0972.11020)] that every element of \(H^3(K,{\mathbb Z}/2)\) is a symbol; this follows from the fact [\textit{D. J. Saltman}, J. Ramanujan Math. Soc. 12, 25--47 (1997; Zbl 0902.16021)] that under these assumptions every element of \(H^2(K,{\mathbb Z}/2)\) is a sum of two symbols. However, if \(k\) is a dyadic or a number field, it is not known whether there exists a number \(N\) such that every element of \(H^2(K,{\mathbb Z}/2)\) or \(H^3(K,{\mathbb Z}/2)\) is a sum of at most \(N\) symbols. In the course of the proof the author establishes a little stronger statement, giving more information on \(\lambda\) and \(\beta_i\)'s. This has some applications to the study of the Hasse principle for classical groups over function fields of curves over number fields [see \textit{R. Parimala} and \textit{R. Preeti}, J. Number Theory 101, 151--184 (2003; Zbl 1026.11048)].