[논문 리뷰] Quillen adjunctions induce adjunctions of quasicategories

Aaron Mazel-Gee|arXiv (Cornell University)|2015. 01. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 38

한 줄 요약

이 논문은 유심한 인접관계가 있는 모델 범주들 사이의 Quillen 인접관계가, 함자적 인수 분해나 완전한 이중완비성 조건 없이도 그들의 기저가 되는 쿼이지카테고리 사이의 정규 인접관계를 유도함을 증명한다. 핵심 통찰은 코프라임 및 프라임 보존 함수를 사용하여 단위 및 쌍대단위 변환을 구성하는 것으로, 이는 심지어 그것들이 함자적이지 않더라도 상대 범주의 호모토피 이론과 비틀어지지 않은 구성(untwisting construction)을 활용함으로써 가능하다.

ABSTRACT

We prove that a Quillen adjunction of model categories (of which we do not require functorial factorizations and of which we only require finite bicompleteness) induces a canonical adjunction of underlying quasicategories.

연구 동기 및 목표

• 모델 범주 사이의 Quillen 인접관계가 무한 범주론에서의 인접관계와 어떻게 관련되어 있는지 오랫동안 남아있던 질문을 해결하기 위해.
• 함자적 인수 분해나 완전한 이중완비성을 가정하지 않고도 Quillen 인접관계가 쿼이지카테고리의 인접관계를 유도함을 확립하기 위해.
• 코프라임 및 프라임 보존 함수의 구조만을 사용하여 유도된 인접관계를 쿼이지카테고리 수준에서 정규적으로 구성하기 위해.
• 내부 호모토피 이론(모델 범주를 통해)과 외부 호모토피 이론(쿼이지카테고리로)을 통합하여, 쿼이지카테고리가 고차 범주적 구조의 자연스러운 프레임워크임을 확인하기 위해.

제안 방법

• 상대 범주와 쿼이지카테고리 사이의 관계를 설정하기 위해 비틀어지지 않은 구성(untwisting construction)을 사용하여 인접관계 데이터의 이행을 가능하게 한다.
• 코프라임 보존 포함과 오른쪽 유도 함수의 복합을 통해 단위 변환을 구성하며, 기저가 되는 쿼이지카테고리 상의 함수들 간의 자연 변환을 사용한다.
• 쌍대적으로 프라임 보존과 왼쪽 유도 함수를 사용하여 쌍대단위 변환을 구성하며, 함자적 프라임 보존이 필요로 하지 않는다.
• 코프라임 객체의 포함이 기저가 되는 쿼이지카테고리에 대해 동치를 유도함을 이용하며, 이는 함자적 보존이 없더라도 성립한다.
• Dwyer–Kan 결과를 적용하여, 해마크 국소화와 이중완비 객체의 전부 하위범주가 Bergner 모델 구조에서 약한 동치임을 보인다.
• Lurie의 결과를 활용하여 단순화된 Quillen 인접관계가 쿼이지카테고리의 인접관계를 유도하며, 이를 보존 기법을 통해 일반 Quillen 인접관계로 확장한다.

실험 결과

연구 질문

• RQ1 함자적 인수 분해를 가정하지 않더라도, 일반적인 모델 범주 사이의 Quillen 인접관계가 쿼이지카테고리의 인접관계를 유도할 수 있는가?
• RQ2 코프라임/프라임 보존 함수가 함자적이지 않을 경우, 쿼이지카테고리 설정에서 유도된 인접관계의 단위 및 쌍대단위를 어떻게 구성할 수 있는가?
• RQ3 Quillen 인접관계는 무한 범주론의 맥락에서 일관된 인접관계와 같은 고차 범주적 자료를 어느 정도로 암시하는가?
• RQ4 모델 범주의 호모토피적 구조만을 사용하여 Quillen 인접관계로부터 쿼이지카테고리의 인접관계를 정규적으로 추출할 수 있는가?
• RQ5 코프라임 보존 함수와 같은 보조 선택 사항에 의존하지 않고도 유도된 인접관계의 구성이 독립적으로 이루어질 수 있는가?

주요 결과

• 함자적 인수 분해가 없더라도, 모델 범주 사이의 Quillen 인접관계는 그 기저가 되는 쿼이지카테고리 사이의 정규 인접관계를 유도한다.
• 단위 변환은 코프라임 객체의 포함과 오른쪽 유도 함수의 복합을 통해 구성되며, 코프라임 객체의 쿼이지카테고리와 전체 쿼이지카테고리 간의 동치를 기반으로 한다.
• 쌍대단위 변환은 프라임 보존과 왼쪽 유도 함수를 사용하여 쌍대적으로 구성되며, 함자적 프라임 보존이 필요로 하지 않는다.
• 구성은 코프라임 또는 프라임 보존 함수의 선택에 영향을 받지 않으며, 오직 호모토피적 구조와 자연 변환에만 의존한다.
• 이전의 단순화된 Quillen 인접관계에 대한 결과를 일반화하며, 보존 정리들을 통해 일반적인 Quillen 인접관계로 확장한다.
• 증명은 기저가 되는 쿼이지카테고리 구성이 인접관계를 유지함을 보이며, 쿼이지카테고리가 모델 범주로부터 고차 범주적 인접관계를 캐릭터라이즈하는 데 적합한 프레임워크임을 확인한다.