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.

In 2024, Bellamy, Craw, Rayan, Schedler, and Weiss introduced a particular family of real hyperplane arrangements stemming from hyperpolygonal spaces associated with certain quiver varieties which we thus call hyperpolygonal arrangements $\mathcal H_n$. In this note we study these arrangements and investigate their properties systematically. Remarkably the arrangements $\mathcal H_n$ discriminate between essentially all local properties of arrangements. In addition we show that hyperpolygonal arrangements are projectively unique and combinatorially formal. We note that the arrangement $\mathcal H_5$ is the famous counterexample of Edelman and Reiner from 1993 of Orlik's conjecture that the restriction of a free arrangement is again free.

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.

We study an algebra spanned by modified Kostka polynomials. Particular structure coefficients of this algebra are interpreted as traces of some Weyl group actions on the intersection cohomology of comet-shaped quiver varieties.

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 paper, we study and describe the universal Poisson deformation space of hypertoric varieties concretely. In the first application, we show that affine hypertoric varieties as conical symplectic varieties are classified by the associated regular matroids (this is a partial generalization of the result by Arbo and Proudfoot). As a corollary, we obtain a criterion when two quiver varieties whose dimension vector have all coordinates equal to one are isomorphic to each other. Then we describe all 4- and 6-dimensional affine hypertoric varieties as quiver varieties and give some examples of 8-dimensional hypertoric varieties which cannot be raised as such quiver varieties. In the second application, we compute explicitly the number of all projective crepant resolutions of some 4-dimensional hypertoric varieties by using the combinatorics of hyperplane arrangements.

Nakajima introduced a $t$-deformation of $q$-characters, $(q,t)$-characters for short, and their twisted multiplication through the geometry of quiver varieties. The Nakajima $(q,t)$-characters of Kirillov-Reshetikhin modules satisfy a $t$-deformed $T$-system. The $T$-system is a discrete dynamical system that can be interpreted as a mutation relation in a cluster algebra in two different ways, depending on the choice of direction of evolution. In this paper, we show that the Nakajima $t$-deformed $T$-system of type $A_r$ forms a quantum mutation relation in a quantization of exactly one of the cluster algebra structures attached to the $T$-system.

In this paper we study the combinatorial consequences of the relationship between rational Cherednik algebras of type $G(l,1,n)$, cyclic quiver varieties and Hilbert schemes. We classify and explicitly construct $\mathbb{C}^*$-fixed points in cyclic quiver varieties and calculate the corresponding characters of tautological bundles. Furthermore, we give a combinatorial description of the bijections between $\mathbb{C}^*$-fixed points induced by the Etingof-Ginzburg isomorphism and Nakajima reflection functors. We apply our results to obtain a new proof as well as a generalization of the $q$-hook formula.

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 describe a cluster algebra algorithm for calculating q-characters of Kirillov-Reshetikhin modules for any untwisted quantum affine algebra. This yields a geometric q-character formula for tensor products of Kirillov-Reshetikhin modules. In simply laced type this formula extends Nakajima's formula for q-characters of standard modules in terms of homology of graded quiver varieties.

We study rotation of invariant vectors in tensor products of minuscule representations. We define a combinatorial notion of rotation of minuscule Littelmann paths. Using affine Grassmannians, we show that this rotation action is realized geometrically as rotation of components of the Satake fibre. As a consequence, we have a basis for invariant spaces which is permuted by rotation (up to global sign). Finally, we diagonalize the rotation operator by showing that its eigenspaces are given by intersection homology of quiver varieties. As a consequence, we generalize Rhoades' work on the cyclic sieving phenomenon.

Consider Kashiwara's crystal associated to a highest weight representation of a symmetric Kac-Moody algebra. There is a geometric realization of this object using Nakajima's quiver varieties, but in many particular cases it can also be realized by elementary combinatorial methods. Here we propose a framework for extracting combinatorial realizations from the geometric picture: We construct certain torus actions on the quiver varieties and use Morse theory to index the irreducible components by connected components of the subvariety of torus fixed points. We then discuss the case of affine sl(n). There the fixed point components are just points, and are naturally indexed by multi-partitions. There is some choice in our construction, leading to a family of combinatorial models for each highest weight crystal. Applying this construction to the crystal of the fundamental representation recovers a family of combinatorial realizations recently constructed by Fayers. This gives a more conceptual proof of Fayers' result as well as a generalization to higher level. We also discuss a relationship with Nakajima's monomial crystal.