We study the multiplicative properties of the dual of Lusztig's semicanonical basis.The elements of this basis are naturally indexed by theirreducible components of Lusztig's nilpotent varieties, whichcan be interpreted as varieties of modules over preprojective algebras.We prove that the product of two dual semicanonical basis vectorsis again a dual semicanonical basis vector provided the closure ofthe direct sum of thecorresponding two irreducible components is again an irreducible component.It follows that the semicanonical basis and the canonical basiscoincide if and only if we are in Dynkin type $A_n$ with $n \leq 4$.Finally, we provide a detailed study of the varieties of modules over the preprojectivealgebra of type $A_5$.We show that in this case the multiplicative properties ofthe dual semicanonical basis are controlled by the Ringel form of a certain tubular algebra of type (6,3,2) and by thecorresponding elliptic root system of type $E_8^{(1,1)}$.
Let $n$ be a maximal nilpotent subalgebra of a complex symmetric Kac-Moody Lie algebra. Lusztig has introduced a basis of U(n) called the semicanonical basis, whose elements can be seen as certain constructible functions on varieties of nilpotent modules over a preprojective algebra of the same type as $n$. We prove a formula for the product of two elements of the dual of this semicanonical basis, and more generally for the product of two evaluation forms associated to arbitrary modules over the preprojective algebra. This formula plays an important role in our work on the relationship between…
Given any symmetric Cartan datum, Lusztig has provided a pair of key lemmas to construct the perverse sheaves over the corresponding quiver and the functions of irreducible components over the corresponding preprojective algebra respectively. In the present article, we prove that these two inductive algorithms of Lusztig coincide. Consequently we can define two colored graphs and prove that they are isomorhic. This result finishes the statement that Lusztig's functions of irreducible components are basis of the enveloping algebra and deduces the crystal structure (in the sense of Kashiwara-Sai…
We generalize Lusztig's nilpotent varieties, and Kashiwara and Saito's geometric construction of crystal graphs from the symmetric to the symmetrizable case. We also construct semicanonical functions in the convolution algebras of generalized preprojective algebras. Conjecturally these functions yield semicanonical bases of the enveloping algebras of the positive part of symmetrizable Kac-Moody algebras.
We discuss semicanonical bases from the point of view of Cohomological Hall algebras via the "dimensional reduction" from 3-dimensional Calabi-Yau categories to 2-dimensional ones. Also, we discuss the notion of motivic Donaldson-Thomas invariants (as defined by M. Kontsevich and Y. Soibelman) in the framework of 2-dimensional Calabi-Yau categories. In particular we propose a conjecture which allows one to define Kac polynomials for a 2-dimensional Calabi-Yau category (this is a theorem of S. Mozgovoy in the case of preprojective algebras).
Let $\la$ be a preprojective algebra of simply laced Dynkin type $Δ$. We study maximal rigid $\la$-modules, their endomorphism algebras and a mutation operation on these modules. This leads to a representation-theoretic construction of the cluster algebra structure on the ring $\C[N]$ of polynomial functions on a maximal unipotent subgroup $N$ of a complex Lie group of type $Δ$. As an application we obtain that all cluster monomials of $\C[N]$ belong to the dual semicanonical basis.
Let Q be a finite quiver without oriented cycles, and let $Λ$ be the associated preprojective algebra. To each terminal representation M of Q (these are certain preinjective representations), we attach a natural subcategory $C_M$ of $mod(Λ)$. We show that $C_M$ is a Frobenius category,and that its stable category is a Calabi-Yau category of dimension 2. Then we develop a theory of mutations of maximal rigid objects of $C_M$, analogous to the mutations of clusters in Fomin and Zelevinsky's theory of cluster algebras. We show that $C_M$ yields a categorification of a cluster algebra $A(C_M)$, wh…
Using the geometric Satake correspondence, the Mirkovic-Vilonen cycles in the affine Grasssmannian give bases for representations of a semisimple group G . We prove that these bases are "perfect", i.e. compatible with the action of the Chevelley generators of the positive half of the Lie algebra g. We compute this action in terms of intersection multiplicities in the affine Grassmannian. We prove that these bases stitch together to a basis for the algebra C[N] of regular functions on the unipotent subgroup. We compute the multiplication in this MV basis using intersection multiplicities in the…
Let U be the enveloping algebra of a symmetric Kac-Moody algebra. The Weyl group acts on U, up to a sign. In addition, the positive subalgebra U^+ contains a so-called semicanonical basis, with remarkable properties. The aim of this paper is to show that these two structures are as compatible as possible.
We construct bar-invariant $\mathbb{Z}[q^{\pm 1/2}]-$bases of the quantum cluster algebra of the Kronecker quiver which are quantum analogues of the canonical basis, semicanonical basis and dual semicanonical basis of the cluster algebra of the Kronecker quiver in the sense of \cite{sherzel},\cite{calzel} and \cite{gls} respectively. As a byproduct, we prove the positivity of the elements in these bases.
The article concerns the dual of Lusztig's canonical basis of a subalgebra of the positive part U_q(n) of the universal enveloping algebra of a Kac-Moody Lie algebra of type A_1^{(1)}. The examined subalgebra is associated with a terminal module M over the path algebra of the Kronecker quiver via an Weyl group element w of length four. Geiss-Leclerc-Schroeer attached to M a category C_M of nilpotent modules over the preprojective algebra of the Kronecker quiver together with an acyclic cluster algebra A(C_M). The dual semicanonical basis contains all cluster monomials. By construction, the clu…
We introduce a central extension of the preprojective algebra of a finite Dynkin quiver (depending on a regular weight for the corresponding root system), whose natural deformed version is flat (unlike that for the preprojective algebra). We calculate the Hilbert polynomial of the central extension, and show that it is a Frobenius algebra. As a corollary, we obtain the Hilbert series of the usual deformed preprojective algebra in which the deformation parameters are variables, and show that this algebra is Gorenstein (although it is not a flat module over the ring of parameters). The proofs ar…
We determine the Z-module structure of the preprojective algebra and its zeroth Hochschild homology, for any non-Dynkin quiver (and hence the structure working over any base commutative ring, of any characteristic). This answers (and generalizes) a conjecture of Hesselholt and Rains, producing new $p$-torsion classes in degrees 2p^l, l >= 1, We relate these classes by p-th power maps and interpret them in terms of the kernel of Verschiebung maps from noncommutative Witt theory. An important tool is a generalization of the Diamond Lemma to modules over commutative rings, which we give in the ap…
Let Q be a finite quiver without oriented cycles, let Λbe the associated preprojective algebra, let g be the associated Kac-Moody Lie algebra with Weyl group W, and let n be the positive part of g. For each Weyl group element w, a subcategory C_w of mod(Λ) was introduced by Buan, Iyama, Reiten and Scott. It is known that C_w is a Frobenius category and that its stable category is a Calabi-Yau category of dimension two. We show that C_w yields a cluster algebra structure on the coordinate ring \CC[N(w)] of the unipotent group N(w) := N \cap (w^{-1}N_-w). Here N is the pro-unipotent pro-group wi…
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…
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…
A (semi)brick over an algebra $A$ is a module $S$ such that the endomorphism ring $\operatorname{\mathsf{End}}_A(S)$ is a (product of) division algebra. For each Dynkin diagram $Δ$, there is a bijection from the Coxeter group $W$ of type $Δ$ to the set of semibricks over the preprojective algebra $Π$ of type $Δ$, which is restricted to a bijection from the set of join-irreducible elements of $W$ to the set of bricks over $Π$. This paper is devoted to giving an explicit description of these bijections in the case $Δ=\mathbb{A}_n$ or $\mathbb{D}_n$. First, for each join-irreducible element $w \i…
Using methods of homological algebra, we obtain an explicit crystal isomorphism between two realizations of crystal bases of the lower part of the quantized enveloping algebra of (almost all) finite dimensional simply-laced Lie algebras. The first realization we consider is a geometric construction in terms of irreducible components of certain quiver varieties established by Kashiwara and Saito. The second is a realization in terms of isomorphism classes of quiver representations obtained by Reineke using Ringel's Hall algebra approach to quantum groups. We show that these two constructions ar…
In this paper, we construct twist automorphisms on quantum unipotent cells, which are quantum analogues of the Berenstein-Fomin-Zelevinsky twist automorphisms on unipotent cells. We show that those quantum twist automorphisms preserve the dual canonical bases of quantum unipotent cells. Moreover, we prove that quantum twist automorphisms are described by the syzygy functors for representations of preprojective algebras in the symmetric case. This is the quantum analogue of Geiß-Leclerc-Schröer's description, and Geiß-Leclerc-Schröer's results are essential in our proof. As a consequence, we sh…
We show how affine PBW bases can be used to construct affine MV polytopes, and that the resulting objects agree with the affine MV polytopes recently constructed using either preprojective algebras or KLR algebras. To do this we first generalize work of Beck-Chari-Pressley and Beck-Nakajima to define affine PBW bases for arbitrary convex orders on positive roots. Our results describe how affine PBW bases for different convex orders are related, answering a question posed by Beck and Nakajima.
Let $Q$ be an acyclic quiver. We introduce the notion of generic variables for the coefficient-free acyclic cluster algebra $\mathcal A(Q)$. We prove that the set $\mathcal G(Q)$ of generic variables contains naturally the set $\mathcal M(Q)$ of cluster monomials in $\mathcal A(Q)$ and that these two sets coincide if and only if $Q$ is a Dynkin quiver. We establish multiplicative properties of these generic variables analogous to multiplicative properties of Lusztig's dual semicanonical basis. This allows to compute explicitly the generic variables when $Q$ is a quiver of affine type. When $Q$…
Sergey Fomin and Andrei Zelevinsky have invented cluster algebras at the beginning of this decade with the aim of creating an algebraic framework for the study of canonical bases in quantum groups and total positivity in algebraic groups. It soon turned out that the combinatorics of cluster algebras also appear in many other subjects and notably in the representation theory of quivers and finite-dimensional algebras. In this talk, we give a concise introduction to cluster algebras and sketch two significant applications concerning the study of certain discrete dynamical systems and the constru…
We study a class of varieties which generalize the classical orbital varieties of Joseph. We show that our generalized orbital varieties are the irreducible components of a Mirkovic-Vybornov slice to a nilpotent orbit, and can be labeled by semistandard Young tableaux. Furthermore, we prove that Mirkovic-Vilonen cycles are obtained by applying the Mirkovic-Vybornov isomorphism to generalized orbital varieties and taking a projective closure, refining Mirkovic and Vybornov's result. As a consequence, we are able to use the Lusztig datum of a Mirkovic--Vilonen cycle to determine the tableau labe…
Let Q be a finite quiver without oriented cycles, and let $Λ$ be the corresponding preprojective algebra. Let g be the Kac-Moody Lie algebra with Cartan datum given by Q, and let W be its Weyl group. With w in W is associated a unipotent cell N^w of the Kac-Moody group with Lie algebra g. In previous work we proved that the coordinate ring \C[N^w] of N^w is a cluster algebra in a natural way. A central role is played by generating functions \vphi_X of Euler characteristics of certain varieties of partial composition series of X, where X runs through all modules in a Frobenius subcategory C_w o…
