[논문 리뷰] Homotopy categories and idempotent completeness, weight structures and weight complex functors

Olaf M. Schnürer|arXiv (Cornell University)|2011. 07. 06.

Algebraic structures and combinatorial models참고 문헌 15인용 수 20

한 줄 요약

이 논문은 임의의 가군 범주 $\mathcal{A}$에 대해 호모토피 범주 $K(\mathcal{A})$의 전체 부분범주 $K(\pi)^{w\leq n}$, $K(\pi)^{w\geq n}$, $K(\pi)^{-}$, 및 $K(\pi)^{+}$가 아이드포텐트 완비임을 확립하며, $(K(\mathcal{A})^{w\leq 0}, K(\mathcal{A})^{w\geq 0})$가 무게 구조를 이룬다는 것을 확인한다. 또한, 유한한 무게 구조 $w$를 가진 삼각형 범주 $\mathcal{T}$가 필터링된 삼각형 강화 $\widetilde{\mathcal{T}}$를 갖는 경우, $\widetilde{\mathcal{T}}$에 대해 새로운 기술적 공리가 성립할 때, $\mathcal{T} \to K(\heartsuit(w))^{\operatorname{anti}}$로의 강력한 무게 복합 함수가 존재함을 증명한다. 이는 무게 구조를 심층적으로 해체하는 데 기초적인 도구를 제공한다.

ABSTRACT

This article provides some basic results on weight structures, weight complex functors and homotopy categories. We prove that the full subcategories K(A)^{w < n}, K(A)^{w > n}, K(A)^- and K(A)^+ (of objects isomorphic to suitably bounded complexes) of the homotopy category K(A) of an additive category A are idempotent complete, which confirms that (K(A)^{w <= 0}, K(A)^{w >= 0}) is a weight structure on K(A). We discuss weight complex functors and provide full details of an argument sketched by M. Bondarko, which shows that if w is a bounded weight structure on a triangulated category T that has a filtered triangulated enhancement T' then there exists a strong weight complex functor T -> K(heart(w))^{anti}. Surprisingly, in order to carry out the proof, we need to impose an additional axiom on the filtered triangulated category T' which seems to be new.

연구 동기 및 목표

• 임의의 가군 범주 $\mathcal{A}$에 대해 호모토피 범주 $K(\mathcal{A})$의 전체 부분범주 $K(\mathcal{A})^{w\leq n}$, $K(\mathcal{A})^{w\geq n}$, $K(\mathcal{A})^{-}$, 및 $K(\mathcal{A})^{+}$의 아이드포텐트 완비성을 확립한다.
• 정의 부분범주들의 아이드포텐트 완비성 검증을 통해 $(K(\mathcal{A})^{w\leq 0}, K(\mathcal{A})^{w\geq 0})$가 $K(\mathcal{A})$ 위에 무게 구조를 이룬다는 것을 확인한다.
• 유한한 무게 구조 $w$를 가진 삼각형 범주 $\mathcal{T}$가 필터링된 삼각형 강화 $\widetilde{\mathcal{T}}$를 갖는 경우, 새로운 도입된 $\widetilde{\mathcal{T}}$에 대한 공리 하에 $\mathcal{T} \to K(\heartsuit(w))^{\operatorname{anti}}$로의 강력한 무게 복합 함수의 존재를 완전히 증명한다.
• M. Bondarko가 약간의 스케치로 제시한, 약한 무게 복합 함수를 필터링된 강화를 통해 강력한 것으로 올리는 논리적 추론을 명확히 하고 보완한다.

제안 방법

• R. W. Thomason과 P. Balmer–M. Schlichting의 기법을 활용하여, 호모토피 범주 내의 재결합 닫힘을 통한 $K(\mathcal{A})^{w\leq n}$ 및 $K(\mathcal{A})^{w\geq n}$의 아이드포텐트 완비성에 대한 구조적 증명을 수행한다.
• 호모토피 범주 $K(\mathcal{A})$의 삼각형 구조와 잘라내기 삼각형의 성질을 활용하여 재결합에 대한 닫힘과 아이드포텐트의 상향 이행을 검증한다.
• 무게 필터링과 호모토피 군 간의 호환성을 보장하기 위해 필터링된 삼각형 범주 $\widetilde{\mathcal{T}}$에 대해 새로운 공리를 도입한다.
• $\sigma$-잘라내기 삼각형과 $w$-잘라내기 함자 $w_{\leq n}$, $w_{\geq n}$을 활용하여 $\widetilde{\mathcal{T}}$ 내에서 대상을 분해하고 무게 구조를 재구성한다.
• 그레이드 함자 $\operatorname{gr}^j$와 무게 함자 $\omega$를 사용하여 $\widetilde{\mathcal{T}}$ 내의 대상의 구성 요소를 분석하고 그들의 무게 필터링을 검증한다.
• 무게 분해를 $\mathcal{T}$에서 $\widetilde{\mathcal{T}}$로 올리기 위해 삼각형의 $3\times 3$-다이어그램을 구성하며, 이는 무게 구조 공리와의 호환성을 보장한다.

실험 결과

연구 질문

• RQ1 임의의 가군 범주 $\mathcal{A}$에 대해 부분범주 $K(\mathcal{A})^{w\leq n}$ 및 $K(\mathcal{A})^{w\geq n}$는 아이드포텐트 완비인가?
• RQ2 $K(\mathcal{A})$ 위에서 표준적인 무게 구조 $(K(\mathcal{A})^{w\leq 0}, K(\mathcal{A})^{w\geq 0})$는 무게 구조의 공리를 충족하는가?
• RQ3 약한 무게 복합 함수 $\mathcal{T} \to K_{\operatorname{weak}}(\heartsuit(w))$가 어떤 조건에서 강력한 무게 복합 함수 $\mathcal{T} \to K(\heartsuit(w))^{\operatorname{anti}}$로 올라갈 수 있는가?
• RQ4 강력한 함수의 존재를 보장하기 위해 필터링된 삼각형 강화 $\widetilde{\mathcal{T}}$에 추가로 필요한 공리는 무엇인가?
• RQ5 범주 $\mathcal{T}$의 무게 구조가 $\widetilde{\mathcal{T}}$로 호환 가능한 무게 구조로 올라갈 수 있는가?

주요 결과

• 임의의 가군 범주 $\mathcal{A}$에 대해 부분범주 $K(\mathcal{A})^{w\leq n}$ 및 $K(\mathcal{A})^{w\geq n}$는 재결합 닫힘과 삼각형 범주 기법을 통한 구조적 증명을 통해 아이드포텐트 완비임이 입증되었다.
• 정의 부분범주들의 아이드포텐트 완비성에 기반하여, $K(\mathcal{A})$ 위에서의 표준 무게 구조 $(K(\mathcal{A})^{w\leq 0}, K(\mathcal{A})^{w\geq 0})$는 유효한 무게 구조임이 확인되었다.
• 삼각형 범주 $\mathcal{T}$에 유한한 무게 구조 $w$가 있고, 필터링된 삼각형 강화 $\widetilde{\mathcal{T}}$를 갖는 경우, $\widetilde{\mathcal{T}}$가 무게 필터링과 호모토피 군 간의 호환성에 관한 새로운 기술적 공리를 만족할 때, $\mathcal{T} \to K(\heartsuit(w))^{\operatorname{anti}}$로의 강력한 무게 복합 함수가 존재한다.
• 강력한 무게 복합 함수의 증명은 $\widetilde{\mathcal{T}}$ 내에서 삼각형의 $3\times 3$-다이어그램을 구성하고, $\sigma$-잘라내기 및 $w$-잘라내기 함자를 활용하여 무게 분해를 올리는 데 기반한다.
• 구성 과정을 통해 $\omega(w_{\geq n+1}X) \in \mathcal{T}^{w\geq n+1-b}$ 및 $\omega(w_{\leq n}X) \in \mathcal{T}^{w\leq n-c-2}$임을 보여, 무게 필터링과의 호환성을 확보한다.
• 강력한 무게 복합 함수의 존재는 삼각형 범주 내의 사상 연장의 유일성과 목적지 범주 $K(\heartsuit(w))^{\operatorname{anti}}$의 반동치 동치성에 의해 확립된다.