[논문 리뷰] The universal Hopf operads of the bar construction

Benoît Fresse|ArXiv.org|2007. 01. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 3

한 줄 요약

이 논문은 바르 복합체(bar complex)가 유니버설 훌프 작동 작동의 작용을 통해 자연스럽게 훌프 E∞-대수의 구조를 가짐을 증명한다. 이는 유니버설 훌프 작동 작용의 존재를 통해 함의되며, 유니버설 훌프 작동 작용의 존재는 유니버설 훌프 작동 작용의 존재를 통해 함의된다. 이 구조는 A에 대해 함의적이고, 호모토피적으로 유일하다. 이는 바르 복합체에 대한 명시적이고 재귀적인 작동을 정의하고 특성화하기 위해 리드 모델 범주와 작동론적 리프팅 기법을 사용한다.

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-구성의 세포 분해를 사용하여 작동 작용의 구조와 그 작용을 분석한다.
• 작동 작용을 제어하는 미분 방정식의 명시적 해를 수축 호모토피 ν를 통해 구성함으로써 작동의 알고리즘적 실현 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 E∞-대수 A의 바르 복합체 B(A)는 A에 대해 함의적인 방식으로 훌프 E∞-대수의 구조를 지닐 수 있는가?
• RQ2 작동이 유니터리하고 0차 작동이 특별히 지정된 경우, B(A)의 이 훌프 구조는 호모토피적으로 유일한가?
• RQ3 B(A)에 작용하는 유니버설 훌프 작동 작용은 무엇이며, 작동론적 리프팅을 통해 어떻게 구성할 수 있는가?
• RQ4 바르 복합체에 대한 작동은 재귀적 방정식을 통해 어떻게 효과적이고 명시적으로 표현할 수 있는가?
• RQ5 바르 복합체에 대한 훌프 작동 작용의 구성 요소를 제어하는 정확한 미분 방정식의 형태는 무엇인가?

주요 결과

• E∞-대수 A의 바르 복합체 B(A)는 A에 대해 함의적으로 훌프 E∞-대수의 구조를 지닌다. 이는 정리 §4.D에 의해 증명된다.
• 작동이 유니터리이고 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)는 등변성, 매칭 조건, 그리고 미분 방정식에 의해 결정되며, 이는 코알제브라 및 작동 작용의 구조와의 호환성을 보장한다.