Generalized Serre duality

From MaRDI portal



Abstract: We introduce a notion of generalized Serre duality on a Hom-finite Krull-Schmidt triangulated category mathcalT. This duality induces the generalized Serre functor on mathcalT, which is a linear triangle equivalence between two thick triangulated subcategories of mathcalT. Moreover, the domain of the generalized Serre functor is the smallest additive subcategory of mathcalT containing all the indecomposable objects which appear as the third term of an Auslander-Reiten triangle in mathcalT; dually, the range of the generalized Serre functor is the smallest additive subcategory of mathcalT containing all the indecomposable objects which appear as the first term of an Auslander-Reiten triangle in mathcalT. We compute explicitly the generalized Serre duality on the bounded derived categories of artin algebras and of certain noncommutative projective schemes in the sense of Artin and Zhang. We obtain a characterization of Gorenstein algebras: an artin algebra A is Gorenstein if and only if the bounded homotopy category of finitely generated projective A-modules has Serre duality in the sense of Bondal and Kapranov.


The paper under review deals with the existence of Auslander-Reiten (AR) triangles in a Hom-finite Krull-Schmidt triangulated category. A result of Reiten-Van den Bergh states that such a category has AR triangles if and only if it has a Serre duality (in the sense of Bondal-Kapranov). In general, however, this is not the case, and for such categories the author establishes a relative version of the above result. More precisely, let \(R\) be a commutative artinian ring, \(E\) a minimal injective cogenerator for \(R\), and \(D:=(-,E)\). Assuming the category in question is \(R\)-linear, look at the subcategory consisting of objects \(X\) such that the functor \(D(X,-)\) is representable. Likewise, define a second subcategory such that \(D(-,X)\) is representable. Then there is a unique \(R\)-linear equivalence \(S\) between the two, giving rise to a natural isomorphism \(D(X,Y) \simeq (Y,S(X))\). When the ambient category has Serre duality, it coincides with the two subcategories. This motivates the author to call \(S\), with the requisite subcategories, a generalized Serre duality. The main result of the paper asserts that an indecomposable object is in the former (resp., latter) subcategory precisely when there is an AR triangle beginning (resp., ending) with it.



Cites work









This page was built for publication: Generalized Serre duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q536178)