Cluster algebras and derived categories

Methods and results from the representation theory of finite di- mensional algebras have led to many interactions with other areas of mathe- matics. Such areas include the theory of Lie algebras and quantum groups, commutative algebra, algebraic geometry and topology, and in particular the new theory of cluster algebras. The aim of this workshop was to further de- velop such interactions and to stimulate progress in the representation theory of algebras.

Cluster algebras were conceived by Fomin and Zelevinsky (1) in the spring of 2000 as a tool for studying dual canonical bases and total positivity in semisimple Lie groups. However, the theory of cluster algebras has since taken on a life of its own, as connections and applications have been discovered in diverse areas of mathematics, including representation theory of quivers and finite dimensional algebras, cf., for example, refs. 2⇓⇓⇓⇓⇓⇓⇓⇓⇓⇓⇓⇓–15; Poisson geometry (16⇓⇓–19); Teichmuller theory (20⇓⇓⇓–24); string theory (25⇓⇓⇓⇓⇓–31); discrete dynamical systems and integrability (6, 32⇓⇓⇓⇓⇓–38); and combinatorics (39⇓⇓⇓⇓⇓⇓⇓–47). Quite remarkably, cluster algebras provide a unifying algebraic and combinatorial framework for a wide variety of phenomena in these and other settings. We refer the reader to the survey papers (36, 48⇓⇓⇓⇓–53) and to the cluster algebras portal (www.math.lsa.umich.edu/~fomin/cluster.html) for various introductions to cluster algebras and their links with other subjects in mathematics (and physics). In brief, a cluster algebra A of rank k is a subring of an ambient field ℱ of rational functions in k variables, say x 1, …, x k . Unlike most commutative rings, a cluster algebra is not presented at the outset via a complete set of generators and relations. Instead, from the data of the initial seed — which includes the k initial cluster variables x 1, …, x k , plus an exchange matrix — one uses an iterative procedure called “mutation” to produce the rest of the cluster variables. In particular, each new cluster … [↵][1]1To whom correspondence should be addressed. Email: williams{at}math.berkeley.edu. [1]: #xref-corresp-1-1

In this paper we study consequences of the results of Kang et al. [ Monoidal categorification of cluster algebras , J. Amer. Math. Soc. 31 (2018), 349–426] on a monoidal categorification of the unipotent quantum coordinate ring $A_{q}(\mathfrak{n}(w))$ together with the Laurent phenomenon of cluster algebras. We show that if a simple module $S$ in the category ${\mathcal{C}}_{w}$ strongly commutes with all the cluster variables in a cluster $[\mathscr{C}]$ , then $[S]$ is a cluster monomial in $[\mathscr{C}]$ . If $S$ strongly commutes with cluster variables except for exactly one cluster variable $[M_{k}]$ , then $[S]$ is either a cluster monomial in $[\mathscr{C}]$ or a cluster monomial in $\unicode[STIX]{x1D707}_{k}([\mathscr{C}])$ . We give a new proof of the fact that the upper global basis is a common triangular basis (in the sense of Qin [ Triangular bases in quantum cluster algebras and monoidal categorification conjectures , Duke Math. 166 (2017), 2337–2442]) of the localization $\widetilde{A}_{q}(\mathfrak{n}(w))$ of $A_{q}(\mathfrak{n}(w))$ at the frozen variables. A characterization on the commutativity of a simple module $S$ with cluster variables in a cluster $[\mathscr{C}]$ is given in terms of the denominator vector of $[S]$ with respect to the cluster $[\mathscr{C}]$ .

In this paper, we introduce a notion of unistructural cluster algebras, for which the set of cluster variables uniquely determines the clusters, as well as the notion of weak unistructural cluster algebras, for which the set of cluster variables determines the clusters, provided that the type of the cluster algebra is fixed. We prove that, for cluster algebras of the Dynkin type, the two notions of unistructural and weakly unistructural coincide, and that cluster algebras of rank 2 are always unistructural. We then prove that a cluster algebra $\mathcal A$ is weakly unistructural if and only if any automorphism of the ambient field, which restricts to a permutation of cluster variables of $\mathcal A$, is a cluster automorphism. We also investigate the Fomin-Zelevinsky conjecture that two cluster variables are compatible if and only if one does not appear in the denominator of the Laurent expansions of the other.

On 2nd-stage quantization of quantum cluster algebras

We interpret certain Seiberg-like dualities of two-dimensional $${\mathcal{N}}$$ = (2,2) quiver gauge theories with unitary groups as cluster mutations in cluster algebras, originally formulated by Fomin and Zelevinsky. In particular, we show how the complexified Fayet-Iliopoulos parameters of the gauge group factors transform under those dualities and observe that they are in fact related to the dual cluster variables of cluster algebras. This implies that there is an underlying cluster algebra structure in the quantum Kähler moduli space of manifolds constructed from the corresponding Kähler quotients. We study the S 2 partition function of the gauge theories, showing that it is invariant under dualities/mutations, up to an overall normalization factor, whose physical origin and consequences we spell out in detail. We also present similar dualities in $${\mathcal{N}}$$ = (2,2)* quiver gauge theories, which are related to dualities of quantum integrable spin chains.

We study deformations of cluster algebras with several quantum parameters, called toroidal cluster algebras, which naturally appear in the study of Grothendieck rings of representations of quantum affine algebras. In this context, we construct toroidal Grothendieck rings and we establish these are flat deformations of Grothendieck rings. We prove that for a family of monoidal categories \({\mathscr {C}}_1\) of simply-laced quantum affine algebras categorifying finite-type cluster algebras, the toroidal Grothendieck ring has a natural structure of a toroidal cluster algebra.

This paper follows the program of study initiated by S. Fomin and A. Zelevinsky, and demonstrates that the homogeneous coordinate ring of the Grassmannian G(k, n) is a cluster algebra of geometric type. Those Grassmannians that are of finite cluster type are identified and their cluster variables are interpreted geometrically in terms of configurations of points in C P2. 2000 Mathematics Subject Classification 22E46, 05Exx.

Recently it has become apparent that N = 2 supersymmetric quantum field theory has something to do with cluster algebras. I review one aspect of the connection: supersymmetric quantum field theories have associated hyperkähler moduli spaces, and these moduli spaces carry a structure that looks like an extension of the notion of cluster variety. In particular, one encounters the usual variables and mutations of the cluster story, along with more exotic extra variables and generalized mutations. I focus on a class of examples where the underlying cluster varieties are moduli spaces of flat connections on surfaces, as considered by Fock and Goncharov [Fock V, Goncharov A (2006) Publ Math Inst Hautes Études Sci 103:1-211]. The work reviewed here is largely joint with Davide Gaiotto and Greg Moore.

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 obtain an explicit formula for the discriminant of the integral form over of each quantum unipotent cell of De Concini, Kac, and Procesi for arbitrary symmetrizable Kac–Moody algebras, where is a root of unity.

We consider the Ptolemy cluster algebras, which are cluster algebras of finite type $A$ (with non-trivial coefficients) that have been described by Fomin and Zelevinsky using triangulations of a regular polygon. Given any seed $\Sigma$ in a Ptolemy cluster algebra, we present a formula for the expansion of an arbitrary cluster variable in terms of the cluster variables of the seed $\Sigma$. Our formula is given in a combinatorial way, using paths on a triangulation of the polygon that corresponds to the seed $\Sigma$.

Graded cluster algebras arising from marked surfaces

We define a family of finite-dimensional simple [Formula: see text]-modules by their highest [Formula: see text]-weight monomials, call them generalized HL-modules as a generalization of Hernandez–Leclerc modules of type [Formula: see text], and prove that generalized HL-modules are real and prime. We also prove that Hernandez–Leclerc conjectures hold for a family of generalized HL-modules, that is, their equivalence classes are cluster variables in the Grothendieck ring [Formula: see text] of a monoidal subcategory [Formula: see text] of the category of finite-dimensional [Formula: see text]-modules.

It has been known that several objects such as cluster variables, coefficients, seeds, and $Y$-seeds in different cluster patterns with common exchange matrices share the same periodicity under mutations. We call it synchronicity phenomenon in cluster patterns. In this expository note we explain the mechanism of synchronicity based on several fundamental results on cluster algebra theory such as separation formulas, sign-coherence, Laurent positivity, duality, and detropicalization obtained by several authors. We also show that all synchronicity properties studied in this paper are naturally extended to cluster patterns of generalized cluster algebras, up to the Laurent positivity conjecture.

For a rooted cluster algebra [Formula: see text] over a valued quiver [Formula: see text], a symmetric cluster variable is any cluster variable belonging to a cluster associated with a quiver [Formula: see text], for some permutation [Formula: see text]. The subalgebra of [Formula: see text] generated by all symmetric cluster variables, is called the symmetric mutation subalgebra and is denoted by [Formula: see text]. In this paper, we identify the class of cluster algebras that satisfy [Formula: see text], which contains almost every quiver of finite mutation type. In the process of proving the main result, we provide a classification of quivers mutations classes that relates their maximum weights to the shapes of the initial quivers. Furthermore, some properties of symmetric mutation subalgebras are given.