The canonical bases of cluster algebras of finite types and rank 2 are given explicitly in \cite{CK2005} and \cite{SZ} respectively. In this paper, we will deduce $\mathbb{Z}$-bases for cluster algebras for affine types $\widetilde{A}_{n,n},\widetilde{D}$ and $\widetilde{E}$. Moreover, we give an inductive formula for computing the multiplication between two generalized cluster variables associated to objects in a tube.
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}.
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, we study representations of certain string algebras, which are referred to as of affine type $\widetilde{C}$. We introduce minimal string modules and apply them to explicitly describe components of the Auslander-Reiten quivers of the string algebras and $τ$-locally free modules defined by Geiss-Lerclerc-Schröer. As an application, we prove Geiss-Leclerc-Schröer's conjecture on the correspondence between positive roots of type $\widetilde{C}$ and $τ$-locally free modules of the corresponding string algebras.
If $R$ is a finite commutative ring, then the affine monoid of $R$ is the monoid of all affine mappings $x\mapsto ax+b$ on $R$. Alternatively, it is the semidirect product of the multiplicative monoid of $R$ with the additive group of $R$. In this paper we compute the Gabriel quiver of the complex algebra of the affine monoid of any finite commutative ring.
We study the representation theory of quantizations of Gieseker moduli spaces. Namely, we prove the localization theorems for these algebras, describe their finite dimensional representations and two-sided ideals as well as their categories O in some special cases. We apply this to prove our conjecture with Bezrukavnikov on the number of finite dimensional irreducible representations of quantized quiver varieties for quivers of affine type.
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.
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 study the Hall and composition algebras of an affine quiver. In the case of a cyclic quiver, we provide generators for the central polynomial algebra described by Schiffmann and prove that this is in fact the whole of the centre of the Hall algebra. For an affine quiver without oriented cycles, we obtain a structure theorem for the composition algebra refining the structure provided by Zhang.
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 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 compare various bases of the affine quantum group $\mathbfU^ (\hat\mathfrak{sl}_2)$ in the context of the Kronecker quiver, and relate them to the Drinfeld presentation.
Inspired by the work of Rostam, we establish an explicit categorical equivalence between affine Yokonuma-Hecke algebras and quiver Hecke algebras associated to disjoint copies of quivers of (affine) type $A,$ generalizing Rouquier's categorical equivalence theorem.
We prove that the frieze sequences of cluster variables associated with the vertices of an affine quiver satisfy linear recurrence relations. In particular, we obtain a proof of a recent conjecture by Assem-Reutenauer-Smith.
We study the category of graded finite-dimensional representations of the polynomial current algebra associated to a simple Lie algebra. We prove that the category has enough injectives and compute the graded character of the injective envelopes of the simple objects as well as extensions between simple objects. The simple objects in the category are parametized by the affine weight lattice. We show that with respect to a suitable refinement of the standard ordering on affine the weight lattice the category is highest weight. We compute the Ext quiver of the algebra of endomorphisms of the inj…
We introduce some modified forms for the degenerate and non-degenerate affine Hecke algebras of type $A$. These are certain subalgebras living inside the inverse limit of cyclotomic Hecke algebras. We construct faithful representations and standard bases for these algebras and give some explicit description of their centers. We show that there are algebra isomorphisms between some generalized Ore localizations of these modified affine Hecke algebras and of the quiver Hecke algebras of type $A$. As an application, we show that the center conjecture for the cyclotomic quiver Hecke algebra of typ…
We use the comultiplication to prove that Hall polynomials exist for all finite and affine quivers. In the finite and cyclic cases, this approach provides a new and simple proof of the existence of Hall polynomials. In general, these polynomials are defined with respect to the decomposition classes of Bongartz and Dudek, a generalisation of the Segre classes for square matrices.
Let $\mathfrak{g}$ be an affine Kac-Moody algebra with symmetric Cartan datum, $\mathfrak{n^{+}}$ be the maximal nilpotent subalgebra of $\mathfrak{g}$. By the Hall algebra approach, we construct integral bases of the $\mathbb{Z}$-form of the enveloping algebra $U(\mathfrak{n^{+}})$. In particular, the representation theory of tame quivers is essentially used in this paper.
We give a presentation of localized affine and degenerate affine Hecke algebras of arbitrary type in terms of weights of the polynomial subalgebra and varied Demazure-BGG type operators. We offer a definition of a graded algebra $\mathcal{H}$ whose category of finite-dimensional ungraded nilpotent modules is equivalent to the category of finite-dimensional modules over an associated degenerate affine Hecke algebra. Moreover, unlike the traditional grading on degenerate affine Hecke algebras, this grading factors through central characters, and thus gives a grading to the irreducible representa…
For a Dynkin quiver $Q$ of type ADE and a sum $β$ of simple roots, we construct a bimodule over the quantum loop algebra and the quiver Hecke algebra of the corresponding type via equivariant K-theory, imitating Ginzburg-Reshetikhin-Vasserot's geometric realization of the quantum affine Schur-Weyl duality. Our construction is based on Hernandez-Leclerc's isomorphism between a certain graded quiver variety and the space of representations of the quiver $Q$ of dimension vector $β$. We identify the functor induced from our bimodule with Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl d…
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.
Let $\CC^0_{\g}$ be the category of finite-dimensional integrable modules over the quantum affine algebra $U_{q}'(\g)$ and let $R^{A_\infty}\gmod$ denote the category of finite-dimensional graded modules over the quiver Hecke algebra of type $A_{\infty}$. In this paper, we investigate the relationship between the categories $\CC^0_{A_{N-1}^{(1)}}$ and $\CC^0_{A_{N-1}^{(2)}}$ by constructing the generalized quantum affine Schur-Weyl duality functors $\F^{(t)}$ from $R^{A_\infty}\gmod$ to $\CC^0_{A_{N-1}^{(t)}}$ $(t=1,2)$.
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, …
For a Dynkin quiver $Q$ (of type ADE), we consider a central completion of the convolution algebra of the equivariant K-group of a certain Steinberg type graded quiver variety. We observe that it is affine quasi-hereditary and prove that its category of finite-dimensional modules is identified with a block of Hernandez-Leclerc's monoidal category $\mathcal{C}_Q$ of modules over the quantum loop algebra $U_q(L\mathfrak{g})$ via Nakajima's homomorphism. As an application, we show that Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl duality functor gives an equivalence between the cate…
Let $Q$ be a finite quiver without oriented cycles and $\mathcal A(Q)$ be the coefficient-free cluster algebra with initial seed $(Q,\textbf u)$. Using the Caldero-Chapoton map, we introduce and investigate a family of generic variables in $\Z[\textbf u^{\pm 1}]$ containing the cluster monomials of $\mathcal A(Q)$. The aim of these generic variables is to give an explicit new method for constructing $\Z$-bases in the cluster algebra $\mathcal A(Q)$. If $Q$ is an affine quiver with minimal imaginary root $δ$, we investigate differences between cluster characters associated to indecomposable rep…
In this paper we consider the (affine) Schur algebra introduced by Vignéras as the endomorphism algebra of certain permutation modules for the Iwahori-Matsumoto Hecke algebra. This algebra describes, for a general linear group over a $p$-adic field, a large part of the unipotent block over fields of characteristic different from $p$. We show that this Schur algebra is, after a suitable completion, isomorphic to the quiver Schur algebra attached to the cyclic quiver. The isomorphism is explicit, but nontrivial. As a consequence, the completed (affine) Schur algebra inherits a grading. As a bypr…
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…
We consider frieze sequences corresponding to sequences of cluster mutations for affine D and E type quivers. We show that the cluster variables satisfy linear recurrences with periodic coefficients, which imply the constant coefficient relations found by Keller and Scherotzke. Viewing the frieze sequence as a discrete dynamical system, we reduce it to a symplectic map on a lower dimensional space and prove Liouville integrability of the latter.
We study stability conditions on the Calabi-Yau-$N$ categories associated to an affine type $A_n$ quiver which can be constructed from certain meromorphic quadratic differentials with zeroes of order $N-2$. We follow Ikeda's work to show that this moduli space of quadratic differentials is isomorphic to the space of stability conditions quotient by the spherical subgroup of the autoequivalence group. We show that the spherical subgroup is isomorphic to the braid group of affine type $A$ based on Khovanov-Seidel-Thomas method.
We compute the equivariant cohomology ring of the moduli space of framed instantons over the affine plane. It is a Rees algebra associated with the center of cyclotomic degenerate affine Hecke algebras of type A. We also give some related results on the center of quiver Hecke algebras and cohomology of quiver varieties.
We suggest a (conjectural) construction of a basis in the plus part of the affine Lie algebra of type ADE indexed by irreducible components of certain quiver varieties. This construction is closely related to a string-theoretic construction of a Lie algebra of BPS states. We then study the new combinatorial questions about the (classical) root systems naturally arising from our constructions and Lusztig's semicanonical basis.
We generalize Smirnov's formula for the elliptic stable envelopes of the Hilbert scheme of points in $\mathbb{C}^2$ to the case of affine type $A$ Nakajima quiver varieties constructed with positive stability condition. We allow for arbitrary choices of polarization and a fairly general choice of chamber. This paper is a companion to the Maple code developed by the author, which implements the formulas described in this paper and is available on the author's website.
We relate two apparently different bases in the representations of affine Lie algebras of type A: one arising from statistical mechanics, the other from gauge theory. We show that the two are governed by the same combinatorics and therefore can be viewed as identical. In particular, we are able to give an alternative and much simpler geometric proof of a result of E. Date, M. Jimbo, A. Kuniba, T. Miwa and M. Okado on the construction of bases of affine Lie algebra representations. At the same time, we give a simple parametrization of the irreducible components of Nakajima quiver varieties asso…
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…
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…
In \cite{CK2005} and \cite{SZ}, the authors constructed the bases of cluster algebras of finite types and of type $\widetilde{A}_{1,1}$, respectively. In this paper, we will deduce $\mathbb{Z}$-bases for cluster algebras of affine types.
Let $\g$ be an untwisted affine Kac-Moody algebra of type $A^{(1)}_n$ $(n \ge 1)$ or $D^{(1)}_n$ $(n \ge 4)$ and let $\g_0$ be the underlying finite-dimensional simple Lie subalgebra of $\g$. For each Dynkin quiver $Q$ of type $\g_0$, Hernandez and Leclerc (\cite{HL11}) introduced a tensor subcategory $\CC_Q$ of the category of finite-dimensional integrable $\uqpg$-modules and proved that the Grothendieck ring of $\CC_Q$ is isomorphic to $\C [N]$, the coordinate ring of the unipotent group $N$ associated with $\g_0$. We apply the generalized quantum affine Schur-Weyl duality introduced in \cit…
The geometric small property (Borho-MacPherson) of projective morphisms implies a description of their singularities in terms of intersection homology. In this paper we solve the smallness problem raised by Nakajima (math.QA/0105173) for certain resolutions of quiver varieties (analogs of the Springer resolution) : for Kirillov-Reshetikhin modules of simply-laced quantum affine algebras, we characterize explicitly the Drinfeld polynomials corresponding to the small resolutions. We use an elimination theorem for monomials of Frenkel-Reshetikhin q-characters that we establish for non necessarily…
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 …
In this paper, we introduce twisted and folded AR-quivers of type $A_{2n+1}$, $D_{n+1}$, $E_6$ and $D_4$ associated to (triply) twisted Coxeter elements. Using the quivers of type $A_{2n+1}$ and $D_{n+1}$, we describe the denominator formulas and Dorey's rule for quantum affine algebras $U'_q(B^{(1)}_{n+1})$ and $U'_q(C^{(1)}_{n})$, which are important information of representation theory of quantum affine algebras. More precisely, we can read the denominator formulas for $U'_q(B^{(1)}_{n+1})$ (resp. $U'_q(C^{(1)}_{n})$) using certain statistics on any folded AR-quiver of type $A_{2n+1}$ (resp…
Let $U'_q(\mathfrak{g})$ be a twisted affine quantum group of type $A_{N}^{(2)}$ or $D_{N}^{(2)}$ and let $\mathfrak{g}_{0}$ be the finite-dimensional simple Lie algebra of type $A_{N}$ or $D_{N}$. For a Dynkin quiver of type $\mathfrak{g}_{0}$, we define a full subcategory ${\mathcal C}_{Q}^{(2)}$ of the category of finite-dimensional integrable $U'_q(\mathfrak{g})$-modules, a twisted version of the category ${\mathcal C}_{Q}$ introduced by Hernandez and Leclerc. Applying the general scheme of affine Schur-Weyl duality, we construct an exact faithful KLR-type duality functor ${\mathcal F}_{Q}…
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…
An affine Lie algebra acts on cohomology groups of quiver varieties of affine type. A Heisenberg algebra acts on cohomology groups of Hilbert schemes of points on a minimal resolution of a Kleinian singularity. We show that in the case of type $A$ the former is obtained by Frenkel-Kac construction from the latter.
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 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 study three-dimensional supersymmetric quiver gauge theories with a non-simply laced global symmetry primarily focusing on framed affine $B_{N}$ quiver theories. Using a supersymmetric partition function on a three sphere, and its transformation under S-duality, we study the three-dimensional ADHM quiver for $SO(2N+1)$ instantons with a half-integer Chern-Simons coupling. The theory after S-duality has no Lagrangian, and can not be represented by a single quiver, however its partition function can be conveniently described by a collection of framed affine ${B}_{N}$ quivers. This corresponde…
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\\ …
A pathway from one vertex of a quiver to another is a reduced path. We modify the classical definition of quiver representations and we prove that semi-invariant polynomials for filtered quiver representations come from diagonal entries if and only if the quiver has at most two pathways between any two vertices. Such class of quivers includes finite $ADE$-Dynkin quivers, affine $\widetilde{A}\widetilde{D}\widetilde{E}$-Dynkin quivers, star-shaped and comet-shaped quivers. Next, we explicitly write all semi-invariant generators for filtered quiver representations for framed quivers with at most…
