[논문 리뷰] Operads, Algebras and Modules in General Model Categories

Markus Spitzweck|ArXiv.org|2001. 01. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 70

한 줄 요약

이 논문은 자유 함수의 비선형성으로 인해 전체 모델 구조가 실패할 수 있는 cofibrantly generated symmetric monoidal model categories에서 operad, algebra, module에 대한 호모토피 이론적 프레임워크를 수립한다. 이를 위해 operad과 algebra에 대한 J-준모델 구조와 module에 대한 완전한 모델 구조를 도입한다. 이는 algebra와 module의 카테고리가 operad과 algebra의 약한 동치에 대해 호모토피적으로 불변임을 증명하고, E∞-algebra의 모듈의 유도된 카테고리에 대칭 모노이드 구조를 구성함으로써 EKMM 및 KM 이론을 일반적인 맥락으로 확장한다. 이는 기저 전환과 투영 공식을 포함한다.

ABSTRACT

In this paper we develop the theory of operads, algebras and modules in cofibrantly generated symmetric monoidal model categories. We give J-semi model strucures, which are a slightly weaker version of model structures, for operads and algebras and model structures for modules. In a second part we develop the thoery of S-modules of [EKMM]., which allows a general homotopy theory for commutative algebras and pseudo unital symmetric monoidal categories of modules over them. Finally we prove a base change and projection formula.

연구 동기 및 목표

• Cofibrantly generated symmetric monoidal model categories에서 operad, algebra, module에 대한 일반적인 호모토피 이론을 개발하는 것.
• 자유 함수의 비선형성으로 인해 전체 모델 구조가 실패할 수 있는 상황에서, J-준모델 구조를 도입하여 보다 약하지만 충분한 대체 구조를 확립하는 것.
• Operad과 algebra의 약한 동치에 대해 algebra와 module의 카테고리가 호모토피적으로 불변임을 증명하는 것.
• SSet 또는 비음수 정수 계수 아벨 복합체의 대칭 모노이드 왼쪽 쿠일러 함수를 통해 일반적인 모델 카테고리로 S-modules와 E∞-algebra의 EKMM 및 KM 이론을 확장하는 것.
• E∞-algebra의 모듈에 대해 기저 전환과 투영 공식의 정확한 형태를 규명하는 것. 이는 기존의 위상수학적 및 대수적 맥락에서의 결과를 일반화한다.

제안 방법

• 자기 반복적 방법과 릿지 조건을 활용하여, 비선형 자유 함수에 적응한 Hovey의 프레임워크를 변형하여 operad과 algebra에 대한 J-준모델 구조를 도입한다.
• C가 SSet 또는 Comp≥0(Ab)에서 대칭 모노이드 왼쪽 쿠일러 함수를 갖는다면, 선형 등장성 operad을 사용하여 일반적인 symmetric monoidal model category C에서 E∞-operad를 구성한다.
• 코프리미티브 E∞-algebra의 모듈 유도된 카테고리에 대해 모듈의 텐서곱과 유도된 함자를 이용하여 대칭 모노이드 구조를 구성한다.
• 기저 전환과 투영 공식을 적용하여 대수 준동형사상에 따른 모듈의 당김과 당김을 연결함으로써 고전적 결과를 일반화한다.
• 유도된 카테고리에서 교환 법칙과 텐서곱에 대해 대칭 모노이드인 자연스러운 함자인 C의 교환 법칙 카테고리에서의 유도된 카테고리로의 함자를 증명한다.
• E∞-algebra의 모듈의 유도된 텐서곱이 코프리미티브 치환과 모듈 구조를 포함하는 특정한 코프리미티브 치환을 통한 쇄도 구조와 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 일반적인 cofibrantly generated symmetric monoidal model categories에서 operad과 algebra에 대한 J-준모델 구조를 구성할 수 있는가?
• RQ2 약한 동치인 operad에 대한 algebra의 카테고리는 유도된 맥락에서 호모토피적으로 불변인가?
• RQ3 E∞-algebra의 모듈 카테고리는 호모토피 카테고리에서 잘 정의된 대칭 모노이드 구조를 갖는가?
• RQ4 SSet 또는 Comp≥0(Ab)에서의 왼쪽 쿠일러 함수를 통해 일반적인 대칭 모노이드 모델 카테고리로 S-modules와 E∞-algebra의 EKMM 및 KM 이론을 일반화할 수 있는가?
• RQ5 이 일반 맥락에서 E∞-algebra의 모듈에 대한 기저 전환과 투영 공식의 정확한 형태는 무엇인가?

주요 결과

• 자유 함수의 비선형성으로 인해 전체 모델 구조가 실패할 수 있는 cofibrantly generated symmetric monoidal model categories에서 operad과 algebra에 대한 J-준모델 구조가 존재한다.
• 약한 동치인 operad에 대한 algebra의 카테고리는 호모토피적으로 불변이며, 이는 operad의 약한 동치가 그 algebra 카테고리 사이의 쿠일러 동치를 유도함을 의미한다.
• 코프리미티브 E∞-algebra의 모듈 유도된 카테고리는 유도된 텐서곱에 의해 자연스럽게 유도된 대칭 모노이드 구조를 갖는다.
• 대칭 모노이드 모델 카테고리 C가 SSet 또는 Comp≥0(Ab)에서 대칭 모노이드 왼쪽 쿠일러 함수를 갖는다면, S-modules의 선형 등장성 operad에서 유도된 E∞-operad는 C로 올라가며, 잘 정의된 E∞-algebra와 그 모듈 이론을 가능하게 한다.
• E∞-algebra의 모듈 유도된 카테고리에서 기저 전환과 투영 공식이 성립하며, 이는 기존의 위상수학적 및 대수적 맥락에서의 결과를 일반화한다.
• E∞-algebra의 모듈의 유도된 텐서곱은 코프리미티브 치환과 모듈 구조를 포함하는 특정한 쇄도 구조와 동형이며, 이는 대칭 모노이드 구조와의 일致성을 보장한다.