We give a quiver representation theoretic interpretation of generalized cluster complexes defined by Fomin and Reading.
By using $d-$cluster categories which are defined by Keller as triangulated orbit categories of (bounded) derived categories of representations of valued quivers, we define a $d-$compatibility degree $(-||-)$ on any pair of ``colored'' almost positive real Schur roots which generalizes previous definitions on the non-colored case, and call two such roots compatible provided the $d-$compatibility degree of them is zero. Associated to the root system $Φ$ corresponding to the valued quiver, by using this compatibility relation, we define a simplicial complex which has colored almost positive real Schur roots as vertices and $d-$compatible subsets as simplicies. If the valued quiver is an alternating quiver of a Dynkin diagram, then this complex is the generalized cluster complex defined by Fomin and Reading.
Gillespie's Theorem gives a systematic way to construct model category structures on $\mathscr{C}( \mathscr{M} )$, the category of chain complexes over an abelian category $\mathscr{M}$. We can view $\mathscr{C}( \mathscr{M} )$ as the category of representations of the quiver $\cdots \rightarrow 2 \rightarrow 1 \rightarrow 0 \rightarrow -1 \rightarrow -2 \rightarrow \cdots$ with the relations that two consecutive arrows compose to $0$. This is a self-injective quiver with relations, and we generalise Gillespie's Theorem to other such quivers with relations. There is a large family of these, an…
This paper studies silted algebras, namely, endomorphism algebras of 2-term silting complexes, over path algebras of Dynkin quivers. We will describe an algorithm to produce all basic 2-term silting complexes over the path algebra of a Dynkin quiver, and use this algorithm to compute some examples.
We study silting mutations (Okuyama-Rickard complexes) for selfinjective algebras given by quivers with potential (QPs). We show that silting mutation is compatible with QP mutation. As an application, we get a family of derived equivalences of Jacobian algebras.
We define and study virtual representation spaces having both positive and negative dimensions at the vertices of a quiver without oriented cycles. We consider the natural semi-invariants on these spaces which we call virtual semi-invariants and prove that they satisfy the three basic theorems: the First Fundamental Theorem, the Saturation Theorem and the Canonical Decomposition Theorem. In the special case of Dynkin quivers with n vertices this gives the fundamental interrelationship between supports of the semi-invariants and the Tilting Triangulation of the (n-1)-sphere.
Tristan Bozec gave a definition of generalized quantum groups that extends the usual definition of quantum groups to finite quivers with loops at vertices, and he introduced a theory of generalized crystals for this new family of Hopf algebras. We explicitly characterize the generalized crystal $\mathcal{B}(\infty)$ associated to a certain family of quivers with multiple loops by providing a complete set of relations among the Kashiwara operators themselves.
The cluster algebra of any acyclic quiver can be realized as the coordinate ring of a subvariety of a Kac-Moody group -- the quiver is an orientation of its Dynkin diagram, defining a Coxeter element and thereby a double Bruhat cell. We use this realization to connect representations of the quiver with those of the group. We show that cluster variables of preprojective (resp. postinjective) quiver representations are realized by generalized minors of highest-weight (resp. lowest-weight) group representations, generalizing results of Yang-Zelevinsky in finite type. In type $A_n^{\!(1)}$ and fin…
The goal of this paper is to clarify the connection between certain structures from the theory of totally nonnegative Grassmannians, quiver Grassmannians for cyclic quivers and the theory of local models of Shimura varieties. More precisely, we generalize the construction from our previous paper relating the combinatorics and geometry of quiver Grassmanians to that of the totally nonnegative Grassmannians. The varieties we are interested in serve as realizations of local models of Shimura varieties. We exploit quiver representation techniques to study the quiver Grassmannians of interest and, …
We construct the entire generalized Kac-Moody Lie algebra as a quotient of the positive part of another generalized Kac-Moody Lie algebra. The positive part of a generalized Kac-Moody Lie algebra can be constructed from representations of quivers using Ringel's Hall algebra construction. Thus we give a direct realization of the entire generalized Kac-Moody Lie algebra.
We generalize the geometric construction of quiver Hecke algebras from Varagnolo and Vasserot to a setup with arbitrary connected reductive groups. This corresponds to replacing quiver representations by generalized quiver representations introduced by Derksen and Weyman. The class of algebras which we construct contains (affine) nil Hecke algebras, skew group rings of Weyl groups with polynomial rings and quiver Hecke algebras. We describe an explicit faithful representation in a polynomial ring and we calculate the generators and relations for these algebras.
We show that the cone of finite stability conditions of a quiver Q without oriented cycles has a fan covering given by (the dual of) the cluster fan of Q. Along the way, we give new proofs of Schofield's results on perpendicular categories. We also study domains of semi-invariants of quivers via quiver exceptional sequences. In particular, we recover Igusa-Orr-Todorov-Weyman's theorem on cluster complexes and domains of semi-invariants for Dynkin quivers.
We first provide an explicit combinatorial description of the Auslander-Reiten quiver $Γ^Q$ of finite type $D$. Then we can investigate the categories of finite dimensional representations over the quantum affine algebra $U_q'(D^{(i)}_{n+1})$ $(i=1,2)$ and the quiver Hecke algebra $R_{D_{n+1}}$ associated to $D_{n+1}$ $(n \ge 3)$, by using the combinatorial description and the generalized quantum affine Schur-Weyl duality functor. As applications, we can prove that Dorey's rule holds for the category $\Rep(R_{D_{n+1}})$ and prove an interesting difference between multiplicity free positive roo…
The quiver Hecke algebra $R$ can be also understood as a generalization of the affine Hecke algebra of type $A$ in the context of the quantum affine Schur-Weyl duality by the results of Kang, Kashiwara and Kim. On the other hand, it is well-known that the Auslander-Reiten(AR) quivers $Γ_Q$ of finite simply-laced types have a deep relation with the positive roots systems of the corresponding types. In this paper, we present explicit combinatorial descriptions for the AR-quivers $Γ_Q$ of finite type $A$. Using the combinatorial descriptions, we can investigate relations between finite dimensiona…
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…
It has been proved in \cite{LS} that cluster variables in cluster algebras of every skew-symmetric cluster algebra are positive. We prove that any regular generalized cluster variable of an affine quiver is positive. As a corollary, we obtain that generalized cluster variables of affine quivers are positive and construct various positive bases. This generalizes the results in \cite{Dupont} and \cite{DXX}.
For coprime dimension vectors certain torus fixed points of the Kronecker moduli space are indecomposable tree modules. They are indecomposable representations of the regular m-tree and can be glued in order to get stable torus fixed point for every coprime dimension vector. Using their stability and the reflection functor we show that for arbitrary roots there exist indecomposable tree modules of the Kronecker quiver as factor modules of these torus fixed points.
In the context of varieties of representations of arbitrary quivers, possibly carrying loops, we define a generalization of Lusztig Lagrangian subvarieties. From the combinatorial study of their irreducible components arises a structure richer than the usual Kashiwara crystals. Along with the geometric study of Nakajima quiver varieties, in the same context, this yields a notion of generalized crystals, coming with a tensor product. As an application, we define the semicanonical basis of the Hopf algebra generalizing quantum groups, which was already equipped with a canonical basis. The irredu…
We establish an embedding of the quantum enveloping algebra of a symmetric generalized Kac--Moody algebra into a localized Hall algebra of $\mathbb Z_2$-graded complexes of representations of a quiver with (possible) loops. To overcome difficulties resulting from the existence of infinite dimensional projective objects, we consider the category of finitely-presented representations and the category of $\mathbb Z_2$-graded complexes of projectives with finite homology.
We provide a quiver-theoretic interpretation of certain smooth complete simplicial fans associated to arbitrary finite root systems in recent work of S. Fomin and A. Zelevinsky. The main properties of these fans then become easy consequences of the known facts about tilting modules due to K. Bongartz, D. Happel and C. M. Ringel.
Quiver quantum mechanics is invariant under Seiberg duality. A mathematical consequence is that the cohomology of the Higgs branch moduli space is invariant under mutations of the quiver. The Coulomb branch formula, on the other hand, conjecturally expresses the Poincaré / Dolbeault polynomial of the Higgs branch moduli space in terms of certain quantities known as single-centered indices. In this work we determine the transformations of these single-centered indices under mutations. Moreover, we generalize these mutations to quivers whose nodes carry single-centered indices different from uni…
Let $Q$ be a finite quiver and $G\subseteq\Aut(\mathbbm{k}Q)$ a finite abelian group. Assume that $\hat{Q}$ and $Γ$ is the generalized Mckay quiver and the valued graph corresponding to $(Q, G)$ respectively. In this paper we discuss the relationship between indecomposable $\hat{Q}$-representations and the root system of Kac-Moody algebra $\mathfrak{g}(Γ)$. Moreover, we may lift $G$ to $\bar{G}\subseteq\Aut(\mathfrak{g}(\hat{Q}))$ such that $\mathfrak{g}(Γ)$ embeds into the fixed point algebra $\mathfrak{g}(\hat{Q})^{\bar{G}}$ and $\mathfrak{g}(\hat{Q})^{\bar{G}}$ as $\mathfrak{g}(Γ)$-module i…
Let $Φ$ be a finite root system of rank $n$ and let $m$ be a nonnegative integer. The generalized cluster complex $Δ^m (Φ)$ was introduced by S. Fomin and N. Reading. It was conjectured by these authors that $Δ^m (Φ)$ is shellable and by V. Reiner that it is $(m+1)$-Cohen-Macaulay, in the sense of Baclawski. These statements are proved in this paper. Analogous statements are shown to hold for the positive part $Δ^m_+ (Φ)$ of $Δ^m (Φ)$. An explicit homotopy equivalence is given between $Δ^m_+ (Φ)$ and the poset of generalized noncrossing partitions, associated to the pair $(Φ, m)$ by D. Armstro…
The concept of modulation is generalized to pseudo-modulation and its subclasses including pre-modulation, generalized modulation and regular modulation. The motivation is to define the valued analogue of natural quiver, called {\em natural valued quiver}, of an artinian algebra so as to correspond to its valued Ext-quiver when this algebra is not $k$-splitting over the field $k$. Moreover, we illustrate the relation between the valued Ext-quiver and the natural valued quiver. The interesting fact we find is that the representation categories of a pseudo-modulation and of a pre-modulation are …
This paper deals with the representation theory of a locally finite quiver in which the number of paths between any two given vertices is finite. We first study some properties of the finitely presented or co-presented representations, and then construct in the category of locally finite dimensional representations some almost split sequences which start with a finitely co-presented representation and end with a finitely presented representation. Furthermore, we obtain a general description of the shapes of the Auslander-Reiten components of the category of finitely presented representations a…
The motivation of this paper is to study the natural quiver of an artinian algebra, a new kind of quivers, as a tool independing upon the associated basic algebra. In \cite{Li}, the notion of the natural quiver of an artinian algebra was introduced and then was used to generalize the Gabriel theorem for non-basic artinian algebras splitting over radicals and non-basic finite dimensional algebras with 2-nilpotent radicals via pseudo path algebras and generalized path algebras respectively. In this paper, firstly we consider the relationship between the natural quiver and the ordinary quiver of …
We investigate the generalized Kronecker algebra $\mathcal{K}_r = kΓ_r$ with $r \geq 3$ arrows. Given a regular component $\mathcal{C}$ of the Auslander-Reiten quiver of $\mathcal{K}_r$, we show that the quasi-rank $rk(\mathcal{C}) \in \mathbb{Z}_{\leq 1}$ can be described almost exactly as the distance $\mathcal{W}(\mathcal{C}) \in \mathbb{N}_0$ between two non-intersecting cones in $\mathcal{C}$, given by modules with the equal images and the equal kernels property; more precisley, we show that the two numbers are linked by the inequality \[ -\mathcal{W}(\mathcal{C}) \leq rk(\mathcal{C}) \le…
We study Laurent expansions of cluster variables in a cluster algebra of rank 2 associated to a generalized Kronecker quiver. In the case of the ordinary Kronecker quiver, we obtain explicit expressions for Laurent expansions of the elements of the canonical basis for the corresponding cluster algebra.
Varagnolo-Vasserot and Rouquier proved that, in a symmetric generalized Cartan matrix case, the simple modules over the quiver Hecke algebra with a special parameter correspond to the upper global basis. In this note we show that the simple modules over the quiver Hecke algebras with a generic parameter also correspond to the upper global basis in a symmetric generalized Cartan matrix case.
We define a special sort of weighted oriented graphs, signed quivers. Each of these yields a symmetric quiver, i.e., a quiver endowed with an involutive anti-automorphism and the inherited signs. We develop a representation theory of symmetric quivers, in particular we describe the indecomposable symmetric representations. Their dimensions constitute root systems corresponding to certain symmetrizable generalized Cartan matrices.
We define an analogue of the Caldero-Chapoton map (\cite{CC}) for the cluster category of finite dimensional nilpotent representations over a cyclic quiver. We prove that it is a cluster character (in the sense of \cite{Palu}) and satisfies some inductive formulas for the multiplication between the generalized cluster variables (the images of objects of the cluster category under the map). Moreover, we construct a $\mathbb{Z}$-basis for the algebras generated by all generalized cluster variables.
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…
Let U be the quantum group associated to a symmetrizable generalized Cartan matrix. We give a realization of U from the category of the representations of certain product valued quiver.
We introduce a multivariate generalization of normalized Chebyshev polynomials of the second kind. We prove that these polynomials arise in the context of cluster characters associated to Dynkin quivers of type $\mathbb A$ and representation-infinite quivers. This allows to obtain a simple combinatorial description of cluster algebras of type $\mathbb A$. We also provide explicit multiplication formulas for cluster characters associated to regular modules over the path algebra of any representation-infinite quiver.
We show that the generalized W-modules defined in a foregoing paper determine ZA_\infty- components in the Auslander-Reiten quiver Γ(n,r) of the generalized Beilinson algebra B(n,r), n \geq 3. These components entirely consist of modules with the constant Jordan type property. We arrive at this result by interpreting B(n,r) as an iterated one-point extension of the r-Kronecker algebra K_r which enables us to generalize findings concerning the Auslander-Reiten quiver Γ(K_r) presented in earlier work to B(n,r).
This paper concerns preprojective representations of a finite connected valued quiver without oriented cycles. For each such representation, an explicit formula in terms of the geometry of the quiver gives a unique, up to a certain equivalence, shortest (+)-admissible sequence such that the corresponding composition of reflection functors annihilates the representation. The set of equivalence classes of the above sequences is a partially ordered set that contains a great deal of information about the preprojective component of the Auslander-Reiten quiver. The results apply to the study of redu…
By using perverse sheaves on representation spaces of quivers over $k[t]/(t^n)$ and jet schemes over flag varieties, we construct a geometric composition algebra $\mathbf K$ under Lusztig's framework on geometric realizations of the negative part of quantum algebras. Simple perverse sheaves in $\mathbf K$ form the canonical basis of $\mathbf K$. The relationships among the algebra $\mathbf K$, the composition algebra of locally projective representations of quivers over $k[t]/(t^n)$ and quantum generalized Kac-Moody algebra are provided.
In this paper we study the combinatorial consequences of the relationship between rational Cherednik algebras of type $G(l,1,n)$, cyclic quiver varieties and Hilbert schemes. We classify and explicitly construct $\mathbb{C}^*$-fixed points in cyclic quiver varieties and calculate the corresponding characters of tautological bundles. Furthermore, we give a combinatorial description of the bijections between $\mathbb{C}^*$-fixed points induced by the Etingof-Ginzburg isomorphism and Nakajima reflection functors. We apply our results to obtain a new proof as well as a generalization of the $q$-ho…
Let $C$ be a simply laced generalized Cartan matrix. Given an element $b$ of the generalized braid semigroup related to $C$, we construct a collection of mutation-equivalent quivers with potentials. A quiver with potential in such a collection corresponds to an expression of $b$ in terms of the standard generators. For two expressions that differ by a braid relation, the corresponding quivers with potentials are related by a mutation. The main application of this result is a construction of a family of $CY_3$ $A_\infty$-categories associated to elements of the braid semigroup related to $C$. I…
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…
