[논문 리뷰] Homotopy theory of Well-generated algebraic triangulated categories

Gonçalo Tabuada|ArXiv.org|2007. 03. 06.

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

한 줄 요약

이 논문은 잘 생성된 대수적 삼중분류 카테고리의 범주, 즉 dgcatex,α가 cocomplete임을 확립한다. 이는 Tα-대수의 범주와 dgcatex,α 사이의 유도가 모나딕임을 증명하고, 관련 함자들이 α-필터링된 합을 유지함으로써 달성된다. 주요 기여는 dgcatex,α의 cocompleteness이며, 이는 대수적 삼중분류 카테고리에서의 추가적인 호모토피적 및 카테고리적 구성에 기여한다.

ABSTRACT

For every regular cardinal $α$, we construct a cofibrantly generated Quillen model structure on a category whose objects are essentially DG categories which are stable under suspensions, cosuspensions, cones and $α$-small sums. Using results of Porta, we show that the category of well-generated (algebraic) triangulated categories in the sense of Neeman is naturally enhanced by our Quillen model category.

연구 동기 및 목표

• 잘 생성된 대수적 삼중분류 카테고리의 범주 dgcatex,α의 cocompleteness를 확립하기 위해.
• dgcatex,α와 Tα-대수 사이의 유도가 모나딕임을 보여주기 위해.
• 좌측 유도와 忘각 함자 조합이 α-필터링된 합을 유지하는지 확인하기 위해.
• cocompleteness를 통해 대수적 삼중분류 카테고리의 호모토피적 구조를 뒷받침하기 위해.
• 유도 및 삼중분류 카테고리 이론의 향후 발전을 위한 카테고리적 기초를 마련하기 위해.

제안 방법

• dgcatex,α와 Tα-대수 사이의 유도가 모나딕임을 확인하기 위해 모나딕성 정리(monadicity theorem)를 활용한다.
• Bor의 결과에서 유도된 모나딕성 및 합의 유지에 관한 명제들을 Tα-대수의 맥락에서 적용한다.
• 이전 결과들에 의해 보장된 dgcatex,α 내의 α-필터링된 합의 존재에 기반한다.
• 좌측 유도가 합을 유지하고, 忘각 함자 U1가 α-필터링된 합을 유지한다는 사실을 활용한다.
• 이러한 유지 성질들을 조합하여 복합 함자 U1∘F1가 α-필터링된 합을 공유함을 보여준다.
• 모나딕성 기준과 합의 유지 성질을 통해 dgcatex,α의 cocompleteness를 도출한다.

실험 결과

연구 질문

• RQ1 범주 dgcatex,α는 cocomplete인가?
• RQ2 dgcatex,α와 Tα-대수 사이의 유도가 모나딕성 조건을 만족하는가?
• RQ3 관련 함자들이 dgcatex,α 내에서 α-필터링된 합을 유지하는가?
• RQ4 모나딕성과 합의 유지 성질을 통해 dgcatex,α의 cocompleteness를 확립할 수 있는가?
• RQ5 대수적 삼중분류 카테고리 맥락에서 dgcatex,α의 cocompleteness로부터 유도되는 구조적 성질는 무엇인가?

주요 결과

• 범주 dgcatex,α는 cocomplete이며, 이는 모든 소형 합이 그 안에 존재함을 의미한다.
• 모나딕성 정리에 의해 확인된 lin, dgcatex,α와 Tα-대수 사이의 유도는 모나딕이다.
• 복합 함자 U1∘F1는 α-필터링된 합을 유지한다. 이는 모나딕성의 핵심 조건이다.
• dgcatex,α 내에 α-필터링된 합이 존재하며, 忘각 함자 U1가 이를 유지한다.
• α-필터링된 합의 유지와 모나딕성에 기반하여 dgcatex,α의 cocompleteness가 확립된다.
• cocompleteness는 잘 생성된 대수적 삼중분류 카테고리의 호모토피적 일관성을 보장함으로써, 충분한 합의 구조를 확보함으로써 이를 뒷받침한다.