arxiv:math/ v2 [math.qa] 12 Jun 2004

Transcription

1 arxiv:math/ v2 [math.qa] 12 Jun 2004 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS EVGENY MUKHIN,1 AND ALEXANDER VARCHENKO,2 Abstract. Solutions of the Bethe ansatz equations associated to the XXX model of a simple Lie algebra g come in families called the populations. We prove that a population is isomorphic to the flag variety of the Langlands dual Lie algebra t g. The proof is based on the correspondence between the solutions of the Bethe ansatz equations and special difference operators which we call the discrete Miura opers. The notion of a discrete Miura oper is one of the main results of the paper. For a discrete Miura oper D, associated to a point of a population, we show that all solutions of the difference equation DY = 0 are rational functions, and the solutions can be written explicitly in terms of points composing the population. Department of Mathematical Sciences, Indiana University Purdue University Indianapolis, 402 North Blacford St., Indianapolis, IN , USA Department of Mathematics, University of North Carolina at Chapel Hill, Chapel Hill, NC , USA January, Introduction The Bethe ansatz is a large collection of methods in the theory of quantum integrable models to calculate the spectrum and eigenvectors for a certain commutative subalgebra of observables for an integrable model. This commutative subalgebra includes the Hamiltonian of the model. Its elements are called integrals of motion or conservation laws of the model. Most of recent developments of the Bethe ansatz methods is due to the quantum inverse scattering transform, invented by the Leningrad school of mathematical physics. The bibliography on the Bethe ansatz method is enormous. We refer the reader to reviews [BIK, Fa, FT]. In the theory of the Bethe ansatz one assigns the Bethe ansatz equations to an integrable model. Then a solution of the Bethe ansatz equations gives an eigenvector of commuting Hamiltonians of the model. The general conjecture is that the constructed vectors form a basis in the space of states of the model. The first step to that conjecture 1 Supported in part by NSF grant DMS Supported in part by NSF grant DMS

2 2 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS is to count the number of solutions of the Bethe ansatz equations. One can expect that the number of solutions is equal to the dimension of the space of states of the model. The Bethe ansatz equations of the XXX model is a system of algebraic equations associated to a Kac-Moody algebra g, a non-zero step h C, complex numbers z 1,...,z n, integral dominant g -weights Λ 1,...,Λ n and an integral g -weight Λ, see [OW] and Section 2.2 below. To approach the corresponding counting problem, to every solution of the Bethe ansatz equations we assign an object called the population of solutions. We expect that it would be easier to count populations than individual solutions. For instance, if the Kac-Moody algebra is of type A r, then each population corresponds to a point of the intersection of suitable Schubert varieties in a suitable Grassmannian variety, as was shown in [MV3]. Then the Schubert calculus allows us to count the number of intersection points of the Schubert varieties and to give an upper bound on the number of populations, see [MV1] and [MV3]. A population of solutions is an interesting object. It is an algebraic variety. It is finite-dimensional, if the Weyl group of the Kac-Moody algebra is finite. In this paper we prove that a population is isomorphic to the flag variety of the Langlands dual Lie algebra t g. The proof is based on the correspondence between solutions of the Bethe ansatz equations and special difference operators which we call the discrete Miura opers. Let G be the complex simply connected group with Lie algebra t g. To every solution t of the Bethe ansatz equations we assign a linear difference operator D t = h V t where h : f(x) f(x + h) is the shift operator and V t (x) is a suitable rational G-valued function. We call that difference operator a discrete Miura oper. Our discrete Miura opers are analogs of the differential operators considered by V. Drinfeld and V. Soolov in their study of the KdV type equations [DS]. Different solutions of the Bethe ansatz equations correspond to different discrete Miura opers. The discrete Miura opers, corresponding to points of a given population, form an equivalence class with respect to a suitable gauge equivalence. Thus a population is isomorphic to an equivalence class of discrete Miura opers. We show that an equivalence class of discrete Miura opers is isomorphic to the flag variety of t g. If D t is the discrete Miura oper corresponding to a solution t of the Bethe ansatz equations, then the set of solutions of the difference equation D t Y = 0 with values in a suitable space is an important characteristics of t. It turns out that, for any simple Lie algebra and any solution t of the Bethe ansatz equations, the difference equation D t Y = 0 has a rational fundamental matrix of solutions. Moreover, all solutions of the difference equation D t Y = 0 can be written explicitly in terms of points composing the population, originated at t. Thus, the population of solutions of the Bethe ansatz equations solves the Miura difference equation D t Y = 0 in rational functions. This is the second main result of the paper. The results of this paper in the cases of A r and B r were first obtained in [MV3].

3 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS 3 The populations related to the Gaudin model of a Kac-Moody algebra g were introduced in [MV1]. In [MV1] we conjectured that every g -population is isomorphic to the flag variety of the Langlands dual Kac-Moody algebra g L. That conjecture was proved for g of type A r, B r, C r in [MV2], for g of type G 2 in [BM], for all simple Lie algebras in [F1] and [MV4]. The ideas of [MV4] motivated the present paper. There are different versions of the XXX Bethe ansatz equations associated to a simple Lie algebra, see [OW, MV2, MV3]. Ogievetsy and Wiegman introduced in [OW] a set of Bethe ansatz equations for any simple Lie algebra g. For g of type A r, D r, E 6, E 7, E 8 the Ogievetsy-Wiegman equations are the Bethe ansatz equations considered in this paper. For other simple Lie algebras the Ogievetsy-Wiegman equations are different from the Bethe ansatz equations considered in this paper, see Section 2.6. The discrete Miura opers, considered in this paper, are discrete versions of the special differential operators called the Miura opers and introduced in [DS]. The Miura opers play an essential role in the Drinfeld-Soolov reduction and geometric Langlands correspondence, see [DS, FFR, F2, FRS]. It would be interesting to see if our discrete opers may play a similar role in discrete versions of the Drinfeld-Soolov reduction and geometric Langlands correspondence. Considerations of the present paper are in the spirit of the geometric Langlands correspondence. Namely, we start from a solution t of the Bethe ansatz equations associated to a simple Lie algebra g, that is we start from a Bethe eigenvector of the commuting Hamiltonians of the XXX g model. Having a solution t we construct the associated discrete Miura G-oper D t, whose fundamental matrix is a rational function. Having D t we may recover the g population of solutions of the Bethe ansatz equations originated at t. In particular we may recover t and the associated Bethe eigenvector of the commuting Hamiltonians. The fact that the discrete Miura oper has a rational fundamental matrix of solutions is a discrete analog of the fact that a differential Miura oper has the trivial monodromy group, see [F1, MV4]. The paper is organized as follows. In Section 2 we introduce populations of solutions of the Bethe ansatz equations. In Section 3 we discuss elementary properties of discrete Miura opers corresponding to solutions of the Bethe ansatz equations. In Section 4 we give explicit formulas for solutions of the difference equation D t Y = 0, see Theorems 4.1, 4.2. In Section 5 we prove that the variety of gauge equivalent mared discrete Miura g opers is isomorphic to the flag variety of t g, see Theorem 5.1. We discuss the relations between the Bruhat cell decomposition of the flag variety and the populations of solutions of the Bethe ansatz equations in Section 6. The main results of the paper are Corollaries 6.5 and 6.6. We than P. Belale and S. Kumar for numerous useful discussions. 2. Populations of Solutions of the Bethe Equations, [MV2]

4 4 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS 2.1. Kac-Moody algebras. Let A = (a i,j ) r i,j=1 be a generalized Cartan matrix, a i,i = 2, a i,j = 0 if and only a j,i = 0, a i,j Z 0 if i j. We assume that A is symmetrizable, i.e. there exists a diagonal matrix D = diag{d 1,...,d r } with positive integers d i such that B = DA is symmetric. Let g = g(a) be the corresponding complex Kac-Moody Lie algebra (see [K], 1.2), h g the Cartan subalgebra. The associated scalar product is non-degenerate on h and dim h = r + 2d, where d is the dimension of the ernel of the Cartan matrix A. Let α i h, α i h, i = 1,..., r, be the sets of simple roots, coroots, respectively. We have (α i, α j ) = d i a i,j, λ, α i = 2(λ, α i)/(α i, α i ), λ h. In particular, α j, α i = a i,j. Let P = {λ h λ, α i Z} and P+ = {λ h λ, α i Z 0} be the sets of integral and dominant integral weights. Fix ρ h such that ρ, α i = 1, i = 1,..., r. We have (ρ, α i ) = (α i, α i )/2. The Weyl group W End(h * ) is generated by reflections s i, i = 1,...,r, We use the notation s i (λ) = λ λ, α i α i, λ h. w λ = w(λ + ρ) ρ, w W, λ h, for the shifted action of the Weyl group. The Kac-Moody algebra g (A) is generated by h, e 1,...,e r, f 1,...,f r with defining relations and the Serre s relations [e i, f j ] = δ i,j αi, i, j = 1,...r, [h, h ] = 0, h, h h, [h, e i ] = α i, h e i, [h, f i ] = α i, h f i, h h, i = 1,...r, h h, i = 1,...r, (ade i ) 1 a i,j e j = 0, (adf i ) 1 a i,j f j = 0, for all i j. The generators h, e 1,...,e r, f 1,...,f r are called the Chevalley generators. Denote n + (resp. n ) the subalgebra generated by e 1,..., e r (resp. f 1,...,f r ). Then g = n + h n. Set b ± = h n ±. The Kac-Moody algebra t g = g ( t A) corresponding to the transposed Cartan matrix t A is called Langlands dual to g. Let t α i t h, t α i t h, i = 1,...,r, be the sets of simple roots, coroots of t g, respectively. Then for all i, j. t α i, t α j = α j, α i = a i,j

5 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS The Bethe ansatz equations with parameters b. Fix a Kac-Moody algebra g = g (A), a non-negative integer n, a collection of dominant integral weights Λ = (Λ 1,...,Λ n ), Λ i P +, and complex numbers z = (z 1,...,z n ). Fix a non-zero complex number h. Fix a collection b = (b i,m ) r i,m=1, i m of complex numbers. We say that the parameters b are symmetric if they satisfy the condition: (1) b i,m + b m,i = h for all i, m {1,..., r}, i m. Choose a collection of non-negative integers l = (l 1,...,l r ) Z r 0. The choice of l is equivalent to the choice of the weight n r Λ = Λ i l j α j P. i=1 The weight Λ will be called the weight at infinity. Set Λ = (Λ 1,...,Λ n, Λ ). Let j=1 t = { t (i) j C i = 1,..., r, j = 1,..., l i } be a collection of complex numbers. The XXX Bethe ansatz equations associated to Λ, z, b is the following system of algebraic equations with respect to the variables t: n t (i) j z s + (Λ s, α (2) i ) h/2 s=1 t (i) j z s (Λ s, αi ) h/2 r m=1, m i ( lm =1 t (i) j t (i) j t (m) t (m) + b i,m + b i,m h ) ai,m li =1, j t (i) j t (i) j t (i) h t (i) + h = 1, where i = 1,...,r, j = 1,...,l i. The product of symmetric groups S l = S l1 S lr acts on the set of solutions of (2) permuting the coordinates with the same upper index. For i = 1,...,r, consider the l i equations (2) with fixed upper index i. We call that system of equations the Bethe ansatz equations with fixed upper index i Polynomials representing solutions of the Bethe ansatz equations. For a given t = (t (i) j ) introduce an r-tuple of polynomials y = (y 1(x),..., y r (x)), where (3) y i (x) = l i j=1 (x t (i) j ). Each polynomial is considered up to multiplication by a non-zero number. The tuple defines a point in the direct product P(C[x]) r of r copies of the projective space associated to the vector space of polynomials in x. We say that the tuple y represents the collection of numbers t.

6 6 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS It is convenient to thin that if a polynomial y of a tuple y = (y 1,...,y r ) P(C[x]) r has degree zero, then it means that the collection t = (t (i) j ) has no t(i) j -s with i =. For i = 1,..., r introduce polynomials (4) and (5) T i (x) = n s=1 (Λ s,α i ) 1 p=0 Q i (x) = T i (x) (x z s + (Λ s, αi ) h/2 ph) r m=1, m i y m (x + b i,m ) a i,m. We say that the tuple y is generic with respect to weights Λ, numbers z, and parameters b if for every i = 1,..., r the polynomial y i (x) has no multiple roots and no common roots with polynomials y i (x + h), and Q i (x). If y represents a solution t of the Bethe ansatz equations (2) and y is generic, then the S l -orbit of t is called a Bethe solution of (2). The Bethe ansatz equations can be written as (6) Q i ( t (i) j ) Q i ( t (i) j h ) where i = 1,...,r, j = 1,...,l i. l i =1, j t (i) j t (i) j t (i) h t (i) + h = 1, For i = 1,..., r, a tuple y is called fertile in the i-th direction with respect to Λ, z, b, if there exists a polynomial ỹ i satisfying the equation (7) y i (x + h) ỹ i (x) y i (x) ỹ i (x + h) = Q i (x). A tuple y is called fertile with respect to Λ, z, b, if it is fertile in all directions i = 1,...,r. Example. The tuple (1,...,1) is fertile with respect to any given Λ, z, b. Instead of saying that y is generic or fertile with respect to Λ, z, b we will also say that y is generic or fertile with respect to polynomials T 1 (x),..., T r (x) and parameters b. If y is fertile in the i-th direction and ỹ i is a polynomial solution of (7), then the tuple (8) y (i) = (y 1,...,ỹ i,...,y r ) P(C[x]) r is called an immediate descendant of y in the i-th direction. If ỹ i is a solution of (7), then ỹ i + cy i is a solution too for any c C. Lemma 2.1 ([MV1, MV2]). Assume that y is generic. Let ỹ i be a solution of (7). Then the tuple (y 1,..., ỹ i + cy i,...,y r ) is generic for almost all c C. The exceptions form a finite subset in C.

7 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS 7 Lemma 2.2 ([MV1, MV2]). Let y j, j = 1, 2,..., be a sequence of tuples in P(C[x]) r which has a limit y. Assume that all tuples y j are fertile. Then y is fertile. Lemma 2.3 (see [MV1, MV2]). Denote l i = deg ỹ i and Λ (i) r j=1, j i l jα j. If l i l i, then = n s=1 Λ s l i α i Λ (i) = s i Λ, where s i is the shifted action of the i-th reflection of the Weyl group. Theorem 2.4 (cf. [MV2]). (i) Let a tuple y = (y 1,...,y r ) be generic. Let i {1,...,r}. Then y is fertile in the i-th direction if and only if t satisfies the Bethe ansatz equations (2) with fixed upper index i. (ii) Let parameters b be symmetric. Let y be generic and fertile. Let i {1,..., r}. Let y (i) be an immediate descendant of y in the i-th direction. Assume that y (i) is generic. Then y (i) is fertile. Proof. To prove (i) introduce g(x) = ỹ i (x)/y i (x) and write (7) as (9) g(x) g(x + h) = Q i (x) y i (x) y i (x + h). The tuple y is fertile in the i-th direction if and only if there exists a rational function g(x) satisfying (9). A function g(x) exists if and only if (10) Res x=t (i) j Q i (x) y i (x) y i (x + h) = Res x=t (i) j h Q i (x) y i (x) y i (x + h) for j = 1,...,l j. The systems of equations (10) is equivalent to the system of the Bethe ansatz equations with fixed upper index i. Part (i) is proved. To prove (ii) we chec that the Bethe ansatz equations (2) are satisfied for roots of polynomials composing the tuple y (i). The Bethe ansatz equations with upper index i are satisfied for roots of y (i) according to part (i). If m is such that a i,m = 0, then the Bethe ansatz equations with upper index m for roots of y (i) are the same as for y, since the roots of ỹ i do not enter those equations. Let m be such that a i,m 0. Write (7) as y i (x + h) y i (x) ỹi(x + h) ỹ i (x) = Q i (x) ỹ i (x) y i (x). Substitute to this equation the zeros of the polynomial y m (x + b i,m ) and get (11) for = 1,...,l m. y i (t (m) b i,m + h) y i (t (m) b i,m ) = ỹi(t (m) b i,m + h) ỹ i (t (m) b i,m )

8 8 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS The Bethe ansatz equations with upper index m for roots of y (i) contain the factor ỹ i (t (m) + b m,i )/ỹ i (t (m) + b m,i h) while the Bethe ansatz equations with upper index m for roots of y contain the factor y i (t (m) +b m,i )/y i (t (m) +b m,i h). By (11) the two ratios are equal if parameters b are symmetric. Hence the Bethe ansatz equations with upper index m are satisfied for roots of y (i) if they are satisfied for roots of y. Part (ii) is proved Simple reproduction procedure. Assume that parameters b are symmetric. Let y represent a Bethe solution of (2). Let i {1,...,r}, and let ỹ i be a polynomial solution of equation (7). For complex numbers c 1 and c 2, not both equal to zero, consider the tuple y (i) (c 1 :c 2 ) = (y 1,..., c 1 ỹ i + c 2 y,..., y r ) P(C[x]) r. The tuples form a one-parameter family. The parameter space of the family is the projective line P 1 with projective coordinates (c 1 : c 2 ). We have a map Y y,i : P 1 P(C[x]) r, (c 1 : c 2 ) y (i) (c 1 :c 2 ). Almost all tuples y (i) (c 1 :c 2 ) are generic. The exceptions form a finite set in P1. Thus, starting with a tuple y, representing a Bethe solution of equations (2) associated to numbers z 1,...,z n, integral dominant weights Λ 1,..., Λ n, a weight Λ at infinity, parameters b, and an index i {1,..., r}, we construct a family Y y,i : P 1 P(C[x]) r of fertile tuples. For almost all c P 1 (with finitely many exceptions only), the tuple Y y,i (c) represents a Bethe solution of the Bethe ansatz equations associated to points z 1,...,z n, integral dominant weights Λ 1,..., Λ n, parameters b, and a suitable weight at infinity. We call this construction the simple reproduction procedure in the i-th direction General reproduction procedure. Assume that parameters b are symmetric. Assume that a tuple y P(C[x]) r represents a Bethe solution of the Bethe ansatz equations associated to z, Λ, b. Let i = (i 1,..., i ), 1 i j r, be a sequence of natural numbers. We define a -parameter family of fertile tuples Y y,i : (P 1 ) P(C[x]) r by induction on, starting at y and successively applying the simple reproduction procedure in directions i 1,...,i. The image of this map is denoted by P y,i. For a given i = (i 1,...,i ), almost all tuples Y y,i (c) represent Bethe solutions of the Bethe ansatz equations associated to points z 1,...,z n, dominant integral weights Λ 1,...,Λ n, symmetric parameters b, and suitable weights at infinity. Exceptional values of c (P 1 ) are contained in a proper algebraic subset.

9 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS 9 It is easy to see that if i = (i 1,..., i ), 1 i j r, is a sequence of natural numbers, and the sequence i is contained in the sequence i as an ordered subset, then P y,i is a subset of P y,i. The union P y = i P y,i P(C[x]) r, where the summation is over all of sequences i, is called the population of solutions of the Bethe ansatz equations associated to the Kac-Moody algebra g, integral dominant weights Λ 1,..., Λ n, numbers z 1,..., z n, symmetric parameters b, and originated at y. If two populations with the same Λ, z, b intersect, then they coincide. If the Weyl group is finite, then all tuples of a population consist of polynomials of bounded degree. Thus, if the Weyl group of g is finite, then a population is an irreducible projective variety. Every population P has a tuple y = (y 1,...,y r ), deg y i = l i, such that the weight Λ = n s=1 Λ s r i=1 l iα i is dominant integral, see [MV1, MV2]. Conjecture 2.1 ([MV2]). Every population, associated to a Kac-Moody algebra g, dominant integral weights Λ 1,...,Λ n, points z 1,...,z n, symmetric parameters b, is an algebraic variety isomorphic to the flag variety associated to the Kac-Moody algebra t g which is Langlands dual to g. Moreover, the parts of the family corresponding to tuples of polynomials with fixed degrees are isomorphic to Bruhat cells of the flag variety. The conjecture is proved for the Lie algebra of type A r in [MV3]. In this paper we prove the conjecture for every simple Lie algebra Special symmetric parameters b. Here are two examples of symmetric parameters b. The parameters b are symmetric if (12) b i,m = h 2 for all i m. The parameters b satisfying (12) will be called the Ogievetsy-Wiegman parameters, cf. [OW, MV3]. The parameters b are symmetric if (13) b i,m = 0 for i > m and b i,m = h for i < m. The parameters b satisfying (13) will be called the special symmetric parameters, cf. [OW, MV2]. Let b 1 = (b 1 i,m )r i,m=1, i m and b2 = (b 2 i,m )r i,m=1, i m be two collections of parameters. We say that b 1 and b 2 are gauge equivalent if there exist complex numbers d (1),...,d (r) with the following property. We require that for any tuple (y 1 (x),...,y r (x)), fertile respect to some polynomials T 1 (x),...,t r (x) and parameters b 1, the tuple (y 1 (x+d (1) ),...,y r (x+ d (r) )) is fertile with respect to polynomials T 1 (x + d (1) ),...,T r (x + d (r) ) and parameters b 2.

10 10 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS If b 1 and b 2 are gauge equivalent and P is a population associated to some polynomials T 1 (x),...,t r (x) and parameters b 1, then the set {(y 1 (x + d (1) ),...,y r (x + d (r) )) (y 1 (x),...,y r (x)) P } is a population associated to polynomials T 1 (x + d (1) ),...,T r (x + d (r) ) and parameters b 2. Theorem 2.5. Let b 1 and b 2 be symmetric parameters. Assume that the Dynin diagram of the Cartan matrix A of the Lie algebra g is a tree. Then b 1 and b 2 are gauge equivalent. Proof. We will introduce parameters b 3 = (b 3 i,j ) in terms of the Dynin diagram and will prove that b 1 and b 3 are equivalent. That will prove the theorem. Let v 1,...,v r be vertices of the Dynin diagram corresponding to the roots α 1,...,α r, respectively. For i = 2,...,r, let v i1,..., v i be the unique sequence of distinct vertices of the Dynin diagram such that for j = 1,..., 1 the vertices v ij and v ij+1 are connected by an edge, and v i1 = v 1, v i = v i. The number will be called the distance between v 1 and v i and denoted by δ i. Let b 3 be defined by the rule: b 3 i,j = 0 if δ i > δ j, b 3 i,j = h if δ i < δ j, b 3 i,j = 0 if δ i = δ j and i > j, b 3 i,j = h if δ i = δ j and i < j. Clearly b 3 is symmetric. Define (d (1),..., d (r) ). Set d (i) = b 1 i 1,i 2 + b 1 i 2,i b 1 i 1,i ( 1)h for i > 1 and set d (1) = 0. It is easy to see that the sequence (d (1),...,d (r) ) establishes the equivalence of b 1 and b 3. Corollary 2.6. If the Dynin diagram is a tree, then any set of symmetric parameters is gauge equivalent to the set of special symmetric parameters given by (13). Corollary 2.7. If g is simple, then any set of symmetric parameters is gauge equivalent to the set of special symmetric parameters given by (13). Ogievetsy and Wiegman considered in [OW] a set of Bethe ansatz equations for any simple Lie agebra g. For g of type A r, D r, E 6, E 7, E 8 the Ogievetsy-Wiegman equations are the Bethe ansatz equations associated to parameters given by (12). For other simple Lie algebras the Ogievetsy-Wiegman equations are different from the Bethe ansatz equations considered in this paper. For g of type A r we considered in [MV3] the Bethe ansatz equations associated to the special symmetric parameters given by (13).

11 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS Diagonal sequences of polynomials associated to a Bethe solution and a sequence of indices. In this section we assume that parameters b are symmetric. We introduce notions which will be used in Chapter 4 to construct solutions of difference equations. Lemma 2.8. Assume that a tuple y P(C[x]) r represents a Bethe solution of the Bethe ansatz equations associated to z, Λ, symmetric parameters b. Let i = (i1,...,i ), 1 i j r, be a sequence of natural numbers. Then there exist tuples y (i 1) = (y (i 1) 1,...,y (i 1) r ), y (i 1,i 2 ) = (y (i 1,i 2 ) 1,...,y (i 1,i 2 ) r ),..., y (i 1,...,i ) = (y (i 1,...,i ) 1,...,y (i 1,...,i ) r ) in P(C[x]) r such that (i) y (i 1) i 1 (x) y i1 (x + h) y (i 1) i 1 (x + h) y i1 (x) r = T i1 (x) (y m ( x + b i1,m )) ai1,m m=1, m i 1 and y (i 1) j = y j for j i 1 ; (ii) for l = 2,...,, y (i 1,...,i l ) i l (x) y (i 1,...,i l 1 ) i l (x + h) y (i 1,...,i l ) i l (x + h) y (i 1,...,i l 1 ) i l (x) r = T il (x) (y m (i1,...,il 1) ( x + b il,m )) a i l,m m=1, m i l and y (i 1,...,i l ) j = y (i 1,...,i l 1 ) j for j i l. will be called the diagonal sequence of polynomials associated to the Bethe solution y and the sequence of indices i. For a given y the diagonal sequence of polynomials determines the sequence of tuples y (i1), y (i 1,i 2 ),..., y (i 1,...,i ) uniquely. There are many diagonal sequences of polynomials associated to a given Bethe solution and a given sequence of indices. The tuples y (i1), y (i 1,i 2 ),..., y (i 1,...,i ) belong to the population P y. The tuple y (i1) is obtained from y by the i 1 -th simple generation procedure and for l = 2,..., the tuple y (i 1,...,i l ) is obtained from y (i 1,...,i l 1 ) by the i l -th simple generation procedure. The sequence of tuples y (i1), y (i 1,i 2 ),..., y (i 1,...,i ) satisfying Lemma 2.8 will be called associated to the Bethe solution y and the sequence of indices i. The sequence of polynomials y (i 1) i 1, y (i 1,i 2 ) i 2,..., y (i 1,...,i ) i 3. Discrete Opers In the remaining part of the paper, g = g (A) is a simple Lie algebra of ran r. Denote the coroots t α 1,..., t α r t h of t g by H 1,...,H r, respectively. Let H 1,..., H r, E 1,...,E r, F 1,..., F r be the Chevalley generators of t g. We have [H j, E i ] = a i,j E i and [H j, F i ] = a i,j F i, where A = (a i,j ) is the Cartan matrix of g.

12 12 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS Let G be the complex simply connected Lie group with Lie algebra t g. Let B ±, N ± be the subgroups of G with Lie algebras t b ±, t n ±, respectively Relations in G. For a non-zero complex number u and i {1,..., r}, consider the elements u H i, exp (ue i ), exp (uf i ) in G. We will use the following relations. Lemma 3.1. Let u, v be non-zero complex numbers. Then u H j exp (v E i ) = exp (u a i,j v E i ) u H j, u H j exp (v F i ) = exp (u a i,j v F i ) u H j, exp (u F i ) exp (v E j ) = exp (v E j ) exp (u F i ) if i j, v exp (u F i ) exp (v E i ) = exp ( 1 + uv E i) (1 + uv) H u i exp ( 1 + uv F i) if 1 + uv D-opers. Define the shift operator h acting on functions of x by the formula h : g(x) g(x + h). A discrete oper (a d-oper) is a difference operator of the form D = V, where V : C G is a rational function. For a rational function s : C N +, define the action of s on the d-oper by the formula s D = s(x + h) D s(x) 1 = h s(x + h) V (x) s(x) 1. The operator s D is a d-oper. The d-opers D and s D are called gauge equivalent Miura d-opers associated to tuples of polynomials. In the remaining part of the paper we assume that b = (b i,m ) r i,m=1, i m are special symmetric parameters given by (13). Fix dominant integral weights Λ = (Λ 1,...,Λ n ) of g, complex numbers z = (z 1,..., z n ). Introduce polynomials T 1 (x),...,t r (x) by formula (4). For given polynomials T 1,..., T r, a tuple y = (y 1,...,y r ) of non-zero polynomials, and i {1,..., r}, we define the rational function R y,i by the formula T i (x) R y,i (x) = (y m ( x + b i,m )) a i,m. y i (x + h) y i (x) m, m i We say that a d-oper D = h V is the Miura d-oper associated to weights Λ, numbers z, and the tuple y = (y 1,...,y r ) if r V (x) = y j (x + h) H j j=1 exp (R y,1 (x) F 1 ) exp (R y,2 (x) F 2 ) exp (R y,r (x) F r ) r y j (x) H j. j=1

13 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS 13 We denote by D y = h V y the Miura d-oper associated to the tuple y. It is easy to see that if a Miura d-oper D is associated to weights Λ, numbers z, and a tuple y = (y 1,..., y r ) of non-zero polynomials, then the tuple y is determined uniquely by D. It follows easily from Lemma 3.1 that the d-oper D y does not change if the polynomials of the tuple y are multiplied by non-zero numbers. For i {1,..., r}, we say that the Miura d-oper D y is deformable in the i-th direction if there exists a non-zero rational function g i : C C and a non-zero polynomial ỹ i such that exp(g i (x + h) E i ) D y exp( g i (x) E i ) = D y (i), where y (i) = (y 1,...,ỹ i,...,y r ). We say that D y is deformed to D y (i) with the help of g i. Theorem 3.1. Let b be the special symmetric parameters. Let y be a tuple of non-zero polynomials. (i) Assume that equation (7) has a polynomial solution ỹ i. Set y (i) = (y 1,..., ỹ i,...,y r ). Then the Miura d-oper D y is deformable in the i-th direction to the Miura d-oper D y (i) with the help of (14) g i (x) = 1 y i (x) ỹ i (x) m, m i y m (x) a i,m. (ii) If the tuple y is generic in the sense of Section 2.3 and the Miura d-oper D y is deformable in the i-th direction to the Miura d-oper D y (i) with the help of g i, then ỹ i is a polynomial solution of equation (7), and g i, ỹ i satisfy (14). Proof. For a scalar rational function g i we have where exp(g i (x + h) E i ) D y exp( g i (x) E i ) = h r y j (x + h) H j exp (R y,1 (x) F 1 ) exp (R y,2 (x) F 2 ) j=1 exp( g i (x + h) E i ) exp (R y,i (x) F i ) exp( g i (x) E i ) r exp (R y,r (x) F r ) y j (x) H j, g i (x) = g i (x) r y m (x) a i,m. By Lemma 3.1 the Miura d-oper D is deformable in the i-th direction only if m=1 g i (x + h) = g i (x)/(1 g i (x)r y,i (x)). j=1

14 14 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS This equation is called the i-th discrete Ricatti equation, see [MV4] where the classical Ricatti equation appears in an analogous situation. The Ricatti equation can be written as (15) y i (x + h) y i(x) g i (x) y i(x) y i(x + h) g i (x + h) = T i (x) m, m i y m (x + b i,m ) a i,m. If equation (7) has a polynomial solution ỹ i, then (15) has a rational solution Then g i is given by (14), and (16) (17) g i (x) = y i(x) ỹ i (x). 1 g i (x) R y,i (x) = ỹi(x + h) y i (x + h) y i (x) ỹ i (x), exp( g i (x + h) E i ) exp (R y,i (x) F i ) exp( g i (x) E i ) = ( ) Hi ) Hi yi (x + h) (ỹi (x) ỹ i (x + h) y i (x) ( ) ỹ i (x) T i (x) exp y ỹ i (x + h) (y i (x)) 2 m (x + b i,m ) a i,m F i = m, m i ( ) Hi ) Hi yi (x + h) (ỹi (x) exp (R ỹ i (x + h) y(i),i(x) F i ). y i (x) Using the last formula and Lemma 3.1 we easily conclude that the Miura d-oper D y is deformed in the i-th direction to the Miura d-oper D y (i) with the help of g i given by (14) if ỹ i is a polynomial solution of (7). This proves part (i) of the theorem. To prove part (ii) write (15) as 1 g i (x) 1 g i (x + h) = T i (x) y i (x + h) y i (x) m, m i y m (x + b i,m ) a i,m. Let g i (x) be a rational solution of this equation. Since y is generic, the poles of 1/ g i (x) are located at zeros of y i (x) and all poles are simple. Hence ỹ i (x) = y i (x)/ g i (x) is a polynomials solution of (7). Then formulas (16), (17) hold and part (ii) is proved. Corollary 3.2. Let the Miura d-oper D y be associated to weights Λ, numbers z, and the tuple y = (y 1,...,y r ). Assume that the tuple y = (y 1,...,y r ) is generic in the sense of Section 2.3. Then D y is deformable in all directions from 1 to r if and only if the tuple y represents a Bethe solution of the Bethe ansatz equations associated to z, Λ, Λ = n i=1 Λ i r i=1 l iα i, l i = deg y i, and special symmetric parameters b.

15 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS 15 Let the Miura d-oper D y be associated to weights Λ, numbers z, and the tuple y = (y 1,...,y r ). Let the tuple y = (y 1,...,y r ) represent a Bethe solution of the Bethe ansatz equations associated to z,λ, Λ, and special symmetric parameters b. Let Om Dy 0 be the variety of all Miura d-opers each of which can be obtained from D y by a sequence of deformations in directions i 1,...,i where is a positive integer and all i j lie in {1,..., r}. Corollary 3.3. The variety Om Dy 0 is isomorphic to the population P y of solutions of Bethe ansatz equations, where P y is the population originated at y. 4. Solutions of Difference Equations Let D y = h V y be the Miura d-oper associated to a Bethe solution y of the Bethe ansatz equations associated to special symmetric parameters b. Let P y be the population of solutions originated at y. In this section we prove that the difference equation (18) Y (x + h) = V y (x) Y (x) has a G-valued rational solution. We will write that solution explicitly in terms of coordinates of tuples composing the population. Note that if Y (x) is a solution and g G, then Y (x)g is a solution too. First we give a formula for a solution of equation (18) for d-opers associated to g of type A r, and then we consider more general formulas for solutions which do not use the structure of the Lie algebra. Let Y be a solution of equation (18). Define Ȳ (x) = r y j (x) H j Y (x). j=1 Then (19) Ȳ is a solution of the equation Ȳ (x + h) = V y (x) Ȳ (x) where V y (x) = exp (R y,1 (x) F 1 ) exp (R y,2 (x) F 2 ) exp (R y,r (x) F r ) The A r d-opers and solutions of Bethe ansatz equations. In this section let g = sl r+1 be the Lie algebra of type A r. Then t g = sl r+1. We have (α i, α i ) = 2 for all i. We fix the order of simple roots of sl r+1 such that We start with two examples. (α 1, α 2 ) = (α 2, α 3 ) = = (α r 1, α r ) = 1.

16 16 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS Let g = sl 2. Let y = (y 1 ) represent a Bethe solution of the sl 2 Bethe ansatz equations associated to z, Λ, Λ. Let y (1) 1 be the diagonal sequence of polynomials associated to y and the sequence of indices (1), in other words, Then y 1 (x + h) y (1) 1 (x) y 1 (x) y (1) 1 (x + h) = T 1 (x). Ȳ = exp ( y(1) 1 F 1 ) y 1 is a solution of the difference equation (19) with values in SL(2, C). Indeed, T 1 (x) ( h exp( y 1 (x)y 1 (x + h) F 1)) exp ( y(1) 1 (x) y 1 (x) F 1) = exp ( y(1) 1 (x + h) y 1 (x + h) F 1) ( h exp( ( y(1) 1 (x + h) y 1 (x + h) + y(1) 1 (x) exp ( y(1) 1 (x + h) y 1 (x + h) F 1) ( h id). y 1 (x) + T 1 (x) y 1 (x)y 1 (x + h) ) F 1 ) ) = Let g = sl 3. Let y = (y 1, y 2 ) represent a Bethe solution of the Bethe ansatz equations associated to z,λ, Λ, and special symmetric parameters b. Let y (1) 1, y(1,2) 2 be the diagonal sequence of polynomials associated to y and the sequence of indices (1, 2), in other words, y 1 (x + h) y (1) 1 (x) y 1 (x) y (1) 1 (x + h) = T 1 (x) y 2 (x + h), y 2 (x + h) y (1,2) 2 (x) y 2 (x) y (1,2) 2 (x + h) = T 2 (x) y (1) 1 (x). Let y (2) 2 be the diagonal sequence of polynomials associated to y and the sequence of indices (2), in other words, Then y 2 (x + h) y (2) 2 (x) y 2(x) y (2) 2 (x + h) = T 2(x) y 1 (x). Ȳ (x) = exp ( y(1) 1 (x) y 1 (x) F 1) exp ( y(1,2) 2 (x) y 2 (x) [F 2, F 1 ]) exp ( y(2) 2 (x) y 2 (x) F 2)

17 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS 17 is a solution of the difference equation (19) with values in SL(3, C). Indeed, we have and ( h V y (x)) exp ( y(1) 1 (x) y 1 (x) F 1) = exp( y(1) 1 (x + h) y 1 (x + h) F 1)( h exp(( y(1) 1 (x + h) y 1 (x + h) + y(1) 1 (x) y 1 (x) + T 1(x)y 2 (x + h) y 1 (x)y 1 (x + h) )F 1) exp( y(1) 1 (x + h) y 1 (x + h) F 1) exp ( T 2(x)y (1) 1 (x) y 2 (x)y 2 (x + h) [F T 2 (x)y 1 (x) 2, F 1 ]) exp ( y 2 (x)y 2 (x + h) F 2) ) = ( h exp( T 2(x)y (1) 1 (x) y 2 (x)y 2 (x + h) [F T 2 (x)y 1 (x) 2, F 1 ]) exp( y 2 (x)y 2 (x + h) F 2)), ( h exp( T 2(x)y (1) 1 (x) y 2 (x)y 2 (x + h) [F T 2 (x)y 1 (x) 2, F 1 ]) exp( y 2 (x)y 2 (x + h) F 2)) exp ( y(1,2) 2 (x) y 2 (x) [F 2, F 1 ]) = exp ( y(1,2) 2 (x + h) y 2 (x + h) [F T 2 (x)y 1 (x) 2, F 1 ]) ( h exp( y 2 (x)y 2 (x + h) F 2)), T 2 (x)y 1 (x) ( h exp( y 2 (x)y 2 (x + h) F 2)) exp ( y(2) 2 (x) y 2 (x) F 2) = exp ( y(2) 2 (x + h) y 2 (x + h) F 2) ( h id). Consider the general case. Let g = sl r+1. Let y = (y 1,...,y r ) represent a Bethe solution of the Bethe ansatz equations associated to z,λ, Λ, and special symmetric parameters b. For i = 1,...,r, let y (i) i, y (i,i+1) i+1,..., y r (i,...,r) be the diagonal sequence of polynomials associated to y and the sequence of indices (i, i+1,...,r), in other words, y i (x + h) y (i) i (x) y i (x) y (i) i (x + h) = T i (x) y i 1 (x) y i+1 (x + h), y i+1 (x + h)y (i,i+1) i+1 (x) y i+1 (x)y (i,i+1) i+1 (x + h) = T i+1 (x) y (i) i (x)y i+2 (x + h),..., y r 1 (x + h)y (i,...,r 1) r 1 y r (x + h) y (i,...,r) r (x) y r 1 (x)y (i,...,r 1) (x + h) = T r 1 (x) y (i,...,r 2) (x)y r (x + h), r 1 r 2 (x) y r (x) y (i,...,r) (x + h) = T r (x) y (i,...,r 1) (x). r r 1

18 18 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS Define r functions Y 1,...,Y r of x with values in SL (r + 1, C) by the formulas r Y i (x) = exp ( y(i,...,j) j (x) [F j, [F j 1, [..., [F i+1, F i ]...]]] ). y j (x) j=i Note that inside each product the factors commute. Theorem 4.1. The product Y 1 Y r is a solution of the difference equation (19) with values in SL (r + 1, C). The proof is straightforward. One shows that ( h exp (R y,i (x) F i ) exp (R y,r (x) F r )) Y i (x) = Y i (x + h) ( h exp (R y,i+1 (x) F i+1 ) exp (R y,r (x) F r )) General formulas for solutions. Let U be a complex finite dimensional representation of G. Let u low be a lowest weight vector of U, t n u low = 0. Let y = (y 1,...,y r ) represent a Bethe solutions of the Bethe ansatz equations associated to z,λ, Λ, and special symmetric parameters b. We solve the difference equation (18) with values in U. Let i = (i 1, i 2,...,i ), 1 i j r, be a sequence of natural numbers. Let y (i1) = (y (i 1) 1,...,y (i 1) r ), y (i 1,i 2 ) = (y (i 1,i 2 ) 1,...,y (i 1,i 2 ) r ),..., y (i 1,...,i ) = (y (i 1,...,i ) 1,...,y (i 1,...,i ) r ) be a sequence of tuples associated to the Bethe solution y and the sequence of indices i. Theorem 4.2. The U-valued function ( ) 1 Y (x) = exp (y y i1 (x) y (i 1) m (x)) ai1,m E i1 i 1 (x) m, m i 1 ( ) 1 exp y (i 1) i 2 (x) y (i 1,i 2 (y ) m (i1) i 2 (x) (x)) a i 2,m E i2 m, m i 2 ( ) 1 exp (y y (i 1,...,i 1 ) i (x)y (i 1,...,i ) m (i1,...,i 1) (x)) a i,m E i i (x) m, m i r (y (i 1,...,i ) j (x)) H j u low. j=1 is a solution of the difference equation (18). The proof is straightforward and follows from Theorem 3.1. Corollary 4.1. Every coordinate of every solution of the difference equation (18) with values in a finite dimensional representation of G can be written as a rational function R(f 1,..., f N ) of suitable polynomials f 1,...,f N which appear as coordinates of tuples in the g population P y generated at y.

19 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS 19 Since G has a faithful finite dimensional representation, the solutions of the difference equation (18) with values in G also can be written as rational functions of coordinates of tuples of P y, cf. Section 4.1. Corollary 4.2. Let y = (y 1,...,y r ) represent a Bethe solution of the Bethe ansatz equations associated to z,λ, Λ, and special symmetric parameters b. Then there exists a G-valued rational function Y : C G satisfying equation (18). 5. Miura d-opers and flag varieties 5.1. Theorem on isomorphism. Let y = (y 1,..., y r ) represent a Bethe solution of the Bethe ansatz equations associated to z,λ, Λ, and special symmetric parameters b. Let D y = h V y be the Miura d-oper associated to y. Consider the variety Om Dy of all Miura d-opers gauge equivalent to D y. If D Om Dy, then there exists a rational function v : C N + such that D = v(x + h) D y v(x) 1. In that case we denote D by D v. The variety of pairs Ôm Dy = {(D v, v) D v Om Dy } will be called the variety of mared Miura d-opers gauge equivalent to D y. We have the natural projection π : Ôm Dy Om Dy, (D v, v) D v. We will show below that π is an isomorphism. Let Om 0 Dy Om Dy be the subvariety of all Miura d-opers each of which can be obtained from D y by a sequence of deformations in directions i 1,...,i where is a non-negative integer and all i j lie in {1,..., r}. By Corollary 3.3 the subvariety Om 0 Dy is isomorphic to the population of solutions of Bethe ansatz equations associated to special symmetric parameters b and originated at y. We will show below that Om 0 Dy = Om Dy. Assume that D Om 0 Dy and D is obtained from D y by a sequence of deformations in directions i 1,...,i where is a non-negative integer and all i j lie in {1,...,r}. Then there exist scalar rational functions g 1,...,g with the following properties. For j = 1,...,, define a rational N + -valued function v j : C N +, (20) v j (x) = exp (g j (x)e ij ) exp (g 2 (x)e i2 ) exp (g 1 (x)e i1 ). Then D v j Om Dy 0 and D = D v. The set of all pairs (D v, v ) such that is a nonnegative integer, v is given by the above construction, and D v OmDy 0, will be called the variety of specially mared Miura d-opers gauge equivalent to D y and denoted by Ôm Dy 0. Clearly we have Ôm D y 0 Ôm Dy. Let P 1 be the complex projective line. Consider D y as a discrete connection y on the trivial principal G-bundle p : G P 1 P 1. Namely, by definition a section U G U, x Y (x) x,

20 20 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS of p over a subset U C P 1 is called horizontal if the G-valued function Y (x) is a solution of the difference equation (18), Y (x + h) = V y (x) Y (x). By Corollary 4.2 equation (18) has a rational solution Y (x). For any g G the rational G-valued function Y (x)g is a solution of the same equation too. A point x 0 C will be called regular if x 0 is a regular point of the rational functions Y (x) and V y (x). Let x 0 C be a regular point. Let g be an element of G. Then y has a rational horizontal section s such that s(x 0 ) = g. It is easy to see that if the values of two rational horizontal sections are equal at one point, then the sections are equal. Consider the trivial bundle p : (G/B ) P 1 P 1 associated to the bundle p. The fiber of p is the flag variety G/B. The discrete connection y induces a discrete connection y on p. The variety Γ of rational horizontal sections of the discrete connection y is identified with the fiber (p ) 1 (x 0 ) over any regular point x 0. Thus, Γ is isomorphic to G/B. Any G-valued rational function v defines a section (21) S v : x v(x) 1 B x of p over the set of regular points of v. The section S v is also well defined over the poles of v since G/B is a projective variety. If D v Om Dy, then the section S v is horizontal with respect to y. This follows from the fact that the function V y taes values in B. Thus we have a map S : Ôm Dy Γ, (D v, v) S v. Theorem 5.1. The map S : Ôm Dy Γ is an isomorphism and Ôm D y 0 = Ôm Dy. Proof. Let (D v 1, v 1 ), (D v 2, v 2 ) Ôm Dy. Assume that the images of (D v 1, v 1 ) and (D v 2, v 2 ) under the map S coincide. Assume that v 1, v 2, V y are regular at x 0 C. The equality S v1 (x 0 ) = S v2 (x 0 ) means that v 1 (x 0 ) 1 B = v 2 (x 0 ) 1 B. Then v 1 (x 0 ) = v 2 (x 0 ). Hence v 1 = v 2 and D v 1 = D v 2. That proves the injectivity of S. Let x 0 be a regular point of V y in C. For any u N + there exists a rational N + -valued function v such that v(x 0 ) = u, D v Om Dy 0. Indeed, every u N + is a product of elements of the form e c ie i for i {1,..., r} and c i C. Every c i can be taen as the initial condition for a solution of the suitable i-th discrete Ricatti equation. Thus the set Im(x 0 ) = {S v (x 0 ) (G/B ) x 0 (D v, v) Ôm D y 0 } contains the set ((N + B )/B ) x 0 (G/B ) x 0. It is easy to see that the set Im(x 0 ) is closed in (G/B ) x 0 as the image of Ôm Dy 0 with respect to S. On the other hand the set ((N + B )/B ) x 0 is dense in (G/B ) x 0. Hence Im(x 0 ) = (G/B ) x 0, and Ôm D y 0 = Ôm Dy since the map S is injective.

21 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS Remars on the isomorphism. Let g be a simple Lie algebra. Let y 0 be a Bethe solution of the Bethe ansatz equations associated to special symmetric parameters b. Theorem 5.1 says that the variety Ôm Dy 0 is isomorphic to the flag variety G/B. Here are some comments on that isomorphism. The isomorphism is constructed in two steps. If (D v, v) Ôm Dy 0 is a mared Miura d-oper, then we assign to it the section S v Γ by formula (21). We choose a regular point x 0 C, and assign to the section S v its value S v (x 0 ) (G/B ) x 0 at x 0. The resulting composition φ y 0,x 0 : Ôm Dy 0 G/B is an isomorphism according to Theorem 5.1. Lemma 5.1. If x 0, x 1 C are regular points, then there exists an element g B such that φ y 0,x 1 = g φ y 0,x 0. Proof. Let Y be the G-valued rational solution of equation (18) such that Y (x 0 ) = id. Then Y (x) B for all x. If (D v, v) Ôm Dy 0, then S v is a horizontal section of y. 0 Thus it has the form x (Y (x)ub ) x for a suitable element u G. Hence φ y 0,x 0 (y) = Y (x 0 )ub and φ y 0,x 1 (y) = Y (x 1 )ub. We conclude that φ y 0,x 1 = Y (x 1 )Y (x 0 ) 1 φ y 0,x Bruhat Cells 6.1. Properties of Bruhat cells. Let g be a simple Lie algebra. For an element w of the Weyl group W, the set B w = B wb G/B is called the Bruhat cell associated to w. The Bruhat cells form a cell decomposition of the flag variety G/B. For w W denote l(w) the length of w. We have dim B w = l(w). Let s 1,...,s r W be the generating reflections of the Weyl group. For v G/B and i {1,..., r} consider the rational curve C G/B, c e ce i v. The limit of e ce i v is well defined as c, since G/B is a projective variety. We need the following standard property of Bruhat cells. Lemma 6.1. Let s i, w W be such that l(s i w) = l(w) + 1. Then B si w = { e ce i v v B w, c {P 1 0} }. Corollary 6.2. Let w = s i1 s i be a reduced decomposition of w W. Then B w = { lim... lim e c 1E i1 e c E ib G/B c 0 1,...,c0 {P1 0}}. c 1 c 0 1 c c 0

22 22 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS Corollary 6.3. Let s i1 s i be an element in W. Let c 0 1,...,c0 P1. Then the element lim... lim e c 1E i1 e c E ib c 1 c 0 1 c c 0 belongs to the union of the Bruhat cells B w with l(w). G/B 6.2. Populations and Bruhat cells. Let P be a population of solutions of the Bethe ansatz equations associated to integral dominant weights Λ, numbers z, special symmetric parameters b. Let y 0 = (y1 0,...,y0 r ) P be a point of the population with l i = deg yi 0 for i = 1,...,r. Assume that the weight at infinity of y 0, n r Λ = Λ i l i α i, i=1 is integral dominant, see Section 2. Such y 0 exists according to [MV1], [MV2]. For w W consider the weight w Λ, where w is the shifted action of w on h. Write n r w Λ = Λ i li w α i. Set i=1 P w = { y = (y 1,...,y r ) P deg y i = l w i, i = 1,..., r }. Clearly, P = w W P w, and P w1 P w2 = if w 1 w 2. Consider the trivial bundle p : (G/B ) P 1 P 1 with the discrete connection y 0. Consider the Bruhat cell decomposition of fibers of p. Assume that x 0 C is a regular point of the Miura d-oper D y 0 = h V y 0 and x 0 is a regular point of the G-valued rational solutions of the associated difference equation (18), Y (x + h) = V y 0(x) Y (x). Let i=1 i=1 φ y 0,x 0 : Ôm Dy 0 G/B be the isomorphism defined in Section 5.2. Let be the natural projection. Let be the isomorphism of Corollary 3.3. π : Ôm Dy 0 Om Dy 0, (D v, v) D v, ξ : Om Dy 0 P, D y y, Theorem 6.1. For every w W, the composition ξπφ 1 y 0,x 0 : G/B P, restricted to the Bruhat cell B w 1, is a 1-1 epimorphism of B w 1 onto P w. Corollary 6.4. The projection π : Ôm Dy 0 Om Dy 0 is an isomorphism, i.e. if (D v 1, v 1 ), (D v 2, v 2 ) Ôm Dy 0 are such that D v 1 = D v 2, then v 1 = v 2.

23 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS 23 Corollary 6.5. Let P be a population of solutions of the Bethe ansatz equations associated to integral dominant g-weights Λ 1,..., Λ n, complex numbers z 1,...,z n, special symmetric parameters b. Then P is isomorphic to the flag variety G/B of the Langlands dual algebra t g. Corollary 6.6. Let Λ 1,...,Λ n, Λ be integral dominant g-weights. Let z 1,..., z n be complex numbers. Let w W. Consider the Bethe ansatz equations associated to Λ 1,...,Λ n, w Λ = n i=1 Λ i r i=1 lw i α i, z 1,...,z n, and special symmetric parameters b. A solution of the Bethe ansatz equations is a collection of complex numbers t = (t (i) j ), i = 1,...,r, j = 1,...,lw i. Let K be a connected component of the set of solutions of the Bethe ansatz equations. For each t K consider the tuple y t (C[x]) r of monic polynomials representing the solution t. Then the closure of the set { y t t K } in (C[x]) r is an l(w)-dimensional cell Proof of Theorem 6.1. Lemma 6.7. For w W, the subset B w P 1 (G/B ) P 1 is invariant with respect to the discrete connection y 0. Proof. Let Y be the rational G-valued solution of the equation D y 0Y = 0 such that Y (x 0 ) = id. Then Y (x) B for all x. The rational horizontal sections of y 0 have the form x (Y (x) ub ) x for a suitable element u G. If ub B w, then Y (x)ub B w for all x. Let w = s i s i1 be a reduced decomposition of w W. For d = 1,..., set n r (s id s i1 ) Λ = Λ i li d α i. i=1 From [BGG] it follows that li 1 1 > l i1 and li d d > l d 1 i d for d = 2,...,. Let i = (i 1,...,i ), 1 i j r, be a sequence of integers. We consider the map Y y 0,i : (P 1 ) P(C[x]) r introduced in Section 2.5 for special symmetric parameters b = (b i,j ). Its image is denoted by P y 0,i. The image of a point (c 1,..., c ) (P 1 ) under this map is denoted by y ; c 1,...,c. We repeat the definition of y ; c 1,...,c in terms convenient for our present purposes. We assume that the tuple y 0 is a tuple of monic polynomials. For d = 1,..., we define by induction on d a family of tuples of polynomials depending on parameters c 1,...,c d P 1. Namely, let ỹ i1 be a polynomial satisfying equation yi 0 1 (x + h) ỹ i1 (x) yi 0 1 (x) ỹ i1 (x + h) = T i1 (x) ( yj 0 (x + b i 1,j) ) ai1,j. j, j i 1 We fix ỹ i1 assuming that the coefficient of x l i 1 in ỹ i1 is equal to zero. Set y 1; c 1 = (y 1; c 1 1,...,y 1;c 1 r ) P(C[x]) r, where y 1; c 1 i 1 (x) = ỹ i1 (x) + c 1 y 0 i 1 (x) and y 1; c 1 j (x) = y 0 j (x) for j i 1. i=1