[論文レビュー] Topics on Smooth Commutative Algebra

Jean Cerqueira Berni, Hugo Luiz Mariano|arXiv (Cornell University)|Apr 4, 2019

Rings, Modules, and Algebras参考文献 11被引用数 5

ひとこと要約

本稿は、滑らかな関数の代数である$χ^\infty$-環に、イデアル、分数環、スペクトルといった古典的可換代数の概念を拡張することで、滑らかな可換代数の基礎的側面を構築する。$χ^\infty$-環と通常の可換環の間の重要な随伴関係を確立し、$χ^\infty$-環の分数環のより強い特徴付け（定理3.24）を証明し、滑らかなザリスキスペクトルと実スペクトルの間の双対性を示す。これは、実代数幾何学との深い関係を示している。

ABSTRACT

We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or $\mathcal{C}^\infty$) Commutative Algebra", a version of Commutative Algebra of $\mathcal{C}^{\infty}-$rings instead of ordinary commutative unital rings, looking for similar results to those one finds in the latter, and expanding some others presented in [20]. We give an explicit description of an adjunction between the categories $\mathcal{C}^\infty{ m Rng}$ and ${ m CRing}$, in order to study this "bridge". We present and prove many properties of the analog of the radical of an ideal of a ring (namely, the $\mathcal{C}^\infty$-radical of an ideal), saturation (which we define as "smooth saturation", inspired by [13]), rings of fractions ($\mathcal{C}^\infty$-rings of fractions, defined first by I. Moerdijk and G. Reyes in [20]), local rings (local $\mathcal{C}^\infty$-rings), reduced rings ($\mathcal{C}^\infty$-reduced $\mathcal{C}^\infty$-rings) and others. We also state and prove new results, such as ad hoc "Separation Theorems", similar to the ones we find in Commutative Algebra, and a stronger version (Theorem 6) of the Theorem 1.4 of [20], characterizing every $\mathcal{C}^\infty$-ring of fractions. We describe the fundamental concepts of Order Theory for $\mathcal{C}^\infty$-rings, proving that every $\mathcal{C}^\infty$-ring is semi-real, and we prove an important result on the strong interplay between the smooth Zariski spectrum and the real smooth spectrum of a $\mathcal{C}^\infty$-ring.

研究の動機と目的

• 古典的可換代数の概念（イデアル、商、局域化など）を、滑らかな関数をモデルとする$χ^\infty$-環の文脈に拡張すること。
• 特に、根基イデアル、還元性、スペクトルの観点から、古典的代数と滑らかな可換代数の違いを明確にすること。
• $χ^\infty$-環の圏と通常の可換環の圏の間の明確な随伴関係を確立し、代数的性質の圏論的移行を可能にすること。
• 滑らかさの飽和を一般化として導入し、滑らかな設定における新しい分離定理を可能にする。
• 滑らかなザリスキスペクトルと$χ^\infty$-環の実スペクトルが自然な双対性を持つことを示すこと。これは古典的代数では一般には成り立たない結果である。

提案手法

• $χ^\infty$-環の圏（$\mathcal{C}^\infty\mathbf{Rng}$）と通常の可換環の圏（$\mathbf{CRing}$）の間の明示的な随伴関係を構成し、左随伴$\widetilde{L}$と右随伴$\widetilde{U}$を用いる。
• $χ^\infty$-環における「滑らかさの飽和」の概念を導入し、古典的飽和を一般化し、新たな構造的結果を可能にする。
• $χ^\infty$-多項式代数$\mathcal{C}^\infty(\mathbb{R}^E)$を基盤として用い、普遍性を用いて$χ^\infty$-環の分数環を定義する。
• 余極限の技法とファンクター性を用いて、商と$χ^\infty$-環の分数環の操作が可換であることを証明する。
• すべての$χ^\infty$-環が半実的（semi-real）である、すなわち$1 + \sum A^2 \subseteq A^\times$を満たすことを示し、スペクトル的性質の基盤を提供する。
• 滑らかなザリスキスペクトルと$χ^\infty$-環の実滑らかスペクトルの間の連続な双対性を示す（定理6.22）。これは重要な構造的結果である。

実験結果

リサーチクエスチョン

• RQ1 古典的可換代数の概念（イデアル、根基、分数環など）が、$χ^\infty$-環の文脈に持ち上がった際に、どのように振る舞うか。
• RQ2 滑らかなザリスキスペクトルと$χ^\infty$-環の実スペクトルの間の正確な関係は何か。これは古典的状況とはどのように異なるか。
• RQ3 滑らかな設定において、飽和の概念を意味的に一般化できるか。その結果、古典的代数における分離定理に類似した定理を回復できるか。
• RQ4 商や局域化といった標準的構成が、$χ^\infty$-環の文脈でどの程度可換であるか。そして、その可換性を圏論的にどのように形式化できるか。
• RQ5 なぜ一部の$χ^\infty$-環は、それらの基礎となる環が整域または還元的であっても、整域や還元的でないことがあるのか。これは滑らかな環上の代数幾何学にどのような意味を持つのか。

主な発見

• 本稿は、$χ^\infty$-環の分数環のより強い特徴付け（定理3.24）を証明し、すべてのsuch環が滑らかさの飽和を用いた普遍的構成によって得られることを示している。
• 滑らかなザリスキスペクトルと$χ^\infty$-環の実滑らかスペクトルが自然な双対性を持つことが確立された。これは古典的可換代数では一般には成り立たない結果である。
• $χ^\infty$-環と通常の可換環の間の随伴関係が明示的に記述されており、両圏間での代数的構造の移行が可能である。
• 「滑らかさの飽和」の概念が導入され、古典的飽和を一般化することが示され、滑らかな設定における新しい分離定理を可能にした。
• 左随伴$\widetilde{L}$が余極限を保存することを示し、これにより通常の環の分数環が$χ^\infty$-環の分数環にマッピングされ、普遍性が保たれることを示した。
• 本稿は、$χ^\infty$-環のすべての素イデアルが$χ^\infty$-根基でないことがあることを示しており、これは古典的代数とは根本的に異なる点である（古典的代数ではすべての素イデアルが根基である）。