[논문 리뷰] Cofibrations in Homotopy Theory

Andrei Rădulescu-Banu|arXiv (Cornell University)|2006. 09. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 52

한 줄 요약

이 논문은 호모토피 이론을 위한 최소한의 공리적 프레임워크로 Anderson-Brown-Cisinski (ABC) 코호몰로지 범주를 도입하며, 호모토피 코일림을 구성하기 위해 코호몰로지와 약한 동치에 중점을 두고 있다. 모든 ABC 코호몰로지 범주는 강한 왼쪽 헬러 유도 가능함을 증명하여 퀄렌 모델 범주를 일반화하고, 유도 함자와 유도자에 대한 자연스러운 설정을 제공한다.

ABSTRACT

We define Anderson-Brown-Cisinski (ABC) cofibration categories, and construct homotopy colimits of diagrams of objects in ABC cofibration categories. Homotopy colimits for Quillen model categories are obtained as a particular case. We attach to each ABC cofibration category a left Heller derivator. A dual theory is developed for homotopy limits in ABC fibration categories and for right Heller derivators. These constructions provide a natural framework for 'doing homotopy theory' in ABC (co)fibration categories.

연구 동기 및 목표

• 코호몰로지와 약한 동치에 기반한 호모토피 이론을 위한 최소한의 공리적 체계를 형식화하여, 섬유화에 의존하지 않는 것.
• 섬유화를 요구하지 않고 코호몰로지와 약한 동치만을 사용하여 ABC 코호몰로지 범주에서 호모토피 코일림을 구성하는 것.
• ABC 코호몰로지 범주와 유도자, 특히 왼쪽 헬러 유도자 간의 관계를 설정하는 것.
• 섬유화 범주와 오른쪽 헬러 유도자의 프레임워크를 이중화하는 것.
• 퀄렌 모델 범주가 ABC 코호몰로지 범주의 특수한 경우임을 보여주고, 더 강력한 유도 가능성 성질을 갖는 것으로 일반화하는 것.

제안 방법

• 코호몰로지와 약한 동치에 중점을 두어, 축약된 공리 CF1–CF6를 통해 ABC 코호몰로지 범주를 정의한다.
• 호모토피 범주에서 코일림 함자의 왼쪽 유도 함자를 통해 호모토피 코일림을 구성한다.
• 약한 동치를 모델링하고 함자를 도출하기 위해 호모토피 분수의 계산을 사용한다.
• 요소화 및 확장 보조정리를 사용하여 유도자 공리(Der1–Der5)를 검증함으로써 유도 가능성 증명을 수행한다.
• 그로텐디크 구성과 칸 확장을 적용하여 다이어그램과 유도자 간의 관계를 연결한다.
• 이중성은 섬유화 범주와 오른쪽 헬러 유도자를 정의하는 데 사용되며, 코호몰로지의 경우를 반영한다.

실험 결과

연구 질문

• RQ1 코호몰로지와 약한 동치만을 갖는 범주에서 섬유화가 필요 없이 호모토피 코일림을 구성할 수 있는가?
• RQ2 호모토피 코일림과 유도 함자를 보장하기 위해 필요한 최소한의 공리는 무엇인가?
• RQ3 ABC 코호몰로지 범주는 퀄렌 모델 범주와 월드하우젠 범주와 어떻게 관련이 있는가?
• RQ4 ABC 코호몰로지 범주의 강한 왼쪽 헬러 유도 가능성은 CF6보다 더 약한 공리들로부터 유도되는가?
• RQ5 이론을 섬유화 범주와 오른쪽 유도자를 통해 호모토피 극한을 포함하도록 확장할 수 있는가?

주요 결과

• 모든 ABC 코호몰로지 범주는 강한 왼쪽 헬러 유도 가능하다. 즉, 그 전유도자가 왼쪽 헬러 유도자의 모든 공리를 만족한다.
• ABC 코호몰로지 범주에서의 호모토피 코일림은 코일림 함자의 총 왼쪽 유도 함수로 구성된다.
• 퀄렌 모델 범주는 ABC 코호몰로지 범주의 특수한 경우임을 보여주었고, 따라서 강한 헬러 유도 가능성도 갖는다.
• 섬유화 범주의 이중 이론은 강한 오른쪽 헬러 유도 가능성으로 이어져, 이론을 호모토피 극한으로 확장한다.
• CF1–CF5만으로도 강한 왼쪽 헬러 유도 가능성에 충분할 수 있다는 추측을 제기하였으며, 이는 CF6가 불필요할 수 있음을 시사한다.
• ABC 코호몰로지 범주에서의 추상적 퀄렌 수반 성질은 유도자 프레임워크의 결과로 도출된다.