Exotic Quantum Difference Equations and Integral Solutions

TL;DR

This paper introduces and analyzes exotic quantum difference equations related to Nakajima quiver varieties, connecting them to quasimap counts, stable envelopes, and quantum toroidal algebra, with explicit solutions and potential applications to Bethe subalgebras.

Contribution

It generalizes known difference equations to exotic variants depending on alcoves, relates solutions to geometric quasimap counts, and provides explicit integral formulas for solutions.

Findings

Established the relation between exotic difference equations and quasimap counts.

Derived explicit contour integral formulas for solutions.

Applied saddlepoint approximation to Bethe subalgebras of quantum toroidal algebra.

Abstract

One of the fundamental objects in the $K$-theoretic enumerative geometry of Nakajima quiver varieties is known as the the capping operator. It is uniquely determined as the fundamental solution to a system of $q$-difference equations. Such difference equations involve shifts of two sets of variables, the variables arising as equivariant parameters for a torus that acts on the variety and an additional set of variables known as K\"ahler parameters. The difference equations in the former variables were identified with the qKZ equations in [28]. The difference equations in the latter variables were identified representation theoretically in [30] using an analog of the quantum dynamical Weyl group. Once this representation theoretic description is known, there is an obvious generalization of these equations, which we refer to as exotic quantum difference equations. They depend on a choice of alcove in a certain hyperplane arrangement in $\mathrm{Pic}(X)\otimes \mathbb{R}$, with the usual difference equations corresponding to the alcove containing small anti-ample line bundles. As our main result, we relate the fundamental solution of these equations back to quasimap counts using the so-called vertex with descendants, with descendants given in terms of $K$-theoretic stable envelopes. In the case of the Hilbert scheme of points in $\mathbb{C}^2$, we write our exotic quantum difference equations using the quantum toroidal algebra. We use the results of [6] to obtain formulas for the $K$-theoretic stable envelopes of arbitrary slope. Using this, we are able to write explicit formulas for the solutions of the exotic difference equations. These formulas can be written as contour integrals. As a partially conjectural application of our results, we apply the saddlepoint approximation to these integrals to diagonalize the Bethe subalgebras of the quantum toroidal algebra for arbitrary slope.