Dimension and level of triangulated categories

Author(s):  
Xiaoyan Yang ◽  
Jingwen Shen

For the bounded derived category of an abelian category, bounds of the dimension with respect to a complete hereditary cotorsion pair are given. We also characterize levels of DG-modules and study how levels involved in a recollement of derived categories over DG-rings are related.

2020 ◽  
Vol 296 (3-4) ◽  
pp. 1387-1427 ◽  
Author(s):  
Henning Krause

Abstract This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented modules over a right coherent ring is the completion of the category of perfect complexes. The result extends to non-affine noetherian schemes and gives rise to a direct construction of the singularity category. The parallel theory of completion for abelian categories is compatible with the completion of derived categories. There are three appendices. The first one by Tobias Barthel discusses the completion of perfect complexes for ring spectra. The second one by Tobias Barthel and Henning Krause refines for a separated noetherian scheme the description of the bounded derived category of coherent sheaves as a completion. The final appendix by Bernhard Keller introduces the concept of a morphic enhancement for triangulated categories and provides a foundation for completing a triangulated category.


2002 ◽  
Vol 133 (2) ◽  
pp. 261-293 ◽  
Author(s):  
J. DANIEL CHRISTENSEN ◽  
MARK HOVEY

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is encompassed by Quillen's homotopical algebra. The goal of this paper is to show that more general forms of homological algebra also fit into Quillen's framework. Specifically, a projective class on a complete and cocomplete abelian category [Ascr ] is exactly the information needed to do homological algebra in [Ascr ]. The main result is that, under weak hypotheses, the category of chain complexes of objects of [Ascr ] has a model category structure that reflects the homological algebra of the projective class in the sense that it encodes the Ext groups and more general derived functors. Examples include the ‘pure derived category’ of a ring R, and derived categories capturing relative situations, including the projective class for Hochschild homology and co-homology. We characterize the model structures that are cofibrantly generated, and show that this fails for many interesting examples. Finally, we explain how the category of simplicial objects in a possibly non-abelian category can be equipped with a model category structure reflecting a given projective class, and give examples that include equivariant homotopy theory and bounded below derived categories.


Author(s):  
Amalendu Krishna

AbstractFor a tame Deligne-Mumford stack X with the resolution property, we show that the Cartan-Eilenberg resolutions of unbounded complexes of quasicoherent sheaves are K-injective resolutions. This allows us to realize the derived category of quasi-coherent sheaves on X as a reflexive full subcategory of the derived category of X-modules.We then use the results of Neeman and recent results of Kresch to establish the localization theorem of Thomason-Trobaugh for the K-theory of perfect complexes on stacks of above type which have coarse moduli schemes. As a byproduct, we get a generalization of Krause's result about the stable derived categories of schemes to such stacks.We prove Thomason's classification of thick triangulated tensor subcategories of D(perf / X). As the final application of our localization theorem, we show that the spectrum of D(perf / X) as defined by Balmer, is naturally isomorphic to the coarse moduli scheme of X, answering a question of Balmer for the tensor triangulated categories arising from Deligne-Mumford stacks.


Author(s):  
Joseph Chuang ◽  
Andrey Lazarev

Abstract We introduce the notion of a rank function on a triangulated category 𝒞 {\mathcal{C}} which generalizes the Sylvester rank function in the case when 𝒞 = 𝖯𝖾𝗋𝖿 ⁢ ( A ) {\mathcal{C}=\mathsf{Perf}(A)} is the perfect derived category of a ring A. We show that rank functions are closely related to functors into simple triangulated categories and classify Verdier quotients into simple triangulated categories in terms of particular rank functions called localizing. If 𝒞 = 𝖯𝖾𝗋𝖿 ⁢ ( A ) {\mathcal{C}=\mathsf{Perf}(A)} as above, localizing rank functions also classify finite homological epimorphisms from A into differential graded skew-fields or, more generally, differential graded Artinian rings. To establish these results, we develop the theory of derived localization of differential graded algebras at thick subcategories of their perfect derived categories. This is a far-reaching generalization of Cohn’s matrix localization of rings and has independent interest.


Author(s):  
D. Huybrechts

This chapter briefly outlines the main steps in the construction of the derived category of an arbitrary abelian category. The homotopy category of complexes is considered as an intermediate step, which is then localized with respect to quasi-isomorphisms. Left and right derived functors are explained in general, and particular examples are studied in more detail. Spectral sequences are treated in a separate section.


Author(s):  
Rina Anno ◽  
Timothy Logvinenko

Abstract Given a differentially graded (DG)-category ${{\mathcal{A}}}$, we introduce the bar category of modules ${\overline{\textbf{{Mod}}}-{\mathcal{A}}}$. It is a DG enhancement of the derived category $D({{\mathcal{A}}})$ of ${{\mathcal{A}}}$, which is isomorphic to the category of DG ${{\mathcal{A}}}$-modules with ${A_{\infty }}$-morphisms between them. However, it is defined intrinsically in the language of DG categories and requires no complex machinery or sign conventions of ${A_{\infty }}$-categories. We define for these bar categories Tensor and Hom bifunctors, dualisation functors, and a convolution of twisted complexes. The intended application is to working with DG-bimodules as enhancements of exact functors between triangulated categories. As a demonstration, we develop a homotopy adjunction theory for tensor functors between derived categories of DG categories. It allows us to show in an enhanced setting that given a functor $F$ with left and right adjoints $L$ and $R$, the functorial complex $FR \xrightarrow{F{\operatorname{act}}{R}} FRFR \xrightarrow{FR{\operatorname{tr}} - {\operatorname{tr}}{FR}} FR \xrightarrow{{\operatorname{tr}}} {\operatorname{Id}}$ lifts to a canonical twisted complex whose convolution is the square of the spherical twist of $F$. We then write down four induced functorial Postnikov systems computing this convolution.


2014 ◽  
Vol 15 (3) ◽  
pp. 613-623 ◽  
Author(s):  
Paul Balmer

We prove that étale morphisms of schemes yield separable extensions of derived categories. We then generalize the Neeman–Thomason localization theorem to separable extensions of triangulated categories.


Author(s):  
D. Huybrechts

The discussion of the previous chapter is applied to the derived category of the abelian category of coherent sheaves. The Serre functor is introduced, and particular spanning classes are constructed. The usual geometric functors, direct and inverse image, tensor product, and global sections, are derived and extended to functors between derived categories. The compatibilities between them are reviewed. The final section focuses on the Grothendieck-Verdier duality.


2016 ◽  
Vol 152 (6) ◽  
pp. 1237-1285 ◽  
Author(s):  
Florian Ivorra

Let $k=\mathbb{C}$ be the field of complex numbers. In this article we construct Hodge realization functors defined on the triangulated categories of étale motives with rational coefficients. Our construction extends to every smooth quasi-projective $k$-scheme, the construction done by Nori over a field, and relies on the original version of the basic lemma proved by Beĭlinson. As in the case considered by Nori, the realization functor factors through the bounded derived category of a perverse version of the Abelian category of Nori motives.


2005 ◽  
Vol 04 (05) ◽  
pp. 587-597 ◽  
Author(s):  
BERNT TORE JENSEN ◽  
XIUPING SU ◽  
ALEXANDER ZIMMERMANN

In an earlier paper we defined a relation ≤Δ between objects of the derived category of bounded complexes of modules over a finite dimensional algebra over an algebraically closed field. This relation was shown to be equivalent to the topologically defined degeneration order in a certain space [Formula: see text] for derived categories. This space was defined as a natural generalization of varieties for modules. We remark that this relation ≤Δ is defined for any triangulated category and show that under some finiteness assumptions on the triangulated category ≤Δ is always a partial order.


Sign in / Sign up

Export Citation Format

Share Document