arxiv: v1 [math-ph] 28 Mar 2019

Transcription

1 ITEP-TH-07 /19 The Dynamical equations for gln m E. Dotsenko 1,2,3 1 - Institute for Theoretical and Experimental Physics, Moscow, , Russia 2 - Moscow Institute of physics and Technology, Dolgoprudny, Russia 3 - Skolkovo Institute of Science and Technology, Moscow, Russia edotsenko95@gmail.com arxiv: v1 math-ph 28 Mar 2019 Astract In this note we propose a compatile set of equations which commutes with the Knizhnik- Zamolodchikov equations ased on the gln m symmetry algera and estalish the Matsuo- Cherednik correspondence for them. 1 Introduction There is a relation etween the solutions of the quantum Knizhnik-Zamolodchikov equaitons qkz for short and the spectral prolem of quantum systems Calogero-Moser type, proposed in 3 and later in 4, 5. The recent discussion of this correspondence 15, 11 was originated in the quantum-classical correspondence 13, 12. It was shown in 1 and generalized in 6, that for twisted KZ equations, ased on simple finite dimensional Lie algera g, there is a compatile set of equations with respect to twist parameters, which commutes with KZ. This set of equations was called Dynamical equaitons. The joint system could e viewed as a vector analogue of the ispectral prolem of 2. In fact they are related through the Matsuo-Cherednik map MC for revity: if one has a solution of joint system of KZ and Dynamical equations, then one can cook-up the solution of the ispectral prolem for the corresponding system of Calogero-Moser type. For the proof one can consult with 17 section 7, 18 and 14. It is worth to mention that in 7 the KZ and Dynamical equations were defined for a wide class of algeras and it will e very interesting to study the MC map in this generality. Integrale systems with Z/2Z graded symmetry algeras mostly of type A were studied in many papers, for example one can consult with 16. Also recently superchains were emedded in the context of the Bethe/Gauge correspondence in 8. And, maye, it might e interesting to derive the Dynamical equations, proposed in this note using approach of 7. The outline of the work is the following: in the section 2 we will proof compatiility of the proposed Dynamical equations and in the section 3 we will estalish the MC map. The generalization of the proposed equations to the difference case as well as issues aout the monodromy we will leave for the future work 10 Acknowledgements The author was enefited from the dicussions with B. Feigin, A. Zarodin, A. Zotov and N. Slavnov. Also the author is grateful to P. Etingof for the reference 9. This work was supported y the RFBR grant. 1

2 2 The Dynamical equations Let z C k \ i<j z i z j and λ C nm \ i<j λ i λ j. Let V k i1 Cn m e the tensor product of the vector representations of gln m. And let Ψ : z, λ V e the flat section, namely κ zi c λ c e i cc j, i P ij z i z j Ψ 0, 1 where graded permutation P ij a, 1p e i a ej a and pa is a parity fuction, defined in the Appendix. e j a is the generator of gln m which non-trivially acts only in the ith tensor component of V as matrix unit in some asis see Appendix. Theorem 2.1. The following system of equations is compatile and commute with 1 κ a j z j e j aa 1 pe ae a E aa λ a λ, a Ψ 0, 2 where E a E a k j1 ej a. Proof. Let us prove first, that 2 is compatile system. For showing this one has to check that the following commutator vanishes κ a j z j e j aa 1 pce ace ca E aa,κ λ a λ c c, a l There are three types of terms z l e l 1 pde de d E λ λ d d, 3 1 a, 1 pde de d E 1 pce ace ca E aa, λ λ d λ a λ c d, c, a 1 pae ae a E 1 pe ae a E aa λ λ a 2 λ a λ 2 The last equation holds due to relations j 1pa λ a z j e j aa, 1 pde de d E λ λ d d, j z j E a e j a ej a E a The last equation is true due to 31 1 pce ace ca E aa, λ a λ c c, a l 1p λ a j z l e l z j e j a E a E a e j a pce ace ca E aa, 1 pde de d E λ a λ c λ λ d c, a d, 1 pe ae a, 1 pce ce c E ac E ca, E ce c λ ac λ c c, a, 1 pce ace ca, 1 pae ae a 1 pap E a E a, E ae a λ a λ a 6 2

3 A short calculation shows that the last commutator vanishes. Let us focus on the middle row in the aove expression, which is more complicated. To prove that it is zero one has to consider the following four cases pa p 0, pc 1 E a E a, E ce c E ace a E c E c E a E ca pa pc 0, p 1 E a E a, E ce c E ace a E c E c E a E ca p pc 1, pa 0 E a E a, E ce c E ace a E c E c E a E a E ac E ca, E ce c E ac E ca, E ae a λ ac λ c E ace a E c E c E a E ca λ ac λ c E ace a E c E c E a E ca E ac E ca, E ce c E ac E ca, E ae a λ ac λ c E ace a E c E c E a E ca λ ac λ c pa p 1, pc 0 E a E a, E ce c E ace a E c E c E a E ca E ace a E c E c E a E ca E ac E ca, E ce c E ac E ca, E ae a λ ac λ c E ace a E c E c E a E ca λ ac λ c E ace a E c E c E a E ca E ac E ca, E ce c E ac E ca, E ae a λ ac λ c E ace a E c E c E a E ca λ ac λ c E ace a E c E c E a E ca The two cases where parities of a, and c are equal are not considered ecause the three corresponding generators of the gln m are osonic. From the aove computation one sees that the system 2 is compatile and the first part of the theorem is proven. Now let us show that systems 1 and 2 are compatile. Again one needs to check that the following commutator vanishes κ zi c λ c e i cc j, i P ij z i z j,κ a j z j e j aa 1 pe ae a E aa λ a λ, a Let is consider the most complicated parts of the aove commutator λ c e cc i, 1 pe ae a E aa λ c a, a 1 p e i a E a E a e i, a a ei j, i P ij z ij, j z j e j aa a E a E a e i a 12 3

4 2. P ij, 1 pe ae a E aa 13 z i z j λ a λ j, i, a Indeed one has to check that Simple calculation shows that this is true. 3 The Matsuo-Cherednik map In this section we fix k nm in the definition of V. P ij,e a E a 14 Theorem 3.1. The following covectors provide the Matsuo-Cherednik map for Dynamical equations 2 Ω 0 e 1... e nm P σ, 15a σ S nm Ω 1 e 1... e nm 1 sgnσ P σ, 15 σ S nm where P σ P si1...p sil, where P sij is a permutation, that corresponds to the reflection s ij and σ s i1 s i2...s il is a reduced decomposition. Because P sij satisfy raid relation the element P σ is correctly defined. The appearance of 15 is a property of V1 on which we are projecting the Dynamical equation. The V1 V is a suspace, such that E aa V1 1 for all a nm. Such condition is consistent with equations 1 and 2 ecause the Cartan generators commute with them. And presumaly one can not consider the other weight suspaces different to V1, ecasue the symmetry etween z s and λ s is roken. Now let us prove a simple and useful Lemma 3.2. The covectors 15a and 15 are eigenvectors of the following operators where i 0,1. E a E a E aa Ω i 1 pi Ω i, 16 Proof. One can consider vectors Ω i and prove for them the analogue properties 16. Let us consider the symmetrized vector as an example E a E a E aa Ω 0 σ S nm P σ E a E a E aa e 1... e nm, 17 thanks to 14. A simple computation shows that E a E a E aa e 1... e nm 1 p P a e 1... e nm. 18 Then applying to the result the symmetrizer, or skew symmetrizer one otains16 immediately. Now we are ready to proof the follwoing 4

5 Theorem 3.3. Let Ψ e the solution of joint system 1, 2 with values in V1, than mn κ 2 1 i nm κ 1 Ω i Ψ λ 2 z a1 a 2 i Ω i Ψ, 19a a i1 mn κ 2 1 i nm κ 1 Ω i Ψ z 2 λ a 2 i Ω i Ψ, 19 where i 0,1 a1 a Proof. The first equation was proven in 11, so we are to proof the second.let D a e the a th dynamical operator. So now we are consider the following sum i1 Ω i n κ 2 λ 2 a { n z i e i aa, 1 pe ae a E aa } λ a λ a n Da 2 Ψ Ω a1 a1 i,a1 2 z i e aa i 1 ppc E a E a E aa E ac E ca E aa λ i a λ λ a λ c c a κ 1 p E a E a E aa E a E a E aa 2 Ψ, λ a λ 2 a 20 where the 2 was used. After using 16 and the identity c a expression simplifies to 1 λ a λ λ a λ c 0 the aove nm Ω i κ 2 2 λ 2 a a1 nm { i,a1 z i e i aa, a 1 pe ae a E aa } λ a λ i z 2 i a κ 1 i 1 Ψ 21 λ a λ 2 To prove the theorem one has to show, that nm Ω i { z i e aa i, 1 pe ae a E aa } Ψ 22 λ i,a1 a λ a In fact one has to prove, that for any distinct a and nm nm Ω i { z i e aa i, 1p E a E a E aa } { z i e i, 1pa E a E a E } 23 i1 After opening the rackets one otains the following n n Ω i z i e aa i 1p E a E a E aa 1 i Ω i z i e i aa Ω i i1 n i1 i1 z i e i 1pa E a E a E 1 i Ω i i1 n i1 z i e i. 24 One can write the projectors 15a, 15 in the following form Ω i e a1... e i a... e j... e anm f i a 1,...,a nm. a 1... a nm 25 5

6 where the functions f i are generalizations of the sign function of the ordinary permutation to the graded case. Let us set i 0 and consider the most non-trivial case pa 0, p 1 explicitly n j, i i1 nm i1 {a i a,a j } j, i {a i a,a j } e a1... e a i... e j... e anm f 0 a 1,...,a nm z i 1 p E a E a E aa 1 e a1... e i... e j a... e amn 1 k {i,j} pak e σ1... e a i... e j... e anm f 0 a 1,...,a,...,,...,a nm where {a i a,a j } a 1... a a mn and k {i,j} means, that summation runs over all k, that lies in the interval strictly etween i and j. Then the second line gives the following z i, 26 nm i1 j, i {a i,a j a} e a1... e i a... ej... e amn 1 k {i,j} pa k e σ1... e i... e a l... e anm f 0 a 1,...,,...,a,...,a nm z i. 27 Because of 16 one has the following relation f 0 a 1,...,a,...,,...,a nm 1 k {i,j} pa k f 0 a 1,...,,...,a,...,a nm. From which one sees that difference 24 vanishes. The other cases of parity of a and as well as other value of i considered similarly. 4 Summary To conclude we have proved the compatiility of proposed system of Dynamical equations and its commutativity with twisted KZ equations. The structure of the formula 2 is very much like in 1, ut not quite ecause of fermionic roots. It will e interesting to generalize the work of 6 to the Lie superalgera case as well as compute the monodromy of the proposed Dynamical equations. It will e addressed elsewhere Appendix Here we give a rief summary of some definitions of the Lie superalgera gln m Let J {1,...nm} and let p : J {0,1} { pa 0, a n,osons, pa 1, a > nfermions. 28 The gln m algera is generated y e a where a, J with the following relations e a e cd 1 pe ape cd e cd e a δ c e ad 1 pe ape cd δ da e c, 29 6

7 where pe a papmod The product of the superalgera representations is defined in such a way, that for operators, which has definite parity, and acting non-trivially only in the i th and j th component of the tensor product the following holds A i B j 1 papb B j A i. 31 In the C n m there is a asis e a such that e a e c δ c e a, meaning that e a are just matrix units. Let x,y C n m with definite px and py then the graded permutation acts as follows References P 12 x y 1 pxpy y x Felder, G., Markov, Y., Tarasov, V., Varchenko, A Differential equations compatile with KZ equations. Mathematical Physics, Analysis and Geometry, 32, Duistermaat, J. J., Grünaum, F. A Differential equations in the spectral parameter. Communications in mathematical physics, 1032, Matsuo, A Integrale connections related to zonal spherical functions. Inventiones mathematicae, 1101, Cherednik, I Integration of quantum many-ody prolems y affine Knizhnik- Zamolodchikov equations. Advances in Mathematics, 1061, Mimachi, K A solution to quantum Knizhnik-Zamolodchikov equations and its application to eigenvalue prolems of the Macdonald type. Duke mathematical journal, 853, Etingof, P., Varchenko, A Dynamical Weyl groups and applications. Advances in Mathematics, 1671, Okounkov, A., Smirnov, A Quantum difference equation for Nakajima varieties. arxiv preprint arxiv: Nekrasov, N Superspin chains and supersymmetric gauge theories. arxiv preprint arxiv: Geer, N Etingof Kazhdan quantization of Lie superialgeras. Advances in Mathematics, 2071, Dotsenko, E. in preparation 11 Grekov, A., Zarodin, A., Zotov, A Supersymmetric extension of qkz-ruijsenaars correspondence. Nuclear Physics B, 939, Gorsky, A., Zarodin, A., Zotov, A Spectrum of quantum transfer matrices via classical many-ody systems. Journal of High Energy Physics, 20141, Nekrasov, N., Rosly, A., Shatashvili, S Daroux coordinates, Yang-Yang functional, and gauge theory. Nuclear Physics B-Proceedings Supplements, 2161, Braverman, A., Maulik, D., Okounkov, A Quantum cohomology of the Springer resolution. Advances in Mathematics, 2271,

8 15 Zarodin, A., Zotov, A QKZ Ruijsenaars correspondence revisited. Nuclear Physics B, 922, Belliard, S., Ragoucy, E The nested Bethe ansatz for all closed spin chains. Journal of Physics A: Mathematical and Theoretical, 4129, Laredo, V. T The trigonometric Casimir connection of a simple Lie algera. Journal of Algera, 3291, van Meer, M., Stokman, J Doule affine Hecke algeras and ispectral quantum Knizhnik Zamolodchikov equations. International Mathematics Research Notices, 20106,