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, we give another proof of the odd cohomology vanishing theorem for quiver Grassmanians. Meanwhile, for Dynkin quivers, we show that the Poincaré polynomials of rigid quiver Grassmannians are the coefficients of dual PBW bases of the algebra $U_q^-(\mathfrak{g})$.
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.
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.
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\\ …
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…
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…
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 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…
We prove a decomposition theorem for irreducible components of Grassmannians of submodules, as well as for other schemes arising from representation theory, thus generalising the result of Crawley-Boevey and Schroer for module varieties. The method is based on jet space calculations, using that the formation of direct sums induces a separable morphism of schemes.
Extending the main result of Part 1, in the first part of this paper we show that every quiver Grassmannian of a representation of a quiver of extended Dynkin type $D$ has a decomposition into affine spaces. In the case of real root representations of small defect, the non-empty cells are in one-to-one correspondence to certain, so called non-contradictory, subsets of the vertex set of a fixed tree-shaped coefficient quiver. In the second part, we use this characterization to determine the generating functions of the Euler characteristics of the quiver Grassmannians (resp. $F$-polynomials). Al…
We unify aspects of the equivariant geometry of type $D$ quiver representation varieties, double Grassmannians, and symmetric varieties $GL(a+b)/GL(a)\times GL(b)$; in particular we translate results about singularities of orbit closures, combinatorics of orbit closure containment, and torus equivariant $K$-theory between these three families. These results are all obtained from our generalization of a construction of Zelevinsky for type $A$ quivers to the type $D$ setting. More precisely, we give explicit embeddings with nice properties of homogeneous fiber bundles over type $D$ quiver repres…
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 …
Let A be the path algebra of a quiver Q with no oriented cycle. We study geometric properties of the Grassmannians of submodules of a given A-module M. In particular, we obtain some sufficient conditions for smoothness, polynomial cardinality and we give different approaches to Euler characteristics. Our main result is the positivity of Euler characteristics when M is an exceptional module. This solves a conjecture of Fomin and Zelevinsky for acyclic cluster algebras.
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 $Q$ be a quiver, $M$ a representation of $Q$ with an ordered basis $\cB$ and $\ue$ a dimension vector for $Q$. In this note we extend the methods of \cite{L12} to establish Schubert decompositions of quiver Grassmannians $\Gr_\ue(M)$ into affine spaces to the ramified case, i.e.\ the canonical morphism $F:T\to Q$ from the coefficient quiver $T$ of $M$ w.r.t.\ $\cB$ is not necessarily unramified. In particular, we determine the Euler characteristic of $\Gr_\ue(M)$ as the number of \emph{extremal successor closed subsets of $T_0$}, which extends the results of Cerulli Irelli (\cite{Cerulli11…
We construct for each choice of a quiver $Q$, a cohomology theory $A$ and a poset $P$ a "loop Grassmannian" $\mathcal{G}^P(Q,A)$. This generalizes loop Grassmannians of semisimple groups and the loop Grassmannians of based quadratic forms. The addition of a dilation torus $\mathcal{D}\subset\mathbb{G}_m^2$ gives a quantization $\mathcal{G}^P_\mathcal{D}(Q,A)$. The construction is motivated by the program of introducing an inner cohomology theory in algebraic geometry adequate for the Geometric Langlands program ['Some extensions of the notion of loop Grassmannians', Rad Hrvat. Akad. Znan. Umje…
It is a well established fact, that any projective algebraic variety is a moduli space of representations over some finite dimensional algebra. This algebra can be chosen in several ways. The counterpart in algebraic geometry is tautological: every variety is its own Hilber scheme of sheaves of length one. This holds even scheme theoretic. We use Beilinson's equivalence to get similar results for finite dimensional algebras, including moduli spaces and quiver grassmannians. Moreover, we show that several already known results can be traced back to the Hilbert scheme construction and Beilinson'…
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.
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 present a review on the recently discovered link between the Lie theory,the theory of quiver Grassmannians, and various degenerations of flag varieties. Our starting point is the induced Poincaré--Birkhoff--Witt filtration on the highest weight representations and the corresponding PBW degenerate flag varieties.
In this work we study a realization of moduli spaces of framed quiver representations as Grassmannians of submodules devised by Marcus Reineke. Obtained is a generalization of this construction for finite dimensional associative algebras and for quivers with oriented cycles. As an application we get an explicit realization of fibers for the moduli space bundle over the categorical quotient for the quiver $A_{n-1}^{(1)}$.
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…
Let $Q$ be a quiver of extended Dynkin type $D$. In this first of two papers, we show that the quiver Grassmannian $Gr_e(M)$ has a decomposition into affine spaces for every dimension vector $e$ and every indecomposable representation $M$ of defect $-1$ and defect $0$, with exception of the non-Schurian representations in homogeneous tubes. We characterize the affine spaces in terms of the combinatorics of a fixed coefficient quiver for $M$. The method of proof is to exhibit explicit equations for the Schubert cells of $Gr_e(M)$ and to solve this system of equations successively in linear term…
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 …
For any acyclic quiver, we establish a family of structure isomorphisms for its cohomological Hall algebra (CoHA). The family is parameterized by partitions of the quiver into Dynkin subquivers. For each such partition, we write the domain of our isomorphism as a tensor product of subalgebras in two ways. In the first, each tensor factor is isomorphic to the CoHA of the quiver with a single vertex and no arrows. In the second, the tensor factors are each isomorphic to the CoHAs of the corresponding Dynkin subquivers. When the quiver is already an orientation of a simply-laced Dynkin diagram, o…
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…
We propose a conjectural construction of various slices for double affine Grassmannians as Coulomb branches of 3-dimensional N=4 supersymmetric affine quiver gauge theories. It generalizes the known construction for the usual affine Grassmannian, and makes sense for arbitrary symmetric Kac-Moody algebras.
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.
We show that a semi-stable moduli space of representations of an acyclic quiver can be identified with two GIT quotients by reductive groups. One of a quiver Grassmannian of a projective representation, the other of a quiver Grassmannian of an injective representation. This recovers as special cases the classical Gelfand-MacPherson correspondence and its generalization by Hu and Kim to bipartite quivers, as well as the Zelevinsky map for a quiver of Dynkin type A with the linear orientation.
Quiver mutation plays a crucial role in the definition of cluster algebras by Fomin and Zelevinsky. It induces an equivalence relation on the set of all quivers without loops and two-cycles. A quiver is called mutation-acyclic if it is mutation-equivalent to an acyclic quiver. This note gives a proof that full subquivers of mutation-acyclic quivers are mutation-acyclic.
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)}$.
We introduce a new class of algebraic varieties which we call frieze varieties. Each frieze variety is determined by an acyclic quiver. The frieze variety is defined in an elementary recursive way by constructing a set of points in affine space. From a more conceptual viewpoint, the coordinates of these points are specializations of cluster variables in the cluster algebra associated to the quiver. We give a new characterization of the finite--tame--wild trichotomy for acyclic quivers in terms of their frieze varieties. We show that an acyclic quiver is representation finite, tame, or wild, re…
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…
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…
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}.
