[Paper Review] On cluster variables of rank two acyclic cluster algebras

Kyungyong Lee|arXiv (Cornell University)|Aug 11, 2010

Algebraic structures and combinatorial models4 references4 citations

TL;DR

This paper provides an explicit Laurent polynomial formula for cluster variables in coefficient-free rank two acyclic cluster algebras with $ b = c \geq 2 $, using a novel recursive structure involving modified binomial coefficients. The key contribution is proving that a large number of coefficients in the Laurent expansion are non-negative, which implies non-negativity of Euler-Poincaré characteristics of quiver Grassmannians for representations of the generalized Kronecker quiver.

ABSTRACT

In this note, we find an explicit formula for the Laurent expression of cluster variables of coefficient-free rank two cluster algebras associated with the matrix $\left(\begin{array}{cc} 0 & c -c & 0 \end{array} ight)$, and show that a large number of coefficients are non-negative. As a corollary, we obtain an explicit expression for the Euler-Poincaré characteristics of the corresponding quiver Grassmannians.

Motivation & Objective

• To derive an explicit Laurent polynomial expression for cluster variables in coefficient-free rank two cluster algebras when $ b = c \geq 2 $.
• To establish that a large number of coefficients in the Laurent expansion are non-negative integers.
• To connect the cluster algebra structure to representation theory via the Euler-Poincaré characteristics of quiver Grassmannians.
• To extend combinatorial understanding of cluster variables beyond the $ bc \leq 4 $ case, where explicit formulas were previously known.

Proposed method

• Define a sequence $ \{a_n\} $ via the recurrence $ a_n = c a_{n-1} - a_{n-2} $ with $ a_1 = 0, a_2 = 1 $, which governs the degrees in the Laurent monomials.
• Introduce a modified binomial coefficient $ \left[\begin{array}{c} A \\ B \end{array}\right] $ to handle generalized binomial expressions in the formula.
• Construct the Laurent expression for $ x_n $ as a finite sum over integer parameters $ e_1, e_2, t_0, \dots, t_{n-4} $, with constraints ensuring non-vanishing terms.
• Use the Caldero-Zelevinsky formula linking cluster variables to Euler-Poincaré characteristics of quiver Grassmannians to interpret the coefficients.
• Prove that all modified binomial coefficients in the formula are non-negative under the given summation constraints, especially when $ e_2 \geq \frac{a_{n-3}}{c} $.
• Apply recursive substitution and combinatorial identities to verify the consistency of the formula across indices, ultimately showing invariance under index shifts.

Experimental results

Research questions

• RQ1 What is the explicit Laurent polynomial expression for cluster variables in rank two acyclic cluster algebras when $ b = c \geq 2 $?
• RQ2 Under what conditions are the coefficients in the Laurent expansion of such cluster variables non-negative?
• RQ3 How do the coefficients in the Laurent expansion relate to the Euler-Poincaré characteristics of quiver Grassmannians for indecomposable representations of the generalized Kronecker quiver?
• RQ4 Can the non-negativity of coefficients be established beyond the known $ bc \leq 4 $ case using a uniform combinatorial formula?
• RQ5 What role do the modified binomial coefficients $ \left[\begin{array}{c} A \\ B \end{array}\right] $ play in ensuring non-negativity of the coefficients?

Key findings

• The paper provides a complete explicit formula for the Laurent expansion of $ x_n $ in $ \mathcal{A}(c,c) $, valid for all $ n \geq 3 $, expressed as a finite sum over integer parameters with constraints.
• All coefficients in the Laurent expansion are non-negative when $ b = c \geq 3 $ and $ e_2 \geq \frac{a_{n-3}}{c} $, as shown by non-negativity of all modified binomial coefficients in the formula.
• The Euler-Poincaré characteristic of the quiver Grassmannian $ \text{Gr}_{(e_1,e_2)}(M(n)) $ is given by a finite sum of modified binomial coefficients, which are non-negative under the same condition.
• The formula is consistent under recursive substitution, and the invariance of the sum under index shifts confirms its correctness.
• The non-negativity of coefficients is established by showing that all modified binomial coefficients in the expression are non-negative under the summation constraints.
• The result confirms the non-negativity of cluster algebra coefficients in a new infinite family of rank two cluster algebras, extending previous results beyond $ bc \leq 4 $.