scholarly journals Abelian Categories from Triangulated Categories via Nakaoka–Palu’s Localization

Author(s):  
Yasuaki Ogawa
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.


2010 ◽  
Vol 53 (4) ◽  
pp. 1111-1116 ◽  
Author(s):  
YaNan Lin ◽  
MinXiong Wang

Author(s):  
D. Huybrechts

Reviewing the basic notions of additive and abelian categories, left and right adjoint functors, and Serre functors, this chapter is mainly devoted to triangulated categories. In particular, criteria are established which decide when a given functor is fully-faithful or an equivalence. This is formulated in terms of spanning classes. The last section discusses exceptional objects in triangulated categories which lead naturally to the notion of orthogonal decompositions of categories.


Author(s):  
Xiao-Wu Chen ◽  
Jue Le

For each recollement of triangulated categories, there is an epivalence between the middle category and the comma category associated with a triangle functor from the category on the right to the category on the left. For a morphic enhancement of a triangulated category $\mathcal {T}$ , there are three explicit ideals of the enhancing category, whose corresponding factor categories are all equivalent to the module category over $\mathcal {T}$ . Examples related to inflation categories and weighted projective lines are discussed.


2014 ◽  
Vol 57 (2) ◽  
pp. 263-284 ◽  
Author(s):  
XIAOYAN YANG

AbstractWe define model structures on a triangulated category with respect to some proper classes of triangles and give a general study of triangulated model structures. We look at the relationship between these model structures and cotorsion pairs with respect to a proper class of triangles on the triangulated category. In particular, we get Hovey's one-to-one correspondence between triangulated model structures and complete cotorsion pairs with respect to a proper class of triangles. Some applications are given.


2018 ◽  
Vol 17 (04) ◽  
pp. 1850062
Author(s):  
Olivier Verdier

Matrix pencils, or pairs of matrices, are used in a variety of applications. By the Kronecker decomposition theorem, they admit a normal form. This normal form consists of four parts, one part based on the Jordan canonical form, one part made of nilpotent matrices, and two other dual parts, which we call the observation and control part. The goal of this paper is to show that large portions of that decomposition are still valid for pairs of morphisms of modules or abelian groups, and more generally in any abelian category. In the vector space case, we recover the full Kronecker decomposition theorem. The main technique is that of reduction, which extends readily to the abelian category case. Reductions naturally arise in two flavors, which are dual to each other. There are a number of properties of those reductions which extend remarkably from the vector space case to abelian categories. First, both types of reduction commute. Second, at each step of the reduction, one can compute three sequences of invariant spaces (objects in the category), which generalize the Kronecker decomposition into nilpotent, observation and control blocks. These sequences indicate whether the system is reduced in one direction or the other. In the category of modules, there is also a relation between these sequences and the resolvent set of the pair of morphisms, which generalizes the regular pencil theorem. We also indicate how this allows to define invariant subspaces in the vector space case, and study the notion of strangeness as an example.


2021 ◽  
Vol 28 (01) ◽  
pp. 143-154
Author(s):  
Yiyu Li ◽  
Ming Lu

For any positive integer [Formula: see text], we clearly describe all finite-dimensional algebras [Formula: see text] such that the upper triangular matrix algebras [Formula: see text] are piecewise hereditary. Consequently, we describe all finite-dimensional algebras [Formula: see text] such that their derived categories of [Formula: see text]-complexes are triangulated equivalent to derived categories of hereditary abelian categories, and we describe the tensor algebras [Formula: see text] for which their singularity categories are triangulated orbit categories of the derived categories of hereditary abelian categories.


Author(s):  
Aimin Xu

Let [Formula: see text] be either the category of [Formula: see text]-modules or the category of chain complexes of [Formula: see text]-modules and [Formula: see text] a cofibrantly generated hereditary abelian model structure on [Formula: see text]. First, we get a new cofibrantly generated model structure on [Formula: see text] related to [Formula: see text] for any positive integer [Formula: see text], and hence, one can get new algebraic triangulated categories. Second, it is shown that any [Formula: see text]-strongly Gorenstein projective module gives rise to a projective cotorsion pair cogenerated by a set. Finally, let [Formula: see text] be an [Formula: see text]-module with finite flat dimension and [Formula: see text] a positive integer, if [Formula: see text] is an exact sequence of [Formula: see text]-modules with every [Formula: see text] Gorenstein injective, then [Formula: see text] is injective.


Sign in / Sign up

Export Citation Format

Share Document