[논문 리뷰] Homotopy limits and colimits and enriched homotopy theory

Michael Shulman|arXiv (Cornell University)|2006. 10. 05.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 56

한 줄 요약

이 논문은 고차원 호모토피 이론에서 고전적인 명시적 구성(예: 바 구성)과 추상적인 유도 함수자 프레임워크 간의 동치성을 확립한다. 특히, 고차원 모델 범주를 일반화한 고차원 호모토피 범주를 도입하여, 고전적 구성이 고차원 설정에서도 올바른 유도 함수자를 산출함을 증명함으로써, 고전적 및 현대적 호모토피 이론을 통합한다.

ABSTRACT

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal in this paper is expository: we explain both approaches and a proof of their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, showing that the classical explicit constructions still give the right answer in the abstract sense. This result partially bridges the gap between classical homotopy theory and modern abstract homotopy theory. To do this we introduce a notion of "enriched homotopical categories", which are more general than enriched model categories, but are still a good place to do enriched homotopy theory. This demonstrates that the presence of enrichment often simplifies rather than complicates matters, and goes some way toward achieving a better understanding of "the role of homotopy in homotopy theory."

연구 동기 및 목표

• 호모토피 이론에서 고전적인 명시적 구성(예: 바 구성)과 추상적인 유도 함수자 접근 간의 통합을 도모하기 위해.
• 이러한 두 접근 간의 동치성을 고차원 범주와 가중 호모토피 쌍대극한으로 일반화하기 위해.
• 고차원 호모토피 범주 이론을 도입하고 발전시켜, 고차원 모델 범주보다 더 넓은 프레임워크를 제공함으로써 고차원 호모토피 이론의 기초를 다지기 위해.
• 고차원화가 호모토피 이론을 단순화함을 보여주며, 호모토피 이론 내에서 호모토피의 역할을 더 깊이 이해하는 데 기여하기 위해.
• 고전적 및 현대적 호모토피 이론적 프레임워크에서 호모토피 극한과 쌍대극한을 통합적으로 다룰 수 있는 기초를 제공하기 위해.

제안 방법

• 단순형 또는 위상적 범주에서 호모토피 쌍대극한을 계산하기 위해 고전적인 명시적 방법으로 바 구성법을 사용한다.
• 변형 이론과 국소화를 통한 유도 함수자 프레임워크를 적용하여, 보편 성질을 통한 전역적 정의를 통해 호모토피 극한을 정의한다.
• 고차원 모델 범주를 일반화한 고차원 호모토피 범주를 도입하여, 피브레이션 또는 코피브레이션 조건이 필요 없더라도 유도 함수자를 정의할 수 있도록 한다.
• 고차원 양면 바 구성이 유도 함수자의 보편 성질을 만족함을 보여, 고차원 두쪽 바 구성이 올바른 호모토피 쌍대극한을 산출함을 증명한다.
• 리디 모델 구조와 리디 코피브레이션 조건을 활용하여, 고차원 설정에서 바 구성의 호모토피 잘 짜여진 성질을 검증한다.
• 함수의 텐서곱과 칸 확장법을 사용하여 바 구성과 쌍대극한 함수자의 유도 함수자 간의 관계를 설정함으로써, 핵심 동치성을 증명한다.

실험 결과

연구 질문

• RQ1 고전적인 명시적 구성(예: 바 구성)이 고차원 범주에서 유도 함수자와 같은 대상을 산출하는가?
• RQ2 완전한 모델 범주 구조가 요구되지 않는 고차원 설정으로도 유도 함수자 정의를 확장할 수 있는가?
• RQ3 고차원 범주에서 어떤 구조적 조건이 고전적인 바 구성이 올바른 호모토피 쌍대극한을 산출하도록 보장하는가?
• RQ4 고차원화가 호모토피 이론의 복잡성에 어떤 영향을 미치는가—단순화되는가, 복잡해지는가?
• RQ5 리디 코피브레이션 조건은 고차원 설정에서 바 구성 기반 호모토피 쌍대극한의 정확성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 고차원 범주에서 고전적인 바 구성은 쌍대극한 함수자의 유도 함수자와 같은 대상을 산출한다.
• 고차원 양면 바 구성은 쌍대극한 함수자의 유도 함수자의 보편 성질을 만족하며, 두 접근 간의 동치성을 확립한다.
• 바 구성법을 통해 생성된 다이어그램 $\mathscr{Q}F$ 는 $\mathscr{M}^{\Delta\mathscr{D}}$ 내에서 리디 코피브레이션이며, 이는 호모토피 쌍대극한이 잘 정의됨을 보장한다.
• 두 리디 코피브레이션 다이어그램의 텐서곱은 리디 코피브레이션이다. 이는 $\mathscr{Q}F$ 의 코피브레이션 성질을 증명하는 데 핵심적인 기술적 결과이다.
• 프레임 또는 해소를 사용하여 단순형 모델 범주에서 임의의 모델 범주로 증명을 일반화함으로써, 광범위한 적용 가능성을 입증한다.
• 고차원 호모토피 범주는 고차원 모델 범주보다 더 넓은 프레임워크를 제공하면서도 여전히 유도 함수자와 호모토피 극한을 지원하는 적절한 기초를 제공한다.