[논문 리뷰] Algebraic model structures

Emily Riehl|arXiv (Cornell University)|2009. 10. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 3

한 줄 요약

이 논문은 고전적 약한 분해 체계 대신 대수적 약한 분해 체계(awfs)로부터 구성된 대수적 모델 구조—모형 범주를 도입한다. 모든 코프ibrantly 생성된 모형 구조가 가رن너의 소형 객체 근사법을 수정하여 대수적 보완을 갖는다는 것을 보이며, 피브르아트-코프ibrant 대체물 간 자연스러운 비교 사상의 존재를 보장하고, 더 자연스러운 성질을 갖는 대수적 쿠일렌 수반을 정의한다.

ABSTRACT

We define a new notion of an algebraic model structure, in which the cofibrations and fibrations are retracts of coalgebras for comonads and algebras for monads, and prove "algebraic" analogs of classical results. Using a modified version of Quillen's small object argument, we show that every cofibrantly generated model structure in the usual sense underlies a cofibrantly generated algebraic model structure. We show how to pass a cofibrantly generated algebraic model structure across an adjunction, and we characterize the algebraic Quillen adjunction that results. We prove that pointwise natural weak factorization systems on diagram categories are cofibrantly generated if the original ones are, and we give an algebraic generalization of the projective model structure. Finally, we prove that certain fundamental comparison maps present in any cofibrantly generated model category are cofibrations when the cofibrations are monomorphisms, a conclusion that does not seem to be provable in the classical, non-algebraic, theory.

연구 동기 및 목표

• 대수적 약한 분해 체계(awfs)를 사용하여 대수적 모델 구조를 정의하고 형식화함으로써 고전적 모형 범주 이론을 확장한다.
• 모든 코프ibrantly 생성된 모형 구조가 수정된 소형 객체 근사법을 통해 awfs를 이용해 대수적 보완을 갖는다는 것을 보여준다.
• 칸의 수반 결과를 대수적 설정으로 일반화하여, 대수적 쿠일렌 수반을 정의하고, awfs에 대한 대체물 간의 자연스러운 업그레이드를 정의한다.
• 기저 awfs가 코프ibrantly 생성될 경우, 다이어그램 범주 위의 점별 awfs가 코프ibrantly 생성됨을 보이며, 이를 바탕으로 대수적 프로젝티브 모형 구조를 구성한다.
• 코프ibrant-코프ibrant 대체물 간 비교 사상이 코프ibrations가 단사일 경우에만 코프ibrations임을 보이며, 이는 고전 이론에서 확보할 수 없는 결과이다.

제안 방법

• 코프ibrations와 피브레이션을 각각 코모나드와 모나드에 대한 코알제브라와 알제브라의 재구성으로서 정의하고, functorial 분해가 awfs로부터 유도되도록 하여 대수적 모형 구조를 정의한다.
• 가장자기의 소형 객체 근사법의 수정된 버전을 사용하여 생성 데이터로부터 코프ibrantly 생성된 awfs를 구성하고, 대수적 구조가 유지되도록 보장한다.
• 피브르아트-코프ibrant 대체물 간 자연스러운 비교 사상을 도입하여, 대수적으로 이중으로 피브르아트인 대상의 정의를 가능하게 한다.
• 모형 범주 간 수반 관계가 awfs에 대한 알제브라 범주 간의 함자로 올라가는 것을 보이며, 대수적 쿠일렌 수반을 정의한다.
• 다이어그램 범주 위의 점별 awfs가 기저 awfs가 코프ibrantly 생성될 경우에 코프ibrantly 생성됨을 보이고, 이를 바탕으로 대수적 프로젝티브 모형 구조를 구성한다.
• 메이트 대응과 유닛 및 코유닛의 보편 성질을 사용하여, 대수적 쿠일렌 수반에서의 업그레이드의 자연성과 핵심 다이어그램의 교환성을 증명한다.

실험 결과

연구 질문

• RQ1 모든 코프ibrantly 생성된 모형 구조는 awfs를 사용하여 대수적 보완을 갖는가? 이 경우 기저 모형 구조는 그대로 유지되는가?
• RQ2 모형 범주 간 수반 관계는 어떻게 awfs에 대한 알제브라 범주 간의 함자로 올라갈 수 있으며, 이러한 업그레이드가 만족하는 성질은 무엇인가?
• RQ3 다이어그램 범주 위의 점별 awfs가 코프ibrantly 생성되려면 어떤 조건이 필요한가? 그리고 이를 바탕으로 대수적 프로젝티브 모형 구조는 어떻게 구성할 수 있는가?
• RQ4 코프ibrantly 생성된 모형 범주에서 피브르아트-코프ibrant 대체물 간 비교 사상은 언제 자연스럽게 코프ibrations가 되는가? 어떤 조건에서 성립하는가?
• RQ5 쿠일렌 수반에서의 업그레이드의 자연성은 어떻게 대수적으로 향상될 수 있으며, 이는 수반의 구조에 어떤 영향을 미치는가?

주요 결과

• 모든 코프ibrantly 생성된 모형 구조는 수정된 소형 객체 근사법을 통해 awfs를 갖는 대수적 모형 구조를 지닌다.
• 코프ibrations가 단사일 경우, 코프ibrantly 생성된 모형 범주에서 피브르아트-코프ibrant 대체물 간 비교 사상은 코프ibrations이다. 이는 고전적 모형 범주 이론에서는 증명할 수 없는 결과이다.
• 모형 범주 간 수반 관계는 대수적 쿠일렌 수반으로 올라간다. 여기서 오른쪽 수반은 모나드에 대한 알제브라들을 보존하고 왼쪽 수반은 코모나드에 대한 코알제브라들을 보존하며, 메이트에 의해 자연스러운 업그레이드가 유도된다.
• 기저 awfs가 코프ibrantly 생성될 경우, 다이어그램 범주 위의 점별 awfs도 코프ibrantly 생성된다. 이를 통해 대수적 프로젝티브 모형 구조를 구성할 수 있다.
• 대수적 쿠일렌 수반에서 함자 업그레이드 간 자연 변환은 수반의 유닛과 코유닛과 교환되며, 이는 일관성과 자연성을 보장한다.
• 대수적 구조는 코알제브라와 알제브라 간 사상에 대해 자연스러운 리프팅 문제의 표준 해를 가능하게 하며, 고전적 경로 리프팅 구성의 일반화를 이룬다.