[論文レビュー] Extended deformation functors

Marco Manetti|ArXiv.org|Oct 14, 1999

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 13

ひとこと要約

本稿では、導来的変形理論（DDT）と整合する一般化された変形理論—拡張された変形関手—を導入し、シュレスィンガー型の条件を用いる。障害理論を確立し、自然変換に対する逆写像定理を証明し、すべての有限次元接空間をもつこのような関手がホモトピー圏においてプロ代表的であることを示し、最近の変形理論の進展を統合する。

ABSTRACT

We introduce a precise notion, in terms of few Schlessinger's type conditions, of extended deformation functors which is compatible with most of recent ideas in the Derived Deformation Theory (DDT) program and with geometric examples. With this notion we develop the (extended) analogue of Schlessinger and obstruction theories. The inverse mapping theorem holds for natural transformations of extended deformation functors and all such functors with finite dimensional tangent space are prorepresentable in the homotopy category.

研究の動機と目的

• 現代の導来的変形理論（DDT）と整合する拡張された変形関手の概念を形式化すること。
• これらの拡張された関手に対する障害理論とシュレスィンガー理論の類似物を開発すること。
• このような関手がホモトピー圏においてプロ代表的であるための条件を確立すること。
• 拡張された変形関手間の自然変換に対する逆写像定理を証明すること。
• 幾何的例と最近の理論的進展を、一貫した枠組みで統合すること。

提案手法

• 導来的設定に特化したシュレスィンガー型の条件のセットを用いて、拡張された変形関手を導入する。
• 拡張された関手の接空間と障害空間を定義し、古典的変形理論を一般化する。
• 拡張された変形関手間の自然変換を構成し、その逆写像定理を証明する。
• ホモトピー代数的手法を用いて、ホモトピー圏におけるプロ代表的性を分析する。
• 提案された枠組みが、既知の幾何的例と最近のDDTの発展と整合することを検証する。
• 理論を応用し、任意の有限次元接空間をもつ拡張された変形関手がホモトピー圏においてプロ代表的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 変形関手は、導来的変形理論と整合させつつ、重要な構造的性質を保ちながらどのように拡張できるか？
• RQ2 有限次元接空間をもつ変形関手がホモトピー圏においてプロ代表的であるための条件は何か？
• RQ3 シュレスィンガーの古典的理論に類似した障害理論を、拡張された変形関手に対して開発できるか？
• RQ4 拡張された変形関手間の自然変換に対して、逆写像定理が成り立つか？
• RQ5 提案された拡張された関手は、既存の幾何的および代数的例とどのように関係し、一般化されるか？

主な発見

• 提案されたシュレスィンガー型の条件を満たす拡張された変形関手は、適切に定義された障害理論を有する。
• 拡張された変形関手間の自然変換に対して、逆写像定理が成り立つ。
• すべての有限次元接空間をもつ拡張された変形関手は、ホモトピー圏においてプロ代表的である。
• この枠組みは、導来的変形理論の主要なアイデアと構成と整合する。
• 理論は、古典的変形理論と導来的設定における最近の発展を統合・一般化する。
• 結果はホモトピー的および圏論的技法を用いて形式的に確立されており、学術誌の出版により有効性が確認されている。