[논문 리뷰] Homotopy weighted colimits

Lukáš Vokřínek|arXiv (Cornell University)|2012. 01. 13.

Drug Transport and Resistance Mechanisms참고 문헌 10인용 수 5

한 줄 요약

이 논문은 강화된 모델 범주에서 호모토피 가중 쌍대원소를 도입하고 특성화하며, 다이어그램이 점별로 코프ibrant이고 가중치가 프로젝티브 모델 구조에서 코프ibrant일 경우 이들이 호모토피 텐서와 일반 호모토피 쌍대원소로 분해됨을 보여준다. 핵심 기여는 고전적 코엔드 공식 $W \star C D \simeq \int^C (W \otimes D)$를 호모토피 이론적 맥락으로 일반화한 것으로, 응용을 통해 단순 체인 복합체의 강화는 추가적인 표현 능력을 부여하지 않지만, dg-범주에서는 부여한다는 것을 보여준다.

ABSTRACT

Let V be a cofibrantly generated closed symmetric monoidal model category and M a model V-category. We say that a weighted colimit W*D of a diagram D weighted by W is a homotopy weighted colimit if the diagram D is pointwise cofibrant and the weight W is cofibrant in the projective model structure on [C^op,V]. We then proceed to describe such homotopy weighted colimits through homotopy tensors and ordinary (conical) homotopy colimits. This is a homotopy version of the well known isomorphism W*D=\int^C(W ensor D). After proving this homotopy decomposition in general we study in some detail a few special cases. For simplicial sets tensors may be replaced up to weak equivalence by conical homotopy colimits and thus the weighted homotopy colimits have no added value. The situation is completely different for model dg-categories where the desuspension cannot be constructed from conical homotopy colimits. In the last section we characterize those V-functors inducing a Quillen equivalence on the enriched presheaf categories.

연구 동기 및 목표

• 강화된 모델 범주에서 호모토피 가중 쌍대원소를 정의하고 특성화하기.
• 고전적 코엔드 공식 $W \star C D \cong \int^C (W \otimes D)$를 호모토피 이론적 맥락으로 일반화하기.
• 다양한 강화 방식, 예를 들어 단순 체인 복합체, 단순 아벨 군, 범주 등에서 일반 호모토피 쌍대원소와 비교할 때 호모토피 가중 쌍대원소의 표현 능력을 비교하기.

제안 방법

• 다이어그램이 점별로 코프ibrant이고 가중치가 $[C^{op}, V]$ 위의 프로젝티브 모델 구조에서 코프ibrant인 가중 쌍대원소로 호모토피 가중 쌍대원소를 정의한다.
• 임의의 모나이드 모델 범주 $V$로 일반화된 Bousfield-Kan 공식을 사용하여 호모토피 텐서와 일반 호모토피 쌍대원소를 통해 호모토피 가중 쌍대원소를 표현한다.
• 코심플렉스 대상에 대한 Reedy 모델 구조를 적용하여, 쌍대원소의 뉴런트를 기반으로 한 가중 쌍대원소로서의 호모토피 쌍대원소를 정의한다.
• 입방형 다이어그램과 쌍대곱의 모서리 사상들을 사용하여 강화된 맥락에서 코프ibr란시와 호모토피 쌍대곱의 성질을 분석한다.
• Quillen의 정리(Quillen 동치를 유도하는 함자에 대한 정리)를 적용하여, 호모토피 절대 가중 쌍대원소를 보존하는 함자가 강화된 프리쉐이브 범주에서 Quillen 동치를 유도함을 특성화한다.
• 완전한 부분범주가 단순체의 텐서와의 텐서 곱에 대해 닫혀 있다면, 이 부분범주는 삼각형 호모토피 조밀성과 단순 호모토피 조밀성이 동시에 성립함을 보인다.

실험 결과

연구 질문

• RQ1 모델 $V$-범주에서 가중 쌍대원소가 호모토피 불변 성질을 가지는, 즉 호모토피 가중 쌍대원소가 되는 조건은 무엇인가?
• RQ2 호모토피 가중 쌍대원소는 호모토피 텐서와 일반 호모토피 쌍대원소로 어떻게 표현할 수 있는가?
• RQ3 단순 체인 복합체에서의 호모토피 가중 쌍대원소는 일반 호모토피 쌍대원소에 비해 어떤 표현 능력을 더하는가?
• RQ4 dg-범주에서의 호모토피 가중 쌍대원소는 일반 호모토피 쌍대원소만으로 구성될 수 있는가?
• RQ5 어떤 $V$-함자 $F: D \to C$ 가 강화된 프리쉐이브 범주에서 Quillen 동치를 유도하는가?

주요 결과

• 호모토피 가중 쌍대원소는 다이어그램이 점별로 코프ibrant이고 가중치가 프로젝티브 모델 구조에서 코프ibrant인 가중 쌍대원소로 특성화된다.
• 호모토피 가중 쌍대원소 $W \star C D$ 는 범주 $C$ 에서의 텐서 곱 $W \otimes D$ 의 호모토피 쌍대원소와 약한 동치임을 보이며, 고전적 코엔드 공식을 호모토피 맥락으로 일반화한다.
• 단순 체인 복합체 모델 범주에서는 호모토피 가중 쌍대원소가 일반 호모토피 쌍대원소의 표현 능력을 확장하지 않으며, 표준 단순체와의 텐서 곱이 약한 동치에 대해 자명하기 때문이다.
• 모델 dg-범주에서는 디스서스펜션 함자(즉, $\mathbb{Z}[-1]$ 과의 텐서 곱)가 일반 호모토피 쌍대원소로 표현될 수 없으며, 이는 호모토피 가중 쌍대원소가 새로운 표현 능력을 부여한다는 것을 보여준다.
• $V$-함자 $F: D \to C$ 가 프리쉐이브 범주에서 Quillen 동치를 유도하기 위한 필요충분조건은 호모토피 절대 가중 쌍대원소를 보존하는 것으로, $V = \mathrm{sSet}, \mathrm{sAb}, \mathrm{Cat}$ 에서 완전한 특성화가 제시된다.
• 만약 단순 모델 범주 $M_{\mathrm{cof}}$ 의 완전한 부분범주 $C \subseteq M_{\mathrm{cof}}$ 가 단순체와의 텐서 곱에 대해 닫혀 있다면, $C$ 는 삼각형 호모토피 조밀성이 성립함과 동시에 단순 호모토피 조밀성도 성립한다.