arXiv++ Combinatorics

Plabic graphs are interesting combinatorial objects used to study the totally nonnegative Grassmannian. Faces of plabic graphs are labeled by $k$-element sets of positive integers, and a collection of such $k$-element sets are the face labels of a plabic graph if that collection forms a maximal weakly separated collection. There are moves that one can apply to plabic graphs, and thus to maximal weakly separated collections, analogous to mutations of seeds in cluster algebras. In this short note, we show that if two maximal weakly separated collections can be mutated from one to another, then one can do so while freezing the face labels they have in common.

We review recent progress in Bipartite Field Theories. We cover topics such as their gauge dynamics, emergence of toric Calabi-Yau manifolds as master and moduli spaces, string theory embedding, relationships to on-shell diagrams, connections to cluster algebras and the Grassmannian, and applications to graph equivalence and stratification of the Grassmannian.

The article concerns the existence and uniqueness of quantisations of cluster algebras. We prove that cluster algebras with an initial exchange matrix of full rank admit a quantisation in the sense of Berenstein-Zelevinsky and give an explicit generating set to construct all quantisations.

Considered as commutative algebras, cluster algebras can be very unpleasant objects. However, the first author introduced a condition known as "local acyclicity" which implies that cluster algebras behave reasonably. One of the earliest and most fundamental examples of a cluster algebra is the homogenous coordinate ring of the Grassmannian. We show that the Grassmannian is locally acyclic. Morally, we are in fact showing the stronger result that all positroid varieties are locally acyclic. However, it has not been shown that all positroid varieties have cluster structure, so what we actually prove is that certain cluster varieties associated to Postnikov's alternating strand diagrams are locally acylic. Moreover, we actually establish a slightly stronger property than local acyclicity, which we term the Louise property, that is designed to facilitate proofs involving the Mayer-Vietores sequence.

From the viewpoint of mutation, we will give a brief survey of tilting theory and cluster-tilting theory together with a motivation from cluster algebras. Then we will give an introdution to τ-tilting theory which was recently developed in [AIR].

Seiberg-like duality of three dimensional N=2 Chern-Simons-Matter quiver gauge theory is shown to have a chiral double tropical cluster algebra structure. We use cluster algebra results to study combinatorial aspects of these theories such as classification, supersymmetry breaking, etc.

We provide a concrete realization of the cluster algebras associated with Q-systems as amalgamations of cluster structures on double Bruhat cells in simple algebraic groups. For nonsimply-laced groups, this provides a cluster-algebraic formulation of Q-systems of twisted type. It also yields a uniform proof of the discrete integrability of these Q-systems by identifying them with the dynamics of factorization mappings on quotients of double Bruhat cells. On the double Bruhat cell itself, we find these dynamics are closely related to those of the Fomin-Zelevinsky twist map. This leads to an explicit formula expressing twisted cluster variables as Laurent monomials in the untwisted cluster variables obtained from the corresponding mutation sequence. This holds for Coxeter double Bruhat cells in any symmetrizable Kac-Moody group, and we show that in affine type the analogous factorization mapping is also integrable.

The (usual) Caldero-Chapoton map is a map from the set of objects of a category to a Laurent polynomial ring over the integers. In the case of a cluster category, it maps "reachable" indecomposable objects to the corresponding cluster variables in a cluster algebra. This formalises the idea that the cluster category is a "categorification" of the cluster algebra. The definition of the Caldero-Chapoton map requires the category to be 2-Calabi-Yau, and the map depends on a cluster tilting object in the category. We study a modified version of the Caldero-Chapoton map which only requires the category to have a Serre functor, and only depends on a rigid object in the category. It is well-known that the usual Caldero-Chapoton map gives rise to so-called friezes, for instance Conway-Coxeter friezes. We show that the modified Caldero-Chapoton map gives rise to what we call generalised friezes, and that for cluster categories of Dynkin type A, it recovers the generalised friezes introduced by combinatorial means by Bessenrodt and us.

We study Newton polytopes of cluster variables in type A_n cluster algebras, whose cluster and coefficient variables are indexed by the diagonals and boundary segments of a polygon. Our main results include an explicit description of the affine hull and facets of the Newton polytope of the Laurent expansion of any cluster variable, with respect to any cluster. In particular, we show that every Laurent monomial in a Laurent expansion of a type A cluster variable corresponds to a vertex of the Newton polytope. We also describe the face lattice of each Newton polytope via an isomorphism with the lattice of elementary subgraphs of the associated snake graph.

All algebras in a very large, axiomatically defined class of quantum nilpotent algebras are proved to possess quantum cluster algebra structures under mild conditions. Furthermore, it is shown that these quantum cluster algebras always equal the corresponding upper quantum cluster algebras. Previous approaches to these problems for the construction of (quantum) cluster algebra structures on (quantized) coordinate rings arising in Lie theory were done on a case by case basis relying on the combinatorics of each concrete family. The results of the paper have a broad range of applications to these problems, including the construction of quantum cluster algebra structures on quantum unipotent groups and quantum double Bruhat cells (the Berenstein-Zelevinsky conjecture), and treat these problems from a unified perspective. All such applications also establish equality between the constructed quantum cluster algebras and their upper counterparts. The proofs rely on Chatters' notion of noncommutative unique factorization domains. Toric frames are constructed by considering sequences of homogeneous prime elements of chains of noncommutative UFDs (a generalization of the construction of Gelfand-Tsetlin subalgebras) and mutations are obtained by altering chains of noncommutative UFDs. Along the way, an intricate (and unified) combinatorial model for the homogeneous prime elements in chains of noncommutative UFDs and their alterations is developed. When applied to special families, this recovers the combinatorics of Weyl groups and double Weyl groups previously used in the construction and categorification of cluster algebras. It is expected that this combinatorial model of sequences of homogeneous prime elements will have applications to the unified categorification of quantum nilpotent algebras.

We study the set S of labelled seeds of a cluster algebra of rank n inside a field F as a homogeneous space for the group M_n of (globally defined) mutations and relabellings. Regular equivalence relations on S are associated to subgroups W of Aut_{M_n}(S), and we thus obtain groupoids W \ S. We show that for two natural choices of equivalence relation, the corresponding groups W^c and W^+ act on F, and the groupoids W^c \ S and W^+ \ S on the model field K=Q(x_1,...,x_n). The groupoid W^+ \ S is equivalent to Fock-Goncharov's cluster modular groupoid. Moreover, W^c is isomorphic to the group of cluster automorphisms, and W^+ to the subgroup of direct cluster automorphisms, in the sense of Assem-Schiffler-Shramchenko. We also prove that, for mutation classes whose seeds have mutation finite quivers, the stabilizer of a labelled seed under M_n determines the quiver of the seed up to 'similarity', meaning up to taking opposites of some of the connected components. Consequently, the subgroup W^c is the entire automorphism group of S in these cases.

In this note we extend the notion of greedy bases developed by Lee, Li, and Zelevinsky to rank two generalized cluster algebras, i.e. binomial exchange relations are replaced by polynomial exchange relations. In the process we give a combinatorial construction in terms of a refined notion of compatible pairs on a maximal Dyck path.

We define and study a recurrence relation in ${\mathbb Z}^3$, called the hexahedron recurrence, which is similar to the octahedron recurrence (Hirota bilinear difference equation) and cube recurrence (Miwa equation). Like these examples, solutions to the hexahedron recurrence are partition sums for edge configurations on a certain graph, and have a natural interpretation in terms of cluster algebras. We give an explicit correspondence between monomials in the Laurent expansions arising in the recurrence with certain double-dimer configurations of a graph. We compute limit shapes for the corresponding double-dimer configurations. The Kashaev difference equation arising in the Ising model star-triangle relation is a special case of the hexahedron recurrence. In particular this reveals the cluster nature underlying the Ising model. The above relation allows us to prove a Laurent phenomenon for the Kashaev difference equation.

We construct and study cluster algebra structures in rings of invariants of the special linear group action on collections of three-dimensional vectors, covectors, and matrices. The construction uses Kuperberg's calculus of webs on marked surfaces with boundary.

In a recent paper, Barot and Marsh presented an explicit construction of presentation of a finite Weyl group by any seed of corresponding cluster algebra, i.e. by any diagram mutation-equivalent to an orientation of a Dynkin diagram with given Weyl group. Extending their construction to the affine case, we obtain presentations for all affine Coxeter groups. Furthermore, we generalize the construction to the settings of diagrams arising from unpunctured triangulated surfaces and orbifolds, which leads to presentations of corresponding groups as quotients of numerous distinct Coxeter groups.

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

We compute the automorphism group of the affine surfaces with the coordinate ring isomorphic to a cluster algebra of rank 2.

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.

We describe a cluster algebra algorithm for calculating q-characters of Kirillov-Reshetikhin modules for any untwisted quantum affine algebra. This yields a geometric q-character formula for tensor products of Kirillov-Reshetikhin modules. In simply laced type this formula extends Nakajima's formula for q-characters of standard modules in terms of homology of graded quiver varieties.

We present two simple descriptions of the denominator vectors of the cluster variables of a cluster algebra of finite type, with respect to any initial cluster seed: one in terms of the compatibility degrees between almost positive roots defined by S. Fomin and A. Zelevinsky, and the other in terms of the root function of a certain subword complex. These descriptions only rely on linear algebra. They provide two simple proofs of the known fact that the denominator vector of any non-initial cluster variable with respect to any initial cluster seed has non-negative entries and is different from zero.