[論文レビュー] A Universal Algebraic Survey of $\mathcal{C}^{\infty}-$Rings

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

Rings, Modules, and Algebras参考文献 7被引用数 4

ひとこと要約

本稿は、滑らか関数記号を備えた一階等式言語を用いて、$Χ^\infty$-環の普遍代数的取り扱いを包括的に行い、極限、余極限、自由対象、商、余直積といった圏的構成を体系的に発展させる。主な貢献は、文献においてしばしば仮定されたり、概略のみ提示されたりする基礎的結果を詳細かつ自己完結的に提示することであり、特に有限生成部分環の余極限としての$Χ^\infty$-直積の完全な記述と、任意の$Χ^\infty$-環が有限生成$Χ^\infty$-環の有向余極限として現れることの証明が含まれる。

ABSTRACT

In this paper we present some basic results of the Universal Algebra of $\mathcal{C}^\infty$-rings which were nowhere to be found in the current literature. The outstanding book of I. Moerdijk and G. Reyes,[24], presents the basic (and advanced) facts about $\mathcal{C}^\infty$-rings, however such a presentation has no universal algebraic "flavour". We have been inspired to describe $\mathcal{C}^\infty$-rings through this viewpoint by D. Joyce in [15]. Our main goal here is to provide a comprehensive material with detailed proofs of many known "taken for granted" results and constructions used in the literature about $\mathcal{C}^\infty$-rings and their applications - such proofs either could not be found or were merely sketched. We present, in detail, the main constructions one can perform within this category, such as limits, products, homomorphic images, quotients, directed colimits, free objects and others, providing a "propaedeutic exposition" for the reader's benefit.

研究の動機と目的

• 文献において重要な構成が欠落しているか、概略のみ提示されていた場合に備えて、$χ^\infty$-環の体系的かつ自己完結的な普遍代数的基盤を提供すること。
• $χ^\infty$-環の圏における基本的圏的構成（例えば、積、商、有向余極限、直積）の明示的記述を提示すること。
• すべての$χ^\infty$-環が有限生成$χ^\infty$-環の有向余極限として表現可能であることを確立し、有限生成性の性質を一般化すること。
• $χ^\infty$-直積の構造を余極限構成によって明確にし、滑らか多項式写像を普遍的に分類することを証明すること。

提案手法

• 本稿は、すべての滑らか写像$\mathbb{R}^n \to \mathbb{R}$の関数記号を備えた一階等式言語を用い、$χ^\infty$-環をこの理論のモデルとして定義する。
• 自由$χ^\infty$-環は、有限生成自由代数の余極限として構成され、集合から$χ^\infty$-環への自由関手の左随伴性を活用する。
• $χ^\infty$-環の2つの環の$χ^\infty$-直積は、有限部分環の上での余極限として構成され、滑らか関数代数のテンソル積におけるイデアルを用いた明示的記述が与えられる。
• $χ^\infty$-準同型の基本定理が証明され、生成元と関係式による準同型の普遍的性質が確立される。
• ハダマールの補題を用いて、有限生成$χ^\infty$-環における環論的イデアルと$χ^\infty$-同値関係との関係を関係づけ、商の分類を可能にする。
• $χ^\infty$-環の圏がすべての$χ^\infty$-構造の圏において反映的であることが示され、その圏的性質が良好であることが確認される。

実験結果

リサーチクエスチョン

• RQ1 2つの$χ^\infty$-環の$χ^\infty$-直積を、余極限およびイデアル論的技法を用いてどのように明示的に構成できるか？
• RQ2 有限生成$χ^\infty$-環において、環論的イデアルと$χ^\infty$-同値関係との正確な関係は何か？
• RQ3 すべての$χ^\infty$-環が有限生成$χ^\infty$-環の有向余極限として表現可能であるか。また、この分解はその構造を理解するのにどのように寄与するか？
• RQ4 普遍代数的枠組みは、自由$χ^\infty$-環の構成と、生成元と関係式による代数の定義におけるその役割をどのように明確にするか？
• RQ5 $χ^\infty$-環の滑らか多項式環の圏的普遍的性質は、$χ^\infty$-直積に関してどのように特徴づけられるか？

主な発見

• $χ^\infty$-環の2つの環$A$と$B$の$χ^\infty$-直積は、それらの有限生成部分環の$χ^\infty$-直積の余極限と同型であり、この構成の明確な実現が得られる。
• すべての$χ^\infty$-環は、有限生成$χ^\infty$-環の有向余極限と同型であり、有限生成性を一般化する構造的分解が確認される。
• 環$A$上の変数集合$S$における滑らか多項式環の$χ^\infty$-環は、$A \otimes_\infty \mathcal{C}^\infty(\mathbb{R}^S)$と同型であり、変数の追加が$χ^\infty$-直積によって明示的に実現される。
• 任意の有限生成$χ^\infty$-環において、環論的イデアルがその$χ^\infty$-同値関係を分類する。この結果はハダマールの補題を用いて証明され、一般の場合へと拡張される。
• $χ^\infty$-環の圏は、すべての$χ^\infty$-構造の圏における反映的部分圏であることが示され、その圏的性質が良好であることが確認される。
• $χ^\infty$-準同型の基本定理が確立され、滑らか関数記号を用いた生成元と関係式による準同型の普遍的特徴づけが提供される。