[論文レビュー] Homotopy Algebras are Homotopy Algebras

Martin Markl|ArXiv.org|Jul 22, 1999

Homotopy and Cohomology in Algebraic Topology被引用数 13

ひとこと要約

この論文は、$A_\infty$、$C_\infty$、$G_\infty$代数などの強くホモトピー的代数が、チェーン複体の圏におけるホモトピー同値に関して不変であることを確立する。ホモトピー移行定理を用いて、このような構造がチェーンホモトピー同値を介して移行可能であることを厳密に証明し、それらのホモトピー的不変性を保証するとともに、代数的トポロジーにおけるホモトピー論の基礎的結果を提供する。

ABSTRACT

We prove that strongly homotopy algebras (such as $A_\infty$, $C_\infty$, sh Lie, $B_\infty$, $G_\infty$,...) are homotopically invariant in the category of chain complexes. An important consequence is a rigorous proof that `strongly homotopy structures transfer over chain homotopy equivalences.'

研究の動機と目的

• チェーン複体の圏における強くホモトピー的代数のホモトピー的不変性を確立すること。
• チェーンホモトピー同値を介した $A_\infty$-および $C_\infty$-構造の移行に関する基礎的問題を解決すること。
• 強くホモトピー的構造がホモトピー同値に関して保存されることを、厳密な証明により示すこと。これにより、従来の形式的でない取り扱いの欠落を補う。

提案手法

• 論文はホモトピー移行定理を用いて、ホモトピー同値を介したチェーン複体上の高次演算の再構成を行う。
• 多変換演算の再帰的構成を用いて、ホモトピー同値な複体上での移行された $A_\infty$-構造を定義する。
• 証明は、$A_\infty$-準同型の形式的記法と、チェーン複体における高次ホモトピーの整合性に依拠する。
• 移行メカニズムを、$C_\infty$、$B_\infty$、$G_\infty$ 代数を含む、さまざまな強くホモトピー的代数へ一般化する。
• 証明は、オペラッドの理論と、オペラッド上の代数のホモトピー論に裏打ちされている。
• 著者は、移行された構造が必要な $A_\infty$-関係を満たすことを保証するため、ホモロジー的摂動補題の洗練された版を用いる。

実験結果

リサーチクエスチョン

• RQ1 チェーンホモトピー同値を介して $A_\infty$-構造を移行させることで、そのホモトピー的性質が保存されるか。
• RQ2 ホモトピー同値な複体上に移行された $A_\infty$-構造は、元の構造と準同型的（ quasi-isomorphic ）か。
• RQ3 $C_\infty$ や $G_\infty$ などの強くホモトピー的代数も、$A_\infty$-代数と同様にホモトピー的不変性を示すか。
• RQ4 移行過程で高次ホモトピーの整合性を保証する正確な代数的メカニズムは何か。
• RQ5 広範なクラスの強くホモトピー的代数に対して、ホモトピー移行定理を厳密に定式化し、証明するにはどうすればよいか。

主な発見

• 論文は、強くホモトピー的代数がチェーンホモトピー同値に関して不変であることを証明しており、そのホモトピー型が保存されることを示している。
• ホモトピー移行定理は、$A_\infty$、$C_\infty$、$B_\infty$、$G_\infty$ 代数を含む、すべての標準的な強くホモトピー的代数に対して成立する。
• ホモトピー同値な複体上に移行された $A_\infty$-構造は、整合的なホモトピーを介して $A_\infty$-関係を満たす。
• この構成は、チェーン複体のホモトピー圏を尊重する意味で函子的である。
• 証明により、ホモトピー代数が導来代数的幾何学やトポロジカル場理論において用いられるための厳密な基礎が確立された。
• この結果により、強くホモトピー的代数が形式的な構造にとどまらず、ホモトピー同値に関して本質的に安定であることが確認された。