Abstract
We study the reflections of locally free Caldero–Chapoton functions associated to representations of Geiß–Leclerc–Schröer’s quivers with relations for symmetrizable Cartan matrices. We prove that for rank 2 cluster algebras, non-initial cluster variables are expressed as locally free Caldero–Chapoton functions of locally free indecomposable rigid representations. Our method gives rise to a new proof of the locally free Caldero–Chapoton formulas obtained by Geiß–Leclerc–Schröer in Dynkin cases. For general acyclic skew-symmetrizable cluster algebras, we prove the formula for any non-initial cluster variable obtained by almost sink and source mutations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Cluster algebras are invented by Fomin and Zelevinsky [12] in connection with dual canonical bases and total positivity. A cluster algebra \({\mathcal {A}}(B)\) associated to a skew-symmetrizable matrix B is a subalgebra of \({\mathbb {Q}}(x_1, \dots , x_n)\) generated by a distinguished set of generators called cluster variables obtained by certain iterations called mutations. A first remarkable feature is that they turn out to be Laurent polynomials with integer coefficients. Much effort has been taken to give formulas or interpretations of these Laurent polynomials since the invention of cluster algebras.
The classification of finite type cluster algebras is identical to the Cartan–Killing classification of finite root systems [11]. In particular, non-initial cluster variables are naturally in bijection with positive roots of the corresponding root system. Meanwhile, Gabriel’s theorem [15] states that the indecomposable representations of a Dynkin quiver are in bijection with positive roots, thus further in bijection with non-initial cluster variables. Caldero and Chapoton [5] showed that any non-initial cluster variable can be obtained directly from its corresponding quiver representation as the generating function of Euler characteristics of quiver Grassmannians of subrepresentations, which we now call the Caldero–Chapoton function.
Caldero and Keller [4] have extended the above correspondence to cluster algebras associated to acyclic quivers, that is, non-initial cluster variables of \({\mathcal {A}}(Q)\) are in bijection with real Schur roots in the root system associated to Q, and are again equal to the Caldero–Chapoton functions of the corresponding indecomposable rigid representations.
Geiß, Leclerc and Schröer [20] have defined a class of Iwanaga–Gorenstein algebras H associated to acyclic skew-symmetrizable matrices, generalizing the path algebras of acyclic quivers. These algebras are defined over arbitrary fields so certain geometric constructions valid for quivers carry over to them. The authors introduced locally free Caldero–Chapoton functions for locally free H-modules and showed that in Dynkin cases those of locally free indecomposable rigid modules are exactly non-initial cluster variables [16]. Their proof however does not explicitly interpret mutations of cluster variables in terms of representations but actually relies on [19] a realization of the positive part of the enveloping algebra of a simple Lie algebra using locally free H-modules and a known connection between cluster algebras of Dynkin types and (dual) enveloping algebras [32].
In this paper, we study the recursion of locally free Caldero–Chapoton functions of modules under reflection functors. These functors, introduced in [20] for H-modules, generalize the classical Bernstein–Gelfand–Ponomarev reflection functors [2] for representations of Dynkin quivers. We show that this recursion coincides with cluster mutations that happen at a sink or source, leading to our main results:
-
(1)
Non-initial cluster variables of a rank 2 cluster algebra are exactly locally free Caldero–Chapoton functions of locally free indecomposable rigid H-modules.
-
(2)
In Dynkin cases, we obtain a new proof of the aforementioned correspondence in [16] which does not rely on results in [19] and [32].
-
(3)
In general, any non-initial cluster variable obtained from almost sink and source mutations is expressed as the locally free Caldero–Chapoton function of a unique locally free indecomposable rigid H-module.
We next provide a more detailed summary of this paper.
1.1 Rank 2 cluster algebras
Let b and c be two non-negative integers. The cluster algebra \({\mathcal {A}}(b,c)\) is defined to be the subalgebra of \({\mathbb {Q}}(x_1, x_2)\) generated by cluster variables \(\{x_n\mid n\in {\mathbb {Z}}\}\) satisfying relations
Every cluster variable \(x_n\) is viewed as a rational function of \(x_1\) and \(x_2\). The cluster algebras \({\mathcal {A}}(b,c)\) are said to be of rank 2 because the cardinality of each cluster \(\{x_n, x_{n+1}\}\) is 2.
Let \(c_1\) and \(c_2\) be two positive integers such that \(c_1b = c_2c\). Let \(g \,{:}{=}\,\gcd (b,c)\). Let Q be the quiver
Following [20], we define \(H = H(b,c,c_1,c_2)\) to be the path algebra \({\mathbb {C}}{\mathbb {Q}}\) modulo the ideal
Denote by \({{\,\textrm{rep}\,}}H\) the category of finitely generated left H-modules. For any \(M\in {{\,\textrm{rep}\,}}H\) and \(i\in \{1,2\}\), the subspace \(M_i\,{:}{=}\,e_iM\) is a finitely generated module over the algebra \(H_i\,{:}{=}\,e_iHe_i \cong \mathbb C[\varepsilon ]/(\varepsilon ^{c_i})\). We say that \(M\in {{\,\textrm{rep}\,}}H\) is locally free (l.f. for short) if \(M_i\) is a free \(H_i\)-module for \(i=1,2\). For such M, we define its rank vector
where \(m_i\) denotes the rank of \(M_i\) as a finitely generated free \(H_i\)-module. Let \(E_1\) (resp. \(E_2\)) be the locally free module with rank vector (1, 0) (resp. (0, 1)).
To any locally free \(M\in {{\,\textrm{rep}\,}}H\) with \(\underline{\text {rank}}M = (m_1, m_2)\), we associated a Laurent polynomial
where \({\text {Gr}}_{{\text {l.f.}}}(\textrm{r}, M)\) is the locally free quiver Grassmannian (see Definition 4.1) which is a quasi-projective complex variety parametrizing locally free submodules of M with rank vector \({\textbf{r}}\), and \(\chi (\cdot )\) denotes the Euler characteristic in complex analytic topology. The Laurent polynomial \(X_M\) is the locally free Caldero–Chapoton function associated to M.
Our first main result is
Theorem 1.1
(Theorem 5.7) For \(bc\ge 4\), there is a class of locally free indecomposable rigid H-modules M(n) parametrized by \(\{n\in {\mathbb {Z}}\mid n\le 0 \,\text {or}\, n\ge 3 \}\) such that
In fact, this equality gives a bijection between all locally free indecomposable rigid H-modules (up to isomorphism) and non-initial cluster variables of \({\mathcal {A}}(b,c)\).
Remark 1.2
When \(bc<4\), the cluster variables \(x_n\) are periodic, that is, there are only finitely many distinguished \(x_n\). These cases actually fall into another class of cluster algebras of finite types (or Dynkin types), which will be discussed in Sect. 1.3.
Example 1.3
Let \((b, c) = (2, 3)\) and \((c_1, c_2) = (3, 2)\). Then the algebra \(H = H(b,c,c_1,c_2)\) is the path algebra of the quiver Q
modulo the relations \(\varepsilon _1^3 = 0\) and \(\varepsilon _2^2 = 0\). According to the construction in Remark 5.2, we list first a few \(M(n)\in {{\,\mathrm{rep_{l.f.}}\,}}H\) for \(n\ge 3\).
-
(1)
\(M(3) = E_1\). One calculates the only non-empty quiver Grassmannians’ Euler characteristics \(\chi ({\text {Gr}}_{{\text {l.f.}}}((0,0), E_1)) = \chi ({\text {Gr}}_{{\text {l.f.}}}((1,0), E_1)) = 1\). Thus \(X_{M(3)} = x_1^{-1}(1 + x_2^3) = x_3\).
-
(2)
\(M(4) = I_2\), the injective hull of \(E_2\). It is obtained in a similar way as the module N in Example 5.5. It is easy to see that \(\chi ({\text {Gr}}_{{\text {l.f.}}}((0,0), I_2)) = \chi ({\text {Gr}}_{{\text {l.f.}}}((2,1), I_2)) = \chi ({\text {Gr}}_{{\text {l.f.}}}((0,1), I_2)) = 1\) as in each case, the quiver Grassmannian consists of a single subrepresentation. We have \(\chi ({\text {Gr}}_{{\text {l.f.}}}((1,1), I_2)) = \chi ({\mathbb {P}}^1) = 2\) according to Corollary 4.10. Thus
$$\begin{aligned} X_{M(4)} = x_1^{-2}x_2^{-1}(x_1^2 + x_2^6 + 1 + 2x_2^3) = x_4. \end{aligned}$$ -
(3)
M(5) is calculated in Example 5.5. Computing \(X_{M(5)}\) is not so easy, but via (the proof of) Lemma 4.7, we have
$$\begin{aligned} X_{M(5)} = x_1^{-5}x_2^{-3} \left( x_1^6 + 3x_1^4(1+ x_2^3) + 3x_1^2(1 + x_2^3)^3 + (1 + x_2^3)^5 \right) = x_5. \end{aligned}$$
1.2 Higher rank cluster algebras
Extending the construction of \({\mathcal {A}}(b,c)\) to any \(n\times n\) integral skew-symmetrizable matrix B, there is an associated (coefficient-free) cluster algebra \({\mathcal {A}}(B) \subset \mathbb Q(x_1, \dots , x_n)\) with the initial seed
Here we briefly review the construction by Fomin and Zelevinsky [12]. The previous definition of \({\mathcal {A}}(b,c)\) in rank 2 corresponds to \(B = \left[ \begin{array}{ll} 0 &{} -b\\ c &{} 0\end{array}\right] \).
Let \({\mathbb {T}}_n\) be the infinite simple n-regular tree emanating from a given root \(t_0\) such that the n edges incident to any vertex are numbered by \(\{1,\dots , n\}\). We associate \(\Sigma \) to \(t_0\), and inductively if \(\Sigma _t = (B^t = (b_{ij}^t), (x_{1;t}, \dots , x_{n;t}))\) is associated to some vertex \(t\in {\mathbb {T}}_n\), then
is associated to \(t'\) for \(t \frac{k}{\quad \quad } t'\) in \(\mathbb T_n\), where \(\mu _k(B^t)\) is Fomin–Zelevinsky’s matrix mutation of \(B^t\) in direction k and
In this way, each \(t\in {\mathbb {T}}_n\) is associated with a well-defined seed \((B^t, (x_{1;t},\dots , x_{n;t}))\) where \(B^t\) is an \(n\times n\) integral skew-symmetrizable matrix and each rational function \(x_{i;t}\in {\mathbb {Q}}(x_1,\dots , x_n)\) is called a cluster variable. The cluster algebra \({\mathcal {A}}(B)\) is then defined to be the subalgebra of \({\mathbb {Q}}(x_1,\dots , x_n)\) generated by all cluster variables. The exchange between \(\Sigma _t\) and \(\Sigma _{t'}\) for \(t\frac{k}{\quad \quad } t'\) is usually called a cluster mutation.
1.3 Locally free Caldero–Chapoton formulas
Let \((C, D, \Omega )\) be an \(n\times n\) symmetrizable Cartan matrix \(C = (c_{ij})\), a symmetrizer \(D = \textrm{diag}(c_i)\), and an acyclic orientation \(\Omega \) (see Sect. 2 for precise definitions). Geiß, Leclerc and Schröer [20] have associated a finite dimensional K-algebra \(H = H_K(C, D, \Omega )\) to the triple (where K is a field), generalizing the path algebra of an acyclic quiver. Similar to the rank 2 case, there are locally free H-modules, forming the subcategory \({{\,\mathrm{rep_{l.f.}}\,}}H \subset {{\,\textrm{rep}\,}}H\). Analogously, each \(M\in {{\,\mathrm{rep_{l.f.}}\,}}H\) has its rank vector \(\underline{\text {rank}}M\in {\mathbb {N}}^n\). Let \(E_i\) be the locally free H-module with rank vector \(\alpha _i \,{:}{=}\,(\delta _{ij} \mid j = 1, \dots n)\).
We define the bilinear form \(\langle -,- \rangle _H :\mathbb Z^n\otimes {\mathbb {Z}}^n \rightarrow {\mathbb {Z}}\) such that on the standard basis \((\alpha _i)_{i=1}^n\),
The skew-symmetrization of \(\langle -,- \rangle _H\) (on the basis \((\alpha _i)_i\)) defines a skew-symmetric matrix DB (thus defining a skew-symmetrizable matrix \(B = B(C, \Omega ) = (b_{ij})\) actually having integer entries), i.e. explicitly, we have
Definition 1.4
[16, Definition 1.1] For a locally free \(H_{\mathbb {C}}(C, D, \Omega )\)-module M, the associated locally free Caldero–Chapoton function is
where \(v_i \,{:}{=}\,x_i^{1/c_i}\).
Suppose that \(k\in \{1, \dots , n\}\) is a sink of \(\Omega \) and let \(s_k(H)\,{:}{=}\,H(C, D, s_k(\Omega ))\) be the reflection of H at k. There is the (sink) reflection functor (see Sect. 3)
which generalizes the classical BGP reflection functor on quiver representations.
The following proposition gives an algebraic identity on Caldero–Chapoton functions under reflections. It is the key recursion that makes connection with cluster mutations.
Proposition 1.5
(Lemma 4.7 and Corollary 4.8) Let M be a locally free H-module such that the map \(M_{k,\textrm{in}}\) is surjective. Then the reflection \(M'\,{:}{=}\,F_k^+(M)\in {{\,\textrm{rep}\,}}s_k(H)\) is also locally free, and
where
For \(B = B(C, \Omega )\), an easy calculation shows that when k is a sink or source, \(\mu _k(B) = B(C, s_k(\Omega ))\). This hints that the recursion in Proposition 1.5 is closely related to cluster mutations as in (1.2) at sink or source, which actually leads to our next main result
Theorem 1.6
(Theorem 7.4) For any non-initial cluster variable x in \({\mathcal {A}}(B)\) obtained by almost sink and source mutations, there is a unique locally free indecomposable rigid H-module M such that \(x = X_M\).
If C is of Dynkin type, it is known that any non-initial cluster variable can be obtained by almost sink and source mutations. Therefore our method provides a new proof of the following theorem of Geiß–Leclerc–Schröer [16, Theorem 1.2 (c) and (d)].
Theorem 1.7
(Theorem 6.3) If C is of Dynkin type, then the map \(M\mapsto X_M\) induces a bijection between isomorphism classes of locally free indecomposable rigid H-modules and the non-initial cluster variables of \(\mathcal A(B)\).
1.4 Other related work
Caldero and Zelevinsky [6] studied how the Caldero–Chapoton functions of representations of generalized Kronecker quivers behave under reflection functors and used them to express cluster variables of skew-symmetric rank 2 cluster algebras. Our result in rank 2 can thus be seen as a generalization to the skew-symmetrizable case.
We remark that the recursion in Proposition 1.5 has already been achieved in the skew-symmetric case for any reflection, not necessarily at sink or source, of any quiver by Derksen–Weyman–Zelevinsky [9, 10]. Extending their theory, especially obtaining Caldero–Chapoton type formulas, to the skew-symmetrizable case in full generality remains an open problem; see for example [1, 7, 22, 23, 27, 28].
There are several earlier works generalizing Caldero–Chapoton type formulas (or in the name of cluster characters) to the skew-symmetrizable case. Demonet [8] has obtained cluster characters for acyclic skew-symmetrizable cluster algebras by extending [18] to an equivariant version. Rupel [29, 30] has used representations of valued quivers over finite fields to obtain a quantum analogue of Caldero–Chapoton formula for quantum acyclic symmetrizable cluster algebras. The representation theories used in those work are however different from the one initiated in [20] which we follow in this paper.
Fu, Geng and Liu [14] have obtained locally free Caldero–Chapoton formulas for finite type \(C_n\) cluster algebras with respect to not necessarily acyclic clusters. In [26] with Labardini-Fragoso, we prove locally free Caldero–Chapoton formulas with respect to any cluster for cluster algebras associated to surfaces with boundary marks and orbifold points, which include finite type \(C_n\) and affine type \({\widetilde{C}}_n\).
1.5 Organization
The paper is organized as follows. In Sect. 2, we recall the algebras \(H(C, D, \Omega )\) defined by Geiß–Leclerc–Schröer and review some necessary notions including locally free H-modules. In Sect. 3, we review the definition of reflection functors for H-modules and their properties. In Sect. 4 we study the reflections of F-polynomials of locally free modules, leading to a cluster type recursion of locally free Caldero–Chapoton functions. In Sects. 5, 6 and 7, we apply the results obtained in Sect. 4 to rank 2, Dynkin, and general cases respectively to obtain locally free Caldero–Chapoton formulas of cluster variables for skew-symmetrizable cluster algebras.
2 The algebras \(H(C, D, \Omega )\)
In this section, we review the algebras \(H(C, D, \Omega )\) defined in [20] and some relevant notions.
2.1 Let \((C, D, \Omega )\) be a symmetrizable Cartan matrix C, a symmetrizer D of C, and an acyclic orientation \(\Omega \) of C. Let \(I = \{1, \dots , n\}\). Precisely, the matrix \(C = (c_{ij})\in {\mathbb {Z}}^{I\times I}\) satisfies that
-
\(c_{ii} = 2\) for any \(i\in I\) and \(c_{ij}\le 0\) for \(i\ne j\), and
-
there is some symmetrizer \(D = \textrm{diag}(c_1, \dots , c_n)\) where \(c_i\in {\mathbb {Z}}_{>0}\) for \(i\in I\) such that DC is symmetric.
An orientation of C is a subset \(\Omega \subset I\times I\) such that
-
\(\{(i,j),(j,i)\}\cap \Omega \ne \varnothing \) if and only if \(c_{ij}<0\), and
-
if \((i,j)\in \Omega \), then \((j,i)\notin \Omega \).
Define \(Q^\circ = Q^\circ (C, \Omega )\,{:}{=}\,(Q^\circ _0, Q^\circ _1, s, t)\) to be the quiver with
-
the set of vertices \(Q_0^\circ \,{:}{=}\,I\), and
-
the set of arrows \(Q_1^\circ \,{:}{=}\,\{\alpha _{ij}^{(k)}:j\rightarrow i \mid (i,j)\in \Omega ,\ k = 1,\dots , g_{ij}\}\) where \(g_{ij}\,{:}{=}\,\gcd (c_{ij}, c_{ji})\).
We say \(\Omega \) acyclic if the quiver \(Q^\circ \) is acyclic, i.e., has no oriented cycles. Define \(Q = Q(C, \Omega )\) to be the quiver obtained from \(Q^\circ \) by adding one loop \(\varepsilon _i:i\rightarrow i\) to each vertex \(i\in I\).
Following [20], we define (over some ground field K) the algebra \(H\,{:}{=}\,H_K(C, D, \Omega )\) to be the path algebra KQ modulo the ideal generated by the set of relations \({\mathcal {I}}\) consisting of
-
\(\varepsilon _i^{c_i} = 0\) for \(i\in I\),
-
\(\varepsilon _i^{f_{ji}} \alpha _{ij}^{(k)} = \alpha _{ij}^{(k)} \varepsilon _j^{f_{ij}}\) for \((i,j)\in \Omega \) and \(k=1,\dots , g_{ij}\) where \(f_{ij} \,{:}{=}\,-c_{ij}/g_{ij}\).
The opposite orientation of \(\Omega \) is
which clearly is an orientation of C. We denote \(H^* \,{:}{=}\,H(C, D, \Omega ^*)\).
2.2 From now on, we will always assume that \(\Omega \) is acyclic. For \(i\in I\), let
which is a subalgebra of H. For \((i,j)\in \Omega \), define the \(H_i\)-\(H_j\)-sub-bimodule
If \((i, j)\in \Omega \), then \((j, i)\in \Omega ^*\). Consider the algebra \(H^* = H(C, D, \Omega ^*)\). We define \(_jH_i \,{:}{=}\,{_j(H^*)_i}\), which is an \(H_j\)-\(H_i\)-bimodule.
As a right \(H_j\)-module, \({_iH_j}\) is free of rank \(-c_{ji}\) with the basis given by
While as a left \(H_i\)-module, \({_iH_j}\) is free of rank \(-c_{ij}\) with the basis
There is then an \(H_i\)-\(H_j\)-bimodule isomorphism
for \(0\le f\le f_{ji}-1\) and \(1\le k\le g_{ij}\). For more details, we refer to [20, Section 5.1].
2.3 Let \({{\,\textrm{rep}\,}}H\) denote the category of finitely generated left H-modules. We will often treat \({{\,\textrm{rep}\,}}H\) as the equivalent category of quiver representations of Q satisfying relations in \(\mathcal I\). For \(M\in {{\,\textrm{rep}\,}}H\) and \(i\in I\), the subspace \(M_i\,{:}{=}\,e_iM\) is a finitely generated module over \(H_i\).
Definition 2.1
We say that \(M\in {{\,\textrm{rep}\,}}H\) is locally free if for each \(i\in I\), the \(H_i\)-module \(M_i\) is free, i.e. is isomorphic to \(H_i^{\oplus r_i}\) for some \(r_i\in {\mathbb {N}}\).
Denote the full subcategory of locally free H-modules by \({{\,\mathrm{rep_{l.f.}}\,}}H\). For \(M\in {{\,\mathrm{rep_{l.f.}}\,}}H\), define its rank vector
where \(r_i\) stands for the rank of \(e_iM\) as a free \(H_i\)-module. Let \(E_i\) be the locally free H-module such that \(\underline{\text {rank}}E_i = \alpha _i\,{:}{=}\,(\delta _{ij}\mid j\in I)\in {\mathbb {Z}}^I\).
We remark that \(H_i\) itself is the only indecomposable projective (also injective) \(H_i\)-module. Any indecomposable \(H_i\)-module is isomorphic to the submodule \(H_i \varepsilon _i^{k} \subset H_i\) for some \(k \in \{ 0, \dots , c_i-1 \}\).
2.4 Any \(M\in {{\,\textrm{rep}\,}}H\) is determined by the \(H_i\)-modules \(M_i\) for \(i\in I\) and the \(H_i\)-module homomorphisms
for any \((i,j)\in \Omega \). We will later describe an H-module M by specifying the data \((M_i, M_{ij})\).
When there is no ambiguity, the subscript \(H_j\) under the tensor product will be omitted, hence the simplified notation \(_iH_j\otimes M_j\).
3 Reflection functors
The Bernstein–Gelfand–Ponomarev reflection functors [2] are firstly defined to relate representations of an acyclic quiver Q with that of the reflection of Q at a sink or source vertex. These functors have been generalized to act on representations of \(H(C, D, \Omega )\) in [20]. In this section, we recall their definitions and review some useful properties.
For an orientation \(\Omega \) of C and \(i\in I\), the reflection of \(\Omega \) at i is the following orientation of C
We denote \(s_i(H) \,{:}{=}\,H(C, D, s_i(\Omega ))\). Denote
A vertex \(i\in I\) is called a sink (resp. source) of \(\Omega \) if it is a sink (resp. source) of the quiver \(Q^\circ \), i.e. \(\Omega (-,i) = \varnothing \) (resp. \(\Omega (i,-) = \varnothing \)). The only cases we will need are reflections at a sink or source.
3.1 Sink reflection
Let k be a sink of \(\Omega \). In this subsection we define the sink reflection functor
Denote \(M_{(k,-)} \,{:}{=}\,\bigoplus _{j\in \Omega (k,-)} {_k H_j}\otimes M_j\). Consider the \(H_k\)-module morphism
Let \(N_k\) be \(\ker M_{k,\textrm{in}}\) as an \(H_k\)-module. Denote the inclusion \(N_k\subset M_{(k,-)}\) by
The isomorphism \(\rho :_kH_j\rightarrow {{\,\textrm{Hom}\,}}_{H_j}(_jH_k, H_j)\) (2.1) induces an isomorphism
Then further by the tensor-hom adjunction, we have
under which \(\beta _{jk}\) corresponds explicitly to the map
Now we define \(F_k^+(M) = (N_r, N_{rs})\) with \((r,s)\in s_k(\Omega )\), where
For a morphism \(f = (f_i)_{i\in I} :M\rightarrow M'\) in \({{\,\textrm{rep}\,}}H\), the morphism
is defined by setting \(f'_i = f_i\) for \(i\ne k\) and \(f_k'\) to be naturally induced between kernels. Thus \(F_k^+\) is functorial.
3.2 Source reflection
For k a source of \(\Omega \), we define the source reflection functor
Denote \(M_{(-,k)} \,{:}{=}\,\bigoplus _{j\in \Omega (-,k)} \,_k H_j\otimes M_j\). Consider the \(H_k\)-module morphism
where each component \({\overline{M}}_{jk} :M_k \rightarrow \,_kH_j\otimes M_j\) for \((k,j)\in \Omega \) is defined through the structure morphism \(M_{jk}\) as follows. In fact, by the tensor-hom adjunction, we have the canonical isomorphism
where the later is further identified with \({{\,\textrm{Hom}\,}}_{H_k}(M_k, {_kH_j}\otimes M_j)\) induced by the isomorphism
Hence there is some \({\overline{M}}_{jk}\in {{\,\textrm{Hom}\,}}_{H_k}(M_k, {_kH_j}\otimes M_j)\) that \(M_{jk}\in {{\,\textrm{Hom}\,}}_{H_j}({_jH_k}\otimes M_k, M_j)\) corresponds to.
Let \(N_k\) be \({{\,\textrm{coker}\,}}M_{k,\textrm{out}}\) as an \(H_k\)-module. Denote the quotient \(M_{(-,k)}\rightarrow N_k\) by
We define \(F_k^-(M) = (N_r, N_{rs})\) with \((r,s)\in s_k(\Omega )\), where
Analogously to \(F_k^+\), it is clear that \(F_k^-\) is also functorial.
3.3 Some properties of reflection functors
For \(i\in I\), let \(S_i\) be the simple H-module supported at the vertex i. Note that \(S_i\) is at the same time the socle and the top (or head) of \(E_i\). The following lemma is straightforward.
Lemma 3.1
For any \(M\in {{\,\textrm{rep}\,}}H\), we have
Proposition 3.2
([20, Proposition 9.1 and Corollary 9.2]) Let \(H = H(C, D, \Omega )\) and k be a sink of \(\Omega \). The pair of reflection functors
are (left and right) adjoint (additive) functors. They define inverse equivalences on subcategories
We now focus on the actions of reflection functors on locally free modules.
Lemma 3.3
([17, Lemma 3.6]) Suppose that k is a sink (resp. source) of \(\Omega \) and M a locally free rigid H-module, with no direct summand isomorphic to \(E_k\). Then we have \({{\,\textrm{Hom}\,}}_H(M, E_k) = 0\) (resp. \({{\,\textrm{Hom}\,}}_H(E_k, M) = 0\)). In particular, the map \(M_{k,\textrm{in}}\) (resp. \(M_{k,\textrm{out}}\)) is surjective (resp. injective).
Proof
The case where k is a sink is [17, Lemma 3.6]. The other case is simply a dual version. \(\square \)
Let \(L = {\mathbb {Z}}^n\). We think of rank vectors of locally free H-modules as living in L via \({\mathbb {N}}^n\subset {\mathbb {Z}}^n\). For \(i\in I\), define the reflection
Proposition 3.4
([20, Proposition 9.6] and [17, Lemma 3.5]) If k is a sink (resp. source) of \(\Omega \) and M is a locally free rigid H-module, then \(F_k^+(M)\) (resp. \(F_k^-(M)\)) is locally free and rigid. If furthermore \(M_{k,\textrm{in}}\) is surjective (resp. \(M_{k,\textrm{out}}\) is injective), then
Remark 3.5
We remark that the functor \(F_k^+\) (resp. \(F_k^-\)) preserves indecomposability if \(M_{k,\textrm{in}}\) is surjective (resp. \(M_{k,\textrm{out}}\) is injective) by Proposition 3.2 and Lemma 3.1.
4 Locally free Caldero–Chapoton functions
4.1 Locally free Caldero–Chapoton functions
Let \(H = H_{\mathbb {C}}(C, D, \Omega )\).
Definition 4.1
For \(M\in {{\,\mathrm{rep_{l.f.}}\,}}H\) and a rank vector \({\textbf{r}} = (r_i)_{i\in I}\), the locally free quiver Grassmannian is
Remark 4.2
It is clear that the set \({\text {Gr}}_{{\text {l.f.}}}({\textbf{r}}, M)\) can be realized as a locally closed subvariety of the product of ordinary Grassmannians \(\prod _{i\in I}\textrm{Gr}(c_ir_i, M_i)\). We take its analytic topology and denote by \(\chi (\cdot )\) the Euler characteristic.
Definition 4.3
For \(M\in {{\,\mathrm{rep_{l.f.}}\,}}H\), we define its locally free F-polynomial as
Recall that we have defined in Sect. 1.3 the bilinear form \(\langle -,- \rangle _H :{\mathbb {Z}}^n \times {\mathbb {Z}}^n\rightarrow {\mathbb {Z}}\) and the skew-symmetrizable matrix \(B = (b_{ij})\) associated to \((C,\Omega )\).
Definition 4.4
For \(M\in {{\,\mathrm{rep_{l.f.}}\,}}H\) with \(\underline{\text {rank}}M = (m_i)_{i\in I}\), the associated locally free Caldero–Chapoton function is the Laurent polynomial
where \(v_i \,{:}{=}\,x_i^{1/c_i}\).
Remark 4.5
Using the F-polynomial \(F_M\), the Caldero–Chapoton function \(X_M\) can be rewritten as
where \({\hat{y}}_j = \prod _{i=1}^n x_i^{b_{ij}}\). Another way to write \(X_M\) is
We note that every term in the summation is an actual monomial since \([-b_{ij}]_+m_j+b_{ij}r_j\ge 0\) because we need \(r_j\le m_j\) for the quiver Grassmannian to be non-empty. Moreover, for \({\textbf{r}} = 0\) and \({\textbf{r}} = \underline{\text {rank}}M\), \(\chi ({\text {Gr}}_{{\text {l.f.}}}({\textbf{r}}, M)) = 1\) and the two corresponding monomials are coprime. Therefore \(\prod _{i=1}^nx_i^{m_i}\) can be characterized as the minimal denominator when expressing \(X_M = f/g\) as a quotient of a polynomial f and a monomial g. We thus call \(\underline{\text {rank}}M\) the \({\textbf{d}}\)-vector of the Laurent polynomial \(X_M\).
Example 4.6
For \(k\in I\) and \(E_k\in {{\,\mathrm{rep_{l.f.}}\,}}H\), the only non-empty locally free quiver Grassmannians are \({\text {Gr}}_{{\text {l.f.}}}(0, E_k) = \{0\}\) and \({\text {Gr}}_{{\text {l.f.}}}(\alpha _k, E_k) = \{E_k\}\). Thus we have
4.2 The key recursion
The following is the key proposition on the recursion of F-polynomials under reflections.
Proposition 4.7
Let \(M\in {{\,\mathrm{rep_{l.f.}}\,}}H\) be of rank \((m_i)_{i\in I}\) and k be a sink of H. Suppose that the map
is surjective. Then the reflection \(M' \,{:}{=}\,F_k^+(M)\) is locally free over \(s_k(H)\) with the rank vector \((m_i')_{i\in I}\) such that \(m_i'=m_i\) for \(i\ne k\) and
Their F-polynomials satisfy the equation
where
Proof
The first half of the statement is simply a recast of Proposition 3.4 without the hypothesis and conclusion on the rigidity. Explicitly, we observe that \(M_k'\) and \(M_k\) naturally fit into the following exact sequence (of \(H_k\)-modules)
Since \(M_j\) is free over \(H_j\) of rank \(m_j\), we have that for any \(j\in \Omega (k,-)\), the bimodule \(_kH_j\otimes M_j\) is isomorphic to \(_kH_j ^{\oplus m_j}\), thus a free left \(H_k\)-module of rank \(b_{kj}m_j\). The exact sequence splits since \(M_k\) is free. Then \(M'_k\) is also free. The calculation on its rank \(m_k'\) follows from the exact sequence.
Next we prove the recursion on F-polynomials.
Step I. Let \({\textbf{e}} = (e_i)_i\in {\mathbb {N}}^I\) be a rank vector. Decompose \({\text {Gr}}_{{\text {l.f.}}}({\textbf{e}}, M)\) into constructible subsets \({\tilde{Z}}_{{\textbf{e}}; r}(M)\) as follows. Let \(N\subset M\) be a locally free submodule. Denote
Then \(M_{k, \textrm{in}}(N_{(k,-)})\) is an \(H_k\)-submodule of \(M_k\). For \(r\in {\mathbb {N}}\), let \({\tilde{Z}}_{{\textbf{e}};r}(M)\) be the subset of \({\text {Gr}}_{{\text {l.f.}}}({\textbf{e}}, M)\) consisting of \(N\subset M\) such that
where \(E(\cdot )\) denotes the injective hull (of an \(H_k\)-module). Then \({\text {Gr}}_{{\text {l.f.}}}({\textbf{e}}, M)\) is a disjoint union of (finitely many) \({\tilde{Z}}_{{\textbf{e}};r}(M)\) when r runs over \({\mathbb {N}}\) and thus
Step II. Meanwhile for \(M'\in {{\,\mathrm{rep_{l.f.}}\,}}s_k(H)\), a rank vector \({\textbf{e}}\) and \(s\in {\mathbb {N}}\), let \({\tilde{X}}_{{\textbf{e}};s}(M')\) be the constructible subset of \({\text {Gr}}_{{\text {l.f.}}}({\textbf{e}}, M')\) consisting of locally free submodules \(N\subset M'\) such that
where we denote
and \(F(\cdot )\) stands for the (isomorphism class of) maximal free submodule of an \(H_k\)-module. Decomposing \({\text {Gr}}_{{\text {l.f.}}}({\textbf{e}}, M')\) into subsets \({\tilde{X}}_{{\textbf{e}};s}(M')\) where s runs over \({\mathbb {N}}\), we have
Step III. Let \({\textbf{e}}'\) denote the rank vector (with \(n-1\) entries) obtained from \({\textbf{e}}\) by forgetting the k-th component. Define for \(r\in {\mathbb {N}}\) the subset
such that
-
(1)
\((N_i)_{i\ne k}\) is closed under the actions of arrows in (the quiver of) H that are not incident to k;
-
(2)
The injective hull of \(M_{k,\textrm{in}}(N_{(k,-)})\) is of rank r.
There is the natural forgetful map
The fiber over a point \((N_i)_{i\ne k}\in Z_{{\textbf{e}}';r}(M)\) is
Notice that \({\mathcal {V}}\) is determined (up to isomorphism) by the isomorphism class of \(M_{k, \textrm{in}}(N_{(k,-)})\) as \(H_k\)-module. This means we can if necessary decompose \(Z_{\textbf{e}'; r}(M)\) further into (finitely many) locally closed subsets \(\coprod _{j\in J} Z_j\) so that each \(\pi ^{-1} (Z_j) \xrightarrow {\pi } Z_j\) is a fiber bundle. It is shown in Proposition 4.9 that the Euler characteristic of a fiber \({\mathcal {V}}\) is \(\left( {\begin{array}{c}m_k-r\\ e_k-r\end{array}}\right) \). Therefore we have
For \(M'\) and \(s\in {\mathbb {N}}\), we define the subset
such that
-
(1)
\((N_i)_{i\ne k}\) is closed under the actions of arrows in (the quiver of) \(s_k(H)\) not incident to k;
-
(2)
The rank of a maximal free \(H_k\)-submodule of \((M'_{k,\textrm{out}})^{-1}(N_{(-,k)})\) is s.
Then we have the forgetful map
whose fiber at \((N_i)_{i\ne k}\in X_{{\textbf{e}}';s}(M')\) is
having Euler characteristic, according to Corollary 4.10, \(\chi ({\mathcal {W}}) = \left( {\begin{array}{c}s\\ e_k\end{array}}\right) \). Analogous to (4.2), we have
Step IV. Now recall that M and \(M'\) are reflections of each other, i.e. \(M' = F_k^+(M)\), with rank vectors \((m_i)_i\) and \((m_i')_i\) respectively such that
We claim that for any \({\textbf{e}}' = (e_i)_{i\ne k}\)
In fact, let \(N_i\) be a free submodule (of rank \(e_i\)) of \(M_i\) for any \(i\ne k\) and then we have from (4.1) the following short exact sequence of \(H_k\)-modules
where by our abuse of notation, the \(H_k\)-module \(N_{(-,k)}\) (which is for the orientation \(s_k(\Omega )\)) is actually the same as \(N_{(k,-)}\) for \(\Omega \). Denote \(A = (M'_{k,\textrm{out}})^{-1}(N_{(-,k)})\), \(B = N_{(k, -)}\), and \(C = M_{k,\textrm{in}}(N_{(k,-)})\). The injection \(A\rightarrow B\) then factors through the injective hull E(A) of A as B is free and thus injective. Thus \(C\cong E(A)/A \oplus B/E(A)\) where B/E(A) is free. The number of indecomposable summands of E(A)/A is easily seen to be \({\text {rank}} E(A) - {\text {rank}} F(A)\). The number of indecomposable summands of C, which equals \({\text {rank}} E(C)\), is just \({\text {rank}} B - {\text {rank}} F(A)\). We now have the equality
Then one sees from their definitions that \(X_{{\textbf{e}}', s}(M')\) and \(Z_{{\textbf{e}}';r}(M)\) for any r and s such that \(r + s = {\text { rank }} N_{(k,-)}\) define the exact same tuples \((N_i)_{i\ne k}\) in \(\prod _{i\ne k} {\text {Gr}}_{{\text {l.f.}}}(e_i, M_i)\), hence (4.4).
Now we rewrite the F-polynomials as
Let \(z_i = y_i' \,{:}{=}\,y_iy_k^{b_{ki}}/(y_k+1)^{b_{ki}}\) for \(i\ne k\) and \(z_k = y_k' \,{:}{=}\,y_k^{-1}\). Finally we have
\(\square \)
Corollary 4.8
In the setting of the above Lemma 4.7, we have
where \(x_i'=x_i\) for \(i\ne k\) and
Proof
We first derive from Lemma 4.7 that
where \({\hat{y}}_j \,{:}{=}\,\prod _{i=1}^n x_i^{b_{ij}}\) and \({\hat{y}}_j' \,{:}{=}\,\prod _{i=1}^n (x_i')^{b'_{ij}}\) where \((b'_{ij}) \,{:}{=}\,\mu _k(B)\) or explicitly \(b'_{ij} = -b_{ij}\) if \(i=k\) or \(j=k\) and \(b'_{ij} = b_{ij}\) otherwise. In fact, this equality directly follows from the algebraic equations
Then we spell out the two sides of the desired equation in the form of Remark 4.5. Now it amounts to show
which is straightforward to check. \(\square \)
We finish this section by proving the following proposition (and Corollary 4.10) which has been used in the proof of Lemma 4.7.
Proposition 4.9
Let M be a (finitely generated) \(\mathbb C[\varepsilon ]/(\varepsilon ^n)\)-module whose (any) maximal free submodule F(M) is of rank m. Let \(L\subset M\) be a submodule such that E(L) the injective hull of L is of rank \(\ell \). Assume further that L is contained in a free submodule of M. Then for any integer e with \(\ell \le e \le m\), the variety
has Euler characteristic \(\left( {\begin{array}{c}m-\ell \\ e-\ell \end{array}}\right) \).
Proof
By the assumption that L is contained in some free submodule of M, we can realize the injective hull E(L) such that \(L \subset E(L) \subset M\). Then one can decompose M into indecomposable direct summands \(M = \bigoplus _{a\in A} M_a\) such that \(E(L) = \bigoplus _{a\in C} M_a\) where C is a subset of the maximal subset \(B\subset A\) such that for any \(a\in B\), the summand \(M_a\) is free (of rank 1). Hence we have \(|C| = \ell \) and \(|B| = m\). The decomposition can be particularly arranged so that \(L = \bigoplus _{a\in C} (L\cap M_a)\) (each summand being non-zero) since the injective hull is additive.
To compute the Euler characteristic of \({\mathcal {V}} = {\mathcal {V}}(e, L, M)\), we define an algebraic \({\mathbb {C}}^*\)-action on \({\mathcal {V}}\) and use the well-known fact [3, Corollary 2] that the Euler characteristic \(\chi ({\mathcal {V}})\) equals that of the fixed point subset. We first let the multiplicative group \({\mathbb {C}}^*\) act on \(M = \bigoplus _{a\in A} M_a\) with distinct weights on different summands \(M_a\), i.e. for any \(z \in {\mathbb {C}}^*\) and \((m_a)_{a\in A}\in M\),
where \((\lambda _a)_{a\in A} \in {\mathbb {Z}}^A\) are pairwise different. Since the \({\mathbb {C}}^*\)-action commutes with the action of \(\varepsilon \), it induces an action of \({\mathbb {C}}^*\) on the set of all submodules of M preserving their isomorphism types. Also notice that a submodule \(N\subset M\) is fixed if and only if \(N = \bigoplus _{a\in A} (N \cap M_a)\). Therefore the submodule L is fixed by the action and the \({\mathbb {C}}^*\) acts on \({\mathcal {V}}\). Now the fixed points in \({\mathcal {V}}\) are exactly those \(N = \bigoplus _{a\in D} M_a\) such that \(C\subset D \subset B\) with \(|D| = e\), and there are \(\left( {\begin{array}{c}m-\ell \\ e - \ell \end{array}}\right) \) of them. Consequently \(\chi ({\mathcal {V}})\) equals \(\left( {\begin{array}{c}m - \ell \\ e - \ell \end{array}}\right) \) the number of fixed points. \(\square \)
Corollary 4.10
Let M be a \({\mathbb {C}}[\varepsilon ]/(\varepsilon ^n)\)-module whose (any) maximal free submodule is of rank m. Then for any \(0\le e\le m\), the variety
has Euler characteristic \(\left( {\begin{array}{c}m\\ e\end{array}}\right) \).
Proof
In the setting of Proposition 4.9, letting \(L = 0\), the result follows. \(\square \)
5 The rank 2 case
The purpose of this section is to prove Theorem 1.1 (Theorem 5.7). In fact, the construction of the algebra H in Sect. 1.1 can be seen as within the general framework introduced in Sect. 2, which we explain in below.
Let \(I = \{1, 2\}\). Let C be the Cartan matrix
There are only two possible orientations, i.e. \(\Omega = \{(1,2)\}\) or \(\{(2,1)\}\). We take \(\Omega = \{(2,1)\}\). The associated matrix B is \(\left( \begin{array}{ll} 0 &{} -b \\ c &{} 0 \end{array}\right) .\) Assume in the rest of this section that \(bc\ge 4\). The rest cases are of Dynkin types which will be covered in the next Sect. 6.
Let \(D = \textrm{diag}(c_1, c_2)\) be a symmetrizer of C. One easily sees that \(H\,{:}{=}\,H(C, D,\Omega )\) is the same as \(H(b,c,c_1,c_2)\) defined in Sect. 1.1, where we denote the arrow \(\alpha _k\) there by \(\alpha ^{(k)}_{21}\). It is clear that
Denote \(H^* \,{:}{=}\,H(C, D, \Omega ^*)\). Then there are reflection functors
We omit the subscripts in the reflection functors since the sign ± already specifies which vertex the reflection is performed at. Next we define a class of modules obtained from iterative reflections.
Definition 5.1
We define for \(n\ge 0\) the following H-modules
Remark 5.2
Let us clarify the above construction of \(M(n+3)\). For any \(n\ge 0\) and \(0\le k\le n\), let
Now we have a sequence of functors \(F^{(k)}\,{:}{=}\,F^+:{{\,\textrm{rep}\,}}H^{(k+1)}\rightarrow {{\,\textrm{rep}\,}}H^{(k)}\) for \(0\le k\le n-1\). Then \(M(n+3)\) is obtained by iteratively applying \(F^{(k)}\), i.e.
The modules \(M(-n)\) are defined using \(F^-\) in a similar way.
Lemma 6.2
For any \(n\ge 0\), the H-module \(M = M(n+3)\) (resp. \(M(-n)\)) is locally free, indecomposable and rigid. The map \(M_{2,\textrm{in}}\) (resp. \(M_{1,\textrm{out}}\)) is surjective (resp. injective).
Proof
It follows from Proposition 3.4 that any \(M(n+3)\) or \(M(-n)\) is locally free and rigid because so is \(E_1\) or \(E_2\).
Now assume that for any \(0\le k \le n\) the modules \(M(k+3)\) and \(M(-k)\) are all indecomposable and that the map \(M_{1,\textrm{out}}\) is surjective for \(M(k+3)\) and \(M_{2,\textrm{in}}\) is injective for any \(M(-k)\). Denote the rank vectors by \(\alpha (n) \,{:}{=}\,\underline{\text {rank}}M(n)\). Now by the construction of \(M(n+4)\) and \(M(-(n+1))\) and Proposition 3.4, we have that these two modules are locally free and rigid, and
where \(\langle n \rangle \in \{1, 2\}\) is congruent to n modulo 2. It is then known that (in the case \(bc\ge 4\)) both \(\alpha (n+4)\) and \(\alpha (-(n+1))\) are real positive roots of C (other than the simple roots \(\alpha _1\) and \(\alpha _2\)) and in particular are strictly positive linear combinations of \(\alpha _1\) and \(\alpha _2\); see for example [31, Section 3.1]. By Remark 3.5, \(M(n+4)\) and \(M(-(n+1))\) are also indecomposable. So they cannot have any summand isomorphic to \(E_1\) or \(E_2\). Now by Lemma 3.3, the induction is completed. \(\square \)
Remark 5.4
In fact, by [21], locally free indecomposable rigid H-modules are parametrized by their rank vectors as real Schur roots of C (depending on \(\Omega \)). Since the rank vectors \(\alpha (n) = \underline{\text {rank}}M(n)\) for \(n\le 0\) and \(n\ge 3\) are exactly the real Schur roots (see for example [31]), we know that \(\{M(n)\mid \hbox { }\ n\le 0\) or \(n\ge 3\}\) fully lists locally free indecomposable rigid H-modules.
Example 5.5
Recall the algebra H considered in Example 1.3 where \(b=2\) and \(c=3\). We calculate \(N \,{:}{=}\,F_2^+(E_1)\in {{\,\textrm{rep}\,}}s_2(H)\) as follows. First, we have
The structure map \(N_{12}:{_1H_2} \otimes N_2\rightarrow N_1\) is given by
for any \(h\in H_1\). Then one sees \(N \cong I_1 \in {{\,\textrm{rep}\,}}s_2(H)\), which is locally free, indecomposable and rigid, and \(\underline{\text {rank}}N = (1,3) = s_2(\underline{\text {rank}}E_1)\).
We next calculate \(M = M(5) \,{:}{=}\,F_1^+F_2^+(E_1) = F_1^+(N)\). By definition, \(M_2 = N_2\) and
which is a free \(H_1\)-module of rank 5 having the basis
Thus \(M_1 \cong {\mathbb {C}}^{15}\) as a vector space with the basis \(\{\varepsilon _1^ke_j\mid 1\le j \le 5,\ 0\le k\le 2\}\). The action of \(\alpha _{21}\) on this basis is calculated in the table below (only non-zero terms shown).
For example, we have by (3.1) that
Recall the definition of the cluster variables \(x_n\) of rank 2 cluster algebras given in Sect. 1.1. We rewrite Corollary 4.8 in the current rank 2 situation.
Corollary 5.6
Let \(M\in {{\,\mathrm{rep_{l.f.}}\,}}H\) such that \(M_{2,\textrm{in}}\) is surjective. Then \(M' \,{:}{=}\,F_2^+(M)\in {{\,\textrm{rep}\,}}H^*\) is locally free and \(M'_{2, \textrm{out}}\) is injective such that \(\underline{\text {rank}}M' = s_2(\underline{\text {rank}}M)\). We further have
where \(x_1' = x_1\) and \(x_2' = x_2^{-1}(1 + x_1^b)\).
The following is the main result of this section.
Theorem 5.7
The map
induces a bijection
such that \(X_{M(n)} = x_n\). In particular, each \(x_n\) is distinct for \(n\in {\mathbb {Z}}\).
Proof
We prove by induction on n that
using the recursion Corollary 5.6. For \(n = 0\), we have \(M(0) = E_2\) and \(M(3) = E_1\), thus by direct computation (as in Example 4.6)
Assume that the statement (5.1) is true for some \(n\ge 0\). By the obvious symmetry between H and \(H^*\) by switching the orientation, we have by the induction hypothesis that
where the notation \(M(n+3, H^*)\) stresses that the module \(M(n+3, H^*)\) is constructed for \(H^*\) instead of H. We would like to apply Corollary 5.6 to \(M \,{:}{=}\,M(n+3, H^*)\) and the sink reflection functor
The condition that \(M_{1,\textrm{in}}\) is surjective is guaranteed by Lemma 5.3 (applied to the algebra \(H^*\)). Then by Corollary 5.6, we have
where \(M(n+4, H) = F^+_1(M(n+3, H^*))\) and \(x_1 = x_3^{-1}(1 + x_2^c)\). Immediately we obtain
The proof for \(M(-n)\) for \(n\ge 0\) uses a similar induction.
Now that \(x_n = X_{M(n)}\) is a Laurent polynomial in \(x_1\) and \(x_2\), the unique minimal common denominator (up to a scalar) is easily seen to be \(x^{\alpha (n)}\). Since the positive roots \(\alpha (n)\) are distinct, so are the cluster variables \(x_n\). \(\square \)
Remark 5.8
To a pair \((b,c)\in {\mathbb {Z}}_{>0}^2\), one can also associate an algebra H(b, c) defined as the path algebra \({\mathbb {C}}{\mathbb {Q}}\) of the quiver modulo the relations \(\varepsilon _1^c = 0\) and \(\varepsilon _2^b = 0\). When b and c are coprime, the algebra H(b, c) is the same as \(H(C,D,\Omega )\) for \(D = \left[ \begin{array}{ll} c &{} 0\\ 0 &{} b \end{array}\right] \). However, when b and c are not coprime, the algebra H is not included in the construction of [20]. We note that Theorem 1.1 can be easily adapted to using the algebras H(b, c). In the case \(b = c =2\), the algebra H(b, c) coincides with a construction in [25] where the ordinary Caldero–Chapoton functions are shown to give cluster variables of a generalized cluster algebra.
6 Dynkin cases
The purpose of this section is to give a new proof of Theorem 1.7 (Theorem 6.3). Let C be of Dynkin type and \(B = B(C, \Omega )\) the associated skew-symmetrizable matrix. Denote by \(\Delta ^+_C\) the set of positive roots associated to C.
Definition 6.1
A sequence \({\textbf{i}} = (i_1, \dots , i_{k+1})\in I^{k+1}\) is called adapted to an orientation \(\Omega \) of C (or \(\Omega \)-adapted) if
-
\(i_1\) is a sink for \(\Omega \),
-
\(i_2\) is a sink for \(s_{i_1}(\Omega )\),
-
\(\quad \vdots \)
-
\(i_{k}\) is a sink for \(s_{i_{k-1}}\cdots s_{i_2}s_{i_1}(\Omega )\).
The following lemma is well-known; see for example [24, Chapter 3].
Lemma 3.1
Let \(\beta \) be a positive root for C and \(\Omega \) be an orientation. Then there always exists a sequence \({\textbf{i}} = (i_1, \dots , i_{k+1})\) adapted to \(\Omega \) for \(\beta \) such that
-
\(s_{i_k}(\alpha _{i_{k+1}})\in \Delta ^+_C\),
-
\(s_{i_{k-1}}s_{i_k}(\alpha _{i_{k+1}})\in \Delta ^+_C\),
-
\(\quad \vdots \)
-
\(\beta = s_{i_{1}}\cdots s_{i_{k-1}}s_{i_{k}}(\alpha _{i_{k+1}}) \in \Delta ^+_C\).
It is clear that for such a sequence \({\textbf{i}}\) in the above lemma, \(i_{k+1}\) must not be equal to \(i_{k}\). To any sequence \({\textbf{i}} = (i_1, \dots , i_{k+1})\), consider the following path in \({\mathbb {T}}_n\)
Recall the cluster mutations as introduced in Sect. 1.3 which generate cluster variables. Recursively performing cluster mutations from \(t_0\) to \(t_{k+1}\) we obtain an n-tuple \((x_{1;t_{k+1}},\dots , x_{n;t_{k+1}})\) of cluster variables associated to \(t_{k+1}\). We denote \(x_{\textbf{i}} \,{:}{=}\,x_{i_{k+1};t_{k+1}}\).
Suppose that \({\textbf{i}}\) is adapted to \(\Omega \) for a positive root \(\beta \) as in Lemma 6.2. Note that \(i_\ell \) is a source for the orientation \(\Omega _\ell \,{:}{=}\,s_{i_\ell }\cdots s_{i_1}(\Omega )\) for \(\ell = 1, \dots , k\). Let \(H_\ell \,{:}{=}\,H(C, D, \Omega _\ell )\) for \(\ell = 1, \dots , k\) and \(H_0 \,{:}{=}\,H\). We have source reflection functors
Define the module
Theorem 6.3
([16, Theorem 1.2]) The map \(M\mapsto X_M\) induces a bijection between isomorphism classes of locally free indecomposable rigid \(H(C, D, \Omega )\)-modules and the non-initial cluster variables of the cluster algebra \({\mathcal {A}}(B)\).
Proof
For \({\textbf{i}}\) adapted to \(\Omega \) for a positive root \(\beta \), we show by induction on the length of \({\textbf{i}}\) that
If \({\textbf{i}} = (i)\) is of length one, then \(M_{\textbf{i}} = E_i\). Notice that i is not necessarily a sink or source. As in Example 4.6, we have
Assume that (\(\star \)) is true for any \({\textbf{i}}\) of length no greater than \(k\in {\mathbb {N}}\). Let \({\textbf{i}} = (i_\ell )_{\ell =1}^{k+1}\) and \({\textbf{i}}'\) be the sequence
which is adapted to the orientation \(s_{i_1}(\Omega )\). By assumption, the module
is locally free, rigid and indecomposable with rank vector \(\beta ' \,{:}{=}\,s_{i_2}\dots s_{i_k}(\alpha _{i_{k+1}})\) and that \(X_{M_{{\textbf{i}}'}} = x_{{\textbf{i}}'}\in {\mathcal {A}}(\mu _{i_1}(B))\). Since \(s_{i_1}(\beta ') = \beta \) and \(\beta ' \in \Delta ^+(C)\), the positive root \(\beta '\) cannot be a positive multiple of \(\alpha _{i_1}\). Thus the indecomposable module \(M_{{\textbf{i}}'}\) does not have any direct summand isomorphic to \(E_{i_1}\). By Lemma 3.3, the map \((M_{\textbf{i}'})_{i_1,\textrm{out}}\) is injective. By Proposition 3.4, we have that \(M_{{\textbf{i}}} = F_{i_1}^-(M_{{\textbf{i}}'})\) is locally free, rigid and indecomposable with rank vector \(\beta = s_{i_1}(\beta ')\).
Applying Corollary 4.8 to \(M_\textbf{i}\in {{\,\textrm{rep}\,}}H\) and \(M_{{\textbf{i}}'} \cong F_{i_1}^+(M_{\textbf{i}}) \in {{\,\textrm{rep}\,}}s_{i_1}(H)\), we have
where
Notice that
Hence \(X_{M_{\textbf{i}}} = x_{{\textbf{i}}}\in {\mathbb {Z}}[x_1^\pm , \dots , x_n^\pm ]\), which completes the induction and proves (\(\star \)).
By [20, Theorem 1.3], the module \({M_{\textbf{i}}}\) constructed from \({\textbf{i}}\) only depends on the positive root \(\beta \) and the (thus well-defined) map \(\beta \mapsto {M_{\textbf{i}}}\) induces a bijection from \(\Delta ^+_C\) to locally free indecomposable rigid H-modules (up to isomorphism). Thus the formula \(x_{\textbf{i}} = X_{M_{\textbf{i}}}\) implies that the cluster variable \(x(\beta )\,{:}{=}\,x_{\textbf{i}}\) also only depends on \(\beta \). In view of Remark 4.5, each \(x(\beta )\) has \({\textbf{d}}\)-vector \(\beta \). By [11], these \(x(\beta )\) are exactly the non-initial cluster variables of \({\mathcal {A}}(B)\), hence the desired bijection. \(\square \)
7 Beyond Dynkin and rank 2 cases
For \((C, D, \Omega )\) which is neither of Dynkin type nor in rank 2, in general we will not be able to reach all locally free indecomposable rigid modules by reflections. In this section, we prove locally free Caldero–Chapoton formulas for cluster variables that can be obtained by almost sink and source mutations. In particular, any cluster variable on the bipartite belt [13] can be obtained this way.
Definition 7.1
(cf. [29]) A sequence \({\textbf{i}} = (i_1, \dots , i_{k+1})\in I^{k+1}\) is called admissible to an orientation \(\Omega \) of C if
-
\(i_1\) is a sink or source for \(\Omega \),
-
\(i_2\) is a sink or source for \(s_{i_1}(\Omega )\),
-
\(\quad \vdots \)
-
\(i_{k}\) is a sink or source for \(s_{i_{k-1}}\cdots s_{i_2}s_{i_1}(\Omega )\).
Let \(B = B(C, \Omega )\) and \({\mathcal {A}}(B)\) be the (coefficient-free) cluster algebra associated to B. As defined in Sect. 6, for an arbitrary sequence \({\textbf{i}}\), there is the cluster variable \(x_{\textbf{i}}\in {\mathcal {A}}(B)\) by successive cluster mutations.
Definition 7.2
We say that the cluster variable \(x_{\textbf{i}}\in {\mathcal {A}}(B)\) corresponding to a sequence \({\textbf{i}} = (i_\ell )_{\ell }\) is obtained by almost sink or source mutations if \({\textbf{i}}\) is admissible to \(\Omega \).
Remark 7.3
We note that by definition the last index \(i_{k+1}\) can be arbitrary in I. It is the only step in the mutation sequence \((\mu _{i_1}, \dots , \mu _{i_{k+1}})\) that may not be at a sink or source, thus the term almost.
The following is our main result in this section.
Theorem 7.4
For any admissible sequence \({\textbf{i}}\), either the cluster variable \(x_{\textbf{i}}\) is an initial one or there is a locally free indecomposable rigid \(H(C,D,\Omega )\)-module \(M_{\textbf{i}}\) such that
Moreover, the module \(M_{\textbf{i}}\) is uniquely determined (up to isomorphism) by \(x_{\textbf{i}}\).
Proof
We slightly modify the functors \(F_i^\pm \) to define the operations
such that
For an admissible sequence \({\textbf{i}}\), let
where each sign is chosen on whether \(i_\ell \) is a sink or source of \(s_{i_{\ell -1}}\cdots s_{i_1}(\Omega )\). We define \(X_{M_{\textbf{i}}}\) as in Definition 1.4 if \(M_{\textbf{i}}\) is a locally free H-module or \(X_{M_{\textbf{i}}} \,{:}{=}\,x_i\) if \(M_{\textbf{i}} = x_i\) for some \(i\in \{1,\dots , n\}\). We next show by induction on the length of \({\textbf{i}}\) that
-
if \(M_{\textbf{i}}\) is indeed a module, then it must be locally free, indecomposable and rigid, and
-
\(X_{M_{\textbf{i}}} = x_{\textbf{i}}\).
The induction is a slight modification of the proof of Theorem 6.3. For \({\textbf{i}} = (i)\) of length one, \(M_{(i)} = E_i\) and the statement is clearly true. Assume that the statement is true for \({\textbf{i}}\) of length no greater than k. Let \({\textbf{i}} = (i_\ell )_\ell \) be of length \(k+1\) admissible to \(\Omega \) and \({\textbf{i}}' = (i_2, \dots , i_{k+1})\), which is admissible to \(s_{i_1}(\Omega )\). By assumption, either
-
(1)
\(M_{{\textbf{i}}'}\in {{\,\textrm{rep}\,}}s_{i_1}(H)\) is locally free indecomposable rigid or
-
(2)
\(M_{{\textbf{i}}'} = x_i\) for some \(i\in I\).
In both cases, we have by assumption that \(X_{M_{{\textbf{i}}'}} = x_{{\textbf{i}}'} \in {\mathcal {A}}(\mu _{i_1}(B))\).
In case (1), there are three sub-cases
-
(1.1)
\(M_{{\textbf{i}}'} \cong E_{i_1}\);
-
(1.2)
\(i_1\) is a sink of \(s_{i_1}(\Omega )\) and \((M_{{\textbf{i}}'})_{i_1, \textrm{in}}\) is surjective by Lemma 3.3;
-
(1.3)
\(i_1\) is a source of \(s_{i_1}(\Omega )\) and \((M_{{\textbf{i}}'})_{i_1, \textrm{out}}\) is injective by Lemma 3.3.
In case (2), there are two sub-cases
-
(2.1)
\(i = i_1\) and thus \(F_{i_1}^\pm (M_{\textbf{i}}) = E_i\);
-
(2.2)
\(i \ne i_1\) and thus \(F_{i_1}^\pm (M_{\textbf{i}}) = x_i\).
By Corollary 4.8, it is easy to check that in each of the sub-cases we have
where \(x_i' = x_i\) if \(i\ne i_1\) and \(x_{i_1}' = x_{i_1}^{-1}\left( \prod _{j} x_j^{[b_{ji_1}]_+} + \prod _{j} x_j^{[-b_{ji_1}]_+}\right) \) and by Proposition 3.4 if \(M_{\textbf{i}} = F_{i_1}^\pm (M_{\textbf{i}'})\) is a module, it is locally free, indecomposable and rigid. In all cases, we have
which finishes the induction.
By the Caldero–Chapoton formula, the rank vector \(\underline{\text {rank}}M_{\textbf{i}}\) is just the \({\textbf{d}}\)-vector of \(x_{\textbf{i}}\), thus only depending on \(x_{\textbf{i}}\); see Remark 4.5. It is shown in [21] that any locally free indecomposable rigid module is determined by its rank vector (which in particular is a real Schur root of \((C, \Omega )\)). Thus \(M_{\textbf{i}}\) is uniquely determined by \(x_{\textbf{i}}\). \(\square \)
Data availability
Not applicable.
References
Bautista, R., López-Aguayo, D.: Potentials for some tensor algebras. J. Algebra 573, 177–269 (2021)
Bernšteĭn, I. N., Gel’fand, I. M., Ponomarev, V. A.: Coxeter functors, and Gabriel’s theorem. Usp. Mat. Nauk 28 2(170), 19–33 (1973)
Bialynicki-Birula, A.: On fixed point schemes of actions of multiplicative and additive groups. Topology 12(1), 99–103 (1973)
Caldero, P., Keller, B.: From triangulated categories to cluster algebras. II. Ann. Sci. École Norm. Sup. (4) 39(6), 983–1009 (2006)
Caldero, P., Chapoton, F.: Cluster algebras as Hall algebras of quiver representations. Comment. Math. Helv. 81(3), 595–616 (2006)
Caldero, P., Zelevinsky, A.: Laurent expansions in cluster algebras via quiver representations. Mosc. Math. J. 6(3), 411–429 (2006). (587)
Demonet, L.: Mutations of Group Species with Potentials and Their Representations. Applications to Cluster Algebras. arXiv:1003.5078
Demonet, L.: Categorification of skew-symmetrizable cluster algebras. Algebras Represent. Theory 14(6), 1087–1162 (2011)
Derksen, H., Weyman, J., Zelevinsky, A.: Quivers with potentials and their representations. I. Mutations. Sel. Math. (N.S.) 14(1), 59–119 (2008)
Derksen, H., Weyman, J., Zelevinsky, A.: Quivers with potentials and their representations II: applications to cluster algebras. J. Am. Math. Soc. 23(3), 749–790 (2010)
Fomin, S., Zelevinsky, A.: Cluster algebras II: Finite type classification. Invent. Math. 154(1), 63–121 (2003)
Fomin, S., Zelevinsky, A.: Cluster algebras I: foundations. J. Am. Math. Soc. 15(2), 497–529 (2002)
Fomin, S., Zelevinsky, A.: Cluster algebras IV: coefficients. Compos. Math. 143(1), 112–164 (2007)
Fu, C., Geng, S., Liu, P.: Cluster algebras arising from cluster tubes II: the Caldero–Chapoton map. J. Algebra 544, 228–261 (2020)
Gabriel, P.: Unzerlegbare Darstellungen. I. Manuscr. Math. 6, 71–103 (1972) (correction ibid. 6, 309) (1972)
Geiß, C., Leclerc, B., Schröer, J.: Quivers with relations for symmetrizable Cartan matrices V: Caldero–Chapoton formulas. Proc. Lond. Math. Soc. (3) 117(1), 125–148 (2018)
Geiß, C.: Quivers with relations for symmetrizable Cartan matrices and algebraic Lie theory. In: Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. II. Invited Lectures. World Scientific Publishing, Hackensack, pp. 99–124 (2018)
Geiß, C., Leclerc, B., Schröer, J.: Kac–Moody groups and cluster algebras. Adv. Math. 228(1), 329–433 (2011)
Geiß, C., Leclerc, B., Schröer, J.: Quivers with relations for symmetrizable Cartan matrices III: convolution algebras. Represent. Theory 20, 375–413 (2016)
Geiß, C., Leclerc, B., Schröer, J.: Quivers with relations for symmetrizable Cartan matrices I: foundations. Invent. Math. 209(1), 61–158 (2017)
Geiß, C., Leclerc, B., Schröer, J.: Rigid modules and Schur roots. Math. Z. 295(3–4), 1245–1277 (2020)
Geuenich, J., Labardini-Fragoso, D.: Species with potential arising from surfaces with orbifold points of order 2, Part I: one choice of weights. Math. Z. 286(3), 1065–1143 (2017)
Geuenich, J., Labardini-Fragoso, D.: Species with potential arising from surfaces with orbifold points of order 2, Part II: Arbitrary weights. Int. Math. Res. Not. IMRN 12, 3649–3752 (2020)
Kirillov, A., Jr.: Graduate Studies in Mathematics. Quiver representations and quiver varieties, vol. 174. American Mathematical Society, Providence (2016)
Labardini-Fragoso, D., Mou, L.: Gentle algebras arising from surfaces with orbifold points of order 3, Part I: scattering diagrams. Algebr. Represent. Theory 27, 679–722 (2024)
Labardini-Fragoso, D., Mou, L.: Gentle algebras arising from surfaces with orbifold points, Part II: locally free Caldero–Chapoton functions. arXiv:2309.16061
Labardini-Fragoso, D., Zelevinsky, A.: Strongly primitive species with potentials I: mutations. Bol. Soc. Mat. Mex. (3) 22(1), 47–115 (2016)
López-Aguayo, D.: A note on species realizations and nondegeneracy of potentials. J. Algebra Appl. 18(2), 1950024 (2019). (9)
Rupel, D.: On a quantum analog of the Caldero–Chapoton formula. Int. Math. Res. Not. IMRN 14, 3207–3236 (2011)
Rupel, D.: Quantum cluster characters for valued quivers. Trans. Am. Math. Soc. 367(10), 7061–7102 (2015)
Sherman, P., Zelevinsky, A.: Positivity and canonical bases in rank 2 cluster algebras of finite and affine types. Mosc. Math. J. 4(4), 947–974 (2004). (982)
Yang, S.-W., Zelevinsky, A.: Cluster algebras of finite type via Coxeter elements and principal minors. Transform. Groups 13(3–4), 855–895 (2008)
Acknowledgements
The author would like to thank Daniel Labardini-Fragoso for helpful discussions. The author is also grateful to an anonymous referee for suggesting the current short proof of Proposition 4.9. During the preparation of the manuscript, L.M. was supported by the Royal Society through the Newton International Fellowship NIF\R1\201849. L.M. is supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)-Project-ID 281071066-TRR 191.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author has no relevant financial or non-financial interests to disclose. He has no conflict of interest to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mou, L. Locally free Caldero–Chapoton functions via reflections. Math. Z. 307, 11 (2024). https://doi.org/10.1007/s00209-024-03483-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-024-03483-y