Searcharxiv⌕ Search

arXiv subjects

Ralf Schiffler

Publications and source records attributed to Ralf Schiffler.

At least 55 records · Page 3Linked to original sources
arXiv2016

Induced and Coinduced Modules in 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 Buan-Marsh-Reiten functor $\text{Hom}_{\mathcal{C}_A}(T,-)$ from the cluster-category of $A$ to the module category of $B$. We also study the question which $B$-modules are actually induced or coinduced from a module over a tilted algebra.

math.RT↗
arXiv2016

Injective Presentations of Induced Modules over Cluster-Tilted Algebras

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 particular, it gives a module theoretic proof of the well-known 1-Gorenstein property of cluster-tilted algebras.

math.RT↗
arXiv2016

Hochschild cohomology of relation extension algebras

Let $B$ be the split extension of a finite dimensional algebra $C$ by a $C$-$C$-bimodule $E$. We define a morphism of associative graded algebras $φ^*:\HH^*(B)\rightarrow \HH^*(C)$ from the Hochschild cohomology of $B$ to that of $C$, extending similar constructions for the first cohomology groups made and studied by Assem, Bustamante, Igusa, Redondo and Schiffler. In the case of a trivial extension $B=C\ltimes E$, we give necessary and sufficient conditions for each $φ^n$ to be surjective. We prove the surjectivity of $φ^1$ for a class of trivial extensions that includes relation extensions and hence cluster-tilted algebras. Finally, we study the kernel of $φ^1$ for any trivial extension, and give a more precise description of this kernel in the case of relation extensions.

math.RT↗
arXiv2016

On syzygies over 2-Calabi-Yau 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 the action of the syzygy functor in a geometric way. This description allows us to compute the Auslander-Reiten quiver of the stable Cohen-Macaulay category using tagged arcs and geometric moves.

math.RT↗
arXiv2015

Snake graph calculus and cluster algebras from surfaces III: Band graphs and snake rings

We introduce several commutative rings, the snake rings, that have strong connections to cluster algebras. The elements of these rings are residue classes of unions of certain labeled graphs that were used to construct canonical bases in the theory of cluster algebras. We obtain several rings by varying the conditions on the structure as well as the labelling of the graphs. The most restrictive form of this ring is isomorphic to the ring $\mathbb{Z}[x,y]$ of polynomials in two variables over the integers. A more general form contains all cluster algebras of unpunctured surface type. The definition of the rings requires the snake graph calculus which is completed in this paper building on two earlier articles on the subject. Identities in the snake ring correspond to bijections between the posets of perfect matchings of the graphs. One of the main results of the current paper is the completion of the explicit construction of these bijections.

math.CO↗
arXiv2015

On the first Hochschild cohomology group of a cluster-tilted algebra

Given a cluster-tilted algebra B, we study its first Hochschild cohomology group HH^1(B) with coefficients in the B-B-bimodule B. If C is a tilted algebra such that B is the relation extension of C, then we show that if C is constrained, or else if B is tame, then HH^1(B) is isomorphic, as a k-vector space, to the direct sum of HH^1(C) with k^{n\_{B,C}}, where n\_{B,C} is an invariant linking the bound quivers of B and C. In the representation-finite case, HH^1(B) can be read off simply by looking at the quiver of B.

math.RT↗
arXiv2014

Snake graph calculus and cluster algebras from surfaces II: Self-crossing snake graphs

Snake graphs appear naturally in the theory of cluster algebras. For cluster algebras from surfaces, each cluster variable is given by a formula which is parametrized by the perfect matchings of a snake graph. In this paper, we continue our study of snake graphs from a combinatorial point of view. We introduce the notions of abstract snake graphs and abstract band graphs, their crossings and self-crossings, as well as the resolutions of these crossings. We show that there is a bijection between the set of perfect matchings of (self-)crossing snake graphs and the set of perfect matchings of the resolution of the crossing. In the situation where the snake and band graphs are coming from arcs and loops in a surface without punctures, we obtain a new proof of skein relations in the corresponding cluster algebra.

math.RT↗
arXiv2013

Cluster automorphisms and compatibility of cluster variables

In this paper, we introduce a notion of unistructural cluster algebras, for which the set of cluster variables uniquely determines the clusters. We prove that cluster algebras of Dynkin type and cluster algebras of rank 2 are unistructural, then prove that if $\mathcal{A}$ is unistructural or of Euclidean type, then $f: \mathcal{A}\to \mathcal{A}$ is a cluster automorphism if and only if $f$ is an automorphism of the ambient field which restricts to a permutation of the cluster variables. In order to prove this result, we also investigate the Fomin-Zelevinsky conjecture that two cluster variables are compatible if and only if one does not appear in the denominator of the Laurent expansions of the other.

math.RT↗
arXiv2013

The first Hochschild cohomology group of a cluster-tilted algebra revisited

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.

math.RT↗
arXiv2012

Snake graph calculus and cluster algebras from surfaces

Snake graphs appear naturally in the theory of cluster algebras. For cluster algebras from surfaces, each cluster variable is given by a formula which is parametrized by the perfect matchings of a snake graph. In this paper, we identify each cluster variable with its snake graph, and interpret relations among the cluster variables in terms of these graphs. In particular, we give a new proof of skein relations of two cluster variables.

math.RT↗
arXiv2012

Idempotents in representation rings of quivers

For an acyclic quiver Q, we solve the Clebsch-Gordan problem for the projective representations by computing the multiplicity of a given indecomposable projective in the tensor product of two indecomposable projectives. Motivated by this problem for arbitrary representations, we study idempotents in the representation ring of Q (the free abelian group on the indecomposable representations, with multiplication given by tensor product). We give a general technique for constructing such idempotents and for decomposing the representation ring into a direct product of ideals, utilizing morphisms between quivers and categorical Moebius inversion.

math.RT↗
arXiv2012

On a category of cluster algebras

We introduce a category of cluster algebras with fixed initial seeds. This category has countable coproducts, which can be constructed combinatorially, but no products. We characterise isomorphisms and monomorphisms in this category and provide combinatorial methods for constructing special classes of monomorphisms and epimorphisms. In the case of cluster algebras from surfaces, we describe interactions between this category and the geometry of the surfaces.

math.RT↗
arXiv2011

On one-point extensions of cluster-tilted algebras

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).

math.RT↗
arXiv2011

Cluster Automorphisms

In this article, we introduce the notion of cluster automorphism of a given cluster algebra as a $\ZZ$-automorphism of the cluster algebra that sends a cluster to another and commutes with mutations. We study the group of cluster automorphisms in detail for acyclic cluster algebras and cluster algebras from surfaces, and we compute this group explicitly for the Dynkin types and the Euclidean types.

math.RT↗
arXiv2011

The higher relation bimodule

Given a finite dimensional algebra A of finite global dimension, we consider the trivial extension of A by the A-A-bimodule $\oplus_{i\ge 2} \Ext^2_A(DA,A)$, which we call the higher relation bimodule. We first give a recipe allowing to construct the quiver of this trivial extension in case A is a string algebra and then apply it to prove that, if A is gentle, then the tensor algebra of the higher relation bimodule is gentle.

math.RT↗