60 pages, submitted to the proceedings of the GCOE conference "Derived categories 2011 Tokyo"; v2: Example 4.3 corrected (many thanks to B. Leclerc); v3: references updated; v4: end of section 3.2 corrected and completed
This is an introductory survey on cluster algebras and their (additive) categorification using derived categories of Ginzburg algebras. After a gentle introduction to cluster combinatorics, we review important examples of coordinate rings admitting a cluster algebra structure. We then present the general definition of a cluster algebra and describe the interplay between cluster variables, coefficients, c-vectors and g-vectors. We show how c-vectors appear in the study of quantum cluster algebras and their links to the quantum dilogarithm. We then present the framework of additive categorification of cluster algebras based on the notion of quiver with potential and on the derived category of the associated Ginzburg algebra. We show how the combinatorics introduced previously lift to the categorical level and how this leads to proofs, for cluster algebras associated with quivers, of some of Fomin-Zelevinsky's fundamental conjectures.
Recently, Nakaoka and Palu introduced a notion of extriangulated categories. This is a unification of exact categories and triangulated categories. In this paper, we generalize the definitions of Hall algebras of exact categories and triangulated categories to extriangulated categories.
We prove in full generality that the generalized quantum affine Schur-Weyl duality functor, introduced by Kang-Kashiwara-Kim, gives an equivalence between the category of finite-dimensional modules over a quiver Hecke algebra and a certain full subcategory of finite-dimensional modules over a quantum affine algebra which is a generalization of the Hernandez-Leclerc's category $\mathcal{C}_Q$. This was previously proved in untwisted $ADE$ types by Fujita using the geometry of quiver varieties, which is not applicable in general. Our proof is purely algebraic, and so can be extended uniformly to…
We show that for the path algebra $A$ of an acyclic quiver, the singularity category of the derived category $\mathsf{D}^{\rm b}(\mathsf{mod}\,A)$ is triangle equivalent to the derived category of the functor category of $\underline{\mathsf{mod}}\,A$, that is, $\mathsf{D}_{\rm sg}(\mathsf{D}^{\rm b}(\mathsf{mod}\,A))\simeq \mathsf{D}^{\rm b}(\mathsf{mod}(\underline{\mathsf{mod}}\,A))$. This extends a result of Iyama-Oppermann for the path algebra $A$ of a Dynkin quiver. An important step is to establish a functor category analog of Happel's triangle equivalence for repetitive algebras.
We apply the technique of recollement to study the Gorenstein defect categories of triangular matrix algebras. First, we construct a left recollement of Gorenstein defect categories for a triangular matrix algebra under some conditions, using it, we give a categorical interpretation of the Gorenstein properties of the triangular matrix algebra obtained by X-W. Chen, B. L. Xiong and P. Zhang respectively. Second, under some additional conditions, a recollement of Gorenstein defect categories for a triangular matrix algebra is constructed. As an application, for a special kind of triangular matr…
In this paper we classify global dimensions of the category algebras of some finite categories, including finite truncations of the categories $FI$, $FI_G$, $FI_d$, $OI$, $OI_G$, $OI_d$ and $VI$
The paper is devoted to study some of the questions arises naturally in connection to the notion of relative derived categories. In particular, we study invariants of recollements involving relative derived categories, generalise two results of Happel by proving the existence of AR-triangles in Gorenstein derived categories, provide situations for which relative derived categories with respect to Gorenstein projective and Gorenstein injective modules are equivalent and finally study relations between the Gorenstein derived category of a quiver and its image under a reflection functor. Some int…
We study composition series of derived module categories in the sense of Angeleri Hügel, König & Liu for quasi-hereditary algebras. More precisely, we show that having a composition series with all factors being derived categories of vector spaces does not characterise derived categories of quasi-hereditay algebras. This gives a negative answer to a question of Liu & Yang and the proof also confirms part of a conjecture of Bobiński & Malicki. In another direction, we show that derived categories of quasi-hereditary algebras can have composition series with lots of different lengths and composi…
We give the definition of presentations of linear monoidal categories. Our main result is that given a presentation of a linear monoidal category, we can produce a presentation of the same category as a linear category. We apply this result to endomorphism algebras of certain important linear monoidal categories.
In this note we give an account of recent progress on the construction of holomorphic vertex algebras as cyclic orbifolds as well as related topics in lattices and modular categories. We present a novel computation of the Schur indicator of a lattice involution orbifold using finite Heisenberg groups and discriminant forms.
We investigate the properties of pure derived categories of module categories, and show that pure derived categories share many nice properties of classical derived categories. In particular, we show that bounded pure derived categories can be realized as certain homotopy categories. We introduce the pure projective (resp. injective) dimension of complexes in pure derived categories, and give some criteria for computing these dimensions in terms of the properties of pure projective (resp. injective) resolutions and pure derived functors. As a consequence, we get some equivalent characterizatio…
Let $A$ be a graded algebra. It is shown that the derived category of dg modules over $A$ (viewed as a dg algebra with trivial differential) is a triangulated hull of a certain orbit category of the derived category of graded $A$-modules. This is applied to study derived categories of graded gentle one-cycle algebras.
We study two kinds of categorical traces of (monoidal) dg categories, with particular interest in categories of Soergel bimodules. First, we explicitly compute the usual Hochschild homology, or derived vertical trace, of the category of Soergel bimodules in arbitrary types. Secondly, we introduce the notion of derived horizontal trace of a monoidal dg category and compute the derived horizontal trace of Soergel bimodules in type A. As an application we obtain a derived annular Khovanov-Rozansky link invariant with an action of full twist insertion, and thus a categorification of the HOMFLY-PT …
Let $T=(A,M,0,B)$ be a triangular matrix algebra with its corner algebras $A$ and $B$ Artinian and $_AM_B$ an $A$-$B$-bimodule. The 2-recollement structures for singularity categories and Gorenstein defect categories over $T$ are studied. Under mild assumptions, we provide necessary and sufficient conditions for the existences of 2-recollements of singularity categories and Gorenstein defect categories over $T$ relative to those of $A$ and $B$. Parts of our results strengthen and unify the corresponding work in [27,28,34].
Derived decompositions of abelian categories are introduced in internal terms of abelian subcategories to construct semi-orthogonal decompositions (or Bousfield localizations, or hereditary torsion pairs) in various derived categories of abelian categories. We give a sufficient condition for arbitrary abelian categories to have such derived decompositions and show that it is also necessary for abelian categories with enough projectives and injectives. For bounded derived categories, we describe which semi-orthogonal decompositions are determined by derived decompositions. The necessary and suf…
We consider the universal pivotal, symmetric, monoidal, $\Bbbk$-linear category, generated by a Schurian object with a skew-symmetric multiplication, and study some of its quotients. We show that these quotients give rise to either vector product algebras or representation categories of exceptional Lie algebras.
Recollements of abelian categories are used as a basis of a homological and recursive approach to quasi-hereditary algebras. This yields a homological proof of Dlab and Ringel's characterisation of idempotent ideals occuring in heredity chains, which in turn characterises quasi-hereditary algebras recursively. Further applications are given to hereditary algebras and to Morita context rings.
Recollements of derived module categories are investigated, using a new technique, ladders of recollements, which are mutation sequences. The position in the ladder is shown to control whether a recollement restricts from unbounded to another level of derived category. Ladders also turn out to control derived simplicity on all levels. An algebra is derived simple if its derived category cannot be deconstructed, that is, if it is not the middle term of a non-trivial recollement whose outer terms are again derived categories of algebras. Derived simplicity on each level is characterised in terms…
Using the relative derived categories, we prove that if an Artin algebra $A$ has a module $T$ with ${\rm inj.dim}T<\infty$ such that $^\perp T$ is finite, then the bounded derived category $D^b({\rm mod}A)$ admits a categorical resolution; and that for CM-finite Gorenstein algebra, such a categorical resolution is weakly crepant.
In this paper, we shall establish the Mackey formulas in the following two set ups: (i) on the tensor induction and restriction functors on the modules over cyclotomic Hecke algebras (Ariki-Koike algebras) and their standard subalgebras of parabolic subgroups. (ii) on the Bezrukavnikov-Etingof induction and restriction functors among categories O of rational Cherednik algebras for the complex reflection group of type G(r, 1, n) and their parabolic subgroups.
This is a companion paper of arXiv:1901.09461, where different notions of dimension for triangulated categories are discussed. Here we compute dimensions for some examples of triangulated categories and thus illustrate and motivate material from loc. cit. Our examples include path algebras of finite ordered quivers, orbifold projective lines, some tensor powers of path algebras in Dynkin quivers of type A and categories, generated by an exceptional pair.
For a recollement $(\mathcal{D}B,\mathcal{D}A,\mathcal{D}C)$ of derived categories of algebras, we investigate when the functor $j^*:\mathcal{D}A\rightarrow\mathcal{D}C$ is an eventually homological isomorphism. In this context, we compare the algebras $A$ and $C$ with respect to Gorensteinness, singularity categories and the finite generation condition Fg for the Hochschild cohomology. The results are applied to stratifying ideals, triangular matrix algebras and derived discrete algebras.
Let $Λ= \left[\begin{array}{cc} A & 0 \\ M & B \end{array}\right] $ be an Artin algebra and $_BM_A$ a $B$-$A$-bimodule. We prove that there is a triangle equivalence $D_{sg}(Λ) \cong D_{sg}(A)\coprod D_{sg}(B)$ between the corresponding singularity categories if $_BM$ is semi-simple and $M_A$ is projective. As a result, we obtain a new method for describing the singularity categories of certain bounded quiver algebras.
We give analogues of the Auslander correspondence for two classes of triangulated categories satisfying certain finiteness conditions. The first class is triangulated categories with additive generators and we consider their endomorphism algebras as the Auslander algebras. For the second one, we introduce the notion of $[1]$-additive generators and consider their graded endormorphism algebras as the Auslander algebras. We give a homological characterization of the Auslander algebras for each class. Along the way, we also show that the algebraic triangle structures on the homotopy categories ar…
