[論文レビュー] The universal Hopf operads of the bar construction

Benoît Fresse|ArXiv.org|Jan 9, 2007

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

ひとこと要約

この論文は、バーレジスターの普遍ホフプ・オペラッドを介して、E∞-代数のバーバイナリ複体が自然にホフプ E∞-代数構造を備え、関手的にかつホモトピー的に一意的であることを確立する。この構成は、ユニタリ・ホフプ・オペラッドのためのリーディー・モデルカテゴリと、オペラッド的リフト技術を用いて、バーバイナリ複体上の明示的かつ再帰的な作用を定義・特徴づける。

ABSTRACT

The goal of this memoir is to prove that the bar complex B(A) of an E-infinity algebra A is equipped with the structure of a Hopf E-infinity algebra, functorially in A. We observe in addition that such a structure is homotopically unique provided that we consider unital operads which come equipped with a distinguished 0-ary operation that represents the natural unit of the bar complex. Our constructions rely on a Reedy model category for unital Hopf operads. For our purpose we define a unital Hopf endomorphism operad which operates functorially on the bar complex and which is universal with this property. Then we deduce our structure results from operadic lifting properties. To conclude this memoir we hint how to make our constructions effective and explicit.

研究の動機と目的

• E∞-代数 A のバーバイナリ複体 B(A) が、A に関して関手的に自然にホフプ E∞-代数構造を備えていることを確立すること。
• このホフプ構造が、ユニタリで、ユニットを表す特別な 0-アリティ作用素を備えたオペラッドの場合に、ホモトピー的に一意的であることを証明すること。
• B(A) に作用する普遍的なホフプ・オペラッドのバーバイナリ作用素を定義・構成すること。
• リーディー・モデルカテゴリフレームワーク内での再帰的式とリフトプロセスを用いて、抽象的なオペラッド的構成を効果的かつ明示的にすること。

提案手法

• ユニタリ・ホフプ・オペラッドと Λ∗-加群のリーディー・モデルカテゴリ構造を構築し、ユニタリかつコアルゲブラ的オペラッドの文脈におけるホモトピー代数を扱う。
• バーバイナリ複体のユニタリ・ホフプ自己準同型オペラッドを、コフリー・コアルゲブラと準フリー・ホフプ Λ∗-加群の構成を用いて、B(A) に作用する普遍的対象として導入する。
• リーディー・モデルカテゴリにおけるオペラッド的リフト性質を適用し、ユニタリ Λ∗-加群の準同型の存在と一意性を保証することで、ホフプ作用の存在を確立する。
• コデリバティブとマッチング準同型を含むリフト問題を解くことで、バーバイナリ複体上の作用の明示的再帰的式を導出する。
• ボードマン＝ヴォーゲン W-コンストラクションのセル分解を用いて、オペラッドの構造とその作用を分析する。
• オペラッド E(r) 上の収縮ホモトピー ν を用いて、作用を記述する微分方程式の明示的解を構成し、作用のアルゴリズム的実装を可能にする。

実験結果

リサーチクエスチョン

• RQ1 E∞-代数 A のバーバイナリ複体 B(A) は、A に関して関手的にホフプ E∞-代数構造を備えることができるか？
• RQ2 ユニタリで特別な 0-アリティ作用素を備えたオペラッドの場合、B(A) におけるこのホフプ構造はホモトピー的に一意的か？
• RQ3 B(A) に作用する普遍的なホフプ・オペラッドのバーバイナリ作用素は何か？ そして、オペラッド的リフトを用いてどのように構成できるか？
• RQ4 再帰的式を用いて、B(A) 上の作用をどのように効果的かつ明示的に表現できるか？
• RQ5 ホフプ・オペラッド作用の成分を記述する微分方程式の正確な形は何か？

主な発見

• E∞-代数 A のバーバイナリ複体 B(A) は、定理 §4.D により、A に関して関手的に自然にホフプ E∞-代数構造を備えている。
• ユニタリで特別な 0-アリティ作用素を備えたオペラッドの場合、このホフプ構造はホモトピー的に一意的である。これは定理 §4.E で示されている。
• ユニタリ・ホフプ・オペラッドのリーディー・モデルカテゴリにおけるリフト対象として、バーバイナリ作用素の普遍的ホフプ・オペラッドが構成され、ファイブレーションおよびアサイクル・ファイブレーションを保存する。これは定理 §4.B による。
• バーバイナリ複体上の明示的作用は、再帰的微分方程式で特徴づけられる： δ(ρm∗(ξ)) − ρm∗(δ(ξ)) − ρm∗(∂(ξ)) = −∑n nX Sh(mj_i) · μn(ρm1∗(ξ1), ..., ρmn∗(ξn)) ± ∑i nX ρm′∗(ξ) ◦i μn,t。これは定理 §5.D に記載されている。
• オペラッド E(r) 上に収縮ホモトピー ν が存在する場合、再帰的系の解は明示的に ρm1,...,mr(ξκ) = ν[ρm∗(δ(ξκ)) + ρm∗(∂(ξκ)) − ∑n nX Sh(mj_i) · μn(ρm1∗(ξ1_κ), ..., ρmn∗(ξn_κ)) ± ∑i nX ρm′∗(ξκ) ◦t μn,t] で与えられる。これは定理 §5.E に示されている。
• Λ∗-加群のリーディー・モデルカテゴリにおけるリフトプロセスは効果的であり、成分 ρm∗: Dd(r) →ΛE(m1+⋯+mr) は等変性、マッチング条件、および微分方程式により決定され、コアルゲブラおよびオペラッド構造と整合的である。