A Hasse principle for function fields over PAC fields (Q5935799)

A field \(K\) is called pseudo-algebraically closed (PAC) if every geometrically irreducible affine variety defined over \(K\) has a \(K\)-rational point. If a perfect field is PAC then it is infinite, non-real, and all its henselizations with respect to nontrivial valuations are algebraically closed [\textit{M. Fried} and \textit{M. Jarden}, Field arithmetic. Springer, Berlin (1986; Zbl 0625.12001)]. It is a long standing problem whether the converse holds. The main result of the paper under review is Theorem 3.4. Let \(F\) be an extension of a perfect PAC field \(K\) of relative transcendence degree 1. Then the Hasse principle for the Brauer groups holds for \(F/K.\) The author generalizes an argument of \textit{F. Pop} [J. Reine Angew. Math. 392, 145-175 (1988; Zbl 0671.12005)] to give a partial converse of Theorem 3.4.: If \(K\) is a perfect field such that the Hasse principle for the Brauer groups holds for all extensions \(F\) of \(K\) of relative transcendence degree 1 then every nontrivial valuation \(u\) on \(K\) has divisible value group and algebraically closed residue field. As an application the finitely generated pro-\(p\) (closed) subgroups of \(G_{K(t)}\) for \(K,\) perfect and PAC, are characterized. This gives a new evidence for the ``pro-\(p\) elementary type conjecture'' [see \textit{I. Efrat}, Séminaire de Structures Algébriques Ordonnées, Lecture Notes 54, Université Paris VII (1993/4)].