References & Citations
Mathematics > Algebraic Geometry
Title: Tame topology in Hensel minimal structures
(Submitted on 2 Mar 2021 (v1), last revised 29 Feb 2024 (this version, v12))
Abstract: We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that the value group and residue field are orthogonal and that the definable sets in the value group sort are already definable in the language of ordered groups. This condition is satisfied by several classical tame structures on Henselian fields, including Henselian fields with analytic structure, V-minimal fields and polynomially bounded o-minimal structures with a convex subring. In this article, we establish many results concerning definable functions and sets. These are, among others, existence of the limit for definable functions of one variable, a closedness theorem, several non-Archimedean versions of the Lojasiewicz inequalities, an embedding theorem for regular definable spaces, and the definable ultranormality and ultraparacompactness of definable Hausdorff LC-spaces.
Submission history
From: Krzysztof Jan Nowak [view email][v1] Tue, 2 Mar 2021 16:22:21 GMT (22kb)
[v2] Sun, 21 Mar 2021 18:45:23 GMT (22kb)
[v3] Tue, 31 Aug 2021 06:38:05 GMT (32kb)
[v4] Fri, 17 Sep 2021 14:47:02 GMT (32kb)
[v5] Wed, 13 Apr 2022 04:21:38 GMT (32kb)
[v6] Fri, 22 Apr 2022 15:43:24 GMT (32kb)
[v7] Sat, 7 May 2022 19:20:52 GMT (32kb)
[v8] Mon, 13 Mar 2023 11:26:50 GMT (24kb)
[v9] Sat, 9 Dec 2023 13:56:34 GMT (23kb)
[v10] Thu, 18 Jan 2024 10:29:32 GMT (21kb)
[v11] Fri, 26 Jan 2024 11:32:59 GMT (22kb)
[v12] Thu, 29 Feb 2024 14:44:41 GMT (23kb)
Link back to: arXiv, form interface, contact.