Non-PAC fields whose Henselian closures are separably closed
The notion of a PAC-field originated in [\textit{J. Ax}, Ann. Math. (2) 88, 239-271 (1968; Zbl 0195.05701)]. A field \(K\) is called PAC if every nonvoid absolutely irrreducible variety \(V\) over \(K\) has a \(K\)-rational point. Let \(F\) be an extension of a field \(K.\) An equivalence class of valuations of \(F\) which are trivial over \(K\) is called a prime divisor of \(F/K.\) Denote the set of all prime divisors of \(F/K\) by \({\mathbb P}(F/K).\) For each \(p\in {\mathbb P}(F/K)\) denote the Henselian closure of \(F\) with respect to \(p\) by \(F_p.\) Tensoring central simple finite dimensional \(F\)-algebras with \(F_p\) defines a homomorphism: \(\text{res}_{p}:\text{Br}(F)\rightarrow \text{Br}(F_{p}).\) Consider the direct product of all these homomorphisms: NEWLINE\[NEWLINE\text{res}:\text{Br}(F)\rightarrow\prod_{p\in {\mathbb P}(F/K)}\text{Br}(F_{p}).NEWLINE\]NEWLINE It is said that \(F\) satisfies the Hasse principle for Brauer groups if res is injective. The main result of the paper is NEWLINENEWLINENEWLINETheorem D. Let \(K_0\) be either a finite field or a global field. Then \(K_0\) has an infinite regular extension \(K\) such that (a) Every extension \(F\) of \(K\) of transcendence degree 1 satisfies the Hasse principle for Brauer groups. (b) \(K\) is not formally real. (c) Each Henselization of \(K\) is separably closed. (d) \(K\) is not PAC. NEWLINENEWLINENEWLINEThe theorem gives solutions to two problems raised in [\textit{I. Efrat}, Isr. J. Math. 122, 43-60 (2001; Zbl 1013.12003) and \textit{M. D. Fried} and \textit{M. Jarden}, Field Arithmetic, Ergebnisse der Mathematik (3) 11, Springer (1986; Zbl 0625.12001)].
- A virtually ample field that is not ample
- Fields of dimension one algebraic over a global or local field need not be of type \(C_1\)
- Superrosy fields and valuations
- A Hasse principle for function fields over PAC fields
- Embeddings of function fields into ample fields
- The period-index problem in WC-groups. IV: A local transition theorem
This page was built for publication: Non-PAC fields whose Henselian closures are separably closed
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5953005)
