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 results above to characterize the location of modules of infinite projective dimension in the Auslander-Reiten quiver of cluster-tilted algebras of type $A$ and $D$.
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.
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 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 provide an affirmative answer for the question raised almost twenty years ago concerning the characterization of tilted artin algebras by the existence of a sincere finitely generated module which is not the middle of a short chain.
We prove that if a quasi-tilted algebra is tame, then the associated moduli spaces are products of projective spaces. Together with an earlier result of Chindris this gives a geometric characterization of the tame quasi-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…
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…
The aim of this work is to study the representation dimension of cluster tilted algebras. We prove that the weak representation dimension of tame cluster tilted algebras is equal to three. We construct a generator module that reaches the weak representation dimension, unfortunately this module is not always a cogenerator. We show for which algebras this module gives the representation dimension.
We determine the minimal lower bound $n$, with $n \geq 1$, where the $n$-th power of the radical of the module category of a representation-finite cluster tilted algebra vanishes. We give such a bound in terms of the number of vertices of the underline quiver. Consequently, we get the nilpotency index of the radical of the module category for representation-finite self-injective cluster tilted algebras. We also study the non-zero composition of $m$, $m \ge 2$, irreducible morphisms between indecomposable modules in representation-finite cluster tilted algebras lying in the $(m+1)$-th power of …
Let $Λ$ be a hereditary algebra, $B_0=End_Λ(T_0)$ be a tilted algebra. We will construct tilting $B_0$-modules from tilting $Λ$-modules and use this result to show how tilting quivers of BB-tilted algebras can be obtained from those of $Λ$
In this paper, we show that the tilting modules over a cluster-tilted algebra $A$ lift to tilting objects in the associated cluster category $\mathcal{C}_H$. As a first application, we describe the induced exchange relation for tilting $A$-modules arising from the exchange relation for tilting object in $\mathcal{C}_H$. As a second application, we exhibit tilting $A$-modules having cluster-tilted endomorphism algebras.
We show that a tilted algebra $A$ is tame if and only if for each generic root $\dd$ of $A$ and each indecomposable irreducible component $C$ of $\module(A,\dd)$, the field of rational invariants $k(C)^{\GL(\dd)}$ is isomorphic to $k$ or $k(x)$. Next, we show that the tame tilted algebras are precisely those tilted algebras $A$ with the property that for each generic root $\dd$ of $A$ and each indecomposable irreducible component $C \subseteq \module(A,\dd)$, the moduli space $\M(C)^{ss}_θ$ is either a point or just $\mathbb P^1$ whenever $θ$ is an integral weight for which $C^s_θ\neq \emptyse…
We characterize the indecomposable transjective modules over an arbitrary cluster-tilted algebra that do not lie on a local slice, and we provide a sharp upper bound for the number of (isoclasses of) these modules.
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 prove that indecomposable transjective modules over cluster-tilted algebras are uniquely determined by their dimension vectors. Similarly, we prove that for cluster-concealed algebras, rigid modules lifting to rigid objects in the corresponding cluster category are uniquely determined by their dimension vectors. Finally, we apply our results to a conjecture of Fomin and Zelevinsky on denominators of cluster variables.
We give an example of a cluster-tilted algebra A with quiver Q, such that the associated cluster algebra has a denominator vector which is not the dimension vector of any indecomposable A-module. This answers a question posed by T. Nakanishi. The relevant example is a cluster-tilted algebra associated with a tame hereditary algebra. We show that for such a cluster-tilted algebra A, we can write any denominator vector as a sum of the dimension vectors of at most three indecomposable rigid A-modules. In order to do this it is necessary, and of independent interest, to first classify the indecomp…
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…
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…
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…
For every cluster-tilted algebra of simply-laced Dynkin type we provide a companion basis which is strong, i.e. gives the set of dimension vectors of the finitely generated indecomposable modules for the cluster-tilted algebra. This shows in particular that every companion basis of a cluster-tilted algebra of simply-laced Dynkin type is strong. Thus we give a proof of Parsons's conjecture.
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.
This paper concerns when a finitely generated IG-projective module is projective over commutative Noetherian local rings. We prove that a finitely generated IG-projective module is projective if and only if it is selforthogonal.
We prove that the representation dimension of a selfinjective algebra of wild tilted type is equal to three, and give an explicit construction of an Auslander generator of its module category. We also show that if a connected selfinjective algebra admits an acyclic generalised standard Auslander-Reiten component then its representation dimension is equal to three.
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.
Comparing the module categories of an algebra and of the endomorphism algebra of a given support $τ$-tilting module, we give a generalization of the Brenner-Butler's tilting theorem in the framework of $τ$-tilting theory. Afterwards we define $τ$-slices and prove that complete slices of tilted algebras and local slices of cluster tilted algebras are examples of complete $τ$-slices. Then we apply this concept to the study of simply connected tilted algebras. Finally, we study the one-point extensions and the split-by-nilpotent extensions of an algebra with $τ$-slices.
Let $Λ$ be a cluster-tilted algebra of finite type over an algebraically closed field and $B$ be one of the associated tilted algebras. We show that the $B$-modules, ordered form right to left in the Auslander-Reiten quiver of $Λ$ form a maximal forward hom-orthogonal sequence of $Λ$-modules whose dimension vectors form the $c$-vectors of a maximal green sequence for $Λ$. Thus we give a proof of Igusa-Todorov's conjecture.
The category ${\rm gp}(Λ)$ of Gorenstein-projective modules over tensor algebra $Λ= A\otimes_kB$ can be described as the monomorphism category ${\rm mon}(B, {\rm gp}(A))$ of $B$ over ${\rm gp}(A)$. In particular, Gorenstein-projective $Λ$-modules are monic. In this paper, we find the similar relation between semi-Gorenstein-projective $Λ$-modules and $A$-modules, via monic modules, namely, ${\rm mon}(B, \ ^\perp A) = {\rm mon}(B, A)\cap \ ^\perp Λ.$ Using this, it is proved that if $A$ is weakly Gorenstein, then $Λ$ is weakly Gorenstein if and only each semi-Gorenstein-projective $Λ$-modules a…
Let k be a field and q a non-zero element of k. In Part I, we have exhibited a 6-dimensional k-algebra A = A(q) and we have shown that if q has infinite multiplicative order, then A has a 3-dimensional local module which is semi-Gorenstein-projective, but not torsionless, thus not Gorenstein-projective. This Part II is devoted to a detailed study of all the 3-dimensional local A-modules for this particular algebra A. If q has infinite multiplicative order, we will encounter a whole family of 3-dimensional local modules which are semi-Gorenstein-projective, but not torsionless.
We introduce the notions of Gorenstein projective $τ$-rigid modules, Gorenstein projective support $τ$-tilting modules and Gorenstein torsion pairs and give a Gorenstein analog to Adachi-Iyama-Reiten's bijection theorem on support $τ$-tilting modules. More precisely, for an algebra $Λ$, We prove that there is a bijection between the set of Gorenstein projective support $τ$-tilting modules and the set of functorially finite Gorenstein projective torsion classes. As an application, we introduce the notion of CM-$τ$-tilting finite algebras and show that $Λ$ is CM-$τ$-tilting finite if and only if…
Let $A$ be the one point extension of an algebra $B$ by a projective $B$-module. We prove that the extension of a given support $τ$-tilting $B$-module is a support $τ$-tilting $A$-module; and, conversely, the restriction of a given support $τ$-tilting $A$-module is a support $τ$-tilting $B$-module. Moreover, we prove that there exists a full embedding of quivers between the corresponding poset of support $τ$-tilting modules.
This article gives the structure of all projective indecomposable modules in blocks with non-cyclic defect group for $n\leq 11$, and almost all in the case of $n=12$, leaving four simple modules for $p=2$ and one simple module for $p=3$.
Let $A$ be a coherent algebra and $B$ be a finite-dimensional Gorenstein algebra over a field $k$. We describe finitely presented Gorenstein projective $A\otimes_k B$-modules in terms of their underlying onesided modules. Moreover, if the global dimension of $B$ is finite, we give a more precise description of finitely presented Gorenstein projective $A\otimes_k B$-modules.
We study totally acyclic complexes of projective modules over triangular matrix rings and then use it to classify Gorenstein projective modules over such rings. We also use this classification to obtain some information concerning Cohen-Macaulay finite and virtually Gorenstein triangular matrix artin algebras.
For a finite free and projective EI category, we prove that Gorenstein-projective modules over its category algebra are closed under the tensor product if and only if each morphism in the given category is a monomorphism.
We prove a BGG type reciprocity law for the category of finite dimensional modules over algebraic supergroups satisfying certain conditions. The equivalent of a standard module in this case is a virtual module called Euler characteristic due to its geometric interpretation. In the orthosymplectic case, we also describe indecomposable projective modules in terms of those Euler characteristics.
In the paper, we investigate the lifting of recollements with respect to Gorenstein-projective modules. Specifically, a homological ring epimorphism can induce a lifting of the recollement of the stable category of finitely generated Gorenstein-projective modules; the recollement of the bounded Gorenstein derived categories of some upper triangular matrix algebras can be lifted to the homotopy category of Gorenstein-projective modules. As a byproduct, we give a sufficient and necessary condition on the upper triangular matrix algebra T_{n}(A) to be of finite CM-type for an algebra A of finite …
We compute the Loewy structure of the indecomposable projective modules for the group algebra FG, where G is the alternating group on 10 letters and F is an algebraically closed field of characteristic 3.
Cluster-tilted algebras are trivial extensions of tilted algebras. This correspondence induces a surjective map from tilted algebras to cluster-tilted algebras. If B is a cluster-tilted algebra, we use the fibre of B under this map to study the module category of B. In particular, we introduce the notion of reflections of tilted algebras and define an algorithm that constructs the transjective component of the Auslander-Reiten quiver of cluster-tilted algebras of tree type.
Invariants with respect to recollements of the stable category of Gorenstein projective A-modules over an algebra A and stable equivalences are investigated. Specifically, the Gorenstein rigidity dimension is introduced. It is shown that the Gorenstein rigidity dimension is invariant with respect to both Morita equivalences and the stable equivalences of Gorenstein projective modules. As a consequence, the Gorenstein rigidity dimension is shown the invariant of derived equivalences. The Gorenstein rigidity dimension is compared along the recollements of the stable category of Gorenstein projec…
In this paper, we show that the homotopy category of N-complexes of projective R-modules is triangle equivalent to the homotopy category of projective T_{N-1}(R)- modules where T_{N-1}(R) is the ring of triangular matrices of order N-1 with entries in R. We also define the notions of N-singularity category and N-totally acyclic complexes. We show that the category of N-totally acyclic complexes of finitely generated projective R-modules embeds in the N-singularity category, which is a result analogous to the case of ordinary chain complexes.
For a finite dimensional Frobenius cellular algebra, a sufficient and necessary condition for a simple cell module to be projective is given. A special case that dual bases of the cellular basis satisfying a certain condition is also considered. The result is similar to that in symmetric case.
We determine the Verma multiplicities and the characters of projective modules for atypical blocks in the BGG Category O for the general linear Lie superalgebras $\frak{gl}(2|2)$ and $\frak{gl}(3|1)$. We then explicitly determine the composition factor multiplcities of Verma modules in the atypicality 2 block of $\frak{gl}(2|2)$.
We show that an adaptation of Landrock's Lemma for symmetric algebras also holds for cellular algebras and BGG algebras. This is a result relating the radical layers of any two projective modules. The reason it holds in our setting is that there is a duality between injective hulls and projective covers. As a corollary we deduce that BGG reciprocity respects Loewy structure.
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…
In this paper, we prove that relation-extensions of quasi-tilted algebras are 2-Calabi-Yau tilted. With the objective of describing the module category of a cluster-tilted algebra of euclidean type, we define the notion of reflection so that any two local slices can be reached one from the other by a sequence of reflections and coreflections. We then give an algorithmic procedure for constructing the tubes of a cluster-tilted algebra of euclidean type. Our main result characterizes quasi-tilted algebras whose relation-extensions are cluster-tilted of euclidean type.
We define an operation which associates to a pair (B,M) where B is a cluster-tilted algebra and M is a B-module which lies in a local slice of B, a new cluster-tilted algebra B'. In terms of the quivers, this operation corresponds to adding one vertex (and arrows).
We give a construction of Gorenstein projective $τ$-tilting modules in terms of tensor products of modules. As a consequence, we give a class of non-self-injective algebras admitting non-trivial Gorenstein projective $τ$-tilting modules. Moreover, we show that a finite dimensional algebra $Λ$ over an algebraically closed field is $CM$-$τ$-tilting finite if $T_n(Λ)$ is $CM$-$τ$-tilting finite which gives a partial answer to a question on $CM$-$τ$-tilting finite algebras posed by Xie and Zhang.
We determine the Verma multiplicities of standard filtrations of projective modules for integral atypical blocks in the BGG category $\mathcal{O}$ for the orthosymplectic Lie superalgebras $\mathfrak{osp}(3|4)$ by way of translation functors. We then explicitly determine the composition factor multiplicities of Verma modules using BGG reciprocity.
We give a complete description of finite dimensional selfinjective algebras over an algebraically closed field whose Auslander-Reiten quiver admits a generalized standard family of quasi-tubes maximally saturated by simple and projective modules. In particular, we show that these algebras are selfinjective algebras of strictly canonical type.
Motivated by work of Barot, Geiss and Zelevinsky, we study a collection of Z-bases (which we call companion bases) of the integral root lattice of a root system of simply-laced Dynkin type. Each companion basis is associated with the quiver of a cluster-tilted algebra of the corresponding type. In type A, we establish that the dimension vectors of the finitely generated indecomposable modules over a cluster-tilted algebra may be obtained, up to sign, by expanding the positive roots in terms of any companion basis for the quiver of that algebra. This generalises part of Gabriel's Theorem. Also,…
