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.

1. Introduction 1.1. Some Prehistory and Earlier Results. The seminal papers of Nekrasov and Shatashvili [NS1,NS2] 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 [GK2,GL].
The ideas outlined in these articles gave rise to new developments [BMO,BF2,MO] followed by other important results, see e.g. [RTV,GK4,GK3,O,OS,NPS].
Recently the basic example, considered in [NS1,NS2] in the physical context of 3d gauge theories, was described from mathematical point of view [PSZ].
In particular, the relation between quantum equivariant K-theory of cotangent bundles to Grassmannians and the so-called XXZ model (see e.g. [BIK,R1]) was fully examined. The Hilbert space of the XXZ spin chain is identified with the space of equivariant localized Ktheory 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 [O], [CFKM]. Such generators of the quantum Ktheory ring, which in [PSZ] 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 [PSZ] 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 [PSZ] 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 parametersthe 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 Ktheoretic 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 [OS] as a part of a bigger system of difference equations involving quantum Knizhnik-Zamolodchikov equations [FR].
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 [PSZ], 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 [PSZ].
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 [R3,R2,RS]. This brings us back to fundamental papers [GK2,GL], where connection of quantum geometry and integrability is done through multi-particle systems. Givental and Kim [GK2] 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 [GL] and then in [BF2] 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 [GK2,GL] (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. [E, GLO, BMO], which by the results of this paper has a pure geometric flavor.
1.3. Connections to physics literature and beyond. In physics literature [GK1,BKK] 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 [BKK] 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 [AO, AFO] 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 [O]. In [BKK] 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 [KZ1].
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 = Rep(v, w) denote the linear space of quiver representation with dimension vectors v and w, where v i = dim V i , w i = dim W i . Then the group G = 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 µ : T * R → Lie(G) * . Let L(v, w) = µ −1 (0) be the zero locus of the moment map.
The Nakajima variety X corresponding to the quiver is an algebraic symplectic reduction depending on a choice of stability parameter θ ∈ Z I (see [G] for a detailed definition). The group acts as automorphisms of X, coming form its action on Rep(v, 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, C scales cotangent directions with weight and therefore symplectic form with weight −1 . Let us denote by 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 T (X). For a Nakajima quiver variety X one can define a set of tautological bundles on it V i , W i , i ∈ 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 T (X) according to Kirwan's surjectivity theorem, which is recently proven in [MN]. Let (·, ·) be a bilinear form on K T (X) defined by the following formula where K is the canonical class and χ 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 [O]). The variety X is almost never compact, apart from the cases when it is a point. The locus of fixed points of 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 D to X relative to points p 1 , · · · , p m ∈ D is given by the following data where • C is a connected, at most nodal genus zero projective curve and p ′ i are nonsingular points of C, • P is a principal G -bundle over C, • f is a section of the fiber bundle -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), • π : C → D is a regular map, satisfying the following conditions: (1) There is a distinguished component C 0 of C such that π restricts to an isomorphism π : C 0 ∼ = D and π(C \ C 0 ) is zero-dimensional (possibly empty).
(4) The set B is disjoint from the nodes and points p ′ 1 , . . . , p ′ m .
We call 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 (C, p ′ 1 , . . . , p ′ m , P, f, π) be a quasimap and let V 1 , V 2 , . . . be representations of G as in Section 2.1. Let us denote by the associated rank v i vector bundle over C and bundles W i and R defined in an analogous way.
Definition 2.2. The degree of a quasimap (C, p ′ 1 , . . . , p ′ m , P, f, π) is the vector of degrees of vector bundles V i associated to it. Definition 2.3. Let QM d relative,p 1 ,··· ,pm denote the stack parameterizing stable genus zero quasimaps relative to p 1 , . . . , p m , (i.e. the data of Definition 2.1) of fixed degree 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 ∈ C we have an evaluation map to the quotient stack ev p : QM d → L(v, w)/G defined by ev p (f ) = f (p). Note that the quotient stack contains X as an open subset corresponding to locus of semistable points: with a proper evaluation map ev p from QM d 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 T, lifting its action from X. When there are at most two special (relative or nonsingular or marked) points and the base curve is P 1 we extend T by additional torus C × q , which scales P 1 such that the tangent space T 0 P 1 has character denoted by q. We call the full torus by G = T × C × 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 [CFKM] or in [O].
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 [O]. 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 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: The moduli spaces of quasimaps constructed in the previous section have perfect deformation-obstruction theory [CFKM]. This allows one to construct a tangent virtual bundle T vir , a virtual structure sheaf O 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Ô 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 [O]. 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 ({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: where the bundle R is defined as in 2.1. Let us address the different terms in this formula: • The term H • (R ⊕ R * ) keeps track of deformations and obstructions of the section f .
accounts for the moment map equations, and for automorphisms and deformations of 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 O vir [BF1]. The virtual structure sheaf is a K-theoretic analog of the virtual fundamental class in cohomology. It was first proposed by Kontsevich in [K3] and then identified in [BF1]. The virtual structure sheaf was used in Y.P. Lee's original approach to quantum K-theory via moduli spaces of stable maps [L]. 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: 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 [O] 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 [O]), 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.

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 d = (d i ), so that the corresponding picture is : .
It plays an important role in the degeneration formula, see e.g. [O]. Namely, let a smooth curve C ε degenerate to a nodal curve: Here C 0,1 and C 0,2 are two different components that are glued to each other at point p.
The degeneration formula counts quasimaps from C ε in terms of relative quasimaps from C 0,1 and C 0,2 , where the relative conditions are imposed at the gluing point p. The family of spaces QM(C ε → X) is flat, which means that we can replace curve counts for any C ε by C 0 . In particular, we can replace counts of quasimaps from P 1 by a degeneration of it, for example by two copies of P 1 glued at a point. The gluing operator G ∈ EndK T (X) [[z]] is the tool that allows us to replace quasimap counts on C ε by counts on C 0,1 and C 0,2 , so that the following degeneration formula holds: The corresponding picture interpretation is as follows: 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 T (X) is isomorphic to Definition 2.4. The element of the quantum K-theory is called quantum tautological class corresponding to tensorial polynomial τ in tautological bundles V i . In picture notation it will be represented by τ 1 In fact, the gluing operator is a rational function of the quantum parameters G ∈ End(K T (X))(z) and G −1 is also an endomorphism of non-localized K theory (See Section 6.5 in [O]) These classes evaluated at 0 are equal to the classical tautological classes on X (τ (0) = τ ). Note that the definition depends on the tensorial polynomial τ rather than a class in K theory of X.
For any element F ∈ K T (X) the following element can be made into an operator from the second copy of K T (X) to the first copy by the bilinear form (·, ·) defined above. We define the operator of quantum multiplication by F to be this operator shifted by G −1 , i.e ] 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 [PSZ].
Theorem 2.6. The quantum K-theory ring QK T (X) is a commutative, associative and unital algebra.
Important Assumptions: From now on we assume that the fixed points set X T is finite. The classes of fixed points are eigenvectors of classical multiplication in K T (X). We assume, in addition, that for any two fixed points there exists a line bundle 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 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| ≪ 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 = Hilb k (C 2 ) as an example. Its Picard group is generated by a single element 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 T where a m for m = 1 · · · dim T are the equivariant parameters of 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 O X ): Proposition 2.8. The multiplicative identity of QK T (X) is given by1(z) (i.e. the quantum tautological class for insertion τ = 1).
Proof. The diagrammatic proof given in [PSZ] can be applied to any Nakajima quiver variety.
2.5. Vertex functions. The spaces QM d nonsing p 2 and QM d relative p 2 admit an action of an extra torus C × q which scales the original P 1 keeping points p 1 and p 2 fixed. Set T q = T × C × q be the torus acting on these spaces.
Definition 2.9. The element is called bare vertex with descendent τ . In picture notation it will be denoted by τ The space QM d nonsing p 2 is not proper (the condition of non-singularity at a point is an open condition), but the set of T q -fixed points is, hence the bare vertex is singular at q = 1.
Definition 2.10. The element is called capped vertex with descendent τ . In picture notation it will be represented by: τ 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→1V (τ ) (z) =τ (z). The last limit exists as the coefficients ofV (τ ) (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 seriesV (τ ) (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 [S], the second originates from integral representations of solutions of quantum difference equations [AO].
As a corollary, quantum tautological classesτ (z) are rational functions of z.

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: Bilinear form makes it an operator acting from the second to the first copy of K Tq (X) loc [[z]]. This operator satisfies the quantum difference equations. We summarize that in the Theorem below [O].
Theorem 2.12. 1)The capped vertex with descendent τ is a result of applying of the capping operator to the bare vertex his equation can be represented by the following picture notation: 2) The capping operator Ψ(z) is the fundamental solution of the quantum difference equation: where π is a projection from C → P 1 as in definition 2.1 and O p 1 is a class of point p 1 ∈ P 1 .
Remark. The explicit form of operator M 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 [OS].
Operators M 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 [PSZ].
Theorem 2.13. In the limit q → 1 operators M L (z) coincide with the operators of quantum multiplication on the corresponding quantum tautological bundles: We will use this fact to compute the formula for the eigenvalues of the operatorsτ (z). Let us introduce the following notation. The eigenvalues of L i (z) are λ p,i (z), so that λ p,i (0) = λ 0 p,i , the eigenvalue of the classical multiplication on L i , corresponding to a fixed point p ∈ X T . Using standard arguments of perturbation theory [K1], the above assumption gives: Lemma 2.14. The eigenvalues of L i (z) are power series in Kähler parameters λ p,i (z) ∈ C[[z 1 , z 2 , . . . ]].
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 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 L i (z), there is an eigenvalue which is a non-trivial Puiseux series. In other words it is of the form with m > 1. There are no negative powers of z because L i (0) are regular by our assumption. Then, there is a set of m eigenvectors, say, labeled by subset of fixed points {p 1 , . . . , 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 → ze 2πi . This is only possible when the leading coefficient of the eigenvalues λ p 1 ,j (0) = · · · = λ pm,j (0) for all j. In other words, there is no L j for which the corresponding eigenvalues are distinct. We arrive at a contradiction, thus m = 1.
be the normalized eigenvalue.
Lemma 2.15. The following function We denote Let us formulate an omnibus theorem concerning the solutions of the system of difference equations and eigenvalues of quantum multiplication operators.
(2) Let Ψ p (z) be the p-th column of the matrix Ψ(z). In the limit q → 1 the capping operator has the following asymptotic expansion where ψ 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 → 1. (3) The identity element in the quantum K-theory decomposes in the following manner where v p (z) are the eigenvalues of quantum multiplication .
(4) The coefficients of the bare vertex function have the following q → 1 asymptotic in the fixed points basis where τ p (z) denotes the eigenvalue of the operator of quantum multiplication by quantum tautological bundleτ (z) for the eigenvector ψ p (z), dots stand for the terms vanishing in the limit q → 1.
For the proof of this theorem we will refer the reader to [PSZ], 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τ (z) can be computed from the asymptotics of the bare vertex functions.
Corollary 2.17. The following expression: p (z) gives the eigenvalues of the operator of quantum multiplication byτ (z) corresponding to a fixed point p ∈ X T .

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 The stability condition is chosen so that maps W n−1 → V n−1 and V i → V i−1 are surjective. For the variety to be non-empty the sequence v 1 , . . . , v n−1 , w n−1 must be nondecreasing. The fixed points of this Nakajima quiver variety and the stability condition are classified by chains of subspaces spanned by coordinate vectors V 1 ⊂ . . . ⊂ V n−1 ⊂ W n−1 , where |V i | = v i , W n−1 = {a 1 , . . . , a w n−1 }. The special case when v i = i, w n−1 = n is known as complete flag variety, which we denote as Fl n . It will be convenient to introduce the following notation: 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 (τ ) 2 We are using standard quaternionic notations.
Here the sum runs over the T-fixed quasimaps which take value p at the nonsingular point p 2 . We use notationŝ for the Okounkov's roof function defined bŷ s(x) = 1 x 1/2 − x −1/2 ,ŝ(x + y) =ŝ(x)ŝ(y). and it is applied to the virtual tangent bundle: The condition d ∈ Z n ≥0 is determined by stability conditions, which characterize all allowed degrees for quasimaps.
It will be convenient to adopt the following notations: The following statement is true (for the proof see section 3.4 of [PSZ]).

Lemma 3.1. The contribution of equivariant line bundle xq
To compute the vertex function we will also need to classify fixed points of QM d nonsing p 2 . Such a point is described by the data ( For a stable quasimap with such data to exist the collection of d i,j must satisfy the following conditions To summarize, we will denote collections satisfying such conditions as lying in a chamber d i,j ∈ C. Now we are ready to sum up contributions for the entire vertex function.
be a chain of subspaces defining a torus fixed point p ∈ X T . Then the coefficient of the vertex function for this point is given by: Proof. For the proof we need to gather all contributions P, which separate into 3 types: so that their input in the localization formula is as follows.
Note, that deg(P) = N (d). That gives the polarization term q N (d)/2 in the vertex.
The same formula for the vertex can an be obtained using the following integral representation [AFO], [AO]. It is very useful for a lot of applications, in particular for computing the eigenvalues τ p (z).
Proposition 3.3. The bare vertex function is given by and the contour C p runs around points corresponding to chamber C, which we have defined after Lemma 3.1, and the shifted variable z ♯ = z(− 1 / 2 ) det(P) 3 .
3 Note that here we are using the notation defined for z for (− 1 / 2 ), i.e.

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τ (z)⊛ is given by τ (s i,k ), where s i,k satify Bethe equations: 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 [PSZ]. However, there is a shortcut recently provided by [AO]. One chooses a preimage of the class T X in K i GL(V i )×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 To get Bethe equations we use the following formula from the Appendix to [AO]: The equations (23) are Bethe ansatz equations for the periodic anisotropic gl(n) XXZ spin chain on w n−1 sites with twist parameters z 1 , . . . , z n−1 , impurities (shifts of spectral parameters) a 1 , . . . , a w n−1 , and quantum parameter , see e.g. [BIK], [R1].
Let us consider the quantum tautological bundles Λ k V i (z), k = 1, . . . , v i . It is useful to construct a generating function for those, namely The seemingly strange weights will be necessary in Section 4. In the integrable system literature these operators are known as Baxter operators [B], [R1]. The following Theorem is a consequence of (20).
Proposition 3.5. The eigenvalues of the operator Q i (u) are the following polynomials in u: so that the coefficients are elementary symmetric functions in s i,k for fixed i.
Remark. To obtain the full Hilbert space of a 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 C n (a 1 ) ⊗ C n (a 2 ) ⊗ . . . C n (a w n−1 ), where each of C n (a i ) is an evaluation representation of U ( gl(n)), see e.g. [N1]. There is a special interesting question regarding universal formulas for operators Q i (u) which we used in [PSZ] for gl(2) model, corresponding to prefundamental representations of the Borel subalgebra of U ( gl(n)) [FH].

Compact limit.
In this section we study the limit of → ∞ of the vertex functions and the Bethe equations. We recall that is the equivariant parameter of the torus which scales the cotangent directions in T * F l n . Later in Section 5 we also show that the limit → ∞ of the ring QK T (T * F l n ) coincides with the quantum K-theory ring of complete flag varieties computed by Givental and Lie in [GL]. It is thus natural to call → ∞ -the compact limit.
In order to make the limit → ∞ of vertex functions and Bethe equations well defined, we also need to rescale the equivariant parameters z i by powers of . Here is the exact procedure: Theorem 3.6. In the limit → ∞ with Kähler parameters {z} scaled so that {z ♯ } remains fixed (1) the vertex functions (22) have well defined limits.
(2) The limits of Bethe ansatz equations exist and take the form 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 (ω, ω −1 ). The latter corresponds to the cotangent fiber. The contribution of such a pair to the vertex will be equal to: Therefore after rescaling by (− 1 / 2 ), which corresponds to expressing z in terms of z ♯ will be equal to 1 1−ω −1 in the → ∞ limit, that is exactly the contribution of ω 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: In order to obtain the corresponding Bethe equations, one can again compute q → 1 asymptotics or just simply evaluating the limit → ∞ of (23) while expressing z in terms of z ♯ .

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 [GK1,BKK]. It was there referred to as quantum/classical duality. Here we will prove main statements of [BKK].
4.1. The XXZ Spin Chain. To start let us change the Kähler parameters in Bethe equations (23) according to In what follows we shall treat Kähler variables ζ i as formal.
Additionally after rescaling Bethe roots and equivariant parameters we arrive at the following set of equations which is equivalent to (23) where in the middle equation i = 2, . . . , n − 2 and δ i = v i−1 + v i + v i+1 − 1. The reader may notice that we use slightly non-standard notation for Bethe equations, in particular, parameters a β appear in the last equation i = n − 1 (instead of the first equation). Sign factors (−1) δ 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 v 0 = 0 , v n = w n−1 , σ n,β = a β for β = 1, . . . , w n−1 then (30) can be written more uniformly as follows Following (26) 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.
In addition, we define shifted polynomials when their arguments are multiplied by − 1 2 to the corresponding power: Q Note that sign δ i disappeared. In order to proceed further we need to rewrite (33) in a slightly different way.
Proposition 4.2. Suppose that ζ i+1 / ∈ N ζ i for all i. Then the system of equations (33) upon change of parameters is equivalent to the existence of auxiliary polynomials Q i of degrees v i−1 − v i + v i+1 satisfying the following system of equations The polynomials Q i (u) are unique.
i+1 so that (34) can be written as .
Then we have the following partial fraction decompositions where h(z) andg i (z) are polynomials. In order for the residues at each σ i,a to match on both sides of (35), one needs The second equality is merely the Bethe equations (33) in the alternate form Next, to solve for the polynomialg i (z), setg i (z) = r j z j and h(z) = s j z j . We then obtain the equations r j ( ζ i+1 −j − ζ i ) = s j . Our assumptions on the ζ's imply that these equations are always solvable. Thus, there exist polynomials Q i (z) satisfying (34) if and only if the Bethe equations hold. The uniqueness of Q i (z) follows from the uniqueness of the coefficients ofg i (z).
Remark. It is worth noting, that the operators, whose eigenvalues are 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 ∨ i , so that the sequence 0 From now on let us study solutions of Bethe equations corresponding to complete flag, namely for v i = i in (31) and w n−1 = n.
Proposition 4.3. The system of equations (33) for v i = i is equivalent to the following system of equations Indeed, in this case ∆ i = 0 and z i = ζ i .

Construction of the tRS Lax Matrix.
Here we shall find a general solution for Q i (the so-called Baxter polynomials) which solves (40). First we need to prove the following (variables γ 1 , . . . , γ k−1 are assumed to be formal variables) Lemma 4.4. Let f 1 , . . . , f k−1 be polynomials that do not vanish at 0, and let g be an arbitrary polynomial. Then there exists unique polynomial f k satisfying where the numbers in the parentheses in the superscripts denote multiplicative shifts of the argument of the corresponding polynomials, i.e. f We recall that this determinant is nonzero if and only if the γ i 's are distinct. Set f j (z) = a ji z i and g(z) = b i z i , and let F denote the matrix in (41). We show that we can find a kj 's recursively. Expanding by minors along the bottom row, we get . First we equate the constant terms. This gives Since the γ j 's are distinct, the Vandermonde determinant is nonzero. Moreover, a j0 = 0 for j = 1, . . . , 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 (41) 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 (41) expresses c a ks as a polynomial in known quantities, where The condition on the γ 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 , Q j for j = 1, . . . , n satisfying (40), there exist unique monic degree one polynomials q 1 , . . . q n such that where the Vandermonde matrix in the last equation is given by (42).
Proof. Let us observe that since P and Q k (32) do not vanish at 0 since Bethe roots and equivariant parameters are formal variables: Q k (0) = 0 for all k. This implies that Q k (0) = 0 for all k as well; otherwise, by (40), either Q k−1 or Q k+1 would vanish at 0. One can then see that the desired structure of Baxter polynomials Q k and Q k emerges if we solve the equations iteratively. From the first equation from (40) we get In what follows we relabel Q 1 = q 1 and Q 1 = q 2 . From the formula it is obvious that both polynomials q 1 and q 2 are monic of degree one: where due to the above reasoning their roots p 1 and p 2 are nonzero complex numbers. Next, suppose that for 2 ≤ k ≤ n − 1, we have shown that there exist unique polynomials q 1 , . . . , q k such the formulae for Q j (resp. Q j ) in (43) hold for 1 ≤ j ≤ k (resp. 1 ≤ j ≤ k−1). Furthermore, assume that none of these polynomials vanish at 0. We will show that there exists a unique q k+1 such that the formulae for Q k+1 and Q k hold and that q k (0) = 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 (k) j and γ j = ζ j for 1 ≤ j ≤ k, and set g = (det V 1,...,k ) Q k . By the inductive assumption f j (0) = 0 for 1 ≤ j ≤ k, so there exists a unique f k satisfying (41). Moreover, g(0) = 0, so f k = 0. It is now clear that is the unique polynomial satisfying the formula in (43) for Q k . Clearly q k+1 (0) = 0.
To complete the inductive step, it remains to show that the formula for Q k+1 is satisfied. Recall that which will be also the value for det(V i 1 ,...,i k ) and Now we can plug in Q-polynomials from (43) into (40), which we want to verify. Using the above formulae for the Vandermonde determinants we see that (40)  where we recall that the numbers in the parentheses denote multiplicative shifts of the argument of q-polynomials by − 1 2 . We will now prove that (48) is equivalent to the Desnanot-Jacobi 4 determinant identity for matrix M 1,...,j+1 , which can be written as follows Here we denoted M = M 1,...,k+1 , (k + 1) × (k + 1) matrix of the form (44), and M a b is a submatrix which is obtained from M by removing a-th row and b-th column. Note that (48) has shifts of the q-polynomials, whereas (49) does not. However, due to the periodic structure in the columns we can relate shifted k × k matrices from (48) 1,...,k−1,k+1 = M k k−1 , but other matrices do not match directly, albeit they look similar. Let us multiply both sides of (48) by k−1 l=1 ζ l . Then we can absorb this product on the left into matrices M 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 Then for each eigenvector of the operator of quantum multiplication by the corresponding eigenvalue defines a unique solution of where P (u) is given by (32). This correspondence establishes a bijection between solutions of (55) and the above eigenvectors.

Then we have
Thus, according to (59) Along the way we have discovered a new presentation of the tRS Lax matrix in terms of products of Vandermonde-type matrices (59).
It remains to prove that momenta p i which appear as roots of first degree polynomials s i are given by formula (61) which provides geometric meaning of the tRS momenta.
Matrix L is known as Lax matrix for the trigonometric Ruijsenaars-Schneider model 5 . The theorem shows that its characteristic polynomial is equal to Baxter polynomial P (u) whose roots are equivariant parameters a 1 , . . . , a n . By expanding both sides of (55) in u we find explicitly the tRS Hamiltonians H 1 , . . . , H n are equal to the corresponding elementary symmetric functions of the equivariant parameters where (66) e r (a 1 , . . . , a n ) = I⊂{1,...,n} |I|=r k∈I a k .
The phase space of the tRS model is described as follows. Parameters ζ 1 , . . . , ζ n and their conjugate momenta p 1 , . . . , p n serve as canonical coordinates on the cotangent bundle to (C × ) n . The symplectic form reads Remark. It was shown in [BKK] classical momenta p i can be determined from the (exponentials of) derivatives of the so-called Yang-Yang function 6 for Bethe equations (30). These defining relations describe a complex Lagrangian submanifold L ⊂ T * (C × ) n , such that the generating function for this submanifold (Ω is identically zero on 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 [TV].
In the literature slightly different normalizations are sometimes used. 6 Bethe equations arise as derivatives of the Yang-Yang function with respect to all Bethe roots σ i,k .
Proof. The statement directly follows from Proposition 2.7, the fact that coefficients of Q i -operators are generators of all tautological bundles, and Theorem 4.6.
Remark. We mention that in [RTV] (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 [RTV].
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. [MTV], [BLZZ].
4.3. Dual tRS Model from XXZ Chain. In (68) tRS Hamiltonians are functions of quantum parameters ζ 1 , . . . , ζ n and the eigenvalues (66) 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 (31) we can derive the dual set of tRS Hamiltonians. , j = 1, . . . , n .
Remark. Theorem 4.9 shows that defining relations for quantum K-theory of T * Fl 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 [GK1,BKK] 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 ⊂ 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 * Fl 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 (68), or their dual counterparts (78), will be used to define the corresponding K-rings. In recent mathematical literature some progress in this direction was made in [RTV]. 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 [GK1]. 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).

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 [GL] 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 [GL] utilises the moduli spaces of stable maps. We denote the Givental-Lee quantum K-theory ring by QK GL T ′ (Fl n ) (here T ′ is the maximal torus of U (n)). We show that in the limit → ∞ the quantum K-theory ring QK T (T * Fl n ) which we study in this paper degenerates to a ring isomorphic to QK GL T ′ (Fl n ). In order to understand quantum multiplication in QK T ′ (T * Fl n ) at → ∞ we must compute the corresponding limit of Bethe equations (23) which is given in (27). 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 [E]. In this way we arrive at relations in QK GL T ′ (Fl n ) from [GL].