We introduce the notions of quasi-Laurent and Laurent families of simple modules over quiver Hecke algebras of arbitrary symmetrizable types. We prove that such a family plays a similar role of a cluster in quantum cluster algebra theory and exhibits a quantum Laurent positivity phenomenon similar to the basis of the quantum unipotent coordinate ring $\mathcal {A}_q(\mathfrak {n}(w))$, coming from the categorification. Then we show that the families of simple modules categorifying Geiß–Leclerc–Schröer (GLS) clusters are Laurent families by using the Poincaré–Birkhoff–Witt (PBW) decomposition vector of a simple module $X$ and categorical interpretation of (co)degree of $[X]$. As applications of such $\mathbb {Z}\mspace {1mu}$-vectors, we define several skew-symmetric pairings on arbitrary pairs of simple modules, and investigate the relationships among the pairings and $\Lambda$-invariants of $R$-matrices in the quiver Hecke algebra theory.

We extend the notion of y-variables (coefficients) in cluster algebras to cluster scattering diagrams (CSDs). Accordingly, we extend the dilogarithm identity associated with a period in a cluster pattern to the one associated with a loop in a CSD. We show that these identities are constructed from and reduced to trivial ones by applying the pentagon identity possibly infinitely many times.

We produce a large class of generalized cluster structures on the Drinfeld double of $\operatorname {\mathrm {GL}}_n$ that are compatible with Poisson brackets given by Belavin–Drinfeld classification. The resulting construction is compatible with the previous results on cluster structures on $\operatorname {\mathrm {GL}}_n$ .

In earlier work, the author introduced a method for constructing a Frobenius categorification of a cluster algebra with frozen variables by starting from the data of an internally Calabi–Yau algebra, which becomes the endomorphism algebra of a cluster-tilting object in the resulting category. In this paper, we construct appropriate internally Calabi–Yau algebras for cluster algebras with polarized principal coefficients (which differ from those with principal coefficients by the addition of more frozen variables) and obtain Frobenius categorifications in the acyclic case. Via partial stabilization, we then define extriangulated categories, in the sense of Nakaoka and Palu, categorifying acyclic principal coefficient cluster algebras, for which Frobenius categorifications do not exist in general. Many of the intermediate results used to obtain these categorifications remain valid without the acyclicity assumption, as we will indicate, and are interesting in their own right. Most notably, we provide a Frobenius version of Van den Bergh’s result that the Ginzburg dg-algebra of a quiver with potential is bimodule $3$-Calabi–Yau.

We classify all mutation-finite quivers with real weights. We show that every finite mutation class not originating from an integer skew-symmetrisable matrix has a geometric realisation by reflections. We also explore the structure of acyclic representatives in finite mutation classes and their relations to acute-angled simplicial domains in the corresponding reflection groups.

We show that the dimer algebra of a connected Postnikov diagram in the disc is bimodule internally $3$ -Calabi–Yau in the sense of the author’s earlier work [43]. As a consequence, we obtain an additive categorification of the cluster algebra associated to the diagram, which (after inverting frozen variables) is isomorphic to the homogeneous coordinate ring of a positroid variety in the Grassmannian by a recent result of Galashin and Lam [18]. We show that our categorification can be realised as a full extension closed subcategory of Jensen–King–Su’s Grassmannian cluster category [28], in a way compatible with their bijection between rank $1$ modules and Plücker coordinates.

We provide a complete classification of the singularities of cluster algebras of finite type with trivial coefficients. Alongside, we develop a constructive desingularization of these singularities via blowups in regular centers over fields of arbitrary characteristic. Furthermore, from the same perspective, we study a family of cluster algebras which are not of finite type and which arise from a star shaped quiver.

We consider a quiver with potential (QP) $(Q(D),W(D))$ and an iced quiver with potential (IQP) $(\overline {Q}(D), F(D), \overline {W}(D))$ associated with a Postnikov Diagram D and prove that their mutations are compatible with the geometric exchanges of D. This ensures that we may define a QP $(Q,W)$ and an IQP $(\overline {Q},F,\overline {W})$ for a Grassmannian cluster algebra up to mutation equivalence. It shows that $(Q,W)$ is always rigid (thus nondegenerate) and Jacobi-finite. Moreover, in fact, we show that it is the unique nondegenerate (thus rigid) QP by using a general result of Geiß, Labardini-Fragoso, and Schröer (2016, Advances in Mathematics 290, 364–452).

Then we show that, within the mutation class of the QP for a Grassmannian cluster algebra, the quivers determine the potentials up to right equivalence. As an application, we verify that the auto-equivalence group of the generalized cluster category ${\mathcal {C}}_{(Q, W)}$ is isomorphic to the cluster automorphism group of the associated Grassmannian cluster algebra ${{\mathcal {A}}_Q}$ with trivial coefficients.

Recently Ovsienko and Tabachnikov considered extensions of Somos and Gale-Robinson sequences, defined over the algebra of dual numbers. Ovsienko used the same idea to construct so-called shadow sequences derived from other nonlinear recurrence relations exhibiting the Laurent phenomenon, with the original motivation being the hope that these examples should lead to an appropriate notion of a cluster superalgebra, incorporating Grassmann variables. Here, we present various explicit expressions for the shadow of Somos-4 sequences and describe the solution of a general Somos-4 recurrence defined over the $\mathbb{C}$ -algebra of dual numbers from several different viewpoints: analytic formulae in terms of elliptic functions, linear difference equations, and Hankel determinants.

We continue the work started in parts (I) and (II) of this series. In this paper, we classify which continuous quivers of type A are derived equivalent. Next, we define the new ${\mathcal {C}(A_{{\mathbb {R}},S})}$ , which we call weak continuous cluster category. It is a triangulated category, it does not have cluster structure but it has a new weaker notion of “cluster theory.” We show that the original continuous cluster category of [15] is a localization of this new weak continuous cluster category. We define cluster theories to be appropriate groupoids and we show that cluster structures satisfy the conditions for cluster theories. We describe the relationship between different cluster theories: some new and some obtained from cluster structures. The notion of continuous mutation which appears in cluster theories (but not in cluster structures) appears in the next paper [20].

Let $\mathsf {C}$ be a symmetrisable generalised Cartan matrix. We introduce four different versions of double Bott–Samelson cells for every pair of positive braids in the generalised braid group associated to $\mathsf {C}$ . We prove that the decorated double Bott–Samelson cells are smooth affine varieties, whose coordinate rings are naturally isomorphic to upper cluster algebras.

We explicitly describe the Donaldson–Thomas transformations on double Bott–Samelson cells and prove that they are cluster transformations. As an application, we complete the proof of the Fock–Goncharov duality conjecture in these cases. We discover a periodicity phenomenon of the Donaldson–Thomas transformations on a family of double Bott–Samelson cells. We give a (rather simple) geometric proof of Zamolodchikov’s periodicity conjecture in the cases of $\Delta \square \mathrm {A}_r$ .

When $\mathsf {C}$ is of type $\mathrm {A}$ , the double Bott–Samelson cells are isomorphic to Shende–Treumann–Zaslow’s moduli spaces of microlocal rank-1 constructible sheaves associated to Legendrian links. By counting their $\mathbb {F}_q$ -points we obtain rational functions that are Legendrian link invariants.

The (tree) amplituhedron $\mathcal {A}_{n,k,m}(Z)$ is a certain subset of the Grassmannian introduced by Arkani-Hamed and Trnka in 2013 in order to study scattering amplitudes in $N=4$ supersymmetric Yang–Mills theory. Confirming a conjecture of the first author, we show that when $m$ is even, a collection of affine permutations yields a triangulation of $\mathcal {A}_{n,k,m}(Z)$ for any $Z\in \operatorname {Gr}_{>0}(k+m,n)$ if and only if the collection of their inverses yields a triangulation of $\mathcal {A}_{n,n-m-k,m}(Z)$ for any $Z\in \operatorname {Gr}_{>0}(n-k,n)$. We prove this duality using the twist map of Marsh and Scott. We also show that this map preserves the canonical differential forms associated with the corresponding positroid cells, and hence obtain a parity duality for amplituhedron differential forms.

We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: an $\mathcal {X}$-cluster variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed $\mathcal {X}$-cluster variety $\widehat {\mathcal {X} }$ to the toric variety associated to its g-fan. Moreover, we show that the fibers of this family are stratified in a natural way, with strata the specially completed $\mathcal {X}$-varieties encoded by $\operatorname {Star}(\tau )$ for each cone $\tau$ of the $\mathbf {g}$-fan. These strata degenerate to the associated toric strata of the central fiber. We further show that the family is cluster dual to $\mathcal {A}_{\mathrm {prin}}$ of Gross, Hacking, Keel and Kontsevich [Canonical bases for cluster algebras, J. Amer. Math. Soc. 31 (2018), 497–608], and the fibers cluster dual to $\mathcal {A} _t$. Finally, we give two applications. First, we use our construction to identify the toric degeneration of Grassmannians from Rietsch and Williams [Newton-Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians, Duke Math. J. 168 (2019), 3437–3527] with the Gross–Hacking–Keel–Kontsevich degeneration in the case of $\operatorname {Gr}_2(\mathbb {C} ^{5})$. Next, we use it to link cluster duality to Batyrev–Borisov duality of Gorenstein toric Fanos in the context of mirror symmetry.

Cluster algebras give rise to a class of Gorenstein rings which enjoy a large amount of symmetry. Concentrating on the rank 2 cases, we show how cluster varieties can be used to construct many interesting projective algebraic varieties. Our main application is then to construct hundreds of families of Fano 3-folds in codimensions 4 and 5. In particular, for Fano 3-folds in codimension 4 we construct at least one family for 187 of the 206 possible Hilbert polynomials contained in the Graded Ring Database.

We consider frieze sequences corresponding to sequences of cluster mutations for affine D- and E-type quivers. We show that the cluster variables satisfy linear recurrences with periodic coefficients, which imply the constant coefficient relations found by Keller and Scherotzke. Viewing the frieze sequence as a discrete dynamical system, we reduce it to a symplectic map on a lower dimensional space and prove Liouville integrability of the latter.

We consider maximal non-l-intertwining collections, which are a higher-dimensional version of the maximal non-crossing collections which give clusters of Plücker coordinates in the Grassmannian coordinate ring, as described by Scott. We extend a method of Scott for producing such collections, which are related to tensor products of higher Auslander algebras of type A. We show that a higher preprojective algebra of the tensor product of two d-representation-finite algebras has a d-precluster-tilting subcategory. Finally, we relate mutations of these collections to a form of tilting for these algebras.

We introduce and investigate new invariants of pairs of modules $M$ and $N$ over quantum affine algebras $U_{q}^{\prime }(\mathfrak{g})$ by analyzing their associated $R$-matrices. Using these new invariants, we provide a criterion for a monoidal category of finite-dimensional integrable $U_{q}^{\prime }(\mathfrak{g})$-modules to become a monoidal categorification of a cluster algebra.

We prove that any skew-symmetrizable cluster algebra is unistructural, which is a conjecture by Assem, Schiffler and Shramchenko. As a corollary, we obtain that a cluster automorphism of a cluster algebra ${\mathcal{A}}({\mathcal{S}})$ is just an automorphism of the ambient field ${\mathcal{F}}$ which restricts to a permutation of the cluster variables of ${\mathcal{A}}({\mathcal{S}})$.

Frieze patterns, as introduced by Coxeter in the 1970s, are closely related to cluster algebras without coefficients. A suitable generalization of frieze patterns, linked to cluster algebras with coefficients, has only briefly appeared in an unpublished manuscript by Propp. In this paper, we study these frieze patterns with coefficients systematically and prove various fundamental results, generalizing classic results for frieze patterns. As a consequence, we see how frieze patterns with coefficients can be obtained from classic frieze patterns by cutting out subpolygons from the triangulated polygons associated with classic Conway–Coxeter frieze patterns. We address the question of which frieze patterns with coefficients can be obtained in this way and solve this problem completely for triangles. Finally, we prove a finiteness result for frieze patterns with coefficients by showing that for a given boundary sequence there are only finitely many (nonzero) frieze patterns with coefficients with entries in a subset of the complex numbers without an accumulation point.

We introduce a notion of $q$-deformed rational numbers and $q$-deformed continued fractions. A $q$-deformed rational is encoded by a triangulation of a polygon and can be computed recursively. The recursive formula is analogous to the $q$-deformed Pascal identity for the Gaussian binomial coefficients, but the Pascal triangle is replaced by the Farey graph. The coefficients of the polynomials defining the $q$-rational count quiver subrepresentations of the maximal indecomposable representation of the graph dual to the triangulation. Several other properties, such as total positivity properties, $q$-deformation of the Farey graph, matrix presentations and $q$-continuants are given, as well as a relation to the Jones polynomial of rational knots.