[論文レビュー] Comparative Smootheology

Andrew Stacey|arXiv (Cornell University)|Feb 15, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用数 22

ひとこと要約

この論文は、Chen、Frölicher、Sikorski、Smith、Souriauの5つの基礎的定義——滑らかさ空間——を、それらの圏の間の自然な函手を構成することで比較する。Frölicher空間がこのネットワークにおける中心的ハブを形成することを確立し、他のすべての圏が普遍的性質を介してそれらに埋め込まれたり関係付けられることを示し、任意の函手のもとで2つの圏が同値でないことを証明することで、それらが数学的に独立した本質的同一性を持つことを裏付ける。

ABSTRACT

We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Frölicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that enable us to see how the categories relate to each other. This produces a diagram of categories with the category of Frölicher spaces sitting at its centre. Our method of study involves finding a general context into which these categories can be placed. This involves considering categories wherein objects are considered in relation to a certain collection of standard test objects. This therefore applies beyond the question of categories of smooth spaces.

研究の動機と目的

• 『滑らかさ対象』の定義の多様な競合を解消するために、その圏的構造を体系的に比較すること。
• Chen、Frölicher、Sikorski、Smith、Souriauの5つの滑らかさ空間の圏が、任意の函手のもとで同値であるかどうかを特定し、それらの根本的な相違性を評価すること。
• 滑らかさ多様体の部分圏を保存する自然で不自然でない函手を特定すること、特にそのような函手の存在を明らかにすること。
• テスト対象と強制条件に基づく、滑らかさ構造の一般圏的枠組みを構築し、滑らかさ空間にとどまらず、それ以上の応用を可能にすること。
• Frölicher空間が一般化された滑らかさ空間の世界における中心的・統合的圏として果たす役割を明確にすること。

提案手法

• 著者は、Chen、Frölicher、Sikorski、Smith、Souriauが定義する滑らかさ空間の圏の間で、滑らかさ多様体を保存する函手を明示的に構成する。
• 一般枠組みとして『Uにおける強制仮想T-対象』が導入され、基礎となる圏U、テスト圏T、強制条件に基づく。
• 図式 X ← T → X' を用いて滑らかさをテストする方法を用い、『プロットによるテスト写像』や『汎関数』の概念を一般化する。
• 随伴と埋め込みを用いて関係を分類し、反射的またはコリフレクティブな部分圏構造を同定する。
• Isbell包の概念を用いて、非集合的理論への応用を拡張し、プロファンクターと緩い分解へと一般化する。
• Sikorski空間の非位相的再定式化を導出。位相的局所性の代わりに、汎関数とその積に関する代数的条件を導入する。

実験結果

リサーチクエスチョン

• RQ1 Chen、Frölicher、Sikorski、Smith、Souriauが定義する滑らかさ空間の圏は、自然な函手によってどのように関係づけられるか？
• RQ2 これらの圏のうち、どれかが他の圏に埋め込まれるか、または反射的に埋め込まれるか。これにより、階層的構造や中心的構造が明らかになるか？
• RQ3 Chen、Frölicher、Sikorski、Smith、Souriauの5つの滑らかさ空間の圏は、任意の函手のもとで同値であるか。それとも、根本的に異なる数学的対象を表しているか？
• RQ4 テスト対象に基づく多様な滑らかさ構造の定義を統一する一般圏的枠組みは何か？
• RQ5 滑らかさの概念は、集合的空間にとどまらず、特に合成的微分幾何学や非可換微分幾何学へと一般化可能か？

主な発見

• Frölicher空間は、滑らかさ空間の圏論的風景において中心的役割を果たしており、他のすべての圏から自然な函手がそれへと写される。
• Frölicher空間の圏は、Chen空間およびSouriau空間の圏において、反射的かつコリフレクティブであることが示され、強い普遍的性質を持つことが裏付けられる。
• Chen、Frölicher、Sikorski、Smith、Souriauの5つの圏のうち、任意の函手のもとで同値でないことが証明され、それらが数学的に独立した本質的同一性を持つことが確認される。
• テスト圏と強制条件に基づく、滑らかさ構造の一般枠組みが確立され、5つの定義が共通の形式的枠組みに統一される。
• Sikorski空間の非位相的版が導出され、位相的局所性の代わりに、汎関数とその積に関する代数的条件が導入される。
• Isbell包の構成により、集合的でない滑らかさ理論への一般化の道筋が得られ、合成的微分幾何学などの分野への応用が可能になる。