Quivers with Relations and 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 these results, we answer several conjectures on the connection between cluster algebras and quiver representations.Presented by V. Dlab.     

Tilting theory and cluster combinatorics

We introduce a new category C, which we call the cluster category, obtained as a quotient of the bounded derived category D of the module category of a finite-dimensional hereditary algebra H over a field. We show that, in the simply laced Dynkin case, C can be regarded as a natural model for the combinatorics of the corresponding Fomin-Zelevinsky cluster algebra. In this model, the tilting objects correspond to the clusters of Fomin-Zelevinsky. Using approximation theory, we investigate the tilting theory of C, showing that it is more regular than that of the module category itself, and demonstrating an interesting link with the classification of self-injective algebras of finite representation type. This investigation also enables us to conjecture a generalisation of APR-tilting.     

Cluster-concealed algebras

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 indecomposable C-modules in terms of the root system of a quadratic form. The roots may have both positive and negative coordinates and we have to take absolute values.     

Generalized tilting functors and Ringel-Hall algebras

It is known from [M. Auslander, M.I. Platzeck, I. Reiten, Coxeter functors without diagrams, Trans. Amer. Math. Soc. 250 (1979) 1-46] and [C.M. Ringel, PBW-basis of quantum groups, J. Reine Angew. Math. 470 (1996) 51-85] that the Bernstein-Gelfand-Ponomarev reflection functors are special cases of tilting functors and these reflection functors induce isomorphisms between certain subalgebras of Ringel-Hall algebras. In [A. Wufu, Tilting functors and Ringel-Hall algebras, Comm. Algebra 33 (1) (2005) 343-348] the result from [C.M. Ringel, PBW-basis of quantum groups, J. Reine Angew. Math. 470 (1996) 51-85] is generalized to the tilting module case by giving an isomorphism between two Ringel-Hall subalgebras. In [J. Miyashita, Tilting Modules of Finite Projective Dimension, Math. Z. 193 (1986) 113-146] Miyashita generalized the tilting theory by introducing the tilting modules of finite projective dimension. In this paper the result in [A. Wufu, Tilting functors and Ringel-Hall algebras, Comm. Algebra 33 (1) (2005) 343-348] is generalized to the tilting modules of finite projective dimension.     

Caldero–Keller Approach to the Denominators of Cluster Variables

Buan, Marsh, and Reiten proved that if a cluster-tilting object T in a cluster category 𝒞 associated to an acyclic quiver Q satisfies certain conditions with respect to the exchange pairs in 𝒞, then the denominator in its reduced form of every cluster variable in the cluster algebra associated to Q has exponents given by the dimension vector of the corresponding module over the endomorphism algebra of T. In this article, we give an alternative proof of this result using the Caldero–Keller approach to acyclic cluster algebras and the work of Palu on cluster characters.     

Cluster Categories and Their Relation to Cluster Algebras and Semi-invariants

Cluster categories were introduced in the paper “Tilting theory and cluster combinatorics” [8] in order to better understand the combinatorics of cluster algebras, by giving new, module theoretic and categorical meanings to the combinatorics of the well known cluster algebras [20]. Subsequently, correspondences between the many notions in these two areas were given, e.g. [5, 6, 11, 9] and others. This proved to be quite useful and productive approach with even further connections to semi-invariants of quivers [26]. However, in order to get this connection, one needs to define and study virtual representation spaces for vectors having both positive and negative dimensions at the vertices of a quiver without oriented cycles. Then, the virtual semi-invariants satisfy the three basic theorems: the First Fundamental Theorem (determinantal), the Saturation theorem and the Canonical Decomposition theorem. From the above theorems it follows that in the case of Dynkin quivers there is a nice relationship between supports of the semi-invariants and the tilting triangulation of the (n – 1)-sphere. Lecture held in the Seminario Matematico e Fisico on September 26, 2007. Received: September 2008     

Generic variables in acyclic cluster algebras

Let Q be an acyclic quiver. We introduce the notion of generic variables for the coefficient-free acyclic cluster algebra A(Q). We prove that the set G(Q) of generic variables contains naturally the set M(Q) of cluster monomials in A(Q) and that these two sets coincide if and only if Q is a Dynkin quiver. We establish multiplicative properties of these generic variables analogous to multiplicative properties of Lusztig’s dual semicanonical basis. This allows to compute explicitly the generic variables when Q is a quiver of affine type. When Q is the Kronecker quiver, the set G(Q) is a Z-basis of A(Q) and this basis is compared to Sherman-Zelevinsky and Caldero-Zelevinsky bases.     

On cluster algebras arising from unpunctured surfaces II

We study cluster algebras with principal and arbitrary coefficient systems that are associated to unpunctured surfaces. We give a direct formula for the Laurent polynomial expansion of cluster variables in these cluster algebras in terms of certain paths on a triangulation of the surface. As an immediate consequence, we prove the positivity conjecture of Fomin and Zelevinsky for these cluster algebras.Furthermore, we obtain direct formulas for F-polynomials and g-vectors and show that F-polynomials have constant term equal to 1. As an application, we compute the Euler-Poincaré characteristic of quiver Grassmannians in Dynkin type A and affine Dynkin type .     

Frobenius–Perron theory of modified ADE bound quiver algebras

The Frobenius–Perron dimension for an abelian category was recently introduced in [5]. We apply this theory to the category of representations of the finite-dimensional radical square zero algebras associated to certain modified ADE graphs. In particular, we take an ADE quiver with arrows in a certain orientation and an arbitrary number of loops at each vertex. We show that the Frobenius–Perron dimension of this category is equal to the maximum number of loops at a vertex. Along the way, we introduce a result which can be applied in general to calculate the Frobenius–Perron dimension of a radical square zero bound quiver algebra. We use this result to introduce a family of abelian categories which produce arbitrarily large irrational Frobenius–Perron dimensions.     

Locally finite triangulated categories

A k-linear triangulated category is called locally finite provided for any indecomposable object Y in . It has Auslander–Reiten triangles. In this paper, we show that if a (connected) triangulated category has Auslander–Reiten triangles and contains loops, then its Auslander–Reiten quiver is of the form :

Full-size image (<1K)

By using this, we prove that the Auslander–Reiten quiver of any locally finite triangulated category is of the form , where Δ is a Dynkin diagram and G is an automorphism group of . For most automorphism groups G, the triangulated categories with as their Auslander–Reiten quivers are constructed. In particular, a triangulated category with as its Auslander–Reiten quiver is constructed.     

Hom-configurations and noncrossing partitions

We study maximal Hom-free sets in the τ[2]-orbit category C(Q) of the bounded derived category for the path algebra associated to a Dynkin quiver Q, where τ denotes the Auslander–Reiten translation and [2] denotes the square of the shift functor. We prove that these sets are in bijection with periodic combinatorial configurations, as introduced by Riedtmann, certain Hom _≤0-configurations, studied by Buan, Reiten and Thomas, and noncrossing partitions of the Coxeter group associated to Q which are not contained in any proper standard parabolic subgroup. Note that Reading has proved that these noncrossing partitions are in bijection with positive clusters in the associated cluster algebra. Finally, we give a definition of mutation of maximal Hom-free sets in C(Q)\mathcal {C}(Q) and prove that the graph of these mutations is connected.     

Cluster-tilted algebras are Gorenstein and stably Calabi-Yau

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 [Christof Geiß, Bernard Leclerc, Jan Schröer, Rigid modules over preprojective algebras, arXiv: math.RT/0503324, Invent. Math., in press]. In addition, we prove a general result about relative 3-Calabi-Yau duality over non-stable endomorphism rings. This strengthens and generalizes the Ext-group symmetries obtained in [Christof Geiß, Bernard Leclerc, Jan Schröer, Rigid modules over preprojective algebras, arXiv: math.RT/0503324, Invent. Math., in press] for simple modules. Finally, we generalize the results on relative Calabi-Yau duality from 2-Calabi-Yau to d-Calabi-Yau categories. We show how to produce many examples of d-cluster tilted algebras.     

Orbit semigroups and the representation type of quivers

We show that a finite, connected quiver Q without oriented cycles is a Dynkin or Euclidean quiver if and only if all orbit semigroups of representations of Q are saturated.     

Partition identities and quiver representations

We present a particular connection between classical partition combinatorics and the theory of quiver representations. Specifically, we give a bijective proof of an analogue of A. L. Cauchy’s Durfee square identity to multipartitions. We then use this result to give a new proof of M. Reineke’s identity in the case of quivers \({\mathcal {Q}}\) of Dynkin type A. Our identity is stated in terms of the lacing diagrams of S. Abeasis–A. Del Fra, which parameterize orbits of the representation space of \({\mathcal {Q}}\) for a fixed dimension vector.     

Tilting Theory and Functor Categories I. Classical Tilting

Tilting theory has been a very important tool in the classification of finite dimensional algebras of finite and tame representation type, as well as, in many other branches of mathematics. Happel (1988) and Cline et al. (J Algebra 304:397–409 1986) proved that generalized tilting induces derived equivalences between module categories, and tilting complexes were used by Rickard (J Lond Math Soc 39:436–456, 1989) to develop a general Morita theory of derived categories. On the other hand, functor categories were introduced in representation theory by Auslander (I Commun Algebra 1(3):177–268, 1974), Auslander (1971) and used in his proof of the first Brauer–Thrall conjecture (Auslander 1978) and later on, used systematically in his joint work with I. Reiten on stable equivalence (Auslander and Reiten, Adv Math 12(3):306–366, 1974), Auslander and Reiten (1973) and many other applications. Recently, functor categories were used in Martínez-Villa and Solberg (J Algebra 323(5):1369–1407, 2010) to study the Auslander–Reiten components of finite dimensional algebras. The aim of this paper is to extend tilting theory to arbitrary functor categories, having in mind applications to the functor category Mod (mod_Λ), with Λ a finite dimensional algebra.     

Linear quivers, generic extensions and Kashiwara operators

In the present paper, we introduce the generic extension graph G of a Dynkin or cyclic quiver Q and then compare this graph with the crystal graph C for the quantized enveloping algebra associated to Q via two maps ℘_Q, _Q : Ω → Λ_Q induced by generic extensions and Kashiwara operators, respectively, where Λ_Q is the set of isoclasses of nilpotent representations of Q, and Ω is the set of all words on the alphabet I, the vertex set of Q. We prove that, if Q is a (finite or infinite) linear quiver, then the intersection of the fibres ℘_Q⁻¹ (λ) and KQ⁻¹ (λ) is non-empty for every λ ∈ Λ _Q. We will also show that this non-emptyness property fails for cyclic quivers.     

Desingularization of Quiver Grassmannians for Gentle Algebras

In (Cerulli Irelli et al., Adv. Math. 245(1) 182–207 2013), Cerulli Irelli-Feigin-Reineke construct a desingularization of quiver Grassmannians for Dynkin quivers. Following them, a desingularization of arbitrary quiver Grassmannians for finite dimensional Gorenstein projective modules of 1-Iwanaga-Gorenstein gentle algebras is constructed in terms of quiver Grassmannians for their Cohen-Macaulay Auslander algebras.     

Diagram automorphisms of quiver varieties

We show that the fixed-point subvariety of a Nakajima quiver variety under a diagram automorphism is a disconnected union of quiver varieties for the ‘split-quotient quiver’ introduced by Reiten and Riedtmann. As a special case, quiver varieties of type D arise as the connected components of fixed-point subvarieties of diagram involutions of quiver varieties of type A. In the case where the quiver varieties of type A correspond to small self-dual representations, we show that the diagram involutions coincide with classical involutions of two-row Slodowy varieties. It follows that certain quiver varieties of type D are isomorphic to Slodowy varieties for orthogonal or symplectic Lie algebras.