arXiv++ Combinatorics

We study the quasimap vertex functions of type $D$ Nakajima quiver varieties. When the quiver varieties have isolated torus fixed points, we compute the coefficients of the vertex functions in the $K$-theoretic fixed point basis. We also give an explicit combinatorial description of zero-dimensional type $D$ quiver varieties and their vertex functions using the combinatorics of minuscule posets. Using Macdonald polynomials, we prove that these vertex functions can be expressed as products of $q$-binomial functions, which proves a degeneration of the conjectured 3d mirror symmetry of vertex functions. We provide an interpretation of type $D$ spin vertex functions as the partition functions of the half-space Macdonald processes of Barraquand, Borodin, and Corwin. This hints that the geometry of quiver varieties may provide new examples of integrable probabilistic models.

In this article, we establish combinatorial links between the irreducible components of the fixed point locus of the Gieseker variety and the block theory of Ariki-Koike algebras. First, we describe the fixed point locus in terms of Nakajima quiver varieties over the McKay quiver of type A. We then reinterpret the dimension of an irreducible component as double the weight of a block. Cores of charged multipartitions have been defined by Fayers and further developed by Jacon and Lecouvey. In addition, we give a new way to compute the multicharge associated with the core of a charged multipartition. Finally, we also explain how the notion of core blocks, defined by Fayers, is interpreted on the geometric side using the deep connection between quiver varieties and affine Lie algebras.

We study the $K$-theoretic enumerative geometry of cyclic Nakajima quiver varieties, with particular focus on $\text{Hilb}^{m}([\mathbb{C}^{2}/\mathbb{Z}_{l}])$, the equivariant Hilbert scheme of points on $\mathbb{C}^2$. The direct sum over $m$ of the equivariant $K$-theories of these varieties is known to be isomorphic to the ring symmetric functions in $l$ colors, with structure sheaves of torus fixed points identified with wreath Macdonald polynomials. Using properties of wreath Macdonald polynomials and the recent identification of the Maulik-Okounkov quantum affine algebra for cyclic quivers with the quantum toroidal algebras of type $A$, we derive an explicit formula for the generating function of capped vertex functions of $\text{Hilb}^{m}([\mathbb{C}^{2}/\mathbb{Z}_{l}])$ with descendants given by exterior powers of the $0$th tautological bundle. We also sharpen the large framing vanishing results of Okounkov, providing a class of descendants and cyclic quiver varieties for which the capped vertex functions are purely classical. Our results also suggest certain integrality and wall-crossing conjectures for capped vertex functions.

We compute the equivariant K-theory of torus fixed points of Cherkis bow varieties of affine type A. We deduce formulas for the generating series of the Euler numbers of these varieties and observe their modularity in certain cases. We also obtain refined formulas on the motivic level for a class of bow varieties strictly containing Nakajima quiver varieties. These series hence generalise results of Nakajima-Yoshioka. As a special case, we obtain formulas for certain Zastava spaces. We define a parabolic analogue of Nekrasov's partition function and find an equation relating it to the classical partition function.

Stable envelopes, introduced by Maulik and Okounkov, provide a family of bases for the equivariant cohomology of symplectic resolutions. The theory of stable envelopes provides a fascinating interplay between geometry, combinatorics and integrable systems. In this expository article, we give a self-contained introduction to cohomological stable envelopes of type A bow varieties (an interesting class of varieties extending Nakajima quiver varieties). Our main focus is on the existence and the orthogonality properties of stable envelopes for bow varieties. The restriction to this specific class of varieties allows us to illustrate the theory combinatorially and to provide simplified proofs, both laying a basis for explicit calculations.

We prove a universal substitution formula that compares generating series of Euler characteristics of Nakajima quiver varieties associated with affine ADE diagrams at generic and at certain nongeneric stability conditions via a study of collapsing fibres in the associated variation of GIT map, unifying and generalising earlier results of the last two authors with Némethi and of Nakajima. As a special case, we compute generating series of Euler characteristics of noncommutative Quot schemes of Kleinian orbifolds. In type A and rank 1, we give a second, combinatorial proof of our substitution formula, using torus localisation and partition enumeration. This gives a combinatorial model of the fibers of the variation of GIT map, and also leads to relations between our results and the representation theory of the affine and finite Lie algebras in type A.

In Schubert Puzzles and Integrability I we proved several "puzzle rules" for computing products of Schubert classes in K-theory (and sometimes equivariant K-theory) of d-step flag varieties. The principal tool was "quantum integrability", in several variants of the Yang--Baxter equation; this let us recognize the Schubert structure constants as q->0 limits of certain matrix entries in products of R- (and other) matrices of quantized affine algebra representations. In the present work we give direct cohomological interpretations of those same matrix entries but at finite q: they compute products of "motivic Segre classes", closely related to K-theoretic Maulik--Okounkov stable classes living on the cotangent bundles of the flag varieties. Without q->0, we avoid some divergences that blocked fuller understanding of d=3,4. The puzzle computations are then explained (in cohomology onlyin this work, not K-theory) in terms of Lagrangian convolutions between Nakajima quiver varieties. More specifically, the conormal bundle to the diagonal inclusion of a flag variety factors through a quiver variety that is not a cotangent bundle, and it is on that intermediate quiver variety that the R-matrix calculation occurs.

We obtain an explicit crystal isomorphism between two realizations of crystal bases of finite dimensional irreducible representations of simple Lie algebras of type A and D. The first realization we consider is a geometric construction in terms of irreducible components of certain Nakajima quiver varieties established by Saito and the second is a realization in terms of isomorphism classes of quiver representations obtained by Reineke. We give a homological description of the irreducible components of Lusztig's quiver varieties which correspond to the crystal of a finite dimensional representation and describe the promotion operator in type A to obtain a geometric realization of Kirillov-Reshetikhin crystals.

For a quiver $Q$, we take $\mathcal{M}$ an associated toric Nakajima quiver variety and $Γ$ the underlying graph. In this article, we give a direct relation between a specialisation of the Tutte polynomial of $Γ$, the Kac polynomial of $Q$ and the Poincaré polynomial of $\mathcal{M}$. We do this by giving a cell decomposition of $\mathcal{M}$ indexed by spanning trees of $Γ$ and `geometrising' the deletion and contraction operators on graphs. These relations have been previously established by Sturmfels-Hausel and (Crawley-Boovey)-Van den Bergh, however the methods here are more hands-on.

We consider double determinantal varieties, a special case of Nakajima quiver varieties. Li conjectured that double determinantal varieties are normal, irreducible, Cohen-Macaulay varieties whose defining ideals have a Gröbner basis given by their natural generators. We use liaison theory to prove this conjecture in a manner that generalizes results for mixed ladder determinantal varieties. We also give a formula for the dimension of a double determinantal variety.

In this note we give a new proof of a closed formula for the multivariable generating series of diagonally colored Young diagrams. This series also describes the Euler characteristics of certain Nakajima quiver varieties. Our proof is a direct combinatorial argument, based on Andrews' work on generalized Frobenius partitions. We also obtain representations of these series in some particular cases as infinite products.

The purpose of this thesis is to present certain viewpoints on the geometric representation theory of Nakajima cyclic quiver varieties, in relation to the Maulik-Okounkov stable basis. Our main technical tool is the shuffle algebra, which arises as the K-theoretic Hall algebra of the double cyclic quiver. We prove the isomorphism between the shuffle algebra and the quantum toroidal algebra U_{q,t}(sl_n^^), and identify the quotients of Verma modules for the shuffle algebra with the K-theory groups of Nakajima cyclic quiver varieties, which were studied by Nakajima and Varagnolo-Vasserot. The shuffle algebra viewpoint allows us to construct the universal R-matrix of the quantum toroidal algebra U_{q,t}(sl_n^^), and to factor it in terms of pieces that arise from subalgebras isomorphic to quantum affine groups U_{q}(gl_m^), for various m. This factorization generalizes constructions of Khoroshkin-Tolstoy to the toroidal case, and matches the factorization that Maulik-Okounkov produce via the stable basis in the K-theory of Nakajima quiver varieties. We connect the two pictures by computing formulas for the root generators of U_{q,t}(sl_n^^) acting on the stable basis, which provide a wide extension of Murnaghan-Nakayama and Pieri type rules from combinatorics.

We relate the representations of the rational Cherednik algebras associated with the complex reflection group G(m,1,n) to sheaves on Nakajima quiver varieties associated with extended Dynkin gaphs via a Z-algebra construction. As the parameters defining the Cherednik algebra vary, the stability conditions defining the quiver variety change. We interpret the ordering on category O geometrically using this relationship; we also relate the geometry to the a-function for Hecke algebras with unequal parameters.

A Fourier transform technique is introduced for counting the number of solutions of holomorphic moment map equations over a finite field. This in turn gives information on Betti numbers of holomorphic symplectic quotients. As a consequence simple unified proofs are obtained for formulas of Poincare polynomials of toric hyperkahler varieties, Poincare polynomials of Hilbert schemes of points and twisted ADHM spaces of instantons on C^2 and Poincare polynomials of all Nakajima quiver varieties. As an application, a proof of a conjecture of Kac on the number of absolutely indecomposable representations of a quiver is announced.