arXiv++ Combinatorics

Lots of research focuses on the combinatorics behind various bases of cluster algebras. This paper studies the natural basis of a type A cluster algebra, which consists of all cluster monomials. We introduce a new kind of combinatorial formulas for the cluster monomials in terms of the so-called globally compatible collections. We give bijective proofs of these formulas by comparing with the well-known combinatorial models of the T-paths and of the perfect matchings in a snake diagram. For cluster variables of a type A cluster algebra, we give a bijection that relates our new formula with the theta functions constructed by Gross, Hacking, Keel and Kontsevich.

The \emph{$q,t$-Catalan numbers} $C_n(q,t)$ are polynomials in $q$ and $t$ that reduce to the ordinary Catalan numbers when $q=t=1$. These polynomials have important connections to representation theory, algebraic geometry, and symmetric functions. Haglund and Haiman discovered combinatorial formulas for $C_n(q,t)$ as weighted sums of Dyck paths (or equivalently, integer partitions contained in a staircase shape). This paper undertakes a combinatorial investigation of the joint symmetry property $C_n(q,t)=C_n(t,q)$. We conjecture some structural decompositions of Dyck objects into "mutually opposite" subcollections that lead to a bijective explanation of joint symmetry in certain cases. A key new idea is the construction of infinite chains of partitions that are independent of $n$ but induce the joint symmetry for all $n$ simultaneously. Using these methods, we prove combinatorially that for $0\leq k\leq 9$ and all $n$, the terms in $C_n(q,t)$ of total degree $\binom{n}{2}-k$ have the required symmetry property.

In this paper we study root multiplicities of rank 2 hyperbolic Kac-Moody algebras using the combinatorics of Dyck paths.

We develop an elementary formula for certain non-trivial elements of upper cluster algebras. These elements have positive coefficients. We show that when the cluster algebra is acyclic these elements form a basis. Using this formula, we show that each non-acyclic skew-symmetric cluster algebra of rank 3 is properly contained in its upper cluster algebra.

We extend the construction of canonical bases for cluster algebras from unpunctured surfaces to the case where the number of marked points is one, and we show that the cluster algebra is equal to the upper cluster algebra in this case.

We give a very short proof of the claim in the title.

We prove the positivity conjecture for all skew-symmetric cluster algebras.

We study the relationship between the positivity property in a rank 2 cluster algebra, and the property of such an algebra to be tame. More precisely, we show that a rank 2 cluster algebra has a basis of indecomposable positive elements if and only if it is of finite or affine type. This statement disagrees with a conjecture by Fock and Goncharov.

The higher $q,t$-Catalan polynomial $C^{(m)}_n(q,t)$ can be defined combinatorially as a weighted sum of lattice paths contained in certain triangles, or algebraically as a complicated sum of rational functions indexed by partitions of $n$. This paper proves the equivalence of the two definitions for all $m\geq 1$ and all $n\leq 4$. We also give a bijective proof of the joint symmetry property $C^{(m)}_n(q,t)=C^{(m)}_n(t,q)$ for all $m\geq 1$ and all $n\leq 4$. The proof is based on a general approach for proving joint symmetry that dissects a collection of objects into chains, and then passes from a joint symmetry property of initial points and terminal points to joint symmetry of the full set of objects. Further consequences include unimodality results and specific formulas for the coefficients in $C^{(m)}_n(q,t)$ for all $m\geq 1$ and all $n\leq 4$. We give analogous results for certain rational-slope $q,t$-Catalan polynomials.

Caldero and Zelevinsky studied the geometry of quiver Grassmannians for the Kronecker quiver and computed their Euler characteristics by examining natural stratification of quiver Grassmannians. We consider generalized Kronecker quivers and compute virtual Poincare polynomials of certain varieties which are the images under projections from strata of quiver Grassmannians to ordinary Grassmannians. In contrast to the Kronecker quiver case, these polynomials do not necessarily have positive coefficients. The key ingredient is the explicit formula for noncommutative cluster variables given by Ralf Schiffler and the first author.

A lot of recent activity in the theory of cluster algebras has been directed towards various constructions of "natural" bases in them. One of the approaches to this problem was developed several years ago by P.Sherman - A.Zelevinsky who have shown that the indecomposable positive elements form an integer basis in any rank 2 cluster algebra of finite or affine type. It is strongly suspected (but not proved) that this property does not extend beyond affine types. Here we go around this difficulty by constructing a new basis in any rank 2 cluster algebra that we call the greedy basis. It consists of a special family of indecomposable positive elements that we call greedy elements. Inspired by a recent work of K.Lee - R.Schiffler and D.Rupel, we give explicit combinatorial expressions for greedy elements using the language of Dyck paths.

We prove the positivity conjecture for skew-symmetric coefficient-free cluster algebras of rank 3.

The $q,t$-Catalan numbers can be defined using rational functions, geometry related to Hilbert schemes, symmetric functions, representation theory, Dyck paths, partition statistics, or Dyck words. After decades of intensive study, it was eventually proved that all these definitions are equivalent. In this paper, we study the similar situation for higher $q,t$-Catalan numbers, where the equivalence of the algebraic and combinatorial definitions is still conjectural. We compute the limits of several versions of the modified higher $q,t$-Catalan numbers and show that these limits equal the generating function for integer partitions. We also identify certain coefficients of the higher $q,t$-Catalan numbers as enumerating suitable integer partitions, and we make some conjectures on the homological significance of the Bergeron-Garsia nabla operator.

We prove a conjecture of Kontsevich, which asserts that the iterations of the noncommutative rational map $F_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1})$ are given by noncommutative Laurent polynomials with nonnegative integer coefficients.

Let $r$ be any positive integer, and let $x_1, x_2$ be indeterminates. We consider the sequence $\{x_n\}$ defined by the recursive relation $$ x_{n+1} =(x_n^r +1)/{x_{n-1}} $$ for any integer $n$. Finding a combinatorial expression for $x_n$ as a rational function of $x_1$ and $x_2$ has been an open problem since 2001. We give a direct elementary formula for $x_n$ in terms of subpaths of a specific lattice path in the plane. The formula is manifestly positive, providing a new proof of a result by Nakajima and Qin.

We prove a conjecture of Kontsevich, which asserts that the iterations of the noncommutative rational map $F_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1})$ are given by noncommutative Laurent polynomials with nonnegative integer coefficients.

For each positive integer n, we define a polynomial in the variables z_1,...,z_n with coefficients in the ring $\mathbb{Q}[q,t,r]$ of polynomial functions of three parameters q, t, r. These polynomials naturally arise in the context of cluster algebras. We conjecture that they are symmetric polynomials in z_1,...,z_n, and that their expansions in terms of monomial, Schur, complete homogeneous, elementary and power sum symmetric polynomials are sign-coherent.

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}\right)$, 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.

Let $I$ be the ideal generated by alternating polynomials in two sets of $n$ variables. Haiman proved that the $q,t$-Catalan number is the Hilbert series of the graded vector space $M(=\bigoplus_{d_1,d_2}M_{d_1,d_2})$ spanned by a minimal set of generators for $I$. In this paper we give simple upper bounds on $\text{dim}M_{d_1, d_2}$ in terms of partition numbers, and find all bi-degrees $(d_1,d_2)$ such that $\dim M_{d_1, d_2}$ achieve the upper bounds. For such bi-degrees, we also find explicit bases for $M_{d_1, d_2}$. The main idea is to define and study a nontrivial linear map from $M$ to a polynomial ring $\C[ρ_1, ρ_2,...]$.

We develop several techniques for the study of the radical ideal $I$ defining the diagonal locus of $(\C^2)^n$. Using these techniques, we give combinatorial construction of generators for $I$ of certain bi-degrees.