[논문 리뷰] Operadic bar constructions, cylinder objects, and homotopy morphisms of algebras over operads

Benoît Fresse|ArXiv.org|2009. 02. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 5

한 줄 요약

이 논문은 가환환 위의 유한하지 않은 미분가환 모듈에서 작용하는 작도에 대한 대수의 명시적 코프ibrant 치환을 구성하기 위한 프레임워크를 수립한다. 이는 작도의 cobar 구성에 기반하며, 작도의 범주에서 실린더 객체를 도입하고, 작도에 대한 대수의 호모토피 사상이 작도의 모델 범주에서의 왼쪽 호모토피와 대응됨을 증명한다. 이는 고전적 바르 쌍대성을 비특성 0 및 유한하지 않은 설정으로 확장한다.

ABSTRACT

The purpose of this paper is twofold. First, we review applications of the bar duality of operads to the construction of explicit cofibrant replacements in categories of algebras over an operad. In view toward applications, we check that the constructions of the bar duality work properly for algebras over operads in unbounded differential graded modules over a ring. In a second part, we use the operadic cobar construction to define explicit cyclinder objects in the category of operads. Then we apply this construction to prove that certain homotopy morphisms of algebras over operads are equivalent to left homotopies in the model category of operads.

연구 동기 및 목표

• 가환환 위의 유한하지 않은 미분가환 모듈에서의 작도에 대한 대수에 대해 작도 cobar 구성과 바르 쌍대성을 특성 0인 체 위에서만 아니라 일반적인 상황으로 확장하기 위해.
• 기초 환에서 Z- torsion과 Z-등급 설정에서의 스펙트럴 시퀀스 수렴 문제로 인해 발생하는 기술적 과제를 다루기 위해.
• cobar 구성에 의해 작도 범주의 실린더 객체를 명시적으로 정의하기 위해.
• 작도에 대한 대수의 호모토피 사상과 작도의 모델 범주에서의 왼쪽 호모토피 사이의 동치 관계를 확립하기 위해.
• 프로퍼타드로의 프레임워크 일반화를 통해 프로퍼타드에 대한 대수의 호모토피 범주에서의 동치 관계에 대한 새로운 모델을 제안하기 위해.

제안 방법

• 작도 $ B^c(\textsf{D}) $ 를 사용하여 협작도 $ \textsf{D} $ 로부터 작도의 코프ibrant 치환을 생성함으로써, $ \textsf{P} $-대수의 코프ibrant 모델을 가능하게 한다.
• 작도 범주에서 실린더 객체 $ \text{Cyl} B^c(\textsf{D}) $ 를 구성하여 호모토피 동치를 모델링한다.
• $ \textsf{P} $-대수 $ A $ 에서 $ \textsf{D} $-코프로덕트 $ \textsf{D}(A) $ 를 정의하고, cobar 구성 적용으로 코프ibrant $ \textsf{P} $-대수 $ R_{\textsf{P}}(\Gamma_{\textsf{P}}(A)) $ 를 얻는다.
• 실린더 객체 구성에 의해 이러한 코프ibrant $ \textsf{P} $-대수 사이의 사상이 작도의 모델 범주에서의 왼쪽 호모토피와 대응됨을 보인다.
• 이 구성 적용을 통해 작도 $ \textsf{P} $-대수 사이의 호모토피 사상이 작도 $ B^c(\textsf{D}) $-대수의 범주에서의 왼쪽 호모토피와 동치임을 증명한다.
• 실린더 객체 구성의 확장과 호모토피 동치의 유지에 의해, 프로퍼타드로의 프레임워크를 일반화한다.

실험 결과

연구 질문

• RQ1 작도 cobar 구성은 특성 0인 체 위에서만 아니라, 일반적인 가환환 위의 유한하지 않은 미분가환 모듈에서의 작도에 대한 대수로 일반화될 수 있는가?
• RQ2 Z- torsion 과 Z-등급 설정에서의 스펙트럴 시퀀스 수렴은 코프ibrant 치환의 구성에 어떤 영향을 미치는가?
• RQ3 cobar 구성에 의해 작도 범주에서 실린더 객체를 명시적으로 정의할 수 있는가?
• RQ4 작도에 대한 대수의 호모토피 사상과 작도의 모델 범주에서의 왼쪽 호모토피 사이에 대응 관계가 존재하는가?
• RQ5 이 프레임워크는 프로퍼타드로 확장될 수 있으며, 사상과 왼쪽 호모토피 사이의 호모토피 동치를 유지하는가?

주요 결과

• cobar 구성 $ R_{\textsf{P}}(\Gamma_{\textsf{P}}(A)) $ 는 기초 dg-모듈이 유한하지 않으며 일반적인 환 위에 있을 경우에도 $ \textsf{P} $-대수 $ A $ 의 코프ibrant 치환을 $ \textsf{P} $-대수의 범주에서 제공한다.
• $ \Gamma_{\textsf{P}}(A) $ 를 $ \textsf{D} $-코프로덕트로 정의하고, 그 cobar 해체 $ R_{\textsf{P}}(\Gamma_{\textsf{P}}(A)) $ 를 얻는 것은, dg-모듈의 구조에 대한 온건한 가정 하에 $ A $ 의 명시적 코프ibrant 모델을 제공한다.
• 작도 범주에서 실린더 객체 $ \text{Cyl} B^c(\textsf{D}) $ 는 $ \textsf{P} $-대수의 호모토피 사상과 작도의 모델 범주에서의 왼쪽 호모토피 사이의 대응을 가능하게 한다.
• $ \textsf{P} $-대수의 호모토피 범주에서의 사상 $ f: (A, \phi^0) \to (A, \phi^1) $ 는 오직 그 사상이 $ B^c(\textsf{D}) $-대수의 범주에서의 왼쪽 호모토피로부터 유도될 때에만 약한 동치이다.
• 프로퍼타드로의 프레임워크 확장은 실린더 객체가 여전히 프로퍼타드 범주에서 호모토피 사상과 왼쪽 호모토피 사이의 동치를 유지함을 보여주며, 프로퍼타드에 대한 대수의 호모토피 범주에서의 동치 관계에 대한 새로운 모델을 제안한다.