[논문 리뷰] Cofibrance and Completion

Andrei Rădulescu-Banu|ArXiv.org|2006. 12. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 8

한 줄 요약

이 논문은 모델 범주에서 삼중체에 대한 Bousfield-Kan 완비화 함자를 구성하며, 소형 객체 방법에서 유도된 코프레젠테이션 함자의 대각선 구조를 활용한다. 지정된 모델 범주에서 완비화의 상대 호모토피 군을 계산하기 위한 Bousfield-Kan 스펙트럴 시리즈를 수립하며, 이는 Dwyer, Kan, Hirschhorn의 호모토피 극한-함수 복합체 교환 성질에 기반한다.

ABSTRACT

For a cofibrantly generated Quillen model category, we show that the cofibrant replacement functor constructed using the small object argument admits a cotriple structure. If all acyclic cofibrations are monomorphisms, the fibrant replacement functor constructed using the small object argument admits a triple structure. For a triple in the base category, the associated cosimplicial resolution is not necessarily homotopy invariant. However using a mix of the triple with the cofibrant replacement cotriple we construct a 'homotopically correct' version of the cosimplicial resolution of the triple. This allows us to construct a Bousfield-Kan completion functor with respect to a triple, and for pointed cofibrantly-generated model categories a Bousfield-Kan spectral sequence that computes the relative homotopy groups of the Bousfield-Kan completion of an object. This is the text of my PhD thesis, worked under the supervision of Prof. Haynes Miller, submitted on Feb. 1999 at MIT.

연구 동기 및 목표

• 삼중체에 대한 Bousfield-Kan 완비화를 단순 복합체에서 임의의 모델 범주로 일반화한다.
• 기존의 단순 복합체 접근 방식이 Reedy 피브라시의 결여로 실패하는 경우에도 호모토피 이론적으로 잘 행동하는 완비화 함자를 모델 범주에서 확립한다.
• 지정된 모델 범주에서 완비화의 상대 호모토피 군을 계산하기 위한 Bousfield-Kan 스펙트럴 시리즈를 구성한다.
• 소형 객체 방법에서 유도된 코프레젠테이션 함자가 대각선을 지닌다는 것을 보여, 완비화의 구성이 가능하게 한다.
• 약간의 조건(예: 약한 동치가 단사적일 경우) 하에서 피브라시의 재구성함수를 코대각선을 지닌 것으로 수정함으로써 효율성과 구조적 우아함을 향상시킨다.

제안 방법

• 소형 객체 방법을 사용하여 대각선을 지닌 코프레젠테이션 함자를 구성함으로써, 코심플렉스적 구조와의 호환성을 확보한다.
• 삼중체 (R, ν, M) 와 관련된 표준 Bousfield-Kan 코심플렉스 해상법을 적용하여 모델 범주 내의 코심플렉스 대상을 형성한다.
• Dwyer, Kan, Hirschhorn의 결과를 활용하여 호모토피 극한이 함수 복합체와 교환됨을 이용해, 일반적인 모델 범주 문장들을 단순 복합체 문장들로 환원한다.
• 코심플렉스 대상의 총합(호모토피 극한)으로서 완비화를 정의함으로써, 올바른 호모토피 이론적 완비화를 계산함을 보장한다.
• 총합의 필터링을 분석하여, 완비화의 상대 호모토피 군으로 수렴하는 스펙트럴 시리즈를 구성한다.
• 면 맵에 의해 유도된 코심플렉스 맵 $ u_k^{l*} $ 가 상호간에 호모토피적임을 증명함으로써, 스펙트럴 시리즈 구성이 가능하게 한다.

실험 결과

연구 질문

• RQ1 Bousfield-Kan 완비화 구성은 단순 복합체에서 임의의 모델 범주로 일반화될 수 있는가?
• RQ2 소형 객체 방법에서 유도된 코프레젠테이션 함자가 완비화에 필수적인 대각선을 지닐 조건은 무엇인가?
• RQ3 지정된 모델 범주에서 완비화의 상대 호모토피 군을 계산하기 위한 Bousfield-Kan 스펙트럴 시리즈는 어떻게 구성할 수 있는가?
• RQ4 모델 범주에 대한 어떤 구조적 조건(예: 약한 동치가 단사적일 경우)이 더 효율적인 피브라시의 재구성함수에 코대각선을 제공하는가?
• RQ5 호모토피 극한-함수 복합체 교환 성질은 일반적인 모델 범주 문장을 단순 복합체 문장들로 환원하는 데 얼마나 기여하는가?

주요 결과

• 모든 모델 범주에서 삼중체에 대한 Bousfield-Kan 완비화가 존재한다. 유일한 조건은 코프레젠테이션 함자가 대각선을 지닐 것임을 요구한다.
• 지정된 모델 범주에서는 완비화가 상대 호모토피 군을 계산하는 Bousfield-Kan 스펙트럴 시리즈를 지닌다. 이 시리즈의 $ E_2 $-항은 $ R $-모듈의 범주에서의 $ \text{Ext} $-군들로 주어진다.
• 표준 코심플렉스 구조에 의해 유도된 코심플렉스 맵 $ u_k^{l*} $ 는 상호간에 호모토피적임을 보였으며, 이는 스펙트럴 시리즈 구성에 핵심적인 기술적 결과이다.
• 모든 약한 동치가 단사적일 경우, 소형 객체 방법을 수정하여 코대각선을 지닌 피브라시의 재구성함수를 생성할 수 있으며, 이는 중복을 줄이고 효율성을 향상시킨다.
• 지정된 경우에 코심플렉스 해상법이 Reedy 피브라시이므로 총합이 올바른 호모토피 극한을 계산한다.
• 이 구성은 호모토피 불변성이다: 약한 동치는 코프레젠테이션 함자가 약한 동치와 호환될 경우 완비화 함수에 의해 보존된다.