We compute the Euler characteristics of quiver Grassmannians and quiver flag varieties of tree and band modules and prove their positivity. This generalizes some results by G.C. Irelli [arXiv:0910.2592].
As an application we consider the Ringel-Hall algebra $C(A)$ of some string algebras $A$ and compute in combinatorial terms the products of arbitrary functions in $C(A)$.
In this paper, we give a recursive formula for the interesting PBW basis $E_{A}$ of composition subalgebras of Ringel-Hall algebras $\fkH_\vartri(n)$ of cyclic quivers after \cite{DengDuXiao2007generic}, and another construction of canonical bases of $\U_v^+(\wih{\fks\fkl}_n)$ from the monomial bases $m^{(A)}$ follow \cite{DuZhaomultiplication}. As an application, we will determined all the canonical basis of $\U_v^+(\wih{\fks\fkl}_2)$ associated with modules of Lowery length $\leqs3$. Finally, we will discuss the relation of canonical bases of Ringel-Hall algebras and those of affine quantum …
In recent articles, the investigation of atomic bases in cluster algebras associated to affine quivers led the second-named author to introduce a variety called transverse quiver Grassmannian and the first-named and third-named authors to consider the smooth loci of quiver Grassmannians. In this paper, we prove that, for any affine quiver Q, the transverse quiver Grassmannian of an indecomposable representation M is the set of points N in the quiver Grassmannian of M such that Ext^1(N,M/N)=0. As a corollary we prove that the transverse quiver Grassmannian coincides with the smooth locus of the…
In \cite{rupel3},the authors defined algebra homomorphisms from the dual Ringel-Hall algebra of certain hereditary abelian category $\mathcal{A}$ to an appropriate $q$-polynomial algebra. In the case that $\mathcal{A}$ is the representation category of an acyclic quiver, we give an alternative proof by using the cluster multiplication formulas in \cite{DX}. Moreover, if the underlying graph of $Q$ is bipartite and the matrix $B$ associated to the quiver $Q$ is of full rank, we show that the image of the algebra homomorphisms is in the corresponding quantum cluster algebra.
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 give the Ringel-Hall algebra construction of the positive half of quantum Borcherds-Bozec algebras as the generic composition algebras of quivers with loops.
This is an overview article on finite-dimensional algebras and quivers, written for the Encyclopedia of Mathematical Physics. We cover path algebras, Ringel-Hall algebras and the quiver varieties of Lusztig and Nakajima.
In [19], Zheng studied the bounded derived categories of constructible $\bar{\mathbb{Q}}_l$-sheaves on some algebraic stacks consisting of the representations of a enlarged quiver and categorified the integrable highest weight modules of the corresponding quantum group by using these categories. In this paper, we shall generalize Zheng's work to highest weight modules of a subalgebra of the double Ringel-Hall algebra associated to a quiver in a functional version.
Sherman-Zelevinsky and Cerulli constructed canonically positive bases in cluster algebras associated to affine quivers having at most three vertices. Both constructions involve cluster monomials and normalized Chebyshev polynomials of the first kind evaluated at a certain "imaginary" element in the cluster algebra. Using this combinatorial description, it is possible to define for any affine quiver $Q$ a set $\mathcal B(Q)$ which is conjectured to be the canonically positive basis of the acyclic cluster algebra $\mathcal A(Q)$. In this article, we provide a geometric realization of the element…
In this paper, the rational Ringel-Hall algebras for tame quivers are introduced and are identified with the positive part of the quantum extended Kac-Moody algebras. By using the rational Ringel-Hall algebras, we show that the existence of Hall polynomials for tame quiver algebras. The PBW bases are constructed and new classes of perverse sheaves are shown to have strong purity property. These allows us to construct the canonical bases of the positive part of the quantum extended Kac-Moody algebras.
We introduce quasi-hereditary endomorphism algebras defined over a new class of finite dimensional monomial algebras with a special ideal structure. The main result is a uniform formula describing the Ringel duals of these quasi-hereditary algebras. As special cases, we obtain a Ringel-duality formula for a family of strongly quasi-hereditary algebras arising from a type A configuration of projective lines in a rational, projective surface as recently introduced by Hille and Ploog, for certain Auslander-Dlab-Ringel algebras, and for Eiriksson and Sauter's nilpotent quiver algebras when the qui…
We use semi-derived Ringel-Hall algebras of quivers with loops to realize the whole quantum Borcherds-Bozec algebras and quantum generalized Kac-Moody algebras.
A famous result of Zimmermann-Huisgen, Hille and Reineke asserts that any projective variety occurs as a quiver Grassmannian for a suitable representation of some wild acyclic quiver. We show that this happens for any wild acyclic quiver.
Quivers play an important role in the representation theory of algebras, with a key ingredient being the path algebra and the preprojective algebra. Quiver grassmannians are varieties of submodules of a fixed module of the path or preprojective algebra. In the current paper, we study these objects in detail. We show that the quiver grassmannians corresponding to submodules of certain injective modules are homeomorphic to the lagrangian quiver varieties of Nakajima which have been well studied in the context of geometric representation theory. We then refine this result by finding quiver grassm…
We prove that all quiver Grassmannians for exceptional representations of a generalized Kronecker quiver admit a cell decomposition. In the process, we introduce a class of regular representations which arise as quotients of consecutive preprojective representations. Cell decompositions for quiver Grassmannians of these "truncated preprojectives" are also established. We also provide two natural combinatorial labelings for these cells. On the one hand, they are labeled by certain subsets of a so-called 2-quiver attached to a (truncated) preprojective representation. On the other hand, the cell…
In this paper we study wall-crossing functors between categories of modules over quantizations of symplectic resolutions. We prove that wall-crossing functors through faces are perverse equivalences and use this to verify an Etingof type conjecture for quantizations of Nakajima quiver varieties associated to affine quivers. In the case when there is a Hamiltonian torus action on the resolution with finitely many fixed points so that it makes sense to speak about categories $\mathcal{O}$ over quantizations, we introduce new standardly stratified structures on these categories $\mathcal{O}$ and …
Following [20], a desingularization of arbitrary quiver Grassmannians for finite dimensional Gorenstein projective modules of 1-Gorenstein gentle algebras is constructed in terms of quiver Grassmannians for their Cohen-Macaulay Auslander algebras.
We define and investigate algebraic torus actions on quiver Grassmannians for nilpotent representations of the equioriented cycle. Examples of such varieties are type $\tt A$ flag varieties, their linear degenerations, finite dimensional approximations of the $GL_n$-affine flag variety and affine Grassmannian. We show that these quiver Grassmannians, equipped with our torus action, are GKM-varieties and that their moment graph admits a combinatorial description in terms of coefficients quiver of the underlying quiver representations. By adapting to our setting results by Gonzales, we are able …
A desingularization of arbitrary quiver Grassmannians for representations of Dynkin quivers is constructed in terms of quiver Grassmannians for an algebra derived equivalent to the Auslander algebra of the quiver.
In this text, we characterize the representation type of an acyclic quiver by the properties of its associated quiver Grassmannians. This characterization utilizes and extends known results about singular quiver Grassmannians and cell decompositions into affine spaces. While all quiver Grassmannians for indecomposable representations of quivers of finite representation types $A$ and $D$ are smooth and admit cell decompositions, it turns out that all quiver Grassmannians for indecomposable representations of quivers of tame types $A$ and $D$ admit cell decompositions, but some of these quiver G…
Inspired by recent work of Cerulli-Feigin-Reineke on desingularizations of quiver Grassmannians of representations of Dynkin quivers, we obtain desingularizations in considerably more general situations and in particular for Grassmannians of modules over iterated tilted algebras of Dynkin type. Our desingularization map is constructed from Nakajima's desingularization map for graded quiver varieties.
Quiver Grassmannians are projective varieties parametrizing subrepresentations of given dimension in a quiver representation. We define a class of quiver Grassmannians generalizing those which realize degenerate flag varieties. We show that each irreducible component of the quiver Grassmannians in question is isomorphic to a Schubert variety. We give an explicit description of the set of irreducible components, identify all the Schubert varieties arising, and compute the Poincaré polynomials of these quiver Grassmannians.
We deduce using the Ringel-Hall algebra approach explicit formulas for the cardinalities of some Grassmannians over a finite field associated to the Kronecker quiver. We realize in this way a quantification of the formulas obtained by Caldero and Zelevinsky for the Euler characteristics of these Grassmannians. We also present a recursive algorithm for computing the cardinality of every Kronecker quiver Grassmannian over a finite field.
In this text, we exhibit the quiver Plücker relations for a quiver Grassmannian and show that they describe the quiver Grassmannian as a closed subscheme of a product of usual Grassmannians.
We study quiver Grassmannians associated with indecomposable representations of the Kronecker quiver. We find a cellular decomposition of them and we compute their Betti numbers. As an application, we give a geometric realization of the "canonical basis" of cluster algebras of Kronecker type (found by Sherman and Zelevinsky) and of type $A_2^{(1)}$.
Let $Q$ be a tree-type quiver, $\mathbf{k} Q$ its path algebra, and $λ$ a nonzero element in the field $\mathbf{k}$. We construct irreducible morphisms in the Auslander-Reiten quiver of the transjective component of the bounded derived category of $\mathbf{k} Q$ that satisfy what we call the $λ$-relations. When $λ=1$, the relations are known as mesh relations. When $λ=-1$, they are known as commutativity relations. Using this technique together with the results given by Baer-Geigle-Lenzing, Crawley-Boevey, Ringel, and others, we show that for any tree-type quiver, several descriptions of its p…
Recently, Ringel introduced the resolution quiver for a connected Nakayama algebra. It is known that each connected component of the resolution quiver has a unique cycle. We prove that all cycles in the resolution quiver are of the same size. We introduce the notion of weight for a cycle in the resolution quiver. It turns out that all cycles have the same weight.
For an acyclic quiver, we establish a connection between the cohomology of quiver Grassmannians and the dual canonical bases of the algebra $U_q^-(\mathfrak{g})$, where $U_q^-(\mathfrak{g})$ is the negative half of the quantized enveloping algebra associated with the quiver. In order to achieve this goal, we study the cohomology of quiver Grassmannians by Lusztig's category. As a consequence, we describe explicitly the Poincaré polynomials of rigid quiver Grassmannians in terms of the coefficients of dual canonical bases, which are viewed as elements of quantum shuffle algebras. By this result…
In this paper, we introduce Schubert decompositions for quiver Grassmannians and investigate example classes of quiver Grassmannians with a Schubert decomposition into affine spaces. The main theorem puts the cells of a Schubert decomposition into relation to the cells of a certain simpler quiver Grassmannian. This allows us to extend known examples of Schubert decompositions into affine spaces to a larger class of quiver Grassmannians. This includes exceptional representations of the Kronecker quiver as well as representations of forests with block matrices of the form $\begin{pmatrix} 0&1\\ …
Based on the realization of quantum Borcherds-Bozec algebra $\widetilde{\mathbf{U}}$ and quantum generalized Kac-Moody algebra ${}^B\widetilde{\mathbf{U}}$ via semi-derived Ringel-Hall algebra of a quiver with loops, we deduce the braid group actions of $\widetilde{\mathbf{U}}$ introduced by Fan and Tong recently and establish braid group actions for ${}^B\widetilde{\mathbf{U}}$ by applying the BGP reflection functors to semi-derived Ringel-Hall algebras.
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…
We study the connection between the affine degenerate Grassmannians in type $A$, quiver Grassmannians for one vertex loop quivers and affine Schubert varieties. We give an explicit description of the degenerate affine Grassmannian of type $GL_n$ and identify it with semi-infinite orbit closure of type $A_{2n-1}$. We show that principal quiver Grassmannians for the one vertex loop quiver provide finite-dimensional approximations of the degenerate affine Grassmannian. Finally, we give an explicit description of the degenerate affine Grassmannian of type $A_1^{(1)}$, propose a conjectural descrip…
Let k be an algebraically closed field and A a finite-dimensional k-algebra. Given an A-module M, the set G_e(M) of all submodules of M with dimension vector e is called a quiver Grassmannian. If D,Y are A-modules, then we consider Hom(D,Y) as a B-module, where B is the opposite of the endomorphism ring of D, and the Auslander varieties for A are the quiver Grassmannians of the form G_e Hom(D,Y). Quiver Grassmannians, thus also Auslander varieties are projective varieties and it is known that every projective variety occurs in this way. There is a tendency to relate this fact to the wildness o…
Let k be an arbitrary field and Q an acyclic quiver of tame type. Consider the path algebra kQ and the category of finite dimensional right modules Mod kQ. In the first part of the paper we deduce that the Gabriel-Roiter inclusions in preprojective indecomposables and simple homogeneous regulars (with dimension the minimal radical vector) as well as their Gabriel-Roiter measures are field independent. Using this result we can prove in a more general setting a theorem by Bo Chen which states that the Gabriel-Roiter submodule of a simple homogeneous regular (with dimension the minimal radical ve…
We construct Nakajima's quiver varieties of type A in terms of affine Grassmannians of type A. This gives a compactification of quiver varieties and a decomposition of affine Grassmannians into a disjoint union of quiver varieties. Consequently, singularities of quiver varieties, nilpotent orbits and affine Grassmannians are the same in type A. The construction also provides a geometric framework for skew $(GL(m), GL(n))$ duality and identifies the natural basis of weight spaces in Nakajima's construction with the natural basis of multiplicity spaces in tensor products which arises from affine…
Postnikov constructed a cellular decomposition of the totally nonnegative Grassmannians. The poset of cells can be described (in particular) via Grassmann necklaces. We study certain quiver Grassmannians for the cyclic quiver admitting a cellular decomposition, whose cells are naturally labeled by Grassmann necklaces. We show that the posets of cells coincide with the reversed cell posets of the cellular decomposition of the totally nonnegative Grassmannians. We investigate algebro-geometric and combinatorial properties of these quiver Grassmannians. In particular, we describe the irreducible …
We construct Nakajima's quiver varieties of type A in terms of conjugacy classes of matrices and (non-Slodowy's) transverse slices naturally arising from affine Grassmannians. In full generality quiver varieties are embedded into Beilinson-Drinfeld Grassmannians of type A. Our construction provides a compactification of Nakajima's quiver varieties and a decomposition of an affine Grassmannian into a disjoint union of quiver varieties. As an application we provide a geometric version of skew and symmetric $(GL(m), GL(n))$ duality.
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}.
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, …
Let $A$ be a tame hereditary algebra over a finite field $k$ with $q$ elements, and ${\bar{A}}$ be the duplicated algebra of $A$. In this paper, we investigate the structure of Ringel-Hall algebra $\mathscr{H} (\bar{A})$ and of the corresponding composition algebra $\mathscr{C} (\bar{A})$. As an application, we prove the existence of Hall polynomials $g_{XY}^M$ for any $\bar{A}$-modules $M, X$ and $Y$ with $X$ and $Y$ indecomposable if $A$ is a tame quiver $k$-algebra, then we also obtain some Lie subalgebras induced by $\bar{A}$.
We show that Auslander algebras have a unique tilting and cotilting module which is generated and cogenerated by a projective-injective; its endomorphism ring is called the projective quotient algebra. For any representation-finite algebra, we use the projective quotient algebra to construct desingularizations of quiver Grassmannians, orbit closures in representation varieties, and their desingularizations. This generalizes results of Cerulli Irelli, Feigin and Reineke.
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 show that the cohomology ring of a quiver Grassmannian asssociated with a rigid quiver representation has property (S): there is no odd cohomology and the cycle map is an isomorphism; moreover, its Chow ring admits explicit generators defined over any field. From this we deduce the polynomial point count property. By restricting the quiver to finite or affine type, we are able to show a much stronger assertion: namely, that a quiver Grassmannian associated to an indecomposable (not necessarily rigid) representation admits a cellular decomposition. As a corollary, we establish a cellular dec…
Quiver Grassmannians are varieties parametrizing subrepresentations of a quiver representation. It is observed that certain quiver Grassmannians for type A quivers are isomorphic to the degenerate flag varieties investigated earlier by the second named author. This leads to the consideration of a class of Grassmannians of subrepresentations of the direct sum of a projective and an injective representation of a Dynkin quiver. It is proven that these are (typically singular) irreducible normal local complete intersection varieties, which admit a group action with finitely many orbits, and a cell…
We define two classes of representations of quivers over arbitrary fields, called monomorphic representations and epimorphic representations. We show that every representation has a unique maximal nilpotent subrepresentation and the associated quotient is always monomorphic, and every representation has a unique maximal epimorphic subrepresentation and the associated quotient is always nilpotent. The uniquenesses of such subrepresenations imply two identities in the Ringel-Hall algebra. By applying Reineke's integration map, we obtain two identities in the corresponding quantum torus.
In this paper, we study the two-parameter quantum group $U_{r,s}(\mathfrak sl_{\infty})$ associated to the Lie algebra $\mathfrak sl_{\infty}$ of infinite rank. We shall prove that the two-parameter quantum group $U_{r,s}(\mathfrak sl_{\infty})$ admits both a Hopf algebra structure and a triangular decomposition. In particular, it can be realized as the Drinfeld double of it's certain Hopf subalgebras. We will also study a two-parameter twisted Ringel-Hall algebra $H_{r,s}(A_{\infty})$ associated to the category of all finite dimensional representations of the infinite linear quiver $A_{\infty…
