The unramified Brauer group over a global field of positive characteristic (Q351384): Difference between revisions

Let \(K\) be a number field, let \(X\) be a projective, smooth, geometrically integral \(K\)-variety, and let \(K(X)\) be its function field. If \(v\) is a place of \(K\), we denote by \(K_v\) the completion of \(K\) with respect to \(v\). \textit{D. Harari} [Duke Math. J. 75, No. 1, 221--260 (1994; Zbl 0847.14001)] proved the following theorem: Let \(X\) be a projective, smooth, geometrically integral \(K\)-variety, and let \(K(X)\) be its function field. If \(\alpha \in \text{Br}(K(X))\) which is not in \(\text{Br}(X)\), let \(U\) be a nonempty open subset of \(X\) with \(\alpha \in \text{Br}(U)\). Then there is an infinite set of places \(v\) of \(K\) such that the map \(U(K_v) \to \text{Br}(K_v)\) induced by \(\alpha\) has nonzero image. The proof of this theorem yields the following result in prime characteristic: Let \(K\) be a global field of characteristic \(p > 0\), let \(X\) be a proper, smooth, geometrically integral \(K\)-variety, and let \(K(X)\) be its function field. Let \(U\) be an open subset of \(X\) and let \(\alpha \in \text{Br}(U) \subseteq \text{Br}(K(X))\) have order relatively prime to \(p\) and \(\alpha \notin \text{Br}(K)\). Then there is an infinite set of places \(v\) of \(K\) such that the map \(U(K_v) \to \text{Br}(K_v)\) induced by \(\alpha\) is nontrivial. The main theorem of the paper extends this result to the non-proper case. Let \(K\) be a global field of characteristic \(p\) and let \(V\) be a smooth geometrically integral \(K\)-variety. Let \(\alpha \in \text{Br}(V)\) have order relatively prime to \(p\). Then \(\alpha \in \text{Br}_{nr}(V)\), the unramified Brauer group of \(V\), if and only if for each place \(v\) of \(K\), the function \(V(L) \to \text{Br}(L)\) induced by \(\alpha\) has nonzero image for each finite dimensional purely inseparable extension \(L/K_v\).