We study the projective dimensions of the restriction of functors Hom(-,X) to a contravariantly finite rigid subcategory T of a triangulated category C. We show that the projective dimension of Hom(-,X)|T is at most one if and only if there are no non-zero morphisms between objects in T[1] factoring through X, when the object X belongs to a suitable subcategory of C. As a consequence, we obtain a characterisation of the objects of infinite projective dimension in the category of finitely presented contravariant functors on a cluster-tilting subcategory of C.
In this paper, we use the stable categories of some selfinjective algebras to describe the singularity categories of the cluster-tilted algebras of Dynkin type. Furthermore, in this way, we settle the problem of singularity equivalence classification of the cluster-tilted algebra of type $A$, $D$ and $E$ respectively.
We study the projective dimension of finitely generated modules over cluster-tilted algebras End(T) where T is a cluster-tilting object in a cluster category C. It is well-known that all End(T)-modules are of the form Hom(T,M) for some object M in C, and since End(T) is Gorenstein of dimension 1, the projective dimension of Hom(T,M) is either zero, one or infinity. We define in this article the ideal I_M of End(T[1]) given by all endomorphisms that factor through M, and show that the End(T)-module Hom(T,M) has infinite projective dimension precisely when I_M is non-zero. Moreover, we apply the…
We study the module categories of a tilted algebra C and the corresponding cluster-tilted algebra B. We investigate how various properties of a C-module are affected when considered in the module category of B. We give a complete classification of the projective dimension of a C-module inside the module category of B. If a C-module M is rigid, we show two sufficient conditions for M to be a rigid B-module. In particular, if M is an indecomposable and rigid C-module, we prove M is always a rigid B-module.
We show that the quotient of the continuous cluster category $\mathcal C_π$ modulo the additive subcategory generated by any cluster is an abelian category and we show that it is isomorphic to the category of infinite length modules over the endomorphism ring of the cluster. These theorems extend the theorems of Caldero-Chapoton-Schiffler and Buan-Marsh-Reiten for cluster categories to the continuous cluster category of type $A$. These results will be generalized in a series of forthcoming joint papers of the two authors with Job Rock.
We define a class of finite-dimensional Jacobian algebras, which are called (simple) polygon-tree algebras, as a generalization of cluster-tilted algebras of type $\D$. They are $2$-CY-tilted algebras. Using a suitable process of mutations of quivers with potentials (which are also BB-mutations) inducing derived equivalences, and one-pointed (co)extensions which preserve singularity equivalences, we find a connected selfinjective Nakayama algebra whose stable category is equivalent to the singularity category of a simple polygon-tree algebra. Furthermore, we also give a classification of algeb…
We construct the intermediate coverings of cluster-tilted algebras by defining the generalized cluster categories. These generalized cluster categories are Calabi-Yau triangulated categories with fraction CY-dimension and have also cluster tilting objects (subcategories). Furthermore we study the representations of these intermediate coverings of cluster-tilted algebras.
Let $\mathbb{X}$ be a weighted projective line and $\operatorname{coh}\mathbb{X}$ the associated categoy of coherent sheaves. We classify the tilting complexes $T$ in $D^b(\operatorname{coh}\mathbb{X})$ such that $τ^2 T\cong T$, where $τ$ is the Auslander-Reiten translation in $D^b(\operatorname{coh}\mathbb{X})$. As an application of this result, we classify the 2-representation-finite algebras which are derived-equivalent to a canonical algebra. This complements Iyama-Oppermann's classification of the iterated tilted 2-representation-finite algebras. By passing to 3-preprojective algebras, we…
Let $H$ be a finite dimensional hereditary algebra over an algebraically closed field, and let $\mathcal{C}_{H}$ be the corresponding cluster category. We give a description of the (standard) fundamental domain of $\mathcal{C}_{H} $ in the bounded derived category $\mathcal{D}^{b}(H)$, and of the cluster-tilting objects, in terms of the category $\modΓ$\ of finitely generated modules over a suitable tilted algebra $% Γ.$ Furthermore, we apply this description to obtain (the quiver of) an arbitrary cluster-tilted algebra.
We study the module categories of a tilted algebra C and the corresponding cluster-tilted algebra B. In particular, we study which $τ$-rigid C-modules are also $τ$-rigid B-modules.
We give an introduction to the theory of cluster categories and cluster tilted algebras. We include some background on the theory of cluster algebras, and discuss the interplay with cluster categories and cluster tilted algebras.
We present a graded mutation rule for quivers of cluster-tilted algebras. Furthermore, we give a technique to recover a cluster-tilting object from its graded quiver in the cluster category of coh $\mathbb{X}$.
We show that every simple transitive $2$-representation of the $2$-category of projective functors for a certain quotient of the quadratic dual of the preprojective algebra associated with a tree is equivalent to a cell $2$-representation.
We derive an algorithm for mutating quivers of 2-CY tilted algebras that have loops and 2-cycles, under certain specific conditions. Further, we give the classification of the 2-CY tilted algebras coming from standard algebraic 2-CY triangulated categories with a finite number of indecomposables. These form a class of algebras that satisfy the setup for our mutation algorithm.
We show that any simple transitive $2$-representation of the $2$-ca\-te\-go\-ry of projective endofunctors for the quiver algebra of $\Bbbk(\xymatrix{\bullet\ar[r]&\bullet})$ and for the quiver algebra of $\Bbbk(\xymatrix{\bullet\ar[r]\ar@/^/@{.}[rr]&\bullet\ar[r]&\bullet})$ is equivalent to a cell $2$-representation.
This paper classifies all the tilting bundles in the category of coherent sheaves on the weighted projective line of weight type $(2, 2, n)$, and investigates the abelianness of the "missing part" from the category of coherent sheaves to the category of finitely generated right modules on the associated tilted algebra for each tilting bundle.
It is well-known that any maximal Cohen-Macaulay module over a hypersurface has a periodic free resolution of period 2. Auslander, Reiten and Buchweitz have used this periodicity to explain the existence of periodic projective resolutions over certain finite-dimensional algebras which arise as stable endomorphism rings of Cohen-Macaulay modules. These algebras are in fact periodic, meaning that they have periodic projective resolutions as bimodules and thus periodic Hochschild cohomology as well. The goal of this article is to generalize this construction of periodic algebras to the context of…
Let $\mathbb{X}$ be a weighted projective line and $\mathcal{C}_\mathbb{X}$ the associated cluster category. It is known that $\mathcal{C}_\mathbb{X}$ can be realized as a generalized cluster category of quiver with potential. In this note, under the assumption that $\mathbb{X}$ has at most three weights or is of tubular type, we prove that if the generalized cluster category $\mathcal{C}_{(Q,W)}$ of a Jacobi-finite non-degenerate quiver with potential $(Q,W)$ shares a $2$-CY tilted algebra with $\mathcal{C}_\mathbb{X}$, then $\mathcal{C}_{(Q,W)}$ is triangle equivalent to $\mathcal{C}_\mathbb…
This is an appendix to the Handbook of Tilting Theory, edited by Angeleri-Huegel, Happel and Krause, to be published soon. Part 1 of the appendix provides an outline of the core of tilting theory. Part 2 is devoted to topics where tilting modules and tilted algebras have shown to be relevant. Both Parts 1 and 2 contain historical annodations and reminiscences. The final Part 3 is a short report on some striking recent developments which are motivated by the cluster theory of Fomin and Zelevinsky. In particular, we will guide the reader to the basic properties of cluster tilted algebras, to the…
Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. A notion of proper class in an extriangulated category is defined in this paper. Let $\mathcal{C}$ be an extriangulated category and $ξ$ a proper class in $\mathcal{C}$. We prove that $\mathcal{C}$ admits a new extriangulated structure. This construction gives extriangulated categories which are neither exact categories nor triangulated categories. Moreover, we introduce and study $ξ$-Gorenstein projective objects in $\mathcal{C}$ and demonstrate that …
We study the module category of a certain Galois covering of a cluster-tilted algebra which we call the cluster repetitive algebra. Our main result compares the module categories of the cluster repetitive algebra of a tilted algebra C and the repetitive algebra of C, in the sense of Hughes and Waschbuesch.
Tilting theory in cluster categories of hereditary algebras has been developed in [BMRRT] and [BMR]. These results are generalized to cluster categories of hereditary abelian categories. Furthermore, for any tilting object $T$ in a hereditary abelian category $\mathcal{H}$, we verify that the tilting functor Hom$_\mathcal{H}(T,-)$ induces a triangle equivalence from the cluster category $\mathcal{C(H)}$ to the cluster category $\mathcal{C}(A)$, where $A$ is the quasi-tilted algebra End$_{\mathcal{H}}T.$ Under the condition that one of derived categories of hereditary abelian categories $\mathc…
Krull-Schmidt categories are additive categories such that each object decomposes into a finite direct sum of indecomposable objects having local endomorphism rings. We provide a self-contained introduction which is based on the concept of a projective cover.
The cluster-tilted algebras have been introduced by Buan, Marsh and Reiten, they are the endomorphism rings of cluster-tilting objects $T$ in cluster categories; we call such an algebra cluster-concealed in case $T$ is obtained from a preprojective tilting module. For example, all representation-finite cluster-tilted algebras are cluster-concealed. If $C$ is a representation-finite cluster-tilted algebra, then the indecomposable $C$-modules are shown to be determined by their dimension vectors. For a general cluster-tilted algebra $C$, we are going to describe the dimension vectors of the inde…
In this paper we introduce a local-refinement procedure to investigate stability data on an abelian category, and provide a sufficient and necessary condition for a stability data to be finest. We classify all the finest stability data for the categories of coherent sheaves over certain weighted projective curves, including the classical projective line, smooth elliptic curves and certain weighted projective lines. As applications, we obtain a classification of torsion pairs for these categories via stability data approach. As a by-product, a new proof for the classification of torsion pairs i…
We classify blocks of categories of weight and generalized weight modules of algebras of twisted differential operators on P^n. Necessary and sufficient conditions for these blocks to be tame and proofs that some of the blocks are Koszul are provided. We also establish equivalences of categories between these blocks and categories of bounded and generalized bounded weight sl(n+1)-modules in the cases of nonintegral and singular central character.
Let $\mathcal{A}$ be an essentially small abelian category. We prove that if $\mathcal{A}$ admits a generator $M$ with ${\rm End}_{\mathcal{A}}(M)$ right artinian, then $\mathcal{A}$ admits a projective generator. If $\mathcal{A}$ is further assumed to be Grothendieck, then this implies that $\mathcal{A}$ is equivalent to a module category. When $\mathcal{A}$ is Hom-finite over a field $k$, the existence of a generator is the same as the existence of a projective generator, and in case there is such a generator, $\mathcal{A}$ has to be equivalent to the category of finite dimensional right mod…
We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category Mon(B, A-Gproj) to describe some Gorenstein projective bimodules over the tensor product of $A$ and $B$. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for Mon(B, A-Gproj) being the category of all Gorenstein projective bimodules. In addition, If both $A$ and $B$ are Gorenstein, we can describe the category of all Gorens…
It is shown that a 4-recollement of derived categories of CM-finite algebras induces a 2-recollement of the corresponding Cohen-Macaulay Auslander algebras, which generalises the main theorem of Pan [S. Y. Pan, Derived equivalences for Cohen-Macaulay Auslander algebras, J. Pure Appl. Algebra 216 (2012), 355{363]. Moreover, both Auslander- Reiten conjecture and Gorenstein projective conjecture are shown invariant under 3 (or 4)-recollement of unbounded derived categories of algebras.
In this note, we consider the $d$-cluster-tilted algebras, the endomorphism algebras of $d$-cluster-tilting objects in $d$-cluster categories. We show that a tilting module over such an algebra lifts to a $d$-cluster-tilting object in this $d$-cluster category.
Building on work of Jasso, we prove that any projectively generated $d$-abelian category is equivalent to a $d$-cluster tilting subcategory of an abelian category with enough projectives. This supports the claim that $d$-abelian categories are good axiomatizations of $d$-cluster tilting subcategories.
We prove that a certain eventually homological isomorphism between module categories induces a triangle equivalence between their singularity categories, Gorenstein defect categories and the stable categories of Gorenstein projective modules. Further, we show that Auslander-Reiten conjecture and Gorenstein symmetry conjecture can be reduced by eventually homological isomorphisms. Applying the results to arrow removal and vertex removal, we describe the Gorenstein projective modules over some non-monomial algebras, and we verify the Auslander-Reiten conjecture for certain algebras.
Every cluster-tilted algebra $B$ is the relation extension $C\ltimes \text{Ext}^2_C(DC,C)$ of a tilted algebra $C$. A $B$-module is called induced if it is of the form $M\otimes_C B$ for some $C$-module $M$. We study the relation between the injective presentations of a $C$-module and the injective presentations of the induced $B$-module. Our main result is an explicit construction of the modules and morphisms in an injective presentation of any induced $B$-module. In the case where the $C$-module, and hence the $B$-module, is projective, our construction yields an injective resolution. In par…
We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory $ω$ of an abelian category. We introduce the Frobenius category of $ω$-Cohen-Macaulay objects, and under some reasonable conditions, we show that the stable category of $ω$-Cohen-Macaulay objects is triangle-equivalent to the relative singularity category. As applications, we relate the stable category of (unnecessarily finitely-generated) Gorenstein-projective modules with singularity categories of rings. We prove that for a Gorenstein ring, the stable category of Gorenstein-projective mod…
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.
Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective lines; this is illustrated by various applications.
We give necessary and sufficient conditions for torsion pairs in a hereditary category to be in bijection with $t$-structures in the bounded derived category of that hereditary category. We prove that the existence of a split $t$-structure with nontrivial heart in a semiconnected Krull-Schmidt category implies that this category is equivalent to the derived category of a hereditary category. We construct a bijection between split torsion pairs in the module category of a tilted algebra having a complete slice in the preinjective component with corresponding $t$-structures. Finally, we classify…
The monomorphism category $\mathcal S_n(\mathcal X)$ is introduced, where $\mathcal X$ is a full subcategory of the module category $A$-mod of Artin algebra $A$. The key result is a reciprocity of the monomorphism operator $\mathcal S_n$ and the left perpendicular operator $^\perp$: for a cotilting $A$-module $T$, there is a canonical construction of a cotilting $T_n(A)$-module ${\rm \bf m}(T)$, such that $\mathcal S_n(^\perp T) = \ ^\perp {\rm \bf m}(T)$. As applications, $\mathcal S_n(\mathcal X)$ is a resolving contravariantly finite subcategory in $T_n(A)$-mod with $\hat{\mathcal S_n(\math…
We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius functor preserves the stable categories of Gorenstein projective objects, the singularity categories and the Gorenstein defect categories, respectively. In the appendix, we give a direct proof of the following known result: for an abelian category with enough projectives and injectives, its global Gorenstein projective dimension coincides with its global Gor…
We investigate the bounded derived category of coherent sheaves on irreducible singular projective curves of arithmetic genus one. A description of the group of exact auto-equivalences and the set of all t-structures of this category is given. We describe the moduli space of stability conditions, obtain a complete classification of all spherical objects in this category and show that the group of exact auto-equivalences acts transitively on them. Harder-Narasimhan filtrations in the sense of Bridgeland are used as our main technical tool.
These notes provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines. Two different approaches are presented: one is based on a list of axioms and the other yields a description in terms of expansions of abelian categories. A weighted projective line is obtained from a projective line by inserting finitely many weights. So we describe the category of coherent sheaves on a projective line in some detail, and the insertion of weights amounts to adding simple objects. We call this process `expansion' and treat it axiomatically. Thus…
We give a result of Auslander-Ringel-Tachikawa type for Gorenstein-projective modules over a complete Gorenstein order. In particular, we prove that a complete Gorenstein order is of finite Cohen-Macaulay representation type if and only if every indecomposable pure-injective object in the stable category of Gorenstein-projective modules is compact.
We prove that in a 2-Calabi-Yau triangulated category, each cluster tilting subcategory is Gorenstein with all its finitely generated projectives of injective dimension at most one. We show that the stable category of its Cohen-Macaulay modules is 3-Calabi-Yau. We deduce in particular that cluster-tilted algebras are Gorenstein of dimension at most one, and hereditary if they are of finite global dimension. Our results also apply to the stable (!) endomorphism rings of maximal rigid modules of Geiss-Leclerc-Schroer. In addition, we prove a general result about relative 3-Calabi-Yau duality ove…
Let $\mathcal{A}$ be an abelian category. For a pair $(\mathcal{X},\mathcal{Y}$ of classes of objects in $\mathcal{A},$ we define the weak and the $(\mathcal{X},\mathcal{Y})$-Gorenstein relative projective objects in $\mathcal{A}$. We point out that such objects generalize the usual Gorenstein projective objects and others generalizations appearing in the literature as Ding-projective, Ding-injective, $\mathcal{X}$-Gorenstein projective, Gorenstein AC-projective and $G_C$-projective modules and Cohen-Macaulay objects in abelian categories. We show that the principal results on Gorenstein proje…
In this paper, we prove that the lower triangular matrix category $Λ=\left [ \begin{smallmatrix} \mathcal{T}&0\\ M&\mathcal{U} \end{smallmatrix} \right ]$, where $\mathcal{T}$ and $\mathcal{U}$ are quasi-hereditary $\mathrm{Hom}$-finite Krull-Schmidt $K$-categories and $M$ is a $\mathcal U\otimes_K \mathcal T^{op}$-module that satisfies suitable conditions, is quasi-hereditary in the sense of \cite{LGOS1} and \cite{Martin}. Moreover, we solve the problem of finding quotients of path categories isomorphic to the lower triangular matrix category $Λ$, where $\mathcal T=K\mathcal{R/J}$ and $\mathc…
For the base field of complex numbers we discuss the relationship between categories of coherent sheaves on compact Riemann surfaces and categories of coherent sheaves on weighted smooth projective curves. This is done by bringing back to life an old theorem of Bundgaard-Nielsen-Fox proving Fenchel's conjecture for fuchsian groups.
Let k be an algebraically closed field and A a k-linear hereditary category satisfying Serre duality with no infinite radicals between the preprojective objects. If A is generated by the preprojective objects, then we show that A is derived equivalent to rep_k Q for a so called strongly locally finite quiver Q. To this end, we introduce light cone distances and round trip distances on quivers which will be used to investigate sections in stable translation quivers of the form \mathbb{Z} Q.
For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived category of the Leavitt path algebra viewed as a differential graded algebra with trivial differential, which is further triangle equivalent to the stable category of Gorenstein projective modules over the trivial extension algebra of a von Neumann regular algebra by an invertible bimodule. A related, but different, result for the homotopy category of acyclic c…
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…
We propose a new approach to study the relation between the module categories of a tilted algebra $C$ and the corresponding cluster-tilted algebra $B=C\ltimes E$. This new approach consists of using the induction functor $-\otimes_C B$ as well as the coinduction functor $D(B\otimes_C D-)$. We show that $DE$ is a partial tilting and a $τ$-rigid $C$-module and that the induced module $DE\otimes_C B$ is a partial tilting and a $τ$-rigid $B$-module. Furthermore, if $C=\text{End}_A T$ for a tilting module $T$ over a hereditary algebra $A$, we compare the induction and coinduction functors to the Bu…
From certain triangle functors, called non-negative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the stable categories of the abelian categories. The construction generalizes a previous work by Hu and Xi. We show that the stable functors of non-negative functors have nice exactness property and are compatible with composition of functors. This allows us to compare conveniently the homological properties of objects linked by the stable functors. Particularly, …
We characterize the modules of infinite projective dimension over the endomorphism algebras of Opperman-Thomas cluster tilting objects $X$ in $(n+2)$-angulated categories $(\mathcal C,Σ^n,Θ)$. For an indecomposable object $M$ of $\mathcal C$, we define in this article the ideal $I_M$ of ${\rm End}_{\mathcal C}(Σ^nX)$ given by all endomorphisms that factor through ${\rm add} M$, and show that the ${\rm End}_{\mathcal C}(X)$-module ${\rm Hom}_{\mathcal C}(X,M)$ has infinite projective dimension precisely when $I_M$ is non-zero. As an application, we generalize a recent result by Beaudet-Brüstle-…
Let $\rm{coh}\mathbb{X}$ be the category of coherent sheaves over a weighted projective line $\mathbb{X}$ and let $D^b(\rm{coh}\mathbb{X})$ be its bounded derived category. The present paper focuses on the study of the right and left mutation functors arising in $D^b(\rm{coh}\mathbb{X})$ attached to certain line bundles. As applications, we first show that these mutation functors give rise to simple reflections for the Weyl group of the star shaped quiver $Q$ associated with $\mathbb{X}$. By further dealing with the Ringel--Hall algebra of $\mathbb{X}$, we show that these functors provide a re…
