Abstract
We demonstrate that the symmetric elliptic polynomials \(E_\lambda (x)\) originally discovered in the study of generalized Noumi–Shiraishi functions are eigenfunctions of the elliptic Ruijsenaars–Schneider (eRS) Hamiltonians that act on the mother function variable \(y_i\) (substitute of the Young-diagram variable \(\lambda \)). This means they are eigenfunctions of the dual eRS system. At the same time, their orthogonal complements in the Schur scalar product, \(P_\lambda (x)\) are eigenfunctions of the elliptic reduction of the Koroteev–Shakirov (KS) Hamiltonians. This means that these latter are related to the dual eRS Hamiltonians by a somewhat mysterious orthogonality transformation, which is well defined only on the full space of time variables, while the coordinates \(x_i\) appear only after the Miwa transform. This observation explains the difficulties with getting the apparently self-dual Hamiltonians from the double elliptic version of the KS Hamiltonians.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Calogero system [1] and its various trigonometric [2,3,4,5,6,7] and elliptic [6,7,8] generalizations is one of the basic examples in the theory of integrable systems, which, after a discovery of integrable properties of QFT effective actions [9,10,11], are at one of the focuses of modern theoretical studies. The whole Calogero–Sutherland–Ruijsenaars–Schneider family is rich enough for study the PQ dualities [12,13,14,15,16,17,18,19,20,21] (see also the spectral duality version in [22,23,24,25,26,27]), and one may hope this would be the first case where the self-dual double-elliptic (dell) system will be clearly formulated and investigated [28,29,30,31,32,33,34].
On the physics side, the dell systems describe the top example of Seiberg–Witten theory: the low-energy limit of six-dimensional supersymmetric Yang–Mills system with adjoint matter multiplet [29, 30, 35], while on the algebraic side, the double compactified network of the Ding–Iohara–Miki algebra [36, 37] (see also [38]). A detailed discussion can be also found in [39].
At the moment, we are still stack at the previous stage: an explicit formulation of elliptic-trigonometric duality. Indeed, though the PQ duality has been explicitly formulated both at the classical [12,13,14,15,16,17,18,19,20,21] and quantum [40,41,42] levels for the rational and trigonometric systems, and, in principle, it is basically clear how it should be lifted to elliptic systems, any explicit formulas has been lacking so far in the multi-particle case. This paper is a big step towards a resolution of this problem.
We will discuss solely the quantum duality, where the task is to find a dual pair of functions (called mother functions) of two sets of variables, x and y, and the two sets of Hamiltonians for which they are the eigenfunctions. Within the Calogero–Sutherland–Ruijsenaars–Schneider family, one of the sets of variables is usually considered as the Miwa transform of the “time variables” \(\{p_k\}\), while the other set corresponds to an analytical continuation from lengths of the Young diagram \(\lambda \). The mother functions themselves are then related to various symmetric polynomials \(P_\lambda \{p\}\) from the Schur-Macdonald family. The Hamiltonians are well known up to the eRS case, though their dual versions are not known. However, using the PQ duality, we are still able to find the eigenfunctions \(E_\lambda \{p_k\}\) of these latter. In this paper, we demonstrate that they are actually expressed through the elliptic Macdonald functions constructed recently in [43]. A candidate for the dual Hamiltonian was proposed by P. Koroteev and Sh. Shakirov [35]Footnote 1 (in fact, they proposed a dell version of the Hamiltonians, which is, however, not self-dual) but, as we explain in this paper, their eigenfunctions are not exactly the same elliptic Macdonald polynomials \(E_\lambda \{p_k\}\), but rather their orthogonal complements. This sounds like an innocent difference, but in fact orthogonality is a somewhat strange requirement within this context. In particular, it is naturally defined in the space of time-variables \(\{p_k\}\), i.e. requires a lift from symmetric polynomials to a larger space (and thus has no immediate analogue for the y variables). Even more important, this prevents the full KS Hamiltonians from being explicitly self-dual so that, at least, one more step is necessary to resolve the puzzle with the dell systems, and to clarify the apparent difference between \(H^{KS}\) and an explicit \(N=2\) example from [28] as well as \(N>2\) examples of [29,30,31,32,33,34].
It may seem straightforward to find a substitute of \(H^{KS}\) that act on variables x in explicitly known polynomials \(E_\lambda (x)\) and leave them intact. However, one has to find as many such Hamiltonians as there are x variables, and all these Hamiltonians have to commute. To put it differently, one has to construct a generating function of Hamiltonians that depends on an auxiliary spectral parameter u, and, for instance, in the case of KS Hamiltonians, this spectral parameter would be better to introduce in a tricky way [45]: \(H^{KS}\) are made in a non-local way from simpler auxiliary operators \(O^{\mathrm{trig}}(u)\) depending already on the spectral parameter. As we demonstrate in this paper, the drop-out of u-dependence is a corollary of some \(\theta \)-function identities. In other words, the eigenvalue equations for \(H^{KS}\) have an additional hidden structure, which is not explicit, and it is a question if and how it can be preserved by the change of the eigenfunctions and Hamiltonians. All this remains for the future work.
To summarize, in this paper, in Sect. 2, we explain the notion of duality, and, in Sect. 3, we define a bi-orthogonal pair of elliptic polynomial systems, \(P_\lambda \{p_k\}\) and \(E_\lambda \{p_k\}\). Further, we demonstrate that
-
\(E_\lambda \{p\}\) as functions of analytically continued \(\lambda \longrightarrow \{y\}\) are the eigenfunctions of the eRS Hamiltonians (Sect. 4).
-
\(P_\lambda (x_i)\) as functions of \(\{x_i\}\) are the eigenfunctions of the \(H^{KS}\) when the coordinate torus is degenerate (Sect. 5).
-
The independence of the spectral parameters, which makes the latter problem self-consistent, follows from a family of theta-function identities (Sect. 5).
-
Similar identities also explain the equivalence to solutions found previously in [46] (Sect. 5).
All these relations are summarized in the diagram of Sect. 6.
-
\(E_\lambda \{p\}\) furnish a “vertical” representation of elliptic Ding-Iohara-Miki (eDIM) algebra, while the conjugate of trigonometric degeneration of \(H^{KS}\) corresponds to a commuting subalgebra inside the eDIM algebra (Sect. 7).
We end with a short conclusion.
Notation The Pochhammer symbols are defined to be
We need both the odd \(\theta \)-function that we define asFootnote 2
and one of the even \(\theta \)-functions
The elliptic \(\Gamma \)-function is defined to be
The elliptic Pochhammer symbol is defined as
We also use the notation
In particular, \(\psi (x/q) = \psi (x^{-1})\) and \(\psi (tz)=\zeta (z)\Big |_{q\leftrightarrow t}\).
Throughout the paper, we denote symmetric functions of variables \(x_i\) as \(M_\lambda (x_i)\), \(P_\lambda (x_i)\), \(E_\lambda (x_i)\), while these polynomials as functions of power sums \(p_k:=\sum _ix_i^k\) are denoted as \(M_\lambda \{p_k\}\), \(P_\lambda \{p_k\}\), \(E_\lambda \{p_k\}\). The elementary symmetric polynomials [48] are denoted through \(e_k\), and monomial symmetric polynomials [48], through \(m_\lambda \).
2 Duality
2.1 The notion of quantum duality
The idea of PQ-duality of integrable many-body systems was first proposed by S. Ruijsenaars [12] and was later discussed in [13,14,15,16,17,18,19,20,21] at the classical level and in [40,41,42] at the quantum level. While the classical PQ-duality is realized just in terms of Hamiltonians and their canonical transformations [19,20,21], the quantum duality requires the eigenvalue problem, i.e. the Hamiltonians are accompanied by the eigenfunctions from the very beginning. That is, if the eigenvalue problem for the Hamiltonian \({{\hat{H}}}_x\), which is an operator acting on the variable x, looks like
then the dual Hamiltonian acts on the variable \(\lambda \):
so that \(\Psi ^{(D)}(\lambda ;x)=\Psi (x;\lambda )\). Here \({{\mathcal {E}}}\) and \(\mathcal{E}^{(D)}\) are some fixed functions of the variables x and \(\lambda \) accordingly. In the case of many-body integrable system there are several coordinates \(x_i\), \(i=1,\ldots ,N\) and the corresponding \(\lambda _i\) are associated with the separated variables. Integrability implies that, in this case, there are N commuting Hamiltonians and N dual Hamiltonians. In this context, one naturally considers the eigenfunction \(\Psi _\lambda (x)\) as a function of the two continuous variables x and \(\lambda \). In the case of Hamiltonians from the Calogero–Sutherland–Ruijsenaars–Schneider family, the most informative are the Hamiltonians of the Dell system, which are elliptic both in the coordinates and in momenta, and are self-dual, i.e. \({{\hat{H}}}_k={{\hat{H}}}_k^{(D)}\).
2.2 Duality in the trigonometric Ruijsenaars system
The simplest example is provided by the trigonometric Ruijsenaars system, which is self-dual. Its Hamiltonians are explicitly given by
The eigenfunctions of these Ruijsenaars Hamiltonians are the Macdonald polynomials:
where the eigenvalues are given by
Since this system is self-dual, i.e. the eigenfunction coincides with its dual, one just needs the property \(\Psi (\lambda ;x)=\Psi (x;\lambda )\). This is guaranteed by the duality relation of the Macdonald polynomials:
In fact, the normalization coefficient \(M_\lambda (t^{-i})\) can be chosen in a different form, which we will need in further elliptic generalization.
Consider the set of \(x_i:=t^{-i}\), \(i=1,\ldots ,\ldots , N\) and the Young diagram such that \(l_\lambda \le N\). Then,
and
where qDim\(_\lambda \) is the Macdonald dimension, and \(\nu _\lambda :=\sum _i(i-1)\lambda _i\). In particular, one may put \(N=\infty \) (assuming that \(|t|<1\)).
3 Elliptic Macdonald polynomials
In this section, we define the two conjugate systems of symmetric polynomials that are the main players in the paper. We call them elliptic Macdonald polynomials. They come as a particular case of the generalized Noumi-Shiraishi (GNS) polynomials [43] defined as a certain truncation of an explicit series expression. These polynomials form a basis in the space of symmetric functions. An essential property of both these systems of polynomials is that their coefficients are expressed not though separate \(\theta \)-functions, but through their peculiar combinations \(\zeta (z)\) and \(\psi (z)\) differing by the permutation of q and t.
3.1 \(P_\lambda \{p\}\) polynomials
The basic systems of polynomials, \(P_\lambda ^{(q,t,\omega )}(x_i)\) was defined in [39, 43, 49] (in the latter reference, this system is obtained as a particular case of the GNS polynomials when \(\xi (z)=\theta _\omega (z)\)), and can be described in the following way generalizing the Noumi-Shiraishi representation of the Macdonald polynomials [50]:
![](http://media.springernature.com/lw402/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09248-9/MediaObjects/10052_2021_9248_Equ16_HTML.png)
where \(m_{ij}=0\) for \(i\ge j\), \(m_{ij}\in {\mathbb {Z}}_{\ge 0}\), the number of lines in the Young diagram \(\lambda \) does not exceed N, and
As it was explained in [39, sec.3], \(P_\lambda ^{(q,t,\omega )}(x_i)\) are symmetric polynomials, which is a consequence of a series of non-trivial \(\theta \)-function relations. They form a ring with the properties described in [43]. The first few of these polynomials are
More examples can be found in [43].
3.2 \(E_\lambda \{p\}\) polynomials
3.2.1 Orthogonality and E polynomials
Let us define a conjugate system of polynomials in the following way. Denote \(\chi _{\lambda \Delta }\) the coefficients of the p-expansion of the
Then, the set of polynomials
with \(\chi ^{-1}\) being the inverse matrix, \(p_\Delta :=\prod _{i=1}\Delta _i\) and \(z_\Delta \) being the standard symmetric factor of the Young diagram (order of the automorphism) [51], is orthogonal,
w.r.t. to the measure
Note that, in the Macdonald limit \(\omega \rightarrow 0\),
This suggests to define a system of symmetric polynomials
![](http://media.springernature.com/lw268/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09248-9/MediaObjects/10052_2021_9248_Equ23_HTML.png)
such that
The first few of \(E_{\lambda }^{(q,t,\omega )}(p_n)\) polynomials are given by
3.2.2 Ring structure
The \(E_{\lambda }^{(q,t,\omega )}\{p_k\}\) polynomials form a commutative ring (isomorphic to the ring of symmetric polynomials):
The coefficients \(N_{\lambda \mu }^{\nu }(q,t,\omega )\) have some nice properties:
-
1.
They vanish whenever the corresponding Littlewood–Richardson coefficient vanishes.
-
2.
They are elliptizations of the (q, t)-Littlewood–Richardson coefficients for Macdonald polynomials, and, when the latter are factorized, they also factorize into products of theta functions.
It is not hard to guess a formula for some classes of ring coefficients. The important example is the Pieri rule:
where \(\mu + 1_i\) denotes a diagram obtained from the diagram \(\mu \) by adding one box in column i. If \(\mu + 1_i\) is not a Young diagram, the coefficient in front of \(E_{\mu }^{(q,t,\omega )}\{p_k\}\) vanishes automatically.
4 \(E_\lambda \{p\}\) as solutions to dual eRS system
The eRS Hamiltonians are manifestly given by
Their eigenfunctions \(\Psi _\lambda (y_i)^{eRS}\) were conjectured in [52, Eq.] (see also (66) below). In this section, we are going to construct the dual of these eigenfunctions following the pattern of Sect. 2. That is, we use the duality relation
where the dual functions \(\Psi ^{(D)}_\lambda (x_i)\) are eigenfunctions of the dual eRS Hamiltonians (yet to be evaluated). We demonstrate below that
by checking that, upon a proper choice of the normalization factor, it satisfies the eigenvalue equations with the Hamiltonians (33) w.r.t. to the variables \(y_i=q^{\mu _i}t^{-i}\). Here \(p_n=\sum _i x_i^n\).
4.1 eRS eigenfunctions
The first eRS Hamiltonian is given by
where N is the number of particles.
The eRS Hamiltonian (36) is related to the Pieri’s rule (32). One can see this by conjugating \(H_1^{(q,t,\omega )}\) with the function
where \(\beta = \frac{\ln t}{\ln q}\) and
Up to a constant factor, it is an immediate elliptization of (15).
The function \(\Upsilon \) satisfies a simple difference equation
and thus
From Eq. (40) we see that after conjugation half of the factors in \(\prod _{i \ne j}\) in \(H_1^{(q,t,\omega )}\) cancel, while the rest are “doubled”. Finally, using the property of the Jacobi theta function \(\theta _{\omega }(y^{-1}) = -y^{-1} \theta _{\omega }(y)\) on the factors in the first square brackets in Eq. (40), we get the conjugated Hamiltonian, which is expressible through the function \(\psi (y)\) from Eq. (7):
If we send \(N \rightarrow \infty \) and set the variables \(y_i\) to discrete values
for some Young diagram \(\mu \) we notice that the action of the conjugated Hamiltonian (41) coincides with the Pieri rule (32). Therefore, with proper normalizing constant, elliptic Macdonald polynomials are eigenfunctions of the eRS model. More specifically, the function \(\Psi ^{(q,t,\omega )}(p_n|y_i)\),
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09248-9/MediaObjects/10052_2021_9248_Figa_HTML.png)
The variables \(y_k\) are the mother-function arguments, which substitute the Young diagram index \(\mu \) in \(E_\mu \{p\}\) and \(E_\mu (x)\).
4.2 Higher eRS Hamiltonians and more Pieri rules
The eigenfunction \(\Psi ^{(q,t,\omega )}(p_n|y_i)\) is in fact an eigenfunction of a whole infinite set of eRS Hamiltonians, of which \(H_1^{(q,t,\omega )}\) is only the first member.
Conjugating this Hamiltonian with the function \(F^{(q,t,\omega )}(\vec {y})\) we get
These Hamiltonians can also be understood as further Pieri rules for elliptic Macdonald polynomials \(E_{\lambda }^{(q,t,\omega )}\):
where \(e_k\{p_k\} = s_{[1^k]}\{p_k\}\) are elementary symmetric functions. Correspondingly, the eigenvalues of the higher Hamiltonians are given by elementary symmetric functions of \(p_n\) variables
![](http://media.springernature.com/lw338/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09248-9/MediaObjects/10052_2021_9248_Equ45_HTML.png)
5 \(P_\lambda (x)\) as the eigenfunctions of \(H^{KS}\) in the elliptic-trigonometric limit
The KS Hamiltonians are elliptic both in momenta and coordinates. Here we consider the case when the coordinate torus is degenerate so that the dependence on coordinates is trigonometric, we call this as ell-trig case. If one considers the trig-ell case instead, the KS Hamiltonians become the eRS Hamiltonians. Since the KS Hamiltonians are not self-dual, one should not expect that degenerating the coordinate torus would lead to the dual eRS system. Indeed, how we explain in this section, the corresponding eigenfunctions are the \(P_\lambda (x)\) polynomials, which are conjugate to the wave functions of the dual eRS system, \(E_\lambda ^{(q,t,\omega )}\) w.r.t. to the Schur scalar product. As it follows from this scalar product, the conjugation can be realized with the substitutions \(\displaystyle {p_k\rightarrow -{1\over k}{\partial \over \partial p_k}}\), which is not easy to realize on the subspace of finite number of the Miwa variables \(x_i\).
5.1 \(P_\lambda (x)\) as eigenfunctions of the ell-trig KS Hamiltonians
One of the possibilities to proceed with the ell-trig KS Hamiltonians is to notice directly that their wave functions constructed in [46, Eqs. (72)–(73)] are nothing but the \(P_\lambda (x)\) polynomials. In order to see this, one has to use rather tricky relations between the odd and even \(\theta \)-functions, the simplest of which is
The formulas in [43] actually used brute force calculations. A smarter approach is to use the generating function of the KS Hamiltonians in the determinant form [45], which can be written, in the ell-trig case, as
This matrix is triangular in the basis of monomial symmetric polynomials \(m_{\lambda }(\mathbf {x})\). The current \(\mathcal {O}^{\mathrm {trig}}(u)\) can be diagonalized with eigenvalues
However, since \(\mathcal {O}^{\mathrm {trig}}(u)\) for different values of u do not commute, the eigenfunctions in general depend on u. The exceptions here are the eigenfunctions correspond to \(\lambda = [1^k]\), \(m_{[1^k]}(\mathbf {x}) = s_{[1^k]}(\mathbf {x})\).
To get commuting Hamiltonians one should take the ratio of the generating functions \(\mathcal {O}^{\mathrm {trig}}(u)\) at two different values of u:
Let us compute the first nontrivial eigenfunction of H(v, u), which should not depend on u and v. The matrix of the operator H(v, u) in the basis of \(m_{\lambda }\) on the second level reads
We need left eigenfunctions, at the second level they are
The eigenfunctions indeed are independent of u and v. This depends on the following identity:
We notice that the eigenfunctions (54), Eq. (54) are precisely the \(P_\lambda \{p_k\}\) polynomials.
Likewise, at the next level the left eigenfunctions are
and
which are exactly the \(P_\lambda \{p_k\}\) polynomials. We conjecture that this statement is true at all levels so that
![](http://media.springernature.com/lw368/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09248-9/MediaObjects/10052_2021_9248_Equ55_HTML.png)
Note that counterparts of (55) behind (57) are more involved, the simplest one being
The reason is that an elliptic function with two given poles is fully defined by one of its zeroes and the overall scale. This is also behind the identities like (48). There are plenty of other relations associated with multiple poles.
6 ELS-functions [39], dualities and conjugation
In [39], there was introduced and discussed the ELS-function defined in the following way:
where
and p is another elliptic parameter.
This function is a lift of the \(P_\lambda ^{(q,t,\omega )}(\mathbf {x})\) polynomial with the Shiraishi functor [43] and is conjectured to play an essential role in description of the double elliptic systems. Here we note that various trig-ell and ell-trig limits of the ELS-function are related by dualities. Indeed, the \(P_\lambda ^{(q,t,\omega )}(\mathbf {x})\) polynomial is obtained from \({\mathfrak {P}}_N { (p^{N-i}x_i ; p \vert s^{N-i}y_i ; s \vert q,t,\omega )}\) in the \(p\rightarrow 0\) limit. Indeed, consider the limit
Then,
At the same time, this is related to the \(\omega \rightarrow 0\) limit of the ELS-function, [52]
via the formula [49]
with the normalization constant
Moreover, this mother function \({\mathfrak {E}}_n (x_i; p \vert y_i; s \vert q,t)\) allows one to construct also the eigenfunctions of the eRS Hamiltonians: as was conjectured in [52], the function
with \( \alpha ( p \vert y_i; s \vert q,t)\) being the constant term in the Shiraishi function \({\mathfrak {E}}_n (x_i; p \vert y_i; s \vert q,t)\), which does not depend on \(x_i\) (this normalization constant is necessary, since otherwise the limit of \(s\rightarrow 1\) is singular), is an eigenfunction of the eRS Hamiltonian:
More discussion of this equation can be found in [53].
These formulas imply the conjecture that the eigenfunctions of the full KS Hamiltonians can be obtained from the limit \(s\rightarrow 1\) of the ELS-functions \({\mathfrak {P}}_N { (x_i ; p \vert y_i ; s \vert q,t,\omega )}\):
![](http://media.springernature.com/lw550/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09248-9/MediaObjects/10052_2021_9248_Equ66_HTML.png)
with some normalization constant \(\alpha ^f( p \vert y_i; s \vert q,{q\over t},\omega )\) that makes the expression non-singular in the \(s\rightarrow 1\) limit. This should be the case, since the ELS-function describes the Nekrasov function in the full \(\Omega \)-background, while \(s=e^{-2\pi \epsilon _2}\rightarrow 1\) [39, Eq. (95)] describes its Nekrasov–Shatashvili limit, and this the Nekrasov–Shatashvili limit that describes the quantum integrable system. As usual, this limit is singular and requires some accurate normalization. We have checked this conjecture in the first terms of expansion in the elliptic parameters p and \(\omega \).
Hence, we finally come to the diagram
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09248-9/MediaObjects/10052_2021_9248_Figb_HTML.png)
The checked line was the point of our interest in this paper. Its main drawback is the mysterious orthogonality relation between the first two eigenfunctions and the lack of explicit relation between the last two apart from (34). The top of the table (the ELS-functions) is conjectured to provide solutions to the full KS Hamiltonian eigenproblem via (68), which implies the next, most interesting step to be done: since (68) looks providing eigenfunctions of the non-self-dual KS Hamiltonians, what are appropriate self-dual functions?
7 Elliptic DIM algebra and ell-trig KS Hamiltonians
7.1 New view on the vertical Fock representation of the elliptic DIM algebra
Elliptic DIM algebra (eDIM) [54] is generated by currents \(x^{\pm }(z)\) and \(\psi ^{\pm }(z)\) satisfying commutation relations with an elliptic structure function. To keep the presentation brief, we do not give here these relations, which can be found e.g. in [55]. It was also found in [55] that the eDIM algebra can be rewritten as a direct sum of the trigonometric DIM algebra and an additional Heisenberg subalgebra. We adopt this view in this exposition.
The eDIM algebra is bi-graded with generators lying in a \({\mathbb {Z}}^2\) lattice, as shown in Fig. 1. Every node contains a single generatorFootnote 3\(e_{(n,m)}\), except for the nodes on the vertical line which contain two \(e^{\pm }_{(0,m)}\), which is marked by additional small circles. The extra generators \(e^{+}_{(0,m)}\) on the vertical axis form a decoupled Heisenberg subalgebra commuting with the rest of the DIM algebra.
There are two central charges \(C_{1,2}\) in the algebra, \(C_2\) associated with the “elliptic” direction (vertical in Fig. 1), and \(C_1\) associated with the “trigonometric” one (horizontal in Fig. 1). The central charges control the commutation relations in the Heisenberg subalgebras of the eDIM algebra which correspond to lines of rational slopes in the \({\mathbb {Z}}^2\) lattice. The Heisenberg subalgebra corresponding to the slope \(\frac{a}{b}\) is spanned by the generators \(e_{(na,nb)}\) (with an additional ± index in case of the vertical subalgebra)
Therefore, if, for a particular representation, the ratio \(\frac{\ln C_1}{\ln C_2}\) is rational, then there exists a commuting Heisenberg subalgebra inside the eDIM algebra of slope \(\frac{\ln C_1}{\ln C_2}\).
The grading lattice of eDIM algebra. The generator at vertex (n, m) is denoted by \(e_{(n,m)}\). The generating currents are framed in blue, \(x^{\pm }(z) = \sum _{n \in {\mathbb {Z}}} e_{(\pm 1, n)}z^{-n}\) and \(\psi ^{\pm }(z) = \exp \sum _{n\ne 0}H^{\pm }_n z^{-n} = \exp \sum _{n\ne 0}e^{\pm }_{(0,n)} z^{-n}\). Notice that the vertices on the vertical line unlike the others contain two generators \(e^{\pm }_{(0,n)}\). The red line denotes an example of a Heisenberg subalgebra of slope \(\frac{3}{2}\)
We are particularly interested in the vertical Fock representation \(\mathcal {F}_{q,t^{-1}}^{(0,1)}(u)\) of the eDIM algebra with \(C_1 = 1\), \(C_2 = \sqrt{t/q}\). In this representation, the both vertical subalgebras spanned by \(e_{(0,n)}^{\pm }\) are commutative. The \(e^{+}_{(0,n)}\) generators turn out to be irrelevant in this representation: they commute both between themselves and with the rest of the algebra. We set them to zero. The rest of the generators can be expressed through the horizontal Heisenberg subalgebra \(e_{(n,0)}\), which acts freely on the Fock space. The states of the representation are labelled by Young diagrams, e.g. \(|\mu ,u\rangle \).
In the vertical representation, the generating currents act as follows [56, 57]
where \(g(x) = \frac{\theta _{\omega }(q^{-1} x) \theta _{\omega }(t x) \theta _{\omega }((q/t) x)}{\theta _{\omega }(q x) \theta _{\omega }(t^{-1} x) \theta _{\omega }((t/q) x)}\), and the tildes over the infinite products indicate a regularization. One can immediately notice that the action of the zero mode \(x^{+}_0\) of the current \(x^{+}(z)\) coincides with the Pieri rule (32) for the elliptic symmetric functions \(E_{\lambda }^{(q,t,\omega )}\{p_n\}\). Indeed, we have
This observation suggests that the horizontal Heisenberg subalgebra of the eDIM algebra spanned by \(e_{(n,0)}\) acts on the vertical Fock representation in the same way as the power sum variables \(p_n\) and \(n \frac{\partial }{\partial p_n}\) act on \(E_{\lambda }^{(q,t,\omega )}\{ p_n \}\):
It is natural to ask: how does the vertical Heisenberg subalgebra act on \(E_{\lambda }^{(q,t,\omega )}\{ p_n \}\)? The answer is given by the conjugates of the ell-trig KS Hamiltonians. As we have shown in Sect. 5, the conjugates of \(E_{\lambda }^{(q,t,\omega )}\{ p_n \}\), called \(P_{\lambda }^{(q,t,\omega )}\{ p_n \}\), are eigenfunctions of the these Hamiltonians, so \(E_{\lambda }^{(q,t,\omega )}\{ p_n \}\) themselves are eigenfunctions of hypothetical conjugate ell-trig KS Hamiltonians.
Let us note that the eigenvalues of the conjugate Hamiltonians coincide. The conjugation we mean here is with respect to the standard Schur scalar product (21). Therefore, we can equivalently consider the diagonal action of the KS Hamiltonians on \(P_{\lambda ^{\vee }}^{(t,q,\omega )}\{ (-1)^{n+1} p_n\}\) instead of the action of the conjugate KS Hamiltonians on \(E_{\lambda }^{(q,t,\omega )}\{ p_n\}\). To get the correct eigenvalues \(\psi ^{\pm }(z)\), we cook up the following combination of Hamiltonians (52):
The operator \(\chi (z)\) is diagonal in the basis of polynomials \(P_{\lambda ^{\vee }}^{(t,q,\omega )}(\mathbf {x})\). Expressing \(\chi (z)\) in terms of \(p_n\), taking the (regularized) limit \(N \rightarrow \infty \), and then conjugating with respect to the standard scalar product, we get a (hypothetical) operator \(\chi (z)\), which is diagonal in the basis \(E_{\lambda }^{(q,t,\omega )}\{ p_n\}\), and whose eigenvalues are
This is the operator representing the action of \(\psi ^{+}(z)\) of the DIM algebra in the vertical Fock representation.
7.2 Ell-trig KS eigenvalues vs trigonometric RS system
It is curious that there exists a Hamiltonian with the same eigenvalues as \(\chi (z)\), but with eigenfunctions being ordinary Macodnald polynomials. Indeed, consider the generating function of the trigonometric RS Hamiltonians
where \(H^{(q,t)}_k\) is given by (10), the trigonometric limit of Eq. (33).
The operators \(\Omega ^{(q,t)}(u)\) (unlike \(\mathcal {O}^{\mathrm {trig}}(u)\) from Eq. (49)) commute for different z and therefore can be diagonalized in a basis independent of u. This basis is given by the Macdonald polynomials. The eigenvalues \(\kappa _{\lambda }^{(q,t)}(u)\) are
where \(e_k = s_{[1^k]}\) denote the elementary symmetric functions.
We also notice that \(M_{\lambda }^{(q,t)}(\mathbf {x})\) are eigenfunctions of \(H^{(q^{-1}t^{-1})}_k\):
Having the commuting operators \(\Omega ^{(q,t)}(u)\) and \(\Omega ^{(q^{-1},t^{-1})}(u)\) we can cook up an operator with eigenvalues coinciding with that of \(\mathcal {O}^{\mathrm {trig}}(u)\):
By construction the operator \(\mathcal {O}'(u)\) is diagonalized by Macdonald polynomials and the eigenfunctions are
Of course, we can take a “ratio” of two operators \(\mathcal {O}'(u)\) for two different values of u to get the eigenvalues as in Eq. (52):
Taking this idea one step further, we can write an operator with the same eigenvalues as \(\chi (z)\) from Eq. (77):
Its eigenfunctions, however, are still ordinary Macdonald polynomials.
Thus, in this subsection we have obtained an operator \(H'(v,u)\), whose polynomial eigenfunctions are enumerated by Young diagrams with the eigenvalues coinciding with those of the ell-trig KS Hamiltonian. However, its eigenfunctions are not elliptic Macdonald polynomials, but instead are given by the ordinary Macdonald polynomials. This fits the observation that the elliptic DIM algebra is in fact a nontrivial rewriting of the ordinary trigonometric DIM algebra. It would be nice to find an explicit transformation between the KS Hamiltonians and the “untwisted” Hamiltonians (83). This transformation might also explain why the elliptic Macdonald polynomials are not orthogonal with respect to the Macdonald scalar product: the “twist” does not respect the orthogonality, so, from the same set of orthogonal Macdonald polynomials, one gets two sets of conjugate elliptic Macdonald polynomials \(E_{\lambda }^{(q,t,\omega )}\{p_k\}\) and \(P_{\lambda }^{(q,t,\omega )}\{p_k\}\).
8 Conclusion
As we see from the diagram of Sect. 6, the choice of \(E_{\lambda }^{(q,t,\omega )}\{p_k\}\) and \(P_{\lambda }^{(q,t,\omega )}\{p_k\}\) for elliptic Macdonald polynomials looks rather elegant. It is encouraging that \(E_{\lambda }^{(q,t,\omega )}\{p_k\}\) are indeed distinguished as the eigenfunctions of the dual eRS Hamiltonians, while \(P_{\lambda }^{(q,t,\omega )}\{p_k\}\) as the eigenfunctions of the ell-trig KS Hamiltonians. The main open question which remains is what are the substitutes of the KS Hamiltonians as functions of \(p_k\): having these at hands, one could immediately make a conjugation \(\displaystyle {p_k\rightarrow -{1\over k}{\partial \over \partial p_k}}\) in order to obtain dual eRS Hamiltonians, and, probably, further to construct similarly self-dual Hamiltonians.
The main point is that \(H^{KS}\) have a nice formulation in terms of auxiliary operators \(O^{\mathrm{trig}}(u)\), which depend on an extra parameter u and are not straightforwardly seen at the level of eigenfunctions themselves. Drop-out of u-dependence follows from the theta-function identities, which are not very convenient to deal with, which complicates a resolution of the problem. Still, our results in this paper makes this problem very clear and transparent, giving a hope that it will be finally resolved. This will open a way to the search of explicitly self-dual formulation of the dell system. A first task on this way is to clarify the conjecture of [46] that the generalized Shiraishi function (the ELS-function [39]) provides appropriate eigenfunctions: either of \(H^{KS}\) or of the truly self-dual Hamiltonians. The \(H^{KS}\) option extends the problem to search for a self-dual version of the Shiraishi construction.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study and no experimental data has been listed.]
Notes
See also an earlier \(N=2\) version in [44].
It differs by a factor from the standard odd \(\theta \)-function [47]:
$$\begin{aligned} \theta _1(u;\tau )={iw^{1/8}\cdot (w;w)_\infty \over \sqrt{z}}\cdot \theta _{w}(z)\Big |_{w=e^{2\pi i\tau },z=e^{2\pi i u}} \end{aligned}$$(3)(Elliptic) DIM algebra is defined as a deformation of the universal enveloping algebra of the Lie algebra \(qW_{1+\infty }\), hence it also contains nonlinear combinations of generators like \(e_{(1,1)}^2\) sitting at the same node (2, 2) as \(e_{(2,2)}\). When we say “one generator per node” we mean only “primitive” generators not expressible as products of the lower ones.
References
F. Calogero, J. Math. Phys. 12, 419 (1971)
B. Sutherland, Phys. Rev. A 5, 1372 (1972)
J. Moser, Adv. Math. 16, 197–220 (1975)
M. Olshanetsky, A. Perelomov, Phys. Peps. 71, 313 (1981)
M. Olshanetsky, A. Perelomov, Phys. Rep. 94, 6 (1983)
S.N.M. Ruijsenaars, H. Schneider, Ann. Phys. (NY) 170, 370 (1986)
S.N.M. Ruijsenaars, Commun. Math. Phys. 110, 191–213 (1987)
F. Calogero, Lettere Al Nuovo Cimento 13(11), 411–416 (1975)
A. Morozov, Phys. Usp. (UFN) 35, 671–714 (1992)
A. Mironov, Theor. Math. Phys. 114, 127 (1998). arXiv:q-alg/9711006
A. Gorsky, I. Krichever, A. Marshakov, A. Mironov, A. Morozov, Phys. Lett. B 355, 466 (1995). arXiv:hep-th/9505035
S.N.M. Ruijsenaars, Commun. Math. Phys. 115, 127–165 (1988)
V. Fock, Geometry and Integrable Models, ed. by P. Pyatov, S. Solodukhin (World Scientific, 1995), p. 20
V. Fock, A. Rosly, Am. Math. Soc. Transl. 191, 67–86 (1999). arXiv:math/9802054
V. Fock, A. Gorsky, N. Nekrasov, V. Roubtsov, JHEP 0007, 028 (2000). arXiv:hep-th/9906235
A. Gorsky, V. Rubtsov, arXiv:hep-th/0103004
A. Mironov, arXiv:hep-th/0011093
A. Gorsky, A. Mironov, arXiv:hep-th/0011197
A. Mironov, Theor. Math. Phys. 129, 1581–1585 (2001). arXiv:hep-th/0104253
A. Mironov, Theor. Math. Phys. 135, 814–827 (2003). arXiv:hep-th/0205202
A. Mironov, A. Morozov, Phys. Lett. B 524, 217–226 (2002). arXiv:hep-th/0107114
E. Mukhin, V. Tarasov, A. Varchenko, arXiv:math/0510364
E. Mukhin, V. Tarasov, A. Varchenko, Adv. Math. 218, 216–265 (2008). arXiv:math/0605172
A. Mironov, A. Morozov, Y. Zenkevich, A. Zotov, JETP Lett. 97, 45 (2013). arXiv:1204.0913
A. Mironov, A. Morozov, B. Runov, Y. Zenkevich, A. Zotov, Lett. Math. Phys. arXiv:1206.6349
A. Mironov, A. Morozov, B. Runov, Y. Zenkevich, JHEP 1312 034 (2013). arXiv:1307.1502
L. Bao, E. Pomoni, M. Taki, F. Yagi, JHEP 1204, 105 (2012). arXiv:1112.5228
H.W. Braden, A. Marshakov, A. Mironov, A. Morozov, Nucl. Phys. B 573, 553–572 (2000). arXiv:hep-th/9906240
A. Mironov, A. Morozov, Phys. Lett. B 475, 71–76 (2000). arXiv:hep-th/9912088. arXiv:hepth/0001168
A. Mironov, A. Morozov, arXiv:hepth/0001168
G. Aminov, A. Mironov, A. Morozov, A. Zotov, Phys. Lett. B 726, 802–808 (2013). arXiv:1307.1465
G. Aminov, H.W. Braden, A. Mironov, A. Morozov, A. Zotov, JHEP 01, 033 (2015). arXiv:1410.0698
G. Aminov, A. Mironov, A. Morozov, Eur. Phys. J. C 76 1–19 (2016). arXiv:1606.05274 JHEP 11, 023 (2017). arXiv:1709.04897
G. Aminov, A. Mironov, A. Morozov, JHEP 11, 023 (2017). arXiv:1709.04897
P. Koroteev, S. Shakirov, Lett. Math. Phys. 110, 969–999 (2020). arXiv:1906.10354
A. Mironov, A. Morozov, Y. Zenkevich, Phys. Lett. B 756, 208–211 (2016). arXiv:1512.06701 JHEP 1605, 121 (2016). arXiv:1603.00304
A. Mironov, A. Morozov, Y. Zenkevich, JHEP 1605, 121 (2016). arXiv:1603.00304
H. Awata, H. Kanno, A. Mironov, A. Morozov, K. Suetake, Y. Zenkevich, JHEP 1803, 192 (2018). arXiv:1712.08016
H. Awata, H. Kanno, A. Mironov, A. Morozov, J. High Energy Phys. 2020, 150 (2020). arXiv:2005.10563
P. Etingof, A. Varchenko, arXiv:math/9907181
G. Felder, Y. Markov, V. Tarasov, A. Varchenko, arXiv:math/0001184
V. Tarasov, A. Varchenko, arXiv:math/0002132
H. Awata, H. Kanno, A. Mironov, A. Morozov, Eur. Phys. J. C 80, 994 (2020). arXiv:2002.12746
H.W. Braden, T.J. Hollowood, JHEP 0312, 023 (2003). arXiv:hep-th/0311024
A. Grekov, A. Zotov, SciPost Phys. 10, 055 (2021). arXiv:2010.08077
H. Awata, H. Kanno, A. Mironov, A. Morozov, JHEP 2020, 212 (2020). arXiv:1912.12897
H. Bateman, A. Erdelyi, Higher Transcendental Functions, vol. 3 (London, 1955)
I.G. Macdonald, Symmetric Functions and Hall Polynomials, 2nd edn. (Oxford University Press, Oxford, 1995)
M. Fukuda, Y. Ohkubo, J. Shiraishi, SIGMA 16, 116 (2020). arXiv:2002.00243
M. Noumi, J. Shiraishi, arXiv:1206.5364
W. Fulton, Young Tableaux: With Applications to Representation Theory and Geometry (London Mathematical Society, 1997)
J. Shiraishi, J. Integr. Syst. 4, xyz010 (2019). arXiv:1903.07495
E. Langmann, M. Noumi, J. Shiraishi, arXiv:2012.05664
Y. Saito, arXiv:1301.4912
M. Ghoneim, C. Kozçaz, K. Kurşun, Y. Zenkevich, arXiv:2012.15352
R.D. Zhu, JHEP 08, 050 (2018). arXiv:1712.10255
L. Wang, K. Wu, J. Yang, Z. Yang, Front. Math. China 15, 155–166 (2020)
Acknowledgements
This work was supported by the Russian Science Foundation (Grant No. 18-71-10073).
Author information
Authors and Affiliations
Corresponding author
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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence 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 licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Mironov, A., Morozov, A. & Zenkevich, Y. Duality in elliptic Ruijsenaars system and elliptic symmetric functions. Eur. Phys. J. C 81, 461 (2021). https://doi.org/10.1140/epjc/s10052-021-09248-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09248-9