[論文レビュー] Topological characterization of various types of rings of smooth functions

Dennis Borisov|arXiv (Cornell University)|Aug 30, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用数 3

ひとこと要約

本稿は、滑らか関数の理論に3つの異なる位相（germ, jet, point）を導入し、それらを用いて$\mathcal{C}^\infty$-環の位相的分類を提示する。特に、germ-determined, near-point-determined, point-determined という3種類の$\mathcal{C}^\infty$-環を定義する。また、任意の$\mathbb{R}$-代数準同型がnear-point-determined$\mathcal{C}^\infty$-環へ写す場合、連続性を事前に仮定しなくても自動的に$\mathcal{C}^\infty$-準同型であることを証明する。

ABSTRACT

Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative algebra morphism (without requiring continuity) between near-point determined rings of smooth functions is smooth (and hence continuous).

研究の動機と目的

• 滑らか関数の理論に位相を導入し、有限生成性に依存せずに$\mathcal{C}^\infty$-環を体系的に特徴づけること。
• germ, jet, point に基づく位相を用いて、germ-determined, near-point-determined, point-determined という3つの$\mathcal{C}^\infty$-環のクラスを定義し、それらを区別すること。
• near-point-determined$\mathcal{C}^\infty$-環への任意の$\mathbb{R}$-代数準同型が、連続性を仮定しなくても自動的に$\mathcal{C}^\infty$-準同型であることを確立すること。
• 半位相的理論を用いた圏論的枠組みを提供し、反射的部分圏の鎖$\mathcal{E} \subset \mathcal{F} \subset \mathcal{G} \subset \mathcal{L}$を構成すること。

提案手法

• 滑らか関数の理論$\mathcal{C}^\infty$に3つの位相（germ, jet（有限jet）、point（有限集合での評価））を導入し、それぞれの基本開集合をgerm, jet, 点での値の固定によって定義する。
• 演算の合成が各変数に関してそれぞれ連続であるような理論を半位相的理論と定義し、代数構造と整合性を持つようにする。
• 代数に自然な位相を導入することで、ハウスドルフ代数を特徴づけ、germ, jet, point 位相に対応するカテゴリ$\mathcal{G}$, $\mathcal{F}$, $\mathcal{E}$ を得る。
• $\mathcal{C}^\infty$-環に理論を適用し、これらの位相における閉イデアルが、それぞれgerm-determined, near-point-determined, point-determined$\mathcal{C}^\infty$-環に正確に対応することを示す。
• 位相の強さが増す順に、全射的反射的部分圏の鎖$\mathcal{E} \subset \mathcal{F} \subset \mathcal{G} \subset \mathcal{L}$を構成する。
• 非滑らか準同型が存在すると仮定し、テイラー展開とイデアルの構造を用いた背理法により、near-point-determined$\mathcal{C}^\infty$-環への任意の$\mathbb{R}$-代数準同型が滑らか演算を保存することを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限生成性を仮定せずに、$\mathcal{C}^\infty$-環をどのように位相的に分類できるか？
• RQ2 滑らか関数の理論にどのような位相構造を導入すれば、germ-determined, near-point-determined, point-determined$\mathcal{C}^\infty$-環を区別できるか？
• RQ3 near-point-determined$\mathcal{C}^\infty$-環への任意の$\mathbb{R}$-代数準同型は、自動的に$\mathcal{C}^\infty$-準同型であるか？
• RQ4 $\mathcal{C}^\infty$-環の圏を、理論自体の位相によって反射的部分圏に階層化できるか？
• RQ5 理論に導入された位相が、代数に誘導される位相をどのように定め、それらのイデアルを分類するか？

主な発見

• 本稿は、$\mathcal{C}^\infty$にgerm, jet, point という3つの位相を構成し、それぞれが演算の合成が各変数に関してそれぞれ連続である半位相的理論となることを示した。
• germ, jet, point 位相における$\mathcal{C}^\infty$の閉イデアルは、それぞれgerm-determined, near-point-determined, point-determined$\mathcal{C}^\infty$-環に正確に対応する。
• これらの位相に対するハウスドルフ$\mathcal{C}^\infty$-環のカテゴリは、$\mathcal{E} \subset \mathcal{F} \subset \mathcal{G} \subset \mathcal{L}$という全射的反射的部分圏の鎖をなし、位相の強さが段階的に増す。
• 任意の$\mathbb{R}$-代数準同型$\phi: A \to B$で$B$がnear-point-determinedである場合、連続性を仮定しなくても自動的に$\mathcal{C}^\infty$-準同型である。
• 証明は、すべての生成子が一点で消える場合に帰着する座標変換を用い、非滑らか準同型がイデアル$\mathfrak{I}$の構造と矛盾することをテイラー展開により示す。
• この結果は、元の$\mathcal{C}^\infty$-環が有限生成でなくても成り立つ。従来の結果とは異なり、有限生成性の仮定を不要としている。