On the Hasse principle for the Brauer group of a purely transcendental extension field in one variable over an arbitrary field (Q2903469)

Let \(k\) be a field, \(X\) be a complete normal curve over \(k\) with function field \(K\). For any point \(P \in X\), denote by \(O_{X,P}\) the local ring of \(X\) at \(P\).NEWLINENEWLINEThe main question of this paper is the following local-global conjecture. Suppose that \(k\) is a field which is finitely generated over its prime field, and \(m\) is a positive integer such that \(\gcd(m, \text{char}\,k) =1\). Let \(X\) be a complete normal curve over \(k\) with function field \(K\). For any closed point \(P \in X\), denote by \(\tilde{K}_P\) the quotient field of the henselization of \(O_{X,P}\). Question. If \(p\) is a positive integer, is the local-global map \(H^p(K, \mu_m) \to \prod_{P \in X}H^p(\tilde{K}_P, \mu_m)\) injective ?NEWLINENEWLINEThis article announces an answer when \(p=1\) and \(k\) is an algebraic number field.NEWLINENEWLINEOn the other hand, the author provides another proof of a similar result of Harder, i.e. Theorem. For any field \(k\), let \(X\) be the projective line over \(k\) with function field \(k(t)\). Denote by \(\hat{k(t)}_P\) the quotient field of the completion of \(O_{X,P}\) where \(P\) is a closed point of \(X\). Let \(\text{Br}(k(t))\) be the Brauer group of \(k(t)\). Then the local-global map \(\text{Br}(k(t)) \to \prod_{P \in X}\text{Br}(\hat{k(t)}_P)\) is injective (see Theorem 7.27). For \textit{G. Harder}'s original proof, see his paper [Invent. Math. 6, 107--149 (1968; Zbl 0186.25902)].NEWLINENEWLINEThe author also shows that the above local-global map is injective when \(k\) is separably closed and \(X\) is a complete normal curve over \(k\) (see Corollary 7.23).NEWLINENEWLINENEWLINENEWLINE The author uses the cohomological tools to prove these results. He establishes something similar to the Faddeev sequence (see Proposition 7.4) and the maps of this sequence are specified very carefully.NEWLINENEWLINEIn order to specify these maps, laborious works are done for the edge maps of the Grothendieck spectral sequence (see Section 6).NEWLINENEWLINEIn Section 5, the author recalls previous results about the Hasse principle.NEWLINENEWLINEThis paper supplements the cohomological study of Brauer groups in Milne's book [\textit{J. S. Milne}, Étale cohomology. Princeton Mathematical Series. 33. Princeton, New Jersey: Princeton University Press. (1980; Zbl 0433.14012)]. These two works (together with \textit{A. Grothendieck}'s ``Le groupe de Brauer, I, II, III'' [I: Sémin. Bourbaki 17 (1964/65), Exp. No. 290, 21 p. (1966; Zbl 0186.54702), II: Sém. Bourbaki 1965/66, Exp. No. 297, 21 p. (1966), I--III: Dix Exposés Cohomologie Schémas, Adv. Stud. Pure Math. 3, 46--66, 67-87, 88-188 (1968; Zbl 0193.21503, Zbl 0198.25803, Zbl 0198.25901)]) will become convenient references for people interested in the cohomological approach of Brauer groups.