[논문 리뷰] Morita theory in enriched context

Kruna Ratković|arXiv (Cornell University)|2013. 02. 12.

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

한 줄 요약

이 논문은 풍부한 범주론과 모델 범주론의 맥락에서 고전적 모리타 이론의 호모토피적 일반화를 수립한다. 코프리프레임트로 생성된 모나드의 텐서성 강도와 강한 모나드를 활용하여, 코프리미티브 단위, 강도 사상의 약한 동치, 호모토피적 세포 첨가의 보존성 등의 적절한 조건 하에서, 강한 모나드에 대한 대수의 호모토피 범주는 기저 범주의 모노이드 위의 모듈러의 호모토피 범주와 퀼렌 동치임을 증명한다. 이는 슈베데의 Γ-환에 관한 정리가 특수한 경우로 복원됨을 의미한다.

ABSTRACT

We develop a homotopy theoretical version of classical Morita theory using the notion of a strong monad. It was Anders Kock who proved that a monad T in a monoidal category E is strong if and only if T is enriched in E. We prove that this correspondence between strength and enrichment follows from a 2-isomorphism of 2-categories. Under certain conditions on T, we prove that the category of T-algebras is Quillen equivalent to the category of modules over the endomorphism monoid of the T-algebra T(I) freely generated by the unit I of E. In the special case where E is the category of Gamma-spaces equipped with Bousfield-Friedlander's stable model structure and T is the strong monad associated to a well-pointed Gamma-theory, we recover a theorem of Stefan Schwede, as an instance of a general homotopical Morita theorem.

연구 동기 및 목표

• 풍부한 범주론의 맥락에서 고전적 모리타 이론의 호모토피적 일반화를 수립하고 증명하는 것.
• 강한 모나드에 대한 대수의 호모토피 범주가 기저 범주의 모노이드 위의 모듈러의 호모토피 범주와 퀼렌 동치가 되는 데 필요한 충분한 조건을 규명하는 것.
• 슈베데의 Γ-환에 관한 정리를 이 일반 호모토피적 모리타 동치의 특수한 경우로 복원하는 것.
• 강한 함자, 풍부한 함자, 그리고 텐서성 강도 사이의 관계를 강한 함자와 풍부한 함자의 범주 간 2-카테고리적 동형을 통해 명확히 하는 것.

제안 방법

• 텐서된 E-범주에서 강한 함자와 강한 자연변환의 2-카테고리와 풍부한 함자와 풍부한 자연변환의 2-카테고리 간의 2-동형을 수립한다.
• 텐서성 강도와 풍부함의 대응을 이용하여, 강한 모나드에 대한 대수가 자연스럽게 E-풍부함, 텐서링, 코텐서링의 구조를 유도함을 보인다.
• T-대수와 T(I)의 내부 자기 사상 모노이드 위의 모듈러 사이를 연결하는 모나드 사상 λ: −⊗T(I) → T 를 도입하며, 이는 자연스러운 수반 관계를 형성한다.
• 전이된 모델 구조, 단위 사상의 코프리미티브성, 강도 사상의 약한 동치성, 호모토피적 세포 확장 보존성이라는 네 가지 핵심 가정 하에서, 이 모나드 사상이 퀼렌 동치를 유도함을 증명한다.
• Bousfield-Friedlander의 안정 모델 구조를 갖는 Γ-스페이스의 경우, 잘 점착된 Γ-이론이 조건을 만족함을 검증한다.
• 결과를 적용하여, FSP A^S 위의 모듈러와 강한 모나드 A∘− 위의 대수 사이의 퀼렌 동치를 보여주며, Lydakis의 임bedding을 통해 스펙트럼 이론으로의 확장을 가능하게 한다.

실험 결과

연구 질문

• RQ1 모노이드 모델 범주에서 강한 모나드에 대한 대수의 호모토피 범주가 어떤 조건에서 모노이드 위의 모듈러의 호모토피 범주와 퀼렌 동치가 되는가?
• RQ2 텐서성 강도의 개념은 대칭 모노이드 범주에서의 풍부함과 어떻게 관련되어 있으며, 이를 2-카테고리적 프레임워크로 형식화할 수 있는가?
• RQ3 슈베데의 Γ-환과 연결 스펙트럼에 관한 정리는 일반 호모토피적 모리타 정리의 특수한 경우로 유도될 수 있는가?
• RQ4 자유 세포 첨가가 T-대수에서 기저 범주에서의 호모토피적 세포 첨가와 어떻게 대응되는가?
• RQ5 강한 모나드가 Γ-스페이스 범주에서 컴팩트 지지성을 갖는 경우, 이를 고려함으로써 스펙트럼을 모두 모델링할 수 있는 호모토피적 모리타 정리를 확장할 수 있는가?

주요 결과

• 텐서된 E-범주에서의 강한 함자와 풍부한 함자의 2-카테고리는 2-동형이며, 이는 강한 함자와 풍부한 함자의 모나드 간의 자연스러운 동치를 확립한다.
• 기본 대상 I 위의 자유 T-대수의 내부 자기 사상 모노이드는 호모토피 범주에서 T(I) ≅ Hom_T(T(I), T(I)) 를 통해 자연스럽게 모노이드의 구조를 갖는다.
• 가정된 조건 하에서 모나드 사상 λ: −⊗T(I) → T 는 T(I)-모듈러의 범주와 T-대수의 범주 사이의 퀼렌 동치를 유도한다.
• 안정 모델 구조를 갖는 Γ-스페이스의 경우, 이 정리는 슈베데의 결과를 복원한다: Ho(Mod_{A^S}) ≃ Ho(Alg_{A∘}) 를 잘 점착된 Γ-이론 A에 대해 만족한다.
• 기저 범주가 점착된 상태이고 양호한 심플리셜 실현을 갖는 경우, 가정 (d)인 호모토피적 세포 첨가에 대한 조건은 실현 및 절단 성질의 관점에서 재구성된다.
• Lydakis의 임베딩을 통해 FSPs (스마시 곱을 갖는 함자)로의 확장이 가능하며, 이는 컴팩트 지지성을 갖는 강한 모나드 위의 대수와 Bökstedt의 FSPs 위의 모듈러 사이의 퀼렌 동치를 구축할 수 있도록 한다.