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.
We exhibit examples of triangulated categories which are neither the stable category of a Frobenius category nor a full triangulated subcategory of the homotopy category of a stable model category. Even more drastically, our examples do not admit any non-trivial exact functors to or from these algebraic respectively topological triangulated categories.
These notes provide an introduction to the theory of localization for triangulated categories. Localization is a machinery to formally invert morphisms in a category. We explain this formalism in some detail and we show how it is applied to triangulated categories.
We give an elementary introduction to the theory of triangulated categories covering their axioms, homological algebra in triangulated categories, triangulated subcategories, and Verdier localization. We try to use a minimal set of axioms for triangulated categories and derive all other statements from these, including the existence of biproducts. We conclude with a list of examples.
We show certain standard constructions of the theory of Verdier triangulated categories to be valid in the Heller triangulated framework as well; viz. Karoubi hull, exactness of adjoints, localisation.
We exhibit a triangulated category which is neither the stable category of a Frobenius category nor a full triangulated subcategory of the homotopy category of a stable model category.
We consider the effect of $t$-structures on the Tannaka duality theory for dg categories developed in our previous paper. We associate non-negative dg coalgebras $C$ to dg functors on the hearts of $t$-structures, and relate dg $C$-comodules to the original dg category. We give several applications for pro-algebraic homotopy types associated to various cohomology theories, and for motivic Galois groups.
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.
We give a necessary and sufficient condition for the existence of an enhancement of a finite triangulated category. Moreover, we show that enhancements are unique when they exist, up to Morita equivalence.
Let l be a commutative ring with unit. Garkusha constructed a functor from the category of l-algebras into a triangulated category D, that is a universal excisive and homotopy invariant homology theory. Later on, he provided different descriptions of D, as an application of his motivic homotopy theory of algebras. Using these, it can be shown that D is triangulated equivalent to a category, denote it by k, whose objects are pairs (A,m) with A an l-algebra and m an integer, and whose Hom-sets can be described in terms of homotopy classes of morphisms. All these computations, however, require a …
We introduce the notion of log motivic triangulated categories, which is the theoretical framework for understanding the motivic aspect of cohomology theories for fs log schemes. Then we study the Grothendieck six operations formalism for log motivic triangulated categories.
We prove a stronger version of the octahedral axiom in a pre-triangulated category. The proof uses a new lemma about exact sequences in pointed additive categories which is based on a weak converse of the snake lemma.
An alternative approach to the classical Morel-Voevodsky stable motivic homotopy theory $SH(k)$ is suggested. The triangulated category of framed bispectra $SH_{nis}^{fr}(k)$ and effective framed bispectra $SH_{nis}^{fr,eff}(k)$ are introduced in the paper. Both triangulated categories only use Nisnevich local equivalences and have nothing to do with any kind of motivic equivalences. It is shown that $SH_{nis}^{fr}(k)$ and $SH_{nis}^{fr,eff}(k)$ recover the classical Morel-Voevodsky triangulated categories of bispectra $SH(k)$ and effective bispectra $SH^{eff}(k)$ respectively. We also recover…
We develop Tannaka duality theory for dg categories. To any dg functor from a dg category $\mathcal{A}$ to finite-dimensional complexes, we associate a dg coalgebra $C$ via a Hochschild homology construction. When the dg functor is faithful, this gives a quasi-equivalence between the derived dg categories of $\mathcal{A}$-modules and of $C$-comodules. When $\mathcal{A}$ is Morita fibrant (i.e. an idempotent-complete pre-triangulated category), it is thus quasi-equivalent to the derived dg category of compact $C$-comodules. We give several applications for motivic Galois groups.
We investigate certain categorical aspects of Voevodsky's triangulated categories of motives. For this, various recollements for Grothendieck categories of enriched functors and their derived categories are established. In order to extend these recollements further with respect to Serre's localization, the concept of the (strict) Voevodsky property for Serre localizing subcategories is introduced. This concept is inspired by the celebrated Voevodsky theorem on homotopy invariant presheaves with transfers. As an application, it is shown that Voevodsky's triangulated categories of motives fit in…
In this paper we relate triangulated category structures to the cohomology of small categories and define initial obstructions to the existence of an algebraic or topological enhancement. We show that these obstructions do not vanish in an example of triangulated category without models. We also obtain cohomological characterizations of pre-triangulated DG, A-infinity, and spectral categories.
We use homological ideals in triangulated categories to get a sufficient criterion for a pair of subcategories in a triangulated category to be complementary. We apply this criterion to construct the Baum-Connes assembly map for locally compact groups and torsion-free discrete quantum groups. Our methods are related to the abstract version of the Adams spectral sequence by Brinkmann and Christensen.
We prove that the Balmer spectrum of a tensor triangulated category is homeomorphic to the Zariski spectrum of its graded central ring, provided the triangulated category is generated by its tensor unit and the graded central ring is noetherian and regular in a weak sense. There follows a classification of all thick subcategories, and the result extends to the compactly generated setting to yield a classification of all localizing subcategories as well as the analog of the telescope conjecture. This generalizes results of Shamir for commutative ring spectra.
These notes are meant to provide a rapid introduction to triangulated categories. We start with the definition of an additive category and end with a glimps of tilting theory. Some exercises are included.
Small, finite entities are easier and simpler to manipulate than gigantic, infinite ones. Consequently huge chunks of mathematics are devoted to methods reducing the study of big, cumbersome objects to an analysis of their finite building blocks. The manifestation of this general pattern, in the study of derived and triangulated categories, dates back almost to the beginnings of the subject -- more precisely to articles by Illusie in SGA6, way back in the early 1970s. What's new, at least new in the world of derived and triangulated categories, is that one gets extra mileage from analysing mor…
Using the localization property, we construct a triangulated category of motives over quasi-projective T-schemes for any coefficient where T is a noetherian separated scheme, and we prove the Grothendieck six operations formalism. We also construct integral étale realization of motives.
We show that the category of orbits of the bounded derived category of a hereditary category under a well-behaved autoequivalence is canonically triangulated. This answers a question by A. Buan, R. Marsh and I. Reiten which appeared in their study with M. Reineke and G. Todorov of the link between tilting theory and cluster algebras (closely related to work by Caldero-Chapoton-Schiffler) and a question by H. Asashiba about orbit categories. We observe that the resulting triangulated orbit categories provide many easy examples of triangulated categories with the Calabi-Yau property. These inclu…
We introduce and study several homological notions which generalise the discrete derived categories of D. Vossieck. As an application, we show that Vossieck discrete algebras have this property with respect to all bounded t-structures. We give many examples of triangulated categories regarding these notions.
We compute the Grothendieck group of certain 2-Calabi--Yau triangulated categories appearing naturally in the study of the link between quiver representations and Fomin--Zelevinsky's cluster algebras. In this setup, we also prove a generalization of Fomin--Zelevinsky's mutation rule.
We study determinant functors which are defined on a triangulated category and take values in a Picard category. The two main results are the existence of a universal determinant functor for every small triangulated category, and a comparison theorem for determinant functors on a triangulated category with a non-degenerate bounded t-structure and determinant functors on its heart. For a small triangulated category T we give a natural definition of groups K_0(T) and K_1(T) in terms of the universal determinant functor on T, and we show that K_i(T)=K_i(E) for i=0 and 1 if T has a non-degenerate …
We prove that if the Auslander-Reiten triangles generate the relations for the Grothendieck group of a Hom-finite Krull-Schmidt triangulated category with a (co)generator, then the category has only finitely many isomorphism classes of indecomposable objects up to translation. This gives a triangulated converse to a theorem of Butler and Auslander-Reiten on the relations for Grothendieck groups. Our approach has applications in the context of Frobenius categories.
Auslander and Kleiner proved in 1994 an abstract version of Green correspondence for pairs of adjoint functors between three categories. They produce additive quotients of certain subcategories giving the classical Green correspondence in the special setting of modular representation theory. Carlson, Peng and Wheeler showed in 1998 that Green correspondence in the classical setting of modular representation theory is actually an equivalence between triangulated categories with respect to a non standard triangulated structure. In the present note we first define and study a version of relative …
We prove 2-out-of-3 property for rationality of motivic zeta function in distinguished triangles in Voevodsky's category DM. As an application, we show rationality of motivic zeta functions for all varieties whose motives are in the thick triangulated monoidal subcategory generated by motives of quasi-projective curves in DM. Joint with a result of P.O'Sullivan it also gives an example of a variety whose motive is not finite-dimensional while the motivic zeta function is rational.
We study abelian localizations of triangulated categories induced by rigid contravariantly finite subcategories, and also triangulated structures on subfactor categories of triangulated categories. In this context we generalize recent results of Buan-Marsh and Iyama-Yoshino. We also extend basic results of Keller-Reiten concerning the Gorenstein and the Calabi-Yau property for categories arising from certain rigid, not necessarily cluster tilting, subcategories, as well as several results of the literature concerning the connections between 2-cluster tilting subcategories of triangulated categ…
We propose a new method for defining a notion of support for objects in any compactly generated triangulated category admitting small coproducts. This approach is based on a construction of local cohomology functors on triangulated categories, with respect to a central ring of operators. Suitably specialized one recovers, for example, the theory for commutative noetherian rings due to Foxby and Neeman, the theory of Avramov and Buchweitz for complete intersection local rings, and varieties for representations of finite groups according to Benson, Carlson, and Rickard. We give explicit examples…
We define and characterise small support for complexes over non-Noetherian rings and in this context prove a vanishing theorem for modules. Our definition of support makes sense for any rigidly compactly generated tensor triangulated category. Working in this generality, we establish basic properties of support and investigate when it detects vanishing. We use pointless topology to relate support, the topology of the Balmer spectrum, and the structure of the idempotent Bousfield lattice.
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 ha…
