[논문 리뷰] A model structure on internal categories in simplicial sets

Geoffroy Horel|arXiv (Cornell University)|2014. 03. 26.

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

한 줄 요약

이 논문은 단순 복합체 집합의 내부 범주에 모델 구조를 수립하며, 완전한 세갈 공간 모델 구조에서 이중 단순 복합체로의 네프 함자에 의해 약한 동치가 보존되고 반영됨을 보여준다. 주요 결과는 이 모델 구조가 ∞-범주에 대한 호모토피 이론을 나타내며, 완전한 세갈 공간 모델 범주와 퀼렌 동치임을 보이며, 내부 프레시브와 단순 복합체 범주에 응용된다.

ABSTRACT

We put a model structure on the category of categories internal to simplicial sets whose weak equivalences are reflected by the nerve functor to bisimplicial sets with Rezk's model structure. This model structure is shown to be Quillen equivalent to Rezk's model structure, thus internal category are another model for $(\infty,1)$-categories.

연구 동기 및 목표

• ∞-범주에 대한 호모토피 이론을 모델링하는 단순 복합체 집합의 내부 범주에 모델 구조를 정의하는 것.
• 내부 범주에서 이중 단순 복합체로의 네프 함자가 완전한 세갈 공간 모델 구조에 대해 약한 동치를 보존하고 반영함을 보이는 것.
• 내부 범주에 대한 내부 프레시브 이론을 확장하여, 퀼렌 동치인 모델 구조를 구성하는 것.
• 단순 복합체 범주에서 내부 범주로의 포함 함자가 관련된 ∞-범주에 대해 동치를 유도함을 보이는 것.

제안 방법

• 완전한 세갈 공간 모델 구조를 가진 이중 단순 복합체 집합의 프로젝티브 모델 구조를 네프 함자를 통해 내부 범주로 이전시키는 것.
• 내부 범주에서의 약한 동치를 이중 단순 복합체로의 네프 함자에 의해 Rezk 동치로 보내지는 사상으로 정의하는 것.
• 핵심 기술적 보조정리에 의한 끼워넣기 성질을 이용하여, 내부 범주 위의 모델 구조 존재성을 증명하는 것.
• 고정된 내부 범주 위의 내부 프레시브에 대한 프로젝티브 모델 구조를 구성하며, 단순 복합체 프레시브의 프로젝티브 모델 구조를 일반화하는 것.
• 내부 범주 간의 약한 동치가 그들의 내부 프레시브 범주 간에 퀼렌 동치를 유도함을 보이는 것.
• 버그너의 상대 범주 및 퀼렌 동치에 대한 프레임워크를 사용하여, 단순 복합체 범주에서 내부 범주로의 네프 함자가 관련된 ∞-범주에 대해 동치를 유도함을 증명하는 것.

실험 결과

연구 질문

• RQ1 단순 복합체 집합의 내부 범주 범주에 ∞-범주의 호모토피 이론을 모델링하는 모델 구조가 존재하는가?
• RQ2 내부 범주 모델 구조에서의 약한 동치는 이중 단순 복합체로의 네프 함자에 의해 정확히 Rezk 동치로 보내지는가?
• RQ3 내부 범주 위의 내부 프레시브에 대한 모델 구조는 단순 복합체 범주 위의 단순 복합체 프레시브의 프로젝티브 모델 구조를 일반화하는가?
• RQ4 내부 범주 간의 약한 동치는 그들의 내부 프레시브 범주 간에 퀼렌 동치를 유도하는가?
• RQ5 단순 복합체 범주에서 내부 범주로의 포함 함자는 ∞-범주 수준에서 퀄렌 동치인가?

주요 결과

• 단순 복합체 집합의 내부 범주 범주는 약한 동치가 이중 단순 복합체로의 네프 함자에 의해 정확히 Rezk 동치로 보내지는 사상인 모델 구조를 갖는다.
• 이 모델 구조는 완전한 세갈 공간 모델 범주와 퀄렌 동치이며, ∞-범주의 호모토피 이론에 대한 타당한 모델임을 입증한다.
• 내부 범주 위의 내부 프레시브에 대한 모델 구조는 구성되었으며, 약한 동치가 내부 프레시브 범주 간에 퀄렌 동치를 유도함으로써 호모토피 불변성을 보여준다.
• 단순 복합체 범주에서 내부 범주로의 네프 함자는 약한 동치를 보존하며, 관련된 ∞-범주에 대해 동치를 유도한다.
• 단순 복합체 범주에서 내부 범주로의 포함 함자는 퀄렌 함수가 아니지만, 상대 범주에 대해 약한 동치를 유도함으로써 두 모델이 ∞-범주 수준에서 동치임을 보여준다.
• 증명은 완전한 세갈 공간의 프로젝티브 모델 구조를 이전시키며, 내부 범주 위의 모델 구조 수립을 위해 핵심 기술적 보조정리의 끼워넣기 성질을 사용한다.