Immediately algebraically closed fields

DOI10.1215/00192082-8875391MaRDI QIDQ2039715zbMATH OpenOpenAlexFDO

Authors Peter Sinclair

Publication date 5 July 2021

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1902.05830

zbMATH Keywords

classification of valued fieldsmodel theory of fields

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Valued fields (12J10) Model theory of fields (12L12)

Abstract: We consider two overlapping classes of fields, IAC and VAC, which are defined using valuation theory but which do not involve a distinguished valuation. Rather, each class is defined by a condition that quantifies over all possible valuations on the field. In his thesis, Hong asked whether these two classes are equal (Hong, 2013, Question 5.6.8). In this paper, we give an example that negatively answers Hong's question. We also explore several situations in which the equivalence does hold with an additional assumption, including the case where every $K^{\prime }equivK$ is IAC.

Review text

A field \(K\) is immediately algebraically closed (IAC) if, for every nontrivial valuation \(v\) on \(K\), the residue field \(Kv\) is algebraically closed and the value group \(vK\) is divisible. The field \(K\) is valuationally algebraically closed (VAC) if, for every nontrivial valuation \(v\) on \(\bar K\), its algebraic closure, \(K\) is dense in \(\bar K\) with respect to \(v\). Examples of VAC fields include, separably closed fields (Proposition 4.9), pseudo-algebraically closed fields and super-rosy fields of positive characteristic. Conversely, it follows from Krasner's lemma that a VAC field supporting a non-trivial Henselian valuation is separably closed (Proposition 2.10). It is clear from the definition that a VAC field is also IAC, but the reverse implication is not true, as shown by a couple of examples in Section 3 of the paper. In Section 5, it is shown, however, that when considering IAC as a property of the theory of \(K\), rather than of a single field \(K\), it does implies VAC. In a different direction it is shown (Section 4) that IAC implies VAC if \(K\) is Artin-Schreier closed (in positive characteristic) or has a divisible multiplicative group (in the characteristic 0). These results are based on the fact (Proposition 4.3) that if \(K\) is IAC then to show that it is VAC it suffices to check that for any rank 1-valuation \(v\) on \(\bar K\) the completion of \((K,v)\) is algebraically closed.

Recommendations

• Fields with automorphism and valuation
• Separably closed valued fields: immediate expansions
• Definable valuations induced by multiplicative subgroups and NIP fields
• Some model theory for almost real closed fields
• Relative regular closedness and -valuations

Cites work

• A classification of Artin-Schreier defect extensions and characterizations of defectless fields
• A conjectural classification of strongly dependent fields
• Artin-Schreier extensions in NIP and simple fields
• Elimination of quantifiers in algebraic structures
• Field Arithmetic
• scientific article; zbMATH DE number 2108388 (Why is no real title available?)
• Maximal fields with valuations
• Maximal Subfields of an Algebraically Closed Field not Containing a Given Element
• On Galois Groups of Local Fields
• Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
• Strongly dependent theories
• Superrosy fields and valuations
• Valued Fields

Cited in

(1)

• An implicit function theorem for algebraically closed fields

This page was built for publication: Immediately algebraically closed fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2039715)