[논문 리뷰] Enriched model categories and an application to additive endomorphism spectra

Daniel Dugger, Brooke Shipley|ArXiv.org|2006. 02. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 20

한 줄 요약

이 논문은 가군의 합성에 대해 이원적이고, 호모토피 이론과의 호환성을 갖는 안정적이고, 조합적이고, 가군적인 모델 범주에 대한 개념을 도입하고, 단순 가환군의 대칭 스펙트럼($Sp^\Sigma(s\mathcal{A}b)$) 위에서의 표준적인 확장(enrichment)을 수립한다. 이 논문은 임의의 대상 $X$에 대해, 추가로 Quillen 동치인 함자에 대해 불변인 호모토피 내부 스펙트럼 $ \operatorname{hEnd}_{ad}(X)$를 구성하며, 추가적인 모델 범주 간의 Quillen 동치에서 이러한 확장이 유지됨을 증명한다.

ABSTRACT

We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in such a model category has a naturally associated endomorphism ring inside this spectra category. We establish the basic properties of this enrichment. We also develop some enriched model category theory. In particular, we have a notion of an adjoint pair of functors being a 'module' over another such pair. Such things are called "adjoint modules". We develop the general theory of these, and use them to prove a result about transporting enrichments over one symmetric monoidal model category to a Quillen equivalent one.

연구 동기 및 목표

• 가군의 집합이 가환군이고, 합성 연산이 이원적일 뿐 아니라, 고차 호모토피와의 호환성을 갖는 모델 범주 이론을 정의하고 발전시키는 것.
• 안정적이고, 조합적이며, 가군적인 모델 범주에 대해 $Sp^\Sigma(s\mathcal{A}b)$, 즉 단순 가환군의 대칭 스펙트럼의 범주 위에서의 표준적인 모델 확장을 수립하는 것.
• 이러한 모델 범주 내의 임의의 대상 $X$에 대해, 추가적인 호모토피 내부 스펙트럼 $ \operatorname{hEnd}_{ad}(X)$를 정의하고 연구하는 것.
• 호모토피 유형이 추가로 Quillen 동치인 함자에 대해 불변임을 증명하는 것.
• 대칭 모노이드 모델 범주 위에서의 수반 모듈의 이론을 발전시켜, Quillen 동치를 통해 확장을 이전하는 데에 기여하는 것.

제안 방법

• 가군의 집합이 가환군이고, 합성 연산이 이원적이며, 모델 구조와의 호환성을 갖는 안정적이고, 조합적인 모델 범주를 추가 모델 범주로 정의한다.
• 모든 안정적이고, 가군적이며, 조합적인 모델 범주 $\mathcal{M}$에 대해, 강화된 모델 범주 이론의 프레임워크를 사용하여 $\sigma_{\mathcal{M}} \in ME_0({\mathcal{M}}, Sp^\Sigma(s\mathcal{A}b))$ 라는 표준적인 모델 확장을 구성한다.
• $\hat{X}$를 $X$의 코프리피언트-프리피언트 대체물로 삼고, $\sigma_{\mathcal{M}}(\hat{X},\hat{X})$ 에서 유도된 $Sp^\Sigma(s\mathcal{A}b)$ 내의 링 대상으로서 $\operatorname{hEnd}_{ad}(X)$ 를 정의한다.
• 수반 모듈 이론을 활용하여 $Sp^\Sigma(s\mathcal{A}b)$ 위의 확장과 체인 복합체 위의 확장을 비교함으로써, Quillen 동치를 통해 확장이 이전될 수 있음을 보인다.
• Quillen 동치 기법을 적용하여, 추가로 Quillen 동치인 함자에 대해 $L_*(\sigma_{\mathcal{M}}) = \sigma_{\mathcal{N}}$ 와 $L^*(\sigma_{\mathcal{N}}) = \sigma_{\mathcal{M}}$ 를 증명한다.
• 모노이드 Quillen 쌍과 모듈 범주의 결과를 활용하여, 추가적인 모델 범주 간의 Quillen 동치에서 확장이 유지됨을 증명한다.

실험 결과

연구 질문

• RQ1 추가 모델 범주를 정의하는 데 필요한 조건은 무엇이며, 이는 체인 복합체나 미분 가환대수의 표준 예와 어떻게 관련되어 있는가?
• RQ2 안정적이고, 조합적이며, 추가적인 모델 범주에 대해 $Sp^\Sigma(s\mathcal{A}b)$ 위에서 표준적인 확장을 어떻게 수립할 수 있는가?
• RQ3 추가적인 내부 스펙트럼 $ \operatorname{hEnd}_{ad}(X)$ 는 호모토피 이론적으로 어떤 의미를 가지며, Quillen 동치에서 어떻게 행동하는가?
• RQ4 Sp^\Sigma(s\mathcal{A}b) 위의 확장은 Quillen 동치를 통해 이전될 수 있으며, 이는 체인 복합체 위의 확장과 어떻게 관련되어 있는가?
• RQ5 수반 모듈은 Quillen 동치인 모델 범주 간의 확장을 비교하는 데 어떤 역할을 하는가?

주요 결과

• 모든 안정적이고, 가군적이며, 조합적인 모델 범주 $\mathcal{M}$ 는 $Sp^\Sigma(s\mathcal{A}b)$ 위에서 표준적인 모델 확장 $\sigma_{\mathcal{M}}$ 를 갖는다.
• 표준적으로 구성된 추가 호모토피 내부 스펙트럼 $ \operatorname{hEnd}_{ad}(X)$ 는 $Sp^\Sigma(s\mathcal{A}b)$ 내의 링 대상의 호모토피 범주에서의 동형에 대해 잘 정의되어 있다.
• 추가로 Quillen 동치인 함자에 대해 $ \operatorname{hEnd}_{ad}(X)$ 의 호모토피 유형은 불변이며, 추가적인 모델 범주 간의 Quillen 동치의 징검다리(자이그재그)를 통과할 때도 유지된다.
• $\sigma_{\mathcal{M}}$ 의 확장은 추가적인 모델 범주 간의 Quillen 동치에서 유지되며, $L_*(\sigma_{\mathcal{M}}) = \sigma_{\mathcal{N}}$ 와 $L^*(\sigma_{\mathcal{N}}) = \sigma_{\mathcal{M}}$ 를 만족한다.
• 수반 모듈 이론을 통해 $Sp^\Sigma(s\mathcal{A}b)$ 위의 확장을 체인 복합체 $Ch$ 위의 확장으로 이전할 수 있으며, 이 두 확장은 Quillen 동치임을 보여준다.
• 이 구성은 추가로 Quillen 동치인 범주와 비추가로 Quillen 동치인 범주를 구별하는 데 핵심적인 도구를 제공하며, [DS2] 에서 이를 실증하였다.