MIURA OPERS AND CRITICAL POINTS OF MASTER FUNCTIONS arxiv:math/03406v [math.qa] Oct 004 EVGENY MUKHIN, AND ALEXANDER VARCHENKO, Abstract. Critical points of a master function associated to a simple Lie algebra g come in families called the populations [MV]. 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 critical points and differential operators called the Miura opers. For a Miura oper D, associated with a critical point of a population, we show that all solutions of the differential equation DY = 0 can be written explicitly in terms of critical points composing the population. Department of Mathematical Sciences, Indiana University Purdue University Indianapolis, 40 North Blackford St., Indianapolis, IN 460-36, USA Department of Mathematics, University of North Carolina at Chapel Hill, Chapel Hill, NC 7599-350, USA. Introduction In [ScV] rational functions were considered which are products of powers of linear functions. It was discovered that under certain conditions all critical points of the rational functions are non-isolated and form non-trivial varieties. It is not clear yet how general that phenomenon is but the phenomenon certainly holds for products of powers of linear functions appearing in representation theory. Those products are called the master functions. Let h be the Cartan subalgebra of a simple Lie algebra g; (, the Killing form on h ; α,...,α r h simple roots; Λ,...,Λ n h dominant integral weights; l,...,l r nonnegative integers; z,...,z n distinct complex numbers. The master function Φ associated with this data is given by formula (. It is a rational function of l + + l r variables t (,..., t ( l, t (,...,t (r l r, and n variables z,...,z n. We may think that l + + l r + n particles are given in C. The particle t (i has weight α i and the particle z s has weight Λ s. The particles interact pairwise. The interaction of particles x and y with weights v and w, respectively, is given by (x y (v,w. Then total interaction is the product of such terms over the set of all pairs. The master function describes the interaction of t-particles and z-particles. Supported in part by NSF grant DMS-040460. Supported in part by NSF grant DMS-044579.
MIURA OPERS AND CRITICAL POINTS The master function appears in hypergeometric solutions to the KZ equations with values in the tensor product of irreducible highest weight representations L Λ,..., L Λn with highest weights Λ,...,Λ n, respectively. The solutions have the form u(z = Φ(t; z /κ A(t; z dt, where κ is the parameter of the KZ equations and A(t; z is some explicitly written rational function with values in the tensor product [SV]. The master function also appears in the Bethe ansatz of the Gaudin model with values in the same tensor product [RV]. In that case the value of the function A( ; z at a point t is an eigenvector of the commuting Gaudin Hamiltonians if t is a critical point of the master function. In this paper we study critical points of the master function on the set where all {t (i, z s} are distinct. In other words we study those positions of distinct particles {t (i } in the complement to {z s } which extremize the master function. Critical points of master functions associated to a simple Lie algebra g come in families called populations [ScV, MV]. 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 critical points and differential operators called the Miura opers. To every critical point t one assigns a certain linear differential operator D t with coefficients in t g, called the Miura oper. The differential operators of that type were considered by V. Drinfeld and V. Sokolov in their study of the KdV type equations [DS]. On opers and Miura opers see [BD, FFR, F, F, MV, BM, MV4]. Different critical points correspond to different Miura opers. The Miura opers corresponding to critical points of a given population form an equivalence class with respect to suitable gauge equivalence. We show that the equivalence class of Miura opers is isomorphic to the flag variety of t g. In [MV, BM] we considered Miura opers for Lie algebras of types A r, B r, C r, G and using the opers proved that a population of critical points of types A r, B r, C r, G is isomorphic to the corresponding flag variety. The proof, suggested in the present paper, is more direct and works for any simple Lie algebra. If D t is the Miura oper corresponding to a critical point t, then the set of solutions of the differential equation D t Y = 0 with values in a suitable space is an important characteristics of the critical point. We used that characteristics for sl r+ Miura opers in [MV] to give a bound from above for the number of populations of critical points of the corresponding sl r+ master function. That statement in [MV] was in some sense opposite to the Bethe ansatz conectures, see [MV]. It turns out that for any simple Lie algebra g and any critical point t of a g master function all solutions of the differential equation D t Y = 0 can be written explicitly in terms of critical points composing the population originated at t. Thus the population of critical points solves the Miura differential equation D t Y = 0. This is the second main result of the paper.
MIURA OPERS AND CRITICAL POINTS 3 When this paper was being written preprint [F] by E. Frenkel appeared. The preprint is devoted to the same fact that the variety of gauge equivalent t g Miura opers is isomorphic to the flag variety of t g. The main result of [F] is Corollary 3.3. In our opinion the proof of Corollary 3.3 in [F] is incomplete and in particular the statement of Corollary 3.3 is not correct. The idea of this paper was originated in discussions with E. Frenkel in the spring of 00. As a result of those discussions two papers appeared: this one and [F]. We thank E. Frenkel for stimulating meetings which originated this paper. We thank P. Belkale and S. Kumar for numerous useful discussions. The paper is organized as follows. In Section we introduce populations of critical points. In Section 3 we discuss elementary properties of Miura opers corresponding to critical points. In Section 4 we prove that the variety of gauge equivalent Miura opers is isomorphic to the flag variety, see Theorem 4.. We discuss the relations between the Bruhat cell decomposition of the flag variety and populations of critical points in Section 5. The main result there is Corollary 5.3 describing the structure of connected components of the critical set of master functions. In Section 6 we give explicit formulas for solutions of the differential equation D t Y = 0, see Theorems 6., 6., 6.3.. Master functions and critical points, [MV].. Kac-Moody algebras. Let A = (a i, r i,= be a generalized Cartan matrix, a i,i =, a i, = 0 if and only a,i = 0, a i, Z 0 if i. We assume that A is symmetrizable, i.e. there exists a diagonal matrix D = diag{d,...,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],., h g the Cartan subalgebra. The associated scalar product is non-degenerate on h and dim h = r + d, where d is the dimension of the kernel of the Cartan matrix A. Let α i h, α i h, i =,..., r, be the sets of simple roots, coroots, respectively. We have (α i, α = d i a i,, λ, α i = (λ, α i /(α i, α i, λ h. In particular, α, α i = a i,. 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 =, i =,..., r. We have (ρ, α i = (α i, α i /. The Weyl group W End(h * is generated by reflections s i, i =,...,r, We use the notation s i (λ = λ λ, α i α i, λ h. w λ = w(λ + ρ ρ, w W, λ h,
4 MIURA OPERS AND CRITICAL POINTS for the shifted action of the Weyl group. The Kac-Moody algebra g (A is generated by h, e,...,e r, f,...,f r with defining relations and the Serre s relations [e i, f ] = δ i, α i, i, =,...r, [h, h ] = 0, h, h h, [h, e i ] = α i, h e i, [h, f i ] = α i, h f i, h h, i =,...r, h h, i =,...r, (ade i a i, e = 0, (adf i a i, f = 0, for all i. The generators h, e,...,e r, f,...,f r are called the Chevalley generators. Denote n + (resp. n the subalgebra generated by e,..., e r (resp. f,...,f r. Then g = n + h n. Set b ± = h n ±. Let g = g be the canonical grading of g. Here we have e i g, f i g, n + = >0 g, h = g 0, n = <0 g. For a vector space X we denote M(X the space of X-valued rational functions on C. We denote M(n + the completion of the space M(n + with respect to the canonical grading. An element of M(n+ is a formal sum >0 u, where u : C g are rational functions. 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 =,...,r, be the sets of simple roots, coroots of t g, respectively. Then for all i,. t α i, t α = α, α i = a i,.. The definition of master functions and critical points. We fix a Kac-Moody algebra g = g (A, a non-negative integer n, a collection of dominant integral weights Λ = (Λ,...,Λ n, Λ i P +, and points z = {z,...,z n } C. We assume that z i z if i. We often do not stress the dependence of our obects on these parameters. In addition we choose a collection of non-negative integers l = (l,...,l r Z r 0. The choice of l is equivalent to the choice of the weight Λ = n r Λ i l α P. i= = The weight Λ will be called the weight at infinity.
MIURA OPERS AND CRITICAL POINTS 5 The master function Φ(t; Λ is defined by ( Φ(t; Λ = Φ(t; z,λ, Λ = (z s z u (Λs,Λu l i n i= = s= (t (i z s (Λs,α i i= s<u n (t (i <s l i t (i s (α i,α i l i l i< r s= k= (t (i s t ( k (α i,α, see [SV]. The function Φ is a function of variables t = (t (i, where i =,...,r, and =,...,l i, of variables z = (z,..., z n, weights Λ, and integers l. The main variables are t, the other variables will be considered as parameters. The function Φ is symmetric with respect to permutations of variables with the same upper index. A point t with complex coordinates is called a critical point if the following system of algebraic equations is satisfied ( n (Λ s, α i + t (i z s s= l s s, s i k= (α s, α i t (i t (s k + s, s (α i, α i t (i t (i s = 0, where i =,...,r and =,..., l i. In other words, the point t is a critical point if ( Φ Φ (t = 0, i =,..., r, =,...,l t (i i. Note that the product of symmetric groups S l = S l S lr acts on the critical set of the master function permuting the coordinates with the same upper index. All orbits have the same cardinality l! l r!. We do not make distinction between critical points in the same orbit..3. Polynomials representing critical points. Let t be a critical point of the master function Φ = Φ(t; Λ. Introduce an r-tuple of polynomials y = (y (x,..., y r (x, (3 y i (x = l i = (x t (i. 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 proective space associated with the vector space of polynomials in x. We say that the tuple y represents the critical point. It is convenient to think that the tuple (,..., of constant polynomials represents in P(C[x] r the critical point of the master function with no variables. This corresponds to the case when l = (0,...,0 and Λ = n s= Λ s.
6 MIURA OPERS AND CRITICAL POINTS (4 Introduce polynomials T i (x = n (x z s Λs,α i, i =,..., r. s= We say that a given tuple y is generic with respect to weights Λ,..., Λ n and points z,...,z n if each polynomial y i (x has no multiple roots; all roots of y i (x are different from roots of the polynomial T i ; any two polynomials y i (x, y (x have no common roots if i and a i, 0. A tuple is generic if it represents a critical point. Let W(f, g = f g fg be the Wronskian of functions f, g of x. A tuple y is called fertile, if for every i =,...,r there exists a polynomial ỹ i satisfying the equation (5 W(y i, ỹ i = T i, i y α,α i = T i, i y a i,. The polynomial ỹ i considered up to multiplication by a non-zero number has the form ỹ i (x = c y i (x T i (x y (x a i, (6 dx + c y i (x, = where c, c are complex numbers, c 0. If y is fertile and i {,..., r}, then the tuple (7 y [i] = (y,...,ỹ i,...,y r P(C[x] r is called the immediate descendant of y in the i-th direction. Theorem. ([MV]. (i A generic tuple y = (y,...,y r, with deg y = l, represents a critical point of the master function Φ(t; Λ, with Λ = n s= Λ s r = l α, if and only if it is fertile. (ii If y represents a critical point, i {,...,r}, and y [i] is an immediate descendant of y, then y [i] is fertile. Let y represent a critical point of Φ(t; Λ. Let i {,...,r} and let y [i] be an immediate descendant of y in the i-th direction. Denote l i = deg ỹ i and Λ [i] = n s= Λ s li α i r =, i l α. Assume that y [i] is generic, then y [i] represents a critical point of the master function Φ(t; Λ [i]. If l i l i, then Λ [i] = s i Λ, where s i is the shifted action of the i-th reflection of the Weyl group.
MIURA OPERS AND CRITICAL POINTS 7.4. Simple reproduction procedure. Let y represent a critical point of Φ(t, Λ. The tuples y [i] = (y,...,ỹ i,...,y r P(C[x] r, where ỹ i is given by (6 and c, c are arbitrary numbers, not both equal to zero, form a one-parameter family. The parameter space of the family is identified with the proective line P with proective coordinates (c : c. We have a map Y y,i : P P(C[x] r, which sends a point c = (c : c to the corresponding tuple y [i]. Almost all tuples y [i] are generic. The exceptions form a finite set in P. Thus, starting with a tuple y, representing a critical point of the master function Φ(t; Λ, and an index i {,..., r}, we construct a family Y y,i : P P(C[x] r of fertile tuples. For almost all c P (with finitely many exceptions only, the tuple Y y,i (c represents a critical point of the master function associated with integral dominant weights Λ,..., Λ n, points z,...,z n, and a suitable weight at infinity. We call this construction the simple reproduction procedure in the i-th direction..5. General reproduction procedure. Assume that a tuple y P(C[x] r represents a critical point of the master function Φ(t; Λ. Let i = [i, i,..., i k ], i {,...,r}, be a sequence of natural numbers. We define a k-parameter family of fertile tuples Y y,i : (P k P(C[x] r by induction on k, starting at y and successively applying the simple reproduction procedure in directions i,...,i k. The image of this map is denoted P y,i. For a given i = [i,...,i k ], almost all tuples Y y,i (c represent critical points of master functions associated to weights Λ,...,Λ n, points z,...,z n, and suitable weights at infinity. Exceptional values of c (P k are contained in a proper algebraic subset. It is easy to see that if i = [i, i,...,i k ], i {,..., 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 critical points associated with the Kac-Moody algebra g, integral dominant weights Λ,...,Λ n, points z,...,z n, and originated at y. If two populations 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 a proective irreducible variety. Every population P has a tuple y = (y,..., y r, deg y i = l i, such that the weight Λ = n s= Λ s r i= l iα i is dominant integral, see [MV].
8 MIURA OPERS AND CRITICAL POINTS Conecture. ([MV]. Every population, associated with a Kac-Moody algebra g, dominant integral weights Λ,...,Λ n, points z,...,z n, 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 conecture is proved for the Lie algebras with root systems of types A r, B r, C r, G in [MV, BM]. In Theorems 4. and 5. we prove this conecture for any simple Lie algebra..6. Diagonal sequences of polynomials associated with a critical point and a sequence of indices. We introduce notions which will be used in Chapter 6 to construct solutions of differential equations. Lemma.. Assume that a tuple y of non-zero polynomials represents a critical point of the master function Φ(t; Λ. Let i = [i, i,...,i k ], i {,..., r}, be a sequence of natural numbers. Then there exist tuples y [i ] = (y [i ],...,y [i ] r, y [i,i ] = (y [i,i ],...,y [i,i ] r,..., y [i,i,...,i k ] = (y [i,i,...,i k ],..., y [i,i,...,i k ] r in P(C[x] r such that (i W(y i, y [i ] i = T i and y [i ] = y for i ; (ii for l =,..., k, we have W(y [i,...,i l ] i l, y [i,...,i l ] i l = T il y ai,, i (y [i,...,il ] a i l,, i l and y [i,...,i l ] = y [i,...,i l ] for i l. The tuples y [i], y [i,i ],..., y [i,i,...,i k ] belong to the population P y. The tuple y [i] is obtained from y by the i -th simple generation procedure and for l =,..., k, the tuple y [i,...,i l ] is obtained from y [i,...,i l ] by the i l -th simple generation procedure. The sequence of tuples y [i], y [i,i ],..., y [i,i,...,i k ] satisfying Lemma. will be called associated with the critical point y and the sequence of indices i. The sequence of will be called the diagonal sequence of polynomials associated with the critical point y and the sequence of indices i. For a given y the diagonal sequence of polynomials determine the sequence of tuples y [i], y [i,i ],..., y [i,i,...,i k ] uniquely. There are many diagonal sequences of polynomials associated with a given critical point and a given sequence of indices. polynomials y [i ] i, y [i,i ] i,..., y [i,i,...,i k ] i k
MIURA OPERS AND CRITICAL POINTS 9 3. Opers Let g = g (A be a Kac-Moody algebra with simple roots α,...,α r and simple coroots α,...,α r. Let t g = g ( t A be the Langlands dual algebra with Chevalley generators t h, E,...,E r, F,...,F r, simple roots t α,..., t α r and simple coroots t α,..., t α r. Set H = t α,..., H r = t α r and I = F + + F r, = d/dx. A t g-oper is a differential operator of the form D = + I + V + W with V M( t h and W M( t n +. A Miura t g-oper is a differential operator of the form D = + I + V with V M( t h. The differential operators of that type were considered by V. Drinfeld and V. Sokolov in their study of the KdV type equations [DS]. On opers and Miura opers see [BD, FFR, F, F, MV, BM, MV4]. For u M( t n + and a t g-oper D, the differential operator e ad u D = D + [u, D] + [u, [u, D]] +... is a t g -oper. The opers D and e ad u D are called gauge equivalent. Let X be a t g-module with locally finite action of t n +. Let D be a t g -oper and u M( t n +. Then D, e ad u D, e ± u determine linear operators on M(X. Moreover, we have e ad u D = e u D e u. Lemma 3.. Let D = + I + V be a Miura t g-oper. Let g M(C and i {,..., r}. Then e ad (ge i D = + I + (V + g H i (g + t α i, V g + g E i. The proof is straightforward. Corollary 3.. Let D = + I + V be a Miura t g-oper. Then the t g-oper e ad (ge i D is a Miura oper if and only if the scalar rational function g satisfies the Ricatti equation (8 g + t α i, V g + g = 0. We say that the Miura t g -oper D is deformable in the i-th direction if equation (8 has a non-zero solution which is a rational function. Fix a collection of dominant integral weights Λ = (Λ,...,Λ n of the Kac-Moody algebra g, and numbers z = {z,...,z n } C, z i z if i. Introduce polynomials T (x,...,t r (x by formulas (4.
0 MIURA OPERS AND CRITICAL POINTS Let y = (y,...,y r be a tuple of non-zero polynomials. We say that a Miura t g -oper D = + I + V is associated with weights Λ, numbers z, and the tuple y = (y,...,y r, if for every i {,..., r} we have (9 t α i, V = log ( T i = y α,α i = log ( T i = y a i, cf. (5. If a Miura oper D is associated with weights Λ, numbers z, and a generic tuple y = (y,...,y r P(C[x] r, then the tuple y is determined uniquely. Indeed, the residues of the rational function t α i, V are positive exactly at the roots of the polynomial y i and the residues are equal to the multiplicities of roots of y i multiplied by two. If g is a simple Lie algebra, then D determines y uniquely even if y is not generic. That fact follows from the invertibility of the Cartan matrix of g. Theorem 3.. Let the Miura t g-oper D = + I + V be associated with weights Λ, numbers z, and the tuple y = (y,..., y r. Let i {,...,r}. Then D is deformable in the i-th direction if and only if there exists a polynomial ỹ i satisfying (5. Moreover, in that case any non-zero rational solution g of the Ricatti equation (8 has the form g = log (ỹ i /y i where ỹ i is a solution of (5. If g = log (ỹ i /y i, then the Miura t g-oper (0 e ad (ge i D = + I + (V + g H i is associated with weights Λ, numbers z, and the tuple y [i] = (y,...,ỹ i,..., y r, where the tuple y [i] is called in Section.3 an immediate descendant of y in the i-th direction, see (7. Proof. Write (8 as ( g /g + g = log ( T i = y a i, If g is a rational function, then g 0 as x and all poles of g are simple. Moreover, the residue of g at any point is an integer. Hence g = c /c for a suitable rational function c. Then c = T i (x y (x a i, ( dx = and equation (5 has a polynomial solution ỹ i = cy i. Conversely if equation (5 has a polynomial solution ỹ i, then the function c in ( is rational. Then g = c /c is a rational solution of equation (8. Let g = log (c = log (ỹ i /y i, where ỹ i is a solution of (5. Then e ad (ge i D = + I + (V + log (ỹ i /y i H i.,
and MIURA OPERS AND CRITICAL POINTS t α k, V + log (ỹ i /y i t α k, t α i = log ( T k ỹ α i,α k i =, i y α,α k Note that if equation (8 has one non-zero rational solution g = c /c with rational c, then other non-zero (rational solutions have the form g = c /(c + const. Corollary 3.3. Let the Miura t g-oper D = + I + V be associated with weights Λ, numbers z, and the tuple y = (y,...,y r. Then D is deformable in all directions from to r if and only if the tuple y is fertile. Corollary 3.4. Let the Miura t g-oper D = + I + V be associated with weights Λ, numbers z, and the tuple y = (y,...,y r. Let the tuple y = (y,...,y r be generic in the sense of Section.3. Then D is deformable in all directions from to r if and only if the tuple y represents a critical point of the master function ( associated with parameters z,λ, Λ. Let the Miura t g-oper D = + I + V be associated with weights Λ, numbers z, and the tuple y = (y,..., y r. Let the tuple y = (y,...,y r represent a critical point of the master function ( associated with parameters z,λ, Λ. Let Om D 0 be the variety of all Miura opers which can be obtained from D by a sequence of deformations in directions i,...,i N where N is any positive integer and all i lie in {,...,r}. Corollary 3.5. For a simple Lie algebra g the variety Om D 0 is isomorphic to the population of critical points originated at y. 4. Miura opers and flag varieties In this section we assume that g and t g are simple Lie algebras although most of considerations can be extended to Kac-Moody algebras. Let t G be the complex simply connected Lie group with Lie algebra t g. Let t B ±, t N ±, t H be the subgroups with Lie algebras t b ±, t n ±, t h, respectively. 4.. Triviality of the monodromy. Let D = + I + V be a Miura t g -oper. Let P be the complex proective line. Consider D as a t G-connection D on the trivial principal t G-bundle p : t G P P. The connection has singularities at the set Sing P where the function V has poles. Choose a regular point x 0 P of the connection. Parallel translations with respect to the connection define the monodromy representation π(p Sing t G. Its image is called the monodromy group. Theorem 4.. Assume that the Miura t g-oper D is associated with weights Λ, numbers z, and a tuple y = (y,...,y r as in Section 3. Assume that the tuple y = (y,...,y r is generic in the sense of Section.3. Assume that the Miura oper D is deformable in all directions from to r. Then the monodromy group of D belongs to the center of t G..
MIURA OPERS AND CRITICAL POINTS Proof. It is known that the intersection of all of the Borel subgroups in t G is the center of t G, see [B, H]. We show that the monodromy of D lies in the intersection of all of the Borel subgroups. Let id t G be the identity element. Let Ȳ (x t G be the (possibly multi-valued solution of the equation DY = ( + I + V Y = 0 such that Y (x 0 = id. Since D is a Miura oper we have for any regular x the equality of sets Ȳ (x t B = t B. Hence if m t G is an element of the monodromy group of D, then m t B = t B and hence m t B. Let i {,..., r} and let g i M(C be a solution of the Ricatti equation (8. Assume that g i is regular at x 0. Then the t G-valued function e g i(xe i Ȳ (x e g i(x 0 E i is the solution of the equation (e ad (g i(xe i D Y = 0 such that Y (x 0 = id. Since e ad (g i(xe i D is a Miura oper we have an equality of sets Y g [i] i (x t B = t B for any x at which e ad (g i(xe i D is regular. Hence for any element m of the monodromy group of D we have or m e g i(x 0 E i t B e g i(x 0 E i. Now consider the Miura oper e g i(x 0 E i m e g i(x 0 E i t B t B e ad (g i(xe i D = + I + V i;gi where V i;gi is the t h-part of e ad (g i(xe i D. Let {,...,r} and let g i,;gi M(C be a solution of the -th Ricatti equation g + t α i, V i;gi g + g = 0 associated with the Miura oper e ad (g i(xe i D. Assume that g i,;gi is regular at x 0. Then the t G-valued function e g i,;g i (xe e g i(xe i Ȳ (x e g i(x 0 E i e g i,;g i (x 0 E is the solution of the equation (e ad (g i,;g i (xe e ad (g i(xe i D Y = 0 such that Y (x 0 = id. Repeating the previous argument we conclude that any element m of the monodromy group of D lies in the Borel subgroup e g i(x 0 E i e g i,;g i (x 0 E t B e g i,;g i (x 0 E e g i(x 0 E i. Every u t N + is a product of elements of the form e c ie i for i {,...,r} and c i C. Every c i can be taken as the initial condition for a solution of the suitable i-th Ricatti equation. Therefore the iteration of the previous reason shows that every element of the monodromy group of D lies in every Borel subgroup of the form u ( t B u, u t N +. The Borel subgroups in t G of the form u ( t B u, u t N +, form an open dense subset in the flag variety of all of the Borel subgroups. Hence the monodromy lies in the intersection of all of the Borel subgroups.
MIURA OPERS AND CRITICAL POINTS 3 4.. Gauge equivalent Miura opers. As in Section 4., let D be the Miura t G-oper associated with weights Λ, numbers z, and a tuple y = (y,...,y r. We assume that the tuple y = (y,...,y r is generic in the sense of Section.3 and the Miura oper D is deformable in all directions from to r. Consider the variety Om D of all Miura opers gauge equivalent to D. If D Om D, then there exists a rational N + -valued function v on P such that D = v D v. In that case we denote D by D v. Let Om 0 D Om D be the subvariety of all Miura opers which can be obtained from D by a sequence of deformations in directions i,...,i N where N is a non-negative integer and all i lie in {,..., r}. By Corollary 3.5 the subvariety Om 0 D is isomorphic to the population of critical points originated at y. The connection D is regular at x 0 P if x 0 does not lie in {z,...,z n, } and x 0 is not a root of some of polynomials y,..., y r. Consider the trivial bundle p : ( t G/ t B P P associated with the bundle p. The fiber of p is the flag variety t G/ t B. The connection D induces a connection D on p. The monodromy of D is trivial by Theorem 4.. Thus the variety Γ of global horizontal sections of D is identified with the fiber (p (x 0 over any x 0 which is a regular point of the connection. Thus Γ is isomorphic to t G/ t B. Any t G-valued rational function v defines a section (3 S v : x v(x t 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 t G/ t B is a proective variety. If D v Om D, then the section S v is horizontal with respect to D, cf. the proof of Theorem 4.. Thus we have a map S : Om D Γ, D v S v. Theorem 4.. The map S : Om D Γ is an isomorphism and Om D 0 = Om D. Proof. Let D v, D v Om D. Assume that the images of D v and D v under the map S coincide. Assume that v, v, D are regular at x 0 P. The equality S v (x 0 = S v (x 0 means that v (x 0 t B = v (x 0 t B. Then v (x 0 = v (x 0. Hence v = v and D v = D v. That proves the inectivity of S. Let x 0 be a regular point of D in P. For any u t N + there exists a rational t N + -valued function v such that v(x 0 = u and D v Om D and D v is obtained from D by a sequence of deformations in some directions i,...,i N, see the proof of Theorem 4.. Thus the set Im(x 0 = {S v (x 0 ( t G/ t B x 0 D v Om D 0 } contains the set (( t N + t B / t B x 0 ( t G/ t B x 0. The set Im(x 0 is the image with respect to S of a population of critical points. Hence it is closed as the image of a closed variety. On the other hand the set (( t N + t B / t B x 0 is dense in ( t G/ t B x 0.
4 MIURA OPERS AND CRITICAL POINTS Hence Im(x 0 = ( t G/ t B x 0 and S(Om 0 D = Γ. Therefore Om 0 D = Om D since the map S is inective. 4.3. Remarks on the isomorphism. Let g be a simple Lie algebra. Let P y0 be the population of critical points originated at a tuple y 0. We assume that the tuple y 0 is generic in the sense of Section.3. Theorem 4. says that the population P y 0 is isomorphic to the flag variety t G/ t B. The isomorphism is constructed in three steps. If y P y is a point of the population, then one assigns to it the associated Miura oper D y as in Section 3, see also Lemma 6.. By Theorem 3. we have D y = v D y 0 v for a suitable rational function v : P t N +. To the Miura oper D v one assigns the section S v Γ by formula (3. Then one chooses a point x 0 C, regular with respect to the connection Dy 0, and assigns to a section S v its value S v (x 0 ( t G/ t B x 0. The resulting composition φ y 0,x 0 : P y t G/ t B is an isomorphism according to Theorem 4.. Lemma 4.. If x 0, x C are points regular with respect to Dy 0, then there exists an element g t B such that φ y 0,x = g φ y 0,x 0. Proof. Let Y be the t G-valued solution of the equation D y 0Y = 0 such that Y (x 0 = id. Then Y (x t B for all x. If D v Om Dy 0, then S v is a horizontal section of D y 0. Thus it has the form x (Y (x u t B x for a suitable element u t G. Hence φ y 0,x 0 (y = Y (x 0 u t B and φ y 0,x (y = Y (x u t B. We conclude that φ y 0,x = Y (x Y (x 0 φ y 0,x 0. Let y be a point of P y 0. Let P y be the population originated at y. We have P y 0 = P y. Lemma 4.. Let x 0 C be regular with respect to both connections Dy 0 and Dy. Then there exists an element g t B + such that φ y,x 0 = g φ y 0,x 0. Proof. We have D y = w D y 0 w for a suitable rational function w : P t N +. If Y 0 (x is the t G-valued solution of the equation D y 0Y = 0 such that Y 0 (x 0 = id, then Y (x = w(x Y (x w(x 0 is the t G-valued solution of the equation D y Y = 0 such that Y (x 0 = id. Let y P y 0 and D y = v D y 0 v for a suitable rational function v : P t N +. Then D y = vw D y wv. Hence φ y 0,x 0 (y = v(x 0 t B and φ y,x 0 (y = w(x 0 v(x 0 t B. Therefore, φ y,x 0 = w(x 0 φ y 0,x 0. 5. Bruhat Cells 5.. Properties of Bruhat cells. Let g be a simple Lie algebra. For an element w of the Weyl group W, the set B w = t B w t B t G/ t B
MIURA OPERS AND CRITICAL POINTS 5 is called the Bruhat cell associated to w. The Bruhat cells form a cell decomposition of the flag variety t G/ t B. For w W denote l(w the length of w. We have dim B w = l(w. Let s,...,s r W be the generating reflections of the Weyl group. For v t G/ t B and i {,...,r} consider the rational curve C t G/ t B, c e ce i v. The limit of e ce i v is well defined as c, since t G/ t B is a proective variety. We need the following standard property of Bruhat cells. Lemma 5.. Let s i, w W be such that l(s i w = l(w +. Then B si w = { e ce i v v B w, c {P 0} }. Corollary 5.. Let w = s i s ik be a reduced decomposition of w W. Then B w = { lim... lim e c E i e c k E ik t B t G/ t B c 0,...,c0 k {P 0}}. c c 0 c k c 0 k Introduce the map f i,...,i k : (C 0 k B si s ik, (c,...,c k e c E i e c k E ik t B. 5.. Populations and Bruhat cells. Let P be a population of critical points associated with weights Λ, numbers z. Let T,...,T r be the polynomials defined by (4. Let y 0 = (y 0,...,y0 r P with l i = deg yi 0 for i {,...,r}. Assume that the weight at infinity of y 0, n r Λ = Λ i l i α i, i= is integral dominant, see Section. Such y 0 exists according to [MV]. 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= P w = { y = (y,...,y r P deg y i = li w, i =,..., r }. Consider the trivial bundle p : ( t G/ t B P P with connection D. Consider y 0 the Bruhat cell decomposition of fibers of p. Let x 0 C be such that T i (x 0 0 and yi 0(x 0 0 for i =,..., r. The point x 0 C is a regular point of the connection D. Let y 0 φ y 0,x 0 be the isomorphism defined in Section 4.3. i= i= : P t G/ t B
6 MIURA OPERS AND CRITICAL POINTS Theorem 5.. For w W we have φ y 0, x 0 (P w = B w. Corollary 5.3. Let Λ,...,Λ n, Λ be integral dominant g-weights. Let z,..., z n be distinct complex numbers. Let w W. Consider the master function Φ(t; z,λ, w Λ. Let K be a connected component of the critical set of the master function. For each t K consider the tuple y t (C[x] r of monic polynomials representing the critical point t. Then the closure of the set { y t t K } is an l(w-dimensional cell. 5.3. Proof of Theorem 5.. Lemma 5.4. For w W, the subset B w P ( t G/ t B P is invariant with respect to the connection D y 0. Proof. Let Y be the t G-valued solution of the equation D y 0Y = 0 such that Y (x 0 = id. Then Y (x t B for all x. The horizontal sections of D y have the form x 0 (Y (x u t B x for a suitable element u t G. Hence if u t B B w, then Y (xu t B B w for all x. Let w = s ik s i be a reduced decomposition of w W. For b =,..., k set n r (s ib s i Λ = Λ i li b α i. i= From [BGG] it follows that li > l i and li b > l b i b for b =,...,k. For b =,...,k define by induction on b a family of tuples of polynomials depending on complex parameters c,..., c b. Namely, let ỹ i be a polynomial satisfying equation W( yi 0, ỹ i = T i ( y 0 ai,., i We fix ỹ i assuming that the coefficient of x l i in ỹ i is equal to zero. Set y ; c = (y ; c,...,y ;c r, where y ; c i (x = ỹ i (x + c y 0 i (x and y ; c (x = y 0 (x for i. be a poly- Assume that the family y b ; c,...,c b b ; c is already defined. Let ỹ,...,c b i b nomial satisfying equation W( y b ;c,...,c b i b, ỹ b ; c,...,c b i b = T ib ( y b ; c,...,cb a i b,., i b i= We fix ỹ d ; c,...,c d i d assuming that the coefficient of x ld i d zero. Set y b; c,...,c b = (y b; c,...,c b,...,y b; c,...,c b, where y b; c,...,c b i b (x = ỹ b ; c,...,c b i b r in ỹ d ; c,...,c d i d (x + c b y b ; c,...,c b i b (x is equal to
and MIURA OPERS AND CRITICAL POINTS 7 y b;c,...,c b (x = y b ; c,...,c b (x for i b. The b-th family is obtained from the (b -st family by the generation procedure in the i b -th direction, see Section.5. For any c,...,c k the tuple y k; c,...,c k lies in P. For any c,...,c k and any i {,..., r}, we have Set P [i,...,i k ] Proposition 5.5. We have deg y k;c,...,c k i (x = l w i. = { y k; c,...,c k c,...,c k C }. φ y 0,x 0 (P [i,...,i k ] = B w. Proof of Proposition 5.5. Let D y k; c,...,c k be the Miura oper associated with the tuple y k; c,...,c k, then (4 ( ( y k;c,...,c k D y k; c,...,c k = exp adlog i k y k ;c,...,c k i k ( ( y ; c,c exp adlog i E y ; c i exp i ( ( Tik, i k (y k ;c,...,c k a i k, exp ad y k;c,...,c k i k y k ; c,...,c k i k E ik (... ( y ; c adlog i yi 0 E ik ( ( ( ( Ti, i exp ad (y ; c a i, Ti y ;c,c E i y ; c i exp ad i see Theorem 3.. Introduce the rational map where... E i, i (y 0 a i, y ; c i y 0 i D y 0 = g : C k+ C k, (x; c,...,c k (g (x; c,...,g k (x; c,...,c k g (x; c = T i (x, i ( y 0(x a i,, (x yi 0 (x y ; c i g b (x; c,...,c b = T i b (x, i b ( y b ;c,...,c b (x a i b, y b; c,...,c b i b (x y b ; c,...,c b i b (x E i D y 0,
8 MIURA OPERS AND CRITICAL POINTS for b =,...,k. From (4 it follows that the tuple y k; c,...,c k corresponds to the rational section S (c,...,c k : x f i,...,i k (g(x, c,..., c k x of the bundle p. This section is horizontal with respect to the connection D y, and we 0 have This means that φ y 0, x(y k; c,...,c k = f i,...,i k (g(x, c,...,c k. φ y 0,x 0 (P [i,...,i k ] B w. It remains to show that every point in B w is the limit of points of φ y 0,x 0 (P [i,...,i k ], where the limit is taken in the sense of the limit in Corollary 5., but that statement follows from Lemma 5.6. Let x 0 C be such that T i (x 0 0 and y 0 i (x 0 0 for i =,...,r. Then for any (c,...,c k (C 0k there exists a unique (c,...,c k Ck such that (c,...,c k = g(x 0; c,...,c k. The proposition is proved. Theorem 5. is a direct corollary of Proposition 5.5. 6. Solutions of Differential Equations As we observed earlier, the Miura opers, associated with a population of critical points, help to study the structure of the population. In addition to that it turns out that for a Miura oper D associated with a critical point of a population, all solutions of the differential equation DY = 0 with values in the corresponding group can be written explicitly in terms of critical points composing the population. First we give formulas for solutions of the equation DY = 0 for opers associated with Lie algebras of types A r, B r, and then consider more general formulas for solutions which do not use the structure of the Lie algebra. In this section g = g (A is a simple Lie algebra with Cartan matrix A = (a i,. 6.. Elimination of polynomials T i. Let B = (b i, be the matrix inverse to A. Let D be the Miura t G-oper associated with weights Λ, numbers z, and a tuple y = (y,...,y r. Introduce polynomials T (x,...,t r (x by formulas (4. Introduce a tuple of functions ȳ = (ȳ,..., ȳ r by (5 ȳ i = y i l= T b i,l l.
MIURA OPERS AND CRITICAL POINTS 9 Lemma 6.. We have D = + I + V where r (6 V = log (ȳ H. = Proof. If V is given by (6, then r t α i, V = log (ȳ t α i, t α = = r = log ( ȳ a i, = log ( T i = y a i,. Assume that y represents a critical point of the master function ( associated with parameters z,λ, Λ. Let i = [i,..., i k ], i {,..., r}, be a sequence of natural numbers. Let y [i ] = (y [i ],...,y [i ] r, y [i,i ] = (y [i,i ],...,y [i,i ] r,..., y [i,...,i k ] = (y [i,...,i k ],...,y [i,...,i k ] r be a sequence of tuples associated with the critical point y and the sequence of indices i, see Section.5. Introduce functions ȳ [i,...,i l ] i by ȳ [i,...,i l ] i = y [i,...,i l ] i T b i,l (7 l. Lemma 6.. We have (8 W(ȳ i, ȳ [i ] i = l= ȳ ai,, i and ȳ [i ] = ȳ for i ; for l =,..., k, we have W(ȳ [i,...,i l ] i l, ȳ [i,...,i l ] (9 i l = (ȳ [i,...,il ] a i l,, i l and ȳ [i,...,i l ] = ȳ [i,...,i l ] for i l. The sequence of tuples ȳ [i ] = (ȳ [i ],...,ȳ [i ] r, ȳ [i,i ] = (ȳ [i,i ],...,ȳ [i,i ] r,..., ȳ [i,i,...,i k ] = (ȳ [i,i,...,i k ],...,ȳ [i,i,...,i k ] r will be called the sequence of reduced tuples associated with the critical point y and the sequence of indices i. The sequence of functions ȳ [i ] i, ȳ [i,i ] i,..., ȳ [i,i,...,i k ] i k, each defined up to multiplication by a non-zero number, will be called the reduced diagonal sequence of functions associated with the critical point y and the sequence of indices i. The reduced diagonal sequence of functions determine the sequence of tuples ȳ [i], ȳ [i,i ],..., ȳ [i,i,...,i k ] uniquely. In the next sections we use the following lemma. Lemma 6.3.
0 MIURA OPERS AND CRITICAL POINTS Consider the product r = ȳ H as a function of x with values in the group t G. Then = ȳ H = = y H T w, where w,...,w r t h are the fundamental coweights, i.e. t α i, w = δ i,. Let D = + I + V be the Miura oper with V given by formula (6. Define Then D = + D ( = r ( = l= ȳ H = ( ȳ a,l l F. = ȳ H D. 6.. The A r critical points and A r opers. The Lie algebra sl r+ is of A r -type. The Langlands dual to sl r+ is sl r+. Let F,...,F r, H,..., H r, E,...,E r be the Chevalley generators of sl r+. Let w,..., w r be the fundamental coweights of sl r+. We start with two examples. Let g = sl. Let y = (y represent a critical point of the sl master function ( associated with parameters z,λ, Λ. Introduce the function ȳ = y T /, see (5. Then the Miura oper associated with y has the form D = + F + log (ȳ H. Let ȳ [] be the reduced diagonal sequence of functions associated with y and the sequence of indices [], in other words, W(ȳ, ȳ [] =. Then Y = ȳ H e ȳ [] F ȳ is a solution of the differential equation DY = 0 with values in SL(, C. Indeed, ( DY = ȳ H ( + F ȳ = Y ( + ( (ȳ F e ȳ [] ȳ [] ȳ + (ȳ F id = Y id = 0. Let g = sl 3. Let y = (y, y represent a critical point of the sl 3 master function ( associated with parameters z,λ, Λ. Introduce the functions ȳ = y T /3 T /3, ȳ = y T /3 T /3, see (5. Then the Miura oper associated with y has the form D = + F + F + log (ȳ H + log (ȳ H.
MIURA OPERS AND CRITICAL POINTS Let ȳ [], ȳ [,] be the reduced diagonal sequence of functions associated with y and the sequence of indices [, ], in other words, W(ȳ, ȳ [] = ȳ, W(ȳ, ȳ [,] = ȳ []. Let ȳ [] be the reduced diagonal sequence of functions associated with y and the sequence of indices [], in other words, W(ȳ, ȳ [] = ȳ. Then Y = ȳ H ȳ H e ȳ [] F ȳ e ȳ [,] [F,F ȳ ] e ȳ[] F ȳ is a solution of the differential equation DY = 0 with values in SL (3, C. Indeed, by Lemma 6.3 it suffices to show that Ȳ = e ȳ [] F ȳ e ȳ [,] [F,F ȳ ] e ȳ[] F ȳ is a solution of the differential equation DY = 0 where Indeed, DȲ ( = e ȳ [] F ȳ ( + ( D = + ȳ (ȳ F + ȳ (ȳ F. ȳ [] + ȳ = e ȳ [] F ȳ ( + ȳ[] (ȳ [F, F ] + ȳ (ȳ F e ȳ [,] = e ȳ [] F ȳ e ȳ [,] ȳ [F,F ] ( + ( = e ȳ [] = e ȳ [] = e ȳ [] F ȳ e ȳ [,] (ȳ F + ȳ[] (ȳ [F, F ] + ȳ (ȳ F e ȳ ( ȳ [,] ȳ [F,F ȳ ] e ȳ[] F ȳ + ȳ[] (ȳ [F, F ] + ȳ [F,F ȳ ] ( + ȳ (ȳ F e ȳ F ȳ e ȳ [,] [F,F ȳ ] e ȳ[] F ȳ e ȳ [,] [F,F ȳ ] e ȳ[] ȳ F ( + ( ( ȳ F id = 0. [] ȳ F (ȳ F e ȳ [] F ȳ ȳ [] + ȳ ȳ (ȳ F id [,] [F,F ȳ ] e ȳ[] F ȳ Now consider the general case. Let g = sl r+. Let y = (y,...,y r represent a critical point of the sl r+ master function ( associated with parameters z,λ, Λ. Introduce the functions ȳ,...,ȳ r by formula (5, where B = (b i, is the matrix inverse to the Cartan matrix of sl r+. Then the Miura oper associated with y has the form r r (0 D = + F + log (ȳ H. = =
MIURA OPERS AND CRITICAL POINTS For i =,...,r, let y [i] i, y[i,i+] i+,..., y r [i,...,r] be the diagonal sequence of polynomials associated with y and the sequence of indices [i, i +,..., r], in other words, W(y i, y [i] i = T i y i y i+, W(y i+, y [i,i+] i+ = T i+ y [i] i ȳ i+,..., W(y r, y [i,...,r ] r = T r y [i,...,r ] r y r, W(y r, y [i,...,r] = T r y [i,...,r ] r r. Define r + functions Y 0, Y,..., Y r of x with values in SL(r +, C by the formulas Y 0 = = y H T w, Y i = =i Note that inside each product the factors commute. y [i,...,] [F y,[f,[...,[f i+,f i ]...]]] e, for i > 0. Theorem 6.. The product Y 0 Y...Y r is a solution of the differential equation DY = 0 with values in SL(r +, C where D is given by (0. Note that if Y (x is a solution of the equation DY = 0 and g SL(r +, C, then Y (xg is a solution too. The proof of the theorem is straightforward. One uses Lemma 6.3 and then shows that ( + r =i ȳ ȳ + ȳ F Y i = Y i ( + for i =,..., r. In this formula we set ȳ 0 = ȳ r+ =. r =i+ ȳ ȳ + ȳ 6.3. The B r critical points and C r opers. Consider the root system of type B r. Let α,...,α r be the long simple roots and α r the short one. We have (α r, α r =, (α i, α i = 4, (α i, α i+ =, i =,..., r, and all other scalar products are equal to zero. The root system B r corresponds to the Lie algebra so r+. Let h B be its Cartan subalgebra. Consider the root system of type C r. The root system C r corresponds to the Lie algebra sp r. Let F,...,F r, H,...,H r, E,..., E r be its Chevalley generators and w,...,w r the fundamental coweights. The symplectic group Sp(r, C is the simply connected group with Lie algebra sp r. The Lie algebras so r+ and sp r are Langlands dual. We consider also the root system of type A r with simple roots α A,...,αA r. The root system A r corresponds to the Lie algebra sl r. We denote h A its Cartan subalgebra. We have a map h B h A, Λ ΛA, where Λ A is defined by Λ A, (α A i = Λ A, (α A r i = Λ, (α i, i =,..., r. F
MIURA OPERS AND CRITICAL POINTS 3 Let Λ,...,Λ n h B be dominant integral so r+-weights, z,...,z n complex numbers. Let the polynomials T,...,T r be given by (4. Remind that an r-tuple of polynomials y represents a critical point of a master function associated with so r+, Λ,...,Λ n, z,...,z n, if and only if y is generic with respect to weights Λ,...,Λ n of so r+, and points z,...z n and there exist polynomials ỹ i, i =,..., r, such that W(y i, ỹ i = T i y i y i+, i =,...,r, W(y r, ỹ r = T r y r. For an r-tuple of polynomials y = (y,...,y r, let u be the r -tuple of polynomials (u,...,u r = (y,...,y r, y r, y r,...,y. Lemma 6.4 ([MV]. An r-tuple y represents a critical point of the so r+ master function associated with Λ,...,Λ n, z,...,z n, if and only if the r -tuple of polynomials u represents a critical point of the sl r master function associated with Λ A,..., Λ A n, z,..., z n. We start with an example. Let y = (y, y represent a critical point of the so 3 master function ( associated with parameters z,λ, Λ. Set ȳ = y T T /, ȳ = y T T, see (5. Let u = (u, u, u 3 = (y, y, y be the tuple representing the corresponding sl 4 critical point. Set ū = (ū, ū, ū 3 = (ȳ, ȳ, ȳ. Let ȳ [], ȳ[,] be the so 3 reduced diagonal sequence of functions associated with y and the sequence of indices [, ], in other words, W(ȳ, ȳ [] = ȳ, W(ȳ, ȳ [,] = (ȳ []. Let ȳ [] be the so 3 reduced diagonal sequence of functions associated with y and the sequence of indices [], in other words, W(ȳ, ȳ [] = (ȳ. Let ū [] = ȳ [], ū[,] be the sl 4 reduced diagonal sequence of functions associated with u and the sequence of indices [, ], in other words, Then W(ȳ, ȳ [] = ȳ, W(ȳ, ū [,] = ȳ [] ȳ. e ȳ [] Y = ȳ H ȳ H ȳ F e ȳ [,] [[F,F ],F ȳ ] e ū[,] [F,F ȳ ] e ȳ[] F ȳ is an Sp (4, C-valued solution of the differential equation DY = 0 where D = + F + F + log (ȳ H + log (ȳ H.
4 MIURA OPERS AND CRITICAL POINTS Indeed, denote the factors of Y by P,...,P 6 counting from the left. By Lemma 6.3 it suffices to show that the product P 3 P 4 P 5 P 6 is a solution of the equation DY = 0 where We have D P 3 P 4 P 5 P 6 = P 3 ( + = P 3 P 4 ( + D = + ȳ ȳ F + ȳ [] ȳȳ [F ȳ, F ] + ȳȳ [] ȳ = P 3 P 4 P 5 ( + ȳ ȳ ȳ F. (ȳ [] ȳ [F, F ] + ȳ ȳ [[F, F ], F ] + ȳ F P 5 P 6 ȳ F P 6 = P 3 P 4 P 5 P 6 id = 0. F P 4 P 5 P 6 Now consider the general case. Let y = (y,...,y r represent a critical point of the so r+ master function ( associated with parameters z,λ, Λ. Introduce the functions ȳ,...,ȳ r by formula (5, where B = (b i, is the matrix inverse to the Cartan matrix of so r+. Then the sp r Miura oper associated with y has the form r r ( D = + F + log (ȳ H. = Let u = (u,...,u r = (y,...,y r,...,y be the tuple representing the corresponding sl r critical point. For i =,...,r, let y [i] i, y[i,i+] i+,..., y r [i,...,r] be the so r+ diagonal sequence of polynomials associated with y and the sequence of indices [i, i +,..., r], in other words, W(y i, y [i] i = T i y i y i+, W(y r, y [i,...,r ] r = T r y [i,...,r ] For i =,...,r, let u [i] i = y [i] i, = W(y i+, y [i,i+] i+ = T i+ y [i] i y i+,..., r y r, W(y r, y r [i,...,r] = T r (y [i,...,r ] r. u[i,i+] i+ = y [i,i+] i+,..., u [i,...,r ] r = y [i,...,r ] r, u [i,...,r] r, u [i,...,r+] r+,..., u [i,...,r i ] r i be the sl r diagonal sequence of polynomials associated with u and the sequence of indices [i, i +,..., r i ], in other words, W(y r, u [i,...,r] r = T r y [i,...,r ] r y r, W(y r, u [i,...,r+] r+ = T r u r [i,...,r] y r, W(y r l, u [i,...,r+l] r+l = T r l u [i,...,r+l ] r+l y r l, for l =,...,r i.
MIURA OPERS AND CRITICAL POINTS 5 For i {,...,r} set F i,i = F i. For i < < r set F i, = [F, [F, [..., [F i+, F i ]...]]]. Set F i,r = [F r, F i,r ] and for i < < r set F i, = [F, [F +, [...[F r, [F r, F i,r ]]...]]]. Define r + functions Y 0, Y,...,Y r of x with values in Sp (r, C by the formulas Y 0 = y H T w, Y i = ( r =i y [i,...,] F y i, e = e y r [i,...,r] yr [[F r,f i,r ],F i,r ] for i {,..., r }, and Y r = e y F r yr. Note that inside each product the factors commute. [r] r ( r i =r e u [i,...,] y r F i,r Theorem 6.. The product Y 0 Y...Y r is a solution of the differential equation DY = 0 with values in Sp (r, C where D is given by (. The proof is straightforward. One uses Lemma 6.3 and then shows that r ȳr ( + ȳ F r + for i =,..., r. r =i ȳ ȳ + ȳ r ȳr F Y i = Y i ( + ȳ F r + r =i+ ȳ ȳ + ȳ Remark. Theorems 6. and 6. give explicit formulas for solutions of the differential equation DY = 0 where D is the Miura oper associated to a critical point of type A r or B r. In a similar way one can construct explicit formulas for solutions in the case of the Miura oper associated to a critical point of type C r, cf. Section 7 in [MV]. 6.4. General formulas for solutions. Let g be a simple Lie algebra with Cartan matrix A. Let t g be its Langlands dual with Chevalley generators F,...,F r, H,..., H r, E,..., E r. Let w,...,w r be the fundamental coweights of t g. Let t G be the complex simply connected Lie group with Lie algebra t g. Let V be a complex finite dimensional representation of t G. Let v low be a lowest weight vector of V, t n v low = 0. Let y = (y,...,y r represent a critical point of the g master function ( associated with parameters z,λ, Λ. Let D y be the t g Miura oper associated with y. Let i = [i,..., i k ], i {,..., r}, be a sequence of natural numbers. Let y [i ] = (y [i ],...,y[i ] r, y [i,i ] = (y [i,i ],...,y [i,i ] r,..., y [i,...,i k ] = (y [i,...,i k ],...,y [i,...,i k ] r be a sequence of tuples associated with the critical point y and the sequence of indices i, see Section.5. F