Homotopy categories and idempotent completeness, weight structures and weight complex functors

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.

82 pages, comments welcome

References in corpus (4)

• A geometric construction of colored HOMFLYPT homology
• Purity and decomposition theorems for staggered sheaves
• Koszul duality and mixed Hodge modules
• A note on compactly generated co-t-structures

Cited by in corpus (7)

• Weights for relative motives; relation with mixed complexes of sheaves
• Completions of Grothendieck groups
• On morphisms killing weights, weight complexes, and Eilenberg-Maclane (co)homology of spectra
• Unbounded derived categories of small and big modules: Is the natural functor fully faithful?
• On constructing weight structures and extending them to idempotent extensions
• On morphisms killing weights and Hurewicz-type theorems
• State BCK-algebras and State-Morphism BCK-algebras