A joint system of equations based on the \(\mathfrak{g}\mathfrak{l}(n{\text{|}}m)\) superalgebra has been determined and its relation to the integrable Calodgero–Moser system of particles has been established.
Avoid common mistakes on your manuscript.
INTRODUCTION
Joint systems of differential equations naturally appear in various fields of physics and mathematics. The monodromy of joint systems is specific because it is independent of small deformations of a contour along which it is calculated, and the monodromy matrix itself is very interesting. Aharonov and Bohm [1] proposed an important example of the phase increment of an electron in zero magnetic field beyond a cylindrical region (inaccessible to the electron) but with a nontrivial vector potential.
In modern theoretical/mathematical physics, joint systems of equations occur in the two-dimensional conformal field theory; in particular, correlation functions of vertex operators in the Wess–Zumino–Novikov–Witten model obey the system of Knizhnik–Zamolodchikov equations [2]. Matsuo [3] and Cherednik [4] demonstrate that the Knizhnik–Zamolodchikov equations are closely related to the Calodgero–Moser system. It is also known that the Knizhnik–Zamolodchikov equations are closely related to the Casimir connection discovered by De Concini, Millson, and Toledano Loredo (see [5] and references therein). The Casimir connection commutes with the Knizhnik–Zamolodchikov equations. In this work, the Casimir connection is determined for the \(\mathfrak{g}\mathfrak{l}(n{\text{|}}m)\) superalgebra, and the Matsuo–Cherednik correspondence is established for this case.
SOME PROPERTIES OF THE \(\mathfrak{g}\mathfrak{l}(n{\text{|}}m)\) SUPERALGEBRA
The main properties of the \(\mathfrak{g}\mathfrak{l}(n{\text{|}}m)\) superalgebra are as follows.
Let \(\mathcal{J} = \{ 1, \ldots n + m\} \) and \(p:\mathcal{J} \to \{ 0,1\} \)
The \(\mathfrak{g}\mathfrak{l}(n{\text{|}}m)\) algebra is generated by \({{e}_{{ab}}}\), where \(a,b \in \mathcal{J}\) with the relations
where
The tensor product \( \otimes \) of representations of superalgebras is defined so that eigenoperators of the parity operator that act nontrivially only in the ith and jth tensor factors satisfy the relation
In the basis \({{e}_{a}}\) existing in \({{\mathbb{C}}^{{n|m}}}\), \({{e}_{{ab}}}({{e}_{c}}) = {{\delta }_{{bc}}}{{e}_{a}}\) means that \({{e}_{{ab}}}\) are matrix units.
Let \(x,y \in {{\mathbb{C}}^{{n|m}}}\) with certain \(p(x)\) and \(p(y)\); then, the graded permutation is defined as follows:
JOINT SYSTEM OF EQUATIONS
The Knizhnik–Zamolodchikov equations for the function \({\text{|}}\Psi \rangle \) with values in \(V = \mathop \bigotimes \nolimits_{i = 1}^k {{\mathbb{C}}^{{n|m}}}\), where \({{\mathbb{C}}^{{n|m}}}\) is the vector representation of \(\mathfrak{g}\mathfrak{l}(n{\text{|}}m)\), have the form
where \({{P}_{{ij}}} = \sum\nolimits_{a,b} {{( - 1)}^{{p(b)}}}e_{{ab}}^{{(i)}}e_{{ba}}^{{(j)}}\) is the graded permutation, \(p(a)\) is the parity function defined in the supplementary material, and \(e_{{ab}}^{{(j)}}\) is the generator of the \(\mathfrak{g}\mathfrak{l}(n{\text{|}}m)\) superalgebra that acts nontrivially only in the ith tensor factor V as a matrix unity in a certain basis (see the supplementary material).
One of the main statements of this work is that the following system of equations is consistent and commutes with Eqs. \((6)\):
where \({{E}_{{ab}}} = \sum\nolimits_{j = 1}^k e_{{ab}}^{{(j)}}\). This statement is proved in the supplementary material.
MATSUO–CHEREDNIK CORREPONDENCE
In this section, \(k = n + m\) is set in the definition of V.
To establish the Matsuo–Cherednik correspondence for Eqs. \((7)\), the following convectors constructed in [6] are needed:
Here, \({{P}_{\sigma }} = {{P}_{{{{s}_{{{{i}_{1}}}}}}}} \ldots {{P}_{{{{s}_{{{{i}_{l}}}}}}}}\), where \({{P}_{{{{s}_{{{{i}_{j}}}}}}}}\) is the permutation corresponding to the transposition \({{s}_{{{{i}_{j}}}}}\) and \(\sigma = {{s}_{{{{i}_{1}}}}}{{s}_{{{{i}_{2}}}}} \ldots {{s}_{{{{i}_{l}}}}}\) is a certain decomposition of the permutation into the product of transpositions. Since \({{P}_{{{{s}_{{{{i}_{j}}}}}}}}\) satisfies the braid group relations, the element \({{P}_{\sigma }}\) is defined correctly.
To verify that the convectors given by Eqs. (8a) and (8b) are eigenvectors of the operators
where \(i = 0,1\), similar properties can be proved for the vectors \({\text{|}}{{\Omega }^{i}}\rangle \). A simple calculation shows that
The symmetrization or antisymmetrization of the right-hand side of Eq. (10) certainly gives Eq. (9).
It is easily seen that the Knizhnik–Zamolodchikov equations and dynamical equations commute with the operators \({{E}_{{aa}}}\); consequently, the following condition can be imposed on the solution:
Then, such solutions satisfy the relations
where \(i = 0,1\).
Relation (12a) was proved in [6]. To prove Eq. (12b), it is sufficient to write the following relation for the \(a\)-infinitesimal operator \({{D}_{a}}\) in parentheses in Eq. (7):
Details of this calculation are presented in the supplementary material.
REFERENCES
Y. Aharonov and D. Bohm, Phys. Rev. 115, 485 (1959).
V. G. Knizhnik and A. B. Zamolodchikov, Nucl. Phys. B 247, 83 (1984).
A. Matsuo, Invent. Math. 110, 95 (1992).
I. Cherednik, Adv. Math. 106, 65 (1994).
V. T. Laredo, J. Algebra 329, 286 (2011).
A. Grekov, A. Zabrodin, and A. Zotov, Nucl. Phys. B 939, 174 (2019).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
The author declares that he has no conflicts of interest.
Additional information
Translated by R. Tyapaev
Supplementary Information
Rights and permissions
Open Access. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dotsenko, E. A Compatible System of Equations Related to the Lie Superalgebra gl(n|m) and Integrable Calogero–Moser Model. Jetp Lett. 117, 317–319 (2023). https://doi.org/10.1134/S0021364023600088
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0021364023600088