On the Galois coverings of a cluster-tilted algebra

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 Waschbüsch.     

On t-structures and torsion theories induced by compact objects

First, we show that a compact object C in a triangulated category, which satisfies suitable conditions, induces a t-structure. Second, in an abelian category we show that a complex P· of small projective objects of term length two, which satisfies suitable conditions, induces a torsion theory. In the case of module categories, using a torsion theory, we give equivalent conditions for P· to be a tilting complex. Finally, in the case of artin algebras, we give a one-to-one correspondence between tilting complexes of term length two and torsion theories with certain conditions.     

Wild cluster tilted algebras of rank 3

Let H be a connected wild hereditary algebra of rank 3, T a square-free tilting H-module and the endomorphism ring of T in the cluster category C_H of H. It is shown that the Loewy length of the cluster tilted algebra Γ is 3+r, where r denotes the number of regular indecomposable direct summands of T.     

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.     

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.     

Auslander-Reiten correspondence for tilting pairs

Let A be an Artin algebra. A pair (C,T) of A-modules is tilting provided that C and T are (finitely generated) self-orthogonal, and . Particularly, T is a tilting module if and only if (A,T) is a tilting pair. In the note, we will extend the Auslander-Reiten correspondence for tilting modules to the context of tilting pairs.     

Composite of irreducible morphisms in the bounded derived category

We study necessary and sufficient conditions for the existence of n irreducible morphisms in the bounded derived category of an Artin algebra, with non-zero composite in the n+1-power of the radical. In the case of , the bounded derived category of an Ext-finite hereditary k-category with tilting object, such irreducible morphisms exist if and only if H is derived equivalent to a wild hereditary algebra or to a wild canonical algebra. We also characterize the cluster tilted algebras having such irreducible morphisms.     

Finitistic dimension of properly stratified algebras

We prove that the finitistic dimension of a properly stratified algebra having a simple preserving duality and for which every tilting module is cotilting, equals twice the projective dimension of the characteristic tilting module. As a corollary, we get that the global dimension of a quasi-hereditary algebra with duality equals twice the projective dimension of the characteristic tilting module. As another corollary, we obtain an affirmative answer to the conjecture of Erdmann and Parker. Finally, we calculate the finitistic dimension of the blocks of certain parabolic generalizations of the category .     

Friezes and a construction of the Euclidean cluster variables

Let Q be a Euclidean quiver. Using friezes in the sense of Assem-Reutenauer-Smith, we provide an algorithm for computing the (canonical) cluster character associated with any object in the cluster category of Q. In particular, this algorithm allows us to compute all the cluster variables in the cluster algebra associated with Q. It also allows us to compute the sum of the Euler characteristics of the quiver Grassmannians of any module M over the path algebra of Q.     

Cluster tilting objects in generalized higher cluster categories

We prove the existence of an m-cluster tilting object in a generalized m-cluster category which is (m+1)-Calabi-Yau and Hom-finite, arising from an (m+2)-Calabi-Yau dg algebra. This is a generalization of the result for the m=1 case in Amiot’s Ph.D. thesis. Our results apply in particular to higher cluster categories associated to Ginzburg dg categories coming from suitable graded quivers with superpotential, and higher cluster categories associated to suitable finite-dimensional algebras of finite global dimension.     

Repetitive cluster-tilted algebras

Let H be a finite-dimensional hereditary algebra over an algebraically closed field k and C_Fm be the repetitive cluster category of H with m ≥ 1. We investigate the properties of cluster tilting objects in C_Fm and the structure of repetitive cluster-tilted algebras. Moreover, we generalize Theorem 4.2 in [12] (Buan A, Marsh R, Reiten I. Cluster-tilted algebra, Trans. Amer. Math. Soc., 359(1)(2007), 323-332.) to the situation of C_Fm, and prove that the tilting graph KC_Fm of C_Fm is connected.     

The bar derived category of a curved dg algebra

Curved A_∞-algebras appear in nature as deformations of dg algebras. We develop the basic theory of curved A_∞-algebras and, in particular, curved dg algebras. We investigate their link with a suitable class of dg coalgebras via the bar construction and produce Quillen model structures on their module categories. We define the analogue of the relative derived category for a curved dg algebra.     

On a separation of orbits in the module variety for string special biserial algebras

Given a pair M,M^′ of finite-dimensional modules over a string special biserial algebra Λ, a fully verifiable criterion, expressed in terms of a finite set of simple linear algebra invariants, deciding if M and M^′ lie in the same orbit in module variety, equivalently, if M and M^′ are isomorphic, is formulated and proved.     

When the heart of a faithful torsion pair is a module category

An abelian category with arbitrary coproducts and a small projective generator is equivalent to a module category (Mitchell (1964) [17]). A tilting object in an abelian category is a natural generalization of a small projective generator. Moreover, any abelian category with a tilting object admits arbitrary coproducts (Colpi et al. (2007) [8]). It naturally arises the question when an abelian category with a tilting object is equivalent to a module category. By Colpi et al. (2007) [8], the problem simplifies in understanding when, given an associative ring R and a faithful torsion pair (X,Y) in the category of right R-modules, the heartH(X,Y)of the t-structure associated with (X,Y) is equivalent to a category of modules. In this paper, we give a complete answer to this question, proving necessary and sufficient conditions on (X,Y) for H(X,Y) to be equivalent to a module category. We analyze in detail the case when R is right artinian.     

BGP-reflection functors and cluster combinatorics

We define Bernstein-Gelfand-Ponomarev reflection functors in the cluster categories of hereditary algebras. They are triangle equivalences which provide a natural quiver realization of the “truncated simple reflections” on the set of almost positive roots Φ_≥−1 associated with a finite dimensional semi-simple Lie algebra. Combining this with the tilting theory in cluster categories developed in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. (in press). math.RT/0402054], we give a unified interpretation via quiver representations for the generalized associahedra associated with the root systems of all Dynkin types (simply laced or non-simply laced). This confirms the Conjecture 9.1 in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. (in press). math.RT/0402054] for all Dynkin types.     

Kac–Moody groups and cluster algebras

Let Q be a finite quiver without oriented cycles, let Λ be the associated preprojective algebra, let g be the associated Kac–Moody Lie algebra with Weyl group W, and let n be the positive part of g. For each Weyl group element w, a subcategory Cw of mod(Λ) was introduced by Buan, Iyama, Reiten and Scott. It is known that Cw is a Frobenius category and that its stable category is a Calabi–Yau category of dimension two. We show that Cw yields a cluster algebra structure on the coordinate ring C[N(w)] of the unipotent group N(w):=N∩(w−1N₋w). Here N is the pro-unipotent pro-group with Lie algebra the completion of n. One can identify C[N(w)] with a subalgebra of , the graded dual of the universal enveloping algebra U(n) of n. Let S^? be the dual of Lusztig?s semicanonical basis S of U(n). We show that all cluster monomials of C[N(w)] belong to S^?, and that S^?∩C[N(w)] is a C-basis of C[N(w)]. Moreover, we show that the cluster algebra obtained from C[N(w)] by formally inverting the generators of the coefficient ring is isomorphic to the algebra C[Nw] of regular functions on the unipotent cell Nw of the Kac–Moody group with Lie algebra g. We obtain a corresponding dual semicanonical basis of C[Nw]. As one application we obtain a basis for each acyclic cluster algebra, which contains all cluster monomials in a natural way.     

Subcoalgebras and endomorphisms of free Hopf algebras

For a matrix coalgebra C over some field, we determine all small subcoalgebras of the free Hopf algebra on C, the free Hopf algebra with a bijective antipode on C, and the free Hopf algebra with antipode S satisfying on C for some fixed d. We use this information to find the endomorphisms of these free Hopf algebras, and to determine the centers of the categories of Hopf algebras, Hopf algebras with bijective antipode, and Hopf algebras with antipode of order dividing 2d.     

Derived equivalences and Gorenstein algebras

We introduce a notion of Gorenstein R-algebras over a commutative Gorenstein ring R. Then we provide a necessary and sufficient condition for a tilting complex over a Gorenstein R-algebra A to have a Gorenstein R-algebra B as the endomorphism algebra and a construction of such a tilting complex. Furthermore, we provide an example of a tilting complex over a Gorenstein R-algebra A whose endomorphism algebra is not a Gorenstein R-algebra.