[论文解读] Some results from algebraic geometry over Henselian real valued fields

Krzysztof Jan Nowak|arXiv (Cornell University)|Dec 10, 2013

Advanced Topology and Set Theory参考文献 9被引用 3

一句话总结

本文将代数几何推广至秩为1的Henselian实赋值域，建立了基础性结果，如投影与爆破的可定义闭性、消去奇异化的下降性质，以及连续遗传有理函数的延拓。该研究借助Pas的量化消除，将p进域与实几何的结果推广至非局部紧致的Henselian域。

ABSTRACT

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} imes K\mathbb{P}^{m} o 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 continuous hereditarily rational functions, established for the real and $p$-adic varieties in our joint paper with J. Kollar. The descent property enables application of desingularization and transformation to a normal crossing by blowing up in much the same way as over the locally compact ground field. Our approach applies quantifier elimination due to Pas.

研究动机与目标

• 开发Henselian实赋值域（秩为1）上代数几何的框架，扩展此前在离散赋值域上的工作。
• 建立光滑K-概形的K-点的投影与爆破的可定义闭性等基础几何性质。
• 将实几何与p进几何中的关键结果（如Lojasiewicz不等式、连续遗传有理函数的延拓）推广至非局部紧致的Henselian情形。
• 通过爆破的下降性质，实现消去奇异化与正规相交变换，类比于局部紧致域上的方法。
• 应用Pas的量化消除技术，在模型论设定中证明可定义性与拓扑闭包结果。

提出的方法

• 利用Macintyre与Pas语言中Henselian实赋值域的量化消除，分析可定义集与可定义函数。
• 引入一种放松的曲线选择原则，称为“纤维收缩”，用于控制可定义映射中的纤维。
• 证明标准投影 $ K^n imes Kb{P}^m o K^n $ 是可定义闭映射，将拓扑控制扩展至射影丛。
• 建立光滑K-概形的爆破在其K-点上诱导可定义闭映射，这对几何消去奇异化至关重要。
• 发展爆破的下降性质，使通过局部消去奇异化技术实现全局到正规相交除子的变换成为可能。
• 应用模型论方法，延拓连续遗传有理函数，推广实几何与p进几何中的结果。

实验结果

研究问题

• RQ1 能否在秩为1的Henselian实赋值域上建立代数几何中投影与爆破的可定义闭性？
• RQ2 在此设定下，通过爆破在多大程度上可实现消去奇异化与正规相交除子的变换？
• RQ3 连续有理函数的性质与Lojasiewicz不等式在非局部紧致Henselian域中表现如何？
• RQ4 能否在此语境下形式化并证明爆破的下降性质，从而实现全局几何变换？
• RQ5 Pas的量化消除在多大程度上促进了实几何与p进几何结果向Henselian实赋值域的转移？

主要发现

• 标准投影 $ K^n imes Kb{P}^m o K^n $ 是可定义闭映射，确保对可定义族的拓扑控制。
• 光滑K-概形的爆破在其K-点上诱导可定义闭映射，使可定义范畴中的几何消去奇异化成为可能。
• 建立了爆破的下降性质，使变换至正规相交除子的方式类比于局部紧致情形。
• 在秩为1的Henselian实赋值域上，连续有理函数存在Lojasiewicz不等式的版本。
• 连续遗传有理函数可连续延拓至Henselian实赋值域，推广了实与p进几何中的结果。
• 该框架通过可定义闭性与下降性质，实现了通过爆破的消去奇异化与正规相交分解。