Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
133 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Definable retractions over Henselian valued fields with analytic structure (1901.09922v2)

Published 28 Jan 2019 in math.AG

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.

Summary

We haven't generated a summary for this paper yet.