[논문 리뷰] Simplicial radditive functors

Vladimir Voevodsky|ArXiv.org|2008. 05. 28.

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

한 줄 요약

이 논문은 단순 복합체 radditive 함자 범주 간의 함자에 대한 호모토피 프레임워크를 개발하며, 연속 함자에 대한 단순 복합체 확장을 국소 동치를 유지하는 조건을 설정한다. 주요 기여는 $\bar{\Delta}$-닫힘 클래스를 사용한 기준으로, 국소화된 호모토플리카테고리 간의 유도 함자들이 $E$-국소 동치를 유지함을 보장하며, 기존의 단순 복합체 집합에 대한 고전 결과를 대수기하학 및 모티빅 호모토플리카테고리와 같은 더 넓은 맥락으로 일반화한다.

ABSTRACT

The simplicial extension of any functor from Sets to Sets which commutes with directed colimits takes weak equivalences to weak equivalences. The goal of the present paper is construct a framework which can be used to proof results of this kind for a wide class of closed model categories and functors between those categories.

연구 동기 및 목표

• 닫힌 모델 범주 간의 함자들이 약한 동치를 유지함을 증명하기 위한 일반적 프레임워크를 구축하는 것, 특히 모티빅 호모토플리카테고리와 같은 맥락에서.
• radditive 함자들이 코프로덕트를 공유하지 않아 표준 호모토플리카테고리 기법인 코프로젝티브 보정 기반의 기법이 붕괴됨을 해결하는 것.
• 단순 복합체 집합에서 코프로덕트를 공유하는 함자들이 약한 동치를 유지한다는 고전 결과를, 예비층 및 추가 함자 범주와 같은 더 복잡한 범주로 일반화하는 것.
• 국소화된 호모토플리카테고리 간의 유도 함자들이 $E$-국소 동치를 유지하는 조건을 정의하고 특성화하는 것.

제안 방법

• $\Delta^{op}C$에서의 $\bar{\Delta}$-닫힘 형태의 사상에 대한 개념을 도입하며, 이는 연속 함자에 대한 단순 복합체 확장에 대해 닫혀 있다.
• 단순 복합체 radditive 함자에 대한 프로젝티브 닫힌 모델 구조를 사용하여, $E$-국소 동치를 통해 국소화된 호모토플리카테고리 $H(C,E)$를 정의한다.
• 국소화된 $\Delta^{op}C^{\#}$에서의 $E$-국소 동치는 $\bar{\Delta}$-닫힘으로 특성화되며, 이는 사상 간의 성질 전이 가능성을 보장한다.
• Smith의 국소화 정리와 Bousfield 국소화를 적용하여, 왼쪽 적절성 조건 없이도 $cl_l(E)$와 모델 구조 간의 관계를 설정한다.
• 함자성 기준을 개발: 모든 $f \in E$에 대해 $F^{rad}(f \amalg \mathrm{id}_X) \in cl_l(E')$ 이면, $F^{rad}$는 $E$-국소 동치를 유지한다.
• 수반 쌍 $(F^{rad}, F_{rad})$를 사용하며, $F$의 전사성 조건 하에서 $F_{rad}$가 $E$-국소 동치를 반영함을 증명한다.

실험 결과

연구 질문

• RQ1 연속 함자 $F: C^\# \to (C')^\#$의 단순 복합체 확장이 $\Delta^{op}C^\#$ 내의 객체들 간의 $E$-국소 동치를 유지하는 조건은 무엇인가?
• RQ2 국소화된 호모토플리카테고리에서 유도 함자 $\mathbf{L}F^{rad}: H(C) \to H(C')$가 $E$-국소 동치를 유지하는 조건은 무엇인가?
• RQ3 $\bar{\Delta}$-닫힘은 $E$-국소 동치의 특성화와 함자성 보장에 있어 어떤 역할을 하는가?
• RQ4 우측 수반 함자 $F_{rad}$가 언제 $E'$-국소 동치를 반영하며, $F$에 대해 어떤 조건이 이를 보장하는가?
• RQ5 국소화된 호모토플리카테고리 간의 수반 $\mathbf{L}F^{rad} \dashv \mathbf{R}F_{rad}$가 Quillen 수반 관계가 될 수 있는가? 그리고 그 데드락은 무엇인가?

주요 결과

• 모든 연속 함자 $F: C^\# \to (C')^\#$의 단순 복합체 확장은 $\Delta^{op}C^\#$ 내의 객체들 간에 프로젝티브 동치를 유지하며, 이는 잘 정의된 유도 함자 $\mathbf{L}F^{rad}: H(C) \to H(C^\prime)$를 이끈다.
• 정리 4.19는 $F^{rad}(E \amalg \mathrm{id}_C) \subset cl_l(E')$ 이면 $\mathbf{L}F^{rad}(cl_l(E)) \subset cl_l(E')$ 임을 보여주며, 이는 $E$-국소 동치의 유지 보장을 보장한다.
• 정리 4.20은 $F$가 유한 코프로덕트를 공유할 경우, $F^{rad}$가 $\Delta^{op}C^\#$ 내의 객체들 간에 $E$-국소 동치를 유지하며, $F_{rad}$가 $\Delta^{op}Rad(C^\prime)$ 내에서 $E'$-국소 동치를 유지함을 보여준다.
• 보조정리 4.21은 $F_{rad}$가 $E'$-국소 객체들을 $E$-국소 객체들로 매핑하며, $F$가 전사일 경우 유도 함자들이 국소화 수반 관계를 형성함을 증명한다.
• 만약 $F$가 동치류에서 전사이면, $\mathbf{R}F_{rad}$는 동치를 반영하므로 $cl_l(E') = F_{rad}^{-1}(cl_l(E))$ 가 되며, 이는 국소 동치의 완전한 특성화를 확립한다.
• 이 프레임워크는 모티빅 맥락에 적용 가능하며, 대수기하학에서 대칭 거듭제곱 함자 및 기타 구성들이 $\mathbf{A}^1$-동치를 유지함을 일반화한다.