Constructing tilted algebras from cluster-tilted algebras
Marco Angel Bertani-Økland, Steffen Oppermann, Anette Wrålsen
备注:
Section 3 has been removed and now is an independent article (arXiv:0912.2911v1). Section 1 and 2.2 have been modified to cope with the removal of section 3. Proof of theorem 3.5 (previously 4.5) has been improved. More details have been added to section 6 (previously 7) to clarify how section 3 (previously 4) generalizes to the infinite case
Any cluster-tilted algebra is the relation extension of a tilted algebra. We present a method to, given the distribution of a cluster-tilting object in the Auslander-Reiten quiver of the cluster category, construct all tilted algebras whose relation extension is the endomorphism ring of this cluster-tilting object.
We show how a cluster-tilted algebra of finite representation type is related to the corresponding tilted algebra, in the case of algebras defined over an algebraically closed field.
In this work we study the connection between iterated tilted algebras and m-cluster tilted algebras. We show that an iterated tilted algebra induces an m-cluster tilted algebra. This m-cluster tilted algebra can be seen as a trivial extension of another iterated tilted algebra which is derived equivalent to the original one. We give a procedure to find this new iterated tilted algebra. These m-cluster tilted algebras are quotients of higher relation extensions.
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.
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 give a criterion allowing to verify whether or not two tilted algebras have the same relation-extension (thus correspond to the same cluster-tilted algebra). This criterion is in terms of a combinatorial configuration in the Auslander-Reiten quiver of the cluster-tilted algebra, which we call local slice.
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.
In this paper, we compute the Frobenius dimension of any cluster tilted algebra of finite type. Moreover, we give conditions on the bounded quiver of a cluster tilted algebra $Λ$ such that $Λ$ has non-trivial open Frobenius structures.
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.
We prove that all gentle 2-Calabi-Yau tilted algebras (over an algebraically closed field) are Jacobian, moreover their bound quiver can be obtained via block decomposition. Related families of gentle $(m+1)$-Calabi-Yau tilted algebras are the $m$-cluster-tilted algebras of type $\mathbb{A}$ and $\widetilde{\mathbb{A}}$. For these algebras we prove that a module $M$ is stable Cohen-Macaulay if and only if $Ω^{m+1} τM \simeq M$.
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 consider $m$-cluster tilted algebras arising from quivers of Euclidean type and we give necessary and sufficient conditions for those algebras to be representation finite. For the case $\widetilde{A}$, using the geometric realization, we get a description of representation finite type in terms of $(m+2)$-angulations. We establish which $m$-cluster tilted algebras arise at the same time from quivers of type $A$ and $\widetilde{A}$. Finally, we characterize representation infinite $m$-cluster tilted algebras arising from a quiver of type $\widetilde{A}$ as $m$-relations extensions of some ite…
Cluster algebras were introduced by S. Fomin and A. Zelevinsky in connection with dual canonical bases. To a cluster algebra of simply laced Dynkin type one can associate the cluster category. Any cluster of the cluster algebra corresponds to a tilting object in the cluster category. The cluster tilted algebra is the algebra of endomorphisms of that tilting object. Viewing the cluster tilted algebra as a path algebra of a quiver with relations, we prove in this paper that the quiver of the cluster tilted algebra is equal to the cluster diagram. We study also the relations. As an application of…
This paper has been withdrawn by the authors because it has been combined with "Higher Auslander Algebras Admitting Trivial Maximal Orthogonal Subcategories" (arXiv:0903.0761) together. Please see the new version of the latter paper for the details.
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.
Given a cluster-tilted algebra B we study its first Hochschild cohomology group HH^1(B) with coefficients in the B-B-bimodule B. We find several consequences when B is representation-finite, and also in the case where B is cluster-tilted of type \tilde{\mathbb{A}}.
The objective of this paper is to give a concrete interpretation of the dimension of the first Hochschild cohomology space of a cyclically oriented or tame cluster tilted algebra in terms of a numerical invariant arising from the potential.
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 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.
We introduce a new class of algebras, which we call cluster-tilted. They are by definition the endomorphism algebras of tilting objects in a cluster category. We show that their representation theory is very close to the representation theory of hereditary algebras. As an application of this, we prove a generalised version of so-called APR-tilting.
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.
Given a finite dimensional algebra $C$ (over an algebraically closed field) of global dimension at most two, we define its relation-extension algebra to be the trivial extension $C\ltimes \Ext_C^2(DC,C)$ of $C$ by the $C$-$C$-bimodule $\Ext_C^2(DC,C)$. We give a construction for the quiver of the relation-extension algebra in case the quiver of $C$ has no oriented cycles. Our main result says that an algebra $\tilde C$ is cluster-tilted if and only if there exists a tilted algebra $C$ such that $\tilde C$ is isomorphic to the relation-extension of $C$.
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.
In this paper the relationship between iterated tilted algebras and cluster-tilted algebras and relation-extensions is studied. In the Dynkin case, it is shown that the relationship is very strong and combinatorial.
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…
Let $H$ be a finite dimensional hereditary algebra over an algebraically closed field $k$ and $\mathscr{C}_{F^m}$ be the repetitive cluster category of $H$ with $m\geq 1$. We investigate the properties of cluster tilting objects in $\mathscr{C}_{F^m}$ and the structure of repetitive cluster-tilted algebras. Moreover, we generalized Theorem 4.2 in \cite{bmrrt} (Buan A, Marsh R, Reiten I. Cluster-tilted algebra. Trans. Amer. Math. Soc., 359(1)(2007), 323-332.) to the situation of $\mathscr{C}_{F^m}$, and prove that the tilting graph $\mathscr{K}_{\mathscr{C}_{F^m}}$ of $\mathscr{C}_{F^m}$ is con…
It is well known that the relation-extensions of tilted algebras are cluster-tilted algebras. In this paper, we extend the result to silted algebras and prove some extension of silted algebras are cluster-tilted algebras.
We characterize the syzygies and co-syzygies over 2-Calabi-Yau tilted algebras in terms of the Auslander-Reiten translation and the syzygy functor. We explore connections between the category of syzygies, the category of Cohen-Macaulay modules, the representation dimension of algebras and the Igusa-Todorov functions. In particular, we prove that the Igusa-Todorov dimensions of d-Gorenstein algebras are equal to d. For cluster-tilted algebras of Dynkin type D, we give a geometric description of the stable Cohen-Macaulay category in terms of tagged arcs in the punctured disc. We also describe th…
A cluster tilted algebra is known to be gentle if and only if it is cluster tilted of Dynkin type $\bbA$ or Euclidean type $\tilde{\bbA}$. We classify all finite dimensional algebras which are derived equivalent to gentle cluster tilted algebras.
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…
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 a complete description of all special biserial cluster-tilted algebras over a finite dimensional hereditary algebra H over an algebraically closed field K.
We give a new characterization of tilted algebras by the existence of certain special subquivers in their Auslander-Reiten quiver. This result includes the existent characterizations of this kind and yields a way to obtain more tilted quotient algebras from a given algebra.
Let $H$ be a hereditary algebra of Dynkin type $D_n$ over a field $k$ and $\mathscr{C}_H$ be the cluster category of $H$. Assume that $n\geq 5$ and that $T$ and $T'$ are tilting objects in $\mathscr{C}_H$. We prove that the cluster-tilted algebra $Γ=\mathrm{End}_{\mathscr{C}_H}(T)^{\rm op}$ is isomorphic to $Γ'=\mathrm{End}_{\mathscr{C}_H}(T')^{\rm op}$ if and only if $T=τ^iT'$ or $T=στ^jT'$ for some integers $i$ and $j$, where $τ$ is the Auslander-Reiten translation and $σ$ is the automorphism of $\mathscr{C}_H$ defined in section 4.
We survey recent development of the study of finite-dimensional selfinjective algebras over a field which are socle equivalent to selfinjective orbit algebras of tilted type.
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.
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 characterize all the finite dimensional algebras that are m-cluster tilted algebras of type A tilde. We show that these algebras are gentle and we give an explicit description of their quivers with relations.
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 characterize all the finite dimensional algebras that are derived equivalent to an m-cluster tilted algebra of type A tilde. This generalizes a result of Bobonski and Buan [9].
We investigate the cluster-tilted algebras of finite representation type over an algebraically closed field. We give an explicit description of the relations for the quivers for finite representation type. As a consequence we show that a (basic) cluster-tilted algebra of finite type is uniquely determined by its quiver. Also some necessary conditions on the shapes of quivers of cluster-tilted algebras of finite representation type are obtained along the way.
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.
Let $Λ$ be a quasi-tilted algebra. If $Λ$ is representation-finite, it was shown by Happel, Reiten, and Smalø that $Λ$ is tilted. We provide a new, short proof of this result.
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.
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.
Given a cluster-tilted algebra B we study its first Hochschild cohomology group HH1(B) with coefficients in the B-B-bimodule B. If C is a tilted algebra such that B is the relation extension of C by E= Ext2(DC,C), then we prove that HH1(B) is isomorphic, as a vector space, to the direct sum of HH1(C) with HH1(B,E). This yields homological interpretations for results of the first and the fourth author with M.J. Redondo.
We use the maximal faces of the $m$-cluster complex of type A to describe the m-cluster tilted algebras of type A as quivers with relations. We then classify connected components of m-cluster tilted algebras of type A up to derived equivalence using tilting complexes directly related to the combinatorics of the m-cluster complex of type A. This generalizes a result of Buan and Vatne.
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…
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…
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.
In association with a finite dimensional algebra A of global dimension two, we consider the endomorphism algebra of A, viewed as an object in the triangulated hull of the orbit category of the bounded derived category, in the sense of Amiot. We characterize the algebras A of global dimension two such that its endomorphism algebra is isomorphic to a cluster-tilted algebra with a cyclically oriented quiver.Furthermore, in the case that the cluster tilted algebra with a cyclically oriented quiver is of Dynkin or extended Dynkin type then A is derived equivalent to a hereditary algebra of the same…