arXiv++ Combinatorics

We characterize Y/T-system type difference equations arising from cluster algebras by triples of matrices, which we call T-data, that have a certain symplectic property. We show that all mutation loops are essentially obtained from T-data, which generalizes the general solution for period 1 quivers given by Fordy and Marsh. We also show that any T-datum associated with a periodic Y/T-system has the simultaneous positivity. As an application, we propose a version of Nahm's conjecture from a viewpoint of cluster algebras. We conjecture that given a periodic T/Y-system of a certain type, we have a family of hypergeometric q-series that are also modular functions.

Let $X_r$ be a finite type Dynkin diagram, and $\ell$ be a positive integer greater than or equal to two. The $Y$-system of type $X_r$ with level $\ell$ is a system of algebraic relations, whose solutions have been proved to have periodicity. For any pair $(X_r, \ell)$, we define an integer sequence called exponents using formulation of the $Y$-system by cluster algebras. We give a conjectural formula expressing the exponents by the root system of type $X_r$, and prove this conjecture for $(A_1,\ell)$ and $(A_r, 2)$ cases. We point out that a specialization of this conjecture gives a relationship between the exponents and the asymptotic dimension of an integrable highest weight module of an affine Lie algebra. We also give a point of view from $q$-series identities for this relationship.

For any quiver mutation sequence, we define a pair of matrices that describe a fixed point equation of a cluster transformation determined from the mutation sequence. We give an explicit relationship between this pair of matrices and the Jacobian matrix of the cluster transformation. Furthermore, we show that this relationship reduces to a relationship between the pair of matrices and the $C$-matrix of the cluster transformation in a certain limit of cluster variables. As an application, we prove that quivers associated with once-punctured surfaces do not have maximal green or reddening sequences.

In this paper, first we introduce a quantity called a partition function for a quiver mutation sequence. The partition function is a generating function whose weight is a $q$-binomial associated with each mutation. Then, we show that the partition function can be expressed as a ratio of products of quantum dilogarithms. This provides a systematic way of constructing various $q$-binomial multisum identities.