[论文解读] Fonctions R\'egulues

Goulwen Fichou, Johannes Huisman+2 more|arXiv (Cornell University)|Dec 16, 2011

Algebraic Geometry and Number Theory参考文献 22被引用 8

一句话总结

本文引入并研究了**regulous函数环**——即在实仿射空间上存在连续延拓的有理函数。它建立了强形式的Nullstellensatz定理，证明了Cartan定理A和B的regulous版本，并通过其零集对素理想进行了几何刻画，将其与欧氏拓扑下的Zariski-构造集联系起来。

ABSTRACT

We study the ring of rational functions admitting a continuous extension to the real affine space. We establish several properties of this ring. In particular, we prove a strong Nullstelensatz. We study the scheme theoretic properties and prove regulous versions of Theorems A and B of Cartan. We also give a geometrical characterization of prime ideals of this ring in terms of their zero-locus and relate them to euclidean closed Zariski-constructible sets.

研究动机与目标

• 研究可连续延拓至实仿射空间的有理函数环。
• 为该regulous函数环建立强形式的Nullstellensatz定理。
• 研究该环的概形理论性质，并证明复分析中经典定理的regulous类比。
• 通过其零集刻画环中素理想的几何性质，并将其与欧氏闭的Zariski-构造集联系起来。

提出的方法

• 作者将regulous函数环作为具有连续延拓的有理函数子环进行分析。
• 他们运用实代数几何与交换代数的技术，研究该环的结构。
• 通过将理想与其在实谱中的零集关联，证明了强形式的Nullstellensatz定理。
• 利用适配于regulous设定的同调方法，建立了Cartan定理A和B的regulous版本。
• 通过分析其零集及其在欧氏拓扑下的拓扑性质，实现了对素理想的几何刻画。
• 本研究通过regulous函数的视角，将Zariski-构造集与欧氏闭集联系起来。

实验结果

研究问题

• RQ1 可连续延拓至实仿射空间的有理函数环具有怎样的结构？
• RQ2 在regulous函数背景下，强形式的Nullstellensatz定理如何表现？
• RQ3 能否建立Cartan定理A和B的regulous类比？
• RQ4 regulous函数环中的素理想如何通过其零集进行几何刻画？
• RQ5 regulous函数的零集与欧氏闭的Zariski-构造集之间存在何种关系？

主要发现

• regulous函数环满足强形式的Nullstellensatz定理，将理想与其实零集联系起来。
• 证明了Cartan定理A和B的regulous版本，确立了上同调有限性与消去性质。
• regulous函数环中的素理想可通过其零集进行几何刻画，这些零集既是欧氏闭集，也是Zariski-构造集。
• regulous函数的零集是既是欧氏闭集，也是Zariski-构造集的集合。
• 本研究揭示了在regulous几何背景下，Zariski拓扑与欧氏拓扑之间存在深刻联系。
• 结果表明，regulous函数环具有良好的概形理论性质，包括明确定义的正则性概念。