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 of objects whose triangulated support and cohomological support differ. In the case of group representations, this allows us to correct and establish a conjecture of Benson.
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 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.
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 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.
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…
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.
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 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…
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.
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.
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.
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 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 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.
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.
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.
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.
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 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 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.
This is the final version of a series of papers uploaded in May 25, 2005. We have splitted the long last paper of the previous version in two parts to make it easier to understand. The results are essentially the same, although the presentation has changed substantially. The first three papers have not changed. This is a collection of five papers on the foundation of triangulated categories in the context of groupoid-enriched categories, termed track categories, and characteristic cohomology classes. As a main result it is shown that given an additive category A with a translation functor t: A…
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…
The main goal of this paper is to prove the following: for a triangulated category $ \underline{C}$ and $E\subset \operatorname{Obj} \underline{C}$ there exists a cohomological functor $F$ (with values in some abelian category) such that $E$ is its set of zeros if (and only if) $E$ is closed with respect to retracts and extensions (so, we obtain a certain Nullstellensatz for functors of this type). Moreover, for $ \underline{C}$ being an $R$-linear category (where $R$ is a commutative ring) this is also equivalent to the existence of an $R$-linear $F: \underline{C}^{op}\to R-\operatorname{mod}…
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.
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 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.
In a triangulated symmetric monoidal closed category, there are natural dualities induced by the internal Hom. Given a monoidal functor f^* between two such catgories and adjoint couples (f^*,f_*) and (f_*,f^!), we prove the necessary commutative diagrams for f^* and f_* to respect certain dualities, for a projection formula to hold between them (as duality preserving functors) and for classical base change and composition formulas to hold when such duality preserving functors are composed. This framework is for example useful to define push-forwards for Witt groups.
