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.     

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.     

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.     

Nakayama oriented pullbacks and stably hereditary algebras

We introduce a new class of algebras, the Nakayama oriented pullbacks, obtained from pullbacks of surjective morphisms of algebras A?C and B?C. We prove that such a pullback is tilted when A and B are hereditary. We also show that stably hereditary algebras respecting the clock condition are Nakayama oriented pullbacks, and we use results about these pullbacks to show when a stably hereditary algebra is tilted or iterated tilted.     

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.     

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.     

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.     

On Lie algebras associated with representation-directed algebras

Let B be a representation-finite C-algebra. The Z-Lie algebra L(B) associated with B has been defined by Riedtmann in [Ch. Riedtmann, Lie algebras generated by indecomposables, J. Algebra 170 (1994) 526-546]. If B is representation-directed, there is another Z-Lie algebra associated with B defined by Ringel in [C.M. Ringel, Hall Algebras, vol. 26, Banach Center Publications, Warsaw, 1990, pp. 433-447] and denoted by K(B).We prove that the Lie algebras L(B) and K(B) are isomorphic for any representation-directed C-algebra B.     

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.     

Iyama’s finiteness theorem via strongly quasi-hereditary algebras

Let Λ be an artin algebra and X a finitely generated Λ-module. Iyama has shown that there exists a module Y such that the endomorphism ring Γ of X⊕Y is quasi-hereditary, with a heredity chain of length n, and that the global dimension of Γ is bounded by this n. In general, one only knows that a quasi-hereditary algebra with a heredity chain of length n must have global dimension at most 2n−2. We want to show that Iyama’s better bound is related to the fact that the ring Γ he constructs is not only quasi-hereditary, but even left strongly quasi-hereditary. By definition, the left strongly quasi-hereditary algebras are the quasi-hereditary algebras with all standard left modules of projective dimension at most 1.     

On the telescope conjecture for module categories

In [H. Krause, O. Solberg, Applications of cotorsion pairs, J. London Math. Soc. 68 (2003) 631-650], the Telescope Conjecture was formulated for the module category of an artin algebra R as follows: “If C=(A,B) is a complete hereditary cotorsion pair in with A and B closed under direct limits, then ”. We extend this conjecture to arbitrary rings R, and show that it holds true if and only if the cotorsion pair C is of finite type. Then we prove the conjecture in the case when R is right noetherian and B has bounded injective dimension (thus, in particular, when C is any cotilting cotorsion pair). We also focus on the assumptions that A and B are closed under direct limits and on related closure properties, and detect several asymmetries in the properties of A and B.     

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.     

The number of the Gabriel-Roiter measures admitting no direct predecessors over a wild quiver

A famous result by Drozd says that a finite-dimensional representation-infinite algebra is of either tame or wild representation type. But one has to make assumption on the ground field. The Gabriel-Roiter measure might be an alternative approach to extend these concepts of tame and wild to arbitrary Artin algebras. In particular, the infiniteness of the number of GR segments, i.e. sequences of Gabriel-Roiter measures which are closed under direct predecessors and successors, might relate to the wildness of Artin algebras. As the first step, we are going to study the wild quiver with three vertices, labeled by 1, 2 and 3, and one arrow from 1 to 2 and two arrows from 2 to 3. The Gabriel-Roiter submodules of the indecomposable preprojective modules and quasi-simple modules τ⁻ⁱM, i≥0 are described, where M is a Kronecker module and τ=DTr is the Auslander-Reiten translation. Based on these calculations, the existence of infinitely many GR segments will be shown. Moreover, it will be proved that there are infinitely many Gabriel-Roiter measures admitting no direct predecessors.     

On radicals of module coalgebras

We introduce the notion of an idempotent radical class of module coalgebras over a bialgebra B. We prove that if R is an idempotent radical class of B-module coalgebras, then every B-module coalgebra contains a unique maximal B-submodule coalgebra in R. Moreover, a B-module coalgebra C is a member of R if, and only if, DB is in R for every simple subcoalgebra D of C. The collection of B-cocleft coalgebras and the collection of H-projective module coalgebras over a Hopf algebra H are idempotent radical classes. As applications, we use these idempotent radical classes to give another proofs for a projectivity theorem and a normal basis theorem of Schneider without assuming a bijective antipode.     

Submodules of Kronecker modules via extension monoid products

Using some results on Reineke's extension monoid product over the Kronecker algebra kQ, we provide numerical criteria in terms of Kronecker invariants for a module in $\mathrm{mod}\text{-}kQ$ to be isomorphic with the submodule of an another module in $\mathrm{mod}\text{-}kQ$. The results can be transferred to matrix pencils in solving an important challenge in matrix pencil theory: characterize in terms of Kronecker invariants when a given pencil is a subpencil of an another one.     

Indecomposable modules for domestic canonical algebras

We show that-up to precisely one-each exceptional module over a domestic canonical algebra of quiver type over a field k can be represented by matrices whose entries are just 0 and 1. In the case we calculate the matrices of these representations explicitly.     

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.     

The number of Gabriel-Roiter submodules

Let k be an algebraically closed field and Λ a tilted algebra of a path algebra of a Dynkin quiver (of type A_n, D_n, E₆, E₇ or E₈). We show that every sincere indecomposable Λ-module has at most three Gabriel-Roiter submodules.