Using the tensor product variety introduced by Malkin and Nakajima, the complete structure of the tensor product of a finite number of integrable highest weight modules of U_q(sl_2) is recovered. In particular, the elementary basis, Lusztig's canonical basis, and the basis adapted to the decomposition of the tensor product into simple modules are all exhibited as distiguished elements of certain spaces of invariant functions on the tensor product variety. For the latter two bases, these distinguished elements are closely related to the irreducible components of the tensor product variety. The space of intertwiners is also interpreted geometrically.
In this article, we give geometric constructions of tensor products in various categories using quiver varieties. More precisely, we introduce a lagrangian subvariety $\Zl$ in a quiver variety, and show the following results: (1) The homology group of $\Zl$ is a representation of a symmetric Kac-Moody Lie algebra $\mathfrak g$, isomorphic to the tensor product $V(λ_1)\otimes...\otimes V(λ_N)$ of integrable highest weight modules. (2) The set of irreducible components of $\Zl$ has a structure of a crystal, isomorphic to that of the $q$-analogue of $V(λ_1)\otimes...\otimes V(λ_N)$. (3) The equiv…
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…
The famous pentagon identity for quantum dilogarithms has a generalization for every Dynkin quiver, due to Reineke. A more advanced generalization is associated with a pair of alternating Dynkin quivers, due to Keller. The description and proof of Keller's identities involves cluster algebras and cluster categories, and the statement of the identity is implicit. In this paper we describe Keller's identities explicitly, and prove them by a dimension counting argument. Namely, we consider quiver representations $\boldsymbol{\mathrm{Rep}}_γ$ together with a superpotential function $W_γ$, and calc…
We introduce certain quiver analogue of the determinantal variety. We study the Kempf-Lascoux-Weyman's complex associated to a line bundle on the variety. In the case of generalized Kronecker quivers, we give a sufficient condition on when the complex resolves a maximal Cohen-Macaulay module supported on the quiver determinantal variety. This allows us to find the set-theoretical defining equations of these varieties. When the variety has codimension one, the only irreducible polynomial function is a relative tensor invariant. As a by-product, we find some vanishing condition for the Kronecker…
We show how equivariant volumes of tensor product quiver varieties of type A are given by matrix elements of vertex operators of centrally extended doubles of Yangians, and how they satisfy in some cases the rational, level 1, quantum Knizhnik--Zamolodchikov equation.
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…
Given a quiver, Nakajima introduced the quiver variety and the Hecke correspondence, which is a closed subvariety of Cartesian products of quiver varieties. In this paper, we consider two nested quiver varieties as fiber products of Hecke correspondences along natural projections. After blowing up the diagonal, we prove that they are isomorphic to a quadruple moduli space which Neguţ observed for the Jordan quiver. The main ingredient is Jiang's derived projectivization theory and Hekking's derived blow-up theory, while we obtain the local model when both the two derived schemes are quasi-smoo…
This is a companion paper of arXiv:1901.09461, where different notions of dimension for triangulated categories are discussed. Here we compute dimensions for some examples of triangulated categories and thus illustrate and motivate material from loc. cit. Our examples include path algebras of finite ordered quivers, orbifold projective lines, some tensor powers of path algebras in Dynkin quivers of type A and categories, generated by an exceptional pair.
In this paper, we give a method for relating the generalized category $\mathcal{O}$ defined by the author and collaborators to explicit finitely presented algebras, and apply this to quiver varieties. This allows us to describe combinatorially not just the structure of these category $\mathcal{O}$'s but also how certain interesting families of derived equivalences, the shuffling and twisting functors, act on them. In the case of Nakajima quiver varieties, the algebras that appear are weighted KLR algebras and their steadied quotients, defined by the author in earlier work. In particular, these…
We compute Balmer's prime spectrum for the derived category of quiver representations for a finite ordered quiver and show that it does not recover the quiver. We then associate an algebra to every k-linear triangulated tensor category and show that the path algebra can be recovered this way.
We construct a tensor product on Freyd's universal abelian category attached to an additive tensor category or a tensor quiver and establish a universal property. This is used to give an alternative construction for the tensor product on Nori motives.
The open string sector of the topological B-model on CY $(m+2)$-folds is described by $m$-graded quivers with superpotentials. This correspondence generalizes the connection between CY $(m+2)$-folds and gauge theories on the worldvolume of D$(5-2m)$-branes for $m=0,\ldots,3$ to arbitrary $m$. In this paper we introduce the Calabi-Yau product, a new algorithm that starting from the known quiver theories for a pair of toric CY$_{m+2}$ and CY$_{n+2}$ produces the quiver theory for a related CY$_{m+n+3}$. This method significantly supersedes existing ones, enabling the simple determination of quiv…
We study smoothness of toric quiver varieties. When a quiver $Q$ is defined with the identity dimension vector, the corresponding quiver variety is also a toric variety. So it has both fan representation and quiver representation. We work only on quivers with canonical weight and we classify smooth such toric quiver varieties. We show that a variety corresponding to a quiver with the identity dimension vector and the canonical weight is smooth if and only if it is a product of projective spaces or their blowups.
In this paper we prove that the counting polynomials of certain torus orbits in products of partial flag varieties coincides with the Kac polynomials of supernova quivers, which arise in the study of the moduli spaces of certain irregular meromorphic connections on trivial bundles over the projective line. We also prove that these polynomials can be expressed as a specialization of Tutte polynomials of certain graphs providing a combinatorial proof of the non-negativity of their coefficients.
We investigate the Poisson geometry of the Marsden-Weinstein reductions of the moment map associated to the cotangent bundle of the space of representations of a quiver. We show that the stratification by representation type equals the stratification by symplectic leaves. The deformed symplectic quotient singularities - spectra of centres of symplectic reflection algebras associated to a wreath product - are shown to be isomorphic to reductions of a certain quiver. This establishes a method to calculate when these deformations are smooth. Furthermore, the isomorphism identifies symplectic leav…
We compute the convolution product on the equivariant K-groups of the cyclic quiver variety. We get a q-analogue of double-loop algebras, closely related to the toroidal quantum groups previously studied by the authors. We also give a geometric interpretation of the cyclic quiver variety in terms of equivariant torsion-free sheaves on the projective plane.
We present a conjecture generalizing the Cauchy formula for Macdonald polynomials. This conjecture encodes the mixed Hodge polynomials of the character varieties of representations of the fundamental group of a Riemann surface of genus g to GL_n(C) with fixed generic semi-simple conjugacy classes at k punctures. Using the character table of GL_n(F_q) we calculate the E-polynomial of these character varieties and confirm that it is as predicted by our main conjecture. Then, using the character table of gl_n(F_q), we calculate the E-polynomial of certain associated comet-shaped quiver varieties,…
We derive a formula for the Coxeter polynomial of the s-fold tensor product F[A_{n_1-1}] x ... x F[A_{n_s-1}] of path algebras of linearly oriented quivers of Dynkin type A_{n_i-1}, in terms of the weights n_1, ..., n_s > 1, and show that conversely the weights can be recovered from the Coxeter polynomial of the tensor product. Our results have applications in singularity theory, in particular these algebras occur as endomorphism algebras of tilting objects in certain stable categories of vector bundles.
We decompose the Marsden-Weinstein reductions for the moment map associated to representations of a quiver. The decomposition involves symmetric products of deformations of Kleinian singularities, as well as other terms. As a corollary we deduce that the Marsden-Weinstein reductions are irreducible varieties.
Consider a partial flag variety $X$ which is not a grassmaninan. Consider also its cohomology ring ${\rm H}^*(X,\ZZ)$ endowed with the base formed by the Poincaré dual classes of the Schubert varieties. In \cite{Richmond:recursion}, E. Richmond showed that some coefficient structure of the product in ${\rm H}^*(X,\ZZ)$ are products of two such coefficients for smaller flag varieties. Consider now a quiver without oriented cycle. If $α$ and $β$ denote two dimension-vectors, $α\circβ$ denotes the number of $α$-dimensional subrepresentations of a general $α+β$-dimensional representation. In \cite…
We give a description of faces of all codimensions for the cones of weights of rings of semi-invariants of quivers. For a triple flag quiver and faces of codimension 1 this reduces to the result of Knutson-Tao-Woodward on the facets of the Klyachko cone. We give new applications to Littlewood-Richardson coefficients, including a product formula for LR-coefficients corresponding to triples of partitions lying on a wall of the Klyachko cone. We systematically review and develop the necessary methods (exceptional and Schur sequences, orthogonal categories, semi-stable decompositions, GIT quotient…
We study the algebraic geometry of twisted Higgs bundles of cyclic type along complex curves. These objects, which generalize ordinary cyclic Higgs bundles, can be identified with representations of a cyclic quiver in a twisted category of coherent sheaves. Referring to the Hitchin fibration, we produce a fibre-wise geometric description of the locus of such representations within the ambient twisted Higgs moduli space. When the genus is 0, we produce a concrete geometric identification of the moduli space as a vector bundle over an associated (twisted) A-type quiver variety; we count the numb…
Motivated by some recent works on BPS invariants of open strings/knot invariants, we guess there may be a general correspondence between the Ooguri-Vafa invariants of toric Calabi-Yau 3-folds and cohomologies of Nakajima quiver varieties. In this short note, we provide a toy model to explain this correspondence. More precisely, we study the topological open string model of $\mathbb{C}^3$ with one Aganagic-Vafa brane $\mathcal{D}_τ$, and we show that, when $τ\leq 0$, its Ooguri-Vafa invariants are given by the Betti numbers of certain quiver variety. Moreover, the existence of Ooguri-Vafa invar…
Kempf [1976] studied proper, G-equivariant maps from equivariant vector bundles over flag manifolds to G-representations V, which he called _collapsings_. We give a simple formula for the G-equivariant cohomology class on V, or_multidegree_, associated to the image of a collapsing: apply a certain sequence of divided difference operators to a certain product of linear polynomials, then divide by the number of components in a general fiber. When that number of components is 1, we construct a desingularization of the image of the collapsing. If in addition the image has rational singularities, w…
We find an explicit formula that produces inductively the elliptic stable envelopes of an arbitrary Nakajima variety associated to a quiver Q from the ones of those Nakajima varieties whose framing vectors are the fundamental vectors of the quiver Q, i.e. the dimension vectors with just one unitary nonzero entry. The result relies on abelianization of stable envelopes. As an application, we combine our result with Smirnov's formula for the elliptic stable envelopes of the Hilbert scheme of points on the plane to produce the elliptic stable envelopes of the instanton moduli space.
We discuss several aspects of D-brane moduli spaces and BPS spectra near orbifold points. We give a procedure to determine the decay products on a line of marginal stability, and we define the algebra of BPS states in terms of quivers. These issues are illustrated in detail in the case of type IIA theory on C^2/Z_N. We also show that many of these results can be extended to arbitrary points in the compactification moduli space using Pi-stability.
We construct level one dominant representations of the affine Kac-Moody algebra $\widehat{\mathfrak{gl}}_k$ on the equivariant cohomology groups of moduli spaces of rank one framed sheaves on the orbifold compactification of the minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$. We show that the direct sum of the fundamental classes of these moduli spaces is a Whittaker vector for $\widehat{\mathfrak{gl}}_k$, which proves the AGT correspondence for pure $\mathcal{N}=2$ $U(1)$ gauge theory on $X_k$. We consider Carlsson-Okounkov type Ext-bundles over produc…
