[논문 리뷰] Model $\infty$-categories II: Quillen adjunctions

Aaron Mazel-Gee|arXiv (Cornell University)|2015. 10. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 3

한 줄 요약

이 논문은 모델 ∞-범주와 그 국소화 사이에서 핵심적인 범주론적 구조—퀴렌의 수반 함자, 이변수 수반 함자, 단순한 모노이드 및 대칭 모노이드 구조, 그리고 부가된 모델 구조—가 자연스럽게 내림내림됨을 확립한다. 섬세한 호모토피 이론적 기법들(특히 피브레이션과 국소화 유도자에 기반)을 사용하여, 퀴렌 수반 함자가 국소화에서 수반 함자를 유도하고, 모노이드/부가된 구조들이 국소화로 올라가면서 ∞-범주론적 일관성을 유지함을 증명한다.

ABSTRACT

We prove that various structures on model $\infty$-categories descend to corresponding structures on their localizations: (i) Quillen adjunctions; (ii) two-variable Quillen adjunctions; (iii) monoidal and symmetric monoidal model structures; and (iv) enriched model structures.

연구 동기 및 목표

• 모델 ∞-범주 간의 퀴렌 수반 함자가 그 국소화에서 자연스러운 수반 함자를 유도함을 확립하기.
• 이변수 퀴렌 수반 함자가 국소화에서 이변수 수반 함자를 유도함을 보여주기.
• 모노이드 및 대칭 모노이드 모델 ∞-범주가 그 국소화에서 닫힌(해당하여 대칭적인) 모노이드 구조를 유도함을 증명하기.
• 부가된 모델 ∞-범주가 그 국소화에서 국소화된 부가된 범주에 대해 부가된 및 비텐서 구조를 유도함을 보여주기.

제안 방법

• 구조의 내림내림을 분석하기 위해, 섬세한 국소화와 상대적 코카르테시안/카르테시안 피브레이션 기법을 사용한다.
• 지프너-하우젠그-니콜라우스의 방법에 따라 코카르테시안 피브레이션을 릿지 컬리밋으로 간주하여 국소화에서의 일관성을 다룬다.
• 호모토피 이론적 행동을 통제하기 위해 '좋은' 대상(예: 코프라프레임 객체 등)의 부분범주에 의존한다.
• ∞-범주적 맥락에서 쿠르텐의 모델 범주 프레임워크와 유도된 이변수 수반 함자를 활용한다.
• 국소화 유도자의 대칭 모노이드 성질을 활용하여 대수적 구조를 올려주는 데 기반한다.
• 전통적인 모델 범주를 일반화한 상대적 ∞-범주와 모델 ∞-범주 프레임워크를 활용한다.

실험 결과

연구 질문

• RQ1 모델 ∞-범주 간의 퀴렌 수반 함자가 그 국소화에서 수반 함자를 유도하는가?
• RQ2 이변수 퀴렌 수반 함자는 국소화에서 이변수 수반 함수로 올라갈 수 있는가?
• RQ3 모노이드 모델 ∞-범주는 그 국소화에서 닫힌 모노이드 구조를 유도하는가?
• RQ4 부가된 모델 ∞-범주는 국소화된 부가된 범주에 대해 국소화에서 부가된 및 비텐서 구조를 유도하는가?

주요 결과

• 모델 ∞-범주 간의 퀴렌 수반 함자는 그 국소화에서 자연스러운 수반 함자를 유도하며, 퀴렌 동치는 자연스러운 수반 동치를 유도한다.
• 이변수 퀴렌 수반 함자는 각각의 모델 ∞-범주의 국소화에서 자연스러운 이변수 수반 함자를 유도한다.
• 모노이드(해당하여 대칭적인) 모델 ∞-범주의 국소화는 자연스럽게 닫힌(해당하여 대칭적인) 모노이드 ∞-범주이다.
• V-부가된 모델 ∞-범주의 국소화는 자연스럽게 V의 국소화에 대해 부가된 및 비텐서 구조를 갖는다.
• 퀴렌 수반 함자에서 유도된 이변수 수반 함자는 국소화에서 자연스러운 부가화 및 비텐서링을 기반으로 한다.
• 결과는 점-세트 모델이나 국소화에서의 호모토피 공간의 명시적 계산에 의존하지 않고도 불변적으로 성립한다.