Cluster Algebras Of Finite Type Research Articles

Earthquake Theorem for Cluster Algebras of Finite Type

Abstract We introduce a cluster algebraic generalization of Thurston’s earthquake map for the cluster algebras of finite type, which we call the cluster earthquake map. It is defined by gluing exponential maps, which is modeled after the earthquakes along ideal arcs. We prove an analogue of the earthquake theorem, which states that the cluster earthquake map gives a homeomorphism between the spaces of $\mathbb {R}^{\textrm {trop}}$- and $\mathbb {R}_{>0}$-valued points of the cluster $\mathcal {X}$-variety. For those of type $A_{n}$ and $D_{n}$, the cluster earthquake map indeed recovers the earthquake maps for marked disks and once-punctured marked disks, respectively. Moreover, we investigate certain asymptotic behaviors of the cluster earthquake map, which give rise to “continuous deformations” of the Fock–Goncharov fan.

Polypositroids

Abstract We initiate the study of a class of polytopes, which we coin polypositroids, defined to be those polytopes that are simultaneously generalized permutohedra (or polymatroids) and alcoved polytopes. Whereas positroids are the matroids arising from the totally nonnegative Grassmannian, polypositroids are “positive” polymatroids. We parametrize polypositroids using Coxeter necklaces and balanced graphs, and describe the cone of polypositroids by extremal rays and facet inequalities. We introduce a notion of $(W,c)$ -polypositroid for a finite Weyl group W and a choice of Coxeter element c. We connect the theory of $(W,c)$ -polypositroids to cluster algebras of finite type and to generalized associahedra. We discuss membranes, which are certain triangulated 2-dimensional surfaces inside polypositroids. Membranes extend the notion of plabic graphs from positroids to polypositroids.

The Generalized Cluster Complex: Refined Enumeration of Faces and Related Parking Spaces

The generalized cluster complex was introduced by Fomin and Reading, as a natural extension of the Fomin-Zelevinsky cluster complex coming from finite type cluster algebras. In this work, to each face of this complex we associate a parabolic conjugacy class of the underlying finite Coxeter group. We show that the refined enumeration of faces (respectively, positive faces) according to this data gives an explicit formula in terms of the corresponding characteristic polynomial (equivalently, in terms of Orlik-Solomon exponents). This characteristic polynomial originally comes from the theory of hyperplane arrangements, but it is conveniently defined via the parabolic Burnside ring. This makes a connection with the theory of parking spaces: our results eventually rely on some enumeration of chains of noncrossing partitions that were obtained in this context. The precise relations between the formulas counting faces and the one counting chains of noncrossing partitions are combinatorial reciprocities, generalizing the one between Narayana and Kirkman numbers.

Notes on Worldsheet-Like Variables for Cluster Configuration Spaces

We continue the exploration of various appearances of cluster algebras in scattering amplitudes and related topics in physics. The cluster configuration spaces generalize the familiar moduli space ${\mathcal M}_{0,n}$ to finite-type cluster algebras. We study worldsheet-like variables, which for classical types have also appeared in the study of the symbol alphabet of Feynman integrals. We provide a systematic derivation of these variables from $Y$-systems, which allows us to express the dihedral coordinates in terms of them and to write the corresponding cluster string integrals in compact forms. We mainly focus on the $D_n$ type and show how to reach the boundaries of the configuration space, and write the saddle-point equations in terms of these variables. Moreover, these variables make it easier to study various topological properties of the space using a finite-field method. We propose conjectures about quasi-polynomial point count, dimensions of cohomology, and the number of saddle points for the $D_n$ space up to $n=10$, which greatly extend earlier results.

Deformations of cluster mutations and invariant presymplectic forms

We consider deformations of sequences of cluster mutations in finite type cluster algebras, which destroy the Laurent property but preserve the presymplectic structure defined by the exchange matrix. The simplest example is the Lyness 5-cycle, arising from the cluster algebra of type A_2: this deforms to the Lyness family of integrable symplectic maps in the plane. For types A_3 and A_4, we find suitable conditions such that the deformation produces a two-parameter family of Liouville integrable maps (in dimensions two and four, respectively). We also perform Laurentification for these maps, by lifting them to a higher-dimensional space of tau functions with a cluster algebra structure, where the Laurent property is restored. More general types of deformed mutations associated with affine Dynkin quivers are shown to correspond to four-dimensional symplectic maps arising as reductions in the discrete sine-Gordon equation.

Classification of singularities of cluster algebras of finite type: the case of trivial coefficients

AbstractWe 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.

Toroidal Grothendieck rings and cluster algebras

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.

Relation Between f-Vectors and d-Vectors in Cluster Algebras of Finite Type or Rank 2

We study f-vectors, which are the maximal degree vectors of F-polynomials in cluster algebra theory. For a cluster algebra of finite type, we find that positive f-vectors correspond with d-vectors, which are exponent vectors of denominators of cluster variables. Furthermore, using this correspondence and properties of d-vectors, we prove that cluster variables in a cluster are uniquely determined by their f-vectors when the cluster algebra is of finite type or rank 2.

Stringy canonical forms

Canonical forms of positive geometries play an important role in revealing hidden structures of scattering amplitudes, from amplituhedra to associahedra. In this paper, we introduce “stringy canonical forms”, which provide a natural definition and extension of canonical forms for general polytopes, deformed by a parameter α′. They are defined by real or complex integrals regulated with polynomials with exponents, and are meromorphic functions of the exponents, sharing various properties of string amplitudes. As α′→ 0, they reduce to the usual canonical form of a polytope given by the Minkowski sum of the Newton polytopes of the regulating polynomials, or equivalently the volume of the dual of this polytope, naturally determined by tropical functions. At finite α′, they have simple poles corresponding to the facets of the polytope, with the residue on the pole given by the stringy canonical form of the facet. There is the remarkable connection between the α′→ 0 limit of tree-level string amplitudes, and scattering equations that appear when studying the α′→ ∞ limit. We show that there is a simple conceptual understanding of this phenomenon for any stringy canonical form: the saddle-point equations provide a diffeomorphism from the integration domain to the interior of the polytope, and thus the canonical form can be obtained as a pushforward via summing over saddle points. When the stringy canonical form is applied to the ABHY associahedron in kinematic space, it produces the usual Koba-Nielsen string integral, giving a direct path from particle to string amplitudes without an a priori reference to the string worldsheet. We also discuss a number of other examples, including stringy canonical forms for finite-type cluster algebras (with type A corresponding to usual string amplitudes), and other natural integrals over the positive Grassmannian.

Stringy canonical forms and binary geometries from associahedra, cyclohedra and generalized permutohedra

Stringy canonical forms are a class of integrals that provide α′-deformations of the canonical form of any polytopes. For generalized associahedra of finite-type cluster algebras, there exist completely rigid stringy integrals, whose configuration spaces are the so-called binary geometries, and for classical types are associated with (generalized) scattering of particles and strings. In this paper, we propose a large class of rigid stringy canonical forms for another class of polytopes, generalized permutohedra, which also include associahedra and cyclohedra as special cases (type An and Bn generalized associahedra). Remarkably, we find that the configuration spaces of such integrals are also binary geometries, which were suspected to exist for generalized associahedra only. For any generalized permutohedron that can be written as Minkowski sum of coordinate simplices, we show that its rigid stringy integral factorizes into products of lower integrals for massless poles at finite α′, and the configuration space is binary although the u equations take a more general form than those “perfect” ones for cluster cases. Moreover, we provide an infinite class of examples obtained by degenerations of type An and Bn integrals, which have perfect u equations as well. Our results provide yet another family of generalizations of the usual string integral and moduli space, whose physical interpretations remain to be explored.

A lattice isomorphism theorem for cluster groups of mutation-Dynkin type An

Each quiver appearing in a seed of a cluster algebra determines a corresponding group, which we call a cluster group, which is defined via a presentation. Grant and Marsh showed that, for quivers appearing in seeds of cluster algebras of finite type, the associated cluster groups are isomorphic to finite reflection groups. As for finite Coxeter groups, we can consider parabolic subgroups of cluster groups. We prove that, in the type An case, there exists an isomorphism between the lattice of subsets of the defining generators of the cluster group and the lattice of its parabolic subgroups. Moreover, each parabolic subgroup has a presentation given by restricting the presentation of the whole group.

Combinatorics of X-variables in finite type cluster algebras

We compute the number of X-variables (also called coefficients) of a cluster algebra of finite type when the underlying semifield is the universal semifield. For classical types, these numbers arise from a bijection between coefficients and quadrilaterals (with a choice of diagonal) appearing in triangulations of certain marked surfaces. We conjecture that similar results hold for cluster algebras from arbitrary marked surfaces, and obtain corollaries regarding the structure of finite type cluster algebras of geometric type.

A 2-Calabi–Yau realization of finite-type cluster algebras with universal coefficients

We categorify various finite-type cluster algebras with coefficients using completed orbit categories associated to Frobenius categories. Namely, the Frobenius categories we consider are the categories of finitely generated Gorenstein projective modules over the singular Nakajima category associated to a Dynkin diagram and their standard Frobenius quotients. In particular, we are able to categorify all finite-type skew-symmetric cluster algebras with universal coefficients and finite-type Grassmannian cluster algebras. Along the way, we classify the standard Frobenius models of a certain family of triangulated orbit categories which include all finite-type n-cluster categories, for all integers $$n\ge 1$$ .

Cluster algebras of finite type via Coxeter elements and Demazure crystals of type B,C,D

For a classical group G and a Coxeter element c of the Weyl group, it is known that the coordinate ring ℂ[Ge,c2] of the double Bruhat cell Ge,c2≔B∩B−c2B− has a structure of cluster algebra of finite type, where B and B− are opposite Borel subgroups. In this article, we consider the case G is of type Br, Cr or Dr and describe all the cluster variables in ℂ[Ge,c2] as monomial realizations of certain Demazure crystals.

Quivers with relations for symmetrizable Cartan matrices V: Caldero-Chapoton formulas

We generalize the Caldero-Chapoton formula for cluster algebras of finite type to the skew-symmetrizable case. This is done by replacing representation categories of Dynkin quivers by categories of locally free modules over certain Iwanaga-Gorenstein algebras introduced in Part I. The proof relies on the realization of the positive part of the enveloping algebra of a simple Lie algebra of the same finite type as a convolution algebra of constructible functions on representation varieties of $H$, given in Part III. Along the way, we obtain a new result on the PBW basis of this convolution algebra.

Friezes and continuant polynomials with parameters

Frieze patterns (in the sense of Conway and Coxeter) are related to cluster algebras of type A and to signed continuant polynomials. In view of studying certain classes of cluster algebras with coefficients, we extend the concept of signed continuant polynomial to define a new family of friezes, called c-friezes, which generalises frieze patterns. Having in mind the cluster algebras of finite type, we identify a necessary and sufficient condition for obtaining periodic c-friezes. Taking into account the Laurent phenomenon and the positivity conjecture, we present ways of generating c-friezes of integers and of positive integers. We also show some specific properties of c-friezes.

Applications of graded methods to cluster variables in arbitrary types

This thesis is concerned with studying the properties of gradings on several examples of cluster algebras, primarily of infinite type. We start by considering two classes of finite type cluster algebras: those of type Bn and Cn. We give the number of cluster variables of each occurring degree and verify that the grading is balanced. These results complete a classification in [16] for coefficient-free finite type cluster algebras. We then consider gradings on cluster algebras generated by 3×3 skew-symmetric matrices. We show that the mutation-cyclic matrices give rise to gradings in which all occurring degrees are positive and have only finitely many associated cluster variables (excepting one particular case). For the mutation-acyclic matrices, we prove that all occurring degrees have infinitely many variables and give a direct proof that the gradings are balanced. We provide a condition for a graded cluster algebra generated by a quiver to have infinitely many degrees, based on the presence of a subquiver in its mutation class. We use this to study the gradings on cluster algebras that are (quantum) coordinate rings of matrices and Grassmannians and show that they contain cluster variables of all degrees in N. Next we consider the finite list (given in [9]) of mutation-finite quivers that do not correspond to triangulations of marked surfaces. We show that A(X7) has a grading in which there are only two degrees, with infinitely many cluster variables in both. We also show that the gradings arising from Ee6, Ee7 and Ee8 have infinitely many variables in certain degrees. Finally, we study gradings arising from triangulations of marked bordered 2- dimensional surfaces (see [10]). We adapt a definition from [24] to define the space of valuation functions on such a surface and prove combinatorially that this space is isomorphic to the space of gradings on the associated cluster algebra. We illustrate this theory by applying it to a family of examples, namely, the annulus with n + m marked points. We show that the standard grading is of mixed type, with finitely many variables in some degrees and infinitely many in the others. We also give an alternative grading in which all degrees have infinitely many cluster variables.

Towards a uniform subword complex description of acyclic finite type cluster algebras

It has been established in recent years how to approach acyclic cluster algebras of finite type using subword complexes. We continue this study by uniformly describing the c- and g-vectors, and by providing a conjectured description of the Newton polytopes of the F-polynomials. We moreover show that this conjectured description would imply that finite type cluster complexes are realized by the duals of the Minkowski sums of the Newton polytopes of either the F-polynomials or of the cluster variables, respectively. We prove this conjectured description to hold in type A and in all types of rank at most 8 including all exceptional types, leaving types B, C, and D conjectural.

Bases for cluster algebras from orbifolds

We generalize the construction of the bracelet and bangle bases defined in [36] and the band basis defined in [43] to cluster algebras arising from orbifolds. We prove that the bracelet bases are positive, and the bracelet basis for the affine cluster algebra of type Cn(1) is atomic. We also show that cluster monomial bases of all skew-symmetrizable cluster algebras of finite type are atomic.

Artin Group Presentations Arising from Cluster Algebras

In 2003, Fomin and Zelevinsky proved that finite type cluster algebras can be classified by Dynkin diagrams. Then in 2013, Barot and Marsh defined the presentation of a reflection group associated to a Dynkin diagram in terms of an edge-weighted, oriented graph, and proved that this group is invariant (up to isomorphism) under diagram mutations. In this paper, we extend Barot and Marsh’s results to Artin group presentations, defining new generator relations and showing mutation-invariance for these presentations.