MIURA OPERS AND CRITICAL POINTS OF MASTER FUNCTIONS arxiv:math/ v2 [math.qa] 12 Oct 2004

Size: px
Start display at page:

Download "MIURA OPERS AND CRITICAL POINTS OF MASTER FUNCTIONS arxiv:math/ v2 [math.qa] 12 Oct 2004"

Transcription

1 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 , USA Department of Mathematics, University of North Carolina at Chapel Hill, Chapel Hill, NC , 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 Supported in part by NSF grant DMS

2 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.

3 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., 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 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.

5 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 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.

7 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 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

9 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.

10 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.,

11 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..

12 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.

13 MIURA OPERS AND CRITICAL POINTS 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.

14 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 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 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

15 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

16 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 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

17 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,

18 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 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.

19 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.

20 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.

21 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. = =

22 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

23 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.

24 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.

25 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] 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

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

arxiv:math/ v2 [math.qa] 12 Jun 2004 arxiv:math/0401137v2 [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

More information

Solutions to the XXX type Bethe ansatz equations and ag varieties

Solutions to the XXX type Bethe ansatz equations and ag varieties CEJM 2 (2003) 238{271 Solutions to the XXX type Bethe ansatz equations and ag varieties E. Muhin 1, A. Varcheno 2y 1 Department of Mathematical Sciences, Indiana University - Purdue University Indianapolis,

More information

Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups

Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Shrawan Kumar Talk given at AMS Sectional meeting held at Davidson College, March 2007 1 Hermitian eigenvalue

More information

Symplectic varieties and Poisson deformations

Symplectic varieties and Poisson deformations Symplectic varieties and Poisson deformations Yoshinori Namikawa A symplectic variety X is a normal algebraic variety (defined over C) which admits an everywhere non-degenerate d-closed 2-form ω on the

More information

GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS

GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action

More information

LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)

LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is

More information

Casimir elements for classical Lie algebras. and affine Kac Moody algebras

Casimir elements for classical Lie algebras. and affine Kac Moody algebras Casimir elements for classical Lie algebras and affine Kac Moody algebras Alexander Molev University of Sydney Plan of lectures Plan of lectures Casimir elements for the classical Lie algebras from the

More information

REPRESENTATION THEORY OF S n

REPRESENTATION THEORY OF S n REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November

More information

The tangent space to an enumerative problem

The tangent space to an enumerative problem The tangent space to an enumerative problem Prakash Belkale Department of Mathematics University of North Carolina at Chapel Hill North Carolina, USA belkale@email.unc.edu ICM, Hyderabad 2010. Enumerative

More information

ne varieties (continued)

ne varieties (continued) Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we

More information

Generators of affine W-algebras

Generators of affine W-algebras 1 Generators of affine W-algebras Alexander Molev University of Sydney 2 The W-algebras first appeared as certain symmetry algebras in conformal field theory. 2 The W-algebras first appeared as certain

More information

Chow rings of Complex Algebraic Groups

Chow rings of Complex Algebraic Groups Chow rings of Complex Algebraic Groups Shizuo Kaji joint with Masaki Nakagawa Workshop on Schubert calculus 2008 at Kansai Seminar House Mar. 20, 2008 Outline Introduction Our problem (algebraic geometory)

More information

10. Noether Normalization and Hilbert s Nullstellensatz

10. Noether Normalization and Hilbert s Nullstellensatz 10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.

More information

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013

More information

SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS

SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS 1 SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS HUAJUN HUANG AND HONGYU HE Abstract. Let G be the group preserving a nondegenerate sesquilinear form B on a vector space V, and H a symmetric subgroup

More information

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

arxiv: v1 [math.rt] 15 Oct 2008

arxiv: v1 [math.rt] 15 Oct 2008 CLASSIFICATION OF FINITE-GROWTH GENERAL KAC-MOODY SUPERALGEBRAS arxiv:0810.2637v1 [math.rt] 15 Oct 2008 CRYSTAL HOYT AND VERA SERGANOVA Abstract. A contragredient Lie superalgebra is a superalgebra defined

More information

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that

More information

Lemma 1.3. The element [X, X] is nonzero.

Lemma 1.3. The element [X, X] is nonzero. Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group

More information

Representations of semisimple Lie algebras

Representations of semisimple Lie algebras Chapter 14 Representations of semisimple Lie algebras In this chapter we study a special type of representations of semisimple Lie algberas: the so called highest weight representations. In particular

More information

Math 249B. Geometric Bruhat decomposition

Math 249B. Geometric Bruhat decomposition Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique

More information

Highest-weight Theory: Verma Modules

Highest-weight Theory: Verma Modules Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,

More information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY

STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group

More information

9. Birational Maps and Blowing Up

9. Birational Maps and Blowing Up 72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense

More information

16.2. Definition. Let N be the set of all nilpotent elements in g. Define N

16.2. Definition. Let N be the set of all nilpotent elements in g. Define N 74 16. Lecture 16: Springer Representations 16.1. The flag manifold. Let G = SL n (C). It acts transitively on the set F of complete flags 0 F 1 F n 1 C n and the stabilizer of the standard flag is the

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local

More information

LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O

LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn

More information

Parameterizing orbits in flag varieties

Parameterizing orbits in flag varieties Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.

More information

Category O and its basic properties

Category O and its basic properties Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α

More information

Infinite-Dimensional Triangularization

Infinite-Dimensional Triangularization Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector

More information

arxiv:math/ v2 [math.ca] 2 May 2006

arxiv:math/ v2 [math.ca] 2 May 2006 arxiv:math/0601703v2 [math.ca] 2 May 2006 (1) HIGHER LAME EQUATIONS AND CRITICAL POINTS OF MASTER FUNCTIONS E. MUKHIN, V. TARASOV,,1, AND A. VARCHENKO,2 Department of Mathematical Science, Indiana Univerity

More information

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.

More information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC GROUPS J. WARNER ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic

More information

12. Hilbert Polynomials and Bézout s Theorem

12. Hilbert Polynomials and Bézout s Theorem 12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

Critical level representations of affine Kac Moody algebras

Critical level representations of affine Kac Moody algebras Critical level representations of affine Kac Moody algebras Peter Fiebig Emmy Noether Zentrum Universität Erlangen Nürnberg Isle of Skye May 2010 Affine Kac Moody algebras Let g be a complex simple Lie

More information

Irreducible subgroups of algebraic groups

Irreducible subgroups of algebraic groups Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland

More information

Notes 10: Consequences of Eli Cartan s theorem.

Notes 10: Consequences of Eli Cartan s theorem. Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation

More information

Definition 9.1. The scheme µ 1 (O)/G is called the Hamiltonian reduction of M with respect to G along O. We will denote by R(M, G, O).

Definition 9.1. The scheme µ 1 (O)/G is called the Hamiltonian reduction of M with respect to G along O. We will denote by R(M, G, O). 9. Calogero-Moser spaces 9.1. Hamiltonian reduction along an orbit. Let M be an affine algebraic variety and G a reductive algebraic group. Suppose M is Poisson and the action of G preserves the Poisson

More information

QUIVERS AND LATTICES.

QUIVERS AND LATTICES. QUIVERS AND LATTICES. KEVIN MCGERTY We will discuss two classification results in quite different areas which turn out to have the same answer. This note is an slightly expanded version of the talk given

More information

Chern classes à la Grothendieck

Chern classes à la Grothendieck Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces

More information

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99 Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Background on Chevalley Groups Constructed from a Root System

Background on Chevalley Groups Constructed from a Root System Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. 10. Jordan decomposition: theme with variations 10.1. Recall that f End(V ) is semisimple if f is diagonalizable (over the algebraic closure of the base field).

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Math 210C. The representation ring

Math 210C. The representation ring Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let

More information

The Lusztig-Vogan Bijection in the Case of the Trivial Representation

The Lusztig-Vogan Bijection in the Case of the Trivial Representation The Lusztig-Vogan Bijection in the Case of the Trivial Representation Alan Peng under the direction of Guangyi Yue Department of Mathematics Massachusetts Institute of Technology Research Science Institute

More information

MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton. Timothy J. Ford April 4, 2016

MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton. Timothy J. Ford April 4, 2016 MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton Timothy J. Ford April 4, 2016 FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FLORIDA 33431 E-mail address: ford@fau.edu

More information

arxiv: v1 [math.qa] 15 Apr 2019

arxiv: v1 [math.qa] 15 Apr 2019 DUALITY FOR KNIZHNIK-ZAMOLODCHIKOV AND DYNAMICAL OPERATORS V.TARASOV AND F.UVAROV arxiv:1904.07309v1 [math.qa] 15 Apr 2019 Department of Mathematical Sciences, Indiana University Purdue University Indianapolis

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

9. Integral Ring Extensions

9. Integral Ring Extensions 80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications

More information

Reducibility of generic unipotent standard modules

Reducibility of generic unipotent standard modules Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric

More information

PART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS

PART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS PART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS Contents 1. Regular elements in semisimple Lie algebras 1 2. The flag variety and the Bruhat decomposition 3 3. The Grothendieck-Springer resolution 6 4. The

More information

Birational geometry and deformations of nilpotent orbits

Birational geometry and deformations of nilpotent orbits arxiv:math/0611129v1 [math.ag] 6 Nov 2006 Birational geometry and deformations of nilpotent orbits Yoshinori Namikawa In order to explain what we want to do in this paper, let us begin with an explicit

More information

IVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) =

IVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) = LECTURE 7: CATEGORY O AND REPRESENTATIONS OF ALGEBRAIC GROUPS IVAN LOSEV Introduction We continue our study of the representation theory of a finite dimensional semisimple Lie algebra g by introducing

More information

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X

More information

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial

More information

Citation Osaka Journal of Mathematics. 43(2)

Citation Osaka Journal of Mathematics. 43(2) TitleIrreducible representations of the Author(s) Kosuda, Masashi Citation Osaka Journal of Mathematics. 43(2) Issue 2006-06 Date Text Version publisher URL http://hdl.handle.net/094/0396 DOI Rights Osaka

More information

Vertex Operator Algebra Structure of Standard Affine Lie Algebra Modules

Vertex Operator Algebra Structure of Standard Affine Lie Algebra Modules Vertex Operator Algebra Structure of Standard Affine Lie Algebra Modules p. 1/4 Vertex Operator Algebra Structure of Standard Affine Lie Algebra Modules Christopher Sadowski Rutgers University Department

More information

arxiv:math/ v1 [math.qa] 26 Oct 2006

arxiv:math/ v1 [math.qa] 26 Oct 2006 A GENERALIZATION OF THE CAPELLI IDENTITY arxiv:math/0610799v1 [math.qa] 26 Oct 2006 E. MUKHIN, V. TARASOV, AND A. VARCHENKO Abstract. We prove a generalization of the Capelli identity. As an application

More information

Groups of Prime Power Order with Derived Subgroup of Prime Order

Groups of Prime Power Order with Derived Subgroup of Prime Order Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*

More information

e j = Ad(f i ) 1 2a ij/a ii

e j = Ad(f i ) 1 2a ij/a ii A characterization of generalized Kac-Moody algebras. J. Algebra 174, 1073-1079 (1995). Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge CB2 1SB, England. Generalized Kac-Moody algebras can be

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

LECTURE 16: REPRESENTATIONS OF QUIVERS

LECTURE 16: REPRESENTATIONS OF QUIVERS LECTURE 6: REPRESENTATIONS OF QUIVERS IVAN LOSEV Introduction Now we proceed to study representations of quivers. We start by recalling some basic definitions and constructions such as the path algebra

More information

Lie Algebras. Shlomo Sternberg

Lie Algebras. Shlomo Sternberg Lie Algebras Shlomo Sternberg March 8, 2004 2 Chapter 5 Conjugacy of Cartan subalgebras It is a standard theorem in linear algebra that any unitary matrix can be diagonalized (by conjugation by unitary

More information

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a

More information

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,

More information

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

More information

Kac-Moody Algebras. Ana Ros Camacho June 28, 2010

Kac-Moody Algebras. Ana Ros Camacho June 28, 2010 Kac-Moody Algebras Ana Ros Camacho June 28, 2010 Abstract Talk for the seminar on Cohomology of Lie algebras, under the supervision of J-Prof. Christoph Wockel Contents 1 Motivation 1 2 Prerequisites 1

More information

THE p-smooth LOCUS OF SCHUBERT VARIETIES. Let k be a ring and X be an n-dimensional variety over C equipped with the classical topology.

THE p-smooth LOCUS OF SCHUBERT VARIETIES. Let k be a ring and X be an n-dimensional variety over C equipped with the classical topology. THE p-smooth LOCUS OF SCHUBERT VARIETIES GEORDIE WILLIAMSON ABSTRACT. These are notes from talks given at Jussieu (seminaire Chevalley), Newcastle and Aberdeen (ARTIN meeting). They are intended as a gentle

More information

Institutionen för matematik, KTH.

Institutionen för matematik, KTH. Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

Cover Page. Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of Shimura varieties Date:

Cover Page. Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of Shimura varieties Date: Cover Page The handle http://hdl.handle.net/1887/56255 holds various files of this Leiden University dissertation Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of

More information

Solutions Modulo p of Gauss Manin Differential Equations for Multidimensional Hypergeometric Integrals and Associated Bethe Ansatz

Solutions Modulo p of Gauss Manin Differential Equations for Multidimensional Hypergeometric Integrals and Associated Bethe Ansatz mathematics Article Solutions Modulo p of Gauss Manin Differential Equations for Multidimensional Hypergeometric Integrals and Associated Bethe Ansatz Alexander Varcheno Department of Mathematics, University

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1

More information

Max-Planck-Institut für Mathematik Bonn

Max-Planck-Institut für Mathematik Bonn Max-Planck-Institut für Mathematik Bonn Cyclic elements in semisimple Lie algebras by A. G. Elashvili V. G. Kac E. B. Vinberg Max-Planck-Institut für Mathematik Preprint Series 202 (26) Cyclic elements

More information

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792 Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838

More information

LECTURE 11: SOERGEL BIMODULES

LECTURE 11: SOERGEL BIMODULES LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing

More information

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1

More information

KAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS. 1. Introduction

KAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS. 1. Introduction KAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS MIKHAIL V. BELOLIPETSKY AND PAUL E. GUNNELLS 1. Introduction Groups defined by presentations of the form s 1,..., s n s 2 i = 1, (s i s j ) m i,j = 1 (i,

More information

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,

More information

Kac Moody superalgebras and integrability

Kac Moody superalgebras and integrability Kac Moody superalgebras and integrability Vera Serganova Dept. of Mathematics, University of California at Berkeley, Berkeley, CA 94720 serganov@math.berkeley.edu Summary. The first part of this paper

More information

4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset

4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset 4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset Z X. Replacing X by Z we might as well assume that Z

More information

Atypical representations of the Lie superalgebra sl(1,n) for n greater than 1

Atypical representations of the Lie superalgebra sl(1,n) for n greater than 1 Seminar Sophus Lie 3 (1993) 15 24 Atypical representations of the Lie superalgebra sl(1,n) for n greater than 1 Hartmut Schlosser 1. Preliminaries The Lie superalgebra (LSA) sl(1, n) with n > 1 is a concrete

More information

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.

More information

Alexandru Oancea (Strasbourg) joint with Gwénaël Massuyeau (Strasbourg) and Dietmar Salamon (Zurich) Conference Braids in Paris, September 2008

Alexandru Oancea (Strasbourg) joint with Gwénaël Massuyeau (Strasbourg) and Dietmar Salamon (Zurich) Conference Braids in Paris, September 2008 A Outline Part I: A of the braid group Part II: Morse theory Alexru Oancea (Strasbourg) Gwénaël Massuyeau (Strasbourg) Dietmar Salamon (Zurich) Conference Braids in Paris, September 2008 Outline of Part

More information

The Affine Grassmannian

The Affine Grassmannian 1 The Affine Grassmannian Chris Elliott March 7, 2013 1 Introduction The affine Grassmannian is an important object that comes up when one studies moduli spaces of the form Bun G (X), where X is an algebraic

More information

Commutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14

Commutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14 Commutative Algebra Andreas Gathmann Class Notes TU Kaiserslautern 2013/14 Contents 0. Introduction......................... 3 1. Ideals........................... 9 2. Prime and Maximal Ideals.....................

More information

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X). 3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)

More information

APPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.

APPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2. APPENDIX A Background Mathematics A. Linear Algebra A.. Vector algebra Let x denote the n-dimensional column vector with components 0 x x 2 B C @. A x n Definition 6 (scalar product). The scalar product

More information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1) II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the

More information

EKT of Some Wonderful Compactifications

EKT of Some Wonderful Compactifications EKT of Some Wonderful Compactifications and recent results on Complete Quadrics. (Based on joint works with Soumya Banerjee and Michael Joyce) Mahir Bilen Can April 16, 2016 Mahir Bilen Can EKT of Some

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

Representation Theory

Representation Theory Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character

More information

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need

More information