arxiv: v1 [math.qa] 15 Apr 2019

Size: px

Start display at page:

Download "arxiv: v1 [math.qa] 15 Apr 2019"

Benedict Ellis
5 years ago
Views:

1 DUALITY FOR KNIZHNIK-ZAMOLODCHIKOV AND DYNAMICAL OPERATORS V.TARASOV AND F.UVAROV arxiv: v1 [math.qa] 15 Apr 2019 Department of Mathematical Sciences, Indiana University Purdue University Indianapolis 402 North Blackford St, Indianapolis, IN , USA St.Petersburg Branch of Steklov Mathematical Institute Fontanka 27, St. Petersburg, , Russia Abstract. We consider the Knizhnik-Zamolodchikov and Dynamical operators, both differential and difference, in the context of the (gl k,g )-duality for the space of polynomials in kn anticommuting variables. We show that the Knizhnik-Zamolodchikov and Dynamical operators naturally exchange under the duality. 1. Introduction The Knizhnik-Zamolodchikov (KZ) operators is a family of pairwise commuting differential operators acting on U(gl k ) n -valued functions. They play an important role in conformal field theory, representation theory, and they are closely related to the famous Gaudin Hamiltonians. The difference analogue of the KZ operators is the quantum Knizhnik- Zamolodchikov (qkz) operators. There are rational, trigonometric, and elliptic versions of the KZ and qkz operators. For a review and references see, for example, [2]. There exist other families of commuting differential or difference operators called the Dynamical Differential (DD) or Dynamical Difference (qdd) operators, respectively. There are rational and trigonometric versions of the DD and qdd operators as well. It is known that the rational DD operators commute with the rational KZ operators, the trigonometric DD operators commute with the rational qkz operators, and the rational qdd operators commute with the trigonometric KZ operators, see [4 6]. The qdd operators appear as the action of the dynamical Weyl groups [3]. The DD operators are also known as the Casimir connection, see [8, 9]. Together with the KZ, DD, qkz, and qdd operators associated with U(gl k ) n, we will simultaneously consider similar operators associated with U(g ) k interchanging k and n. Let P kn be the space of polynomials in kn commuting variables. There are natural actions of U(gl k ) n and U(g ) k on the space P kn, and those actions commute. This manifests the (gl k,g )-duality, see, for example, [1]. Consider the images of the KZ, DD, qkz, qdd operators associated with U(gl k ) n and U(g ) k under the corresponding actions on P kn. It was proved in[7] that the images of the rational(trigonometric) KZ operators associated with U(g ) k coincide with the images of the rational (trigonometric) DD operators associated with U(gl k ) n. Similarly, the images of the rational qkz operators associated with U(g ) k, up to an action of a central element in g, coincide with the images of the rational qdd operators associated with U(gl k ) n. In this paper we obtain a similar duality for the case of vtarasov@iupui.edu, vt@pdmi.ras.ru, supported in part by Simons Foundation grant filuvaro@iu.edu.

2 2 V. TARASOV AND F. UVAROV U(gl k ) n - and U(g ) k -actions on the space of polynomials in kn anticommuting variables, see Theorem 4.4. The duality for the rational and trigonometric KZ and DD operators is proved in a straightforward way. To prove the duality for the rational qkz and qdd operators, we study the eigenvalues of the rational R-matrix and compare them to the eigenvalues of the operator B 2 12 (t), which is used in the construction of the qdd operators. The (gl k,g )-duality for classical integrable models related to Gaudin Hamiltonians and theactions ofgl k andg onthe space ofpolynomials inanticommuting variables was studied in [10, Section 3.3]. The result of [10] resembles what one can expect for Bethe algebras of Gaudin models discussed in our work. We will study those Bethe algebras in an upcoming paper. The paper is organized as follows. In Section 2, we introduce necessary notations. In Section 3, we define the KZ, DD, qkz, and qdd operators. In Section 4, we formulate and prove the main result. 2. Basic notation Let e ab, a,b = 1,...,k, be the standard basis of the Lie algebra gl k : [e ab,e cd ] = δ bc e ad δ ad e cb. We take the Cartan subalgebra h gl k spanned by e 11,...,e kk, and the nilpotent subalgebras n + and n spanned by the elements e ab for a < b and a > b respectively. We have standard Gauss decomposition gl k = n + h n. Let ε 1,...,ε k be the basis of h dual to e 11,...,e kk : ε a,e bb = δ ab. We identify h with C k mapping ε l k ε k to (,...,l k ). The root vectors of gl k are e ab for a b, the corresponding root being equal to α ab = ε a ε b The roots α ab for a < b are positive. The simple roots are α 1,...,α k 1 : α a = ε a ε a+1. Denote by ρ the half-sum of positive roots. We choose the standard invariant bilinear form (,) on gl k : (e ab,e cd ) = δ ad δ bc. It defines an isomorphism h h The induced bilinear form on h is (ε a,ε b ) = δ ab. For a gl k -module W and a weight l h let W[l] be the weight subspace of W of weight l For any l = (,...,l k ) with l a l a+1 we denote by V l the irreducible gl k -module with highest weight l. Also, for any m Z 0 we write V m instead of V (1 m ), where (1 m ) = (1,...,1,0,...,0). Thus, V }{{} 0 = C is the trivial gl k -module, V 1 = C k with the natural action k of gl k, and V m is the m-th antisymmetric power of V 1 The element I = k e ab e ba is central in U(gl k ), on the irreducible gl k -module V l it acts as a,b=1 multiplication by (l,l+2ρ). Consider the algebra X k = C k. We identify it with the ring of all polynomials in anticommuting variables x 1,...,x k. In particular, x 2 i = 0 for all i = 1,...,k. Define the left derivations 1,..., k as follows: if g(x) = x b1...x bm for some m, where b s a for any s, then a g(x) = 0, a (x a g(x)) = g(x). The operators of left multiplication by x 1,...,x k and the left derivations 1,..., k make the space X k into the irreducible representation of the Clifford algebra Cliff k.

3 DUALITY FOR KNIZHNIK-ZAMOLODCHIKOV AND DYNAMICAL OPERATORS 3 The Lie algebra gl k acts on the space X k by the rule: e ab p = x a b p for any p X k. Denote the obtained gl k -module by V, then k (2.1) V = V l, the submodule V l being spanned by the homogeneous polynomials of degree l. A highest weight vector of the submodule V l is x 1 x 2...x l. Thegl k -actiononx k naturalyextends toau(gl k ) n -actionon(x k ) n. Foranyg U(gl k ), set g (i) = 1 g i th l=0 1 U(gl k ) n. We consider U(gl k ) as the diagonal subalgebra of U(gl k ) n, that is, the embedding U(gl k ) U(gl k ) n is given by the n-fold coproduct: x x (1) + +x (n) for any x gl k. This corresponds to the standard gl k -module structure on (X k ) n as the tensor product of gl k -modules. Let Ω = k e ab e ba be the Casimir tensor, and let a,b=1 so that Ω = Ω + +Ω. Ω + = 1 2 Ω = 1 2 e aa e aa + 1 a<b k e aa e aa + 1 a<b k e ab e ba, e ba e ab, 3. The KZ, qkz, DD and qdd operators Fixanonzerocomplexnumberκ. Considerdifferentialoperators z1,..., zn and z1,..., zn with coefficients in U(gl k ) n depending on complex variables z 1,...,z n and λ 1,...,λ k : zi (z;λ) = κ Ω (ij) λ a (e aa ) (i) z i z i z j zi (z;λ) = κz i z i (λ a e aa 2 )(e aa) (i) j=1,j i j=1,j i z i Ω + (ij) +z jω (ij) z i z j The differential operators z1,..., zn (resp. z1,..., zn ) are called the rational (resp. trigonometric) Knizhnik-Zamolodchikov (KZ) operators. IntroducedifferentialoperatorsD λ1,...,d λk and D λ1,..., D λk withcoefficientsinu(gl k ) n depending on complex variables z 1,...,z n and λ 1,...,λ k : D λa (z;λ) = κ λ a z i (e aa ) (i) D λa (z;λ) = κλ a + e2 aa λ a 2 b=1 1 i<j n z i (e aa ) (i) (e ab ) (i) (e ba ) (j) b=1,b a b=1,b a e ab e ba e aa λ a λ b. λ b λ a λ b (e ab e ba e aa ).

4 4 V. TARASOV AND F. UVAROV The differential operators D λ1,...,d λk (resp. D λ1,..., D λk ) are called the rational (resp. trigonometric) differential dynamical (DD) operators, see [4, 5]. For any a,b = 1,...,k, a b, introduce the series B ab (t) depending on a complex variable t: e s s ba B ab = 1+ es ab (t e aa +e bb j) 1. s! s=1 j=1 The action of this series is well defined on any finite-dimensional gl k -module W giving an End(W)-valued rational function of t. Denote λ bc = λ b λ c. Consider the products X 1,...,X k depending on complex variables z 1,...,z n, and λ 1,...,λ k : n X a (z;λ) = (B ak (λ ak )...B a,a+1 (λ a,a+1 )) 1 (z eaa ) (i) B 1a (λ 1a κ)...b a 1,a (λ a 1,a κ). The productsx 1,...,X k act onany n-foldtensor product W 1 W n offinite-dimensional gl k -modules. Denote by T u a difference operator acting on a function f(u) by Introduce difference operators Q λ1,...,q λk : (T u f)(u) = f(u+κ). Q λa (z;λ) = X a (z;λ)t λa. The operators Q λ1,...,q λk are called the (rational) difference dynamical (qdd) operators. [6] For any finite-dimensional irreducible gl k -modules V and W, there is a distinguished rational function R VW (t) of t with values in End(V W) called the rational R-matrix. It is uniquely determined by the gl k -invariance (3.1) [R VW (t),g 1+1 g] = 0 for any g gl k, the commutation relations (3.2) R VW (t)(te ab 1+ and the normalization condition e ac e cb ) = (te ab 1+ (3.3) R VW (t)v w = v w, c=1 i e cb e ac )R VW (t), where v and w are the highest weight vectors of V and W respectively. Denote z ij = z i z j and R ij (t) = (R Wi W j (t)) (ij). Consider the products K 1,...,K n depending on complex variables z 1,...,z n and λ 1,...,λ k : K i (z;λ) = (R in (z in )...R i,i+1 (z i,i+1 )) 1 k (λa eaa c=1 ) (i) R 1i (z 1i κ)...r i 1,i (z i 1,i κ). The products K 1,...,K n act on any n-fold tensor product W 1 W n of gl k -modules. Introduce difference operators Z z1,...,z zn : Z zi (z;λ) = K i (z;λ)t zi. The operators Z z1,...,z zn are called (rational) quantized Knizhnik-Zamolodchikov (qkz) operators.

5 DUALITY FOR KNIZHNIK-ZAMOLODCHIKOV AND DYNAMICAL OPERATORS 5 It is known that the introduced operators combine into three commutative families, see [4 6] for more references. Theorem 3.1. The operators z1,..., zk,d λ1,...,d λk pairwise commute. Theorem 3.2. The operators z1,..., zn,q λ1,...,q λk pairwise commute. Theorem 3.3. The operators D λ1,..., D λk,z z1,...,z zn pairwise commute. 4. The (gl k,g )-duality Consider the ring P kn of polynomials in kn anticommuting variables x ai, a = 1,...,k, i = 1,...,n. Asavectorspace, P kn isisomorphicto(x k ) n, theisomorphismϕ 1 : (X k ) n P kn being given by (4.1) ϕ 1 (p 1 p n )(x 11,...,x kn ) = p 1 (x 11,...,x k1 )p 2 (x 12,...,x k2 )...p n (x 1n,...,x kn ), and to (X n ) k, the isomorphism ϕ 2 : (X n ) k P kn being given by (4.2) ϕ 2 (p 1 p k )(x 11,...,x kn ) = p 1 (x 11,...,x 1n )p 2 (x 21,...,x 2n )...p k (x k1,...,x kn ). We transfer the gl k -action on (X k ) n to P kn using the isomorphism ϕ 1. Similarly, we transfer the g -action on (X n ) k to P kn using the isomorphism ϕ 2. We will write superscripts k and n to distinguish objects related to the Lie algebras gl k and g, respectively. For example, e k ab, a,b = 1,...,k, denote the generators of gl k, and e n ij, i,j = 1,...,n, denote the generators of g. Then P kn is isomorphic to (V k ) n as a gl k -module by (4.1), and it is isomorphic to (V n ) k as a g -module by (4.2). It is easy to check that gl k - and g -actions on P kn commute. Therefore, P kn is a gl k g - module. We have the following theorem, see for example [1]: Theorem 4.1. For any partition l, denote its transpose by l. The gl k g -module P kn has the decomposition: P kn = V k l V n. l l=(,...,l k ), n. Fix vectors l = (,..., ) Z n 0 and m = (m 1,...,m k ) Z k 0 such that n l i = k m a. Let Z kn [l,m] = {(d ai ),...,k,...,n {0,1} kn d ai = l i, d ai = m a }. Denoteby P kn [l,m] P kn thespan ofall monomials x d = x d x d k1 k1... x d 1n 1n...x d kn kn such thatd = (d ai ) Z kn [l,m]. Thenby (2.1), themapsϕ 1 andϕ 2 inducetheisomorpfismsofthe respective weight subspaces (V k V k )[m 1,...,m k ] and (V n m 1 V n m k )[,..., ] with the space P kn [l,m]. There is another description of the isomorphisms ϕ 1 and ϕ 2. For any a = (a 1,...,a r ), i = (i 1,...,i s ), such that 1 a 1 < < a r k, 1 i 1 < < i s n, define: e k a = e k a 1 1e k a e k a rr and e n i = e n i 1 1 e n i e n i. ss Fix d = (d ai ) Z kn [l,m]. Let a j = (a j 1,...,a j l j ) be such that a j 1 < a j 2 < < a j l j, and d a j p,j = 1 for all j = 1,...,n, p = 1,...,l j. Similarly, let i s = (i s 1,...,is m l ) be such that

6 6 V. TARASOV AND F. UVAROV i s 1 < i s 2 < < i s m s, and d s,i s p = 1 for all s = 1,...,k, p = 1,...,m s. Introduce the following vectors: (4.3) v k d = e k a 1 v k e k a n v k, (4.4) v n d = e n i 1 v n m 1 e n i k v n m k, where v k l j V k l j = x 1 x 2...x lj and v n m s = x 1 x 2...x ms are highest weight vectors for the modules and V m n l, respectively. Lemma 4.2. The vectors v k d, d Z kn[l,m] form a basis of the weight subspace (V k V k )[m 1,...,m k ]. Similarly, the vectors v n d, d Z kn[l,m] form a basis of the weight subspace (V m n 1 V m n k )[,..., ]. Let ε(d) be a sign function such that x d x d 1n 1n... x d k1 k1...xd kn kn = ε(d)xd. Lemma 4.3. We have ϕ 1 (v d ) = x d, ϕ 2 (v d ) = ε(d)x d. Consider the action of KZ, qkz, DD and qdd operators associated with the Lie algebras gl k and g on P kn -valued functions of z 1,...,z n and λ 1,...,λ k, treating the space P kn as a tensor product (V k ) n of gl k -modules and as a tensor product (V n ) k of g -modules. We will write F G if the operators F and G act on the P kn -valued functions in the same way. Denote 1 k = (1,1,...,1) and 1 }{{} n = (1,1,...,1). }{{} k n Theorem 4.4. For any i = 1,...,n and a = 1,...,k the following relations hold (4.5) k z i (z,λ,κ) D n z i (λ, z, κ), (4.6) n λ a (λ,z,κ) D k λ a (z, λ, κ), (4.7) k z i (z,λ,κ) D n z i ( λ 1 k,z, κ), (4.8) n λ a (λ,z,κ) D k λ a ( z 1 n,λ, κ), (4.9) Z k z i (z,λ,κ) N n i (z)q n z i (λ, z, κ), (4.10) Z n λ a (λ,z,κ) N k a (λ)q k λ a (z, λ, κ), where (4.11) N n i (z) = and (4.12) C k ab 1 j<i Cn ji (z ji κ) i<j n Cn ij (z, N a k ij) (λ) = 1 b<a Ck ba (λ ba κ) a<b k Ck ab (λ, ab) Γ(t+e k aa +1)Γ(t e k bb (t) = ) Γ(t+e k aa e k C n ij bb +1)Γ(t), Γ(t+e n ii +1)Γ(t e n jj (t) = ) Γ(t+e n ii e n jj +1)Γ(t).

7 DUALITY FOR KNIZHNIK-ZAMOLODCHIKOV AND DYNAMICAL OPERATORS 7 Proof. Verification of relations (4.5), (4.6), (4.7), (4.8) is straightforward. To check (4.9) and (4.10), we have to show that (4.13) R k ij (t) C n ij (t)b n ij ( t), (4.14) R n ab (t) C k ab (t)b k ab ( t), We will prove relation (4.14). Relation (4.13) can be proved similarly. Note, that both action of R n ab (t) on P kn and action of C k ab (t)b k ab ( t) on P kn involve only the variables x a1,...,x an, x b1,...,x bn. Therefore, it is sufficient to prove (4.14) for the case of k = 2, a = 1, b = 2. The g - module P 2,n is isomorphic to V n V n. Consider the submodule V m n 1 V m n 2 P 2,n. We have the following decomposition of the g -module: (4.15) V n m 1 V n m 2 = min(m 1,m 2 ) m=max(0,m 1 +m 2 n) V n l(m). Here l(m) = (2,2,...,2,1,...,1,0,...,0), where 2 repeats m times and 1 repeats m 1 +m 2 2m times. Denote by v m a highest weight vector of the summand V n l(m) given by formula (A.1). Define the scalar product on P 2,n by the rule: f,f = 1, if f P 2,n is a nonzero monomial, and f,h = 0, if f,h P 2,n are two non-proprosional monomials. Lemma 4.5. We have v m,v m 0 for every m. The proof is straightforward by formula (A.1). Lemma 4.6. w 1,e n ij w 2 = e n ji w 1,w 2 for any w 1,w 2 P 2,n, and i,j = 1,...,n. The proof is straightforward. Corollary 4.7. If vectors w and w belong to distinct summands of decomposition (4.15), then w, w = 0. Proof. The summands of decomposition (4.15) are eigenspaces of the operator I n, and the corresponding eigenvalues are distinct. Notice that the operator I n is symmetric with respect to the scalar product,. Together with Lemma 4.6 this implies the statement. Denote L ij (t) = t(e n ij ) (1) + M ij (t) = t(e n ij ) (1) + k=1 k=1 (e n ik ) (1)(e n kj ) (2), (e n kj ) (1)(e n ik ) (2), α m (t) = L m1 +m 2 m+1,m(t) v m,v m 1, β m (t) = M m1 +m 2 m+1,m(t) v m,v m 1. Lemma 4.8. The functions α m (t) and β m (t) are nonzero, and (4.16) α m (t) β m (t) = t+1+m 1 m t 1+m m 2.

8 8 V. TARASOV AND F. UVAROV The proof is given in Appendix. Due to relation (3.1), for any m there exists a scalar function ρ m (t) such that R n 12 (t)w = ρ m (t)w for any w V n l(m). Lemma 4.9. It holds that (4.17) ρ m (t) ρ m 1 (t) = α m(t) β m (t). Proof. Let us single out the term V l(m 1) in the decomposition (4.15): V n m 1 V n m 2 = V l(m 1) Ṽ. Then we can write Lm1 +m 2 m+1,m(t) v m = w + w, where w V l(m 1) and w Ṽ. By the definition of L m 1 +m 2 m+1,m(t), the vector w has weight l(m 1). Therefore, w = av m 1 for some scalar a. By Corollary 4.7, we have α m (t) = L m1 +m 2 m+1,m(t) v m,v m 1 = a v m 1,v m 1. Notice that R n 12 (t) w Ṽ, because R-matrix R n 12 (t) acts as a multiplication by a scalar functiononeachsummandofthedecomposition(4.15). Then, bycorollary4.7, R n 12 (t) w,v m 1 = 0, and R n 12 (t)l m 1 +m 2 m+1,m(t) v m,v m 1 = R n 12 (t)w,v m 1 = On the other hand, relation (3.2) gives = ρ m 1 (t)a v m 1,v m 1 = ρ m 1 (t)α m (t). R n 12 (t)l m1 +m 2 m+1,m(t) v m,v m 1 = M m1 +m 2 m+1,m(t)r n 12 (t) v m,v m 1 = ρ m (t)β m (t). Thus we get α m (t)ρ m 1 (t) = ρ m (t)β m (t), which is relation (4.17). By formulae (4.17), (4.16), (4.18) ρ m (t) = m s=1 m 1 ρ s (t) ρ s 1 (t) = t+m 1 s t m 2 +s. For the last equality we used that ρ 0 = 1 by the normalization condition (3.3). Consider a decomposition of the gl 2 -module: V 2 V 2 = V 2 ( l m,m) W 2 m, 0 m l /2 s=0 where l = i l i and W 2 m are multiplicity spaces. Let (V 2 V 2 )[m 1,m 2 ] m = (V 2 V 2 )[m 1,m 2 ] (V 2 ( l m,m) W 2 m ). Lemma It holds that m 2 1 (4.19) B 2 t+m 2 s 12 (t) 2 (V l V 2 1 ln )[m 1,m 2 ] m = t m 1 +s. Proof. The modules V 2 l i can have only the following highest weights: (1,1),(1,0),(0,0). Moreover, the modules V 2 2 (0,0) and V (1,1) are one-dimensional and the elements e 12, e 21, and e 11 e 22 act there by zero. Thus, it is enough to consider the case when V 2 l i = V 2 (1,0) for all i, so formula (4.19) follows from [7, formula (5.13)]. s=m

9 DUALITY FOR KNIZHNIK-ZAMOLODCHIKOV AND DYNAMICAL OPERATORS 9 Comparing formulas (4.18), (4.19), and (4.12), we conclude: (4.20) ρ m (t) = (B 2 12 ( t)c 2 12 (t)) (V 2 V 2 ln )[m 1,m 2 ] m. Lemma For the Casimir elements I 2 and I n, we have 2 (4.21) I 2 2 e 2 aa I n +n e n ii. The proof is straightforward. Recall that on the irreducible gl k -module V l, the element I k acts as a multiplication by (l,l+2ρ). Then it is easy to verify that (4.22) (I e aa 2 ) = V 2 ( I n +n ( l m,m) W 2 m e n ii ) n V. l(m) Comparing formulae (4.21) and (4.22), and using the fact that the Casimir elements act on distinct irreducible modules as a multiplication by distinct scalar functions, we get that under isomorphisms (4.1) and (4.2) the respective images of V 2 ( l m,m) W 2 m and V n l(m) in P 2,n coincide. To indicate that, we will write V 2 ( l m,m) W 2 m V n l(m). We also have (V 2 V 2 )[m 1,m 2 ] (V m n 1 V m n 2 )[,..., ]. Therefore (V m n 1 V n m 2 )[,..., ] V n l(m) (V 2 V 2 )[m 1,m 2 ] m. Nowwe see that(4.20)gives usrelation betweenactionsofoperatorsb 2 12 (t), C 2 12 (t), andr n 12 (t)ononeparticularsubmoduleofp 2,n, proving the theorem. Let (A.1) v m = Appendix A. Proof of Lemma 4.8 m x 1i x 2i {ε} x ε1,m+1x ε2,m+2..x εm1 +m 2 2m,m 1 +m 2 m with {ε} = { (ε 1, ε 2,...,ε m1 +m 2 2m) : ε i = 1 or 2, ε i = m 1 m + 2(m 2 m) }. One can i easily prove that v m is a highest weight vector of weight l(m). It follows from the construction of the scalar product, that α m (t) (resp. β m (t)) equals the sum of the coefficients of those monomials presented in L m1 +m 2 m+1,m(t) v m (resp. M m1 +m 2 m+1,m(t) v m ) that also appear in v m 1. In fact, all monomials either in L m1 +m 2 m+1,m(t) v m or in M m1 +m 2 m+1,m(t) v m appear in v m 1 as well. We will start with α m. Denote s = m 1 +m 2 m+1. Let us inspect what happens when we apply various terms of L sm (t) to v m. For the sum n (e sk ) (1) (e km ) (2), we can assume that m k < s. If k > m, then the operator (e sk ) (1) (e km ) (2) will send a monomial in v m to zero if and only if this monomial does not depend on x 1k. That is, we look at all terms in v m corresponding to ε k m = 1. There are C m 2 m m 1 +m 2 2m 1 such terms with the same contribution ( 1) m 1+m 2 +m. We leave the details of this calculation to a reader. Under the assumption m < k < s, there are m 1 +m 2 2m different values of k, which yield the overall contribution ( 1) m 1+m 2 +m (m 1 +m 2 2m)C m 2 m m 1 +m 2 2m 1 to α m(t). k=1

10 10 V. TARASOV AND F. UVAROV If k = m, then we have (e sk ) (1) (e km ) (2) v m = (e sm ) (1) v m. Therefore, all C m 1 m m 1 +m 2 2m terms in v m equally contribute ( 1) m 1+m 2 +m (m 1 +m 2 2m). Finally, the term t(e ij ) (1) in L sm (t) generates the contribution t( 1) m 1+m 2 +m C m 1 m m 1 +m 2 2m to α m (t), which can be seen similarly to the case k = m considered above. Thus we obtained (A.2) ( 1) m 1+m 2 +m α m = (t+1)c m 1 m m 1 +m 2 2m +(m 1 +m 2 2m)C m 2 m m 1 +m 2 2m 1. The similar arguments give us (A.3) ( 1) m 1+m 2 +m β m = (t 1)C m 1 m m 1 +m 2 2m (m 1 +m 2 2m)C m 1 m m 1 +m 2 2m 1. Since (m 1 +m 2 2m)C m 1 m m 1 +m 2 2m 1 = (m 1 m)c m 1 m m 1 +m 2 2m and (m 1 +m 2 2m)C m 2 m m 1 +m 2 2m 1 = (m 2 m)c m 1 m m 1 +m 2 2m, Lemma 4.8 is proved. References [1] S-J. Cheng, W. Wang, Dualities and Representations of Lie Superalgebras, Amer. Math. Soc. (2012), [2] P. Etingof, I. Frenkel, A. Kirillov, Lectures on Representation Theory and Knizhnik- Zamolodchikov Equations, Math. Surveys and Monographs, vol. 58, Amer. Math. Soc., Providence, RI, [3] P. Etingof, A. Varchenko, Dynamical Weyl Groups and Applications, Adv. Math. 167 (2002), no. 1, [4] G. Felder, Ya. Markov, V. Tarasov and A. Varchenko, Differential Equations Compatible with KZ Equations, Math. Phys., Analysis and Geometry 3 (2000), [5] V. Tarasov and A. Varchenko, The Dynamical Differential Equations Compatible with the Rational qkz Equations, Letters in Mathematical Physics 71(2) (2004). [6] V. Tarasov and A. Varchenko, Difference Equations Compatible with Trigonometric KZ Differential Equations, Int. Math. Res. Notices (2000), no. 15, [7] V. Tarasov, A. Varchenko, Duality for Knizhnik-Zamolodchikov and Dynamical Equations, Acta Appl. Math. 73 (2002), no. 1-2, [8] V. Toledano-Laredo, The Trigonometric Casimir Connection of a Simple Lie Algebra, Journal of Algebra, vol. 329, iss. 1, 1 March 2011, [9] V. Toledano-Laredo, Y. Yang, The Elliptic Casimir Connection of a Simple Lie Algebra, arxiv: [10] B. Vicedo, C. Young, (gl m,g )-Dualities in Gaudin Models with Irregular Singularities, SIGMA 14 (2018), 040, 28 p.

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