[论文解读] 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∞-代数的bar复形自然地携带Hopf E∞-代数结构，通过bar运算的universal Hopf operad，该结构在A上函子性且同伦唯一。构造依赖于单位Hopf operad的Reedy模型范畴及operadic lifting技术，以定义并表征bar复形上的显式、递归运算。

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的bar复形B(A)在A上自然地具有Hopf E∞-代数结构。
• 证明当operad为单位元且配备一个特殊0元运算（代表单位）时，该Hopf结构在同伦意义下唯一。
• 定义并构造一个universal Hopf operad，其作用于B(A)，且在该性质下具有普遍性。
• 通过Reedy模型范畴框架中的递归方程与提升过程，使抽象的operadic构造变得有效且显式。

提出的方法

• 在Λ∗-模与单位Hopf operad上建立Reedy模型范畴结构，以处理单位、余代数性operad中的同伦代数。
• 引入bar复形的单位Hopf自同态operad作为作用于B(A)的universal对象，利用cofree余代数与quasi-cofree Hopf Λ∗-模构造。
• 在Reedy模型范畴中应用operadic lifting性质，构造unitary Λ∗-模的态射，确保Hopf作用的存在性与唯一性。
• 通过求解涉及coderivations与matching态射的提升问题，推导出bar复形上运算的显式递归方程。
• 利用Boardman-Vogt W-构造的cellular分解分析operad的结构及其作用。
• 通过operad E(r)上的contraction homotopy ν，构造控制运算的微分方程的显式解，实现该作用的算法化实现。

实验结果

研究问题

• RQ1 E∞-代数A的bar复形B(A)是否能以A的函子性方式赋予Hopf E∞-代数结构？
• RQ2 当operad为单位元且配备特殊0元运算时，B(A)上的该Hopf结构是否在同伦意义下唯一？
• RQ3 作用于B(A)的universal Hopf operad of bar operations是什么？如何通过operadic lifting构造它？
• RQ4 如何通过递归方程使B(A)上的运算变得有效且显式？
• RQ5 控制Hopf operad作用于bar复形的分量的微分方程的精确形式是什么？

主要发现

• E∞-代数A的bar复形B(A)在A上函子性地自然地具有Hopf E∞-代数结构，如定理§4.D所示。
• 当operad为单位元且配备特殊0元运算时，该Hopf结构在同伦意义下唯一，如定理§4.E所示。
• universal Hopf operad of bar operations被构造为单位Hopf operad的Reedy模型范畴中的lifting对象，且保持fibrations与acyclic fibrations，如定理§4.B所示。
• bar复形上的显式运算由递归微分方程表征：δ(ρm∗(ξ)) − ρm∗(δ(ξ)) − ρm∗(∂(ξ)) = −∑n nX Sh(mj_i) · μn(ρm1∗(ξ1), ..., ρmn∗(ξn)) ± ∑i nX ρm′∗(ξ) ◦i μn,t，如定理§5.D所述。
• 当E(r)上存在contraction homotopy ν时，递归系统的解显式给出为ρm1,...,mr(ξκ) = ν[ρm∗(δ(ξκ)) + ρm∗(∂(ξκ)) − ∑n nX Sh(mj_i) · μn(ρm1∗(ξ1_κ), ..., ρmn∗(ξn_κ)) ± ∑i nX ρm′∗(ξκ) ◦t μn,t]，如定理§5.E所示。
• 在Λ∗-模的Reedy模型范畴中的提升过程是有效的，其分量ρm∗: Dd(r) →ΛE(m1+⋯+mr)由等变性、matching条件与微分方程确定，确保与余代数及operad结构的相容性。