We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Topological properties of definable sets in tame perfect fields

Abstract: Let $K$ be a field. We continue to study the recently introduced \'etale open topology on the $K$-points $V(K)$ of a $K$-variety $V$. The \'etale open topology is non-discrete if and only if $K$ is large. If $K$ is separably, real, $p$-adically closed then the \'etale open topology agrees with the Zariski, order, valuation topology, respectively. We show that existentially definable sets in perfect large fields behave well with respect to this topology: such sets are finite unions of \'etale open subsets of Zariski closed sets. This implies that existentially definable sets in arbitrary perfect large fields enjoy some of the well-known topological properties of definable sets in algebraically, real, and $p$-adically closed fields. We introduce and study the class of \'ez fields: $K$ is \'ez if $K$ is large and every definable set is a finite union of \'etale open subsets of Zariski closed sets. This should be seen as a generalized notion of model completeness for large fields. Algebraically closed, real closed, $p$-adically closed, and bounded $\mathrm{PAC}$ fields are \'ez. (In particular pseudofinite fields and infinite algebraic extensions of finite fields are \'ez.) We develop the basics of a theory of definable sets in \'ez fields. This gives a uniform approach to the theory of definable sets across all characteristic zero local fields and a new topological theory of definable sets in bounded $\mathrm{PAC}$ fields. We also show that some prominent examples of possibly non-model complete model-theoretically tame fields (characteristic zero Henselian fields and Frobenius fields) are \'ez.
Comments: Removed some mistakes and added some comments on continuity of automorphisms
Subjects: Logic (math.LO); Algebraic Geometry (math.AG)
MSC classes: 03C60, 14G27
Cite as: arXiv:2103.06919 [math.LO]
  (or arXiv:2103.06919v2 [math.LO] for this version)

Submission history

From: Jinhe Ye [view email]
[v1] Thu, 11 Mar 2021 19:33:40 GMT (43kb)
[v2] Tue, 20 Apr 2021 21:25:57 GMT (46kb)
[v3] Tue, 3 Aug 2021 07:32:45 GMT (36kb)

Link back to: arXiv, form interface, contact.