In mathematics, a field K {\displaystyle K} is pseudo algebraically closed if it satisfies certain properties which hold for algebraically closed fields. The concept was introduced by James Ax in 1967.
Formulation A field K is pseudo algebraically closed (usually abbreviated by PAC) if one of the following equivalent conditions holds:
Each absolutely irreducible variety V {\displaystyle V} defined over K {\displaystyle K} has a K {\displaystyle K} -rational point. For each absolutely irreducible polynomial f ∈ K [ T 1 , T 2 , ⋯ , T r , X ] {\displaystyle f\in K[T_{1},T_{2},\cdots ,T_{r},X]} with ∂ f ∂ X ≠ 0 {\displaystyle {\frac {\partial f}{\partial X}}\not =0} and for each nonzero g ∈ K [ T 1 , T 2 , ⋯ , T r ] {\displaystyle g\in K[T_{1},T_{2},\cdots ,T_{r}]} there exists ( a , b ) ∈ K r + 1 {\displaystyle ({\textbf {a}},b)\in K^{r+1}} such that f ( a , b ) = 0 {\displaystyle f({\textbf {a}},b)=0} and g ( a ) ≠ 0 {\displaystyle g({\textbf {a}})\not =0} . Each absolutely irreducible polynomial f ∈ K [ T , X ] {\displaystyle f\in K[T,X]} has infinitely many K {\displaystyle K} -rational points. If R {\displaystyle R} is a finitely generated integral domain over K {\displaystyle K} with quotient field which is regular over K {\displaystyle K} , then there exist a homomorphism h : R → K {\displaystyle h:R\to K} such that h ( a ) = a {\displaystyle h(a)=a} for each a ∈ K {\displaystyle a\in K} .
Examples Algebraically closed fields and separably closed fields are always PAC. Pseudo-finite fields and hyper-finite fields are PAC. A non-principal ultraproduct of distinct finite fields is (pseudo-finite and hence) PAC. Ax deduces this from the Riemann hypothesis for curves over finite fields. Infinite algebraic extensions of finite fields are PAC. The PAC Nullstellensatz. The absolute Galois group G {\displaystyle G} of a field K {\displaystyle K} is profinite, hence compact, and hence equipped with a normalized Haar measure. Let K {\displaystyle K} be a countable Hilbertian field and let e {\displaystyle e} be a positive integer. Then for almost all e {\displaystyle e} -tuples ( σ 1 , . . . , σ e ) ∈ G e {\displaystyle (\sigma _{1},...,\sigma _{e})\in G^{e}} , the fixed field of the subgroup generated by the automorphisms is PAC. Here the phrase "almost all" means "all but a set of measure zero". (This result is a consequence of Hilbert's irreducibility theorem.) Let K be the maximal totally real Galois extension of the rational numbers and i the square root of −1. Then K(i) is PAC.
Properties The Brauer group of a PAC field is trivial, as any Severi–Brauer variety has a rational point. The absolute Galois group of a PAC field is a projective profinite group; equivalently, it has cohomological dimension at most 1. A PAC field of characteristic zero is C1.
References
Fried, Michael D.; Jarden, Moshe (2008). Field arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Vol. 11 (3rd revised ed.). Springer-Verlag. ISBN 978-3-540-77269-9. Zbl 1145.12001.
