[论文解读] Some results of geometry over Henselian fields with analytic structure

Krzysztof Jan Nowak|arXiv (Cornell University)|Aug 7, 2018

Advanced Topology and Set Theory参考文献 12被引用 5

一句话总结

本文在具有解析结构的 Henselian 赋值域上建立了几何学的基础结果，将先前的代数工作扩展到了解析设置。通过证明可定义映射的闭性定理，并利用量化消除、b-极小性以及单元分解，推导出关键的解析性质，如分段连续性、Hölder 连续性、Łojasiewicz 不等式以及可定义集的曲线选择——从而实现奇点的解析化简和转化为正规相交除数，其方式类似于局部紧致域的情形。

ABSTRACT

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 excellent and regular. Several results are established as, for instance, piecewise continuity of definable functions, several versions of the Łojasiewicz inequality, Hölder continuity of definable functions continuous on closed bounded subsets of the affine space and curve selection for definable sets. Likewise as before, at the center of our approach is the closedness theorem to the effect that every projection with closed bounded fiber is a definably closed map. It enables application of resolution of singularities and of transformation to a normal crossing by blowing up (here applied to the local rings of analytic function germs) in much the same way as over locally compact ground fields. We rely on elimination of valued field quantifiers, term structure of definable functions and b-minimal cell decomposition, due to Cluckers--Lipshitz--Robinson, as well as on relative quantifier elimination for ordered abelian groups, due to Cluckers--Halupczok. Besides, other two ingredients of the proof of the closedness theorem are existence of the limit (after finite partitioning of the domain) for a definable function of one variable and fiber shrinking, being a relaxed version of curve selection.

研究动机与目标

• 将 Henselian 赋值域（等特征零）上的几何结果从代数设置扩展到解析设置。
• 为可定义集与函数建立基础的解析性质，如连续性、Łojasiewicz 不等式与曲线选择。
• 证明可定义映射的闭性定理，其闭有界纤维确保奇点的解析化简与转化为正规相交除数。
• 证明由分离 Weierstrass 系统诱导的解析函数芽局部环为优异且正则。
• 将非阿基米德 Tietze–Urysohn 型延拓定理扩展至解析设置，呼应近期研究的建议。

提出的方法

• 依赖赋值域量化消除以及有序阿贝尔群的相对量化消除，以分析可定义集与函数。
• 应用带中心与项结构的 b-极小单元分解，以控制函数的局部行为。
• 使用纤维收缩——一种放松形式的曲线选择——作为闭性定理证明中的关键技术工具。
• 通过爆破变换实现转化为正规相交除数，推广了局部紧致情形下的技术。
• 将闭性定理作为核心工具，推导可定义函数的连续性与正则性结果。
• 利用赋值与角分量映射将复杂可定义集约化为更简单形式，以支持归纳论证。

实验结果

研究问题

• RQ1 可定义映射的闭性定理能否从代数设置扩展至具有分离解析结构的 Henselian 域上的解析设置？
• RQ2 在具有此类结构的 Henselian 域上，连续于仿射空间闭有界子集上的可定义函数是否满足 Hölder 连续性？
• RQ3 能否在解析设置中建立 Łojasiewicz 型不等式？其对连续性有何影响？
• RQ4 在具有解析结构的 Henselian 域中，可定义集的曲线选择是否成立？其与纤维收缩的关系如何？
• RQ5 由 Weierstrass 系统诱导的解析函数芽局部环在解析设置下是否仍为优异且正则？

主要发现

• 闭性定理适用于从可定义集与赋值环的积到可定义集的可定义映射，确保闭可定义子集在 K-拓扑下的像仍为闭。
• 在 $K^n$ 的闭有界子集上连续的可定义函数为 Hölder 连续，推广了代数情形的结果。
• 建立了若干版本的 Łojasiewicz 不等式，为可定义函数在零点附近的衰减提供了定量控制。
• 可定义集的曲线选择成立：给定可定义集 $A$ 与 $A$ 的闭包中的一点 $a$，存在一条 $A$ 中的可定义曲线趋近于 $a$。
• 由分离 Weierstrass 系统诱导的解析函数芽局部环为优异且正则，将已知的代数结果推广至解析设置。
• 闭性定理使奇点的解析化简与通过爆破变换转化为正规相交除数成为可能，其方式与局部紧致域上的技术相一致。