Quiver grassmannians, quiver varieties and the preprojective algebra
Alistair Savage, Peter Tingley
备注：
30 pages. v2: minor corrections and notation changes, some proofs simplified. v3: Some statements and their proofs corrected. This version incorporates an erratum to the published version. See Appendix B for details
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 grassmannians which are homeomorphic to the Demazure quiver varieties introduced by the first author, and others which are homeomorphic to the graded/cyclic quiver varieties defined by Nakajima. The Demazure quiver grassmannians allow us to describe injective objects in the category of locally nilpotent modules of the preprojective algebra. We conclude by relating our construction to a similar one of Lusztig using projectives in place of injectives.
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 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…
This paper aims at a geometric realization of the Yangian of non-simply laced type in terms of quiver with potentials. For every quiver with symmetrizer, there is an extended quiver with superpotential, whose Jacobian algebra is the generalized preprojective algebra of Geiß, Leclerc, and Schröer arXiv:1410.1403. We study the cohomological Hall algebra of Kontsevich and Soibelman associated to this quiver with potential. In particular, we prove a dimensional reduction result, and provide a shuffle formula of this cohomological Hall algebra. In the case when the quiver with symmetrizer comes fro…
In this paper, we study a preprojective algebra for quivers decorated with $k$-algebras and bimodules, which generalizes work of Gabriel for ordinary quivers, work of Dlab and Ringel for $k$-species, and recent work of de Thanhoffer de Völcsey and Presotto, which has recently appeared from a different perspective in work of Külshammer. As for undecorated quivers, we show that its moduli space of representations recovers the Hamiltonian reduction of the cotangent bundle over the space of representations of the decorated quiver. These algebras yield degenerations of ordinary preprojective algebr…
For a commutative ring $R$ and an ADE Dynkin quiver $Q$, we prove that the multiplicative preprojective algebra of Crawley-Boevey and Shaw, with parameter $q=1$, is isomorphic to the (additive) preprojective algebra as $R$-algebras if and only if the bad primes for $Q$ (2 in type D, 2 and 3 for $Q = E_{6}$, $E_{7}$ and 2, 3 and 5 for $Q= E_{8}$) are invertible in $R$. We construct an explicit isomorphism over $\mathbb{Z}[1/2]$ in type D, over $\mathbb{Z}[1/2, 1/3]$ for $Q = E_{6}$, $E_{7}$ and over $\mathbb{Z}[1/2, 1/3, 1/5]$ for $Q=E_{8}$. Conversely, if some bad prime is not invertible in $R…
We calculate the additive structure (together with the grading) of the Hochschild homology and cohomology and the cyclic homology of preprojective algebras of types ADE.
Certain results on representations of quivers have analogs in the structure theory of general Coxeter groups. A fixed Coxeter element turns the Coxeter graph into an acyclic quiver, allowing for the definition of a preprojective root. A positive root is an analog of an indecomposable representation of the quiver. The Coxeter group is finite if and only if every positive root is preprojective, which is analogous to the well-known result that a quiver is of finite representation type if and only if every indecomposable representation is preprojective. Combinatorics of orientation-admissible word…
The irreducible components of the variety of all modules over the preprojective algebra and MV cycles both index bases of the universal enveloping algebra of the positive part of a semisimple Lie algebra canonically. To relate these two objects Baumann and Kamnitzer associate a cycle in the affine Grassmannian for a given module. It is conjectured that the ring of functions of the T-fixed point subscheme of the associated cycle is isomorphic to the cohomology ring of the quiver Grassmannian of the module. I give a proof of part of this conjecture. Given this conjecture, I give a proof of the r…
Let $Q$ be a finite type quiver i.e. ADE Dynkin quiver. Denote by $Λ$ its preprojective algebra. It is known that there are finitely many indecomposable $Λ$-modules if and only if $Q$ is of type $A_1,A_2,A_3,A_4$. In this paper, extending Lusztig's construction of $U\frak{n}_+$, we study an algebra generated by these indecomposable submodules. It turns out that it forms the universal enveloping algebra of some nilpotent Lie algebra inside the function algebra on Lusztig's nilpotent scheme. The defining relations of the corresponding nilpotent Lie algebra for type $A_1, A_2,A_3,A_4$ are given h…
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…
In this article we study higher preprojective algebras, showing that various known results for ordinary preprojective algebras generalize to the higher setting. We first show that the quiver of the higher preprojective algebra is obtained by adding arrows to the quiver of the original algebra, and these arrows can be read off from the last term of the bimodule resolution of the original algebra. In the Koszul case we are able to obtain the new relations of the higher preprojective algebra by differentiating a superpotential and we show that when our original algebra is $d$-hereditary all the r…
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.
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 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…
Skew group algebras of path algebras and preprojective algebras
在Morita等价的条件下，我们明确地计算了有限群作用在一个子空间的路代数上的斜群代数和有限群作用在一个预投射代数上的斜群代数.这些结果推广了Reiten和Riedtmann关于循环群作用在环的路代数上的结果，以及Reiten和Van den Bergh关于$\SL(\C X \oplus \C Y)$的有限子群作用在$\C[X, Y]$上的结果.
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 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…
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, …
Following the article of C. M. Ringel we introduce preprojective algebras of a Dynkin quiver $Q$ starting from three definitions which, despite concerning completely different algebraic structures, turn out to be equivalent. Our main result is a new version of Ringel's proofs that applies a theorem by Happel and exploits the techniques of homological algebra. Moreover we show that the definition of the preprojective algebra given with the usual notion of commutator is equivalent to the definition with the "generalised" commutator.
