[論文レビュー] Lie coalgebras and rational homotopy theory II: Hopf invariants

Dev Sinha, Ben Walter|arXiv (Cornell University)|Sep 29, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 5

ひとこと要約

本稿は、Lie余代数と有理ホモトピー群の間に幾何的に意味のある同型写像を、配置ペアリングとグラフ余代数を用いて構築する。この同型写像により、有理コチェインとLie余代数を用いてホップ不変量を明示的に計算可能となる。ホップ不変量は配置ペアリングを介して反復ホワイトヘッド積の直接的で組み合わせ的な実現を可能にし、古典的リンク不変量と結びつける。本研究は、Quillenの有理ホモトピー論とKoszul-Moore双対性を、Harrison複体の新規な図式的表現によって統一する。

ABSTRACT

We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory and Koszul-Moore duality. Geometrically, we show that homotopy groups are rationally given by "generalized linking/intersection invariants" of cochain data. Moreover, we give a method for determining when two maps from $S^n$ to $X$ are homotopic after allowing for multiplication by some integer. For applications, we investigate wedges of spheres and homogeneous spaces (where homotopy is given by classical linking numbers), and configuration spaces (where homotopy is given by generalized linking numbers); also we propose a generalization of the Hopf invariant one question.

研究の動機と目的

• グラフ余代数モデルのホモロジーと有理ホモトピー群との間で、明示的かつ幾何的に意味のある同型写像を構築すること。
• 有理コチェインとLie余代数を用いて、ホップ不変量の直接的公式を構成することで、「ホモトピー周期」問題を解決すること。
• Quillenの有理ホモトピー論とKoszul-Moore双対性を、Harrison複体の図式的表現を通じて統一すること。
• 古典的ホップ不変量のホワイトヘッドおよび他の研究者による公式を、配置ペアリングを用いて反復ホワイトヘッド積へと拡張すること。
• 有理ホモトピー群が、古典的リンク数によって同定可能であることを示すこと。

提案手法

• アソシエイティブコチェインのバー複体を用いて、ループ空間コホモロジーへの評価により、整数値ホモトピー汎関数を定義する。
• 可換コチェインと有理係数に切り替えることで、Harrison複体を介してLie余代数モデルを定義する。
• 微分付きLie余代数構造をモデル化するため、グラフ余代数表現を用いることで、明示的な計算を可能にする。
• バー複体における積-余積の公式を確立し、Koszul-Moore理論が予言する双対性へと下降させること。
• 自由Lie代数と自由Lie余代数の間の配置ペアリングを用いて、反復ホワイトヘッド積上のホップ不変量を計算する。
• ホップ不変量を配置空間のコホモロジー類に関連付け、それらがオペラッド/コオペラッド対 (Lie, Eil) のグラフに対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、グラフ余代数モデルのホモロジーと有理ホモトピー群との間で、明示的かつ幾何的に意味のある同型写像を構築できるか？
• RQ2 反復ホワイトヘッド積の文脈において、ホップ不変量と配置ペアリングの正確な関係は何か？
• RQ3 古典的リンク不変量と同調空間の有理ホモトピー群は、新しいホップ不変量の構成を通じてどのように関係するか？
• RQ4 新しいホップ不変量は、古典的ホワイトヘッドおよびハエフリガー＝サリヴァン不変量をどのように一般化するか？
• RQ5 Harrison複体の図式的表現は、有理ホモトピー論の自己完結的で組み合わせ論的な展開をどのように可能にするか？

主な発見

• 本稿は、単連結な $X$ に対して、$\eta: H_{*-1}({\mathcal{E}}(A^{*}(X))) \to \mathrm{Hom}(\pi_{*}(X), \mathbb{Q}) $ という新規な同型写像を構成し、Lie余代数と有理ホモトピー群との直接的な関係を確立する。
• 反復ホワイトヘッド積上のホップ不変量は、自由Lie代数と自由Lie余代数の間の配置ペアリングを用いて計算され、自由Lie代数内に対応する要素を特定する幾何的アルゴリズムを提供する。
• 新しいホップ不変量は、ホルエヴィッチ準同型の後に配置空間コホモロジーへの評価を施すのと一致し、その組み合わせ的構造を説明する。
• この構成により、同調空間の有理ホモトピー群が、古典的リンク数によって同定可能であることが示され、既知の結果を一般化する。
• このアプローチにより、すべてのこのようなホップ不変量が本質的に一般化されたリンク不変量であることが明らかになり、多様な古典的構成が一つの枠組みで統一される。
• この方法により、グラフ余代数を介したKoszul-Moore双対性の自己完結的で組み合わせ論的な実現が可能となり、非単連結空間への一般化の可能性を秘めている。