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 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 provide a far reaching derived equivalence classification of the cluster-tilted algebras of Dynkin type D and suggest standard forms for the derived equivalence classes. We believe that the classification is complete, but some subtle questions remain open. We introduce another notion of equivalence called good mutation equivalence which is slightly stronger than derived equivalence but is algorithmically more tractable, and give a complete classification together with standard forms.
We obtain a complete derived equivalence classification of the cluster-tilted algebras of Dynkin type E. There are 67, 416, 1574 algebras in types E6, E7 and E8 which turn out to fall into 6, 14, 15 derived equivalence classes, respectively. This classification can be achieved computationally and we outline an algorithm which has been implemented to carry out this task. We also make the classification explicit by giving standard forms for each derived equivalence class as well as complete lists of the algebras contained in each class; as these lists are quite long they are provided as suppleme…
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.
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…
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.
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.
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…
We study tilting complexes over preprojective algebras of Dynkin type. We classify all tilting complexes by giving a bijection between tilting complexes and the braid group of the corresponding folded graph. In particular, we determine the derived equivalence class of the algebra. For the results, we develop the theory of silting-discrete triangulated categories and give a criterion of silting-discreteness.
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 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…
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.
We prove that every deformed preprojective algebra of Dynkin type $\mathbb{E}_6$ is isomorphic to the preprojective algebra of Dynkin type $\mathbb{E}_6$.
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.
We provide a complete classification of finite-dimensional self-injective algebras which are socle equivalent to preprojective algebras of generalized Dynkin type. In particular, we conclude that these algebras are deformed preprojective algebras of generalized Dynkin type (in the sense of [5, 12]), and hence are periodic algebras.
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.
This paper studies silted algebras, namely, endomorphism algebras of 2-term silting complexes, over path algebras of Dynkin quivers. We will describe an algorithm to produce all basic 2-term silting complexes over the path algebra of a Dynkin quiver, and use this algorithm to compute some examples.
We present a study on the description of incidence algebras that are piecewise hereditary, which we denominate Phia algebras. We describe the quiver with relations of the Phia algebras of Dynkin type and introduce a new family of Phia algebras of extended Dynkin type, which we call ANS family, in reference to Assem, Nehring, and Skowroński. In this description, the important method was the one of cutting sets on trivial extensions, inspired by this we made of a computer program which shows exactly the cutting sets on the given trivial extension that result on incidence algebras.
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.
In this paper, we describe a general setting for dimer models on cylinders over Dynkin diagrams which in type A reduces to the well studied case of dimer models on a disc. We prove that all Berenstein--Fomin--Zelevinsky quivers for Schubert cells in a symmetric Kac--Moody algebra give rise to dimer models on the cylinder over the corresponding Dynkin diagram. We also give an independent proof of a result of Buan, Iyama, Reiten and Smith that the corresponding superpotentials are rigid using the dimer model structure of the quivers.
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).
There is a connection between *-representations of algebras associated with graphs and the problem about the spectrum of a sum of Hermitian operators (spectral problem). For algebras associated with extended Dynkin graphs we give an explicit description of the parameters for which there are $*$-representations and an algorithm for constructing these representations.
We study the connection between *-representations of algebras associated with graphs, locally-scalar graph representations and the problem about the spectrum of a sum of two Hermitian operators. For algebras associated with Dynkin graphs we give an explicit description of the parameters for which there are irreducible representations and an algorithm for contructing these representations.
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…
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}}.
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,…
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.
We consider degenerations of all simple Lie algebras of exceptional type obtained by embedding into affine Lie algebras. We give a filtration to consider this as an abelianisation of the original Lie algebra. We then show that the associated graded of simple, finite-dimensional modules are isomorphic to Demazure modules.
For a commutative ring $R$ and an ADE Dynkin quiver $Q$, we prove that the multiplicative preprojective algebra of Crawley-Boevey and Shaw, with parameter $q=1$, is isomorphic to the (additive) preprojective algebra as $R$-algebras if and only if the bad primes for $Q$ (2 in type D, 2 and 3 for $Q = E_{6}$, $E_{7}$ and 2, 3 and 5 for $Q= E_{8}$) are invertible in $R$. We construct an explicit isomorphism over $\mathbb{Z}[1/2]$ in type D, over $\mathbb{Z}[1/2, 1/3]$ for $Q = E_{6}$, $E_{7}$ and over $\mathbb{Z}[1/2, 1/3, 1/5]$ for $Q=E_{8}$. Conversely, if some bad prime is not invertible in $R…
We show that the mutation class of a finite quiver without oriented cycles is finite if and only is the quiver is either Dynkin, extended Dynkin or has at most two vertices.
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.
We construct a numeric algorithm for completing the proof of a conjecture asserting that all deformed preprojective algebras of generalized Dynkin type are periodic. In particular, we obtain an algorithmic procedure showing that non-trivial deformed preprojective algebras of Dynkin types $\mathbb{E}_7$ and $\mathbb{E}_8$ exist only in characteristic 2. As a consequence, we show that deformed preprojective algebras of Dynkin types $\mathbb{E}_6$, $\mathbb{E}_7$ and $\mathbb{E}_8$ are periodic and we obtain an algorithm for a classification of such algebras, up to algebra isomorphism. We do it b…
Dyck paths categories are introduced as a combinatorial model of the category of representations of quivers of Dynkin type An. In particular, it is proved that there is a bijection between some Dyck paths and perfect matchings of some snake graphs. The approach allows us to give formulas for cluster variables in cluster algebras of Dynkin type An in terms of Dyck paths.
In this paper we study gradings on simple Lie algebras arising from nilpotent elements. Specifically, we investigate abelian subalgebras which are degree 1 homogeneous with respect to these gradings. We show that for each odd nilpotent element there always exists canonically associated "strictly" odd nilpotent element, which allows us to reduce our investigations to the latter.
We consider Dynkin algebras, these are the hereditary artin algebras of finite representation type. The indecomposable modules for a Dynkin algebra correspond bijectively to the positive roots of a Dynkin diagram. Given a Dynkin algebra with n simple modules, a complete exceptional sequence is a sequence M_1,..., M_n of indecomposable modules such that Hom(M_i,M_j) = 0 = Ext(M_i,M_j) for i > j. The aim of this paper is to determine the number of complete exceptional sequences for any Dynkin algebra. There are direct connections between the representation theory of a Dynkin algebra A and the la…
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…
In this paper, we compute the product structure of the Hochschild cohomology of preprojective algebras of quivers of type D and E over a field of characteristic zero.
The Hochschild homology/cohomology an associative algebra, together with the Connes differential, the contraction map and the Lie derivative, forms the structure of calculus. In this paper we compute explicitely the calculus structure of preprojective algebras of Dynkin quivers over a field of characteristic zero. This also completes the work in math.AG/0502301, where the Batalin-Vilkovisky structure of the Hochschild cohomology of preprojective algebras of non-Dynkin quivers are computed and the calculus can be easily computed from that.
In this paper, we study two-term tilting complexes for preprojective algebras of non-Dynkin type. We show that there exist two families of two-term tilting complexes, which are respectively parameterized by the elements of the corresponding Coxeter group. Moreover, we provide the complete classification in the case of affine type by showing that any two-term silting complex belongs one of them. For this purpose, we also discuss the Krull-Schmidt property for the homotopy category of finitely generated projective modules over a complete ring.
The Dynkin algebras are the hereditary artin algebras of finite representation type. The paper exhibits the number of support-tilting modules for any Dynkin algebra. Since the support-tilting modules for a Dynkin algebra correspond bijectively to the non-crossing partitions of the same type, the calculations presented here may also be considered as a categorification of results concerning non-crossing partitions.