[論文レビュー] Lie coalgebras and rational homotopy theory, I

Dev Sinha, Ben Walter|arXiv (Cornell University)|Oct 13, 2006

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

ひとこと要約

本稿は、微分的リー余代数とリー操作子の線形双対を用いて、有理数係数のコチェインのコバービルド構成のホモロジーと単連結空間の有理ホモトピー群の間の幾何的同型を確立する。これは、有理ホモトピー群の計算と整数倍後の写像類の特定に、組合せ論的かつコホモロジーに裏付けられた手法を提供する。

ABSTRACT

We give a new, definitive answer to the basic question “how can cochain data determine rational homotopy groups? ” 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 example, while it is well known that the rational homotopy groups of a wedge of spheres is a free graded Lie algebra, we give a geometric recipe to determine which element of that algebra a given map would correspond to. Just as cohomology and homology are best developed in parallel, we expect that our approach to homotopy functionals should complement any study of homotopy groups modulo torsion. We build on [20], where we used an explicit model for the linear dual of the Lie operad to breathe combinatorial life into the category of differential Lie coalgebras. In this paper we use that framework to geometrically construct an isomorphism of Lie coalgebras η: H∗(E(A ∗ (X))) → Hom(π∗(X), Q). Here A ∗ (X) denotes a model for commutative rational-valued cochains on X, E is a cobar construction associated with the Lie cooperad and X is simply connected. We proceed in two steps, first using the classical bar complex to define integer-valued homotopy functionals. Here we can most efficiently establish basic properties and give examples, and we can work over the integers since only associative cochains are needed. Then we move on to our bar construction modeled

研究の動機と目的

• コチェインデータがどのようにして有理ホモトピー群を幾何的かつ計算可能に決定するかという基礎的問題を解明すること。
• 球面から空間への2つの写像が整数倍を経てホモトープであるかどうかを特定するための手法を提供すること。
• コホモロジーとホモトピーの双対性を拡張し、有理コチェイン上のコバービルド構成のホモロジーと有理ホモトピー群との間に自然な同型を構成すること。
• リー操作子の線形双対を用いた枠組みを構築し、微分的リー余代数に組合せ論的構造を与えること。
• コチェインモデル上の明示的な幾何的構成を通じて、代数的トポロジーと有理ホモトピー論の橋渡しをすること。

提案手法

• リー余操作子に関連するコバービルド構成 E を用い、有理コチェイン代数 A∗(X) から複体を構成する。
• Lie余代数の同型 η: H∗(E(A∗(X))) → Hom(π∗(X), Q) を構成し、これが同型であることを示す。
• 整数係数の古典的バー複体を用いて、有理係数に特化する前に整数値ホモトピー汎関数を定義する。
• 微分的ドメイン・リー余代数の枠組み内で作業し、リー操作子の線形双対が組合せ論的制御を提供する。
• 2段階で進行する：まず、結合的コチェインを用いて ℤ 上の汎関数を定義し、次にリー余代数同型を用いて有理構造に精錬する。
• コホモロジーとホモトピーの双対性を活用し、コバービルド構成を通じてコチェイン上でのホモトピー群の汎関数としてモデル化する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてコチェインデータを体系的に用いて、単連結空間の有理ホモトピー群を計算できるか？
• RQ2 2つの写像が S^n から X への写像であるとき、整数倍を経てホモトープであるかを決定する幾何的基準は何か？
• RQ3 有理コチェイン上のコバービルド構成のホモロジーと有理ホモトピー群との間に自然な同型を構成できるか？
• RQ4 リー操作子の線形双対が、この文脈における微分的リー余代数にどのように組合せ論的構造を与えるか？
• RQ5 この枠組みは、コホモロジカルおよびホモトープ的データを統合することで、既存の有理ホモトピー論をどのように補完するか？

主な発見

• 本稿は、Lie余代数の同型 η: H∗(E(A∗(X))) → Hom(π∗(X), Q) を構成し、コホモロジカルデータと有理ホモトピー群の直接的な関係を確立する。
• この同型は、与えられた写像が球の楔への写像に対応する自由な次数付きリー代数のどの要素に対応するかを特定する幾何的レシピを提供する。
• この手法により、コバービルド構成下でのコチェインモデルの像を分析することで、整数倍後の写像のホモトピー同値性を特定できる。
• この構成は単連結空間に対して有効であり、Q に値をとる有理コチェインのモデル A∗(X) に依存する。
• この枠組みはリー操作子の線形双対に基づき、微分的リー余代数の圏に組合せ論的構造を与える。
• このアプローチは、例えば球の楔の有理ホモトピー群の自由性といった古典的結果を一般化し、明示的な計算メカニズムを提供する。