Quivers with potentials associated to triangulated surfaces
Daniel Labardini-Fragoso
备注：
v3: 44 pages, 57 figures. Prop 29 of v2 generalized to Thm 36, some changes to References. In response to referee's comments: some examples added, more cases verified in proof of Thm 30 (formerly Thm 23). Submitted to Proc. London Math. Soc
We attempt to relate two recent developments: cluster algebras associated to triangulations of surfaces by Fomin-Shapiro-Thurston, and quivers with potentials and their mutations introduced by Derksen-Weyman-Zelevinsky. To each ideal triangulation of a bordered surface with marked points we associate a quiver with potential, in such a way that whenever two ideal triangulations are related by a flip of an arc, the respective quivers with potentials are related by a mutation with respect to the flipped arc. We prove that if the surface has non-empty boundary, then the quivers with potentials associated to its triangulations are rigid and hence non-degenerate.
This paper is a representation-theoretic extension of Part I. It has been inspired by three recent developments: surface cluster algebras studied by Fomin-Shapiro-Thurston, the mutation theory of quivers with potentials initiated by Derksen-Weyman-Zelevinsky, and string modules associated to arcs on unpunctured surfaces by Assem-Brustle-Charbonneau-Plamondon. Modifying the latter construction, to each arc and each ideal triangulation of a bordered marked surface we associate in an explicit way a representation of the quiver with potential constructed in Part I, so that whenever two ideal trian…
In this paper, we introduce generalized quiver varieties which include as special cases classical and cyclic quiver varieties. The geometry of generalized quiver varieties is governed by a finitely generated algebra P: the algebra P is self-injective if the quiver Q is of Dynkin type, and coincides with the preprojective algebra in the case of classical quiver varieties. We show that in the Dynkin case the strata of generalized quiver varieties are in bijection with the isomorphism classes of objects in proj P, and that their degeneration order coincides with the Jensen-Su-Zimmermann's degener…
The aim of this note is to answer several open problems arising from the geometric description of the $m$-cluster categories of type $A_n$ and their realization in terms of the $m$-th power of a translation quiver. In particular, we give a geometric interpretation of the triangulated structure of $m$-cluster categories. Furthermore, we characterize all the connected components arising from a cluster category when taking the $m$-th power of its Auslander-Reiten quiver.
We show that if a connected, Hom-finite, Krull-Schmidt triangulated category has an Auslander-Reiten quiver component with Dynkin tree class then the category has Auslander-Reiten triangles and that component is the entire quiver. This is an analogue for triangulated categories of a theorem of Auslander, and extends a previous result of Scherotzke. We also show that if there is a quiver component with extended Dynkin tree class, then other components must also have extended Dynkin class or one of a small set of infinite trees, provided there is a non-zero homomorphism between the components. T…
This is an introduction to some aspects of Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers and with Calabi-Yau triangulated categories. It is based on lectures given by the author at summer schools held in 2006 (Bavaria) and 2008 (Jerusalem). In addition to by now classical material, we present the outline of a proof of the periodicity conjecture for pairs of Dynkin diagrams (details will appear elsewhere) and recent results on the interpretation of mutations as derived equivalences.
To each tagged triangulation of a surface with marked points and non-empty boundary we associate a quiver with potential, in such a way that whenever we apply a flip to a tagged triangulation, the Jacobian algebra of the QP associated to the resulting tagged triangulation is isomorphic to the Jacobian algebra of the QP obtained by mutating the QP of the original one. Furthermore, we show that any two tagged triangulations are related by a sequence of flips compatible with QP-mutation. We also prove that for each of the QPs constructed, the ideal of the non-completed path algebra generated by t…
Let T be a locally finite triangulated category with an autoequivalence F such that the orbit category T/F is triangulated. We show that if X is an m-cluster tilting subcategory, then the image of X in T/F is an m-cluster tilting subcategory if and only if X is F-perodic. We show that for path-algebras of Dynking quivers δone may study the periodic properties of n-cluster tilting objects in the n-cluster category Cn(kδ) to obtain information on periodicity of the preimage as n-cluster tilting subcategories of Db(kδ). Finally we classify the periodic properties of all 2-cluster tilting objects …
This is a companion paper of arXiv:1901.09461, where different notions of dimension for triangulated categories are discussed. Here we compute dimensions for some examples of triangulated categories and thus illustrate and motivate material from loc. cit. Our examples include path algebras of finite ordered quivers, orbifold projective lines, some tensor powers of path algebras in Dynkin quivers of type A and categories, generated by an exceptional pair.
We study a triangulated category of graded matrix factorizations for a polynomial of type ADE. We show that it is equivalent to the derived category of finitely generated modules over the path algebra of the corresponding Dynkin quiver. Also, we discuss a special stability condition for the triangulated category in the sense of T. Bridgeland, which is naturally defined by the grading.
This paper investigates a certain 2-Calabi-Yau triangulated category D whose Auslander-Reiten quiver is ZA_{\infty}. We show that the cluster tilting subcategories of D form a so-called cluster structure, and we classify these subcategories in terms of what one may call `triangulations of the infinity-gon'. This is reminiscent of the cluster category C of type A_n which is a 2-Calabi-Yau triangulated category whose Auslander-Reiten quiver is a quotient of ZA_n. The cluster tilting subcategories of C form a cluster structure and they are classified in terms of triangulations of the (n+3)-gon. T…
In association with a finite dimensional algebra A of global dimension two, we consider the endomorphism algebra of A, viewed as an object in the triangulated hull of the orbit category of the bounded derived category, in the sense of Amiot. We characterize the algebras A of global dimension two such that its endomorphism algebra is isomorphic to a cluster-tilted algebra with a cyclically oriented quiver.Furthermore, in the case that the cluster tilted algebra with a cyclically oriented quiver is of Dynkin or extended Dynkin type then A is derived equivalent to a hereditary algebra of the same…
We derive an algorithm for mutating quivers of 2-CY tilted algebras that have loops and 2-cycles, under certain specific conditions. Further, we give the classification of the 2-CY tilted algebras coming from standard algebraic 2-CY triangulated categories with a finite number of indecomposables. These form a class of algebras that satisfy the setup for our mutation algorithm.
We show that an algebraic 2-Calabi-Yau triangulated category over an algebraically closed field is a cluster category if it contains a cluster tilting subcategory whose quiver has no oriented cycles. We prove a similar characterization for higher cluster categories. As a first application, we show that the stable category of maximal Cohen-Macaulay modules over a certain isolated singularity of dimension three is a cluster category. As a second application, we prove the non-acyclicity of the quivers of endomorphism algebras of cluster-tilting objects in the stable categories of representation-i…
Tropical friezes are the tropical analogues of Coxeter-Conway frieze patterns. In this note, we study them using triangulated categories. A tropical frieze on a 2-Calabi-Yau triangulated category $\mathcal{C}$ is a function satisfying a certain addition formula. We show that when $\mathcal{C}$ is the cluster category of a Dynkin quiver, the tropical friezes on ${\mathcal{C}}$ are in bijection with the $n$-tuples in ${\mathbb{Z}}^n$, any tropical frieze $f$ on $\mathcal{C}$ is of a special form, and there exists a cluster-tilting object such that $f$ simultaneously takes non-negative values or …
The aim of this paper is to give analogs of the cluster expansion formula of Musiker and Schiffler for cluster algebras of type A with coefficients arising from boundary arcs of the corresponding triangulated polygon. Indeed, we give three cluster expansion formulas by perfect matchings of angles in triangulated polygon, by discrete subsets of arrows of the corresponding ice quiver and by minimal cuts of the corresponding quiver with potential.
In this short paper we introduce a new triangulated category for rational surface singularities which in the non-Gorenstein case acts as a substitute for the stable category of matrix factorizations. The category is formed as a Frobenius quotient of the category of special CM modules, and we classify the relatively projective-injective objects and thus describe the AR quiver of the quotient. Connections to the corresponding reconstruction algebras are also discussed.
In this survey article we give a brief account of constructions and results concerning the quivers with potentials associated to triangulations of surfaces with marked points. Besides the fact that the mutations of these quivers with potentials are compatible with the flips of triangulations, we mention some recent results on the representation type of Jacobian algebras and the uniqueness of non-degenerate potentials. We also mention how the the quivers with potentials associated to triangulations give rise to CY2 and CY3 triangulated categories that have turned out to be useful in the subject…
We compute the Grothendieck group of certain 2-Calabi--Yau triangulated categories appearing naturally in the study of the link between quiver representations and Fomin--Zelevinsky's cluster algebras. In this setup, we also prove a generalization of Fomin--Zelevinsky's mutation rule.
We embed triangulated categories defined by quivers with potential arising from ideal triangulations of marked bordered surfaces into Fukaya categories of quasi-projective 3-folds associated to meromorphic quadratic differentials. Together with previous results, this yields non-trivial computations of spaces of stability conditions on Fukaya categories of symplectic 6-manifolds.
We show that Derksen-Weyman-Zelevinsky's mutations of quivers with potential yield equivalences of suitable 3-Calabi-Yau triangulated categories. Our approach is related to that of Iyama-Reiten and Koszul dual to that of Kontsevich-Soibelman. It improves on previous work by Vitoria. In the appendix, the first-named author studies pseudo-compact derived categories of certain pseudo-compact dg algebras.
We describe presentations of braid groups of type ADE and show how these presentations are compatible with mutation of quivers, building on work of Barot and Marsh for Coxeter groups. In types A and D these presentations can be understood geometrically using triangulated surfaces. We then give a categorical interpretation of the presentations, with the new generators acting as spherical twists at simple modules on derived categories of Ginzburg dg-algebras of quivers with potential.
Let $k$ be a field and $A$ a finite-dimensional $k$-algebra of global dimension $\leq 2$. We construct a triangulated category $\Cc_A$ associated to $A$ which, if $A$ is hereditary, is triangle equivalent to the cluster category of $A$. When $\Cc_A$ is $\Hom$-finite, we prove that it is 2-CY and endowed with a canonical cluster-tilting object. This new class of categories contains some of the stable categories of modules over a preprojective algebra studied by Geiss-Leclerc-Schr{ö}er and by Buan-Iyama-Reiten-Scott. Our results also apply to quivers with potential. Namely, we introduce a cluste…
Given a triangulation of a polygon P with n vertices, we associate an ice quiver with potential such that the associated Jacobian algebra has the structure of a Gorenstein tiled K[x]-order L. Then we show that the stable category of the category of Cohen-Macaulay L-modules is equivalent to the cluster category C of Dynkin type A(n-3). It gives a natural interpretation of the usual indexation of cluster tilting objects of C by triangulations of P. Moreover, it extends naturally the triangulated categorification by C of the cluster algebra of type A(n-3) to an exact categorification by adding co…
This paper was inspired by four articles: surface cluster algebras studied by Fomin-Shapiro-Thurston \cite{fst}, the mutation theory of quivers with potentials initiated by Derksen-Weyman-Zelevinsky \cite{dwz}, string modules associated to arcs on unpunctured surfaces by Assem-Br$\ddot{u}$stle-Charbonneau-Plamondon \cite{acbp} and Quivers with potentials associated to triangulated surfaces, part II: Arc representations by Labardini-Fragoso. \cite{lf2}. For a surface with marked points ($Σ,M$) Labardini-Fragoso associated a quiver with potential $(Q(τ),S(τ))$ then for an ideal triangulation of …
Given a tagged triangulation of a once-punctured polygon $P^*$ with $n$ vertices, we associate an ice quiver with potential such that the frozen part of the associated frozen Jacobian algebra has the structure of a Gorenstein $K[X]$-order $Λ$. Then we show that the stable category of the category of Cohen-Macaulay $Λ$-modules is equivalent to the cluster category $\mathcal{C}$ of type $D_n$. It gives a natural interpretation of the usual indexation of cluster tilting objects of $\mathcal{C}$ by tagged triangulations of $P^*$. Moreover, it extends naturally the triangulated categorification by …
We associate a coloured quiver to a rigid object in a Hom-finite 2-Calabi--Yau triangulated category and to a partial triangulation on a marked (unpunctured) Riemann surface. We show that, in the case where the category is the generalised cluster category associated to a surface, the coloured quivers coincide. We also show that compatible notions of mutation can be defined and give an explicit description in the case of a disk. A partial description is given in the general 2-Calabi-Yau case. We show further that Iyama-Yoshino reduction can be interpreted as cutting along an arc in the surface.
We study the b-functions of relative invariants of the prehomogeneous vector spaces associated with quivers of type A. By applying the decomposition formula for b-functions, we determine explicitly the b-functions of one variable for each irreducible relative invariant. Moreover, we give a graphical algorithm to determine the b-functions of several variables.
The properties of the preprojective algebra are very di fferent whether the associated quiver is of Dynkin type or not. However in both cases, one can construct from it a triangulated category of Calabi-Yau dimension 2. In this note we explain the generalizations of this fact in the context of higher preprojective algebra, and we give some homological properties that characterize preprojective algebras.
By using the approach in \cite{XX2006} to Hall algebras arising in homologically finite triangulated categories, we find an `almost' associative multiplication structure for indecomposable objects in a 2-periodic triangulated category. As an application, we give a new proof of the theorem of Peng and Xiao in \cite{PX2000} which provides a way of realizing symmetrizable Kac-Moody algebras and elliptic Lie algebras via 2-periodic triangulated categories.
For a quiver with non-degenerate potential, we study the associated stability scattering diagram and how it changes under mutations. We show that under mutations the stability scattering diagram behaves like the cluster scattering diagram associated to the same quiver, which gives them identical cluster chamber structures. As an application, we prove if the quiver has a green-to-red sequence, these two scattering diagrams are identical and if the quiver comes from a once-punctured torus, they differ by a central wall-crossing. This verifies in those cases a conjecture of Kontsevich-Soibelman t…
We consider (iced) quiver with potential $(\bar{Q}(D), F(D), \bar{W}(D))$ associated to a Postnilov Diagram $D$ and prove the mutation of the quiver with potential $(\bare{Q}(D), F(D), \bar{W}(D))$ is compatible with the geometric exchange of the Postnikov diagram $D$. This ensures we may define a quiver with potential for a Grassmannian cluster algebra. We show such quiver with potential is always rigid (thus non-degenerate) and Jacobian-finite. And in fact, it is the unique non-degenerate (thus unique rigid) quiver with potential associated to the Grassmannian cluster algebra up to right-equ…
A new class of algebras have been introduced by Khovanov and Lauda and independently by Rouquier. These algebras categorify one-half of the Quantum group associated to arbitrary Cartan data. In this paper, we use the combinatorics of Lyndon words to construct the irreducible representations of those algebras associated to Cartan data of finite type. This completes the classification of simple modules for the quiver Hecke algebra initiated by Kleshchev and Ram.
We consider tilting mutations of a weakly symmetric algebra at a subset of simple modules, as recently introduced by T. Aihara. These mutations are defined as the endomorphism rings of certain tilting complexes of length 1. Starting from a weakly symmetric algebra A, presented by a quiver with relations, we give a detailed description of the quiver and relations of the algebra obtained by mutating at a single loopless vertex of the quiver of A. In this form the mutation procedure appears similar to, although significantly more complicated than, the mutation procedure of Derksen, Weyman and Zel…
We prove that moduli spaces of meromorphic quadratic differentials with simple zeroes on compact Riemann surfaces can be identified with spaces of stability conditions on a class of CY3 triangulated categories defined using quivers with potential associated to triangulated surfaces. We relate the finite-length trajectories of such quadratic differentials to the stable objects of the corresponding stability condition.
In this article, we investigate the condition for the hearts of twin cotorsion pairs to be equivalent, compatibly with the associated functors. This is related to the vanishing of components of pairs through the associated functors.
We consider the general notion of coloured quiver mutation and show that the mutation class of a coloured quiver $Q$, arising from an $m$-cluster tilting object associated with $H$, is finite if and only if $H$ is of finite or tame representation type, or it has at most 2 simples. This generalizes a result known for 1-cluster categories.
We show that the mutation class of a finite quiver without oriented cycles is finite if and only is the quiver is either Dynkin, extended Dynkin or has at most two vertices.
In this article we study the triangulated category of singularities associated with a non-commutative resolution of singularities. In particular, we give a complete description of this category in the case of a curve with nodal singularities, classifying its indecomposable objects and computing its Auslander-Reiten quiver and K-group.
C.M. Ringel defined Hall algebra associated with the category of representations of a quiver of Dynkin type and gave an explicit description of the structure constants of the corresponding Lie algebra. We utilize functorial properties of the Hall algebra to give a simple proof of Ringel's result, and to generalize it to the case of a quiver of affine type.
We provide a technique to compute the Euler characteristic of a class of projective varieties called quiver Grassmannians. This technique applies to quiver Grassmannians associated with "orientable string modules". As an application we explicitly compute the Euler characteristic of quiver Grassmannians associated with indecomposable preprojective, preinjective and regular homogeneous representations of an affine quiver of type $\tilde{A}_{p,1}$. For $p=1$, this approach provides another proof of a result due to P. Caldero and A. Zelevinsky in \cite{CZ}.
We define the Hall algebra associated to any triangulated category under some finiteness conditions with the $t$-periodic translation functor $T$ for odd $t>1.$ This generalizes the results in \cite{Toen2005} and \cite{XX2006}.
Motivated by the definition of Duflo involution for fiat $2$-categories, we define certain analogues of Duflo involution for arbitrary finitary $2$-categories and show that such Duflo involutions exist for two classes of finitary $2$-categories associated with tree path algebras. Additionally, we describe the quiver for the algebra underlying the principal $2$-representation for these two classes of finitary $2$-categories.
The idea is to identify certain path algebra elements with symmetric functions. We propose such a morphism by solving the quiver relations, which describe the Plucker-type embedding for quiver grassmannians.
We construct a full strongly exceptional collection in the triangulated category of graded matrix factorizations of a polynomial associated to a non-degenerate regular system of weights whose smallest exponents are equal to -1. In the associated Grothendieck group, the strongly exceptional collection defines a root basis of a generalized root system of sign (l,0,2) and a Coxeter element of finite order, whose primitive eigenvector is a regular element in the expanded symmetric domain of type IV with respect to the Weyl group.
We prove that mutation of cluster-tilting objects in triangulated 2-Calabi-Yau categories is closely connected with mutation of quivers with potentials. This gives a close connection between 2-CY-tilted algebras and Jacobian algebras associated with quivers with potentials. We show that cluster-tilted algebras are Jacobian and also that they are determined by their quivers. There are similar results when dealing with tilting modules over 3-CY algebras. The nearly Morita equivalence for 2-CY-tilted algebras is shown to hold for the finite length modules over Jacobian algebras.
For Dynkin quivers, we find the Laurent polynomials $\widetilde{X}_{a, c}^{b}(v)$ and use $\widetilde{X}_{a, c}^{b}(v)$ to construct the Hall algebra $\hc_v(\cc(\cp))$ over $\mz[v, v^{-1}]$, where $\widetilde{X}_{a, c}^{b}(|\mf_q|)$'s are structure constants used by Bridgeland. The Laurent polynomials $\widetilde{X}_{a, c}^{b}(v)$ are explicitly given in $A_1$ case. As an application, we obtain the full quantum groups $U_t(\sg)$ associated to the Dynkin quivers for arbitrary $t\not=0,\pm1$.
By viewing $\tilde{A}$ and $\tilde{D}$ type cluster algebras as triangulated surfaces, we find all cluster variables in terms of either (i) the frieze pattern (or bipartite belt) or (ii) the periodic quantities previously found for the cluster map associated with these frieze patterns. We show that these cluster variables form friezes which are precisely the ones found in [1] by applying the cluster character to the associated cluster category.
For a tensor triangulated category and any regular cardinal $α$ we study the frame of $α$-localizing tensor ideals and its associated space of points. For a well-generated category and its frame of localizing tensor ideals we provide conditions such that the associated space is obtained by refining the topology of the corresponding space for the triangulated subcategory of $α$-compact objects. This is illustrated by several known examples for $α=\aleph_0$, and new spaces arise for $α>\aleph_0$.
A survey of the theory of Kac polynomials for quivers and for curves. In particular, we describe the representation-theoretic meaning of Kac polynomials in terms of Hall algebras, and the geometric meaning of Kac polynomials in relation to the geometry of moduli spaces of representations of quivers or vector bundles on smooth projective curves. We end with some heuristics concerning a family of infinite-dimensional $\mathbb{Z}^2$-graded Lie algebras attached to curves of a fixed genus (over a finite field), whose 'Cartan datum' encodes the dimension of the spaces of absolutely cuspidal functio…
The canonical bases of cluster algebras of finite types and rank 2 are given explicitly in \cite{CK2005} and \cite{SZ} respectively. In this paper, we will deduce $\mathbb{Z}$-bases for cluster algebras for affine types $\widetilde{A}_{n,n},\widetilde{D}$ and $\widetilde{E}$. Moreover, we give an inductive formula for computing the multiplication between two generalized cluster variables associated to objects in a tube.
We classify the singularities in the unframed Nakajima quiver varieties associated with extended Dynkin quivers and the corresponding minimal imaginary root with a small restriction on the parameter and use this to construct a number of hyper-Kähler cobordisms between binary polyhedral spaces.
