In \cite{CK2005} and \cite{Hubery2005}, the authors proved the cluster multiplication theorems for finite type and affine type. We generalize their results and prove the cluster multiplication theorem for arbitrary type by using the properties of 2--Calabi--Yau
(Auslander--Reiten formula) and high order associativity.
Let $Q$ be a finite acyclic valued quiver. We give the cluster multiplication formulas in the quantum cluster algebra of $Q$ with arbitrary coefficients, by applying certain quotients of derived Hall subalgebras of $Q$. These formulas can be viewed as the quantum version of the cluster multiplication theorem in the classical cluster algebra proved by Caldero-Keller for finite type, Hubery for affine type and Xiao-Xu for acyclic quivers.
We obtain a multiplication formula for cluster characters on (stably) 2-Calabi-Yau (Frobenius or) triangulated categories. This formula generalizes those known for arbitrary pairs of objects and for Auslander-Reiten triangles. As an application, we show that for cluster algebras of acyclic types, specialization of a cluster variable to 1 sends all cluster variables to elements of a cluster algebra of smaller rank. We also obtain application to the reduction of friezes of acyclic type.
Y. Palu has generalized the cluster multiplication formulas to 2-Calabi-Yau categories with cluster tilting objects (\cite{Palu2}). The aim of this note is to construct a variant of Y. Palu's formula and deduce a new version of the cluster multiplication formula (\cite{XiaoXu}) for acyclic quivers in the context of cluster categories.
We prove a multiplication theorem for quantum cluster algebras of acyclic quivers. The theorem generalizes the multiplication formula for quantum cluster variables in \cite{fanqin}. We apply the formula to construct some $\mathbb{ZP}$-bases in quantum cluster algebras of finite and affine types. Under the specialization $q$ and coefficients to $1$, these bases are the integral bases of cluster algebra of finite and affine types (see \cite{CK1} and \cite{DXX}).
Let $A$ be the path algebra of a finite acyclic quiver $Q$ over a finite field. We realize the quantum cluster algebra with principal coefficients associated to $Q$ as a sub-quotient of a certain Hall algebra involving the category of morphisms between projective $A$-modules.
Let $Q$ be an acyclic quiver and let $\mathcal A(Q)$ be the corresponding cluster algebra. Let $H$ be the path algebra of $Q$ over an algebraically closed field and let $M$ be an indecomposable regular $H$-module. We prove the positivity of the cluster characters associated to $M$ expressed in the initial seed of $\mathcal A(Q)$ when either $H$ is tame and $M$ is any regular $H$-module, or $H$ is wild and $M$ is a regular Schur module which is not quasi-simple.
Let $Q$ be an acyclic quiver. We introduce the notion of generic variables for the coefficient-free acyclic cluster algebra $\mathcal A(Q)$. We prove that the set $\mathcal G(Q)$ of generic variables contains naturally the set $\mathcal M(Q)$ of cluster monomials in $\mathcal 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$…
In this paper, we build the unfolding approach from acyclic sign-skew-symmetric matrices of finite rank to skew-symmetric matrices of infinite rank, which can be regard as an improvement of that in the skew-symmetrizable case. Using this approach, we give a positive answer to the problem by Berenstein, Fomin and Zelevinsky in \cite{fz3} which asks whether an acyclic sign-skew-symmetric matrix is always totally sign-skew-symmetric. As applications, the positivity for cluster algebras in acyclic sign-skew-symmetric case is given; further, the $F$-polynomials of cluster algebras are proved to hav…
We describe a new way to relate an acyclic, skew-symmetrizable cluster algebra to the representation theory of a finite dimensional hereditary algebra. This approach is designed to explain the c-vectors of the cluster algebra. We obtain a necessary and sufficient combinatorial criterion for a collection of vectors to be the c-vectors of some cluster in the cluster algebra associated to a given skew-symmetrizable matrix. Our approach also yields a simple proof of the known result that the c-vectors of an acyclic cluster algebra are sign-coherent, from which Nakanishi and Zelevinsky have showed …
We prove that the set of c-vectors of the cluster algebra associated to an acyclic quiver Q coincides with the set of real Schur roots and their opposites in the root system associated to Q.
We establish a bijective correspondence between certain non-self-intersecting curves in an $n$-punctured disc and positive ${\mathbf c}$-vectors of acyclic cluster algebras whose quivers have multiple arrows between every pair of vertices. As a corollary, we obtain a proof of a conjecture by K.-H. Lee and K. Lee (arXiv:1703.09113) on the combinatorial description of real Schur roots for acyclic quivers with multiple arrows, and give a combinatorial characterization of seeds in terms of curves in an $n$-punctured disc.
Acyclic cluster algebras have an interpretation in terms of tilting objects in a Calabi-Yau category defined by some hereditary algebra. For a given quiver $Q$ it is thus desirable to decide if the cluster algebra defined by $Q$ is acyclic. We call $Q$ cluster-acyclic in this case, otherwise cluster-cyclic. In this note we classify the cluster-cyclic quivers with three vertices using a Diophantine equation studied by Markov.
Let $Q$ be a finite quiver without oriented cycles and $\mathcal A(Q)$ be the coefficient-free cluster algebra with initial seed $(Q,\textbf u)$. Using the Caldero-Chapoton map, we introduce and investigate a family of generic variables in $\Z[\textbf u^{\pm 1}]$ containing the cluster monomials of $\mathcal A(Q)$. The aim of these generic variables is to give an explicit new method for constructing $\Z$-bases in the cluster algebra $\mathcal A(Q)$. If $Q$ is an affine quiver with minimal imaginary root $δ$, we investigate differences between cluster characters associated to indecomposable rep…
In this paper we show that the fields of rational invariants over the irreducible components of the module varieties for an acyclic gentle algebra are purely transcendental extensions. Along the way, we exhibit for such fields of rational invariants a transcendence basis in terms of Schofield determinantal semi-invariants. We also show that the moduli space of modules over a regular irreducible component is just a product of projective spaces.
For any valued quiver, by using BGP-reflection functors, an injection from the set of preprojective objects in the cluster category to the set of cluster variables of the corresponding cluster algebra is given, the images are called preprojective cluster variables. It is proved that all preprojective cluster variables have denominators $u^{\underline{dim}M}$ in their irreducible fractions of integral polynomials, where $M$ is the corresponding preprojective module or preinjective module. If the quiver is of Dynkin type, we generalize the denominator theorem in [FZ2] to any seed, and also gener…
This is a concise introduction to Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers in the acyclic case. We review the definition of cluster algebras (geometric, without coefficients), construct the cluster category and present the bijection between cluster variables and rigid indecomposable objects of the cluster category.
Constraints are given on the depth of diagonal subalgebras in generalized triangular matrix algebras. The depth of the top subalgebra B = A /rad A in a finite, connected, acyclic quiver algebra A over an algebraically closed field K is then computed. Also the depth of the primary arrow subalgebra 1K + rad A = B in A is obtained. The two types of subalgebras have depths 3 and 4 respectively, independent of the number of vertices. An upper bound on depth is obtained for the quotient of a subalgebra pair.
We show that for cluster algebras associated with finite quivers without oriented cycles (with no coefficients), a seed is determined by its cluster, as conjectured by Fomin and Zelevinsky.We also obtain an interpretation of the monomial in the denominator of a non-polynomial cluster variable in terms of the composition factors of an indecomposable exceptional module over an associated hereditary algebra.
Our aim in this paper is to investigate the first Hochschild cohomology of {\em admissible algebras} which can be seen as a generalization of basic algebras. For this purpose, we study differential operators on an admissible algebra. Firstly, differential operators from a path algebra to its quotient algebra as an admissible algebra are discussed. Based on this discussion, the first cohomology with admissible algebras as coefficient modules is characterized, including their dimension formula. Besides, for planar quivers, the $k$-linear bases of the first cohomology of acyclic complete monomial…
In this paper, we study algebras of global dimension at most 2 whose generalized cluster category is equivalent to the cluster category of an acyclic quiver which is either a tree or of type $\widetilde{A}$. We are particularly interested in their derived equivalence classification. We prove that each algebra which is cluster equivalent to a tree quiver is derived equivalent to the path algebra of this tree. Then we describe explicitly the algebras of cluster type $\A_n$ for each possible orientation of $\A_n$. We give an explicit way to read off in which derived equivalence class such an alge…
We define evaluation forms associated to objects in a module subcategory of Ext-symmetry generated by finitely many simple modules over a path algebra with relations and prove a multiplication formula for the product of two evaluation forms. It is analogous to a multiplication formula for the product of two evaluation forms associated to modules over a preprojective algebra given by Geiss, Leclerc and Schröer in \cite{GLS2006}.
Let $n$ be a maximal nilpotent subalgebra of a complex symmetric Kac-Moody Lie algebra. Lusztig has introduced a basis of U(n) called the semicanonical basis, whose elements can be seen as certain constructible functions on varieties of nilpotent modules over a preprojective algebra of the same type as $n$. We prove a formula for the product of two elements of the dual of this semicanonical basis, and more generally for the product of two evaluation forms associated to arbitrary modules over the preprojective algebra. This formula plays an important role in our work on the relationship between…
Given a quantum cluster algebra, we show that its triangular bases defined by Berenstein and Zelevinsky and those defined by the author are the same for the seeds associated with acyclic quivers. This result implies that the Berenstein-Zelevinsky's basis contains all the quantum cluster monomials. We also give an easy proof that the two bases are the same for the seeds associated with bipartite skew-symmetrizable matrices.
We describe the general non-associative version of Lie theory that relates unital formal multiplications (formal loops), Sabinin algebras and non-associative bialgebras. Starting with a formal multiplication we construct a non-associative bialgebra, namely, the bialgebra of distributions with the convolution product. Considering the primitive elements in this bialgebra gives a functor from formal loops to Sabinin algebras. We compare this functor to that of Mikheev and Sabinin and show that although the brackets given by both constructions coincide, the multioperator does not. We also show how…
The objective of the present paper is to prove cluster multiplication theorem in the quantum cluster algebra of type $A_{2}^{(2)}$. As corollaries, we obtain bar-invariant $\mathbb{Z}[q^{\pm\frac{1}{2}}]$-bases established in [6], and naturally deduce the positivity of the elements in these bases. One bar-invariant basis as the triangular basis of this quantum cluster algebra is also explicitly described.
We show that an algebraic 2-Calabi-Yau triangulated category over an algebraically closed field is a cluster category if it contains a cluster tilting subcategory whose quiver has no oriented cycles. We prove a similar characterization for higher cluster categories. As a first application, we show that the stable category of maximal Cohen-Macaulay modules over a certain isolated singularity of dimension three is a cluster category. As a second application, we prove the non-acyclicity of the quivers of endomorphism algebras of cluster-tilting objects in the stable categories of representation-i…
We introduce quantized Chebyshev polynomials as deformations of generalized Chebyshev polynomials previously introduced by the author in the context of acyclic coefficient-free cluster algebras. We prove that these quantized polynomials arise in cluster algebras with principal coefficients associated to acyclic quivers of infinite representation types and equioriented Dynkin quivers of type $\mathbb A$. We also study their interactions with bases and especially canonically positive bases in affine cluster algebras.
We introduce a multivariate generalization of normalized Chebyshev polynomials of the second kind. We prove that these polynomials arise in the context of cluster characters associated to Dynkin quivers of type $\mathbb A$ and representation-infinite quivers. This allows to obtain a simple combinatorial description of cluster algebras of type $\mathbb A$. We also provide explicit multiplication formulas for cluster characters associated to regular modules over the path algebra of any representation-infinite quiver.
For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived category of the Leavitt path algebra viewed as a differential graded algebra with trivial differential, which is further triangle equivalent to the stable category of Gorenstein projective modules over the trivial extension algebra of a von Neumann regular algebra by an invertible bimodule. A related, but different, result for the homotopy category of acyclic c…
The aim of this paper is to study relations between regular reductive PVs with one-dimensional scalar multiplication and the structure of graded Lie algebras. We will show that the regularity of such PVs is described by an $\mathfrak{sl}_2$-triplet of a graded Lie algebra.
Using the unfolding method given in \cite{HL}, we prove the conjectures on sign-coherence and a recurrence formula respectively of ${\bf g}$-vectors for acyclic sign-skew-symmetric cluster algebras. As a following consequence, the conjecture is affirmed in the same case which states that the ${\bf g}$-vectors of any cluster form a basis of $\mathbb Z^n$. Also, the additive categorification of an acyclic sign-skew-symmetric cluster algebra $\mathcal A(Σ)$ is given, which is realized as $(\mathcal C^{\widetilde Q},Γ)$ for a Frobenius $2$-Calabi-Yau category $\mathcal C^{\widetilde Q}$ constructe…
Let $\CC$ be a Hom-finite triangulated 2-Calabi-Yau category with a cluster-tilting object $T$. Under a constructibility condition we prove the existence of a set $\mathcal G^T(\CC)$ of generic values of the cluster character associated to $T$. If $\CC$ has a cluster structure in the sense of Buan-Iyama-Reiten-Scott, $\mathcal G^T(\CC)$ contains the set of cluster monomials of the corresponding cluster algebra. Moreover, these sets coincide if $\mathcal C$ has finitely many indecomposable objects. When $\CC$ is the cluster category of an acyclic quiver and $T$ is the canonical cluster-tilting …
The theory of Caldero-Chapoton algebras of Cerulli-Irelli, Labardini-Fragoso and Schroer leads to a refinement of the notions of cluster variables and clusters, via so called component clusters. In this paper we compare component clusters to classical clusters for the cluster algebra of an acyclic quiver. We propose a definition of mutation between component clusters and determine the mutation relations of component clusters for affine quivers. In the case of a wild quiver, we provide bounds for the size of component clusters.
A cluster is a finite set of generators of a cluster algebra. The Laurent Phenomenon of Fomin and Zelevinsky says that any element of a cluster algebra can be written as a Laurent polynomial in terms of any cluster. The upper cluster algebra of a cluster algebra is the ring of rational functions that can be written as a Laurent polynomial in every cluster of the cluster algebra. By the Laurent phenomenon a cluster algebra is always contained in its upper cluster algebra, but they are not always equal. In 2014 it was conjectured that the equality of the cluster algebra and upper cluster algebra…
Inspired by a previous work of Nakajima, we consider perverse sheaves over acyclic graded quiver varieties and study the Fourier-Sato-Deligne transform from a representation theoretic point of view. We obtain deformed monoidal categorifications of acyclic quantum cluster algebras with specific coefficients. In particular, the (quantum) positivity conjecture is verified whenever there is an acyclic seed in the (quantum) cluster algebra. In the second part of the paper, we introduce new quantizations and show that all quantum cluster monomials in our setting belong to the dual canonical basis of…
This is a sequel to the second and third author's Mixed Dimer Configuration Model in Type $D$ Cluster Algebras where we extend our model to work for quivers that contain oriented cycles. Namely, we extend a combinatorial model for $F$-polynomials for type $D_n$ using dimer and double dimer configurations. In particular, we give a graph theoretic recipe that describes which monomials appear in such $F$-polynomials, as well as a graph theoretic way to determine the coefficients of each of these monomials. To prove this formula, we provide an explicit bijection between mixed dimer configurations …
Quiver mutation plays a crucial role in the definition of cluster algebras by Fomin and Zelevinsky. It induces an equivalence relation on the set of all quivers without loops and two-cycles. A quiver is called mutation-acyclic if it is mutation-equivalent to an acyclic quiver. This note gives a proof that full subquivers of mutation-acyclic quivers are mutation-acyclic.
Let A be the path algebra of a quiver Q with no oriented cycle. We study geometric properties of the Grassmannians of submodules of a given A-module M. In particular, we obtain some sufficient conditions for smoothness, polynomial cardinality and we give different approaches to Euler characteristics. Our main result is the positivity of Euler characteristics when M is an exceptional module. This solves a conjecture of Fomin and Zelevinsky for acyclic cluster algebras.
In this paper we consider the Hecke algebra $\mathcal {H}$ associated to an extended affine Weyl group of type $\widetilde{B_2}$. We give some interesting formulas on $C_{rt}S_λ$, which imply some relations between the Kazhdan-Lusztig coefficients $μ(y,w)$ and representations of some algebraic groups. Here $C_{rt}$ is one element in the Kazhdan-Lusztig basis of $\mathcal {H}$ and $S_λ$ is an element in the center of $\mathcal {H}$.
We define a generic multiplication in quantised Schur algebras and thus obtain a new algebra structure in the Schur algebras. We prove that via a modified version of the map from quantum groups to quantised Schur algebras, defined by A. A. Beilinson, G. Lusztig and R. MacPherson, a subalgebra of this new algebra is a quotient of the monoid algebra in Hall algebras studied by M. Reineke. We also prove that the subalgebra of the new algebra gives a geometric realisation of a positive part of 0-Schur algebras. Consequently, we obtain a multiplicative basis for the positive part of 0-Schur algebra…
For an acyclic quiver, we establish a connection between the cohomology of quiver Grassmannians and the dual canonical bases of the algebra $U_q^-(\mathfrak{g})$, where $U_q^-(\mathfrak{g})$ is the negative half of the quantized enveloping algebra associated with the quiver. In order to achieve this goal, we study the cohomology of quiver Grassmannians by Lusztig's category. As a consequence, we describe explicitly the Poincaré polynomials of rigid quiver Grassmannians in terms of the coefficients of dual canonical bases, which are viewed as elements of quantum shuffle algebras. By this result…
For any acyclic quiver, we establish a family of structure isomorphisms for its cohomological Hall algebra (CoHA). The family is parameterized by partitions of the quiver into Dynkin subquivers. For each such partition, we write the domain of our isomorphism as a tensor product of subalgebras in two ways. In the first, each tensor factor is isomorphic to the CoHA of the quiver with a single vertex and no arrows. In the second, the tensor factors are each isomorphic to the CoHAs of the corresponding Dynkin subquivers. When the quiver is already an orientation of a simply-laced Dynkin diagram, o…
We introduce a new class of algebraic varieties which we call frieze varieties. Each frieze variety is determined by an acyclic quiver. The frieze variety is defined in an elementary recursive way by constructing a set of points in affine space. From a more conceptual viewpoint, the coordinates of these points are specializations of cluster variables in the cluster algebra associated to the quiver. We give a new characterization of the finite--tame--wild trichotomy for acyclic quivers in terms of their frieze varieties. We show that an acyclic quiver is representation finite, tame, or wild, re…
With a grading previously introduced by the second-named author, the multiplication maps in the preprojective algebra satisfy a maximal rank property that is similar to the maximal rank property proven by Hochster and Laksov for the multiplication maps in the commutative polynomial ring. The result follows from a more general theorem about the maximal rank property of a minimal almost split morphism, which also yields a quadratic inequality for the dimensions of indecomposable modules involved.
Let $\mathcal{C}$ be a Hom-finite triangulated 2-Calabi-Yau category with a cluster tilting object. Under some constructibility assumptions on $\mathcal{C}$ which are satisfied for instance by cluster categories, by generalized cluster categories and by stable categories of modules over a preprojective algebra, we prove a multiplication formula for the cluster character associated with any cluster tilting object. This formula generalizes those obtained by Caldero-Keller for representation finite path algebras and by Xiao-Xu for finite-dimensional path algebras. It is analogous to a formula obt…