[論文レビュー] Product preserving functors of infinite dimensional manifolds

Andreas Kriegl, Peter W. Michor|arXiv (Cornell University)|Nov 1, 1996

Advanced Operator Algebra Research参考文献 14被引用数 10

ひとこと要約

この論文は、$C^\infty$-代数を用いて、無限次元多様体における積を保存する函手およびワイル函手の理論を拡張し、ジャンクティルバンドルや接空間函手を無限次元設定に一般化する枠組みを確立する。主な貢献は、$C^\infty$-代数によるこのような函手の特徴付けであり、無限次元多様体における体系的な微分積分法を可能にする。

ABSTRACT

The theory of product preserving functors and Weil functors is partly extended to infinite dimensional manifolds, using the theory of $C^\infty$-algebras.

研究の動機と目的

• 有限次元多様体から無限次元多様体への積を保存する函手およびワイル函手の理論を一般化すること。
• 古典的ジャンクティルバンドル構成を超えて、無限次元多様体における体系的な微分積分法の枠組みの欠如に応えること。
• 無限次元設定における基礎的道具として$C^\infty$-代数を用いた函手的微分積分法を構築すること。
• 有限次元の場合と同様の形で、無限次元多様体上の積を保存する函手の特徴付けを提供すること。
• 接空間函手やジャンクティル函手といった既存の構成を、無限次元幾何学の文脈で統一的かつ拡張すること。

提案手法

• 無限次元多様体上の無限小構造をモデル化するために$C^\infty$-代数の理論を用いる。
• 有限積を保存する函手を、有限積と可換であると定義する。
• ジャンクティル函手を介して、積を保存する函手と$C^\infty$-代数の間の対応を確立する。
• 有限次元の構成を$C^\infty$-代数の設定に昇格することで、無限次元多様体へのワイル函手の枠組みを適用する。
• $C^\infty$-代数の代数的構造を用いて、無限次元文脈における無限小近傍およびジャンクティル空間を定義・特徴付ける。
• すべての積を保存する函手が一意的な$C^\infty$-代数から導かれることが示され、有限次元の分類を一般化する。

実験結果

リサーチクエスチョン

• RQ1 積を保存する函手の理論を、有限次元から無限次元多様体へどのように拡張できるか。
• RQ2 無限次元設定におけるジャンクティル函手および接空間函手の構成の背後にある代数的構造は何か。
• RQ3 $C^\infty$-代数は、無限次元多様体上の積を保存する函手の定義および分類の統一的枠組みとして機能できるか。
• RQ4 無限次元幾何学の文脈において、ワイル函手と$C^\infty$-代数の関係は何か。
• RQ5 無限次元多様体上の積を保存する函手は、接バンドルやジャンクティルバンドルといった古典的構成をどのように一般化するか。

主な発見

• 本論文は、無限次元$C^\infty$-多様体上の積を保存する函手と$C^\infty$-代数の間の一対一対応を確立する。
• $C^\infty$-代数を用いて、有限次元から無限次元多様体へのワイル函手の古典的特徴付けを一般化する。
• $C^\infty$-代数の枠組みを用いて、ジャンクティル函手および接空間函手の構成を無限次元多様体へ拡張する。
• 著者らは、無限次元多様体の圏におけるすべての積を保存する函手が、一意的な$C^\infty$-代数から生じることを証明する。
• この枠組みにより、有限次元のジャンクティル微分積分法に類似した、無限次元多様体における体系的な微分積分法が可能になる。
• これらの結果は、フレシェ多様体や多様体の直接極限といった無限次元空間における微分積分法の構築の基盤を提供する。