Definable retractions over Henselian valued fields with analytic structure

arXiv1901.09922MaRDI QIDQ6313192FDOQ6313192

Publication date: 28 January 2019

Abstract: Let

K

be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of

K^{n}

. Hence directly follow definable non-Archimedean versions of the extension theorems by Tietze--Urysohn and Dugundji. This generalizes our previous paper dealing with complete non-Archimedean fields with separated power series and remains true for Henselian valued fields with strictly convergent analytic structure, because every such a structure can be extended in a definitional way to a separated analytic structure. Our proof uses a variant of the one from that paper, based on canonical resolution of singularities, and a model-theoretic compactness argument.

Mathematics Subject Classification ID

Rigid analytic geometry (14G22) Non-Archimedean analysis (32P05) Real-analytic and semi-analytic sets (14P15) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Quantifier elimination, model completeness, and related topics (03C10) Modifications; resolution of singularities (complex-analytic aspects) (32S45)

This page was built for publication: Definable retractions over Henselian valued fields with analytic structure

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