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


Current browse context:


Change to browse by:

References & Citations


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

Mathematics > Algebraic Geometry

Title: Tame topology and desingularization in Hensel minimal structures

Abstract: This paper deals with Hensel minimal, non-trivially valued fields $K$ of equicharacteristic zero, whose axiomatic theory was introduced in a recent article by Cluckers-Halupczok-Rideau. We additionally require that the standard algebraic language be induced (up to interdefinability) for the imaginary sort $RV$. This condition is satisfied by the majority of classical tame structures on Henselian fields, including Henselian fields with analytic structure. The main purpose is to carry over many results of our previous papers to the above general axiomatic settings including, among others, the theorem on existence of the limit, curve selection, the closedness theorem, several non-Archimedean versions of the Lojasiewicz inequalities as well as the theorems on extending continuous definable functions and on existence of definable retractions. We establish an embedding theorem for regular definable spaces and the definable ultranormality of definable Hausdorff LC-spaces. Also given are examples that curve selection and the closedness theorem, key results for numerous applications, may be no longer true after expanding the language for the leading term structure $RV$. In the case of Henselian fields with analytic structure, a more precise version of the theorem on existence of the limit (a version of Puiseux's theorem) is provided. Further, we establish definable versions of resolution of singularities (hypersurface case) and transformation to normal crossings by blowing up, on arbitrary strong analytic manifolds in Hensel minimal expansions of analytic structures. Also introduced are meromorphous functions, i.e. continuous quotients of strong analytic functions on strong analytic manifolds. Finally, we prove a finitary meromorphous version of the Nullstellensatz.
Comments: Minor changes made; 41 pages
Subjects: Algebraic Geometry (math.AG)
MSC classes: 12J25, 03C65, 30G30, 32S45, 14E15, 32P05, 32B05, 14G27, 03C98, 57N35
Cite as: arXiv:2103.01836 [math.AG]
  (or arXiv:2103.01836v4 [math.AG] for this version)

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)

Link back to: arXiv, form interface, contact.