[논문 리뷰] Two results from Morita theory of stable model categories

Andreas Heider|ArXiv.org|2007. 07. 04.

Algebraic structures and combinatorial models참고 문헌 27인용 수 16

한 줄 요약

이 논문은 안정된 모델 범주에서 스펙트럼의 대칭 링 스펙트럼의 유도 범주가 두 다른 대칭 링 스펙트럼을 포함하는 재구성(recollement)을 갖는 조건을 기준으로 하여, 대수적 모리타 이론 결과의 두 가지 위상적 유사체를 수립한다. 또한, 위상적 삼각형 범주가 잘 생성되어 있는지 여부는 몇 개의 대상이 있는 대칭 링 스펙트럼의 유도 범주에 대한 국소화와 삼각형 동치인지를 통해 특징지을 수 있음을 증명한다.

ABSTRACT

We prove two results from Morita theory of stable model categories. Both can be regarded as topological versions of recent algebraic theorems. One is on recollements of triangulated categories, which have been studied in the algebraic case by Jørgensen. We give a criterion which answers the following question: When is there a recollement for the derived category of a given symmetric ring spectrum in terms of two other symmetric ring spectra? The other result is on well generated triangulated categories in the sense of Neeman. Porta characterizes the algebraic well generated categories as localizations of derived categories of DG categories. We prove a topological analogon: a topological triangulated category is well generated if and only if it is triangulated equivalent to a localization of the derived category of a symmetric ring spectrum with several objects. Here `topological' means triangulated equivalent to the homotopy category of a spectral model category. Moreover, we show that every well generated spectral model category is Quillen equivalent to a Bousfield localization of a category of modules via a single Quillen functor.

연구 동기 및 목표

• 안정된 모델 범주를 활용하여 대수적 모리타 이론 결과를 위상적 맥락으로 확장하는 것.
• 유도 범주가 두 다른 대칭 링 스펙트럼을 포함하는 재구성(recollement)을 갖는 조건을 규명하는 것.
• 몇 개의 대상이 있는 대칭 링 스펙트럼의 유도 범주의 국소화와 삼각형 동치인 위상적 삼각형 범주가 잘 생성되어 있음을 특징짓는 것.
• 잘 생성된 스펙트럼 모델 범주와 모듈 범주의 보우드필드 국소화 사이의 퀼렌 동치를 수립하는 것.

제안 방법

• 위상적 유도 범주를 모델링하기 위해 안정된 모델 범주 및 스펙트럼 모델 범주의 프레임워크를 사용한다.
• 퀼렌의 모델 범주 이론과 퀄렌 함자를 활용하여 모듈 범주 간의 수반 쌍과 퀄렌 쌍을 구성한다.
• 스칼라의 제한과 확장 함자를 활용하여 서로 다른 링 스펙트럼 위의 모듈 범주 간의 관계를 분석한다.
• Hom-함수와 평가 함자를 사용하여 모듈 범주 내의 피브레이션, 코피브레이션, 약한 동치를 분석한다.
• 코프리프레임 객체와 점별 코프리프레임 조건을 적용하여 함수에 의한 모델 구조의 보존을 보장한다.
• 보우드필드 국소화와 적절한 성질 조건을 활용하여 잘 생성된 범주와 국소화된 모듈 범주 간의 퀄렌 동치를 구성한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 대칭 링 스펙트럼의 유도 범주는 두 다른 대칭 링 스펙트럼을 포함하는 재구성(recollement)을 갖는가?
• RQ2 위상적 삼각형 범주는 몇 개의 대상이 있는 대칭 링 스펙트럼의 유도 범주의 국소화와 삼각형 동치일 조건은 무엇인가?
• RQ3 단일 퀄렌 함수를 통해 잘 생성된 스펙트럼 모델 범주가 보우드필드 국소화된 모듈 범주와 퀄렌 동치가 될 수 있는 방법은 무엇인가?
• RQ4 안정된 모델 범주로부터 유도된 삼각형 범주가 잘 생성되어 있는지를 보장하는 조건은 무엇인가?
• RQ5 코프리프레임 객체의 성질과 합리적인 안정된 모델 범주 위의 강화된 모델 구조가 재구성의 존재성에 미치는 영향은 무엇인가?

주요 결과

• 대칭 링 스펙트럼의 유도 범주가 재구성(recollement)을 갖는 것은 두 다른 대칭 링 스펙트럼이 존재하고, 특정한 수반 및 호모토피 조건을 만족하는 퀄렌 쌍이 존재할 때이고, 그 때에만 성립한다.
• 위상적 삼각형 범주는 몇 개의 대상이 있는 대칭 링 스펙트럼의 유도 범주의 국소화와 삼각형 동치일 때에만 잘 생성되어 있다.
• 모든 잘 생성된 스펙트럼 모델 범주는 단일 퀄렌 함수를 통해 모듈 범주의 보우드필드 국소화와 퀄렌 동치이다.
• 대칭 링 스펙트럼 위의 모듈 범주 간의 Hom-함수가 원천 객체가 코프리프레임이고, 기본 범주에서의 항등원이 코프리프레임일 경우 피브레이션과 여드름 피브레이션을 보존한다.
• 스펙트럼 범주의 객체에서의 평가 함수는 피브레이션, 약한 동치, 극한, 쌍극한을 보존하며, 코프리프레임 조건이 성립할 경우 코피브레이션과 여드름 코피브레이션도 보존한다.
• 재구성의 존재는 모듈 범주 간의 퀄렌 쌍이 존재하고, 그가 호모토피 수준에서 삼각형 재구성(recollement)을 유도할 때에만 성립한다.