Abstract
We study superconformal indices of 4d compactifications of the 6d minimal \((D_{N+3},D_{N+3})\) conformal matter theories on a punctured Riemann surface. Introduction of supersymmetric surface defect in these theories is done at the level of the index by the action of the finite difference operators on the corresponding indices. There exist at least three different types of such operators according to three types of punctures with \(A_N, C_N\) and \(\left( A_1\right) ^N\) global symmetries. We mainly concentrate on \(C_2\) case and derive explicit expression for an infinite tower of difference operators generalizing the van Diejen model. We check various properties of these operators originating from the geometry of compactifications. We also provide an expression for the kernel function of both our \(C_2\) operator and previously derived \(A_2\) generalization of van Diejen model. Finally, we also consider compactifications with \(A_N\)-type punctures and derive the full tower of commuting difference operators corresponding to this root system generalizing the result of our previous paper.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Intricate connection between supersymmetric gauge theories and integrable systems plays an important role in modern theoretical physics and mathematics. From physics point of view whenever some sector of the gauge theory is related to an integrable system, observables in this sector can be computed using rich variety of integrability techniques. Canonical example of this situation is the integrability of \({\mathcal {N}}=4\) super Yang–Mills (SYM) theory [1, 2]. In particular, it connects calculation of the planar scaling dimensions of \({\mathcal {N}}=4\) SYM to the integrable system of spin chains and allows to compute these scaling dimensions at arbitrary coupling. On the other hand, exploration of such connections can also shed light on some questions about integrable systems and even lead to construction of new classes of such systems making this kind of studies interesting from mathematics point of view.
In our work, we are exploring a particular class of connections between six-dimensional (1, 0) superconformal field theories and elliptic quantum mechanics Hamiltonians in the spirit of Bethe/gauge correspondence of Nekrasov and Shatashvili [3,4,5,6]. In particular, we consider four-dimensional theories with four supercharges obtained by compactification of a 6d SCFT on a punctured Riemann surface. In order for an integrable model to emerge in this setting, we have to introduce surface defects into our 4d theory and study its superconformal index.
This construction was first established in the context of compactifications of 6d (2, 0) of ADE type [7, 8]. In particular, the corresponding 4d superconformal indices with the defect were found to be closely related to the Ruijsenaars–Schneider (RS) elliptic analytic finite difference operators (A\(\Delta \)Os). Later these results were extended to many other cases: class \(S_k\) 4d theories [9], compactifications of \(A_2\) and \(D_4\) minimal 6d SCFTs [10] and compactifications of rank one E-string theories [11]. In some of these cases, the obtained A\(\Delta \)Os were already known in the literature. For example in E-string compactifications, van Diejen (vD) model [12, 13] was observed. But in some cases operators were previously unknown as in the case of the minimal 6d SCFTs compactifications. Study of such novel operators constitutes an interesting field of research with some initial steps already taken in this direction [14, 15].
From the point of view of physics, the connection of superconformal indices in the presence of defects with the integrable quantum mechanics Hamiltonians allows one to bootstrap index of an arbitrary theory obtained by compactifying corresponding 6d theory on a punctured Riemann surface. In particular, if we know the eigenfunctions of the corresponding A\(\Delta \)O, we can compute the index of any theory obtained in such compactifications including non-Lagrangian theories for which there are no other methods of computing the index. As mentioned previously, the first setting where these ideas were tested is 4d class-S theories obtained in the compactifications of 6d (2, 0) theory [7]. In this case, the corresponding integrable system was given by elliptic RS model. Eigenfunctions of the elliptic RS Hamiltonians are not known in general, but some of their limits are well studied in the mathematical literature. These limits were used in order to prove previously established relations [16,17,18] of superconformal indices with the Macdonald and Schur polynomials allowing one to compute indices of class S non-Lagrangian theories.
The construction outlined above relies on the intermediate 5d layer. For things to work there should exist an effective 5d gauge theory obtained by compactifying original 6d SCFT on a circle with a choice of holonomies for its global symmetries. In particular, different 5d compactifications lead to different types of punctures on the Riemann surfaces used to obtain 4d theories. One of the interesting problems related to this fact is the compilation of the dictionary between known compactifications of various 6d SCFTs and elliptic integrable systems. In our previous paper [19], we have considered compactifications of the 6d minimal \((D_{N+3},D_{N+3})\) conformal matter theories [20, 21]. In particular, we have derived A\(\Delta \)Os corresponding to the intermediate 5d \(\textrm{SU}(N+1)\) gauge theory or equivalently the \(A_N\)-type puncture on the compactification surface. These elliptic A\(\Delta \)Os appeared to be previously unknown \(A_N\) generalizations of vD model. On the other hand, there are at least two more 5d effective descriptions of 6d SCFTs corresponding to \(\textrm{USp}(2N)\) and \(\textrm{SU}(2)^N\) gauge theories giving rise to the punctures with the same \(C_N\) and \((A_1)^{\otimes N }\) global symmetries. These two descriptions should lead to additional higher-rank generalizations of the vD model.
In our present paper, we follow this line of research and closely study compactifications of the minimal \((D_{N+3},D_{N+3})\) conformal matter theory on a Riemann surface with the \(C_N\)-type punctures. In particular, we concentrate on the next to simplest case of \(N=2\)Footnote 1 and derive corresponding infinite tower of A\(\Delta \)Os. We also devote part of the paper to the study and proof of some remarkable properties of these operators that follow from the geometry of corresponding compactifications. In particular, we prove the novel kernel property for two operators of different type but same rank. We also discuss commutation property of obtained operators.
The paper is organized as follows. In Sect. 2, we review our previous results for \(A_N\)-type operators. In addition to the previous results, we also derive full tower of such A\(\Delta \)Os which was not obtained previously. In Sect. 3, we derive in details novel generalization of vD operators corresponding to \(C_2\) root system.Footnote 2 In Sect. 4, we discuss properties of derived \(C_2\) A\(\Delta \)Os. In particular we pay special attention to a new kernel function for simultaneously \(A_2\) and \(C_2\) operators and give fully analytic proof of the corresponding kernel equation. We also briefly discuss commutation relations and check them perturbatively in expansion. In Sect. 5, we briefly summarize our results and discuss plans for the future research further developing these results. Finally, the paper has a number of appendices collecting useful formulas as well as technical details of various calculations in our paper.
2 \(A_N\) operators
In this section, we will briefly review derivation of the \(A_N\) generalization of the van Diejen operator. So-called basic versionFootnote 3 of this operator has been derived in our previous paper [19]. Here, we will extend this result to the full tower of operators.
Just as in [19] in order to derive A\(\Delta \)O, we start with the 4d three-punctured sphere theory which was first introduced in [21]. This theory is obtained in the compactification of the 6d minimal \((D_{N+3},D_{N+3})\) conformal matter on a sphere with two maximal \(\textrm{SU}(N+1)\) punctures and one minimal \(\textrm{SU}(2)\) puncture. The quiver of this theory is shown in Fig. 1. In addition to the global symmetry, the punctures are characterized by the moment map operators. In particular, both \(\textrm{SU}(N+1)\) maximal and \(\textrm{SU}(2)\) minimal punctures are characterized by \((2N+4)\) mesonic and 2 baryonic moment maps:
where \(a_i,\, u,\, v,\, w\) are fugacities of the Cartans of the 6d global \(\textrm{SO}(4N+8)\) symmetry. Subscripts of the moment maps written above denote their charges w.r.t. to these symmetries.
Further S-gluing two such trinions along the maximal punctures, we can obtain four-punctured sphere with zero flux two maximal and two minimal punctures. To obtain the corresponding 4d gauge theory, we should just take two copies of trinion theories shown in Fig. 1 and then identify and gauge corresponding global symmetries of the maximal punctures. Here and everywhere else in the paper, all operations with gauge theories are expressed in terms of the superconformal indices. In this language, the gluing procedure takes the following form:
where \(K^{A}_3(x,y,z)\) is the index of the trinion with y being fugacity of the global \(\textrm{SU}(N+1)\) symmetry of the puncture we glue along and \({\bar{K}}_3^{A}\) is the index of the conjugated trinion. Finally, \(\kappa _N\) is the usual constant given by:
Performing this S-gluing operation, we obtain the four-punctured sphere theory shown in Fig. 1 with the corresponding superconformal index specified in (B.1). This theory was previously obtained by us in [19] to derive basic \(A_N\) A\(\Delta \)Os. Now in order to derive the operator, we should close two minimal punctures of this four-punctured sphere. To do it, we should break the global symmetry of the puncture. This can be achieved by giving a non-trivial vev \(\langle \partial _{12}^L \partial _{34}^K M\rangle \ne 0\) to the derivatives of one of the moment map operators. When we close punctures with at least one of K or L not equal to zero, i.e., vev is space-time dependent, we effectively insert defect into the theory [7, 22]. At the level of the superconformal index, closing the puncture amounts to giving a corresponding weight to the fugacity of the puncture’s global symmetry. Once we do it, we hit a pole of the index. Then, computation of the residue of this pole results in the superconformal index of the IR theory that the UV theory flowed to due to the introduction of the vev. In our case, we choose to close \(\textrm{SU}(2)_z\) minimal puncture with the defect and \(\textrm{SU}(2)_{{\tilde{z}}}\) puncture without, i.e., choosing \(L=K=0\) in the vev. In particular, let’s say that we are going to compute A\(\Delta \)O acting on the puncture with the moment maps of charges \({\tilde{h}}_i\) and an overall \(\textrm{U}(1)\) charge
For example, the moment maps of the \(\textrm{SU}(N+1)_x\) puncture of the trinion shown in Fig. 1 correspond to \(M_u\) operators specified in (2.1) and have the following charges:
where we have flipped the charge \({\tilde{h}}_{2N+6}\) of the last moment map since this parametrization will be more natural for our operators and in this case all of the moment maps of the maximal puncture transform in the fundamental representation of \(\textrm{SU}(N+1)_x\). We can now notice from (2.1) that charges of the minimal puncture moment maps are related to the charges of the moment maps of the maximal punctures by simple relation
So we can express everything in terms of only the moment maps of the maximal puncture we act on. Now, assume we give vevs to the moment maps (mesonic or baryonic) with charges \({\tilde{h}}_i^{-1}{\tilde{h}}^{1/4}\) of both \(\textrm{SU}(2)_z\) and \(\textrm{SU}(2)_{{\tilde{z}}}\). Moment maps we use should be the same in order to keep total flux of the 6d global symmetries zero. At the level of the index calculations, it corresponds to computing the residue of the index of the four-punctured sphere theory at the pole
where \(L,M,{\tilde{L}},{\tilde{M}}\) are positive integers corresponding to the powers of derivatives inside the vev. As we mentioned previously, it is enough to introduce defect only for one of the two punctures. Hence, we choose \({\tilde{M}}={\tilde{L}}=0\) and keep L, M general. Then, we compute corresponding residues of the index of the four-punctured sphere theory and obtain theory for the tube with two maximal \(\textrm{SU}(N+1)\) punctures and a codimension-two defect. Its superconformal index is given byFootnote 4:
Finally in order to obtain desired A\(\Delta \)O, we glue our tube with the defect to an arbitrary Riemann surface with maximal \(\textrm{SU}(N+1)_{{\tilde{x}}}\) puncture. As the result of this gluing, we expect to obtain action of a finite difference operator on the index \( {{\mathcal {I}}}({\tilde{x}})\) of this 4d \({\mathcal {N}}=1\) theory:
Details of all the calculations summarized above are given in Appendix B. They result in the following operator:
where \(C_{L,M}^{\vec {l},\vec {m},\vec {r},\vec {s}}\) are x-independent constant factors given by,
Also \(\Delta \)s are shift operators defined as follows:
The operator contains all shifts of the form \(q^{m_i}p^{l_i}x_i\) where \(\vec {m}\) and \(\vec {l}\) are all possible partitions of length \(N+1\) of M and L correspondingly. At each level, i.e., fixed M and L, there are \(2N+6\) operators due to \(2N+6\) moment maps with the charges \({\tilde{h}}_k{\tilde{h}}^{-\frac{1}{4}}\). There are also \(2N+6\) other operators obtained by giving vevs to the flipped moment maps of the charge \({\tilde{h}}_k^{-1}{\tilde{h}}^{\frac{1}{4}}\). They have similar form and properties so we do not present them here. All the operators should commute with each other, and we checked this in expansion in p, q for a few of the simplest cases. Now, we will refer to the case \(M=1\) and \(L=0\), or vice versa, as basic operators. These basic operators for \(A_N\) generalizations of vD model were derived by us previously in [19]. The operators above also reproduce our previous results when we fix \(M=1,\, L=0\) or \(M=0,\, L=1\). Further in our paper, we will also need the basic operator obtained by closing flipped moment maps. This operator can be found in [19] and has the following form:
where the shift part of this operator is given by
and the constant part is given by:
This constant part is elliptic function in each \(x_i\) variable with periods 1 and p. It has poles in the fundamental domain at the following positions:
where we defined
From expression (2.15), it looks like there are extra poles in the constant part, but careful examination shows that residues at these values of x’s are zero so there are no real poles there. At the poles (2.16), we have the following residues:
These are completely general expressions for the whole family of \(A_N\) operators.
3 Derivation of \(C_2\) operators
In this section, we will discuss derivation of the C-type rank-2 analytic finite difference operators A\(\Delta \)O. In our previous paper [19], we have already derived the basic operator for \(A_N\) generalization of van Diejen model and the calculation of the full tower of these operators is summarized in Sect. 2. Unfortunately full \(C_N\) generalization is still out of reach for us due to technical complications but we can concentrate on the study of rank-2 generalizations with \(C_2\) root system.
We will derive \(C_2\) operator corresponding to the insertion of the codimension-two defect due to the non-trivial vev of the holomorphic derivatives of the moment maps \(\langle \partial _{\pm }^K M \rangle \ne 0\). To simplify our calculations of A\(\Delta \)O, we will start with the derivation of four- and three-punctured spheres with \(C_2\)-type punctures.
The basic \(C_N\) trinion was already derived by us in Appendix B.5 of [19] and is shown in Fig. 2b. Generalizations of this trinion to the cases of three maximal punctures and higher numbers of minimal punctures can also be found in [23]. In order to derive this trinion, we used a tube theory with one \(\textrm{USp}(2N)\) and one \(\textrm{SU}(N+1)\) maximal punctures shown in Fig. 2a. This theory was first discussed in [24]. In order to obtain trinion theory shown in Fig. 2b, we start with the three-punctured sphere with two maximal \(\textrm{SU}(N+1)\) and one minimal \(\textrm{SU}(2)\) punctures and glue two \(A_NC_N\) tubes to the maximal punctures. The moment maps of the punctures of the resulting trinion are given by \((2N+6)\) mesons both for maximal and minimal punctures:
where w is one of the parameters of Cartans of the global \(\textrm{SO}(4N+8)\) symmetry of the 6d minimal conformal matter theory. In general, we will use two types of parametrization of 6d global symmetry in this paper. First one is natural to use in compactifications with \(C_N\)-type punctures, and it is given by
Another parametrization is useful when we work with \(A_N\) expressions and is given by:
These two parametrizations are related by the following map that we will often need in our calculations:
Now in order to derive finite difference operators, we should proceed in the same way as in the case of \(A_N\) operators summarized in Sect. 2. We start by taking two \(C_N\) trinion theories \( {{\mathcal {T}}}^{{\mathcal {A}}}_{x,y,z}\) where \({\mathcal {A}}\) is the nonzero flux of the trinion and x, y, z in the subscript are fugacities of the global symmetries of two maximal and one minimal punctures correspondingly. Then, we take an arbitrary \( {{\mathcal {N}}}=1\) theory obtained in the compactification of the minimal \((D_{N+3},D_{N+3})\) conformal matter theory on the Riemann surface of genus g with s punctures denoted as \({{\mathcal {C}}}_{g,s}\) with at least one \(\textrm{USp}(2N)_{{\tilde{x}}}\) maximal puncture. Gluing all three surfaces together along the maximal punctures results in a Riemann surface of the same genus and global symmetry fluxes but two extra minimal punctures. We will be performing all these operations at the level of superconformal indices. There gluing amounts to identifying global symmetries of the punctures we glue and gauging it. So for the indices we can write down the following identity after gluing:
where \( {{\mathcal {I}}}\left[ {{\mathcal {C}}}_{g,s}\right] \) is the index of a theory obtained by compactifications of 6d theory on the Riemann surface \({{\mathcal {C}}}_{g,s}\) and \(K_3^{C}(x,y,z)\) is the index of the trinion theory shown in Fig. 2b, while \({\bar{K}}_3^{C}(x,y,z)\) is its conjugate. Definition and properties of the elliptic \(\Gamma \)-function \(\Gamma _e\left( x\right) \) are given in Appendix A. Then, closing \(\textrm{SU}(2)_z\) and \(\textrm{SU}(2)_{{\tilde{z}}}\) minimal punctures with or without introduction of defects we can obtain finite difference operators. As discussed previously in order to close minimal punctures, we have to give certain weights to corresponding global symmetry fugacities \(z_1\) and \(z_2\). As a result, we get the following identity
where \( {{\mathcal {O}}}\) is some finite difference operator, and in case we close punctures without introducing defects we just obtain the identity operator.
Here for convenience, we will not compute the full expression (3.5) directly right away. Just as for \(A_N\) operators derived in Sect. 2, it appears to be much easier to perform calculation in a slightly different way. First we derive the index of the four-punctured sphere with zero flux, two maximal \(\textrm{USp}(2N)\) and two minimal \(\textrm{SU}(2)\) punctures. For this purpose, we perform S-gluing of two trinions \( {{\mathcal {T}}}^{AC}_{x,y,z}\) with \(\textrm{SU}(N+1)\) and \(\textrm{USp}(2N)\) maximal punctures and \(\textrm{SU}(2)\) minimal punctures each. This kind of trinions can be derived by appropriate gluing of \(A_NC_N\) tube theory shown in Fig. 2a, to one of the maximal punctures of \(A_N\) trinion introduced in [21]. Superconformal index of the resulting four-punctured sphere theory is given by:
where \(K^{AC}_3(x,y,z)\) is the index of the trinion with y being \(\textrm{SU}(N+1)\) fugacity and \(\kappa _N\) is the usual constant given in (2.3). Geometrically this operation is shown in Fig. 5a.
Next we close one of the two minimal punctures by giving nonzero vev to one of the \(M_z\) moment maps given in (3.1). At the level of the index computations, this means that the corresponding global symmetry fugacity should be consistent with the vev, i.e., in our case we should fix \({\tilde{z}}\) fugacity to
where \({\tilde{a}}_i\) can be chosen arbitrary since all the expressions are symmetric w.r.t. permutations of \({\tilde{a}}_i\). Integers K and M correspond to an order of the derivative of the moment map in 34 and 12 planes correspondingly, i.e., we give vev to \(\langle \partial _{12}^M\partial _{34}^K{\widehat{M}}_i \rangle \ne 0\). Physically this corresponds to introducing various codimension two defects into 4d theory. For the first \(\textrm{SU}(2)_{{\tilde{z}}}\) minimal puncture, we choose to close it without introducing any defect, which in turn corresponds to \(K=M=0\) choice in (3.8).
At this value of \({\tilde{z}}\), the superconformal index (3.7) of the four-punctured sphere has a pole. Computing the residue at this pole, we obtain the index of the three-punctured sphere:
Here, subscript (3; i, 0) refers to the fact that we obtain three-punctured sphere by closing minimal puncture of the four-punctured sphere choosing \({\tilde{a}}_i\) for the vev in (3.8) and not introducing a defect, which corresponds to the choice \(K=M=0\) in the same equation.
Calculation of (3.7) and (3.9) results in the theory shown in Fig. 3. Detailed derivations of this section can be found in Appendix C.
Now that we have obtained the desired three-punctured sphere theory we are ready to derive A\(\Delta \)O. For this purpose, we should close the remaining minimal \(\textrm{SU}(2)_z\) puncture by giving non-trivial vev \(\langle \partial _{12}^M\partial _{34}^KM \rangle \ne 0\) to a derivative of one of its moment maps. In order to get zero total flux through the resulting two-punctured sphere, we should choose the same moment map as we did closing \(\textrm{SU}(2)_{{\tilde{z}}}\) minimal puncture previously. The difference is that now we have to choose non-trivial derivative that is at least one of K and M numbers is not zero. Physically this corresponds to introducing codimension-two defect into the tube theory with two maximal punctures as shown in Fig. 5b. At the level of the index, we should give the following value to the z-fugacity:
Then, according to (3.6), capturing the corresponding pole and gluing the resulting tube with two maximal \(\textrm{USp}(2N)\) punctures to an arbitrary theory with at least one puncture of this type as shown in Fig. 5c, we obtain an A\(\Delta \)O. However, technically it sometimes appears not to be as straightforward. In particular, if we perform these operations with the expression (C.12) instead of A\(\Delta \)O, we obtain some integral-finite difference operator. It is highly possible that in fact this operator can be written in the form of A\(\Delta \)O. However, technical issues make it too difficult task and we leave it for future investigation.
Here, we will instead concentrate on the derivation of next to the lowest rank \(C_2\) operator. This case is simpler to analyze. For example, in our trinion theory shown in Fig. 3, when \(N=2\), the \({\overline{AS}}\) multiplet of the right \(\textrm{SU}(3)\) gauge node becomes just anti-fundamental, and a chain of duality transformations can be used to simplify the theory. These calculations are summarized in Appendix C. As a result, we obtain single-node \(\textrm{SU}(6)\) gauge theory shown in Fig. 4 with the corresponding index specified in (C.13).
Finally, we can close \(\textrm{SU}(2)_z\) puncture. In particular, we give the following weight consistent with (3.8) to the fugacity z:
Performing this closure, we obtain the index of the theory for two-punctured sphere with two \(\textrm{USp}(4)\) maximal punctures
The index itself is specified in (C.18). This time it does not have natural gauge theory interpretation in case of general K due to the presence of the codimension-two defect.
As a final step of our derivation, we glue the obtained tube with the defect to an arbitrary \({\mathcal {N}}=1\) theory with at least one maximal \(\textrm{USp}(4)\) puncture and obtain A\(\Delta \)O as follows:
Details of this calculation can be found in Appendix C. It leads to the following expression for A\(\Delta \)O:
where the constant \({\tilde{C}}^k_{\vec {K}}\) is given by
We have also introduced notation \(h_i\), \(i=1,\dots ,10\) for U(1) charges of the moment maps we act on. Notice that according to (3.1) moment maps of both minimal and maximal punctures have the very same charges, so that in fact
for both charges of the maximal punctures we act on and minimal punctures we close. We have also introduced here an overall U(1) charge h. The operator itself is labeled by an index k according to the choice of U(1) charge \(h_k\) of the moment map we give vev to in order to close the minimal puncture and to introduce defects into the theory.
The first sum in the expression is performed over all possible partitions \(\vec {K}=(k_1,\cdots ,k_6)\) of the integer K. Finally, the products in (3.14) should be understood as ordered ones, i.e., one should assume \(\prod _{i=n_1}^{n_2}\) is just 1 if \(n_2<n_1\) since there are no terms in the product. The coefficient \({\tilde{C}}^k_{\vec {K}}\) is chosen so that the x-independent factors of the highest order shift terms \(\Delta _q^{\pm K}(y_{1,2})\) are just one.
As expected obtained operators differ from the canonical \(BC_n\) vD. In order to obtain the latter one, we should instead consider compactifications of 6d rank-Q E-string theory using the very same approach described in details on our paper. One of the most important difference from the \(BC_n\) vD model is the number of parameters it depends on. Higher-rank (i.e., rank higher than one) vD model depends on p, q and another 9 parameters. This number of parameters is independent of the rank of the BC-type root system. Meanwhile, our \(C_2\) operators depend on p, q and another 10 parameters. Moreover, in the present paper due to technical difficulties we failed to derive higher-rank \(C_N\) generalizations. But from our construction we can expect them to depend on \(2N+6\) parameters corresponding to U(1) charges of the moment maps.Footnote 5
Notice that the expression above is not the most general since we could have closed \(\textrm{SU}(2)_z\) minimal puncture using general K and M integers in (3.10), but we will concentrate here only on the case of non-trivial K while putting \(M=0\). As we see, the operator appears to be quite complicated and it is hard to analyze it. Instead it is useful to write down basic operator corresponding to the choice of \(K=1\), i.e., the simplest non-trivial case. Taking into account six possible partitions \(\vec {K}\), we can write down explicit form of A\(\Delta \)O:
One thing to be noticed is that just as in the case of vD model, the constant term choice is not unique. What really defines this constant term are the following properties. First of all it can be noticed that \(W^{(h_k;1,0)}(x,h)\) is an elliptic function in both \(x_1\) and \(x_2\) with periods 1 and p. In the fundamental domain, this elliptic function has poles located at:
which are in fact exactly the same as the poles of vD model. Corresponding residues are given by:
This concludes our derivation of the \(C_2\) A\(\Delta \)O. All possible details of these derivations can be found in Appendix C.
4 Properties of the \(C_2\) operators
There is a number of interesting properties that the operators we derived should possess by construction. In this section, we discuss checks and, where it is possible, give proofs of these properties using explicit expressions we have derived.
The most important but also most complicated property to discuss is the so-called kernel property of our operators. The main idea behind it is that the superconformal index of any \({\mathcal {N}}=1\) theory obtained in the compactifications of 6d minimal \((D_5,D_5)\) conformal matter theory is a kernel function of our operators. The kernel function is defined by the following mathematical identity:
Physically we consider the superconformal index of the theory obtained in the 6d compactification on the Riemann surface \({{\mathcal {C}}}_{g,s}[z,u]\) with at least two maximal punctures parametrized by the fugacities z and u correspondingly. In general, there can be as many punctures as we want. The claim here is that any such superconformal index plays the role of the kernel function for the derived A\(\Delta \)Os according to (4.1). Namely we can act with our operators on different punctures and we should always obtain the same result. This property is expected to hold due to an argument coming from the geometry of compactification shown in Fig. 6. Equivalently, it can be understood from the invariance of the superconformal indices under S duality transformations.
In principle, we can choose any sphere with multiple punctures to check the kernel property. Natural simplest candidate would be WZW model for the two-punctured sphere with two maximal \(\textrm{USp}(2N)\) punctures for which the index is given in (C.18) with \(K=0\). However, we will check a more interesting and trickier case where two punctures are of different types. Namely we take the tube theory shown in Fig. 2a which has one \(\textrm{SU}(N+1)\) and one \(\textrm{USp}(2N)\) maximal puncture. Then for \(N=2\), the kernel property (4.1) in this case reads:
where \(K_2^{AC}(x,y)\) is the index of the tube specified in (C.5) with x and y being fugacities of \(\textrm{USp}(4)\) and \(\textrm{SU}(3)\) punctures correspondingly. Operators \( {{\mathcal {O}}}^{(A_2;{\tilde{h}}_i;1,0)}_{y}\) and \( {{\mathcal {O}}}^{(C_2;h_i;1,0)}_{x}\) are given in (2.13) and (3.17) correspondingly. Notice that in order for the kernel property to work we need to close minimal punctures in the same way on two sides of the equation, i.e., we have to give vev to the same moment map of the minimal puncture. In particular, in \(A_2\) case we should give vevs to the minimal puncture moment map of the charge \({\tilde{h}}_i^{-1}{\tilde{h}}^{\frac{1}{4}}\) where \({\tilde{h}}_i\) are given in (2.5). At the same time, in \(C_2\) case minimal puncture is closed by giving vev to the moment map of charge \(h_i\) specified in (3.16). Using the map (3.4), we can see that the only map that matches between the two is
If we would like to check the kernel property for other ways of closing minimal punctures, we should consider \(A_2\) operators (2.10) with the non-flipped moment maps so that in this case we close the minimal puncture with the vevs of the moment map with charge \({\tilde{h}}_i{\tilde{h}}^{-\frac{1}{4}}\). Because of this complication, here we consider only closing with the vev given to the moment map of charge (4.3). The proofs for other operators should work identically. Also in our proof we restrict ourselves to only basic operators (3.17) and (2.13), i.e., we fix \(r=1,m=0\) (or equivalently \(m=1,r=0\) on both sides of the kernel equation (4.2). We have to do it since higher operators specified in (3.14) and (2.10) are too complicated for the analysis. However, the kernel property (4.2) should also work for these higher operators as well.
Since we precisely know explicit expressions for both operators (2.13) and (3.17) as well as supposed kernel function (C.5), it is straightforward to check this kernel identity. Acting with finite difference operators of two kinds on the kernel, we get two algebraic functions. Equality of these functions implies validity of the kernel property (4.2). In Appendix D, we give details of the analytic proof of this identity.
Another important property of the derived A\(\Delta \)Os is their commutation with each other which also directly follows from the S duality of our compactification construction as shown in Fig. 7. Since it does not depend which duality frame we close the minimal punctures in, it also does not matter in which order two different A\(\Delta \)Os act on the index. Hence, we conclude that all of operators we derived should commute with each other:
Here, \(h_a\) and \(h_b\) are moment maps we give vev to in order to close two minimal punctures and \(K_{1,2}, M_{1,2}\) are numbers of holomorphic/anti-holomorphic derivatives. Unfortunately it is very hard to prove or even to check these relations for general operators (3.14) of the full tower. However, we can perform checks of the commutation relations (4.4) for the basic operators, i.e., for the case when \(K_{1,2}\) and \(M_{1,2}\) are taking values 0 and 1. In particular, we show that:
In Appendix E, we check these relations. In particular, using ellipticity properties of \(\theta _p\left( x\right) \) function we prove that the action of the third type of the commutators on an arbitrary trial function is zero. Hence, these commutators are zero themselves. For the first and second type of commutators, it is hard to prove analytically that their action on a trial function is zero. Instead we check these identities perturbatively in p and q expansion. These checks performed up to a sufficiently high order suggest that both of the commutators are indeed zero.
5 Discussion and outlook
In this paper, we have considered 4d description of the compactification of the minimal \((D_5,D_5)\) conformal matter theory on a Riemann surface with \(\textrm{USp}(4)\) maximal punctures. Using this 4d description and introducing codimension-two defect in corresponding theory, we derive \(C_2\) generalization of the van Diejen model. In particular, we obtain an infinite set of analytic difference operators acting on the maximal puncture of \(C_2\) type. Different operators of our set correspond to different ways of closing minimal punctures on the compactification surfaces. They are organized in a decuplet of basic operators and an infinite tower of operators on top of each of the basic ones.
The operators we obtain are supposed to satisfy interesting and important properties following directly from the geometry of compactifications. First such property is the commutation of all operators. In our paper, using combination of residue computations and perturbative expansions we show that at least all basic operators indeed commute with each other. Second important property is that the superconformal index of any compactification of the minimal \((D_5,D_5)\) conformal matter theory on a surface with several \(\textrm{USp}(4)\) punctures is the kernel function of our difference operators. As an example of such kernel function, we considered a tube theory corresponding to the compactification on a sphere with one \(\textrm{USp}(4)\) and one \(\textrm{SU}(3)\) puncture. In order to prove the kernel property, we should act on two punctures with two different operators: \(A_2\) operator derived in [19] from one side and \(C_2\) operator derived in the present paper from the other. This fact makes corresponding kernel function very interesting for the study. In the paper, we managed to prove this kernel property fully analytically for the basic \(A_2\) and \(C_2\) operators.
Another result of our paper is derivation of the full tower of \(A_N\) generalization of van Diejen operator originating from the compactification of the minimal \((D_{N+3},D_{N+3})\) conformal matter theory on a Riemann surface with \(\textrm{SU}(N+1)\) maximal punctures. We have already derived basic operators of this kind in our previous paper [19]. However, the tower of operators was missing and we filled this gap in the present paper.
The present paper is another brick in our program of establishing dictionary between compactifications of 6d SCFTs and integrable analytic difference operators and studying this dictionary in details. There are plenty of ways this research can be continued in. In particular, there should be separate difference operator for each possible 5d compactification of 6d theory, or equivalently for each possible puncture type from 4d prospective. So far several results have been observed in this frame. First of all \(BC_1\) van Diejen model was observed in E-string compactifications in several ways [11, 19]. Also previously unknown \(A_2\) and \(A_3\) operators were derived using compactifications of the minimal conformal matter theories of types \(\textrm{SU}(3)\) and \(\textrm{SO}(8)\) [10]. Finally, we have considered compactifications of the minimal \((D_{N+3},D_{N+3})\) conformal matter theories on a Riemann surfaces with \(A_N\)- and \(C_2\) (in case of \((D_5,D_5)\) 6d theory)-type punctures. However, there are plenty of examples of 6d SCFT compactifications that are known up to date [25,26,27,28,29,30,31,32,33,34]. Our main goal is to extend our results to more examples of compactifications and ideally establish a dictionary between them and integrable models. Such dictionary can from one point of view shed light on physics of 6d, 5d and 4d supersymmetric gauge theories. From the other point of view, this research program can lead to important results in the field of integrable systems.
First of all as a continuation of the present paper, it is natural to consider compactifications of the minimal \((D_{N+3},D_{N+3})\) conformal matter on Riemann surfaces with other types of punctures. In first place, these are of course punctures of \(C_N\) type for general N. In the present work, we failed to derive explicit form of the corresponding A\(\Delta \)O because of the technical difficulties but it is worth trying to overcome them. Second candidate for the study is \(\left( A_1\right) ^N\) puncture. Corresponding 4d description was derived in [20]. It would be interesting to derive explicit form of the corresponding difference operators and study their properties. For example, we immediately know examples of the kernel functions of these operators even before deriving them explicitly.
Second candidate for the studies are non-minimal \((D_{N+3},D_{N+3})\) conformal matter theories, which are obtained as worldvolume theories of the stack of k M5 branes probing \(D_{N+3}\) singularity [26]. In this case, the known 5d gauge theory, and hence the puncture type on Riemann surface, is a direct generalization of \(\left( A_1 \right) ^N\) case of minimal conformal matter compactification discussed above. It corresponds to the \(\left( A_{k-1}\right) ^2\times \left( A_{2k-1}\right) ^N\times \left( A_{k-1}\right) ^2\) gauge theory in 5d and hence the puncture type with the same global symmetry. Trinion theories with two maximal and one minimal punctures, which are building blocks in the construction of A\(\Delta \)Os, are also known [35]. So construction of the corresponding difference operators should be straightforward though can happen to be technically complicated.
Finally, one more thing to be made in this direction is the study of the rank-Q E-string theory compactifications along the same lines of research. Unfortunately so far corresponding trinion theories were not obtained but the tube theories were already derived in [36, 37]. Although we cannot derive corresponding A\(\Delta \)O using only tube theories, in this case we can naturally conjecture it to be \(BC_n\) van Diejen model. We can at least test this conjecture by checking corresponding kernel property.
Another possible direction of the research is related to the study of the properties of the operators we derived. Most interesting questions here are related to the eigenfunctions of these operators. Deriving full eigenfunctions is of course difficult and most probably impossible. Realistically we can try to derive certain limits of these eigenfunction. In case we succeed these eigenfunctions can play the same role for indices of \({\mathcal {N}}=1\) theories as Macdonald and Schur polynomials played for the indices of \({\mathcal {N}}=2\) theories [16,17,18].
It would also be interesting to establish connections of our research program with other integrable models emerging in supersymmetric gauge theories. For example, integrable systems derived using compactifications of the worldvolume theory of k M5 branes probing \(A_{N-1}\) singularity were shown to be related to the set of transfer matrices [9, 38,39,40]. It would be interesting to understand if similar connection emerges in case of \(D_{N+3}\) singularity.
Also, a relation of E-string theory to the van Diejen model was observed in [41] using quantization of the corresponding Seiberg–Witten curve. Later, authors of this paper generalized their result to 6d (1, 0) SCFTs with \(\textrm{SO}(N)\) gauge group and \((N-8)\) fundamental flavors obtaining yet another set of difference operators [42]. It would be interesting to clarify precise relation of our construction with the methods and results of these papers.
Data availability
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
Notes
The simplest case of \(N=1\), as well as the case of \((A_1)^1\), was studied in our previous paper [19]. As a result, we observed two alternative parametrizations of the standard \(BC_1\) vD model.
We would like to stress that the operator we derive is different from the standard higher-rank vD operator [12, 13] since the latter one is associated with the affine \(BC_n\)-type root system, while we discuss \(C_2\) root system in our paper. We expect that the canonical \(BC_n\) vD model can be obtained in a similar manner using compactifications of the rank-Q E-string theory. Unfortunately so far only compactifications on the spheres with two punctures are known for these theories so we are not able to prove this conjecture.
See the definition of the basic operators and their towers below.
Here and further, we often omit some overall factors which are irrelevant for the derivations of A\(\Delta \)Os. Because of this, we use \(\sim \) instead of strict equality here.
Similar comments hold for the previously discussed \(A_N\) operators [19], which depend on p, q and another \(2N+4\) parameters.
As usually when we discuss ellipticity w.r.t. \(A_2\) variables, we should keep in mind the constraint so when we shift one of the variables, say \(y_l\rightarrow py_l\) we are forced to also make another shift \(y_m\rightarrow p^{-1}y_m\) for some other variable.
We have complicated functions of many variables. Hence, when we speak about poles and corresponding residues, we always consider our functions as functions of one chosen variable, while all other variables are kept fixed. The poles and residues should be checked in this way for all variables of functions one by one.
As a crosscheck we have also checked the residue w.r.t. \(y_a\)
To calculate these residues, it is crucial to use the \(A_2\) constraint \(\prod \nolimits _{j=1}^3y_j=1\) for y variables.
References
Minahan, J.A., Zarembo, K.: The Bethe ansatz for N=4 superYang-Mills. JHEP 03, 013 (2003). https://doi.org/10.1088/1126-6708/2003/03/013. arXiv:hep-th/0212208
Beisert, N., et al.: Review of AdS/CFT integrability: An overview. Lett. Math. Phys. 99, 3–32 (2012). https://doi.org/10.1007/s11005-011-0529-2. arXiv:1012.3982 [hep-th]
Nekrasov, N.A., Shatashvili, S.L.: Quantum integrability and supersymmetric vacua. Prog. Theor. Phys. Suppl. 177, 105–119 (2009). https://doi.org/10.1143/PTPS.177.105. arXiv:0901.4748 [hep-th]
Nekrasov, N. A., Shatashvili, S. L.: Quantization of integrable systems and four dimensional gauge theories. In: Proceedings, 16th International Congress on Mathematical Physics (ICMP09): Prague, Czech Republic, August 3–8, 2009, pp. 265–289. (2009). https://doi.org/10.1142/9789814304634_0015. arXiv:0908.4052 [hep-th]
Bullimore, M., Kim, H.-C., Koroteev, P.: Defects and quantum Seiberg-Witten geometry. JHEP 05, 095 (2015). https://doi.org/10.1007/JHEP05(2015)095. arXiv:1412.6081 [hep-th]
Hatsuda, Y., Sciarappa, A., Zakany, S.: Exact quantization conditions for the elliptic Ruijsenaars–Schneider model. JHEP 11, 118 (2018). https://doi.org/10.1007/JHEP11(2018)118. arXiv:1809.10294 [hep-th]
Gaiotto, D., Rastelli, L., Razamat, S.S.: Bootstrapping the superconformal index with surface defects. JHEP 01, 022 (2013). https://doi.org/10.1007/JHEP01(2013)022. arXiv:1207.3577 [hep-th]
Lemos, M., Peelaers, W., Rastelli, L.: The superconformal index of class \(S\) theories of type \(D\). JHEP 05, 120 (2014). https://doi.org/10.1007/JHEP05(2014)120. arXiv:1212.1271 [hep-th]
Gaiotto, D., Razamat, S.S.: \( \cal{N} =1 \) theories of class \( {\cal{S} }_k \). JHEP 07, 073 (2015). https://doi.org/10.1007/JHEP07(2015)073. arXiv:1503.05159 [hep-th]
Razamat, S.S.: Flavored surface defects in 4d \(\cal{N} =1\) SCFTs. Lett. Math. Phys. 109(6), 1377–1395 (2019). https://doi.org/10.1007/s11005-018-01145-9. arXiv:1808.09509 [hep-th]
Nazzal, B., Razamat, S.S.: Surface defects in e-string compactifications and the van Diejen model. SIGMA 14, 036 (2018). https://doi.org/10.3842/SIGMA.2018.036. arXiv:1801.00960 [hep-th]
Rains, E., Ruijsenaars, S.: Difference operators of Sklyanin and van Diejen type. Commun. Math. Phys. 320(3), 851–889 (2013). https://doi.org/10.1007/s00220-013-1692-3. arXiv:1203.0042 [math-ph]
van Diejen, J.F.: Integrability of difference Calogero-Moser systems. J. Math. Phys. 35(6), 2983–3004 (1994)
Ruijsenaars, S.: On Razamat’s \(A_2\) and \(A_3\) kernel identities. J. Phys. A 53(33), 334002 (2020). https://doi.org/10.1088/1751-8121/ab97df. arXiv:2003.11353 [math-ph]
Nazzal, B., Razamat, S. S.: “to appear,”
Gadde, A., Rastelli, L., Razamat, S.S., Yan, W.: Gauge theories and Macdonald polynomials. Commun. Math. Phys. 319, 147–193 (2013). https://doi.org/10.1007/s00220-012-1607-8. arXiv:1110.3740 [hep-th]
Gadde, A., Pomoni, E., Rastelli, L., Razamat, S.S.: S-duality and 2d topological QFT. JHEP 03, 032 (2010). https://doi.org/10.1007/JHEP03(2010)032. arXiv:0910.2225 [hep-th]
Gadde, A., Rastelli, L., Razamat, S.S., Yan, W.: The 4d superconformal index from q-deformed 2d Yang-Mills. Phys. Rev. Lett. 106, 241602 (2011). https://doi.org/10.1103/PhysRevLett.106.241602. arXiv:1104.3850 [hep-th]
Nazzal, B., Nedelin, A., Razamat, S.S.: Minimal \((D, D)\) conformal matter and generalizations of the van Diejen model. SciPost Phys. 12(4), 140 (2022). https://doi.org/10.21468/SciPostPhys.12.4.140. arXiv:2106.08335 [hep-th]
Razamat, S.S., Sabag, E.: Sequences of \(6d\) SCFTs on generic Riemann surfaces. JHEP 01, 086 (2020). https://doi.org/10.1007/JHEP01(2020)086. arXiv:1910.03603 [hep-th]
Razamat, S.S., Sabag, E.: SQCD and pairs of pants. JHEP 09, 028 (2020). https://doi.org/10.1007/JHEP09(2020)028. arXiv:2006.03480 [hep-th]
Gadde, A., Gukov, S.: 2d Index and surface operators. JHEP 03, 080 (2014). https://doi.org/10.1007/JHEP03(2014)080. arXiv:1305.0266 [hep-th]
Kim, H.-C., Razamat, S. S.: Star shaped quivers in four dimensions. arXiv:2302.05113 [hep-th]
Kim, H.-C., Razamat, S.S., Vafa, C., Zafrir, G.: D-type conformal matter and SU/USp quivers. JHEP 06, 058 (2018). https://doi.org/10.1007/JHEP06(2018)058. arXiv:1802.00620 [hep-th]
Razamat, S. S., Sabag, E., Sela, O., Zafrir, G.: Aspects of 4d supersymmetric dynamics and geometry. arXiv:2203.06880 [hep-th]
Heckman, J.J., Morrison, D.R., Rudelius, T., Vafa, C.: Atomic classification of 6D SCFTs. Fortsch. Phys. 63, 468–530 (2015). https://doi.org/10.1002/prop.201500024. arXiv:1502.05405 [hep-th]
Del Zotto, M., Heckman, J.J., Tomasiello, A., Vafa, C.: 6d conformal matter. JHEP 02, 054 (2015). https://doi.org/10.1007/JHEP02(2015)054. arXiv:1407.6359 [hep-th]
Bhardwaj, L.: Classification of 6d \( \cal{N} =\left(1,0\right) \) gauge theories. JHEP 11, 002 (2015). https://doi.org/10.1007/JHEP11(2015)002. arXiv:1502.06594 [hep-th]
Hayashi, H., Kim, S.-S., Lee, K., Taki, M., Yagi, F.: More on 5d descriptions of 6d SCFTs. JHEP 10, 126 (2016). https://doi.org/10.1007/JHEP10(2016)126. arXiv:1512.08239 [hep-th]
Hayashi, H., Kim, S.-S., Lee, K., Yagi, F.: 6d SCFTs, 5d dualities and TaO web diagrams. JHEP 05, 203 (2019). https://doi.org/10.1007/JHEP05(2019)203. arXiv:1509.03300 [hep-th]
Kim, H.-C., Razamat, S.S., Vafa, C., Zafrir, G.: E - string theory on Riemann surfaces. Fortsch. Phys. 66(1), 1700074 (2018). https://doi.org/10.1002/prop.201700074. arXiv:1709.02496 [hep-th]
Razamat, S.S., Vafa, C., Zafrir, G.: 4d \( \cal{N} =1 \) from 6d (1, 0). JHEP 04, 064 (2017). https://doi.org/10.1007/JHEP04(2017)064. arXiv:1610.09178 [hep-th]
Kim, H.-C., Razamat, S.S., Vafa, C., Zafrir, G.: Compactifications of ADE conformal matter on a torus. JHEP 09, 110 (2018). https://doi.org/10.1007/JHEP09(2018)110. arXiv:1806.07620 [hep-th]
Apruzzi, F., Lawrie, C., Lin, L., Schäfer-Nameki, S., Wang, Y.-N.: 5d Superconformal field theories and graphs. arXiv:1906.11820 [hep-th]
Sabag, E.: Non minimal D-type conformal matter compactified on three punctured spheres. JHEP 10, 139 (2020). https://doi.org/10.1007/JHEP10(2020)139. arXiv:2007.13567 [hep-th]
Hwang, C., Razamat, S.S., Sabag, E., Sacchi, M.: Rank \(Q\) E-string on spheres with flux. SciPost Phys. 11(2), 044 (2021). https://doi.org/10.21468/SciPostPhys.11.2.044. arXiv:2103.09149 [hep-th]
Pasquetti, S., Razamat, S.S., Sacchi, M., Zafrir, G.: Rank \(Q\) E-string on a torus with flux. SciPost Phys. 8(1), 014 (2020). https://doi.org/10.21468/SciPostPhys.8.1.014. arXiv:1908.03278 [hep-th]
Maruyoshi, K., Yagi, J.: Surface defects as transfer matrices. PTEP 2016(11), 113B01 (2016). https://doi.org/10.1093/ptep/ptw151. arXiv:1606.01041 [hep-th]
Ito, Y., Yoshida, Y.: Superconformal index with surface defects for class \({\cal{S}}_k\). arXiv:1606.01653 [hep-th]
Yagi, J.: Surface defects and elliptic quantum groups. JHEP 06, 013 (2017). https://doi.org/10.1007/JHEP06(2017)013. arXiv:1701.05562 [hep-th]
Chen, J., Haghighat, B., Kim, H.-C., Sperling, M., Wang, X.: E-string quantum curve. arXiv:2103.16996 [hep-th]
Chen, J., Haghighat, B., Kim, H.-C., Lee, K., Sperling, M., Wang, X.: Elliptic quantum curves of 6d SO(N) theories. JHEP 03, 154 (2022). https://doi.org/10.1007/JHEP03(2022)154. arXiv:2110.13487 [hep-th]
Spiridonov, V.P.: Essays on the theory of elliptic hypergeometric functions. Russ. Math. Surv. 63(3), 405–472 (2008). arXiv:0704.3099 [hep-th]
Spiridonov, V.P., Warnaar, S.O.: Inversions of integral operators and elliptic beta integrals on root systems. Adv. Math. 207(1), 91–132 (2006)
Spiridonov, V.P., Vartanov, G.S.: Elliptic hypergeometry of supersymmetric dualities. Commun. Math. Phys. 304, 797–874 (2011). https://doi.org/10.1007/s00220-011-1218-9. arXiv:0910.5944 [hep-th]
Acknowledgements
We would like to especially thank Shlomo Razamat for numerous discussion, collaboration on different stages of this projects and for reading the draft of the paper. AN is also thankful for the hospitality of the Theoretical Physics Division of Uppsala University where parts of this work were done. The work of BN is supported in part by Israel Science Foundation under Grant No. 2289/18, by a Grant No. I-1515-303./2019 from the GIF, and the German-Israeli Foundation for Scientific Research and Development, by BSF Grant No. 2018204. Research of AN is supported by the Swiss National Science Foundation, Grant No. 185723.
Funding
Open access funding provided by University of Geneva.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix
Special functions
Here, we summarize some definitions and properties of special functions used in the paper.
Elliptic gamma function is defined through the following infinite product:
It can be easily seen that the poles of this function are located at the following values of the argument:
The following relation will be useful in our calculations:
Also we will often deal with the elliptic beta integral formula
Here, \(\kappa \) is defined to be
\(A_N\) generalization of this formula is
The theta function is defined as follows:
where \(\left( z;p\right) _\infty \) is the usual q-Pochhammer symbol defined as follows:
Following properties of theta function will be useful to us
We will also use the following duality identity from [43]:
where
Derivation of higher tower \(A_N\) operators
In this appendix, we will give details of the derivation of \(A_N\) A\(\Delta \)Os that we summarize in Sect. 2. We start with the four-punctured sphere theory whose quiver is shown in Fig. 1. This theory and its superconformal index were derived in [19]. The index is given by the following expression:
This is an index of an \(\textrm{SU}(N+3)\) SQCD with \(2N+6\) flavors and a superpotential. Variables \(x,{\tilde{x}},z,{\tilde{z}}\) are fugacities of the global symmetry of two maximal \(\textrm{SU}(N+1)_{x,{\tilde{x}}}\) and two minimal \(\textrm{SU}(2)_{z,{\tilde{z}}}\) punctures correspondingly.
We close the two \(\textrm{SU}(2)\) punctures by setting z and \({\tilde{z}}\) to the values in (2.7). Performing calculations for general values of the charges is complicated. So we will perform here the calculation only for one of the charges fixing \({\tilde{h}}_i={\tilde{h}}_{2N+6}=\left( u^Nw^2\right) ^{-2N-4}\). Corresponding positions of the poles are then given by
Also as discussed in Sect. 2, we will further consider \({\tilde{L}}={\tilde{M}}=0\).
The pole in \({\tilde{z}}\) is an explicit simple pole so we can just take the residue. The pole in z, however, is due to contour pinching. To see this clearly, it is useful to first perform a Seiberg duality leading to an index of \(SU(N+2)\) gauge theory with \(2N+5\) flavors, with the following index,
where we have already dropped irrelevant overall factors and substituted values of z from (B.2). The subscript of the index as usually contains all the information of the underlying theory. In particular, 2 stands for the number of punctures. Index \(2N+6\) stands for the index of the moment map we give vev to in order to close the puncture (moment map of charge \({\tilde{h}}_{2N+6}{\tilde{h}}^{-\frac{1}{4}}\) in this case). Finally, (L, M) denotes derivative powers in the vev and is the same as L and M integers in (B.2). As can be seen from the expression above, the contour pinching is due to collision of poles at the following values:
where \(m_i\) and \(l_i\) are partitions of M and L, respectively. There are \((N+2)!\) such poles coming from permutations of \(t_i\) but they all give the same result and we are ignoring overall factors. It can be checked that the two lines in (B.4) give the same result so we will consider only the first set of poles. After computing the residue, we get the following expression for particular partitions \(\vec {l},\vec {m}\),
To get the \(A\Delta O\) acting on \(\textrm{SU}(N+1)_x\) puncture, we should S glue this tube to the index of an arbitrary theory \( {{\mathcal {I}}}({\tilde{x}})\) with \(SU(N+1)_{{\tilde{x}}}\) puncture and sum over all partitions,
Note that there is a zero in (B.5) coming from \(\Gamma _e\left( pq\right) \) but this is canceled against the pinching of \({\tilde{x}}\) at the following values,
up to permutations of \(x_i\) which give the same result due to the Weyl symmetry of \(A_N\) root system. If we specify \({\tilde{x}}_i\) to the values written above, we obtain double pole due to the contour pinching of (B.6) but as we mentioned one of them is canceled by the zero of \(\Gamma _e\left( pq\right) \). Computing the residue of the remaining pole, we obtain the following contribution of each individual partition:
Summing over all partitions and using properties of \(\Gamma \) and \(\theta \) functions (A.9), we get the difference operator given in (2.10) with the \({\tilde{h}}_k={\tilde{h}}_{10}\). Operators obtained using another ways to close minimal punctures can be derived in absolutely identical manner and lead to the same A\(\Delta \)O (2.10).
Derivation of \(C_2\) operator
In this section, we give details of the derivations of results summarized in Sect. 3 and show in all details how to derive \(C_2\)-type generalization of the van Diejen model.
Let’s start with the derivation of the trinion that has one maximal \(\textrm{USp}(2N)\) puncture, one maximal \(\textrm{SU}(N+1)\) puncture and one minimal \(\textrm{SU}(2)\) puncture. It is important since it will be later used by us to derive four-punctured sphere with two maximal \(\textrm{USp}(2N)\) and two minimal \(\textrm{SU}(2)\) punctures as specified in (3.7).
To obtain this kind of three-punctured sphere theory, we start with the trinion \( {{\mathcal {T}}}^A_{x,y,z}\) with two maximal \(\textrm{SU}(N+1)_{x,y}\) and one minimal \(\textrm{SU}(2)_z\) punctures. This trinion was derived in [21] and is shown in Fig. 1. Corresponding superconformal index is given by:
where u, v, w and \(a_i\) parametrize Cartans of the 6d \(\textrm{SO}(4N+8)\) global symmetry. \(\textrm{SU}(N+2)\) gauge symmetry is parametrized by \(t_i\)’s with the relation
Global \(\textrm{SU}(N+1)\) symmetries of the maximal punctures are parametrized by \(x_i\) and \(y_i\) satisfying
Each puncture has \((2N+6)\) moment map operators with the charges specified in (2.1).
Now in order to obtain desired trinion, we should turn one of the \(\textrm{SU}(N+1)\) punctures into \(\textrm{USp}(2N)\)-type puncture. For this purpose, we use an \(A_NC_N\) tube theory introduced in [24] and shown in Fig. 2a. Chirals of these theory correspond to the moment maps of punctures. For \(\textrm{USp}(2N)\) puncture, these are just moment maps specified in (3.1). For \(\textrm{SU}(N+1)\) puncture as specified in (2.1) but with the last moment map flipped so that all of them transform in the same fundamental representation of \(\textrm{SU}(N+1)\):
The index of this tube theory is given by:
Now, we take this theory and glue it along the \(\textrm{SU}(N+1)\) puncture to the \(A_N\) trinion shown in Fig. 1. Consistent gluing in this case is the mixture of \(\Phi \) and S-gluings. In particular, we \(\Phi \) glue all moment maps except \(\textbf{1}_{\left( u^N w^2\right) ^{2N+4}}\) which is S glued. At the level of the index, this operation corresponds to
Substituting expressions (C.1) for \(A_N\) trinion and (C.5) for the \(A_NC_N\) tube, we immediately see that the \(\textrm{SU}(N+1)_{{\tilde{x}}}\) gauge theory appears to be S-confining. Corresponding S-confining theory is depicted in Fig. 8. This duality was first introduced by Spiridonov and Warnaar [44] as a mathematical identity for superconformal indices of the corresponding theories:
where \(S=\prod \nolimits _{i=1}^{N+3}s_i\). Later Spiridonov and Vartanov [45] discussed physical implications of the relation written above. We refer to this duality as Spiridonov–Warnaar–Vartanov (SWV) duality. More detailed discussion about it can also been found in Appendix B.5 of our previous paper [19]. Using this duality for the \(\textrm{SU}(N+1)_{{\tilde{x}}}\) node in (C.6), we can finally write down the index of the desired three-punctured sphere as follows:
where we have omitted some of the \(\textrm{USp}(2N)\) singlets, thus redefining type of the puncture. Corresponding trinion theory is shown in Fig. 9.
Now, we can use this \(A_NC_N\)-type trinion theory in order to derive four-punctured sphere theory with two \(\textrm{USp}(2N)\) maximal punctures. For this purpose, we S glue two copies of this trinion along \(A_N\)-type puncture. At the level of the index, this corresponds to the operation specified in (3.7). Substituting trinion index (C.8) into this expression, we obtain the following four-punctured sphere index:
Now, if we look on the \(\textrm{SU}(N+1)_y\) gauged node, we see that it corresponds to the theory with \(N+2\) hypermultiplets, meaning the node is S-confining and can be integrated out using the standard Seiberg duality. Performing this simple operation, we land on the theory shown in Fig. 10 with the following superconformal index:
where we have also used dictionary (3.4) in order to express everything in terms of \(C_N\) parameterization (3.2) since now we have only this type of maximal punctures and hence latter parametrization is more natural.
Now, we finally close one of the two \(\textrm{SU}(2)\) minimal punctures without introducing the defect. As discussed in Sect. 3, this amounts to computing the residue of (C.10) at the point \({\tilde{z}}=(pq)^{-\frac{1}{2}}w^{2\frac{(N+2)^2}{N+3}}{\tilde{a}}_i\). Indeed, it can be seen that at this value of \({\tilde{z}}\) there is pole coming from the contour pinching at
where \({\tilde{t}}_{N+2}\) variable is chosen without loss of generality. In fact, we should compute such pinchings for each \({\tilde{t}}_i\) variables and sum the results. But due to the Weyl symmetry of the \(\textrm{SU}(N+1)\) root system, all such contributions are the same and summing them results in an overall factor of \((N+1)!\). We omit such overall factors since they are irrelevant for the structure of the A\(\Delta \)O we get in the end. Computation of the corresponding residue at the pinching point leads to the following expression for the three-punctured sphere theory index:
Corresponding quiver diagram is shown in Fig. 3.
In case \(N=1\), it can be shown that the theory we derived reduces to the one shown in Figure 22 (b) in our previous paper [19]. There we used it to derive \(C_1\) A\(\Delta \)O which appeared to be van Diejen operator. Studying general N case appears to be too complicated since there is no clear way to further simplify theory (C.12). Instead we concentrate here on \(C_2\) case. When \(N=2\) \({\overline{AS}}\), representation of \(\textrm{SU}(N+1)\) node becomes anti-fundamental representation and the index of the theory reads:
with the corresponding quiver of the theory shown in Fig. 11a.
At the next step, we perform Seiberg duality on the \(\textrm{SU}(3)\) gauge node of the theory above. This node has 9 flavors so after dualizing it we obtain \(\textrm{SU}(6)\) node with the superconformal index of the resulting theory given by
and corresponding quiver is shown in Fig. 11 (b). We see that \(\textrm{SU}(4)\) gauge node of this theory appears to be S-confining due to SWV duality. Hence, using SWV index identity (C.7) we arrive to the gauge theory with the following superconformal index:
with the quiver shown in Fig. 11c. Now, we are ready to close second minimal puncture leaving us with the sphere with only two maximal \(\textrm{USp}(2N)\) punctures left. As discussed in Sect. 3, for this purpose we fix z fugacity to be
Carefully studying expression (C.15), we see that at this value of z superconformal index indeed has pole coming from the contour pinching at:
where \(\{k_{1,\pm },\,k_{2,\pm },\,k_5,\,k_6\}\equiv \vec {K}\) is partition of the integer K. Of course any permutation of (C.17) would also result in the same contour pinching and hence the pole of the superconformal index. Due to the Weyl group symmetry contributions of all these permutations into our operator are the same and taking them into account just results in an overall factor which we omit. Substituting values (C.17) into three-punctured sphere index (C.15), we get the following result for the index of the two-punctured sphere:
where \(C_{(\vec {K};i)}\) is the following constant:
where subscript contains all the information on how the tube was obtained. Inside this subscript 2 means that we obtain two-punctured sphere (the tube) in the end. Index i stands for the choice of the moment map we give vev to according to (3.8) and (3.10). Finally, K denotes the power of holomorphic derivative of the moment map we give vev to. Summation in (C.18) goes over all possible partitions of K integer. Due to the presence of the defect, this index expression unlike our previous four- and three-punctured sphere does not have nice gauge theory interpretation.
Now gluing tube (C.18) to an arbitrary \({\mathcal {N}}=1\) theory with one maximal \(\textrm{USp}(2N)\) puncture we can obtain desired A\(\Delta \)O. At the level of the superconformal index, the gluing is performed as specified in (3.13):
Notice that expression (C.18) for the tube index has zeroes coming from the last two \(\Gamma \)-functions. Due to these zeroes, only the poles of the integral in (C.20) coming from other \(\Gamma \) functions will contribute to the final expression. In particular, these poles are coming from the \(\Gamma _e\left( {\tilde{x}}_k^{\pm 1}x_jq^{-k_{j,-}}\right) \) and \(\Gamma _e\left( {\tilde{x}}_k^{\pm 1}x_j^{-1}q^{-k_{j,+}}\right) \) terms and are located at
where \(\sigma (i)\) is permutation of i. In the end, we should sum over such permutations as well as over all combinations of \(\pm 1\) powers in the expression above. Since the tube expression (C.18) is symmetric w.r.t. permutations of \({\tilde{x}}_1\leftrightarrow {\tilde{x}}_2\) and \({\tilde{x}}_i\rightarrow {\tilde{x}}_i^{-1}\), every contribution of the pinchings specified above is the same and summation just gives an irrelevant overall factor. So for simplicity we can consider only one of the combinations
The condition on \(m_i\) comes from the fact that both types of specified \(\Gamma \) functions should have poles. Half of these terms should lead to integration contour pinching in (C.20), while other half will cancel zeroes coming from the last two \(\Gamma \) functions in the tube index expression (C.18).
Now computing the contribution of pinchings (C.22) into gluing (C.20) and using \(\Gamma \) functions identity (A.9), we can directly obtain the full tower of operators (3.14).
Proof of the kernel property of \(A_2C_2\) tube theory
Here, we give a proof of the kernel property (4.2) where we act with \(A_2\) operator (2.13) and \(C_2\) operator (3.17) on the index (C.5) of the tube with \(\textrm{SU}(3)\) and \(\textrm{USp}(4)\) maximal punctures.
Let’s start the proof of the kernel property by explicitly calculating action of our A\(\Delta \)Os on the tube index and write two sides of the equation in terms of algebraic expressions. First of all we should fix the parametrization of the Cartans of global 6d symmetry. For this, it will be more convenient to use \(C_2\) parametrization given in (3.2). We should also use the dictionary (3.4) between \(A_2\) and \(C_2\) parametrizations in order to rewrite everything in terms of the latter one. Fixing \(N=2\) in the tube index (C.5) and writing everything in terms of \(C_2\) parametrization, we obtain:
where as previously \(x_{1,2}\) are fugacities for the global symmetry of the \(\textrm{USp}(4)\) puncture, while \(y_{1,2,3}\) are fugacities of the \(\textrm{SU}(3)\) puncture. Latter ones are as usually constrained by the identity \(\prod _{i=1}^3y_i=1\).
Now, we can start with the r.h.s. of (4.2) describing the action of \(C_2\) operator. Main ingredient we need to find the action of the full operator is the action of the shift \(\Delta _q(x_i)\) on the tube index. Studying this action in (D.1), we obtain:
where the function \(D_l(x,y)\) is given by:
Then, on the r.h.s. of (4.2) we obtain:
Now, we consider l.h.s. of the equation above. Similarly, we need to understand action of \(\Delta _{lm}(y)\) operator on the \(A_2C_2\) tube (4.2):
where
So the l.h.s. of (4.2) takes the following form:
Hence, kernel property (4.2) can be reduced to the following algebraic identity:
It can be checked that both \(F^{(A_2;{\tilde{h}}_{10};1,0)}(x,y)\) and \(F^{(C_2;h_{10};1,0)}(x,y)\) functions defined above are elliptic w.r.t both \(x_i\) and \(y_i\) variables with periods 1 and p.Footnote 6 In order to prove the identity, we now need to check poles and residues in the fundamental domain on two sides of equation.Footnote 7 We already know the poles and residues of the constant parts \(W^{(A_2;{\tilde{h}}_{10}^{-1};1,0)}(y)\) and \(W^{(C_2;h_{10};1,0)}(x)\) summarized in Sects. 2 and 3 correspondingly. Now, let’s study functions \(F^{(A_2;{\tilde{h}}_{10};1,0)}(x,y)\) and \(F^{(C_2;h_{10};1,0)}(x,y)\) coming from the action of the shift parts.
We start with \(F^{(A_2;{\tilde{h}}_{10};1,0)}(x,y)\) function given in (D.7). This elliptic function appears to have poles at the following positions:
where \(s=\pm \) and \(P_a\equiv \prod \limits _{j\ne a}^3 y_j\). Seemingly there are more poles in expression (D.7) but checking all residues shows that the only actual poles are the ones listed above.
Residues of poles (D.9) are given by
Looking on these residues, we immediately see that on the l.h.s. of (D.8) there are vast cancelation of residues between \(F^{(A_2;{\tilde{h}}_{10};1,0)}(x,y)\) and constant part \(W^{(A_2;{\tilde{h}}_{10}^{-1};1,0)}(y)\). Latter ones can be found from (2.18) upon charges identification given in (3.4). In particular, the poles at \(y_a=q y_b\,, y_a=q^{-1}y_b\,,\) \(y_a=sq^{\frac{1}{2}}P_a^{-\frac{1}{2}}\,,\) \(y_a=sq^{-\frac{1}{2}}P_a^{-\frac{1}{2}},\) \(y_a=sq^{\frac{1}{2}}p^{\frac{1}{2}}P_a^{-\frac{1}{2}},\) \(y_a=sq^{-\frac{1}{2}}p^{\frac{1}{2}}P_a^{-\frac{1}{2}},\) get canceled. Hence, we are left with the following poles and residues on the l.h.s. of (D.8):
Now, let’s move to the \(C_2\) side of the kernel function Eq. (D.8). As mentioned previously the function \(F^{(C_2;{\tilde{h}}_{10};1,0)}(x,y)\) defined in (D.4) is elliptic with periods 1 and p. In the fundamental domain, the poles of the function are located at
where as usually \(s=\pm 1\). The residues at the poles \(x_i=sq^{\pm \frac{1}{2}}\) and \(x_i=sq^{\pm \frac{1}{2}}p^{\frac{1}{2}}\) are given by
It can be easily seen that these residues are canceled by the corresponding residues (3.19) of the constant part \(W^{(C_2;h_{10};1,0)}\). Hence, \(C_2\) side of kernel function Eq. (D.8) does not have poles in \(x_i=sq^{\pm \frac{1}{2}}\) and \(x_i=sq^{\pm \frac{1}{2}}p^{\frac{1}{2}}\). The only poles are the same as on the \(A_2\) side and are located in \(y_a=w^{\frac{128}{15}}{\tilde{a}}_{10}^{-\frac{1}{3}}q^{-1}x_b^s\) and \(x_j=\left( w^{\frac{128}{15}}{\tilde{a}}_{10}^{-\frac{1}{3}}q^{-1}y_a^{-1}\right) ^{\pm 1}\). Corresponding residues of \(F^{(C_2;h_{10};1,0)}\) and hence of the full function \(F^{(C_2;h_{10};1,0)}+W^{(C_2;h_{10};1,0)}\) are given by
As the next step, we have to show that the residues in (D.22) and (D.23) coincide with the residues (D.18) and (D.19) in order for the kernel identity (D.8) to work. Notice that in both pairs (D.22),(D.23) and (D.18), (D.19) position of the poles is defined by a single equation
The two residues in each of the pairs differ by the choice of the variables with respect to which we compute this residue. It is either fixing \(x_a\) variable and computing residue in \(y_a\) variable (like in (D.18) and (D.22)) or vice versa (like in (D.19) and (D.23)). Hence, it is sufficient to prove equality of residues only in one of the variables. It then automatically works for another variable since it is the very same pole. Let’s choose to study residues w.r.t. \(x_b\).Footnote 8 Also since all expressions are symmetric w.r.t. \(x_i\rightarrow x_i^{-1}\), we can perform the check only for one of the signs s. The other one will work automatically. So let’s perform the check only for the residue at \(x_a=w^{\frac{128}{15}}{\tilde{a}}_{10}^{-\frac{1}{3}}q^{-1}y_b^{-1}\) Subtracting residue (D.19) from the residue (D.23), we can obtain the following equation:
where we have introduced an auxiliary function
It can be checked that this function is elliptic with periods 1 and p. Seemingly this function has poles at \(x_j=\left[ (pq)^{\frac{1}{2}}w^{\frac{32}{5}}{\tilde{a}}_{10}\right] ^{\pm 1}\), \(y_a=y_c\) with \(a,c\ne b\) and \(y_b=w^{-\frac{256}{15}}{\tilde{a}}_{10}^{\frac{2}{3}}\). However, as it often happens in our calculations, accurate derivation of the corresponding residues results in zeros for all of them.Footnote 9 Hence, these are not really poles and our function M(x, y) is an entire function for all its variables. Since function is entire elliptic function, we conclude that it is just a constant.
In order to define which particular constant it is, we just need to put in some values for x and y variables. Here, it is worth noticing that M(x, y) function is the sum of two products of \(\theta \) function. Without loss of generality, let’s choose the following values of y variables:
where the c and d indices are any indices not equal to b. The second equality, i.e., value of \(y_d\), follows from the first one and \(A_2\) constraint for \(y_j\) variables. Now, if we look on the definition (D.26) of M(x, y), we see the sum of two terms. First term is when \(l=c, k=d\), and the second term is vice versa when \(l=d, k=c\). However, we immediately see that if \(y_k=(pq)^{-\frac{1}{2}}w^{\frac{32}{15}}{\tilde{a}}_{10}^{-\frac{4}{3}}\) in (D.26), we obtain zero of theta function. Hence, this second term in the sum is automatically zero and that was the idea behind our choice (D.27). We are now left only with the first term. Substituting chosen values into this term, we see vast cancelations leading to
and hence the \(M_{ab}(x,y)\) function given in (D.26) is just 1, i.e., \(M_{ab}(x,y)=1\). Notice that to find the value of the constant \(M_{ab}(x,y)\) we fixed only one of y variables. Other y’s as well as all of x stayed random. Using our finding from (D.25), we immediately conclude that
Now since both functions \(F^{(C_2;h_{10};1,0)}(x,y)+W^{(C_2;h_{10};1,0)}(x)\) and \(F^{(A_2;{\tilde{h}}_{10};1,0)}(x,y)+W^{(A_2;{\tilde{h}}_{10}^{-1};1,0)}(y)\) are elliptic with the coinciding poles and residues in the fundamental domain, we conclude that they can differ at most by additive constant. And just as we did it with \(M_{ab}(x,y)\) function in order to find this constant, we need to choose convenient values of x and y variables. Here, it is a bit harder to do then in the case of \(M_{ab}\) function. However, first thing we can notice is that constant part \(W^{(C_2;h_{10};1,0)}(x)\) of \(C_2\) operator (3.17) has zero at the following value of variables:
where we have chosen \(x_1\) variable without loss of generality (it can as well be \(x_2\) variable) and the other \(x_2\) variable is kept arbitrary. At the same time, constant part \(W^{(A_2;{\tilde{h}}_{10}^{-1};1,0)}(y)\) of \(A_2\) operator given in (2.15) has zero at the following value of variables:
It is natural to try these values and check what happens with the shift parts \(F^{(A_2;{\tilde{h}}_{10};1,0)}(y)\) and \(F^{(C_2;h_{10};1,0)}(x)\) on two sides of the kernel identity (D.8). On the \(C_2\) side, it is straightforward to see from (D.4) that simultaneous substitution of values specified in (D.31) and (D.30) leads to zero of the shift part \(F^{(C_2;h_{10};1,0)}(x,y)\). With the \(A_2\) side, it is a bit more tricky since the shift part \(F^{(A_2;{\tilde{h}}_{10};1,0)}(x,y)\) seemingly has singularity at \(y_3=w^{-\frac{256}{15}}{\tilde{a}}_{10}^{\frac{2}{3}}\) due to theta function \(\theta _p\left( w^{\frac{256}{15}}{\tilde{a}}_{10}^{-\frac{2}{3}}\right) \) in the denominator of the expression. However, accurate analysis shows that this singularity is always canceled by zeros of other theta functions standing in the numerator of the expression. Taking this into account, it is once again pretty easy to show that shift part on \(A_2\) side of the kernel property also has zero at values (D.31) and (D.30).
Summarizing we have shown that expressions on two sides of the kernel property Eq. (D.8) are elliptic functions with periods 1 and p and same sets of poles and residues in the fundamental domain given in (D.18), (D.19), (D.22) and (D.23). This means that the two functions differ at most by constant. To fix this constant, we also notice that both functions on two sides of the equation have zero at the same values of variables given in (D.31) and (D.30). Hence, the constant two functions can differ by is just zero and the functions appear to be the same. This concludes the proof of the kernel property (4.2).
Commutators of \(C_2\) operators
In this appendix, we discuss commutation relations (4.5) of the basic \(C_2\) operators (3.17). Let’s start with checking the following commutation relation:
Using explicit expression (3.17), we can write out all the terms of the commutator:
where in the last line we subtract all the terms written in the first six lines but with p and q parameters as well as a and b indices exchanged. Now in order to compute this commutator, we should find the action of the shift operators \(\Delta _q(x_i)\) and \(\Delta _p(x_i)\) on the shift part \(A_i(x)\) and constant part W(x). Using explicit expressions from (3.17), we obtain:
where h in the last expression is as usually total U(1) charge defined in (3.16). Completely identical expressions can be written for p and q exchanged. Using these expressions for the commutator action (E.2), it is straightforward to see that it is just zero:
Since the test function \( {{\mathcal {I}}}(x)\) is arbitrary, we can conclude that the commutator itself is also zero.
Now, let’s move to the computation of more complicated type of commutators
In this case, the proof is more complicated since the periodicity properties of \(\theta \) functions cannot be used anymore. Instead we will be using expansion in p and q parameters to perform this check. Once again we will use action of the commutator on an arbitrary test function \( {{\mathcal {I}}}(x)\):
Since the test function \( {{\mathcal {I}}}(x)\) is arbitrary in order to perform our checks, we have to consider contributions of all possible shifts of \( {{\mathcal {I}}}(x)\) separately. Below we discuss such contributions one by one.
(1) Terms with \(\Delta _q(x_i)\Delta _q(x_j) {{\mathcal {I}}}(x)\). This kind of contributions in (E.6) comes from the following terms:
In order for the prefactor to be zero, the following algebraic identity has to be satisfied:
In order to check this equation, we expand all functions in p and q parameters. Since there are just two variables \(x_1\) and \(x_2\) in this case, we can fix \(i=1\) and \(j=2\) without loss of generality and check equality in expansion up to the order \(O\left( p^3q^3\right) \). This check suggests that indeed these kind of terms do not contribute to the commutator (E.6).
(2) Terms with \(\Delta ^2_q(x_i) {{\mathcal {I}}}(x)\). This contribution comes from the following terms:
We can now notice that
so that the overall factor we get after acting with the shift \(\Delta _q(x_i)\) does not depend on the index a. Due to this independence, it is clear that corresponding contribution to the commutator (E.6) is zero.
(3) Terms with \(\Delta _q(x_i)\Delta _q^{-1}(x_j) {{\mathcal {I}}}(x)\). These terms come from the contribution:
In order for this term to vanish, we need the following equation to be satisfied:
Just as previously, we check this identity in p and q expansion up to an order of \(O\left( p^3q^3\right) \) and thus show that corresponding contribution to the commutator is zero.
(4) Terms with \(\Delta _q(x_i) {{\mathcal {I}}}(x)\). This kind of terms comes from the contribution:
This expression is hard to simplify so we checked it directly fixing \(i=1,j=2\) and expanding up to an order \(O\left( p^2q^0 \right) \), \(O\left( p^0q^2 \right) \) and \(O\left( pq\right) \) in p and q parameters. Up to these orders in expansion, we confirmed that corresponding contribution to the commutator is zero.
(5) Constant terms \( {{\mathcal {I}}}(x)\). This term comes from the contribution of
This term is obviously zero since it does not involve any shift.
(6) Terms with \(\Delta _q^{-1}(x_i)\Delta _q^{-1}(x_j) {{\mathcal {I}}}(x)\). These terms can be directly obtained from Type 1 terms containing \(\Delta _q(x_i)\Delta _q(x_j) {{\mathcal {I}}}(x)\) by \(x_i\rightarrow x_i^{-1}\) transformation of variables. Due to the \(x_i\rightarrow x_i^{-1}\) symmetry of A\(\Delta \)O (3.17), we can immediately conclude that corresponding contribution to the commutator action (E.6) is zero.
(7) Terms with \(\Delta _q^{-2}(x_i) {{\mathcal {I}}}(x)\). These terms can be directly obtained from Type 2 terms containing \(\Delta ^2_q(x_i) {{\mathcal {I}}}(x)\) by \(x_i\rightarrow x_i^{-1}\) transformation of variables. Hence by the same symmetry argument as in the previous case, we can immediately conclude that corresponding contribution to the commutator action (E.6) is zero.
(8) Terms with \(\Delta _q^{-1}(x_i) {{\mathcal {I}}}(x)\). Contributions to the commutator action (E.6) of this type are also zero which follows from the same argument as previous two terms. In this case, it can be obtained by using \(x_i\rightarrow x_i^{-1}\) transformation in Type 4 terms.
Thus, all eight types of terms present in the commutator (E.6) give zero contribution and the full commutator action, and hence, the commutator itself appears to be zero. So far we have shown it only in p and q expansion. But in principle this can be also proven analytically by computing positions of the poles and corresponding residues of all equalities we have checked in expansion. This way of proof is similar to the one we used in Appendix D to prove kernel property (4.2).
The last type of commutator identities we would like to prove is
But this commutator can be directly obtained from the previous commutator
\(\left[ {{\mathcal {O}}}_x^{(C_2;h_a;1,0)},\, {{\mathcal {O}}}_x^{(C_2;h_b;1,0)}\right] \) by the exchange \(p\leftrightarrow q\). Hence, all the arguments above work also for this commutator which as result is indeed equal to zero.
To summarize, in this Appendix we gave arguments in favor of all commutation relations (4.5). For the third commutator, we gave full analytic proof, while for the first and second we checked commutation relations perturbatively in p and q expansion to sufficiently high order.
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/.
About this article
Cite this article
Nazzal, B., Nedelin, A. \(C_2\) generalization of the van Diejen model from the minimal \((D_5,D_5)\) conformal matter. Lett Math Phys 113, 94 (2023). https://doi.org/10.1007/s11005-023-01714-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01714-7
Keywords
- Elliptic Integrable Systems
- Supersymmetric Field Theories
- Superconformal Index
- van Diejen model
- Matrix Models