[논문 리뷰] Constructing model categories with prescribed fibrant objects

Alexandru E. Stanculescu|arXiv (Cornell University)|2012. 08. 29.

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

한 줄 요약

이 논문은 약한 분해 체계와 두 번 중에서 여섯 가지 성질 조건을 활용하여, 명시적으로 기술된 필브란트 객체를 갖는 코프리비어런트로 생성된 퀼렌 모델 범주를 구성하기 위한 개선된 인식 원칙을 제시한다. 이 기법은 단순한 모델 구조를 가진 단순한 모델 범주를 포함한, 단순한 모델 범주를 포함한 모나드 모델 범주에 대한 왼쪽 보우드필드 국소화에 적용되며, 필브란트 객체는 정확히 국소 객체로 특징지어진다.

ABSTRACT

We present a weak form of a recognition principle for Quillen model categories due to J.H. Smith. We use it to put a model category structure on the category of small categories enriched over a suitable monoidal simplicial model category. The proof uses a part of the model structure on small simplicial categories due to J. Bergner. We give an application of the weak form of Smith's result to left Bousfield localizations of categories of monoids in a suitable monoidal model category.

연구 동기 및 목표

• 필브란트 객체가 명시적으로 특징지어지는 코프리비어런트로 생성된 모델 범주를 구성하기 위한 실용적인 인식 원칙을 개발하는 것.
• 스미스 정리의 조건 c2를 직접 검증하는 데 어려움을 해결하기 위해 개선된 기법을 도입하는 것.
• 전통적인 스미스 정리보다 향상된 바에 따라, 필브란트 객체와 그 사이의 필브레이션에 집중하여 필브레이션의 부분적 기술을 제공하는 것.
• 작은 범주가 단순한 모델 범주를 포함한 단순한 모델 범주에 대해 확장된 모델 구조를 수립하는 데 이 기법을 적용하는 것.
• 모노이드 모델 범주에서의 모노이드 범주에 대한 왼쪽 보우드필드 국소화에 이 방법을 확장하여, 필브란트 모노이드가 국소 조건을 만족하는 것임을 특징짓는 것.

제안 방법

• 스미스의 인식 원칙의 약한 형태를 채택하여, c2를 직접 검증할 필요 없이 약한 분해 체계와 두 번 중에서 여섯 가지 성질을 사용하는 것.
• 나이브 필브란트 객체 사이의 나이브 필브레이션의 집합(inj₀(J))을 사용하여 필브란트 객체와 그 사이의 필브레이션을 기술하는 것.
• 단순한 모델 범주를 포함한 단순한 모델 범주에 대해 확장된 모델 구조를 수립하기 위해, 베르너의 증명을 새로운 프레임워크에 맞게 수정하는 것.
• 국소화된 설정에서 국소 동치와의 호환성을 보장하기 위해 S-확장된 모노이드 공리를 도입하는 것.
• 자유-기억의 수반 관계를 이용하여 베이스 범주에서 모노이드로의 모델 구조를 이전하는 것이며, 약한 동치는 TS-국소 동치로 정의된다.
• 확장된 설정에서의 필브레이션과 순서를 초월한 구성의 닫힘을 보장하기 위해 두 번 중에서 여섯 가지 성질을 통해 인식 원칙의 조건을 검증하는 것.

실험 결과

연구 질문

• RQ1 스미스 정리의 조건 c2를 직접 검증하지 않고도, 명시적으로 기술된 필브란트 객체를 갖는 모델 범주 구조를 어떻게 구성할 수 있는가?
• RQ2 왼쪽 보우드필드 국소화에서 필브란트 객체가 정확히 S-국소 객체가 되도록 보장하는 조건은 무엇인가?
• RQ3 전체 필브레이션이 특징지어지지 않았을 때, 필브란트 객체 사이의 필브레이션을 생성 집합에 대한 올림 성질로 기술할 수 있는가?
• RQ4 모노이드 모델 범주에 대한 왼쪽 보우드필드 국소화가 모노이드의 범주에 모델 구조를 유도하는 조건은 무엇인가?
• RQ5 S-확장된 모노이드 공리는 어떻게 구성되어야 하며, 국소화된 모델 구조에서의 모노이드 구조와의 호환성을 보장할 수 있는가?

주요 결과

• 논문은 조건 c2의 검증을 단순화하기 위해 두 번 중에서 여섯 가지 성질과 개선된 약한 분해 체계에 초점을 맞춘 새로운 인식 원칙을 수립한다.
• 적절한 가정을 만족하는 단순한 모델 범주를 포함한 단순한 모델 범주에 대해, 작은 범주가 확장된 단순한 모델 범주에 대해, 필브란트 객체가 주어진 맵 집합에 대해 국소인 단순한 모델 범주에 대해 조합론적 모델 구조가 존재함을 증명한다.
• 모노이드 모델 범주에서의 모델 구조에서 필브란트 객체는 정확히 TS-국소 모노이드임을 보여주며, 여기서 TS-국소는 기본 객체가 S-국소임을 의미한다.
• 자유-기억 수반 관계와 S-확장된 모노이드 공리를 사용하여 모노이드의 모델 구조를 구성하며, 이에 따라 필브란트 모노이드 사이의 필브레이션은 정확히 나이브 필브레이션이 된다.
• 기존 결과(참고문헌 2.8)의 결함을 수정하고, 확장 및 국소화 설정으로의 모델 구조 이전을 체계적으로 제공하는 방법을 제공한다.
• 약한 코프리비어런스와 호환성 가정이 충족되면, 모노이드 범주에 대한 왼쪽 보우드필드 국소화를 구성할 수 있으며, 이는 모노이드 구조를 유지하고 조합론적임을 보장한다.