Quantum K-theory of Quiver Varieties and Many-Body Systems

TL;DR

This paper develops the quantum equivariant K-theory for Nakajima quiver varieties, linking it to integrable systems like XXZ spin chains and Ruijsenaars-Schneider models, and explores its relation to quantum geometry of flag varieties and Toda lattice.

Contribution

It introduces a new framework for quantum K-theory of quiver varieties and connects it to integrable systems and quantum geometry, extending previous results in the field.

Findings

Defined quantum equivariant K-theory for Nakajima quiver varieties

Established connections with quantum XXZ spin chains and Ruijsenaars-Schneider models

Linked quantum geometry of flag varieties with Toda lattice through a limiting process

Abstract

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.

Equations

$$X=L(\mathbf{v},\mathbf{w})/{/}_{\theta }G=L(\mathbf{v},\mathbf{w}{)}_{ss}/G,$$

$$\prod GL(Q_{ij})\times \prod GL(W_i)\times {\mathbb{C}}_{\hslash }^{\times }$$

$$(\mathcal{F},\mathcal{G})=\chi (\mathcal{F}\otimes \mathcal{G}\otimes K^{-1/2}),$$

$$(\mathcal{C},p_1^{\prime },\dots ,p_m^{\prime },P,f,\pi ),$$

$$\mathrm{p}:P{\times }_G(R\oplus R^{\ast })\to \mathcal{C}$$

$${\mathcal{V}}_i=P{\times }_G{V}_i\to \mathcal{C}$$

$$X={\mu }_{ss}^{-1}(0)/G\subset L(\mathbf{v},\mathbf{w})/G.$$

$${{\text{QM}}^{\mathbf{d}}}_{\text{nonsing }p}\stackrel{{\text{ev}}_p}{⟶}X$$

$$\sum\limits_{{\mathbf{d}}=\overrightarrow{0}}^{\infty}z^{\mathbf{d}}{\rm{ev}}_{p_{2},*}\Big{(}\textsf{QM}^{\mathbf{d}}_{{\rm{relative}}\,p_{2}},\widehat{{{\mathcal{O}}}}_{{\rm{vir}}}\Big{)}.$$

$$T_{(\{{\mathcal{V}}_i\},\{{\mathcal{W}}_i\})}^{\text{vir}}{\text{QM}}^{\mathbf{d}}=H^{\bullet }(\mathcal{R}\oplus \hslash {\mathcal{R}}^{\ast })-(1+\hslash )\underset{i}{⨁}Ex{t}^{\bullet }({\mathcal{V}}_i,{\mathcal{V}}_i),$$

$${\hat{\mathcal{O}}}_{\mathrm{vir}}={\mathcal{O}}_{\mathrm{vir}}\otimes {\mathcal{K}}_{\text{vir}}^{1/2}{q}^{\mathrm{deg}(\mathcal{P})/2},$$

$$z^{\mathbf{d}}=\prod _{i\in I}{z}_i^{d_i}.$$

$$\mathbf{G}=\sum _{\mathbf{d}=\overrightarrow{0}}^{\infty }{z}^{\mathbf{d}}e{v}_{p_1,p_2\ast }({\text{QM}}_{\mathrm{relative}{p}_1,p_2}^{\mathbf{d}}{\hat{\mathcal{O}}}_{\mathrm{vir}})\in K_{\mathsf{T}}^{\otimes 2}(X)[[z]],$$

$$\mathrm{so}\mathrm{that}\mathrm{the}\mathrm{corresponding}\mathrm{picture}\mathrm{is}:\text{leavevmode}to60.5pt\text{vbox}to12.98pt\text{pgfpicture}\text{makeatletter}\text{lower}-6.49046ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}1.6pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}56.90552pt0.0pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}1.6pt\text{pgfsys@invoke}\text{pgfsys@moveto}2.84544pt5.69046pt\text{pgfsys@curveto}-0.99811pt3.47139pt-0.99811pt-3.47139pt2.84544pt-5.69046pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}1.6pt\text{pgfsys@invoke}\text{pgfsys@moveto}54.06006pt5.69046pt\text{pgfsys@curveto}57.90361pt3.47139pt57.90361pt-3.47139pt54.06006pt-5.69046pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}.$$

$${\mathcal{C}}_0={\mathcal{C}}_{0,1}{\cup }_p{\mathcal{C}}_{0,2}.$$

$$\chi (\text{QM}({\mathcal{C}}_0\to X),{\hat{\mathcal{O}}}_{\mathrm{vir}}{z}^{\mathbf{d}})=\left({\mathbb{G}}^{-1}{\text{ev}}_{1,\ast }({\hat{\mathcal{O}}}_{\mathrm{vir}}{z}^{\mathbf{d}}),{\text{ev}}_{2,\ast }({\hat{\mathcal{O}}}_{\mathrm{vir}}{z}^{\mathbf{d}})\right).$$

$$\hat{\tau}(z)=\sum\limits_{{\mathbf{d}}=\overrightarrow{0}}^{\infty}z^{\mathbf{d}}{\rm{ev}}_{p_{2},*}\Big{(}\textsf{QM}^{\mathbf{d}}_{{\rm{relative}}\,p_{2}},\widehat{{{\mathcal{O}}}}_{{\rm{vir}}}\tau(\left.\mathscr{V}_{i}\right|_{p_{1}})\Big{)}\in QK_{\mathsf{T}}(X)$$

$$\sum _{\mathbf{d}=\overrightarrow{0}}^{\infty }{z}^{\mathbf{d}}{\text{ev}}_{p_1,p_3\ast }\left({\text{QM}}_{p_1,p_2,p_3}^{\mathbf{d}},{\text{ev}}_{p_2}^{\ast }({\mathbf{G}}^{-1}\mathcal{F}){\hat{\mathcal{O}}}_{\mathrm{vir}}\right)\in {K_{\mathsf{T}}(X)}^{\otimes 2}[[z]]$$

$$\mathcal{F}⊛=\sum _{\mathbf{d}=\overrightarrow{0}}^{\infty }{z}^{\mathbf{d}}{\text{ev}}_{p_1,p_3\ast }\left({\text{QM}}_{p_1,p_2,p_3}^{\mathbf{d}},{\text{ev}}_{p_2}^{\ast }({\mathbf{G}}^{-1}\mathcal{F}){\hat{\mathcal{O}}}_{\mathrm{vir}}\right){\mathbf{G}}^{-1}$$

$$V^{(\tau)}(z)=\sum\limits_{{\mathbf{d}}=\vec{0}}^{\infty}z^{{\mathbf{d}}}{\rm{ev}}_{p_{2},*}\Big{(}\textsf{QM}^{{\mathbf{d}}}_{{\rm{nonsing}}\,p_{2}},\widehat{{{\mathcal{O}}}}_{{\rm{vir}}}\tau(\left.\mathscr{V}_{i}\right|_{p_{1}})\Big{)}\in K_{\mathsf{T}_{q}}(X)_{loc}[[z]]$$

$$\hat{V}^{(\tau)}(z)=\sum\limits_{{\mathbf{d}}=\vec{0}}^{\infty}z^{{\mathbf{d}}}{\rm{ev}}_{p_{2},*}\Big{(}\textsf{QM}^{{\mathbf{d}}}_{{\rm{relative}}\,p_{2}},\widehat{{{\mathcal{O}}}}_{{\rm{vir}}}\tau(\left.\mathscr{V}_{i}\right|_{p_{1}})\Big{)}\in K_{\mathsf{T}_{q}}(X)[[z]]$$

$$\Psi(z)=\sum\limits_{{\mathbf{d}}=0}^{\infty}\,z^{{\mathbf{d}}}{\rm ev}_{p_{1},p_{2},*}\Big{(}{\it\textsf{QM}}^{{\mathbf{d}}}_{{{\rm{relative}\,p_{1}}}\atop{{\rm{nonsing}\,p_{2}}}},\widehat{{{\mathcal{O}}}}_{{\rm{vir}}}\Big{)}\in K^{\otimes 2}_{\mathsf{T}_{q}}(X)_{loc}[[z]].$$

$${\hat{V}}^{(\tau )}(z)=\Psi (z)V^{(\tau )}(z).$$

$$\Psi (q^{{\mathcal{L}}_i}z)={\mathbf{M}}_{{\mathcal{L}}_i}(z)\Psi (z){\mathcal{L}}_i^{-1},$$

$${\mathbf{M}}_{{\mathcal{L}}_i}(z)=\sum _{\mathbf{d}=\vec{0}}^{\infty }{z}^{\mathbf{d}}{\mathrm{ev}}_{\ast }\left({\text{QM}}_{\mathrm{relative}{p}_1,p_2}^{\mathbf{d}},{\hat{\mathcal{O}}}_{\mathrm{vir}}\det H^{\bullet }\left({\mathcal{V}}_i\otimes {\pi }^{\ast }({\mathcal{O}}_{p_1})\right)\right){\mathbb{G}}^{-1},$$

$$\underset{q\to 1}{\lim }{\mathbf{M}}_{{\mathcal{L}}_i}(z)={\hat{\mathcal{L}}}_i(z).$$

$${\lambda }_{\mathbf{p},i}(z)={\lambda }_{\mathbf{p},i}^0+{\lambda }_{\mathbf{p},i}^1{z}^{1/m}+{\lambda }_{\mathbf{p},i}^2{z}^{2/m}+\dots ,m\in \mathbb{N}$$

$$f(t)=\exp\Big{(}{\frac{1}{q-1}\int d_{q}t\ln\l(t)}\Big{)},$$

$$f(qt)=l(t)f(t).$$

$$F_{\mathbf{p}}(z)=\exp\Big{(}{\frac{1}{q-1}\sum_{i\in I}\int d_{q}z_{i}\ln\lambda_{{\bf p},i}(z)}\Big{)}$$

$$\Psi_{\it{{\textbf{p}}}}(z)=F_{\mathbf{p}}(z)\Big{(}\psi_{\textbf{p}}(z)+\cdots\Big{)},$$

Full text

1. 1 Introduction
2. 2 Quantum K-theory
3. 3 Computations for Partial Flags
4. 4 The XXZ/tRS Duality
5. 5 Compact Limit of XXZ Bethe Ansatz and of tRS Model

1. Introduction

1.1. Some Prehistory and Earlier Results

The seminal papers of Nekrasov and Shatashvili [Nekrasov:2009ui, nekrasov:2009uh] paved the road for close interactions between quantum geometry of certain class of algebraic varieties and quantum integrable systems. Early signs of such a fruitful collaboration between quantum cohomology/quantum K-theory and integrability were noted in mathematics literature in the works of Givental et al [givental1995, 2001math8105G].

The ideas outlined in these articles gave rise to new developments [Braverman:2010ei, Braverman:2011si, 2012arXiv1211.1287M] followed by other important results, see e.g. [Rimanyi:2014ef, Gorbounov:2014to, Gorbounov:2014fs, Okounkov:2015aa, Okounkov:2016sya, nekrasov:2013aa].

Recently the basic example, considered in [Nekrasov:2009ui, nekrasov:2009uh] in the physical context of 3d gauge theories, was described from mathematical point of view [Pushkar:2016qvw].

In particular, the relation between quantum equivariant K-theory of cotangent bundles to Grassmannians and the so-called XXZ model (see e.g. [Bogolyubov:1993qism, Reshetikhin:2010si]) was fully examined. The Hilbert space of the XXZ spin chain is identified with the space of equivariant localized K-theory of disjoint union of $T^{*}Gr(k,n)$ for all $k$ and fixed $n$, considered in the basis of fixed points. Using a different method than in standard Gromov-Witten-inspired approach to quantum products, the quantum K-theory ring was defined, as well as the generators using the theory of quasimaps to GIT quotients [Okounkov:2015aa], [Ciocan-Fontanine:2011tg]. Such generators of the quantum K-theory ring, which in [Pushkar:2016qvw] were called quantum tautological bundles are the deformations (via Kähler parameter) of the exterior powers of these tautological bundles. It was shown that their eigenvalues are the symmetric functions of roots of Bethe Ansatz equations. The generating function for such quantum tautological bundles is known in the theory of integrable systems as Baxter $Q$-operator which contains information about the spectrum of genuine physical Hamiltonians.

1.2. Main Results and the Structure of the Paper

The construction of [Pushkar:2016qvw] can certainly be extended beyond Grassmannians to a large class of Nakajima quiver varieties and this is what the first part of the current work is about.

In Section 2 we review and generalize main concepts of [Pushkar:2016qvw] to a general situation. In Subsection 2.1 we remind basic notions of Nakajima quiver varieties as GIT quotients and their equivariant K-theory. Subsection 2.2 is devoted to a brief review of theory of nonsingular and relative quasimaps to quiver varieties. Unlike stable maps, the quasimap is a combination of a certain vector bundle on a base curve, together with its section, which uses the presentation of Nakajima quiver variety is a GIT quotient. That allows us to define in Subsections 2.3 and 2.4 two important notions. The first one is the notion of a quantum tautological class, defined using pushforwards via evaluation map with a relative condition, as a deformation of the corresponding equivariant K-theory tautological class. The second one is the deformed product on equivariant K-theory. In this paper we will refer to the latter as the quantum product and the resulting unital ring will be referred to as quantum K-theory ring. This is different from a standard notion of quantum products defined using stable map theory in the K-theoretic analogue of Gromov-Witten theory. In the end of Section 2.4 we note, that the quantum tautological classes generate the entire quantum K-theory ring.

We would like to emphasize that in the standard K-theoretic version of Gromov-Witten approach to flag varieties (see e.g. recent results [act1], [act2]), the analogue of our deformed product, known as a small quantum product, is determined by the deformation of the structure constants.

Then it is a formidable task in describing the quantum K-ring using generators and relations to verify whether the structure constants are polynomials in Kähler parameters – the property which is given for granted in the quantum cohomology. Here we are free of these issue and our quantum classes are generators a priori.

In Subsection 2.5 the most important tools for the computations in our quantum K-theoretic framework are introduced, known as vertex functions. They can be of two types, bare and capped. These are objects, very close to quantum tautological classes, namely they are equivariant K-theory classes (localized K-theory classes for bare vertices) defined as equivariant pushforwards with nonsingular and relative conditions correspondingly, so that extra equivariant parameter is introduced on a base curve. This equivariant parameter plays a major role in our approach. Namely, the capping operator which relates these two types of vertex functions, satisfies a difference equation, which is a central topic of [Okounkov:2016sya] as a part of a bigger system of difference equations involving quantum Knizhnik-Zamolodchikov equations [Frenkel:92qkz].

In Section 2.6 we restrict ourselves to the subclass of Nakajima varieties, such that the set of fixed points under the action of equivariant torus is finite, which includes (partial) flag varieties. Using that in the end of Section 2 we derive, by generalizing the results of [Pushkar:2016qvw], the explicit formula for the eigenvalues of multiplication operators on quantum tautological classes via the asymptotics of vertex functions, when equivariant parameter on a base curve is close to identity.

From Section 3 onwards we restrict ourselves to our main example the cotangent bundles to (partial) flag varieties, which form a subclass of Nakajima varieties for quivers of type $A_{n}$. In this case one can identify the localized K-theory of all possible cotangent bundles to partial flag varieties for given $n$ with the Hilbert space of XXZ $sl(n)$ model. We explicitly compute the vertex functions in Subsection 3.1, so that in Subsection 3.2 we arrive to our first important theorem, which in short can be restated as follows (for explicit formulas, see Theorem 3.4):

Theorem 1a. *The eigenvalues of the operators of multiplication by quantum tautological classes are the symmetric functions of Bethe roots, the solutions of Bethe ansatz equations for $sl(n)$ XXZ spin chain.

This statement is a generalization of similar statement for Grassmannians and $sl(2)$ XXZ spin chain in [Pushkar:2016qvw].

It makes sense to think about the generating functions for quantum tautological bundles, corresponding to exterior powers of every given tautological bundle. The eigenvalues of the resulting operators give generating functions for Bethe roots. In the theory of quantum integrable systems those are known as the Baxter operators.

We also make the following “compact reduction” of our constructions. In Subsection 3.3 we discuss the vertex functions and therefore quantum tautological classes in the case when we count only quasimaps to the compact space of partial flags, suppressing contributions of the fiber. It turns out that the corresponding vertex functions are easy to compute, by sending the equivariant parameter, corresponding to the rescaling of symplectic form to infinity. This leads to the following Theorem (see (3.4) for explicit formulae):

Theorem 1b. *The eigenvalues of the operators of multiplication by quantum tautological classes on $G/P$ are the symmetric functions of Bethe roots, the solutions of Bethe ansatz equations, generalizations of the ones for 5-vertex model.

In Section 4, we restrict ourselves to the case of cotangent bundle of complete flag variety, and we describe these K-theory rings using generators and relations by employing the duality between XXZ spin chains and trigonometric Ruijsenaars-Schneider (tRS) models [MR929148, MR887995, MR851627].

This brings us back to fundamental papers [givental1995, 2001math8105G], where connection of quantum geometry and integrability is done through multi-particle systems. Givental and Kim [givental1995] using their approach described the quantum equivariant cohomology ring of complete flag varieties as an algebra of functions on the phase space of Toda lattice, so that the Hamiltonians are taking fixed values, determined by equivariant parameters, namely the space of regular functions on invariant Lagrangian subvariety of Toda lattice. It was suggested in [2001math8105G] and then in [Braverman:2011si] that the K-theoretic version of these results should involve finite difference (relativistic) Toda system.

Our main result of Section 4 is the following Theorem, which allows to describe the quantum K-theory ring using different generators and relations, via trigonometric Ruijsenaars-Schneider (tRS) models: (for explicit formulae see Theorem 4.9):

Theorem 2a. *The quantum K-theory ring of the cotangent bundle of a complete flag variety is an algebra of functions on a certain Lagrangian subvariety of the phase space of tRS model.

In a limiting procedure for $G/P$, which we consider in Section 5, we obtain the result suggested by [givental1995, 2001math8105G] (see Theorem 5.4 for explicit formulas):

Theorem 2b. *The quantum K-theory ring of a complete flag variety is an algebra of functions on a certain Lagrangian subvariety of the phase space of relativistic Toda lattice.

Such limiting procedure between two integrable systems was discussed by many representation theorists, see e.g. [Etingof:ac, Gerasimov:2008ao, Braverman:2010ei], which by the results of this paper has a pure geometric flavor.

1.3. Connections to physics literature and beyond

In physics literature [Gaiotto:2013bwa, Bullimore:2015fr] our main statements were conjectured, based on connections of Nakajima quiver varieties and 3d supersymmetric gauge theories. In particular, the quantum equivariant K-theory of the cotangent bundle to complete flag variety was described in [Bullimore:2015fr] via trigonometric Ruijsenaars-Schneider system. In addition, as expected, with cotangent fiber being removed in a certain limit, that model reduces to finite difference Toda system. In the current work we prove these physics conjectures thereby bringing together ideas of Givental-Kim-Lee and Nekrasov-Shatashvili.

It was recently shown [Aganagic:2017be, Aganagic:2017la] that capping operators of quantum K-theory of Nakajima quiver varieties, which satisfy quantum Knizhnik-Zamolodchikov equations, can be represented using vertex functions for certain K-theory classes which correspond to the K-theoretic version of stable basis [Okounkov:2015aa]. In [Bullimore:2015fr] it was proposed that vertex functions, constructed from supersymmetric gauge theories, are the eigenfunctions of quantum trigonometric Ruijsenaars-Schneider Hamiltonians (Macdonald operators). In this paper we work with classical Hamiltonians and find the connection, via the XXZ spin chain, between these operators and quantum K-theory of Nakajima quiver varieties. Thus there exists a correspondence between quantum Knizhnik-Zamolodchikov equations and equations of motion of trigonometric Ruijsenaars-Schneider model, which was further studied in [Koroteev:2020].

Acknowledgements. First of all we would like to thank Andrei Okounkov for invaluable discussions, advises and sharing with us his fantastic viewpoint on modern quantum geometry. We are also grateful to D. Korb and Z. Zhou for their interest and comments.

The work of A. Smirnov was supported in part by RFBR grants under numbers 15-02-04175 and 15-01-04217 and in part by NSF grant DMS–2054527. The work of P. Koroteev, A.M. Zeitlin and A. Smirnov is supported in part by AMS Simons travel grant. A. M. Zeitlin is partially supported by Simons Collaboration Grant, Award ID: 578501.

2. Quantum K-theory

2.1. Classical Equivariant K-theory

In this section we give a brief reminder of the classical equivariant K-theory of Nakajima quiver varieties. For a more detailed introduction to quiver varieties, one can consult [Ginzburg:] and for their study in K-theoretic setting one can look in [Nakajima:2001qg] or [Negut:thesis].

A quiver is a collection of vertices and oriented edges connecting them ($I$ denotes the set of vertices). A framed quiver is a quiver, where the set of vertices is doubled, and each of the vertices in the added set has an edge going from it to the vertex, whose copy it is. It is common to depict the original vertices by circles, and their copies by squares above them. Here is an example of a framed quiver:

A representation of a framed quiver is a set of vector spaces $V_{i},W_{i}$, where $V_{i}$ correspond to original vertices, and $W_{i}$ correspond to their copies, together with a set of morphisms between these vertices, corresponding to edges of the quiver.

For a given framed quiver, let $R=\text{Rep}(\mathbf{v},\mathbf{w})$ denote the linear space of quiver representation with dimension vectors $\mathbf{v}$ and $\mathbf{w}$, where $\mathbf{v}_{i}=\text{dim}\ V_{i}$, $\mathbf{w}_{i}=\text{dim}\ W_{i}$. Then the group $G=\prod_{i}GL(V_{i})$ acts on this space in an obvious way. As any cotangent bundle, $T^{*}R$ has a symplectic structure. This action of $G$ on this space is Hamiltonian with moment map $\mu:T^{*}R\to\text{Lie}{(G)}^{*}$. Let $L(\mathbf{v},\mathbf{w})=\mu^{-1}(0)$ be the zero locus of the moment map.

The Nakajima variety $X$ corresponding to the quiver is an algebraic symplectic reduction

[TABLE]

depending on a choice of stability parameter $\theta\in{\mathbb{Z}}^{I}$ (see [Ginzburg:] for a detailed definition). The group

[TABLE]

acts as automorphisms of $X$, coming form its action on $\text{Rep}(\mathbf{v},\mathbf{w})$. Here $Q_{ij}$ stands for the vector space of dimension coming from the incidence matrix of the quiver, i.e. the number of edges between vertices $i$ and $j$, $\mathbb{C}_{\hbar}$ scales cotangent directions with weight $\hbar$ and therefore symplectic form with weight $\hbar^{-1}$. Let us denote by $\mathsf{T}$ a maximal torus of this group.

The main object of study in this paper will be a certain deformation of the classical equivariant K-theory ring $K_{\mathsf{T}}(X)$. For a Nakajima quiver variety $X$ one can define a set of tautological bundles on it $V_{i},W_{i},i\in I$ as bundles constructed by applying the associated bundle construction to the G- representations V and W. It follows from this construction, that all bundles $W_{i}$ are topologically trivial. Tensorial polynomials of these bundles and their duals generate $K_{\mathsf{T}}(X)$ according to Kirwan’s surjectivity theorem, which is recently proven in [McGerty:2016kir]. Let $(\cdot,\cdot)$ be a bilinear form on $K_{\mathsf{T}}(X)$ defined by the following formula

[TABLE]

where $K$ is the canonical class and $\chi$ is the equivariant Euler characteristic. Nakajima quiver varieties are a special class of varieties, for which there always exists a square root of the canonical bundle, and it can be chosen canonically from the construction (see Section 6.1 in [Okounkov:2015aa]). The variety $X$ is almost never compact, apart from the cases when it is a point. The locus of fixed points of $\mathsf{T}$, on the other hand, is compact. This allows us to talk about the equivariant Euler characteristic via localization. The necessary extra shift of the bilinear form described above will be explained below.

2.2. Quasimaps

In this section we give a definition of quasimaps and discuss the properties and types of quasimaps we will use.

Definition 2.1**.**

A stable quasimap to a Nakajima quiver variety from a genus 0 curve $\mathcal{D}$ to $X$ relative to points $p_{1},\cdots,p_{m}\in\mathcal{D}$ is given by the following data

[TABLE]

where

• •

$\mathcal{C}$* is a connected, at most nodal genus zero projective curve and $p_{i}^{\prime}$ are nonsingular points of $\mathcal{C}$,*

• •

$P$* is a principal $G$ - bundle over $\mathcal{C}$,*

• •

f is a section of the fiber bundle

[TABLE]

over $\mathcal{C}$ satisfying $\mu=0$, where $R=\text{Rep}(\mathbf{v},\mathbf{w})$ - is a representation of $G$ defined in Section 2.1 (the moment map condition is satisfied pointwise, so for every point we can consider the moment map and the image of the section $f$ restricted to every point should be 0),

• •

$\pi:\mathcal{C}\rightarrow\mathcal{D}$* is a regular map,*

satisfying the following conditions:

1. (1)

There is a distinguished component $\mathcal{C}_{0}$ of $\mathcal{C}$ such that $\pi$ restricts to an isomorphism $\pi:\mathcal{C}_{0}\cong\mathcal{D}$ and $\pi(\mathcal{C}\setminus\mathcal{C}_{0})$ is zero-dimensional (possibly empty). 2. (2)

$\pi(p_{i}^{\prime})=p_{i}$. 3. (3)

$f(p)$* is stable for all $p\in\mathcal{C}\setminus B$ where $B$ is a finite (possibly empty) subset of $\mathcal{C}$.* 4. (4)

The set $B$ is disjoint from the nodes and points $p^{\prime}_{1},\dots,p^{\prime}_{m}$. 5. (5)

$\omega_{\tilde{\mathcal{C}}}(\sum_{i}p^{\prime}_{i}+\sum_{j}q_{i})\otimes{\mathcal{L}}_{\theta}^{\epsilon}$* is ample for every rational $\epsilon>0$, where ${\mathcal{L}}_{\theta}=P\times_{G}\mathbb{C}_{\theta}$ ($\theta=\det$ is the character of $G$), $\tilde{\mathcal{C}}$ is the closure of $\mathcal{C}\setminus\mathcal{C}_{0}$ and $q_{i}$ are the nodes $\mathcal{C}_{0}\cap\tilde{\mathcal{C}}$.*

We call $\mathcal{D}$ the base curve of the quasimap (although for some quasimaps the actual domain might be bigger). Note that it can have one or multiple components.

Let $(\mathcal{C},p_{1}^{\prime},\dots,p_{m}^{\prime},P,f,\pi)$ be a quasimap and let $V_{1},V_{2},\dots$ be representations of $G$ as in Section 2.1. Let us denote by

[TABLE]

the associated rank $\mathbf{v}_{i}$ vector bundle over $\mathcal{C}$ and bundles $\mathscr{W}_{i}$ and $\mathscr{R}$ defined in an analogous way.

Definition 2.2**.**

The degree of a quasimap $(\mathcal{C},p_{1}^{\prime},\dots,p_{m}^{\prime},P,f,\pi)$ is the vector of degrees of vector bundles $\mathscr{V}_{i}$ associated to it.

Definition 2.3**.**

Let $\textsf{QM}^{{\mathbf{d}}}_{{\rm{relative}},p_{1},\cdots,p_{m}}$ denote the stack parameterizing stable genus zero quasimaps relative to $p_{1},\dots,p_{m}$, (i.e. the data of Definition 2.1) of fixed degree ${{\mathbf{d}}}$. Two quasimaps are considered isomorphic if there is an isomorphism between the bundles which intertwines the sections.

For any point on the curve $p\in\mathcal{C}$ we have an evaluation map to the quotient stack $\text{ev}_{p}:\textsf{QM}^{{\mathbf{d}}}\to L(\mathbf{v},\mathbf{w})/G$ defined by $\text{ev}_{p}(f)=f(p)$. Note that the quotient stack contains $X$ as an open subset corresponding to locus of semistable points:

[TABLE]

A quasimap $f$ is called nonsingular at $p$ if $f(p)\subset X$ and the quasimap is not relative to $p$. In short, we conclude that the open subset ${{\textsf{QM}}^{\mathbf{d}}}_{\text{nonsing p}}\subset{{\textsf{QM}}^{\mathbf{d}}}$ of quasimaps nonsingular at the given point $p$ is endowed with a natural evaluation map:

[TABLE]

that sends a quasimap to its value at $p$. The moduli space of relative quasimaps ${{\textsf{QM}}^{\mathbf{d}}}_{\text{relative}\,p}$ is a resolution of ${\text{ev}}_{p}$ (or compactification), meaning we have a commutative diagram:

{{\textsf{QM}}^{\mathbf{d}}}_{\text{relative}\,p}$${{\textsf{QM}}^{\mathbf{d}}}_{\text{nonsing}\,p}$$X$$\text{ev}_{p}$$\widetilde{\text{ev}}_{p}

with a proper evaluation map $\widetilde{\text{ev}}_{p}$ from ${{\textsf{QM}}^{\mathbf{d}}}_{\text{relative}\,p}$ to $X$. Definition 2.1 constructs all the spaces mentioned above, as well as possible combinations with multiple relative points.

These moduli spaces have a natural action of maximal torus $\mathsf{T}$, lifting its action from $X$. When there are at most two special (relative or nonsingular or marked) points and the base curve is ${\mathbb{P}}^{1}$ we extend $\mathsf{T}$ by additional torus $\mathbb{C}^{\times}_{q}$, which scales ${\mathbb{P}}^{1}$ such that the tangent space $T_{0}{\mathbb{P}}^{1}$ has character denoted by $q$. We call the full torus by $G=\mathsf{T}\times\mathbb{C}^{\times}_{q}$.

2.3. Picture Notations, Virtual Structure and Gluing Operator

In this section we introduce some notations and discuss some structures and and properties of quasimap spaces. There are no new results presented in this section, it is more a collection of things we will use to construct the further studied objects. Most definitions and properties presented here are presented in full generality in [Ciocan-Fontanine:2011tg] or in [Okounkov:2015aa].

2.3.1. Picture Notation

In the previous section, several different types of quasimap invariants and conditions were introduced. For the quasimaps considered, the base curve is fixed and it is important, which conditions we impose at different points. All this information is hard to read off a formula. This makes it is convenient to use picture notation, introduced by Okounkov in [Okounkov:2015aa]. The picture notation will almost always be accompanied by a formula presentation, as it is not always obvious what exactly is considered (generating function for enumerative invariants/quantum operator or a single invariant). Yet, one can argue that this notation makes it clearer what kind of invariants are considered. Here are picture notations, which will be used in this manuscript:

denotes the base curve ${\mathbb{P}}^{1}$,

denotes a marked point (any chosen point on the curve),

denotes a relative point,

denotes a nonsingular point.

denotes a node on the base curve.

Here is an example of this notation in use:

The picture above stands for the following generating function of invariants:

[TABLE]

2.3.2. Virtual Structure

The moduli spaces of quasimaps constructed in the previous section have perfect deformation-obstruction theory [Ciocan-Fontanine:2011tg]. This allows one to construct a tangent virtual bundle $T^{\textrm{vir}}$, a virtual structure sheaf ${\mathcal{O}}_{\rm{vir}}$ and a virtual canonical bundle. For Nakajima quiver varieties the virtual canonical bundle has a natural choice of a square root. Adjusting the virtual structure sheaf by this square root makes it into the symmetrized virtual structure sheaf $\hat{\mathcal{O}}_{\rm{vir}}$. It is this sheaf that we choose for our enumerative invariants. The motivation of such a choice is given in section 3.2 of [Okounkov:2015aa]. In this section we do not intent to give the full construction of the virtual structure sheaf, but we try to describe some of it properties and provide a way for computing it.

First of all, we state a formula for the reduced virtual tangent bundle. Let $(\{\mathscr{V}_{i}\},\{W_{i}\})$ be the data defining a quasimap. Then the virtual tangent bundle is an equivariant K-theory class, which when restricted to a fixed point in the space of quasimaps is:

[TABLE]

where the bundle $\mathscr{R}$ is defined as in 2.1. Let us address the different terms in this formula:

• •

The term $H^{\bullet}(\mathscr{R}\oplus\hbar\,\mathscr{R}^{*})$ keeps track of deformations and obstructions of the section $f$.

• •

The term $-(1+\hbar)\bigoplus_{i}Ext^{\bullet}(\mathscr{V}_{i},\mathscr{V}_{i})$ accounts for the moment map equations, and for automorphisms and deformations of $\mathscr{V}_{i}$.

As stated above, this virtual tangent bundle comes from a perfect deformation-obstruction theory. This allows one to construct a virtual structure sheaf ${\mathcal{O}}_{\rm{vir}}$ [BF]. The virtual structure sheaf is a K-theoretic analog of the virtual fundamental class in cohomology. It was first proposed by Kontsevich in [10.1007/978-1-4612-4264-2_12] and then identified in [BF]. The virtual structure sheaf was used in Y.P. Lee’s original approach to quantum K-theory via moduli spaces of stable maps [YPLee]. Later its construction was extended to greater generality in [CFK].

Having said this, we want to stress that we will only be doing computations with the virtual structure sheaf by using virtual localization formulas, meaning that the provided formula for the virtual tangent bundle is enough for all the computations of this paper.

The symmetrized virtual structure sheaf is defined by:

[TABLE]

where $\mathscr{K}_{\textrm{vir}}={\det}^{-1}T^{\textrm{vir}}\textsf{QM}^{{\mathbf{d}}}$ is the virtual canonical bundle and $\mathscr{P}=\mathscr{R}-\bigoplus_{i}Ext^{\bullet}(\mathscr{V}_{i},\mathscr{V}_{i})$ is the polarization bundle. We do not go into details behind the construction of the square root of the canonical bundle, but yet again address the reader to section 3.2 in [Okounkov:2015aa] for the motivation and section 6.1 for its construction for the space of quasimaps.

Since we will be using the symmetrized virtual structure sheaf we will need to adjust the standard bilinear form on $K$-theory. That is the reason to for the shift of the bilinear form in (1).

Finally, all the constructions mentioned above can be generalized to quasimaps nonsingular at a point (by simply restricting sheaves to an open subset), quasimaps relative at a point (see section 6.4 in [Okounkov:2015aa]), as well as any combination of the above conditions to different points. We do not give any formulas for computing virtual structure sheaves for relative conditions, as we will not be explicitly computing any such invariants.

2.3.3. Gluing Operator

In order to construct the quantum product we need an important element in the theory of relative quasimaps, namely the gluing operator. As for all operators or enumerative invariants in this paper we will use the following notation for Kahler variables: for a vector ${\mathbf{d}}=(d_{i})$,

[TABLE]

This is the operator111In fact, the gluing operator is a rational function of the quantum parameters $\mathbf{G}\in End(K_{\mathsf{T}}(X))(z)$ and $\mathbf{G}^{-1}$ is also an endomorphism of non-localized $K$ theory (See Section 6.5 in [Okounkov:2015aa]) $\mathbf{G}\in End(K_{\mathsf{T}}(X))[[z]]$ defined by:

[TABLE]

It plays an important role in the degeneration formula, see e.g. [Okounkov:2015aa]. Namely, let a smooth curve $\mathcal{C}_{\varepsilon}$ degenerate to a nodal curve:

[TABLE]

Here $\mathcal{C}_{0,1}$ and $\mathcal{C}_{0,2}$ are two different components that are glued to each other at point $p$. The degeneration formula counts quasimaps from $\mathcal{C}_{\varepsilon}$ in terms of relative quasimaps from $\mathcal{C}_{0,1}$ and $\mathcal{C}_{0,2}$, where the relative conditions are imposed at the gluing point $p$. The family of spaces $\textsf{QM}(\mathcal{C}_{\varepsilon}\to X)$ is flat, which means that we can replace curve counts for any $\mathcal{C}_{\varepsilon}$ by $\mathcal{C}_{0}$. In particular, we can replace counts of quasimaps from ${\mathbb{P}}^{1}$ by a degeneration of it, for example by two copies of ${\mathbb{P}}^{1}$ glued at a point.

The gluing operator ${\mathbb{G}}\in\textrm{End}K_{\mathsf{T}}(X)[[z]]$ is the tool that allows us to replace quasimap counts on $\mathcal{C}_{\varepsilon}$ by counts on $\mathcal{C}_{0,1}$ and $\mathcal{C}_{0,2}$, so that the following degeneration formula holds:

[TABLE]

The corresponding picture interpretation is as follows:

=$$=$${\mathbb{G}}^{-1}

2.4. Quantum $K$-theory Ring

In this section we define multiplication and important objects of the quantum $K$-theory ring of $X$.

As a vector space quantum $K$-theory ring $QK_{\mathsf{T}}(X)$ is isomorphic to $K_{\mathsf{T}}(X)\otimes\mathbb{C}[[z_{\{i\}}]],\,i\in I$.

Definition 2.4**.**

The element of the quantum $K$-theory

[TABLE]

is called quantum tautological class corresponding to tensorial polynomial $\tau$ in tautological bundles $\mathcal{V}_{i}$. In picture notation it will be represented by

$\tau$

These classes evaluated at [math] are equal to the classical tautological classes on $X$ ($\hat{\tau}(0)=\tau$). Note that the definition depends on the tensorial polynomial $\tau$ rather than a class in K theory of $X$.

For any element $\mathcal{F}\in K_{\mathsf{T}}(X)$ the following element

[TABLE]

can be made into an operator from the second copy of ${K_{\mathsf{T}}(X)}$ to the first copy by the bilinear form $(\cdot,\cdot)$ defined above. We define the operator of quantum multiplication by $\mathcal{F}$ to be this operator shifted by ${\mathbf{G}}^{-1}$, i.e

[TABLE]

Definition 2.5**.**

We call $QK_{\mathsf{T}}(X)=K_{\mathsf{T}}(X)[[z]]$ endowed with multiplication (10), the quantum K-theory ring of $X$.

This product enjoys properties similar to the product in quantum cohomology. The proof of the following statement repeats to the proof of the analogous fact for the cotangent bundle to Grassmannian [Pushkar:2016qvw].

Theorem 2.6**.**

The quantum $K$-theory ring $QK_{\mathsf{T}}(X)$ is a commutative, associative and unital algebra.

Important Assumptions: From now on we assume that the fixed points set $X^{\mathsf{T}}$ is finite. The classes of fixed points are eigenvectors of classical multiplication in $K_{\mathsf{T}}(X)$. We assume, in addition, that for any two fixed points there exists a line bundle $\mathcal{L}$ for which the corresponding two eigenvalues are distinct. This is indeed the case for our main example in this paper, namely cotangent bundles for partial flag varieties.

After quantum deformation, the eigenvalues of quantum multiplication by $\mathcal{L}$ become power series in the Kähler parameters $z$, with the first term given by the classical eigenvalue, see Lemma 2.14 below. Thus, the eigenvalues remain distinct in a small neighborhood of zero $|z|\ll 1$. Therefore, our assumptions guarantee that the quantum K-theory ring remains diagonalizable in a perhaps deformed basis.

Remark. In general, the situation of degenerate eigenvalues is unavoidable, with Hilbert scheme of $k$ points the complex plane $X=\mathrm{Hilb}^{k}(\mathbb{C}^{2})$ as an example. Its Picard group is generated by a single element $\mathscr{O}(1)$ and the corresponding eigenvalues appear with multiplicities.

The operators of quantum multiplication by the quantum tautological bundles obey the most natural properties. First, given Kirwan’s K-theoretic surjectivity theorem, we have the following result.

Proposition 2.7**.**

Quantum tautological classes generate the quantum equivariant $K$-theory over the quantum equivariant $K$-theory of a point $QK_{\mathsf{T}}(\cdot)=\mathbb{C}[a_{m}^{\pm 1}][[z_{i}]]$ where $a_{m}$ for $m=1\cdots\dim\mathsf{T}$ are the equivariant parameters of $\mathsf{T}$.

Proof.

Since, by Kirwan’s $K$-theoretic surjectivity theorem, classical K-theory is generated by tautological classes, the quantum $K$-theory will be generated by quantum tautological classes according to Nakayama’s Lemma. ∎

Second, in contrast with quantum cohomology, the multiplicative identity of the quantum $K$-theory ring does not always coincide with the multiplicative identity of classical $K$-theory (i.e. the structure sheaf ${{\mathcal{O}}}_{X}$):

Proposition 2.8**.**

The multiplicative identity of $QK_{\mathsf{T}}(X)$ is given by $\hat{\mathbb{1}}(z)$ (i.e. the quantum tautological class for insertion $\tau=1$).

Proof.

The diagrammatic proof given in [Pushkar:2016qvw] can be applied to any Nakajima quiver variety. ∎

2.5. Vertex functions

The spaces $\textsf{QM}^{{\mathbf{d}}}_{\rm{nonsing}\,p_{2}}$ and $\textsf{QM}^{{\mathbf{d}}}_{\rm{relative}\,p_{2}}$ admit an action of an extra torus $\mathbb{C}^{\times}_{q}$ which scales the original $\mathbb{P}^{1}$ keeping points $p_{1}$ and $p_{2}$ fixed. Set $\mathsf{T}_{q}=\mathsf{T}\times\mathbb{C}^{\times}_{q}$ be the torus acting on these spaces.

Definition 2.9**.**

The element

[TABLE]

is called bare vertex with descendent $\tau$. In picture notation it will be denoted by

$\tau$

The space $\textsf{QM}^{{\mathbf{d}}}_{\rm{nonsing}\,p_{2}}$ is not proper (the condition of non-singularity at a point is an open condition), but the set of $\mathsf{T}_{q}$-fixed points is, hence the bare vertex is singular at $q=1$.

Definition 2.10**.**

The element

[TABLE]

is called capped vertex with descendent $\tau$. In picture notation it will be represented by:

$\tau$

Note here, that the definition of the capped vertex and the definition of quantum tautological classes are very similar with the main difference being the spaces they live in. By definition, the quantum tautological classes can be obtained by taking a limit of the capped vertex: $\lim_{q\to 1}\hat{V}^{(\tau)}(z)=\hat{\tau}(z)$. The last limit exists as the coefficients of $\hat{V}^{(\tau)}(z)$ are Laurent polynomials in $q$, due to the properness of the evaluation map in the relative case.

In fact, the following strong statement is known about capped vertex functions.

Theorem 2.11**.**

Power series $\hat{V}^{(\tau)}(z)$ is a Taylor expansion of a rational function in quantum parameters $z$.

Proof.

There are two different proofs of this theorem: the first is based on large framing vanishing [2016arXiv161201048S], the second originates from integral representations of solutions of quantum difference equations [Aganagic:2017be]. ∎

As a corollary, quantum tautological classes $\hat{\tau}(z)$ are rational functions of $z$.

2.6. Capping Operator and Difference Equation

The operator which relates capped and bare vertices, is known as capping operator and is defined as the following class in the localized K-theory:

[TABLE]

Bilinear form makes it an operator acting from the second to the first copy of $K_{\mathsf{T}_{q}}(X)_{loc}[[z]]$. This operator satisfies the quantum difference equations. We summarize that in the Theorem below [Okounkov:2015aa].

Theorem 2.12**.**

1)The capped vertex with descendent $\tau$ is a result of applying of the capping operator to the bare vertex

[TABLE]

his equation can be represented by the following picture notation:

\tau$$=$$\tau

2) The capping operator $\Psi(z)$ is the fundamental solution of the quantum difference equation:

[TABLE]

where $\mathcal{L}_{i}=\det(V_{i})$, $\mathcal{L}$ is the operator of classical multiplication by the corresponding line bundle and $(q^{\mathcal{L}}z)^{{\mathbf{d}}}=q^{\langle\mathcal{L},{\mathbf{d}}\rangle}z^{{\mathbf{d}}}$, where ${\mathbf{d}}\in H_{2}(X,\mathbb{Z}),\mathcal{L}\in Pic(X)$. The matrix $\mathbf{M}_{\mathcal{L}_{i}}(z)$ is

[TABLE]

where $\pi$ is a projection from $\mathcal{C}\to{\mathbb{P}^{1}}$ as in definition 2.1 and $\mathcal{O}_{p_{1}}$ is a class of point $p_{1}\in{\mathbb{P}^{1}}$.

Remark. The explicit form of operator $\mathbf{M}_{\mathcal{L}_{i}}$ is known for arbitrary Nakajima variety. It is constructed in terms of representation theory terms of quantum loop algebra associated with a quiver [Okounkov:2016sya].

Operators $\mathbf{M}_{\mathcal{L}_{i}}(z)$ turn out to be closely related to quantum tautological line bundles as the following Theorem suggests, which is a direct generalization of Theorem 10 of [Pushkar:2016qvw].

Theorem 2.13**.**

In the limit $q\to 1$ operators $\mathbf{M}_{\mathcal{L_{i}}}(z)$ coincide with the operators of quantum multiplication on the corresponding quantum tautological bundles:

[TABLE]

We will use this fact to compute the formula for the eigenvalues of the operators $\hat{\tau}(z)$.

Let us introduce the following notation. The eigenvalues of $\widehat{\mathcal{L}}_{i}(z)$ are $\lambda_{{\bf p},i}(z)$, so that $\lambda_{{\bf p},i}(0)=\lambda^{0}_{{\bf p},i}$, the eigenvalue of the classical multiplication on $\mathcal{L}_{i}$, corresponding to a fixed point $\mathbf{p}\in X^{\mathsf{T}}$. Using standard arguments of perturbation theory [kato1952], the above assumption gives:

Lemma 2.14**.**

The eigenvalues of $\widehat{\mathcal{L}}_{i}(z)$ are power series in Kähler parameters $\lambda_{{\bf p},i}(z)\in\mathbb{C}[[z_{1},z_{2},\dots]]$.

Proof.

We assume that there is only one Kähler parameter which we denote $z$. The general case then follow from the same argument applied for each $z_{i}$.

The eigenvalues of $\widehat{\mathcal{L}}_{i}(z)$ belong to the algebraic closure of the field of Laurant series, i.e., they are elements of the field of Puiseux series in $z$. Assume that for some $\widehat{\mathcal{L}}_{i}(z)$, there is an eigenvalue which is a non-trivial Puiseux series. In other words it is of the form

[TABLE]

with $m>1$. There are no negative powers of $z$ because $\widehat{\mathcal{L}}_{i}(0)$ are regular by our assumption.

Then, there is a set of $m$ eigenvectors, say, labeled by subset of fixed points $\{{\bf p}_{1},\dots,{\bf p}_{m}\}$ which undergo a cyclic permutation once we go around $z=0$ along a circle of sufficiently small radius, i.e., when the Kähler parameter transforms $z\to ze^{2\pi i}$. This is only possible when the leading coefficient of the eigenvalues $\lambda_{{\bf p}_{1},j}(0)=\dots=\lambda_{{\bf p}_{m},j}(0)$ for all $j$. In other words, there is no $\mathcal{L}_{j}$ for which the corresponding eigenvalues are distinct. We arrive at a contradiction, thus $m=1$. ∎

Let ${l}_{\mathbf{p},i}=\frac{\lambda_{{\bf p},i}(z)}{\lambda^{0}_{{\bf p},i}}$ be the normalized eigenvalue.

Lemma 2.15**.**

The following function

[TABLE]

where $\int d_{q}tf(t)=(1-q)\sum^{\infty}_{n=0}f(tq^{n})$ is the standard Jackson $q$-integral, satisfies

[TABLE]

We denote

[TABLE]

Let us formulate an omnibus theorem concerning the solutions of the system of difference equations and eigenvalues of quantum multiplication operators.

Theorem 2.16**.**

1. (1)

The operator $\Psi(0)$ is the identity operator. 2. (2)

Let $\Psi_{{{\textbf{p}}}}(z)$ be the p-th column of the matrix $\Psi(z)$. In the limit $q\mapsto 1$ the capping operator has the following asymptotic expansion

[TABLE]

where $\psi_{{\textbf{p}}}(z)$ are the column eigenvectors of the operators of quantum multiplication corresponding to the fixed point p and dots stand for the terms vanishing in the limit $q\to 1$. 3. (3)

The identity element in the quantum K-theory decomposes in the following manner

[TABLE]

where $v_{{\textbf{p}}}(z)$ are the eigenvalues of quantum multiplication . 4. (4)

The coefficients of the bare vertex function have the following $q\to 1$ asymptotic in the fixed points basis

[TABLE]

where $\tau_{{\textbf{p}}}(z)$ denotes the eigenvalue of the operator of quantum multiplication by quantum tautological bundle $\hat{\tau}(z)$ for the eigenvector $\psi_{{\textbf{p}}}(z)$, dots stand for the terms vanishing in the limit $q\to 1$.

For the proof of this theorem we will refer the reader to [Pushkar:2016qvw], where it is proven in the case of a single variable $z$, when $X$ is $T^{*}Gr(k,n)$. Current theorem is a direct generalization.

Part (4) of the Theorem above immediately implies that the eigenvalues of the operator of quantum multiplication by $\hat{\tau}(z)$ can be computed from the asymptotics of the bare vertex functions.

Corollary 2.17**.**

The following expression:

[TABLE]

gives the eigenvalues of the operator of quantum multiplication by $\hat{\tau}(z)$ corresponding to a fixed point ${\textbf{p}}\in X^{\mathsf{T}}$.

3. Computations for Partial Flags

In this section we will study in detail and apply the formalism which we have developed in the previous section to the case when Nakajima quiver variety $X$ is the cotangent bundle to the space of partial flags. In other words, we are interested in studying quantum K-theory of the following quiver of type $A_{n}$222We are using standard quaternionic notations.

\mathbf{v}_{1}$$\mathbf{v}_{2}$$\ldots$$\mathbf{v}_{n-1}$$\mathbf{w}_{n-1}

The stability condition is chosen so that maps $W_{n-1}\to{\bf V}_{n-1}$ and $V_{i}\to V_{i-1}$ are surjective. For the variety to be non-empty the sequence $\mathbf{v}_{1},\ldots,\mathbf{v}_{n-1},\mathbf{w}_{n-1}$ must be non-decreasing. The fixed points of this Nakajima quiver variety and the stability condition are classified by chains of subspaces spanned by coordinate vectors $\mathbf{V}_{1}\subset\ldots\subset\mathbf{V}_{n-1}\subset\mathbf{W}_{n-1}$, where $|\mathbf{V}_{i}|=\mathbf{v}_{i},\mathbf{W}_{n-1}=\{a_{1},\ldots,a_{\mathbf{w}_{n-1}}\}$. The special case when ${\bf v}_{i}=i$, ${\bf w}_{n-1}=n$ is known as complete flag variety, which we denote as $\mathbb{F}l_{n}$. It will be convenient to introduce the following notation: $\mathbf{v}_{i}^{\prime}=\mathbf{v}_{i+1}-\mathbf{v}_{i-1}$, for $i=2,\ldots,n-2$, $\mathbf{v}_{n-1}^{\prime}=\mathbf{w}_{n-1}-\mathbf{v}_{n-2}$, $\mathbf{v}_{1}^{\prime}=\mathbf{v}_{2}$.

Remark. In principle, in the computations below one could add extra framings to vertices to study the most generic situation in the setting of $A_{n}$ quiver, but we shall refrain from doing it in this work to make calculations more transparent and simple.

3.1. Bare vertex for partial flags

The key for computing the bare vertex is the localization theorem in K-theory, which gives the following formula for the equivariant pushforward, which constitutes bare vertex $V^{(\tau)}_{{\textbf{p}}}(z)$:

[TABLE]

Here the sum runs over the $\mathsf{T}$-fixed quasimaps which take value p at the nonsingular point $p_{2}$. We use notation $\hat{s}$ for the Okounkov’s roof function defined by

[TABLE]

and it is applied to the virtual tangent bundle:

[TABLE]

The condition ${\bf d}\in\mathbb{Z}^{n}_{\geq 0}$ is determined by stability conditions, which characterize all allowed degrees for quasimaps.

It will be convenient to adopt the following notations:

[TABLE]

The following statement is true (for the proof see section 3.4 of [Pushkar:2016qvw]).

Lemma 3.1**.**

The contribution of equivariant line bundle $xq^{-d}\mathcal{O}(d)\subset\mathcal{P}$ to $\chi(\mathbf{d})$ is $\{x\}_{d}$.

To compute the vertex function we will also need to classify fixed points of $\textsf{QM}^{\bf d}_{{\rm nonsing}\,p_{2}}$. Such a point is described by the data $(\{\mathscr{V}_{i}\},\{\mathscr{W}_{n-1}\})$, where ${\rm deg}\mathscr{V}_{i}=d_{i},{\rm deg}\mathscr{W}_{n-1}=0$. Each bundle $\mathscr{V}_{i}$ can be decomposed into a sum of line bundles $\mathscr{V}_{i}=\mathcal{O}(d_{i,1})\oplus\ldots\oplus\mathcal{O}(d_{i,{\bf v}_{i}})$ (here $d_{i}=d_{i,1}+\ldots+d_{i,{\bf v}_{i}}$). For a stable quasimap with such data to exist the collection of $d_{i,j}$ must satisfy the following conditions

• •

$d_{i,j}\geq 0$,

• •

for each $i=1,\ldots,n-2$ there should exist a subset in $\{d_{i+1,1},\ldots d_{i+1,{\bf v}_{i+1}}\}$ of cardinality ${\bf v}_{i}$ $\{d_{i+1,j_{1}},\ldots d_{i+1,j_{{\bf v}_{i}}}\}$, such that $d_{i,k}\geq d_{i+1,j_{k}}$.

To summarize, we will denote collections satisfying such conditions as lying in a chamber $d_{i,j}\in C$.

Now we are ready to sum up contributions for the entire vertex function.

Proposition 3.2**.**

Let ${\textbf{p}}=\mathbf{V}_{1}\subset\ldots\subset\mathbf{V}_{n-1}\subset\{a_{1},\cdots,a_{\mathbf{w}_{n-1}}\}$ $(\mathbf{V}_{i}=\{x_{i,1},\ldots x_{i,\mathbf{v}_{i}}\})$ be a chain of subspaces defining a torus fixed point ${\textbf{p}}\in X^{\mathsf{T}}$. Then the coefficient of the vertex function for this point is given by:

[TABLE]

where ${\mathbf{d}}=(d_{1},\ldots,d_{n-1}),d_{i}=\sum_{j=1}^{\mathbf{v}_{i}}d_{i,j},N({\mathbf{d}})=\mathbf{v}_{i}^{\prime}d_{i}$,

[TABLE]

[TABLE]

[TABLE]

Proof.

For the proof we need to gather all contributions $\mathscr{P}$, which separate into 3 types:

[TABLE]

so that their input in the localization formula is as follows.

[TABLE]

[TABLE]

[TABLE]

Note, that $\deg(\mathscr{P})=N({\mathbf{d}})$. That gives the polarization term $q^{N({\mathbf{d}})/2}$ in the vertex. ∎

The same formula for the vertex can an be obtained using the following integral representation [Aganagic:2017la], [Aganagic:2017be]. It is very useful for a lot of applications, in particular for computing the eigenvalues $\tau_{\bf p}(z)$.

Proposition 3.3**.**

The bare vertex function is given by

[TABLE]

where

[TABLE]

[TABLE]

[TABLE]

[TABLE]

*and the contour $C_{\bf p}$ runs around points corresponding to chamber $C$, which we have defined after Lemma 3.1, and the shifted variable $z^{\sharp}=z(-\hbar^{{}^{1}/_{2}})^{\det(\mathscr{P})}$ 333 Note that here we are using the notation defined for $z$ for $(-\hbar^{{}^{1}/_{2}})$, i.e.

$z^{\sharp}=\prod_{i=1}^{n-1}z^{\sharp}_{i},$

$z^{\sharp}_{i}=z_{i}(-\hbar^{{}^{1}/_{2}})^{\mathbf{v}_{i}^{\prime}}.$

.*

3.2. Bethe Equations and Baxter Operators

We are now ready to compute the eigenvalues of the operators corresponding to the tautological bundles.

Theorem 3.4**.**

The eigenvalues of $\hat{\tau}(z)\circledast$ is given by $\tau({s_{i,k}})$, where $s_{i,k}$ satify Bethe equations:

[TABLE]

where $k=1,\dots,\textbf{v}_{i}$ for $i=1,\dots,\textbf{v}_{n-1}$.

Proof.

There are several ways of obtaining these equations. One way corresponds to the study of asymptotics of (20) as it was done in section 3.5 of [Pushkar:2016qvw]. However, there is a shortcut recently provided by [Aganagic:2017be]. One chooses a preimage of the class $TX$ in $K_{\prod_{i}GL(V_{i})\times GL(W_{n-1})}(pt)$ under the Kirwan map, so that $a_{j}$ are coordinates of the torus acting on $W_{n-1}$ and $s_{i,k}$ are coordinates of the torus acting on $V_{i}$. In this case we have

[TABLE]

To get Bethe equations we use the following formula from the Appendix to [Aganagic:2017be]:

[TABLE]

where $\widehat{a}\left(\sum n_{i}x_{i}\right)=\prod{\left(x_{i}^{1/2}-x_{i}^{-1/2}\right)}^{n_{i}}$. ∎

The equations (23) are Bethe ansatz equations for the periodic anisotropic $\mathfrak{gl}(n)$ XXZ spin chain on $\mathbf{w}_{n-1}$ sites with twist parameters $z_{1},\dots,z_{n-1}$, impurities (shifts of spectral parameters) $a_{1},\dots,a_{\mathbf{w}_{n-1}}$, and quantum parameter $\hbar$, see e.g. [Bogolyubov:1993qism], [Reshetikhin:2010si].

Let us consider the quantum tautological bundles $\widehat{\Lambda^{k}V_{i}}(z)$, $k=1,\dots,\mathbf{v}_{i}$. It is useful to construct a generating function for those, namely

[TABLE]

The seemingly strange $\hbar$ weights will be necessary in Section 4. In the integrable system literature these operators are known as Baxter operators [Baxter:1982zz],[Reshetikhin:2010si]. The following Theorem is a consequence of (20).

Proposition 3.5**.**

The eigenvalues of the operator ${\bf Q}_{i}(u)$ are the following polynomials in $u$:

[TABLE]

so that the coefficients are elementary symmetric functions in $s_{i,k}$ for fixed i.

Remark. To obtain the full Hilbert space of a $\mathfrak{gl}(n)$ $XXZ$ model one has to consider a disjoint union of all partial flag varieties with framing ${W}_{n-1}$ fixed, so that in the basis of fixed points the classical equivariant K-theory can be expressed as a tensor product $\mathbb{C}^{n}(a_{1})\otimes\mathbb{C}^{n}(a_{2})\otimes\dots\mathbb{C}^{n}(a_{{\bf w}_{n-1}})$, where each of $\mathbb{C}^{n}(a_{i})$ is an evaluation representation of $U_{\hbar}(\widehat{\mathfrak{gl}}(n))$, see e.g. [Nakajima:2001qg]. There is a special interesting question regarding universal formulas for operators $\mathbf{Q}_{i}(u)$ which we used in [Pushkar:2016qvw] for $\mathfrak{gl}(2)$ model, corresponding to prefundamental representations of the Borel subalgebra of $U_{\hbar}(\widehat{\mathfrak{gl}}(n))$ [Frenkel:2013uda].

3.3. Compact limit

In this section we study the limit of $\hbar\to\infty$ of the vertex functions and the Bethe equations. We recall that $\hbar$ is the equivariant parameter of the torus which scales the cotangent directions in $T^{*}Fl_{n}$. Later in Section 5 we also show that the limit $\hbar\to\infty$ of the ring $QK_{T}(T^{*}Fl_{n})$ coincides with the quantum K-theory ring of complete flag varieties computed by Givental and Lie in [2001math8105G]. It is thus natural to call $\hbar\to\infty$ - the compact limit.

In order to make the limit $\hbar\to\infty$ of vertex functions and Bethe equations well defined, we also need to rescale the equivariant parameters $z_{i}$ by powers of $\hbar$. Here is the exact procedure:

Theorem 3.6**.**

In the limit $\hbar\to\infty$ with Kähler parameters $\{z\}$ scaled so that $\{z^{\sharp}\}$ remains fixed

1. (1)

*the vertex functions (22) have well defined limits. * 2. (2)

The limits of Bethe ansatz equations exist and take the form

[TABLE]

Proof.

When applying the localization theorem to compute the bare vertex for the cotangent bundle to partial flags we can break up the terms in pairs of the form $(\omega,\omega^{-1}\hbar)$. The latter corresponds to the cotangent fiber. The contribution of such a pair to the vertex will be equal to:

[TABLE]

Therefore after rescaling by $(-\hbar^{{}^{1}/_{2}})$, which corresponds to expressing $z$ in terms of $z^{\sharp}$ will be equal to $\frac{1}{1-\omega^{-1}}$ in the $\hbar\to\infty$ limit, that is exactly the contribution of $\omega$ in the case of the partial flag variety. One can check that the resulting sum is indeed finite by looking at the integral formula for the vertex (22). Namely, the integrand in the expression for the vertex after fiber removal is as follows:

[TABLE]

[TABLE]

[TABLE]

In order to obtain the corresponding Bethe equations, one can again compute $q\to 1$ asymptotics or just simply evaluating the limit $\hbar\to\infty$ of (23) while expressing $z$ in terms of $z_{\sharp}$. ∎

4. The XXZ/tRS Duality

In this section we discuss the duality between XXZ spin chain and trigonometric Ruijsenaars-Schneider (tRS) model which first appeared in physics literature [Gaiotto:2013bwa, Bullimore:2015fr]. It was there referred to as quantum/classical duality. Here we will prove main statements of [Bullimore:2015fr].

4.1. The XXZ Spin Chain

To start let us change the Kähler parameters in Bethe equations (23) according to

[TABLE]

In what follows we shall treat Kähler variables $\zeta_{i}$ as formal.

Additionally after rescaling Bethe roots and equivariant parameters

[TABLE]

we arrive at the following set of equations which is equivalent to (23)

[TABLE]

where in the middle equation $i=2,\dots,n-2$ and $\delta_{i}=\textbf{v}_{i-1}+\textbf{v}_{i}+\textbf{v}_{i+1}-1$. The reader may notice that we use slightly non-standard notation for Bethe equations, in particular, parameters $a_{\beta}$ appear in the last equation $i=n-1$ (instead of the first equation). Sign factors $(-1)^{\delta_{i}}$ in the right hand sides are artifacts of this choice. However, as we saw in the previous section this way of writing the equations is more convenient from geometric point of view. Later we shall see that this framework will be convenient in the derivation of the Lax matrix of the trigonometric Ruijsenaars-Schneider model.

Meanwhile, if we denote $\textbf{v}_{0}=0\,,\textbf{v}_{n}=\textbf{w}_{n-1}$, $\sigma_{n,\beta}=\mathsf{a}_{\beta}$ for $\beta=1,\dots,\textbf{w}_{n-1}$ then (4.1) can be written more uniformly as follows

[TABLE]

Following (27) let us write eigenvalues $Q_{i}(u)$ of Baxter operators in terms of the new variables and complement it with $Q_{n}(u)$, being the generating function for elementary symmetric functions of equivariant parameters.

[TABLE]

In addition, we define shifted polynomials when their arguments are multiplied by $\hbar^{-\frac{1}{2}}$ to the corresponding power: $Q_{i}^{(n)}(u)=Q_{i}(\hbar^{-\frac{n}{2}}u)$, etc.

Then Bethe equations (36) can be expressed in terms of these polynomials as follows

Lemma 4.1**.**

The equation for Bethe root $\sigma_{i,\alpha}$ in (36) arises by setting $u=\sigma_{i,\alpha}$ in the equation below

[TABLE]

where $\Delta_{i}=\textbf{v}_{i+1}+\textbf{v}_{i-1}-2\textbf{v}_{i}$.

Note that sign $\delta_{i}$ disappeared.

In order to proceed further we need to rewrite (38) in a slightly different way.

Proposition 4.2**.**

Suppose that $\zeta_{i+1}\notin\hbar^{\mathbb{N}}\zeta_{i}$ for all $i$. Then the system of equations (38) upon change of parameters $\widetilde{\zeta}_{i}=\zeta_{i}\,\hbar^{-\sum_{j=1}^{i-1}\frac{\Delta_{j}}{2}}$ is equivalent to the existence of auxiliary polynomials $\widetilde{Q}_{i}$ of degrees $\textbf{v}_{i-1}-\textbf{v}_{i}+\textbf{v}_{i+1}$ satisfying the following system of equations

[TABLE]

The polynomials $\widetilde{Q}_{i}(u)$ are unique.

Proof.

Let $g(z)=\widetilde{Q}_{i}(z)/Q_{i}(z)$ and $f(z)=(\widetilde{\zeta}_{i+1}-\widetilde{\zeta}_{i})Q_{i-1}^{(1)}Q_{i+1}^{(1)}$ so that (39) can be written as

[TABLE]

Then we have the following partial fraction decompositions

[TABLE]

where $h(z)$ and $\tilde{g}_{i}(z)$ are polynomials. In order for the residues at each $\sigma_{i,a}$ to match on both sides of (40), one needs

[TABLE]

The second equality is merely the Bethe equations (38) in the alternate form

[TABLE]

or, equivalently,

[TABLE]

Next, to solve for the polynomial $\tilde{g}_{i}(z)$, set $\tilde{g}_{i}(z)=\sum r_{j}z^{j}$ and $h(z)=\sum s_{j}z^{j}$. We then obtain the equations $r_{j}(\widetilde{\zeta}_{i+1}\hbar^{-j}-\widetilde{\zeta}_{i})=s_{j}$. Our assumptions on the $\zeta$’s imply that these equations are always solvable. Thus, there exist polynomials $\widetilde{Q}_{i}(z)$ satisfying (39) if and only if the Bethe equations hold. The uniqueness of $\widetilde{Q}_{i}(z)$ follows from the uniqueness of the coefficients of $\tilde{g}_{i}(z)$. ∎

Remark. It is worth noting, that the operators, whose eigenvalues are $\widetilde{Q}_{i}$ are not just auxiliary, but have a geometric meaning. Namely, they correspond to the generating functions of quantum tautological classes of exterior powers of the flop flag variety, i.e. $V^{\vee}_{i}$, so that the sequence $0\to V_{i}\to W_{n-1}\to V_{i}^{\vee}\to 0$ is exact.

From now on let us study solutions of Bethe equations corresponding to complete flag, namely for $\textbf{v}_{i}=i$ in (36) and $\textbf{w}_{n-1}=n$.

Proposition 4.3**.**

The system of equations (38) for $\textbf{v}_{i}=i$ is equivalent to the following system of equations

[TABLE]

Indeed, in this case $\Delta_{i}=0$ and $\widetilde{z}_{i}=\zeta_{i}$.

4.2. Construction of the tRS Lax Matrix

Here we shall find a general solution for $Q_{i}$ (the so-called Baxter polynomials) which solves (45). First we need to prove the following (variables $\gamma_{1},\dots,\gamma_{k-1}$ are assumed to be formal variables)

Lemma 4.4**.**

Let $f_{1},\dots,f_{k-1}$ be polynomials that do not vanish at [math], and let $g$ be an arbitrary polynomial. Then there exists unique polynomial $f_{k}$ satisfying

[TABLE]

where the numbers in the parentheses in the superscripts denote multiplicative shifts of the argument of the corresponding polynomials, i.e. $f_{i}^{(-2)}(u)=f_{i}(\hbar u)$. Moreover, if $g(0)\neq 0$, then $f_{k}(0)\neq 0$.

Proof.

Let $V(\gamma_{1},\dots,\gamma_{k})$ denote the $k\times k$ Vandermonde matrix.

[TABLE]

We recall that this determinant is nonzero if and only if the $\gamma_{i}$’s are distinct.

Set $f_{j}(z)=\sum a_{ji}z^{i}$ and $g(z)=\sum b_{i}z^{i}$, and let $F$ denote the matrix in (46). We show that we can find $a_{kj}$’s recursively. Expanding by minors along the bottom row, we get $g=\sum_{j=1}^{k}(-1)^{k+j}\det F_{k,j}f_{k}^{(j-1)}$. First we equate the constant terms. This gives

[TABLE]

Since the $\gamma_{j}$’s are distinct, the Vandermonde determinant is nonzero. Moreover, $a_{j0}\neq 0$ for $j=1,\dots,k-1$. Thus, we can solve uniquely for $a_{k0}$. In particular, if $b_{0}=0$, then $a_{k0}=0$.

Now we need to make an inductive step. Assume that we have found unique $a_{kr}$ for $r<s$ such that the polynomial equation (46) has equal coefficients up through degree $s-1$. We now look at the coefficient of $z^{s}$. The only way that $a_{ks}$ appears in this coefficient is through the constant terms of the minors $F_{k,j}$. To be more explicit, equating the coefficient in front of $z^{s}$ in (46) expresses $c\,a_{ks}$ as a polynomial in known quantities, where

[TABLE]

The condition on the $\gamma_{j}$’s implies that the Vandermonde determinant is nonzero, so there is a unique solution for $a_{ks}$. ∎

Proposition 4.5**.**

Given polynomials $Q_{j},\widetilde{Q}_{j}$ for $j=1,\dots,n$ satisfying (45), there exist unique monic degree one polynomials $q_{1},\dots q_{n}$ such that

[TABLE]

where

[TABLE]

where the Vandermonde matrix in the last equation is given by (47).

Proof.

Let us observe that since $P$ and $Q_{k}$ (37) do not vanish at [math] since Bethe roots and equivariant parameters are formal variables: $Q_{k}(0)\neq 0$ for all $k$. This implies that $\widetilde{Q}_{k}(0)\neq 0$ for all $k$ as well; otherwise, by (45), either $Q_{k-1}$ or $Q_{k+1}$ would vanish at [math].

One can then see that the desired structure of Baxter polynomials $Q_{k}$ and $\widetilde{Q}_{k}$ emerges if we solve the equations iteratively. From the first equation from (45) we get

[TABLE]

In what follows we relabel $Q_{1}=q_{1}$ and $\widetilde{Q}_{1}=q_{2}$. From the formula it is obvious that both polynomials $q_{1}$ and $q_{2}$ are monic of degree one:

[TABLE]

where due to the above reasoning their roots $p_{1}$ and $p_{2}$ are nonzero complex numbers.

Next, suppose that for $2\leq k\leq n-1$, we have shown that there exist unique polynomials $q_{1},\dots,q_{k}$ such the formulae for $Q_{j}$ (resp. $\widetilde{Q}_{j}$) in (48) hold for $1\leq j\leq k$ (resp. $1\leq j\leq k-1$). Furthermore, assume that none of these polynomials vanish at [math]. We will show that there exists a unique $q_{k+1}$ such that the formulae for $Q_{k+1}$ and $\widetilde{Q}_{k}$ hold and that $q_{k}(0)\neq 0$. This will prove the lemma.

We use Lemma 4.4 to define $q_{k+1}$. In the notation of that lemma, set $f_{j}=q_{j}^{(k)}$ and $\gamma_{j}=\zeta_{j}$ for $1\leq j\leq k$, and set $g=(\det V_{1,\dots,k})\widetilde{Q}_{k}$. By the inductive assumption $f_{j}(0)\neq 0$ for $1\leq j\leq k$, so there exists a unique $f_{k}$ satisfying (46). Moreover, $g(0)\neq 0$, so $f_{k}\neq 0$. It is now clear that $q_{k+1}=f_{k+1}^{(k+1)}$ is the unique polynomial satisfying the formula in (48) for $\widetilde{Q}_{k}$. Clearly $q_{k+1}(0)\neq 0$.

To complete the inductive step, it remains to show that the formula for $Q_{k+1}$ is satisfied. Recall that

[TABLE]

which will be also the value for $\text{det}(V_{i_{1},\dots,i_{k}})$ and

[TABLE]

Now we can plug in $Q$-polynomials from (48) into (45), which we want to verify. Using the above formulae for the Vandermonde determinants we see that (45) is reduced to

[TABLE]

where we recall that the numbers in the parentheses denote multiplicative shifts of the argument of $q$-polynomials by $\hbar^{-\frac{1}{2}}$. We will now prove that (53) is equivalent to the Desnanot-Jacobi444Desnanot-Jacobi-Dodgson/Lewis Caroll identity determinant identity for matrix $M_{1,\ldots,j+1}$, which can be written as follows

[TABLE]

Here we denoted $M=M_{1,\ldots,k+1}$, $(k+1)\times(k+1)$ matrix of the form (49), and $M_{b}^{a}$ is a submatrix which is obtained from $M$ by removing $a$-th row and $b$-th column. Note that (53) has shifts of the $q$-polynomials, whereas (54) does not. However, due to the periodic structure in the columns we can relate shifted $k\times k$ matrices from (53) with submatrices of $M$. Moreover, one can see that

[TABLE]

but other matrices do not match directly, albeit they look similar. Let us multiply both sides of (53) by $\prod_{l=1}^{k-1}\zeta_{l}$. Then we can absorb this product on the left into matrices $M^{(-1)}_{1,\ldots,k-1,k+1}$ and $M^{(-1)}_{1,\ldots,k}$ by multiplying each of its first $k-1$ rows by $\zeta_{i},\,i=1,\dots,k-1$; while on the right we absorb it into matrix $M_{1,\ldots,k-1}$. Additionally in the left hand side we absorb $\zeta_{k+1}$ into the last row of $M^{(-1)}_{1,\ldots,k-1,k+1}$ and $\zeta_{k}$ into the last row of $M^{(-1)}_{1,\ldots,k}$. To summarize

[TABLE]

and

[TABLE]

so (53) is equivalent to (54). Therefore $Q\widetilde{Q}$ relations (45) are equivalent to the Desnanot-Jacobi identity provided that (48,49) hold. ∎

Finally we are ready to prove the main theorem which relates XXZ Bethe equations with trigonometric RS model.

Theorem 4.6**.**

Let $L$ be the following matrix

[TABLE]

Then for each eigenvector of the operator of quantum multiplication by

[TABLE]

the corresponding eigenvalue defines a unique solution of

[TABLE]

where $P(u)$ is given by (37). This correspondence establishes a bijection between solutions of (60) and the above eigenvectors.

Proof.

Using Proposition 4.5 we can put $j=n$ in (48)

[TABLE]

Let us multiply $i$th column of $M_{1,\ldots,n}$ by $\hbar^{\frac{2i-n-1}{2}}$. Since $\prod_{i=1}^{n}\hbar^{\frac{2i-n-1}{2}}=1$ the determinant of this matrix will remain unchanged, however, each matrix element will now contain a monic polynomial in $u$ of degree one, while the multiplicative shifts will be applied to its coefficients $p_{i}$. Let us call this matrix $M^{\prime}_{1,\ldots,n}(u)$. Notice that

[TABLE]

We can now simplify the formulae by inverting Vandermonde matrix $V_{1,\ldots,n}$ as follows

[TABLE]

where

[TABLE]

Straightforward computation shows that $L$ is provided by (58). Indeed, the inverse of the Vandermonde matrix reads

[TABLE]

where

[TABLE]

and

[TABLE]

Then we have

[TABLE]

Thus, according to (64)

[TABLE]

∎

Along the way we have discovered a new presentation of the tRS Lax matrix in terms of products of Vandermonde-type matrices (64).

It remains to prove that momenta $p_{i}$ which appear as roots of first degree polynomials $s_{i}$ are given by formula (66) which provides geometric meaning of the tRS momenta.

Lemma 4.7**.**

Given $q_{i}(z)=z-p_{i},\,i=1,\dots,n$ in matrix $M_{1,\dots,n}$ from (49) the following formula

[TABLE]

Proof.

Let us evaluate matrix $M_{1,\dots,k}(z)$ at $z=0$ for $k=1,\dots,n$. The following immediately follows

[TABLE]

since $\left(M_{1,\dots,k}(0)\right)_{i,j}=-\zeta_{i}^{j-1}p_{i}$ and $\left(V_{1,\dots,k}\right)_{i,j}=\zeta_{i}^{j-1}$. Therefore, according to Proposition 4.5

[TABLE]

which proves formula (66).

∎

Matrix $L$ is known as Lax matrix for the trigonometric Ruijsenaars-Schneider model555In the literature slightly different normalizations are sometimes used.. The theorem shows that its characteristic polynomial is equal to Baxter polynomial $P(u)$ whose roots are equivariant parameters $a_{1},\dots,a_{n}$. By expanding both sides of (60) in $u$ we find explicitly the tRS Hamiltonians $H_{1},\dots,H_{n}$

[TABLE]

are equal to the corresponding elementary symmetric functions of the equivariant parameters

[TABLE]

where

[TABLE]

The phase space of the tRS model is described as follows. Parameters $\zeta_{1},\dots,\zeta_{n}$ and their conjugate momenta $p_{1},\dots,p_{n}$ serve as canonical coordinates on the cotangent bundle to $\left(\mathbb{C}^{\times}\right)^{n}$. The symplectic form reads

[TABLE]

Remark. It was shown in [Bullimore:2015fr] classical momenta $p_{i}$ can be determined from the (exponentials of) derivatives of the so-called Yang-Yang function666Bethe equations arise as derivatives of the Yang-Yang function with respect to all Bethe roots $\sigma_{i,k}$. for Bethe equations (4.1). These defining relations describe a complex Lagrangian submanifold $\mathcal{L}\subset T^{*}\left(\mathbb{C}^{\times}\right)^{n}$, such that the generating function for this submanifold ($\Omega$ is identically zero on $\mathcal{L}$) is given by the Yang-Yang function. It is important to mention that relation of the spectrum of XXZ spin chains to Yang-Yang function was previously noted in the study of quantum Knizhnik-Zamolodchikov equations [Tarasov:].

Proposition 4.8**.**

The Hamiltonians of the $n$-body tRS model are given by

[TABLE]

where $r=0,1,\ldots,n$. In particular,

[TABLE]

Note that $H_{1},\dots,H_{r}$ coincide with the classical version of the Macdonald difference operators.

Proof.

Let us first see how the proposition works in the case of $2\times 2$ matrix, i.e. $n=2$. In this case the $L$-matrix looks like this:

[TABLE]

An elementary calculation shows that the statement is true and in particular, the determinant of this matrix is equal to $p_{1}p_{2}$ due to the fact that the second order pole in $(\zeta_{1}-\zeta_{2})$ disappear. This will be relevant in the case of higher $n$.

To prove the statement in the case of general $n$ we use the Fredholm decomposition:

[TABLE]

where $\Lambda^{r}$ denotes the exterior power. Clearly, $\text{Tr}\,\Lambda^{r}(L)$ is just the sum over all minors of rank r. Let us look at the terms representing each minor in detail. The explicit expression for each of them is given by the sum over the products of its matrix elements accompanied by a sign. It is easy to see that the common divisor for such products is exactly

[TABLE]

where $\mathcal{I}$ is the number of indices representing the minor. Other terms involve products with poles $(\zeta_{i}-\zeta_{j})$ where both $i,j$ belong to $\mathcal{I}$. Let us show that all of these poles disappear as in the $2\times 2$ case. Note, that such pole $(\zeta_{i}-\zeta_{j})$ appears twice in each product. Let us show that there is no such pole in the final expression. To do that let us expand each minor using the row decomposition till we reach the $2\times 2$ minor $L_{\{i,j\}}$. Clearly, this is the only term in this expansion containing such a pole, and by the same calculation as in $2\times 2$ case as above, it cancels out. Therefore, the coefficient of (77) in the expansion does not depend on $\zeta_{i}$ as one can deduce from counting the powers of $\zeta_{i}$ in the numerator and the denominator. To finish the proof one needs to show that the resulting constant is equal to 1 for any $\mathcal{I}$. That is clear from the normalization of “non-difference terms”, in numerator, which are responsible for pole cancellation, namely $\zeta_{i}(\hbar^{-^{1}/_{2}}-\hbar^{{}^{1}/_{2}})$. ∎

We are now ready to formulate the main theorem of this section. In (31) we can put $\zeta_{n}=1$ and express the variables $\zeta_{j}$ via $z_{i}$ as

[TABLE]

One can notice that the Hamiltonians $\{H_{r}\}$ depend only on the momenta $\{p_{i}\}$ and the ratios of the coordinates $\{\zeta_{i}\}$ and thus are the functions of the variables $\{p_{i}\},\{z_{i}\}$.

Theorem 4.9**.**

The quantum equivariant K-theory of the cotangent bundle to complete n-flag is given by

[TABLE]

where $R_{1},\dots,R_{n}$ are the coefficients of the following polynomial:777Notice that relations $R_{i}=0$ are nothing but tRS energy level equations $H_{i}=e_{i}$ (see (70)) multiplied by common denominator for each $i=1,\dots,r$.

[TABLE]

Proof.

The statement directly follows from Proposition 2.7, the fact that coefficients of ${\bf Q}_{i}$-operators are generators of all tautological bundles, and Theorem 4.6. ∎

Remark. We mention that in [Rimanyi:2014ef] (section 13) the authors conjectured the generators and relations for quantum K-theory of cotangent bundles of flag varieties. In the case at hand (full flags) we indicate that our formulas do coincide, thus proving the conjecture of [Rimanyi:2014ef].

We also indicate that the relations between various limits of spin chain models and many body systems were studied extensively in recent years within integrable systems community, see e.g. [Mukhin:], [Zabrodin:].

4.3. Dual tRS Model from XXZ Chain

In (73) tRS Hamiltonians are functions of quantum parameters $\zeta_{1},\dots,\zeta_{n}$ and the eigenvalues (71) are given by symmetric polynomials of equivariant parameters. It turns out that there is a dual formulation of the integrable model such that these parameters switch roles and is know as bispectral duality. We can show that from starting from Bethe equations (36) we can derive the dual set of tRS Hamiltonians.

Theorem 4.10**.**

Let $L^{!}$ be the following matrix

[TABLE]

where

[TABLE]

Then Bethe equations (36) are equivalent to

[TABLE]

In other words, diagonalization of the Lax matrix $L^{!}$ of the dual $n$-body tRS model is equivalent to solving the same Bethe equations (36). We can see that bispectral duality works in the following way on the level of Lax matrices

[TABLE]

Note that in order to prove this theorem it is sufficient to study only one of the Hamiltonians, say $H_{1}^{!}$. Eigenvalues of the other Hamiltonians follow from integrability of the model.

Proof.

See Appendix A2 of [Gaiotto:2013bwa]. ∎

Remark. Theorem 4.9 shows that defining relations for quantum K-theory of $T^{*}\mathbb{F}l_{n}$ are equivalent to integrals of motion of the $n$-body tRS model. One can therefore ask what which integrable system describes K-theory of cotangent bundles to partial flags $T^{*}G/P$. A procedure which leads to the answer was outlined in [Gaiotto:2013bwa, Bullimore:2015fr] and states the following. One can define a restricted tRS model such that positions of some of its particles are fixed relative to each other. This restriction defines parabolic subgroup $P\subset G$. Thus the unrestricted tRS phase space corresponds arises when parabolic subgroup $P$ is replaced with a Borel subgroup $B$. Using a chain of specifications of equivariant parameters or quantum parameters of $QK_{T}(T^{*}\mathbb{F}l_{n})$ we can arrive to quantum K-ring of the desired Nakajima variety $T^{*}G/P$. Depending on which set of parameters is chosen, the original tRS Hamiltonians/Macdonald operators (73), or their dual counterparts (83), will be used to define the corresponding K-rings. In recent mathematical literature some progress in this direction was made in [Rimanyi:2014ef]. We plan to return to these questions in the near future.

Remark. The XXZ/tRS duality, which we have developed in this section, is a top element in the hierarchy of spin chain/many-body system dualities, which were outlined in [Gaiotto:2013bwa]. A XXZ spin chain can be reduced to either the XXX spin chain or to the Gaudin model. On the other side, a trigonometric Ruijsenaars-Schneider model can be reduced to the rational Ruijsenaars-Schneider model or to the trigonometric Calogero-Moser model. The dualities on this level of hierarchy will provide a description for quantum equivariant cohomology of $T^{*}G/B$ in terms of integrals of motion of rational RS or trigonometric Calogero-Moser model, analogously to our quantum K-theory statement (Theorem 4.6).

5. Compact Limit of XXZ Bethe Ansatz and of tRS Model

In this final section we shall compare our results, with the work of Givental and Lee [2001math8105G] where they give a description of the equivariant quantum K-theory ring of complete flag varieties. In contrast with the approach of the present paper, the ring constructed in [2001math8105G] utilises the moduli spaces of stable maps. We denote the Givental-Lee quantum K-theory ring by $QK^{GL}_{T^{\prime}}(\mathbb{F}l_{n})$ (here $T^{\prime}$ is the maximal torus of $U(n)$). We show that in the limit $\hbar\to\infty$ the quantum K-theory ring $QK_{T}(T^{*}\mathbb{F}l_{n})$ which we study in this paper degenerates to a ring isomorphic to $QK^{GL}_{T^{\prime}}(\mathbb{F}l_{n})$.

In order to understand quantum multiplication in $QK_{T^{\prime}}(T^{*}\mathbb{F}l_{n})$ at $\hbar\to\infty$ we must compute the corresponding limit of Bethe equations (23) which is given in (28). Then we will need to follow the steps of Sec. 4 and present the resulting Bethe equations as conditions for roots of a characteristic polynomial of a certain matrix, which will appear to be the Lax matrix of difference Toda model [Etingof:ac]. In this way we arrive at relations in $QK^{GL}_{T^{\prime}}(\mathbb{F}l_{n})$ from [2001math8105G].

5.1. Five-Vertex Model and Quantum Toda Chain

Using Baxter Q-polynomials we can present Bethe equations (28) in a more concise form.

Lemma 5.1**.**

Let

[TABLE]

Then we can rewrite (28) as

[TABLE]

where $\delta_{i}$ are given after the formula (4.1). As in the previous section we shall focus on complete flag varieties for which $\textbf{v}_{i}=i$, thus the exponent of $s_{i,k}$ in the right hand side of the above expression vanishes.

Remark. Equations (28) generalize the result of [Kim:1995us] and serve as Bethe ansatz equations for the five-vertex model.

Using auxiliary Baxter polynomials we can rewrite (86) in the $Q\widetilde{Q}$ form similarly to (45).

Proposition 5.2**.**

The system of equations (86) for $\textbf{v}_{i}=i$ is equivalent to the following system

[TABLE]

where $z^{\#}_{i}=\frac{\mathfrak{z}_{i}}{\mathfrak{z}_{i+1}}$, $\widetilde{Q}_{i}(u),\,i=1,\dots,{n-1}$ are monic polynomials of degree one and

[TABLE]

Proof.

Analogous to the proof of Proposition 4.2. ∎

We can now formulate a statement which connects the five-vertex models with the q-Toda chain in the same way as the XXZ spin chain is dual to the tRS model (Theorem 4.6).

Theorem 5.3**.**

System of equations (87) is equivalent to

[TABLE]

where $A(u)$ is the Lax matrix of the difference Toda chain. It has the following nonzero elements

[TABLE]

Proof.

This statement can be readily proven along the lines of Theorem 4.6. ∎

5.2. Compact Limit of tRS Model

Note that the q-Toda Lax matrix $A(u)$ cannot be obtained as a scaling limit of the tRS Lax matrix (58). However, one can directly compute q-Toda Hamiltonians from tRS Hamiltonians (74). This limit was already discussed in the literature (see e.g. [Gerasimov:2008ao] p.13). In our notations this limit can be implemented as follows. First we rescale tRS coordinates, momenta (73) and equivariant parameters (71) as follows

[TABLE]

Recall that tRS Hamiltonians (73) were derived from XXZ Bethe equations (4.1) after rescaling of the parameters (34). Therefore, in order to restore the original notations of earlier sections, we need to take this into account. In particular, the new equivariant parameters $\mathfrak{a}_{i}$ coincide with the original $a_{i}$ parameters, whereas the new momenta $\mathfrak{p}_{i}$ reproduce (88).

Second, after taking $\hbar\to\infty$ limit, we obtain q-Toda Hamiltonian functions which are equal to symmetric polynomials of $\mathfrak{a}_{i}$

[TABLE]

where the Hamiltonians are

[TABLE]

where $i_{0}=0$. For instance, the first Hamiltonian reads

[TABLE]

Thus we have shown that the $\mathfrak{gl}(n)$ five-vertex model is dual to the difference Toda $n$-body system such that Bethe equations of the former (28) can be rewritten as equations of motion of the latter.

Finally we can formulate the main statement of this section. Analogously with Theorem 4.9 we want to state the following theorem in terms of bona fide Kähler parameters of the flag variety $z^{\#}_{i}$. We can put $z^{\#}_{n}=1$ and

[TABLE]

and rewrite q-Toda Hamiltonians (93) via $z^{\#}_{i}$.

Theorem 5.4**.**

At $\hbar=\infty$ the ring $QK_{T}(T^{*}\mathbb{F}l_{n})$ has the following explicit description:

[TABLE]

where $H^{\text{q-Toda}}_{r}$ are given in (93). In particular, this ring is isomorphic to the Givental-Lee quantum K-theory of complete flag varieties from [2001math8105G]:

[TABLE]

Proof.

After comparison with (59) we can see that q-Toda momenta $\mathfrak{p}_{i}$ geometrically correspond to quantum multiplication by class $\widehat{\Lambda^{j}{V}_{j}}(z)\circledast\widehat{\Lambda^{j-1}{V^{*}}_{j-1}}(z)$ of the flag variety. Then, (96) follows from Proposition 5.2 and Theorem 5.3. Finally, we observe that the generators and relations in (96) coincide precisely with those of $QK^{GL}_{T^{\prime}}(\mathbb{F}l_{n})$ described in [2001math8105G]. ∎

Remark. The relations of quantum K-theory ring of flag varieties to relativistic Toda chain was previously discussed by A. Kirillov and T. Maeno in an unpublished work, see also [Lenart:], [Maeno:].

While this manuscript has been under review the following papers appeared which further develop the correspondence between quantum K-theory and integrable systems: [Koroteev:2018a, Koroteev:2020, Frenkel:2020, Koroteev:2021].