[論文レビュー] Fonctions R\'egulues

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

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

ひとこと要約

本稿は、実アフィン空間に連続的拡張をもつ有理関数として定義されるregulous関数の環を導入し、その性質を研究する。強いNullstellensatzを確立し、カルタンの定理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を証明する。
• cohomological手法をregulous設定に適応させることで、カルタンの定理AおよびBのregulous版を確立する。
• 零点集合の位相的性質を分析することにより、素イデアルの幾何学的特徴づけを達成する。
• regulous関数を通じて、Zariski-構成可能集合とユークリッド閉集合との関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 連続的に実アフィン空間に拡張可能な有理関数の環の構造はいかなるものか？
• RQ2 regulous関数の文脈において強いNullstellensatzはどのように振る舞うか？
• RQ3 カルタンの定理AおよびBのregulous版を確立できるか？
• RQ4 regulous関数の環における素イデアルは幾何学的にどのように特徴づけられるか？
• RQ5 regulous関数の零点集合とユークリッド閉Zariski-構成可能集合との関係は何か？

主な発見

• regulous関数の環は、イデアルとその実零点集合との間の強い関係を有する強いNullstellensatzを満たす。
• カルタンの定理AおよびBのregulous版が証明され、cohomologicalな有限性および消滅性の性質が確立された。
• regulous関数の環における素イデアルは、その零点集合がユークリッド閉かつZariski-構成可能であることで幾何学的に特徴づけられる。
• regulous関数の零点集合は、ユークリッド閉集合であり、同時にZariski-構成可能である。
• 本研究により、regulous幾何学の文脈においてZariski位相とユークリッド位相との間に深い関係が明らかになった。
• regulous関数の環は、正則性の明確な定義を有する良好なスキーム論的性質を示している。