Derived representation schemes and Nakajima quiver varieties

We introduce a derived representation scheme associated with a quiver, which may be thought of as a derived version of a Nakajima variety. We exhibit an explicit model for the derived representation scheme as a Koszul complex and by doing so we show that it has vanishing higher homology if and only if the moment map defining the corresponding Nakajima variety is flat. In this case we prove a comparison theorem relating isotypical components of the representation scheme to equivariant K-theoretic classes of tautological bundles on the Nakajima variety. As a corollary of this result we obtain some integral formulas present in the mathematical and physical literature since a few years, such as the formula for Nekrasov partition function for the moduli space of framed instantons on $$S^4$$ S 4 . On the technical side we extend the theory of relative derived representation schemes by introducing derived partial character schemes associated with reductive subgroups of the general linear group and constructing an equivariant version of the derived representation functor for algebras with a rational action of an algebraic torus.

The Tutte polynomial and toric Nakajima quiver varieties

For a quiver $Q$ with underlying graph $\Gamma$ , we take $ {\mathcal {M}}$ an associated toric Nakajima quiver variety. In this article, we give a direct relation between a specialization of the Tutte polynomial of $\Gamma$ , 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 $\Gamma$ and ‘geometrizing’ the deletion and contraction operators on graphs. These relations have been previously established in Hausel–Sturmfels [6] and Crawley-Boevey–Van den Bergh [3], however the methods here are more hands-on.

Quantum K-theory of quiver varieties and many-body systems

We define quantum equivariant K-theory of Nakajima quiver varieties. We discuss type A in detail as well as its connections with quantum XXZ spin chains and trigonometric Ruijsenaars-Schneider models. Finally we study a limit which produces a K-theoretic version of results of Givental and Kim, connecting quantum geometry of flag varieties and Toda lattice.

TOROIDAL q-OPERS

We define and study the space of q-opers associated with Bethe equations for integrable models of XXZ type with quantum toroidal algebra symmetry. Our construction is suggested by the study of the enumerative geometry of cyclic quiver varieties, in particular the ADHM moduli spaces. We define $\left (\overline {GL}(\infty ),q\right )$ -opers with regular singularities and then, by imposing various analytic conditions on singularities, arrive at the desired Bethe equations for toroidal q-opers.

Symplectic resolutions of quiver varieties

In this article, we consider Nakajima quiver varieties from the point of view of symplectic algebraic geometry. We prove that they are all symplectic singularities in the sense of Beauville and completely classify which admit symplectic resolutions. Moreover we show that the smooth locus coincides with the locus of canonically $$\theta $$ θ -polystable points, generalizing a result of Le Bruyn; we study their étale local structure and find their symplectic leaves. An interesting consequence of our results is that not all symplectic resolutions of quiver varieties appear to come from variation of GIT.

Quantum K-Theory of Grassmannians and Non-Abelian Localization

In the example of complex grassmannians, we demonstrate various techniques available for computing genus-0 K-theoretic GW-invariants of flag manifolds and more general quiver varieties. In particular, we address explicit reconstruction of all such invariants using finite-difference operators, the role of the q-hypergeometric series arising in the context of quasimap compactifications of spaces of rational curves in such varieties, the theory of twisted GW-invariants including level structures, as well as the Jackson-type integrals playing the role of equivariant K-theoretic mirrors.

The pure cohomology of multiplicative quiver varieties

To a quiver Q and choices of nonzero scalars $$q_i$$ q i , non-negative integers $$\alpha _i$$ α i , and integers $$\theta _i$$ θ i labeling each vertex i, Crawley-Boevey–Shaw associate a multiplicative quiver variety$${\mathcal {M}}_\theta ^q(\alpha )$$ M θ q ( α ) , a trigonometric analogue of the Nakajima quiver variety associated to Q, $$\alpha $$ α , and $$\theta $$ θ . We prove that the pure cohomology, in the Hodge-theoretic sense, of the stable locus $${\mathcal {M}}_\theta ^q(\alpha )^{{\text {s}}}$$ M θ q ( α ) s is generated as a $${\mathbb {Q}}$$ Q -algebra by the tautological characteristic classes. In particular, the pure cohomology of genus g twisted character varieties of $$GL_n$$ G L n is generated by tautological classes.