arXiv 1702.034632017-02-16math.AG

Hölder and Lipschitz continuity of functions definable over Henselian rank one valued fields

Krzysztof Jan Nowak

备注：: Some improvements made

英文摘要：

Consider a Henselian rank one valued field $K$ of equicharacteristic zero with the three-sorted language $\mathcal{L}$ of Denef--Pas. Let $f: A \to K$ be a continuous $\mathcal{L}$-definable (with parameters) function on a closed bounded subset $A \subset K^{n}$. The main purpose is to prove that then $f$ is Hölder continuous with some exponent $s\geq 0$ and constant $c \geq 0$, a fortiori, $f$ is uniformly continuous. Further, if $f$ is locally Lipschitz continuous with a constant $c$, then $f$ is (globally) Lipschitz continuous with possibly some larger constant $d$. Also stated are some problems concerning continuous and Lipschitz continuous functions definable over Henselian valued fields.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Definable retractions and a non-Archimedean Tietze--Urysohn theorem over Henselian valued fields

We prove the existence of definable retractions onto arbitrary closed subsets of $K^{n}$ definable over Henselian valued fields $K$. Hence directly follows non-Archimedian analogues of the Tietze--Urysohn and Dugundji theorems on extending continuous definable functions. The main ingredients of the proof are a description of definable sets due to van den Dries, resolution of singularities and our closedness theorem.

2019-03-30math.AG

Piecewise continuity of functions definable over Henselian rank one valued fields

Consider a Henselian rank one valued field $K$ of equicharacteristic zero along with the language $\mathcal{L}^{P}$ of Denef--Pas. Let $f: A \to K$ be an $\mathcal{L}^{P}$-definable (with parameters) function on a subset $A$ of $K^{n}$. We prove that $f$ is piecewise continuous; more precisely, there is a finite partition of $A$ into $\mathcal{L}^{P}$-definable locally closed subsets $A_{1},\ldots,A_{s}$ of $K^{n}$ such that the restriction of $f$ to each $A_{i}$ is a continuous function.

2017-02-25math.AG

Definable retractions over Henselian valued fields with analytic structure

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 stru…

2019-01-31math.AG

Definable transformation to normal crossings over Henselian fields with separated analytic structure

We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous mathematicians. Separated analytic structures admit reasonable relative quantifier elimination in a suitable analytic language. However, the rings of global analytic functions with two kinds of variables seem not to have good algebraic properties such as Noetherianity or excellence. Therefore the usual global resolution of singularities from rigid analytic ge…

2019-07-17math.AG

A closedness theorem and applications in geometry of rational points over Henselian valued fields

We develop geometry of algebraic subvarieties of $K^{n}$ over arbitrary Henselian valued fields $K$. This is a continuation of our previous article concerned with algebraic geometry over rank one valued fields. At the center of our approach is again the closedness theorem that the projections $K^{n} \times \mathbb{P}^{m}(K) \to K^{n}$ are definably closed maps. It enables application of resolution of singularities in much the same way as over locally compact ground fields. As before, the proof of that theorem uses i.a. the local behavior of definable functions of one variable and fiber shrinki…

2020-03-06math.AG

Some results of geometry over Henselian fields with analytic structure

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is a complete rank one valued fields with the Tate algebra of strictly convergent power series. The algebraic case was treated in our previous papers. Here we are going to carry over the research to the general analytic settings. Also considered are the local rings of analytic function germs induced by a given separated Weierstrass system, which turn out to be…

2018-11-28math.AG

更多相关论文收起更多论文

Some results of algebraic geometry over Henselian rank one valued fields

We develop geometry of affine algebraic varieties in $K^{n}$ over Henselian rank one valued fields $K$ of equicharacteristic zero. Several results are provided including: the projection $K^{n} \times \mathbb{P}^{m}(K) \to K^{n}$ and blow-ups of the $K$-rational points of smooth $K$-varieties are definably closed maps, a descent property for blow-ups, curve selection for definable sets, a general version of the Łojasiewicz inequality for continuous definable functions on subsets locally closed in the $K$-topology and extending continuous hereditarily rational functions, established for the real…

2016-06-04math.AG

Hensel极小结构中的驯拓扑

Tame topology in Hensel minimal structures

本文在满足虚类$RV$可定义性条件的Hensel极小结构中，建立了可定义函数与集合的多项拓扑结果，包括极限存在性、闭性定理、非阿基米德Lojasiewicz不等式等。

2024-12-09math.AG

The closedness theorem over Henselian valued fields

We prove the closedness theorem over Henselian valued fields, which was established over rank one valued fields in one of our recent papers. In the proof, as before, we use the local behaviour of definable functions of one variable and the so-called fiber shrinking, which is a relaxed version of curve selection. Now our approach applies also relative quantifier elimination for ordered abelian groups due to Cluckers--Halupczok. Afterwards the closedness theorem will allow us to achieve i.a. the Łojasiewicz inequality, curve selection and extending hereditarily rational functions as well as to d…

2017-04-04math.AG

On functions given by algebraic power series over Henselian valued fields

This paper provides, over Henselian valued fields, some theorems on implicit function and of Artin--Mazur on algebraic power series. Also discussed are certain versions of the theorems of Abhyankar--Jung and Newton--Puiseux. The latter is used in analysis of functions of one variable, definable in the language of Denef--Pas, to obtain a theorem on existence of the limit, proven over rank one valued fields in one of our recent papers. This result along with the technique of fiber shrinking (developed there over rank one valued fields) were, in turn, two basic tools in the proof of the closednes…

2017-03-23math.AG

Some results from algebraic geometry over Henselian real valued fields

This paper develops algebraic geometry over Henselian real valued (i.e. of rank 1) fields $K$, being a sequel to our paper about that over Henselian discretely valued fields. Several results are given including: a certain concept of fiber shrinking (a relaxed version of curve selection) for definable sets, the canonical projection $K^{n} \times K\mathbb{P}^{m} \to K^{n}$ and blow-ups of the $K$-points of smooth $K$-varieties are definably closed maps, a descent property for blow-ups, a version of the Lojasiewicz inequality for continuous rational functions and the theorem on extending continuo…

2016-08-27math.AG

在某些赋值域上可定义的简单群

On simple groups definable in some valued fields

本文证明在特定赋值域中，可定义的简单群本质上是线性代数群，并探讨了其在正特征代数闭域中的扩展结果。

2026-01-13math.ACmath.AGmath.GR

Analytic cell decomposition and analytic motivic integration

The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over $\FF_q((t))$ of big enough characteristic. To accomplish this, we introduce a general framework for Henselian valued fields $K$ with analytic structure, and we investigate the structure of analytic functions in one variable, defined on annuli over $K$. We also prove that, after parameterization, definable analytic functions are given by terms. The results in this paper…

2005-03-31math.AGmath.NT

Éz fields

Let $K$ be a field. The étale open topology on the $K$-points $V(K)$ of a $K$-variety $V$ was introduced in our previous work. The étale open topology is non-discrete if and only if $K$ is large. If $K$ is separably, real, $p$-adically closed then the étale 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 étale open subsets of Zariski closed sets. This implies that existentially definable sets in arbitrary perfect large field…

2022-10-14math.AGmath.LO

Non-Archimedean Whitney stratifications

We define "t-stratifications", a strong notion of stratifications for Henselian valued fields $K$ of equi-characteristic 0, and prove that they exist. In contrast to classical stratifications in Archimedean fields, t-stratifications also contain non-local information about the stratified sets. For example, they do not only see the singularities in the valued field, but also those in the residue field. Like Whitney stratifications, t-stratifications exist for different classes of subsets of $K^n$, e.g. algebraic subvarieties or certain classes of analytic subsets. The general framework are defi…

2013-10-15math.AGmath.LO

赋值域上阿贝尔簇的模型，利用模型论

Models of Abelian varieties over valued fields, using model theory

本文利用模型论中一般稳定泛型在赋值环上构造椭圆曲线的整光滑群概形，并证明其可定义群为最大一般稳定子群，同时推广到一般阿贝尔簇的部分情形。

2024-09-04math.AGmath.LO

大域上的 Nash 映射

Nash maps over large fields

本文基于多项式反函数定理推导出大域上的若干推论，证明了大域上 Nash 映射的反函数与隐函数定理，并利用 Nash 函数证明了大域在 $K(\!(t)\!)$ 中存在封闭。

2025-08-14math.AGmath.LO

Strictly convergent analytic structures

We give conclusive answers to some questions about definability in analytic languages that arose shortly after the work by Denef and van den Dries, [DD], on $p$-adic subanalytic sets, and we continue the study of non-archimedean fields with analytic structure of [LR3], [CLR1] and [CL1]. We show that the language $L_K$ consisting of the language of valued fields together with all strictly convergent power series over a complete, rank one valued field $K$ can be expanded, in a definitial way, to a larger language corresponding to an analytic structure (with separated power series) from [CL1], he…

2014-03-31math.AGmath.LO