[논문 리뷰] The Popescu-Gabriel theorem for triangulated categories

Marco Porta|ArXiv.org|2007. 06. 29.

Algebraic structures and combinatorial models참고 문헌 17인용 수 8

한 줄 요약

이 논문은 트라이앵귤레이티드 카테고리 버전의 Popescu-Gabriel 정리 수립을 통해, 모든 대수적이고 잘 생성된 트라이앵귤레이티드 카테고리가 소형 DG 카테고리의 도파일드 카테고리의 국소화와 삼각형 동치임을 증명한다. 이 결과는 컴팩트하게 생성된 카테고리에 대한 Keller의 정리의 일반화이며, DG 카테고리와 국소화를 통해 이러한 카테고리의 구조적 특성화를 제공한다.

ABSTRACT

The Popescu-Gabriel theorem states that each Grothendieck abelian category is a localization of a module category. In this paper, we prove an analogue where Grothendieck abelian categories are replaced by triangulated categories which are well generated (in the sense of Neeman) and algebraic (in the sense of Keller). The role of module categories is played by derived categories of small differential graded categories. An analogous result for topological triangulated categories has recently been obtained by A. Heider.

연구 동기 및 목표

• 그로텐디크 아벨 카테고리에서 트라이앵귤레이티드 카테고리로 Popescu-Gabriel 정리를 확장하기.
• 트라이앵귤레이티드 설정에서 모듈러 카테고리와 국소화의 적절한 대응체를 식별하기.
• 대수적이고 잘 생성된 트라이앵귤레이티드 카테고리가 정확히 소형 DG 카테고리의 도파일드 카테고리의 국소화임을 보여주기.
• Drinfeld의 질문에 답하기: 모든 잘 생성된 카테고리가 DG 모듈러 카테고리의 국소화로 나타나는가?

제안 방법

• Neeman과 Krause가 정의한 잘 생성된 트라이앵귤레이티드 카테고리의 개념을 사용하며, 이는 특정한 소형성 및 정확성 조건을 만족하는 생성자 집합으로 특징지어진다.
• 주어진 잘 생성된 대수적 트라이앵귤레이티드 카테고리 $\mathcal{T}$로부터 생성자 집합 $\mathcal{G}$를 이용해 소형 DG 카테고리 $\mathcal{A}$를 구성한다.
• $\alpha$-연속적인 도파일드 카테고리 $\mathcal{D}_\alpha\mathcal{A}$를 $\mathcal{D}\mathcal{A}$의 전체부분카테고리로 정의하며, 이는 $\alpha$-소형 호모로지를 갖는 복합체로 구성된다.
• 브라운 표현 정리의 일반화와 삼각형 동치를 위한 기준(정리 2.8)을 적용하여 $\mathcal{T}$가 $\mathcal{D}_\alpha\mathcal{A}$의 국소화와 삼각형 동치임을 보인다.
• 대수적 트라이앵귤레이티드 카테고리가 프로페르스 카테고리의 안정화된 카테고리와 삼각형 동치임을 이용해 DG 카테고리로의 구조를 올린다.
• 국소화 함자가 완전충실 임베딩을 유도하며, 본질적 상이가 합성에 대해 닫혀 있음을 확인하여 원하는 동치를 이끌어낸다.

실험 결과

연구 질문

• RQ1 Popescu-Gabriel 정리는 아벨 카테고리에서 트라이앵귤레이티드 카테고리로 확장될 수 있는가?
• RQ2 트라이앵귤레이티드 설정에서 모듈러 카테고리의 적절한 대체물은 무엇인가?
• RQ3 모든 대수적이고 잘 생성된 트라이앵귤레이티드 카테고리는 소형 DG 카테고리의 도파일드 카테고리의 국소화인가?
• RQ4 잘 생성된 트라이앵귤레이티드 카테고리의 클래스는 대수적 경우에 이러한 국소화와 일치하는가?

주요 결과

• 모든 대수적이고 잘 생성된 트라이앵귤레이티드 카테고리 $\mathcal{T}$는 소형 DG 카테고리 $\mathcal{A}$의 도파일드 카테고리 $\mathcal{D}\mathcal{A}$의 국소화와 삼각형 동치이며, 국소화는 생성자 집합에 의해 생성된 국소화 부분카테고리에서 이루어진다.
• 동치는 $\mathcal{T}$의 합성에 대해 생성하는 소형 부분카테고리 $\mathcal{U}$와 동치인 $H^0(\mathcal{A})$를 갖는 소형 DG 카테고리 $\mathcal{A}$를 통해 구성된다.
• 각 정칙 기수 $\alpha$에 대해, $\mathcal{T}^\beta$의 동형류의 대표자를 포함하는 $\operatorname{sk}(\mathcal{T}^\beta)$는 모든 $\beta \geq \alpha$에 대해 컴팩티파잉이며, 이는 $\mathcal{D}\widetilde{\mathcal{G}}$로의 관련 함자가 완전충실임을 의미한다.
• 결과는 Keller의 정리를 복원한다: 컴팩트하게 생성된 대수적 트라이앵귤레이티드 카테고리는 소형 DG 카테고리의 도파일드 카테고리와 동치이다.
• 이 구성은 이러한 카테고리를 국소화로 실현하는 표준적인 방법을 제공하며, 아벨 경우를 트라이앵귤레이티드 세계로 일반화한다.
• 이 정리는 잘 생성된 대수적 트라이앵귤레이티드 카테고리가 정확히 도파일드 DG 카테고리의 국소화로 나타나는 것임을 확립하며, Drinfeld의 질문에 이 경우에서 긍정적으로 답한다.