[論文レビュー] Cohomology $C_{\infty}$-algebra and Rational Homotopy Type

Tornike Kadeishvili|ArXiv.org|Nov 11, 2008

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

ひとこと要約

この論文は、1-連結空間の有理コホモロジーに、$C_{\nu}$-代数構造を構成し、この代数的不変量が有理ホモトピー型を完全に決定することを示している。$A_{\nu}$-代数フレームワークを可換設定に拡張することで、同型な有理コホモロジー$C_{\nu}$-代数であることと、空間が同じ有理ホモトピー型を持つことの必要十分条件を証明し、有理ホモトピー論における完全で計算可能な不変量を提供する。

ABSTRACT

In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type

研究の動機と目的

• 有理コホモロジー代数だけでは不十分な情報を捉える、完全な有理ホモトピー不変量を構成すること。
• 可換設定への$A_{\nu}$-代数フレームワークの拡張を行い、有理コホモロジーに$C_{\nu}$-代数構造を導入すること。
• 有理コホモロジー$C_{\nu}$-代数が1-連結空間の有理ホモトピー型を完全に決定することを示すこと。
• $C_{\nu}$-準同型を通じて代数的写像を位相的写像として実現するための枠組みを提供すること。
• 有理コホモトピーのLie余代数と$C_{\nu}$-代数のバー構成との関係を確立すること。

提案手法

• 1-連結空間$X$の有理コホモロジー$H^*(X,\mathbb{Q})$に、$A_{\nu}$-代数構造を一般化した$C_{\nu}$-代数構造を構成する。
• Sullivanの可換コチェイン$A(X)$を用いて、コチェインからコホモロジーへの$C_{\nu}$-構造の持ち上げを行う。
• 各次数$2-i$の演算$\{m_i\}$の列により$C_{\nu}$-代数を定義し、高次ホモトピーを介した一般化された結合則を満たす。
• コホモロジー$C_{\nu}$-代数$(H^*, \{m_i\})$にバー構成$B(H^*, \{m_i\})$を適用し、dg双代数を得る。
• バー構成にインデコンポジング関手$Q$を適用し、有理コホモトピーのLie余代数$\pi^*(\Omega X, \mathbb{Q})$と同型なdg Lie余代数を得る。
• 有理コホモロジー上の$C_{\nu}$-代数構造とSullivanの最小モデルとの間の同値性を用いて、代数的写像と位相的実現可能性を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 有理コホモロジー代数に追加の代数的構造を導入することで、1-連結空間の有理ホモトピー型を完全に決定できるか。
• RQ2 有理コホモロジーに、$A_{\infty}$-代数構造の可換版として、完全な有理ホモトピー型を捉える構造が存在するか。
• RQ3 有理コホモロジー代数の準同型が、空間の有理化間の連続写像によって実現可能となる条件は何か。
• RQ4 有理コホモロジー上の$C_{\infty}$-代数構造は、ループ空間の有理ホモトピー群およびLie余代数構造とどのように関係するか。
• RQ5 有理コホモロジー上の$C_{\infty}$-代数とSullivanの最小モデルとの正確な関係は何か。

主な発見

• 有理コホモロジー$C_{\infty}$-代数構造$H^*(X,\mathbb{Q})$は完全不変量である：2つの1-連結空間が同じ有理ホモトピー型を持つことと、それらの有理コホモロジー$C_{\infty}$-代数が同型であることは同値である。
• 有理コホモロジー$C_{\infty}$-代数のバー構成$B(H^*, \{m_i\})$は、dg双代数をなす。その$Q$-インデコンポジング部分は、有理コホモトピーのLie余代数$\pi^*(\Omega X, \mathbb{Q})$と同型である。
• 形式的空間$X = S^2 \vee S^2 \vee S^5$では、$QB(H^*)$における微分$d = m_3$は自明であるが、非形式的空間$Y = S^2 \vee S^2 \cup_f e^5$では$m_3$は非自明であり、結果として異なる有理ホモトピー群が得られる：$\pi^4(X) = 2\mathbb{Q}$、$\pi^4(Y) = \mathbb{Q}$。
• 有理コホモロジー代数の準同型$G: H^*(X,\mathbb{Q}) \to H^*(Y,\mathbb{Q})$が、$Y_{\mathbb{Q}} \to X_{\mathbb{Q}}$の連続写像によって実現可能であることと、$g_1 = G$を満たす$C_{\infty}$-準同型$\{g_i\}$に拡張可能であることは同値である。
• 形式的空間では、すべての代数的同型$G$が実現可能である。なぜなら$\{G, 0, 0, \dots\}$は有効な$C_{\infty}$-準同型だからである。
• 写像$S^5 \to Y$の実現不可能性は、$H^*(Y,\mathbb{Q})$における非自明な$m_3$に起因し、$C_{\infty}$-準同型条件$G \circ m_3 = 0$が破られるためである。