Brauer-Hilbertian Fields (Q4032483)

A field \(F\) is called Hilbertian if for any irreducible polynomial \(f(t,x)\in F[t,x]\) there are infinitely many \(a\in F\) such that the specialization \(f(a,x)\) is irreducible over \(F\). This can be translated in terms of field extension, so one can look for the analogous property for division algebras. Now Proposition 0.1 shows that the definition to give interesting applications has to be about the Brauer group, namely: a field \(F\) of characteristic \(p\) is called Brauer-Hilbertian if for all \(\alpha\in\text{Br}(F(t))\) of order prime to \(p\) (restriction vacuous if \(p=0\)) if there are infinitely many \(a\in F\) such that by specialization \(t\to a\) the specialization \(\overline{\alpha}\in\text{Br}(F)\) is defined and has the same exponent as \(\alpha\). The main result is that any global field is Brauer-Hilbertian. Another interesting result is that if \(K\) is Hilbertian then any finite separable extension of \(K(x_ 1,\dots,x_ r)\) is Brauer-Hilbertian for \(r>0\). Note also that the property of being Brauer-Hilbertian neither implies nor is implied by the classical Hilbertian property. \(\mathbb{C}(t)\) is Hilbertian but not Brauer-Hilbertian while \(\mathbb{C}\) is Brauer-Hilbertian but not Hilbertian. A paper by Voronovich showing that global fields are Brauer-Hilbertian is mentioned in the introduction.