[論文レビュー] Operads and algebraic homotopy

Justin R Smith|ArXiv.org|Apr 2, 2000

Homotopy and Cohomology in Algebraic Topology被引用数 10

ひとこと要約

この論文は、単連結で基点付きの単体的集合の積分ホモトピー型が、ファンクター的な高次対角写像を備えたチェーン複体によって完全に決定されることを確立している。具体的には、$σ$ 操作の作用をもつ m-コールゲブラ構造として特徴づけられる。この論文は、このような m-コールゲブラを割り当てる関手が、有限で単連結な単体的集合のホモトピー圏と、有限生成で位相的に実現可能な m-コールゲブラのホモトピー圏との間で同値を誘導することを証明しており、したがってスティーナロード作用素と高次対角構造が、すべての積分ホモトピー論的情報を含んでいることを示している。

ABSTRACT

This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to define Steenrod operations). The treatment of this problem is completely self-contained, and includes material that simplifies, extends, and corrects material from the authors AMS Memoir, "Iterating the cobar construction".

研究の動機と目的

• 単連結で基点付きで2-還元された単体的集合のホモトピー型が、スティーナロード作用素に類似した高次対角写像を備えたチェーン複体によって完全に決定されることを示すこと。
• 操作子 $σ$ を用いた m-コールゲブラのホモトピー論を構築し、積分ホモトピー型の背後にある代数的構造を捉えること。
• このような m-コールゲブラのコバー構成が、元の空間のホモトピー型を回復することを証明し、位相的実現可能性の完全な代数的特徴づけを提供すること。
• 有限で単連結な単体的集合のホモトピー圏と、有限生成で位相的に実現可能な m-コールゲブラのホモトピー圏との間の同値を確立すること。
• チェーン複体間の写像が連続写像によって実現可能であるための条件を、基本的同値を介した因数分解を用いて明確化すること。

提案手法

• 論文は、対称群によってインデックス付けされた高次対角写像を備えたチェーン複体として m-コールゲブラを定義し、操作子 $σ$ を用いてその構造を形式化する。
• 単連結で2-還元された単体的集合に対して、その正規化チェーン複体に m-コールゲブラ構造を割り当てる関手 $σ(*)$ を構成する。
• m-コールゲブラの圏 $Λ_0$ を定義し、その中で「基本的同値」と呼ばれる、アサイクルで $Η$-フリーな余核をもつ単射のクラスを局所化することで、ホモトピー圏 $Λ$ を構成する。
• バーバー構成とコバー構成を用いて、m-コールゲブラとループ空間との関係を確立し、元の空間のホモトピー型をモデル化する分解を構築する。
• $σ$ 上の m-コールゲブラにおけるコバー構成が、元の空間のホモトピー型を位相的に実現することを証明し、操作子作用がすべての高次ホモトピー作用素を符号化していることを示す。
• コバー構成とバーバー構成の間に双対性を確立し、コバー構成が圏の同値を介してホモトピー型を回復することを示す。

実験結果

リサーチクエスチョン

• RQ1 単連結で基点付きの単体的集合の積分ホモトピー型は、高次対角写像を備えたチェーン複体から完全に再構成可能か？
• RQ2 スティーナロード作用素と高次カップ-$\psi$ 構造のすべての情報を符号化するチェーン複体上の代数的構造は何か？
• RQ3 このような空間のチェーン複体間のチェーン写像が、対応する空間間の連続写像によって実現可能となる条件は何か？
• RQ4 有限で単連結な単体的集合のホモトピー圏を、チェーンレベルの構造を用いてどのように代数的に特徴づけられるか？
• RQ5 特に $σ$-操作子が、空間の完全なホモトピー型を符号化するために果たす役割は何か？

主な発見

• 基点付きで単連結な CW 複体のホモトピー圏から、m-コールゲブラの局所化圏 $\mathfrak{L}^+$ への関手 $\mathscr{C}(*)$ は、ホモトピー圏の同値を誘導する。
• 有限で単連結な単体的集合に対して、関手 $\mathscr{C}(*)$ は、そのような空間のホモトピー圏と、有限生成で位相的に実現可能な m-コールゲブラのホモトピー圏との間で同値を誘導する。
• 正規化チェーン複体間のチェーン写像 $f: C(X) \to C(Y)$ が位相的に実現可能であるための必要十分条件は、m-コールゲブラ $C$ を介して、m-コールゲブラの準同型と左逆を持つ基本的同値に因数分解できることである。
• $\mathfrak{S}$-操作子上の m-コールゲブラにおけるコバー構成は、元の空間のホモトピー型を回復する。操作子作用は、すべての高次ホモトピー作用素を符号化している。
• $\mathfrak{S}$-操作子上の m-コールゲブラの圏は、適切に整ったホモトピー論を備えており、基本的同値が弱同値の役割を果たす。
• この論文は、コバー構成上の $A_\infty$-構造が、チェーン複体上の完全な $E_\infty$-構造を回復するのに十分であることを示しており、$\mathfrak{S}$-操作子が完全な積分ホモトピー型を符号化していることを示している。