In this article we prove explicit formulae for the number of non-isomorphic cluster-tilted algebras of type \tilde{A}_n in the derived equivalence classes. In particular, we obtain the number of elements in the mutation classes of quivers of type \tilde{A}_n. As a by-product, this provides an alternative proof for the number of quivers of Dynkin type D_n which was first determined by Buan and Torkildsen.
In general, the existence of a maximal green sequence is not mutation invariant. In this paper we show that it is in fact mutation invariant for cluster quivers of finite mutation type. In particular, we show that a mutation finite cluster quiver has a maximal green sequence unless it arises from a once-punctured closed marked surface, or one of the two quivers in the mutation class of X7. We develop a procedure to explicitly find maximal green sequences for cluster quivers associated to arbitrary triangulations of closed marked surfaces with at least two punctures. As a corollary, it follows …
A maximal green sequence introduced by B. Keller is a certain sequence of quiver mutations at green vertices. T. Brüstle, G. Dupont and M. Pérotin showed that for an acyclic quiver, maximal green sequences are realized as maximal paths in the Hasse quiver of the poset of support tilting modules. They also considered possible lengths of maximal green sequences. In this paper, we calculate possible lengths of maximal green sequences for a quiver of type $A$ or of type $\tilde{A}_{n,1}$ by using theory of tilting mutation.
A quiver is an oriented graph. Quiver mutation is an elementary operation on quivers. It appeared in physics in Seiberg duality in the nineties and in mathematics in the definition of cluster algebras by Fomin-Zelevinsky in 2002. We show, for large classes of quivers Q, using quiver mutation and quantum dilogarithms, one can construct the combinatorial DT-invariant, a formal power series intrinsically associated with Q. When defined, it coincides with the "total" Donaldson-Thomas invariant of Q (with a generic potential) provided by algebraic geometry (work of Joyce, Kontsevich-Soibelman, Szen…
Quivers constructed from hyperbolic Coxeter simplices give examples of minimal mutation-infinite quivers, however they are not the only such quivers. We classify minimal mutation-infinite quivers through a number of moves and link the representatives of the classes with the hyperbolic Coxeter simplices, plus exceptional classes which are not related to simplices.
Maximal green sequences are particular sequences of mutations of quivers which were introduced by Keller in the context of quantum dilogarithm identities and independently by Cecotti-Córdova-Vafa in the context of supersymmetric gauge theory. The existence of maximal green sequences for exceptional finite mutation type quivers has been shown by Alim-Cecotti-Córdova-Espahbodi-Rastogi-Vafa except for the quiver $X_7$. In this paper we show that the quiver $X_7$ does not have any maximal green sequences. We also generalize the idea of the proof to give sufficient conditions for the non-existence …
We study properties of minimal mutation-infinite quivers. In particular we show that every minimal-mutation infinite quiver of at least rank 4 is Louise and has a maximal green sequence. It then follows that the cluster algebras generated by these quivers are locally acyclic and hence equal to their upper cluster algebra. We also study which quivers in a mutation-class have a maximal green sequence. For any rank 3 quiver there are at most 6 quivers in its mutation class that admit a maximal green sequence. We also show that for every rank 4 minimal mutation-infinite quiver there is a finite co…
Brane tilings are infinite, bipartite, periodic, planar graphs that are dual to quivers. In this paper, we examine the del Pezzo 2 (dP$_2$) quiver and its brane tiling, which arise from the physics literature, in terms of toric mutations on its corresponding cluster. Specifically, we give explicit formulas for all cluster variables generated by toric mutation sequences. Moreover, for each such variable, we associate a subgraph of the dP$_2$ brane tiling to it such that its weight matches the variable.
We classify all mutation-finite quivers with real weights. We show that every finite mutation class not originating from an integer skew-symmetrizable matrix has a geometric realization 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.
A quiver mutation loop is a sequence of mutations and vertex relabelings, along which a quiver transforms back to the original form. For a given mutation loop, we introduce a quantity called a partition q-series. The partition q-series are invariant under pentagon moves. If the quivers are of Dynkin type or square products thereof, they reproduce so-called parafermionic or quasi-particle character formulas of certain modules associated with affine Lie algebras. They enjoy nice modular properties as expected from the conformal field theory point of view.
Skew-symmetric non-integer matrices with real entries can be viewed as quivers with non-integer weights of arrows. One can mutate such quivers according to usual rules of quiver mutation. Felikson and Tumarkin show that rank 3 mutation-finite non-integer quivers admit geometric realisations by partial reflections. This allows to define a notion of seeds (as Y-seeds), and hence, to define the exchange graphs for mutation classes. In this paper we study exchange graphs of mutation-finite quivers in rank 3. The concept of finite and affine type generalises naturally to non-integer quivers. In par…
We introduce a new method for producing both maximal green and reddening sequences of quivers. The method, called component preserving mutations, generalizes the notion of direct sums of quivers and can be used as a tool to both recover known reddening sequences as well as find reddening sequences that were previously unknown. We use the method to produce and recover maximal green sequences for many bipartite recurrent quivers that show up in the study of periodicity of $T$-systems and $Y$-systems. Additionally, we show how our method relates to the dominance phenomenon recently considered by …
This note provides a quiver which does not admit a maximal green sequence, but which is mutation-equivalent to a quiver which does admit a maximal green sequence. The proof uses the `scattering diagrams' of Gross-Hacking-Keel-Kontsevich to show that a maximal green sequence for a quiver determines a maximal green sequence for any induced subquiver.
In a recent paper by K.-H. Lee, K. Lee and M. Mills, a mutation of reflections in the universal Coxeter group is defined in association with a mutation of a quiver. A matrix representation of these reflections is determined by a linear ordering on the set of vertices of the quiver. It was conjectured that there exists an ordering (called a pseudo-acyclic ordering in this paper) such that whenever two mutation sequences of a quiver lead to the same labeled seed, the representations of the associated reflections also coincide. In this paper, we prove this conjecture for every quiver mutation-equ…
Centre for Theoretical Physics, Queen Mary University of London（伦敦玛丽女王大学理论物理中心）；Department of Mathematics, University of Connecticut（康奈尔大学数学系）；Korea Institute for Advanced Study（韩国高等研究院）
We construct finite volume hyperbolic manifolds with large symmetry groups. The construction makes use of the presentations of finite Coxeter groups provided by Barot and Marsh and involves mutations of quivers and diagrams defined in the theory of cluster algebras. We generalize our construction by assigning to every quiver or diagram of finite or affine type a CW-complex with a proper action of a finite (or affine) Coxeter group. These CW-complexes undergo mutations agreeing with mutations of quivers and diagrams. We also generalize the construction to quivers and diagrams originating from u…
In this paper, first we introduce a quantity called a partition function for a quiver mutation sequence. The partition function is a generating function whose weight is a $q$-binomial associated with each mutation. Then, we show that the partition function can be expressed as a ratio of products of quantum dilogarithms. This provides a systematic way of constructing various $q$-binomial multisum identities.
We present a geometric realization for all mutation classes of quivers of rank $3$ with real weights. This realization is via linear reflection groups for acyclic mutation classes and via groups generated by $π$-rotations for the cyclic ones. The geometric behavior of the model turns out to be controlled by the Markov constant $p^2+q^2+r^2-pqr$, where $p,q,r$ are the elements of exchange matrix. We also classify skew-symmetric mutation-finite real $3\times 3$ matrices and explore the structure of acyclic representatives in finite and infinite mutation classes.
We extend Carter's notion of admissible diagrams and attach a "Dynkin-like" diagram to each reduced reflection factorization of an element in a finite Weyl group. We give a complete classification for the diagrams attached to reduced reflection factorizations. Remarkably, such a diagram turns out to be cyclically orientable if and only if it is isomorphic to the underlying graph of a quiver which is mutation-equivalent to a Dynkin quiver. Furthermore we show that each diagram encodes a natural presentation of the Weyl group as reflection group. The latter one extends work of Cameron, Seidel an…
Given a framed quiver, i.e. one with a frozen vertex associated to each mutable vertex, there is a concept of green mutation, as introduced by Keller. Maximal sequences of such mutations, known as maximal green sequences, are important in representation theory and physics as they have numerous applications, including the computations of spectrums of BPS states, Donaldson-Thomas invariants, tilting of hearts in the derived category, and quantum dilogarithm identities. In this paper, we study such sequences and construct a maximal green sequence for every quiver mutation-equivalent to an orienta…
Machines and Mathematical Mutations: Using GNNs to Characterize Quiver Mutation Classes
Halıcıoğlu Data Science Institute, University of California San Diego, San Diego, CA, USA（哈利奇奥格鲁数据科学研究所，加州大学圣地亚哥分校）；Pacific Northwest National Laboratory, Richland, WA, USA（太平洋西北国家实验室）；Department of Mathematics, University of Washington, Seattle, WA, USA（数学系，华盛顿大学）
Let $\tilde{Q}$ (resp. $Q$) be an extended exchange (resp. exchange) cluster quiver of finite mutation type. We introduce the distribution set of the number of arrows for $Mut[\tilde{Q}]$ (resp. $Mut[Q]$), give the maximum and minimum numbers of the distribution set and establish the existence of an extended complete walk (resp. a complete walk). As a consequence, we prove that the distribution set for $Mut[\tilde{Q}]$ (resp. $Mut[Q]$) is continuous except the exceptional cases. In case of cluster quivers $Q_{inf}$ of infinite mutation type, the number of arrows does not present a continuous d…
Bipartite, periodic, planar graphs known as brane tilings can be associated to a large class of quivers. This paper will explore new algebraic properties of the well-studied del Pezzo 3 quiver and geometric properties of its corresponding brane tiling. In particular, a factorization formula for the cluster variables arising from a large class of mutation sequences (called $τ-$mutation sequences) is proven; this factorization also gives a recursion on the cluster variables produced by such sequences. We can realize these sequences as walks in a triangular lattice using a correspondence between …
For any quiver mutation sequence, we define a pair of matrices that describe a fixed point equation of a cluster transformation determined from the mutation sequence. We give an explicit relationship between this pair of matrices and the Jacobian matrix of the cluster transformation. Furthermore, we show that this relationship reduces to a relationship between the pair of matrices and the $C$-matrix of the cluster transformation in a certain limit of cluster variables. As an application, we prove that quivers associated with once-punctured surfaces do not have maximal green or reddening sequen…
We associate a quiver to a quasi-triangulation of a non-orientable marked surface and define a notion of quiver mutation that is compatible with quasi-cluster algebra mutation defined by Dupont and Palesi. Moreover, we use our quiver to show the unistructurality of the quasi-cluster algebra arising from the Mobius strip.
We show that for any positive integer $n$, there exists a quiver $Q$ with $O(n^2)$ vertices and $O(n^2)$ edges such that any quiver on $n$ vertices is a full subquiver of a quiver mutation equivalent to $Q$. We generalize this statement to skew-symmetrizable matrices and obtain other related results. In particular, we show that any quiver is a full subquiver of a quiver mutation equivalent to a quiver of a plabic graph.
The exchange graph of a 2-acyclic quiver is the graph of mutation-equivalent quivers whose edges correspond to mutations. When the quiver admits a nondegenerate Jacobi-finite potential, the exchange graph admits a natural acyclic orientation called the oriented exchange graph, as shown by Brüstle and Yang. The oriented exchange graph is isomorphic to the Hasse diagram of the poset of functorially finite torsion classes of a certain finite dimensional algebra. We prove that lattices of torsion classes are semidistributive lattices, and we use this result to conclude that oriented exchange graph…
In 2010, Everitt and Fountain introduced the concept of reflection monoids. The Boolean reflection monoids form a family of reflection monoids (symmetric inverse semigroups are Boolean reflection monoids of type $A$). In this paper, we give a family of presentations of Boolean reflection monoids and show how these presentations are compatible with quiver mutations of orientations of Dynkin diagrams with frozen vertices. Our results recover the presentations of Boolean reflection monoids given by Everitt and Fountain and the presentations of symmetric inverse semigroups given by Popova respecti…
We show that Fano lattice polygons define a class of balanced quivers with interesting properties. The combinatorics of these quivers is related to singularities of the underlying toric Fano surface. This allows us to show that every Fano polygon defines a point on a certain family of algebraic hypersurfaces. Our quivers admit a generalized mutation which preserves balancing and coincides with combinatorial mutation of Fano polygons whenever both operations are defined. We characterize balanced quivers arising from Fano polygons and discuss generalizations to higher dimensions.
