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

Transcription

1 A GENERALIZATION OF THE CAPELLI IDENTITY arxiv:math/ v1 [math.qa] 26 Oct 2006 E. MUKHIN, V. TARASOV, AND A. VARCHENKO Abstract. We prove a generalization of the Capelli identity. As an application we obtain an isomorphism of the Bethe subalgebras actions under the gl N, gl M ) duality. 1. Introduction Let A be an associative algebra over complex numbers. Let A = a ij ) n i,j=1 be an n n matrix with entries in A. The row determinant of A is defined by the formula: rdeta) := σ S n sgnσ)a 1σ1...a nσn. Let x ij, i, j = 1,...,M, be commuting variables. Let ij = / x ij, M E ij = x ia ja. 1.1) Let X = x ij ) M i,j=1 and D = ij) M i,j=1 be M M matrices. The classical Capelli identity [C1] asserts the following equality of differential operators: ) M rdet E ji + M i)δ ij = detx) detd). 1.2) i,j=1 This identity is a quantization of the identity detab) = deta) detb) for any matrices A, B with commuting entries. The Capelli identity has the following meaning in the representation theory. Let C[X] be the algebra of complex polynomials in variables x ij. There are two natural actions of the Lie algebra gl M on C[X]. The first action is given by operators from 1.1) and the second action is given by operators Ẽij = M x ai aj. The two actions commute and the corresponding gl M gl M action is multiplicity free. It is not difficult to see that the right hand side of 1.2), considered as a differential operator on C[X], commutes with both actions of gl M and therefore lies in the image of the center of the universal enveloping algebra Ugl M with respect to the first action. Then the Research of E.M. is supported in part by NSF grant DMS Research of A.V. is supported in part by NSF grant DMS

2 2 E. MUKHIN, V. TARASOV, AND A. VARCHENKO left hand side of the Capelli identity expresses the corresponding central element in terms of Ugl M generators. Many generalizations of the Capelli identity are known. One group of generalizations considers other elements of the center of Ugl M, called quantum immanants, and then expresses them in terms of gl M generators, see [C2], [N1],[O]. Another group of generalizations considers other pairs of Lie algebras in place of gl M, gl M ), e.g. gl M, gl N ), sp 2M, gl 2 ), sp 2M, so N ), etc, see [MN], [HU]. The third group of generalizations produces identities corresponding not to pairs of Lie algebras, but to pairs of quantum groups [NUW] or superalgebras [N2]. In this paper we prove a generalization of the Capelli identity which seemingly does not fit the above classification. Let z = z 1,...,z N ), λ = λ 1,...,λ M ) be sequences of complex numbers. Let Z = z i δ ij ) N ij=1, Λ = λ iδ ij ) M ij=1 be the corresponding diagonal matrices. Let X and D be the M N matrices with entries x ij and ij, i = 1,...,M, j = 1,..., N, respectively. Let C[X] be the algebra of complex polynomials in variables x ij, i = 1,...,M, j = 1,...,N. Let E a) ij = x ia ja, where i, j = 1,...,M, a = 1,...,N. In this paper we prove that N E a) ) ) M ji u Z X t u z a ) rdet u λ i )δ ij = rdet. 1.3) u z a i,j=1 D u Λ The left hand side of 1.3) is an M M matrix while the right hand side is an M + N) M + N) matrix. Identity 1.3) is a quantization of the identity ) A B det = deta) detd CA C D 1 B) which holds for any matrices A, B, C, D with commuting entries, for the case when A and D are diagonal matrices. By setting all z i, λ j and u to zero, and N = M in 1.3), we obtain the classical Capelli identity 1.2), see Section 2.4. Our proof of 1.3) is combinatorial and reduces to the case of 2 2 matrices. In particular, it gives a proof of the classical Capelli identity, which may be new. We invented identity 1.3) to prove Theorem 3.1 below, and Theorem 3.1 in its turn was motivated by results of [MTV2]. In Theorem 3.1 we compare actions of two Bethe subalgebras. Namely, consider C[X] as a tensor product of evaluation modules over the current Lie algebras gl M [t] and gl N [t] with evaluation parameters z and λ, respectively. The action of the algebra gl M [t] on C[X] is given by the formula E ij t n = x ia ja zi n,

3 A GENERALIZATION OF THE CAPELLI IDENTITY 3 and the action of the algebra gl N [t] on C[X] is given by the formula M E ij t n = x ai aj λ n i. In contrast to the previous situation, these two actions do not commute. The algebra Ugl M [t] has a family of commutative subalgebras GM, λ) depending on parameters λ and called the Bethe subalgebras. For a given λ, the Bethe subalgebra GM, λ) is generated by the coefficients of the expansion of the expression rdet u λ i )δ ij s=1 E a) ji t s )u s 1 ) M i,j=1 1.4) with respect to powers of u and u, cf. Section 3. For different versions of definitions of Bethe subalgebras and relations between them, see [FFR], [T], [R], [MTV1]. Similarly, there is a family of Bethe subalgebras GN, z) in Ugl N [t] depending on parameters z. For fixed λ and z, consider the action of the Bethe subalgebras GM, λ) and GN, z) on C[X] as defined above. In Theorem 3.1 we show that the actions of the Bethe subalgebras on C[X] induce the same subalgebras of endomorphisms of C[X]. The paper is organized as follows. In Section 2 we describe and prove formal Capelli-type identities and in Section 3 we discuss the relations of the identities to the Bethe subalgebras. 2. Identities 2.1. The main identity. We work over the field of complex numbers, however all results of this paper hold over any field of characteristic zero. Let A be an associative algebra. Let A = a ij ) n i,j=1 be an n n matrix with entries in A. Define the row determinant of A by the formula: rdeta) := σ S n sgnσ)a 1σ1...a nσn, where S n is the symmetric group on n elements. Fix two natural numbers M and N and a complex number h C. Consider noncommuting variables u, p u, x ij, p ij, where i = 1,...,M, j = 1,..., N, such that the commutator of two variables equals zero except i = 1,...,M, j = 1,...,N. Let X, P be two M N matrices given by [p u, u] = h, [p ij, x ij ] = h, X : = x ij ) j=1,...,n i=1,...,m, P : = p ij) j=1,...,n i=1,...,m. Let A MN) h be the associative algebra whose elements are polynomials in p u, x ij, p ij, i = 1,...,M, j = 1,..., N, with coefficients that are rational functions in u.

4 4 E. MUKHIN, V. TARASOV, AND A. VARCHENKO Let A MN) be the associative algebra of linear differential operators in u, x ij, i = 1,..., M, j = 1,...,N, with coefficients in Cu) C[X]. We often drop the dependence on M, N and write A h, A for A MN) h and A MN), respectively. For h 0, we have the isomorphism of algebras ι h : A h A, 2.1) u, x ij u, x ij, p u, p ij h u, h. x ij Fix two sequences of complex numbers z = z 1,...,z N ) and λ = λ 1,...,λ M ). Define the M M matrix G h = G h M, N, u, p u, z, λ, X, P) by the formula x ja p ) M ia G h : = p u λ i ) δ ij. 2.2) u z a i,j=1 Theorem 2.1. We have N u z a ) rdetg h ) = A,B, A = B 1) A a Bu z a ) b A p u λ b ) detx ab ) b B a A detp ab) b B where the sum is over all pairs of subsets A {1,...,M}, B {1,..., N} such that A and B have the same cardinality, A = B. Here the sets A, B inherit the natural ordering from the sets {1,..., M}, {1,..., N}. This ordering determines the determinants in the formula. Theorem 2.1 is proved in Section A presentation as a row determinant of size M + N. Theorem 2.1 implies that the row determinant of G can be written as the row determinant of a matrix of size M + N. Namely, let Z be the diagonal N N matrix with diagonal entries z 1,...,z N. Let Λ be the diagonal M M matrix with diagonal entries λ 1,...,λ M : Z : = z i δ ij ) N i,j=1, Λ : = λ iδ ij ) M i,j=1. Corollary 2.2. We have N ) u Z X t u z a ) rdet G = rdet, P p u Λ where X t denotes the transpose of the matrix X. Proof. Denote ) u Z X t W : =, P p u Λ The entries of the first N rows of W commute. The entries of the last M rows of W also commute. Write the Laplace decomposition of rdetw) with respect to the first N rows. a A,

5 A GENERALIZATION OF THE CAPELLI IDENTITY 5 Each term in this decomposition corresponds to a choice of N columns in the N N + M) matrix u Z, X T ). We label such a choice by a pair of subsets A {1,..., M} and B {1,..., N} of the same cardinality. Namely, the elements of A correspond to the chosen columns in X T and the elements of the complement to B correspond to the chosen columns in u Z. Then the term in the Laplace decomposition corresponding to A and B is exactly the term labeled by A and B in the right hand side of the formula in Theorem 2.1. Therefore, the corollary follows from Theorem 2.1. Let A, B, C, D be any matrices with commuting entries of sizes N N, N M, M N and M M, respectively. Let A be invertible. Then we have the equality of matrices of sizes M + N) M + N): and therefore A B C D det ) = ) A B C D A 0 C D CA 1 B ) ) 1 A 1 B 0 1 = deta) detd CA 1 B). 2.3) The identity of Corollary 2.2 for h = 0 turns into identity 2.3) with diagonal matrices A and D. Therefore, the identity of Corollary 2.2 may be thought of as a quantization of identity 2.3) with diagonal A and D A relation between determinants of sizes M and N. Introduce new variables v, p v such that [p v, v] = h. Let Āh be the associative algebra whose elements are polynomials in p u, p v, x ij, p ij, i = 1,...,M, j = 1,..., N, with coefficients in Cu) Cv). Let e : Ā h Āh be the unique linear map which is the identity map on the subalgebra of Ā h generated by all monomials which do not contain p u and p v and which satisfy eap u ) = ea)v, eap v ) = ea)u, for any a Āh. Let Ā be the associative algebra of linear differential operators in u, v, x ij, i = 1,..., M, j = 1,...,N, with coefficients in Cu) Cv) C[x ij ]. Then for h 0, we have the isomorphism of algebras extending the isomorphism 2.1): ῑ h : Ā h Ā, u, v, x ij u, v, x ij, p u, p v, p ij h u, h v, h. x ij For a Ā and a function fu, v) let a fu, v) denotes the function obtained by the action of a considered as a differential operator in u and v on the function fu, v). We have ῑ h ea)) = exp uv/h)ῑ h a) expuv/h)

6 6 E. MUKHIN, V. TARASOV, AND A. VARCHENKO for any a Āh such that a does not depend on either p u or p v. Define the N N matrix H h = H h M, N, v, p v, z, λ, X, P) by M x bj p ) N bi H h := p v z i )δ ij, 2.4) v λ b i,j=1 cf. formula 2.2). Corollary 2.3. We have b=1 N ) M ) e u z a ) rdetg h ) = e v λ b ) rdeth h ). Proof. Write the dependence on parameters of the matrix G: G h = G h M, N, u, p u, z, λ, X, P). Then H h = G h N, M, v, p v, λ, z, X T, P T ). The corollary now follows from Theorem A relation to the Capelli identity. In this section we show how to deduce the Capelli identity from Theorem 2.1. Let s be a complex number. Let α s : A h A h be the unique linear map which is the identity map on the subalgebra of A h generated by all monomials which do not contain p u, and which satisfies α s aup u ) = sα s a) for any a Āh. We have b=1 ῑ h α s a)) = u s/h ῑ h a) u s/h for any a Āh. Consider the case z 1 = = z N = 0 and λ 1 = = λ M = 0 in Theorem 2.1. Then it is easy to see that the row determinant rdetg) can be rewritten in the following form ) M u M rdetg h ) = rdet hup u M + i)δ ij x ja p ia i,j=1. Applying the map α s, we get α s u M rdetg h )) = rdet hs M + i)δ ij Therefore applying Theorem 2.1 we obtain the identity rdet hs M + i)δ ij ) M x ja p ia = i,j=1 A,B, A = B 1) A M A 1 ) M x ja p ia i,j=1. s bh) detx ab ) b B b=0 a A detp ab) b B a A.

7 A GENERALIZATION OF THE CAPELLI IDENTITY 7 In particular, if M = N, and s = 0, we obtain the famous Capelli identity: M ) M rdet x ja p ia + hm i)δ ij = det X det P. i,j=1 If h = 0 then all entries of X and P commute and the Capelli identity reads detxp) = detx) detp). Therefore, the Capelli identity can be thought of as a quantization of the identity detab) = deta) detb) for square matrices A, B with commuting entries Proof of Theorem 2.1. We denote We obviously have E ij,a := x ja p ia /u z a ). [E ij,a, E kl,b ] = δ ab δ kj E il,a ) δ il E kj,a ) ), where the prime denotes the formal differentiation with respect to u. Denote also F 1 jk,a = E jk,a and F 0 jj,0 = p u λ j ). Expand rdetg). We get an alternating sum of terms, rdetg h ) = σ,a,c 1) sgnσ) F c1) 1σ1),a1) F c2) 2σ2),a2)...F cm) MσM),aM), 2.5) where the summation is over all triples σ, a, c such that σ is a permutation of {1,..., M} and a, c are maps a : {1,..., M} {0, 1,..., N}, c : {1,..., M} {0, 1} satisfying: ci) = 1 if σi) i; ai) = 0 if and only if ci) = 0. Let m be a product whose factors are of the form fu), p u, p ij, x ij where fu) are some rational functions in u. Then the product m will be called normally ordered if all factors of the form p u, p ij are on the right from all factors of the form fu), x ij. For example, u 1) 2 x 11 p u p 11 is normally ordered and p u u 1) 2 x 11 p 11 is not. Given a product m as above, define a new normally ordered product : m : as the product of all factors of m in which all factors of the form p u, p ij are placed on the right from all factors of the form fu), x ij. For example, : p u u 1) 2 x 11 p 11 := u 1) 2 x 11 p u p 11. If all variables p u, p ij are moved to the right in the expansion of rdetg) then we get terms obtained by normal ordering from the terms in 2.5) plus new terms created by the non-trivial commutators. We show that in fact all new terms cancel in pairs. Lemma 2.4. For i = 1,...,M, we have rdetg h ) = 1) sgnσ) F c1) ci 1) 1σ1),a1)...Fi 1)σi 1),ai 1) σ,a,c where the sum is over the same triples σ, a, c as in 2.5). : F ci) cm) iσi),ai)...fmσm),am) ), : 2.6) Proof. We prove the lemma by induction on i. For i = M the lemma is a tautology. Assume it is proved for i = M, M 1,..., j, let us prove it for i = j 1.

8 8 E. MUKHIN, V. TARASOV, AND A. VARCHENKO We have Fj 1)r,a 1 : F cj) jσj),aj)... F cm) M,σM),aM) := 2.7) : Fj 1)r,a 1 F cj) cm) jσj),aj)...fmσm),am) : + k : F cj) jσj),aj)... E kr,a)...f cm) MσM),aM) :, where the sum is over k {j,...,m} such that ak) = a, σk) = j 1 and ck) = 1. We also have Fj 1)j 1),0 0 : F cj) cm) jσj),aj)...fmσm),am) := 2.8) : F 0 j 1)j 1),0 F cj) jσj),aj)... F cm) MσM),aM) : + k : F cj) jσj),aj)... E kσk),ak))...f cm) MσM),aM) :, where the sum is over k {j,...,m} such that ck) = 1. Using 2.7), 2.8), rewrite each term in 2.6) with i = j. Then the k-th term obtained by using 2.7) applied to the term labeled by σ, c, a with cj 1) = 0 cancels with the k-th obtained by using 2.8) applied to the term labeled by σ, c, ã defined by the following rules. σi) = σi) i j 1, k), σj 1) = j 1, σk) = σj 1), ci) = ci) i j 1), cj 1) = 0, ãi) = ai) i j 1), ãj 1) = 0. After this cancellation we obtain the statement of the lemma for i = j 1. Remark 2.5. The proof of Lemma 2.4 implies that if the matrix σg h is obtained from G h by permuting the rows of G h by a permutation σ then rdetσg h ) = 1) sgnσ) rdetg h ). Consider the linear isomorphism φ h : A h A 0 which sends any normally ordered monomial m in A h to the same monomial m in A 0. By 2.6) with i = 1, the image φ h rdetg h )) does not depend on h and therefore can be computed at h = 0. Therefore Theorem 2.1 for all h follows from Theorem 2.1 for h = 0. Theorem 2.1 for h = 0 follows from formula 2.3). 3. The gl M, gl N ) duality and the Bethe subalgebras 3.1. Bethe subalgebra. Let E ij, i, j = 1,...,M, be the standard generators of gl M. Let h be the Cartan subalgebra of gl M, h = M i=1 C E ii. We denote Ugl M the universal enveloping algebra of gl M. For µ h, and a gl M module L denote by L[µ] the vector subspace of L of vectors of weight µ, We always assume that L = µ L[µ]. L[µ] = {v L hv = µ, h v for any h h}.

9 A GENERALIZATION OF THE CAPELLI IDENTITY 9 For any integral dominant weight Λ h, denote by L Λ the finite-dimensional irreducible gl M -module with highest weight Λ. Recall that we fixed sequences of complex numbers z = z 1,...,z N ) and λ = λ 1,..., λ M ). From now on we will assume that z i z j and λ i λ j if i j. For i, j = 1,..., M,, a = 1,...,N, let E a) ji = 1 a 1) E ji 1 N a) Ugl M ) N. Define the M M matrix G = GM, N, z, λ, u) by GM, N, z, λ, u) := u λ i)δ ij E a) ) M ji. u z a i,j=1 The entries of G are differential operators in u whose coefficients are rational functions in u with values in Ugl M ) N. Write rdet GM, N, z, λ, u)) = M u M + G 1 M, N, z, λ, u) M 1 u M G M M, N, z, λ, u). The coefficients G i M, N, z, λ, u), i = 1,..., M, are called the transfer matrices of the Gaudin model. The transfer matrices are rational functions in u with values in Ugl M ) N. The transfer matrices commute: [ G i M, N, z, λ, u), G j M, N, z, λ, v)] = 0, for all i, j, u, v, see [T] and Proposition 7.2 in [MTV1]. The transfer matrices clearly commute with the diagonal action of h on Ugl M ) N. For i = 1,..., M, it is clear that G i M, N, z, λ, u) N u z a) i is a polynomial in u whose coefficients are pairwise commuting elements of Ugl M ) N. Let GM, N, z, λ) Ugl M ) N be the commutative subalgebra generated by the coefficients of polynomials G i M, N, z, λ, u) N u z a) i, i = 1,..., M. We call the subalgebra GM, N, z, λ) the Bethe subalgebra. Let GM, λ) Ugl M [t] be the subalgebra considered in the introduction. Let Ugl M [t] Ugl M ) N be the algebra homomorphism defined by E ij t n N Ea) ij zn a. Then the subalgebra GM, N, z, λ) is the image of the subalgebra GM, λ) under that homomorphism. The Bethe subalgebra clearly acts on any N-fold tensor products of gl M representations. Define the Gaudin Hamiltonians, H a M, N, z, λ) Ugl M ) N, a = 1,..., N, by the formula Ω ab) M H a M, N, z, λ) = + λ b E a) bb z a z, b where Ω ab) := M i,j=1 Ea) ij Eb) ji. b=1,b a b=1

10 10 E. MUKHIN, V. TARASOV, AND A. VARCHENKO Define the dynamical Hamiltonians Ha M, N, z, λ) Ugl M ) N, a = 1,..., M, by the formula M Ha N i=1 M, N, z, λ) = Ei) ab ) N i=1 Ei) ba ) N i=1 Ei) aa + z b E aa b) λ a λ. b b=1, b a It is known that the Gaudin Hamiltonians and the dynamical Hamiltonians are in the Bethe subalgebra, see e.g. Appendix B in [MTV1]: H a M, N, z, λ) GM, N, z, λ), a = 1,...,N, b = 1,..., M. H b b=1 M, N, z, λ) GM, N, z, λ), 3.2. The gl M, gl N ) duality. Let L M) = C[x 1,...,x M ] be the space of polynomials of M variables. We define the gl M -action on L M) by the formula E ij x i. x j Then we have an isomorphism of gl M modules L M) = m=0 the submodule L M) m being spanned by homogeneous polynomials of degree m. The submodule L M) m is the irreducible gl M module with highest weight m, 0,..., 0) and highest weight vector x m 1. Let L M,N) = C[x 11,...,x 1N,...,x M1,...,x MN ] be the space of polynomials of MN commuting variables. Let π M) : Ugl M ) N EndL M,N) ) be the algebra homomorphism defined by E a) ij x ia. x ja L M) m In particular, we define the gl M action on L M,N) by the formula E ij x ia. x ja Let π N) : Ugl N ) M EndL M,N) ) be the algebra homomorphism defined by E a) ij x ai. x aj In particular, we define the gl N action on L M,N) by the formula M E ij x ai. x aj

11 A GENERALIZATION OF THE CAPELLI IDENTITY 11 We have isomorphisms of algebras, C[x1,...,x M ] ) N L M,N), 1 j 1) x i 1 N j) x ij, C[x1,...,x N ] ) M L M,N), 1 i 1) x j 1 M i) x ij. 3.1) Under these isomorphisms the space L M,N) is isomorphic to L M) ) N as a gl M module and to L N) ) M as a gl N module. Fix n = n 1,...,n N ) Z N 0 and m = m 1,...,m M ) Z M 0 with N i=1 n i = M m a. The sequences n and m naturally correspond to integral gl N and gl M weights, respectively. Let L m and L n be gl N and gl M modules, respectively, defined by the formulas L m = M LN) m a, L n = N b=1 LM) n b. The isomorphisms 3.1) induce an isomorphism of the weight subspaces, L n [m] L m [n]. 3.2) Under the isomorphism 3.2) the Gaudin and dynamical Hamiltonians interchange, π M) H a M, N, z, λ) = π N) H a N, M, λ, z), πm) H b M, N, z, λ) = πn) H b N, M, λ, z), for a = 1,...,N, b = 1,..., M, see [TV]. We prove a stronger statement that the images of gl M and gl N Bethe subalgebras in EndL M,N) ) are the same. Theorem 3.1. We have π M) GM, N, z, λ)) = π N) GN, M, λ, z)). Moreover, we have N u z a )π M) rdet GM, N, z, λ, u)) = M v λ b )π N) rdet GN, M, λ, z, v)) = b=1 where A M) ab, A N) ab Proof. We obviously have M b=1 M b=1 A M) ab A N) ab u a b u b, v b a v a, are linear operators independent on u, v, / u, / v and A M) ab = A N) ab. π M) GM, N, z, λ, u)) = ī h=1 G h=1 ), π N) GN, M, λ, z, v)) = ī h=1 H h=1 ), where G h=1 and H h=1 are matrices defined in 2.2) and 2.4). Then the coefficients of the differential operators N u z a)π M) rdet GM, N, z, λ, u)) and M b=1 v λ b)π N) rdet GN, M, λ, z, v)) are polynomials in u and v of degrees N and

12 12 E. MUKHIN, V. TARASOV, AND A. VARCHENKO M, respectively, by Theorem 2.1. The rest of the theorem follows directly from Corollary Scalar differential operators. Let w L n [m] be a common eigenvector of the Bethe subalgebra GM, N, z, λ). Then the operator rdet GM, N, z, λ, u)) acting on w defines a monic scalar differential operator of order M with rational coefficients in variable u. Namely, let D w M, N, λ, z) be the differential operator given by D w M, N, z, λ, u) = M u + G w M 1 M 1 M, N, z, λ, u) u + + G w M 1 M M, N, z, λ, u), where G w i M, N, z, λ, u) is the eigenvalue of the ith transfer matrix acting on the vector w: G i M, N, z, λ, u)w = G w i M, N, z, λ, u)w. Using isomorphism 3.2), consider w as a vector in L m [n]. Then by Theorem 3.1, w is also a common eigenvector for algebra GN, M, λ, z). Thus, similarly, the operator rdet GN, M, λ, z, v)) acting on w defines a monic scalar differential operator of order N, D w N, M, λ, z, v). Corollary 3.2. We have where A M) ab,w, AN) ab,w N u z a )D w M, N, z, λ, u) = M v λ b )D w N, M, λ, z, v) = b=1 M b=1 M b=1 A M) ab,w A N) ab,w ua b u b, vb a v a, are numbers independent on u, v, / u, / v. Moreover, A M) ab,w = AN) ab,w. Proof. The corollary follows directly from Theorem 3.1. Corollary 3.2 was essentially conjectured in Conjecture 5.1 in [MTV2]. Remark 3.3. The operators D w M, N, z, λ) are useful objects, see [MV1], [MTV2], [MTV3]. They have the following three properties. i) The kernel of D w M, N, z, λ) is spanned by the functions p w i u)e λ iu, i = 1,..., M, where p w i u) is a polynomial in u of degree m i. ii) All finite singular points of D w M, N, z, λ) are z 1,...,z N. iii) Each singular point z i is regular and the exponents of D w M, N, z, λ) at z i are 0, n i + 1, n i + 2,..., n i + M 1.

13 A GENERALIZATION OF THE CAPELLI IDENTITY 13 A converse statement is also true. Namely, if a linear differential operator of order M has properties i-iii), then the operator has the form D w M, N, z, λ) for a suitable eigenvector w of the Bethe subalgebra. This statement may be deduced from Proposition 3.4 below. We will discuss the properties of such differential operators in [MTV4], cf. also [MTV2] and Appendix A in [MTV3] The simple joint spectrum of the Bethe subalgebra. It is proved in [R], that for any tensor product of irreducible gl M modules and for generic z, λ the Bethe subalgebra has a simple joint spectrum. We give here a proof of this fact in the special case of the tensor product L n. Proposition 3.4. For generic values of λ, the joint spectrum of the Bethe subalgebra GM, N, z, λ) acting in L n [m] is simple. Proof. We claim that for generic values of λ, the joint spectrum of the Gaudin Hamiltonians H a M, N, z, λ), a = 1,..., N, acting in L n [m] is simple. Indeed fix z and consider λ such that λ 1 λ 2 λ M 0. Then the eigenvectors of the Gaudin Hamiltonians in L n [m] will have the form v 1 v N + o1), where v i L ni [m i) ] and m = N The corresponding eigenvalue of H a M, N, z, λ) will be M j=1 λ jm a) j The weight spaces L M) n i + O1). i=1 mi). [m i ] all have dimension at most 1 and therefore the joint spectrum is simple in this asymptotic zone of parameters. Therefore it is simple for generic values of λ. References [C1] A. Capelli, Über die Zurückführung der Cayley schen Operation Ω auf gewöhnliche Polar-Operationen German) Math. Ann ), no. 3, [C2] A. Capelli, Sur les Opérations dans la théorie des formes algébriques French) Math. Ann ), no. 1, 1 37 [FFR] B. Feigin, E. Frenkel, N. Reshetikhin, Gaudin model, Bethe ansatz and critical level, Comm. Math. Phys ), no. 1, [HU] R. Howe, T. Umeda, The Capelli identity, the double commutant theorem, and multiplicity-free actions, Math. Ann ), no. 3, [MN] A. Molev, M. Nazarov, Capelli identities for classical Lie algebras, Math. Ann ), no. 2, [N1] M. Nazarov, Capelli identities for Lie superalgebras, Ann. Sci. École Norm. Sup. 4) ), no. 6, [N2] M. Nazarov, Yangians and Capelli identities, Kirillov s seminar on representation theory, , Amer. Math. Soc. Transl. Ser. 2, 181, Amer. Math. Soc., Providence, RI, 1998 [NUW] M. Noumi, T. Umeda, M. Wakayama, A quantum analogue of the Capelli identity and an elementary differential calculus on GL q n), Duke Math. J ), no. 2,

14 14 E. MUKHIN, V. TARASOV, AND A. VARCHENKO [MV1] E. Mukhin and A. Varchenko, Spaces of quasi-polynomials and the Bethe Ansatz, math.qa/ , 1 29 [MTV1] E. Mukhin, V. Tarasov and A. Varchenko, Bethe eigenvectors of higher transfer matrices, J. Stat. Mech. 2006) P08002 [MTV2] E. Mukhin, V. Tarasov and A. Varchenko, Bispectral and gl N, gl M ) Dualities, math.qa/ , 1 22 [MTV3] E. Mukhin, V. Tarasov and A. Varchenko, The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz, math.ag/ , 1 18 [MTV4] E. Mukhin, V. Tarasov and A. Varchenko, in preparation [O] A. Okounkov, Quantum immanants and higher Capelli identities, Transform. Groups ), no. 1-2, [R] L. Rybnikov, Argument Shift Method and Gaudin Model, math.rt/ , 1 15 [T] D. V. Talalaev, The quantum Gaudin system Russian) Funktsional. Anal. i Prilozhen ), no. 1, 86 91; translation in Funct. Anal. Appl ), no. 1, [TV] V. Tarasov, A. Varchenko, Duality for Knizhnik-Zamolodchikov and dynamical equations, The 2000 Twente Conference on Lie Groups Enschede). Acta Appl. Math ), no. 1-2, E.M.: Department of Mathematical Sciences, Indiana University Purdue University Indianapolis, 402 North Blackford St, Indianapolis, IN , USA, mukhin@math.iupui.edu V.T.: Department of Mathematical Sciences, Indiana University Purdue University Indianapolis, 402 North Blackford St, Indianapolis, IN , USA, vtarasov@math.iupui.edu, and St. Petersburg Branch of Steklov Mathematical Institute, Fontanka 27, St. Petersburg, , Russia, vt@pdmi.ras.ru A.V.: Department of Mathematics, University of North Carolina at Chapel Hill, Chapel Hill, NC , USA, anv@ .unc.edu