[논문 리뷰] Classification of stable model categories

Stefan Schwede, Brooke Shipley|arXiv (Cornell University)|2001. 08. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 46인용 수 8

한 줄 요약

이 논문은 안정 모델 범주를 분류하기 위해, 단일 컴팩트 생성자를 갖는 경우가 링 스펙트럼 위의 모듈러 범주와 퀼렌 동치임을 보이고, 보다 일반적으로 컴팩트 생성자의 집합을 갖는 경우가 스펙트럴 다이어그램 범주(여러 개의 객체를 갖는 링 스펙트럼 위의 모듈러 범주)와 동치임을 보인다. 주요 기여는 안정 호모토피 이론으로 일반화된 모리타 유형 정리로, 가베르의 정리와 리카드의 정리를 스펙트럼과 모델 범주 환경으로 일반화한 것이다.

ABSTRACT

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent `the same homotopy theory'. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a `ring spectrum with several objects', i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.

연구 동기 및 목표

• 안정 모델 범주 환경으로 가베르의 모듈러 범주 정리에 대한 호모토피 이론적 일반화를 개발한다.
• 두 안정 모델 범주가 동일한 호모토피 이론을 나타내는 조건을 퀼렌 동치를 통해 특성화한다.
• 링 스펙트럼과 그 모듈러 범주의 맥락으로 고전적인 링에 대한 모리타 이론을 확장한다.
• 링에 대한 리카드의 유도 동치 정리를 안정 모델 범주 환경으로 일반화한다.
• Eilenberg-Mac Lane 스펙트럼 HR 위의 모듈러 범주와 R-모듈의 무한 차수 복합체 범주 사이의 정확한 퀼렌 동치를 확립한다.

제안 방법

• 안정 모델 범주에서 컴팩트 생성자의 내부환 링 스펙트럼을 정의하여, 원래 모델 범주와 동치인 모듈러 범주의 링 스펙트럼을 구성한다.
• 대칭 스펙트럼을 스펙트럼의 기본 모델로 사용하여 풍부하고 단순한 구조를 확보함으로써, 호모토피적으로 잘 행동하는 구성이 가능하도록 한다.
• 유한 집합과 포함사상의 범주 I를 사용하여, 유한 집합 위의 호모토피 쐐기합을 통해 대칭 스펙트럼에서 대칭 스펙트럼으로의 스펙트럴 함자를 M과 D로 구성한다.
• 스피너와의 스매시 곱을 포함한 호모토피 쐐기합을 통해 탐지 함자 D를 정의하고, 안정 동치를 탐지함을 보인다.
• Γ-스페이스의 연장과 제한을 사용하여 대칭 스펙트럼 X에서 대칭 스펙트럼 EX를 구성하고, 연결성 있는 Ω-스펙트럼에 대해 β²_X가 레벨 동치임을 증명한다.
• 자명한 맵에서 Γ-스페이스에서 그 Eilenberg-Mac Lane Γ-스페이스로의 연장에 의해 자연스러운 맵 γ_X: EX → Hπ₀X를 구성하고, 호모토피 군과의 호환성을 보인다.

실험 결과

연구 질문

• RQ1 안정 모델 범주가 링 스펙트럼 위의 모듈러 범주와 퀼렌 동치가 되는 조건은 무엇인가?
• RQ2 스펙트럴 범주를 사용하여 컴팩트 생성자의 집합을 갖는 안정 모델 범주를 어떻게 분류할 수 있는가?
• RQ3 두 링 스펙트럼 위의 모듈러 범주 사이의 퀼렌 동치를 보장하는 조건은 무엇인가?
• RQ4 리카드의 유도 동치 정리는 안정 모델 범주 환경으로 어떻게 일반화되는가?
• RQ5 HR-모듈러 범주와 R-모듈의 무한 차수 복합체 범주 사이의 정확한 퀄렌 동치는 무엇인가?

주요 결과

• 단일 컴팩트 생성자를 갖는 안정 모델 범주는 그 생성자의 내부환 링 스펙트럼 위의 모듈러 범주와 퀼렌 동치이다.
• 컴팩트 생성자의 집합을 갖는 안정 모델 범주는 스펙트럴 범주(여러 개의 객체를 갖는 링 스펙트럼) 위의 모듈러 범주와 퀼렌 동치이다.
• 모리타 유형 정리가 확립된다: 링 스펙트럼 위의 모듈러 범주 간의 퀄렌 동치는 양면 모듈러를 스매시 곱함으로써 실현된다.
• 모든 링 R에 대해 HR-모듈러 범주는 R-모듈의 무한 차수 복합체 범주와 퀄렌 동치이다.
• 안정적으로 피브르이고 연결성 있는 대칭 스펙트럼에 대해 복합 맵 β_X: EX → MX 는 레벨 동치이며, 핵심적인 호모토피 동치를 확립한다.
• 스펙트럴 함자 D 는 안정 동치를 탐지하며, 안정적으로 피브르 스펙트럼에 대해 맵 β¹_X: DX → MX 는 레벨 동치이다.