arXiv++ Combinatorics

We consider the skein algebra of an unpunctured marked surface. Thurston previously constructed its band basis topologically. We show that this band basis coincides with the common triangular basis, which is a Kazhdan-Lusztig type basis for quantum cluster algebras analogous to the dual canonical basis of quantum groups. Our result confirms a conjecture of Thurston. It also provides new cases for the existence of the common triangular basis. In addition, we discover a phenomenon where certain unknots are arranged in configurations resembling beads on a necklace.

Let $(S,M,U)$ be a marked orbifold with or without punctures and let $\mathcal A_v$ be a quantum cluster algebra from $(S,M,U)$ with arbitrary coefficients and quantization. We provide combinatorial formulas for quantum Laurent expansion of quantum cluster variables of $\mathcal A_v$ concerning an arbitrary quantum seed. Consequently, the positivity for the quantum cluster algebra $\mathcal A_v$ is proved.

There have been several combinatorial constructions of universally positive bases in cluster algebras, and these same combinatorial objects play a crucial role in the known proofs of the famous positivity conjecture for cluster algebras. The greedy basis was constructed in rank $2$ by Lee-Li-Zelevinsky using compatible pairs on Dyck paths. The theta basis, introduced by Gross-Hacking-Keel-Kontsevich, has elements expressed as a sum over broken lines on scattering diagrams. It was shown by Cheung-Gross-Muller-Musiker-Rupel-Stella-Williams that these bases coincide in rank $2$ via algebraic methods, and they posed the open problem of giving a combinatorial proof by constructing a (weighted) bijection between compatible pairs and broken lines. We construct a quantum-weighted bijection between compatible pairs and broken lines for the quantum type $A_2$ and the quantum Kronecker cluster algebras. By specializing the quantum parameter, this handles the problem of Cheung et al. for skew-symmetric cluster algebras of finite and affine type. For cluster monomials in skew-symmetric rank-$2$ cluster algebras, we construct a quantum-weighted bijection between positive compatible pairs (which comprise almost all compatible pairs) and broken lines of negative angular momentum.

This note summarizes certain properties common to Macdonald, Koornwinder and Arthamonov-Shakirov $q$-difference operators, relating to the duality or bi-spectrality properties of their eigenfunctions. This results in Pieri operators which, in the $q$-Whittaker limit, are relativistic difference Toda type Hamiltonians which have a related quantum cluster algebra structure known as the quantum Q-system. The genus-2 result explained here is new.

We formulate the pentagon relation for quantum dilogarithm elements in the structure group of a quantum cluster scattering diagram (QCSD). As an application, we show the nonpositivity of a certain class of nonskew-symmetric QCSDs. Also, we explicitly present various consistency relations for QCSDs of rank 2 completely or up to some degree, many of which are new in the literature.

We prove that large classes of algebras in the framework of root of unity quantum cluster algebras have the structures of maximal orders in central simple algebras and Cayley-Hamilton algebras in the sense of Procesi. We show that every root of unity upper quantum cluster algebra is a maximal order and obtain an explicit formula for its reduced trace. Under mild assumptions, inside each such algebra we construct a canonical central subalgebra isomorphic to the underlying upper cluster algebra, such that the pair is a Cayley-Hamilton algebra; its fully Azumaya locus is shown to contain a copy of the underlying cluster $\mathcal{A}$-variety. Both results are proved in the wider generality of intersections of mixed quantum tori over subcollections of seeds. Furthermore, we prove that all monomial subalgebras of root of unity quantum tori are Cayley-Hamilton algebras and classify those ones that are maximal orders. Arbitrary intersections of those over subsets of seeds are also proved to be Cayley-Hamilton algebras. Previous approaches to constructing maximal orders relied on filtration and homological methods. We use new methods based on cluster algebras.

We describe a connection between the subjects of cluster algebras, polynomial identity algebras and discriminants. For this, we define the notion of root of unity quantum cluster algebras and prove that they are polynomial identity algebras. Inside each such algebra we construct a (large) canonical central subalgebra, which can be viewed as a far reaching generalization of the central subalgebras of big quantum groups constructed by De Concini, Kac and Procesi and used in representation theory. Each such central subalgebra is proved to be isomorphic to the underlying classical cluster algebra of geometric type. When the root of unity quantum cluster algebra is free over its central subalgebra, we prove that the discriminant of the pair is a product of powers of the frozen variables times an integer. An extension of this result is also proved for the discriminants of all subalgebras generated by the cluster variables of nerves in the exchange graph. These results can be used for the effective computation of discriminants. As an application we prove an explicit formula for the discriminant of the integral form over ${\mathbb{Z}}[\varepsilon]$ of each quantum unipotent cells of De Concini, Kac and Procesi for arbitrary symmetrizable Kac-Moody algebras, where $\varepsilon$ is a root of unity.

We establish a polynomial-time approximation algorithm for partition functions of quantum spin models at high temperature. Our algorithm is based on the quantum cluster expansion of Netočný and Redig and the cluster expansion approach to designing algorithms due to Helmuth, Perkins, and Regts. Similar results have previously been obtained by related methods, and our main contribution is a simple and slightly sharper analysis for the case of pairwise interactions on bounded-degree graphs.

We prove a general theorem for constructing integral quantum cluster algebras over ${\mathbb{Z}}[q^{\pm 1/2}]$, namely that under mild conditions the integral forms of quantum nilpotent algebras always possess integral quantum cluster algebra structures. These algebras are then shown to be isomorphic to the corresponding upper quantum cluster algebras, again defined over ${\mathbb{Z}}[q^{\pm 1/2}]$. Previously, this was only known for acyclic quantum cluster algebras. The theorem is applied to prove that for every symmetrizable Kac-Moody algebra ${\mathfrak{g}}$ and Weyl group element $w$, the dual canonical form $A_q({\mathfrak{n}}_+(w))_{\mathbb{Z}[q^{\pm 1}]}$ of the corresponding quantum unipotent cell has the property that $A_q( {\mathfrak{n}}_+(w))_{\mathbb{Z}[q^{\pm 1}]} \otimes_{\mathbb{Z}[q^{ \pm 1}]} {\mathbb{Z}}[ q^{\pm 1/2}]$ is isomorphic to a quantum cluster algebra over ${\mathbb{Z}}[q^{\pm 1/2}]$ and to the corresponding upper quantum cluster algebra over ${\mathbb{Z}}[q^{\pm 1/2}]$.

We construct "quantum theta bases," extending the set of quantum cluster monomials, for various versions of skew-symmetric quantum cluster algebras. These bases consist precisely of the indecomposable universally positive elements of the algebras they generate, and the structure constants for their multiplication are Laurent polynomials in the quantum parameter with non-negative integer coefficients, proving the quantum strong cluster positivity conjecture for these algebras. The classical limits recover the theta bases considered by Gross-Hacking-Keel-Kontsevich. Our approach combines the scattering diagram techniques used in loc. cit. with the Donaldson-Thomas theory of quivers.

In this paper, we seek to prove the equality of the $q$-graded fermionic sums conjectured by Hatayama et al. in its full generality, by extending the results of Di Francesco and Kedem to the non-simply laced case. To this end, we will derive explicit expressions for the quantum $Q$-system relations, which are quantum cluster mutations that correspond to the classical $Q$-system relations, and write the identity of the $q$-graded fermionic sums as a constant term identity. As an application, we will show that these quantum $Q$-system relations are consistent with the short exact sequence of the Feigin-Loktev fusion product of Kirillov-Reshetikhin modules obtained by Chari and Venkatesh.

We give the quantum Laurent expansion formula for the quantum cluster algebras from unpunctured orbifolds with arbitrary coefficients and quantization. As an application, positivity for such class of quantum cluster algebras is given. For technical reasons, it will always be assumed that the weights of the orbifold points are 2.

We introduce an expansion formula for elements in quantum cluster algebras associated to type A and Kronecker quivers with principal quantization. Our formula is parametrized by perfect matchings of snake graphs as in the classical case. In the Kronecker case, the coefficients are q-powers whose exponents are given by a weight function induced by the lattice of perfect matchings. As an application, we prove that a reflectional symmetry on the set of perfect matchings satisfies Stembridge's q=-1 phenomenon with respect to the weight function.

We study quantum cluster algebras from unpunctured surfaces with arbitrary coefficients and quantization. We first give a new proof of the Laurent expansion formulas for commutative cluster algebras from unpunctured surfaces, we then give the quantum Laurent expansion formulas for the quantum cluster algebras. Particularly, this gives a combinatorial proof of the positivity for such class of quantum cluster algebras.

A quiver is an oriented graph. Quiver mutation is an elementary operation on quivers. It appeared in physics in Seiberg duality in the nineties and in mathematics in the definition of cluster algebras by Fomin-Zelevinsky in 2002. We show, for large classes of quivers Q, using quiver mutation and quantum dilogarithms, one can construct the combinatorial DT-invariant, a formal power series intrinsically associated with Q. When defined, it coincides with the "total" Donaldson-Thomas invariant of Q (with a generic potential) provided by algebraic geometry (work of Joyce, Kontsevich-Soibelman, Szendroi and many others). We illustrate combinatorial DT-invariants on many examples and point out their links to quantum cluster algebras and to (infinite) generalized associahedra.

Nakajima introduced a $t$-deformation of $q$-characters, $(q,t)$-characters for short, and their twisted multiplication through the geometry of quiver varieties. The Nakajima $(q,t)$-characters of Kirillov-Reshetikhin modules satisfy a $t$-deformed $T$-system. The $T$-system is a discrete dynamical system that can be interpreted as a mutation relation in a cluster algebra in two different ways, depending on the choice of direction of evolution. In this paper, we show that the Nakajima $t$-deformed $T$-system of type $A_r$ forms a quantum mutation relation in a quantization of exactly one of the cluster algebra structures attached to the $T$-system.

We construct an injective algebra homomorphism of the quantum group $U_q(\mathfrak{sl}_{n+1})$ into a quantum cluster algebra $\mathbf{L}_n$ associated to the moduli space of framed $PGL_{n+1}$-local systems on a marked punctured disk. We obtain a description of the coproduct of $U_q(\mathfrak{sl}_{n+1})$ in terms of the corresponding quantum cluster algebra associated to the marked twice punctured disk, and express the action of the $R$-matrix in terms of a mapping class group element corresponding to the half-Dehn twist rotating one puncture about the other. As a consequence, we realize the algebra automorphism of $U_q(\mathfrak{sl}_{n+1})^{\otimes 2}$ given by conjugation by the $R$-matrix as an explicit sequence of cluster mutations, and derive a refined factorization of the $R$-matrix into quantum dilogarithms of cluster monomials.

In this paper, we recall our renormalized quantum Q-system associated with representations of the Lie algebra $A_r$, and show that it can be viewed as a quotient of the quantum current algebra $U_q({\mathfrak n}[u,u^{-1}])\subset U_q(\widehat{\mathfrak sl}_2)$ in the Drinfeld presentation. Moreover, we find the interpretation of the conserved quantities in terms of Cartan currents at level 0, and the rest of the current algebra, in a non-standard polarization in terms of generators in the quantum cluster algebra.

We prove the Berenstein-Zelevinsky conjecture that the quantized coordinate rings of the double Bruhat cells of all finite dimensional simple algebraic groups admit quantum cluster algebra structures with initial seeds as specified by [4]. We furthermore prove that the corresponding upper quantum cluster algebras coincide with the constructed quantum cluster algebras and exhibit a large number of explicit quantum seeds. Along the way a detailed study of the properties of quantum double Bruhat cells from the viewpoint of noncommutative UFDs is carried out and a quantum analog of the Fomin-Zelevinsky twist map is constructed and investigated for all double Bruhat cells. The results are valid over base fields of arbitrary characteristic and the deformation parameter is only assumed to be a non-root of unity.

A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding upper quantum cluster algebras. We also establish analogs of these results for a large class of Poisson nilpotent algebras. Many important families of coordinate rings are subsumed in the class we are covering, which leads to a broad range of application of the general results to the above mentioned types of problems. As a consequence, we prove the Berenstein--Zelevinsky conjecture for the quantized coordinate rings of double Bruhat cells and construct quantum cluster algebra structures on all quantum unipotent groups, extending the theorem of Geiß, Leclerc and Schröer for the case of symmetric Kac--Moody groups. Moreover, we prove that the upper cluster algebras of Berenstein, Fomin and Zelevinsky associated to double Bruhat cells coincide with the corresponding cluster algebras.