Abstract
Integrable N-particle systems have an important property that the associated Seiberg–Witten prepotentials satisfy the WDVV equations. However, this does not apply to the most interesting class of elliptic and double-elliptic systems. Studying the commutativity conjecture for theta functions on the families of associated spectral curves, we derive some other non-linear equations for the perturbative Seiberg–Witten prepotential, which turn out to have exactly the double-elliptic system as their generic solution. In contrast with the WDVV equations, the new equations acquire non-perturbative corrections which are straightforwardly deducible from the commutativity conditions. We obtain such corrections in the first non-trivial case of \(N=3\) and describe the structure of non-perturbative solutions as expansions in powers of the flat moduli with coefficients that are (quasi)modular forms of the elliptic parameter.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Seiberg–Witten (SW) theory [1, 2] is a foundation of many branches of modern theory. It is a quasiclassical limit with respect to the peculiar \(\epsilon \)-variables of Nekrasov theory, which, on one side, is AGT related to the two-dimensional conformal theory, Chern–Simons and knot theories, and, on another side, is linked to a combinatorics of 3d partitions, tropical geometry of Calabi–Yau spaces, refined topological vertices, all these being described in terms of various matrix models and \(\beta \)-ensemble. Remarkably, Seiberg–Witten theory per se is just equivalent to the theory of integrable N-particle systems [3], thus all the above subjects should and do possess an interpretation in basic terms of group theory. This equivalence, however, implies and requires an extension of the well-known set of integrable models of the Calogero–Ruijsenaars type to include their duals [4–8] and, most important, the self-dual double-elliptic integrable system, of which just the very initial facts are already known [7, 9–12]. (There is another approach based on spectral dualities [13–18], for the last important development in this direction, also relevant for the double-elliptic case; see [19].)
Seiberg–Witten theory interprets the eigenvalues of Lax operator as a 1-form on the spectral curve and treats integrals along the A-cycles as flat moduli \(a_I\), while those along the B-cycles as the gradient \(\partial {\mathcal {F}}/\partial a_I\) of a function \({\mathcal {F}}(a)\) known as Seiberg–Witten prepotential. Such a description is possible due to symmetricity of the period matrix \(T_{IJ}=\partial ^2{\mathcal {F}}/\partial a_I\partial a_J\). From the point of view of Riemann surfaces, the procedure works only for some peculiar Seiberg–Witten families, namely, for those that are families of the spectral curves of integrable systems. It is natural to ask for a more straightforward definition in terms of the period matrix, not referring to the subtle question of enumerating integrable systems. At least, one could ask for some equation distinguishing the relevant functions \({\mathcal {F}}\left( a\right) \). An attempt of this kind was made in [20–24], where it was shown that many SW prepotentials satisfy the “generalized” WDVV equations [25, 26] (these should not be mixed with the ones studied in [27]: essential for SW theory is absence of a distinguished modulus providing a constant metric). The problem, however, was that “many” did not mean “all”: the most interesting elliptic systems (associated with the UV-finite SUSY theories) did not fit into this class (see also [28]). Since then, the question of “an exhaustive equation” for the prepotentials remains open.
In this paper, we make a considerable step toward resolving this longstanding problem: we suggest an equation for the perturbative prepotential, which is also non-linear, involve the third derivatives of the prepotential, but different from the generalized WDVV equation, and which turns out to have the most general double-elliptic system as its generic solution. We also demonstrate how the non-perturbative corrections are systematically built from this solution, but do not provide a complete description of the equation for the full non-perturbative prepotential. Also our very concrete formulas below are limited to the first essentially non-trivial example of \(N=3\) (three particles).
We obtain the equation by studying the conjecture of [7] that the Poisson-commuting Hamiltonians can be made from theta functions on the SW families of Riemann surfaces, with the Jacobian points \(z_I\) and flat moduli \(a_I\) playing the role of conjugate variables. Since moduli appear in the theta functions only through the period matrix \(T_{IJ}\), the involution conditions for the Hamiltonians are
These conditions can be simplified by rewriting them as z-independent relations, which was done in [12], and the result is the following set of equations:
where \({C^{\vec {\alpha }}_{ijk}}\) are the theta constants of genus g defined in (2.7) and \(g=N\). We already discussed some simple properties of (1.2) in [12], but now we show that these equations can be used to calculate the Seiberg–Witten prepotentials including their instanton corrections. In this sense, we propose the equations that follow from the integrability of SW theory. We present the calculations for the three-particle (\(N=3\)) elliptic integrable systems associated with the low-energy limit of \(\mathcal{N}=2\) SUSY gauge theories with adjoint matter hypermultiplets, the presentation being performed in the form allowing an immediate extension to an arbitrary number of particles N. These systems are: the elliptic Calogero–Moser system [29–32], which is related to the 4d theory [33–35], the elliptic Ruijsenaars system [4, 36], which is related to the 5d theory with one compactified Kaluza–Klein dimension [37], and the double-elliptic integrable system related to the 6d theory with two compactified Kaluza–Klein dimensions [7, 9, 10, 38].
We demonstrate that the non-perturbative prepotential is a series in flat moduli with the coefficients being modular forms. This fact is in a complete agreement with modular properties of the spectral curves of the corresponding integrable systems, and part of the behavior (the dependence on the quasimodular form \(E_2\)) is described by the modular anomaly equation [39] in the Calogero and the Ruijsenaars cases. In the double-elliptic case, it is more involved and will be discussed elsewhere [40].
2 Involutivity conditions
In this section, we recall the involutivity conditions obtained previously in [11, 12]. The N-particle Hamiltonians for the systems under consideration were constructed in [7, 9] and can be represented as follows:
where we use the Riemann theta functionFootnote 1 of genus \(g=N\) with the \(N\times N\) period matrix T of the corresponding Seiberg–Witten curve. This matrix is given by the prepotential \({\mathcal {F}}\) and is a function of just N flat moduli \(a_i\):
In previous work, the special property of the elliptic Calogero spectral curve was used to reduce the genus of the theta functions in (2.1) to \(N-1\). Here we introduce the genus N theta functions to obtain the equations for the prepotential. Also, the non-reduced form (2.1) allows one to study some other spectral curves, for example, corresponding to the theories with matter in the fundamental representation.
The Poisson commutativity of the Hamiltonians
is considered with respect to the Seiberg–Witten symplectic structure
Since (2.2) should be valid for arbitrary values of \(\mathbf {z}\), one can rewrite the involutivity conditions as a system of equations depending on the period matrix and its derivatives only. In [12], this was done with the help of the standard basis in the linear space of weight 3 theta functions:
The result is the following set of z-independent relations equivalent to the commutativity conditions (2.3):
where
The theta constants (2.7) have the following Fourier expansion:
with
It was also proven in [12] that for \(N=3\) relations (2.6) with \(\text {exp}\left( \frac{2\pi \imath }{3}\sum _l\alpha _l\right) \ne 1\) are trivial. The non-trivial relations can be reduced to the form
with
3 Equations for the perturbative Seiberg–Witten prepotential
The Seiberg–Witten prepotentials are usually presented as a sum of free parts: the classical, perturbative and instanton ones
We consider the special class of elliptic integrable systems associated with the low-energy limit of \(\mathcal{N}=2\) SUSY gauge theories with adjoint matter hypermultiplet. In this class of systems, the following general expression for the prepotential holds:
where m is the mass of the hypermultiplet, \(q=\text {exp}\left( 2\pi \imath \,\tau \right) \) and the elliptic parameter \(\tau \) is related to the gauge coupling e and to the \(\theta \)-angle of the gauge theory in the following way:
Another important property of the systems under consideration is the following condition on the period matrix \(T_{ij}\):
which means that the perturbative part \({\mathcal {F}}^{\text {pert}}\) and the instanton corrections \({\mathcal {F}}^{(k)}\) depend only on the differences \(\left( a_i - a_j\right) \) of the flat moduli \(a_i\) instead of the moduli themselves.
Now the involutivity conditions (2.6) can be considered as non-linear equations on the prepotential in the form (3.2). These equations depend on the second and the third partial derivatives of the prepotential with respect to the moduli \(a_i\):
Since the theta constants \(C^{\vec {\alpha }}_{ijk}\) from the involutivity conditions are exponentials of the period matrix (3.5), one gets a proper series expansion of (2.6) in powers of q. The equations on the perturbative prepotential \({\mathcal {F}}^{\text {pert}}\) arise in the first non-zero order of this expansion.
In this section, we present equations for the perturbative Seiberg–Witten prepotential obtained from the involutivity conditions (2.6) with different vectors \(\vec {\alpha }\in \mathbb {Z}^N/3\mathbb {Z}^N\). The expansion of \(C^{\vec {\alpha }}_{ijk}\) in powers of q can be derived with the help of the Fourier series (2.8). For \(\vec {\alpha }=\mathbf {0}\), one has in the first non-zero order
where \(\partial _i=\partial /\partial a_i\). Next, we consider the equations corresponding to the vectors \(\vec {\alpha }\) with two non-zero coordinates \(\alpha _i\), \(\alpha _j\), \(i\ne j\):
The first non-zero order in q reads
The vectors \(\vec {\alpha }\) with three non-zero coordinates \(\alpha _i\), \(\alpha _j\), \(\alpha _k\), \(i\ne j\ne k\)
give the following equations:
The equations for other non-zero vectors \(\vec {\alpha }\) different from (3.8) and (3.10) are more complicated, so we do not write them down explicitly. However, the whole system of equations (2.6) along with condition (3.4) provides the following set of equations:
which were proven for \(N=3,4,5\).
Since the Seiberg–Witten prepotentials are invariant under any permutation of the flat moduli \(a_i\), solutions to the Eqs. (3.9) and (3.12) are described by the following class of perturbative prepotentials:
where \(f\left( x\right) \) is an even function. In the known cases of elliptic integrable systems, this function reduces to \(x^2\) for the elliptic Calogero–Moser system, to \(\sinh \left( x\right) ^2\) for the elliptic Ruijsenaars system and to \(\text {sn}\left( x|\,\hat{\tau }\right) ^2\) for the double-elliptic system.
Now, using Eqs. (3.7) and (3.11), one can define the most general form of the function \(f\left( x\right) \). Here we would like to point out that our considerations are restricted by the strong condition (3.4), which gives
If one drops the condition (3.4), the diagonal elements of the period matrix become independent of the non-diagonal ones and Eq. (3.7) turns out to be essentially different from Eq. (3.11). This case could correspond to the theories with matter in the fundamental representation.
Introducing the notation
we rewrite Eq. (3.7) in the rational form. For the first non-trivial cases of three and four particles, one has
Consider the series expansion for an even function \(f\left( x\right) \)
Besides the trivial solution \(f\left( x\right) =\hbox {const}\), the both equations, (3.16) and (3.17) admit the following series solution:
where the coefficient \(e_0\) is rescaled with the help of mass parameter m in (3.15). Substituting (3.18) in (3.16) and (3.17) and solving each equation with respect to the coefficients \(e_n\), one gets the recurrence relations
and so on (see Appendix A). The same formulas are valid for Eq. (3.11). The most general function satisfying the recurrence relations (A.2)–(A.8) is
where the first parameter \(\beta ^{-1}\) corresponds to the first period \(\hat{\omega }_1\) of another, second torus with the elliptic parameter \(\hat{\tau }=\hat{\omega }_2/\hat{\omega }_1\). The second parameter \(\gamma \) corresponds to the simple shift in the classical prepotential \({\mathcal {F}}^{\text {class}}\) and the rescaling of the mass m, which can be seen from expression (3.13) for the perturbative prepotential. As a result, there is one essential parameter \(\hat{\tau }\) corresponding to the elliptic parameter of the second torus in the double-elliptic system. Finally, we present the most general solution (with respect to the second partial derivatives) to Eqs. (3.7), (3.9), (3.11), and (3.12) with property (3.4):
4 Non-perturbative corrections for \(N=3\)
In this section, we describe the method of constructing non-perturbative solutions of (2.6), which is based on the series expansion in powers of q. As we mentioned earlier, the first non-zero order in q depends only on the perturbative part of the prepotential; the second non-zero order incorporates the perturbative part and the first instanton correction and so on.
We start with the leading, perturbative order of (2.6). For \(N=3\), there are 5 different equations corresponding to different vectors \(\vec {\alpha }\in \mathbb {Z}^3/3\mathbb {Z}^3\):
where the last equation was simplified with the help of (3.4).
Expanding (2.6) up to the second non-zero order in q, one gets non-perturbative corrections to the above equations. The resulting equations depend on the perturbative part of the prepotential \({\mathcal {F}}^{\text {pert}}\) and on the first instanton correction \({\mathcal {F}}^{(1)}\). We use the relations obtained in the perturbative order and the notation \(F^{(0)}_{ij}\) from (3.15) to simplify the first non-perturbative corrections to (4.1)–(4.5), which acquire the form
One can calculate further non-perturbative equations up to any given order in q. In each consequent order, new instanton corrections \({\mathcal {F}}^{\left( k\right) }\) arise. We performed these calculations up to the 8th non-zero order in the expansion of (2.6), which provides equations for the first 7 instanton corrections.
Now we describe some simple methods to obtain solutions of (2.6). Having the general solution (3.24) for the perturbative prepotential, we substitute it into equations (4.6)–(4.10) for the first instanton correction. First of all, these equations define the pole structure of the correction \({\mathcal {F}}^{(1)}\). Since functions \(F^{(0)}_{ij}\) and the third derivatives of the perturbative prepotential \({\mathcal {F}}^{\text {pert}}\) exhibit poles only at \(a_i=a_j\), \(i\ne j\), the same is true for the first instanton correction. We note that the orders of poles are also restricted by the equations. The pole structure of the higher instanton corrections is defined in the same way by the preceding instanton corrections and the perturbative prepotential. Another important property is that the instanton part of the prepotential is a symmetric function of the differences \(\left( a_i-a_j\right) \). This property can be derived from Eq. (2.6) and the condition (3.4), we consider it as a natural ansatz.
To make use of these general considerations, we start with the elliptic Calogero–Moser system. In this case, the prepotential \({\mathcal {F}}^{\text {CM}}\) depends on two parameters: the elliptic modular parameter \(\tau \) and the mass m. The first parameter \(\tau \) gives the instanton expansion \(\sum _k q^k {\mathcal {F}}^{\left( k\right) }\). Each instanton correction \({\mathcal {F}}^{\left( k\right) }\) can be further decomposed as a series into powers of the second parameter m. This latter decomposition is also specified by Eq. (2.6) in each non-zero order in q. To make the calculations simpler, we use the homogeneity relation
The calculations begin with Eqs. (4.6)–(4.10), where we use the perturbative prepotential corresponding to the elliptic Calogero–Moser system. Decomposing this equations into powers of m and taking into the account the orders of poles at the points \(a_i=a_j\), \(i\ne j\), one gets a finite number of terms that could enter in the first instanton correction. In each term of a given degree of m (and a given pole structure), the dependence on the flat moduli \(a_i\) is fixed by the homogeneity relation (4.11) and by the symmetric properties of the prepotential. Introducing a linear combination of these terms with undetermined coefficients \(c_{\dots }\), we rewrite (4.6)–(4.10) as a system of linear equations on the coefficients. Moving on to the next instanton corrections, we apply the same method of undetermined coefficients. Similar methods can be applied for the elliptic Ruijsenaars system and the double-elliptic system, which we discuss in Sects. 6 and 7.
5 Elliptic Calogero–Moser system and 4d prepotential
In the case of the elliptic Calogero–Moser system, the first two instanton corrections were computed in [41] with the help of the spectral curve
of the Seiberg–Witten differential \(\text {d}\lambda = k\,\text {d}z\) and of a renormalization group equation for the variation of \({\mathcal {F}}\) with respect to \(\tau \) [41]:
where the right hand side coincides with the second order Hamiltonian of the Calogero–Moser system [29–31, 41] up to some \(a_i\)-independent term:
We compute first 4 instanton corrections using the curve (5.1) in Appendix B. In this section, we use Eq. (2.6) to define the structure of the instanton part of the 4d prepotential.
5.1 Instanton expansion
For the elliptic Calogero–Moser system, the perturbative part of the prepotential is
Using this expression and Eq. (2.6), one can calculate the instanton corrections to the prepotential \({\mathcal {F}}^{\text {CM}}\) as it was described in Sect. 4. Introducing the new variables
with the notation \({a_{ij}=\left( a_i-a_j\right) }\), we get the following expansion for the instanton part of the prepotential:
where
and the coefficients \(c_{n,i,j,l}\) are rational.
Equation (2.6) allow one to compute the coefficients \(c_{n,i,j,l}\) up to any finite instanton order. We computed the first 7 instanton corrections and the results suggest that the functions \(c_{n,i,j}\left( \tau \right) \) are quasimodular forms of level 1 and of weight \(6n-2i-2j\) up to some constant shifts (coming from the perturbative part of the prepotential):
and so on. This fact is in a perfect agreement with the modular properties of the curve (5.1), which we discuss below in Sect. 5.2.
Since the quasimodular forms of level 1 form a polynomial ring over the complex numbers in three generators (the Eisenstein series) [42]:
computing the coefficients \(c_{n,i,j,l}\) up to any finite instanton order allows one to obtain exact expressions for the functions \(c_{n,i,j}\left( \tau \right) \) with small enough weights. In particular, the first 7 instanton corrections allow one to determine the functions \(c_{n,i,j}\left( \tau \right) \) up to weight 14:
and the results are presented in Appendix C.
5.2 Modular properties
The spectral curve of the elliptic Calogero–Moser system (5.1) is given by the Lax matrix
The curve is invariant under the modular transformations
of the elliptic parameter \(\tau =\omega _2/\omega _1\).
Consider the definitions of the flat moduli \(a_i\) and their duals \(a^D_i\):
Since under the transformation \(\tau \rightarrow -1/\tau \) the cycles \(A_i\) and \(B_i\) interchange:
the same do the moduli
Thus, the period matrix \(T^{\text {CM}}\)
transforms as
In other words, the following equation holds:
The second modular transformation from (5.15) gives
The modular properties considered above were used by Minahan, Nemeschansky and Warner (MNW) [39] to derive the modular anomaly equation:
However, Eqs. (5.21) and (5.23) only describe dependence of the functions \(c_{n,i,j}\left( \tau \right) \) from (5.6) on the quasimodular form \(E_2\). To obtain the exact expressions like (5.8), one needs to use some additional information.
6 Elliptic Ruijsenaars system and 5d prepotential
The spectral curve of the elliptic Ruijsenaars system [43] can be written in the form
where
According to [43, 44], this curve corresponds to the five-dimensional theory. In the limit \(\beta \rightarrow 0\), one gets the spectral curve of the elliptic Calogero–Moser system with \(H\left( k\right) =\prod _{i=1}^{N}\left( k-k_i\right) \). In principle, the curve (6.1) could be used to calculate the 5d prepotential, as it was done [41] in the case of the 4d prepotential and the spectral curve (5.1). The resulting prepotential would depend on the three parameters \(\tau \), m, and \(\beta \).
6.1 Instanton expansion
As earlier, for finding the non-perturbative corrections to the prepotential, we start with the perturbative part
and use Eqs. (4.6)–(4.10) to define the first instanton correction. These equations can be decomposed in powers of m (with a finite number of terms in the decomposition) and solved order by order. After solving the equations for some first orders in m, we introduce the following ansatz: the instanton part of the 5d prepotential is a symmetric function of \(\left\{ \sinh \left( \beta \left( a_i-a_j\right) \right) \right\} \). This allows one to use the same method of undetermined coefficients, as in the 4d case. The only difference is that the homogeneity equation (4.11) does not work for the 5d prepotential and the undetermined coefficients \(c_{\dots }\) acquire the series expansion in powers of m. We probed this ansatz in the first 7 instanton corrections and calculated the corresponding coefficients.
To present the results, we introduce the following functions:
Then the instanton part of the prepotential \({\mathcal {F}}^{\text {RS}}\) for \(N=3\) acquires the form
where the functions \(c_{n,i,j}\left( m,\tau \right) \) admit the series expansion
with rational coefficients \(c_{n,i,j,k,l}\). The summation over indices i and j in (6.5) is taken specifically to avoid uncertainties related to the identities like
and similar ones for other functions \(s_{ij}\).
The coefficients in the expansions (6.6) are connected with the ring of quasimodular forms of level 1 in the following way. Consider functions of the elliptic parameter \(\tau \)
so that
Then \(c_{n,i,j,0}\left( \tau \right) \) coincide with the 4d functions \(c_{n,i,j}\left( \tau \right) \):
Other functions \(c_{n,i,j,k}\left( \tau \right) \) with \(k>0\) are linear combinations of the quasimodular forms with different weights that are not greater than \(6n-2i-2j+2k\) (up to some constant shifts):
and so on.
The peculiar properties of \(c_{n,i,j,k}\left( \tau \right) \) described above are due to the non-canonical choice of the parameters in the 5d prepotential. The parameter m is natural for the non-linear equations under consideration, since in each finite order in q the equations have finite expansions in powers of m. In Seiberg–Witten theory [24], the natural choice of the parameters is different: the three parameters are \(\tau \), \(\beta \), and \(\epsilon \). Comparing the second partial derivative of the perturbative 5d prepotential in the form (6.3) and the results from [24], we establish the connection between the parameters m and \(\epsilon \) as
Now, one can rewrite the whole 5d prepotential as a series in \(\epsilon \):
where
and the functions \(\tilde{c}_{n,i,j,k}\left( \tau \right) \) are proper quasimodular forms of weight \(6n-2i-2j+2k\):
Using the same method of obtaining exact expressions as in the 4d case, we determine the functions \(\tilde{c}_{n,i,j,k}\left( \tau \right) \), \(k>0\) up to weight 14 in Appendix D.
6.2 Modular properties
The spectral curve of the elliptic Ruijsenaars system [43] is invariant under the transformations
The definitions of the flat moduli \(a_i\) and their duals \(a^D_i\) are exactly the same as in the 4d case (5.16). This provides us with the following equations for the period matrix \(T^{\text {RS}}\):
and the modular anomaly equation in the MNW form,
Equations (6.23) and (6.25) describe dependence of the functions \(\tilde{c}_{n,i,j,k}\left( \tau \right) \) from (6.17) on the quasimodular form \(E_2\).
7 Double-elliptic system and 6d prepotential
The double-elliptic system corresponds to the most general solution of Eq. (2.6) with the property (3.4). As it was established in Sect. 3, the most general perturbative solution of (2.6) is
where
We compute the instanton part of the 6d prepotential by solving the non-perturbative equations arising in the expansion of (2.6) in powers of q. The most general solutions of these equations are symmetric functions of \(\left\{ \text {sn}\left( \beta \left( a_i-a_j\right) |\,{\hat{\tau }}\right) \right\} \) and, in the first non-trivial case of three particles, the instanton part of the 6d prepotential can be written in terms of the following variables:
The method of undetermined coefficients described in Sect. 4 works for the double-elliptic system with slight modifications: the undetermined coefficients \(c_{\dots }\) acquire the series expansion in powers of m and the new parameter \(\hat{q}\) (which is associated with the Kaluza–Klein compactification torus in the fifth and sixth dimensions),
This allows us to write the instanton part of the prepotential \({\mathcal {F}}^{\text {Dell}}\) for \(N=3\) as
where the functions \(\hat{c}_{n,i,j}\left( m,\tau ,\hat{\tau }\right) \) are given by the series expansions
with rational coefficients \(\hat{c}_{n,i,j,k,s,l}\) and the following notation:
However, the latter formulas do not fully describe summation over the indices k and s, since at higher orders in q some coefficients \(\hat{c}_{n,i,j,k,s,l}\) are systematically vanish.
We calculated first 6 instanton corrections in the form (7.4) and the coefficients in the corresponding expansions (7.5) once again suggest the connection of the functions \(\hat{c}_{n,i,j}\left( m,\tau ,\hat{\tau }\right) \) with the ring of quasimodular forms. As in the 5d case, the connection is more transparent with the proper choice of the mass parameter. In the 6d case, the natural mass parameter \(\epsilon \) is related to the parameter m in the following way:
Rewriting the whole 6d prepotential as a series in \(\epsilon \), we get
where
and
Using the computed coefficients in the expansions (7.5), we determine the exact expressions for a few first functions \(C_{n,i,j,k}\left( \tau ,{\hat{\tau }}\right) \):
and so on. Clearly, there is no point in writing down all the terms in the series (7.10), since some of the functions \(C_{n,i,j,k,s}\left( \tau \right) \) coincide with the 5d functions \(\tilde{c}_{n,i,j,k}\left( \tau \right) \).
First of all, the degeneration of the 6d prepotential to the 5d one provides us with the following relations:
and the results for \(\tilde{c}_{n,i,j,k}\left( \tau \right) \) can be found in Appendix D. Another simple set of relations is given by direct computation of the functions \(C_{n,i,j,k,k}\left( \tau \right) \) up to weight 12:
Thus, the only new functions arising in the 6d prepotential compared to the 5d one are \(C_{n,i,j,k,s}\left( \tau \right) \) with \(0<s<k\). The first example of such a function is \(C_{11121}\left( \tau \right) \), and it is written down in (7.12) as
In general, the functions \(C_{n,i,j,2,1}\left( \tau \right) \) have the following form:
As we have seen in the 5d case, combinations of quasimodular forms with different weights appear, when some of the parameters in the prepotential are not appropriately chosen. The form of the functions \(C_{n,i,j,2,1}\left( \tau \right) \) imply that the parameter \(\tau \) in the 6d prepotential (7.8) should be shifted by some function of \(\epsilon \) and \({\hat{\tau }}\):
Computing the exact expressions for other functions \(C_{n,i,j,k,s}\left( \tau \right) \) with \(k>2\), \(0<s<k\), we determine the shift of the parameter \(\tau \) as
Finally, we obtain the proper set of parameters for the 6d prepotential, which is \(\epsilon \), \(\beta \), \(\tau '\), and \({\hat{\tau }}\). Then the series expansion in powers of \(\epsilon \) for the prepotential \({\mathcal {F}}^{\text {Dell}}\) acquires the form
where
and the functions \(\widehat{C}_{n,i,j,k,s}\left( \tau '\right) \) are the quasimodular forms of weight \(6n-2i-2j+2k\). The first 6 instanton corrections allow us to obtain the exact expressions for \(\widehat{C}_{n,i,j,k,s}\left( \tau '\right) \) up to weight 12. Since the change of the parameter \(\tau \) does not affect the relations (7.16),
we only need to write down the results for the functions \(\widehat{C}_{n,i,j,k,s}\left( \tau '\right) \) with \(0<s<k\), which is done in Appendix E.
8 Conclusion
We proposed new non-linear equations that allow one to effectively describe the instanton expansions for the Seiberg–Witten prepotentials associated with the \(N=3\) elliptic Calogero–Moser system (4d case), the \(N=3\) elliptic Ruijsenaars system (5d case) and the \(N=3\) double-elliptic integrable system (6d case). All the instanton expansions can be written in a universal manner as expansions in powers of flat moduli (including the adjoint matter hypermultiplet mass) with coefficients that are quasimodular forms of the elliptic parameter. Although the results are given for the first non-trivial case of \(N=3\), the generalization to the case of \(N>3\) is straightforward. To obtain the instanton expansions for the general case with \(N>3\), one should replace the \(N=3\) functions \(s_{ij}\left( \mathbf a \right) \), \(t\left( \mathbf a \right) \) (5.5), (6.4), (7.2) by other sets of functions \(s_{i_1 i_2\dots i_n}\left( \mathbf a \right) \), \(t\left( \mathbf a \right) \) depending on all differences \(\left( a_i-a_j\right) \), \(i,j=1,\dots , N\).
An interesting problem is to describe the modular properties of the 6d spectral curve corresponding to the double-elliptic system. The quasimodular properties of the coefficients in the expansion (7.21) of the 6d prepotential suggest that, similar to the 4d and 5d cases (Eqs. (5.23) and (6.25) respectively), there exists a 6d modular anomaly equation. We are going to address this problem elsewhere [40].
Notes
The Riemann theta function with characteristics \(\varvec{a},\varvec{b}\in \mathbb {Q}\) and \(g\times g\) period matrix T is
$$\begin{aligned} \theta \left[ {\begin{array}{l} \mathbf{a}\\ \mathbf{b} \end{array}} \right] (z\left| T \right. ) = \sum \limits _{\mathbf{n} \in {^g}} \text {exp} \;\left( {\imath \pi {{(\mathbf{n} + \mathbf{a})}^t}T(\mathbf{n} + \mathbf{a}) + 2\imath \pi (\mathbf{n} + \mathbf{a}) \cdot (z + \mathbf{b})} \right) \end{aligned}$$where \(\mathbf{a}\), \(\mathbf{b}\), and \(\mathbf{n}\) are g-dimensional vectors.
References
N. Seiberg, E. Witten, Electric-magnetic duality, monopole condensation, and confinement in \(N=2\) supersymmetric Yang–Mills theory. Nucl. Phys. B 426, 19–52 (1994). arXiv:hep-th/9407087
N. Seiberg, E. Witten, Monopoles, duality and chiral symmetry breaking in \({\cal N}=2\) supersymmetric QCD. Nucl. Phys. B 431, 484–550 (1994). arXiv:hep-th/9408099
A. Gorsky, I. Krichever, A. Marshakov, A. Mironov, A. Morozov, Integrability and exact Seiberg–Witten solution. Phys. Lett. B 355, 466–477 (1995). arXiv:hep-th/9505035
S.N.M. Ruijsenaars, Action-angle maps and scattering theory for some finite-dimensional integrable systems. Commun. Math. Phys. 115(1), 127–165 (1988)
S.N.M. Ruijsenaars, Action-angle maps and scattering theory for some finite-dimensional integrable systems. iii. Sutherland type systems and their duals. Publ. RIMS 31, 247 (1995)
V. Fock, A. Gorsky, N. Nekrasov, V. Rubtsov, Duality in integrable systems and gauge theories. JHEP 0007, 028 (2000). arXiv:hep-th/9906235
A. Mironov, A. Morozov, Commuting Hamiltonians from Seiberg–Witten theta-functions. Phys. Lett. B 475(1), 71–76 (2000). arXiv:hep-th/9912088
A. Gorsky, A. Mironov, Integrable many-body systems and Gauge theories (2000). arXiv:hep-th/0011197
H.W. Braden, A. Marshakov, A. Mironov, A. Morozov, On double-elliptic integrable systems 1. A duality argument for the case of SU(2). Nucl. Phys. B 573(1), 553–572 (2000). arXiv:hep-th/9906240
A. Mironov, A. Morozov, Double elliptic systems: problems and perspectives (2000). arXiv:hep-th/0001168
G. Aminov, A. Mironov, A. Morozov, A. Zotov, Three-particle integrable systems with elliptic dependence on momenta and theta function identities. Phys. Lett. B 726(4–5), 802–808 (2013). arXiv:1307.1465 [hep-th]
G. Aminov, H.W. Braden, A. Mironov, A. Morozov, A. Zotov, Seiberg–Witten curves and double-elliptic integrable systems. J. High Energy Phys. 2015(1), 1–15 (2015)
E. Mukhin, V. Tarasov, A. Varchenko, Bispectral and \(({\mathfrak{gl}}_N,{\mathfrak{gl}}_M)\) dualities. arXiv:math/0510364
E. Mukhin, V. Tarasov, A. Varchenko, Bispectral and \(({\mathfrak{gl}}_N,{\mathfrak{gl}}_M)\) dualities, discrete versus differential. Adv. Math. 218, 216–265 (2008). arXiv:math/0605172
L. Bao, E. Pomoni, M. Taki, F. Yagi, M5-branes, toric diagrams and gauge theory duality. J. High Energy Phys. 1312, 105 (2012). arXiv:1112.5228 [hep-th]
A. Mironov, A. Morozov, Y. Zenkevich, A. Zotov, Spectral duality in integrable systems from AGT conjecture. JETP Lett. 97(1), 45–51 (2013). arXiv:1204.0913 [hep-th]
A. Mironov, A. Morozov, B. Runov, Y. Zenkevich, A. Zotov, Spectral duality between Heisenberg Chain and Gaudin model. Lett. Math. Phys. 103(3), 299–329 (2013). arXiv:1206.6349 [hep-th]
A. Mironov, A. Morozov, B. Runov, Y. Zenkevich, A. Zotov, Spectral dualities in XXZ spin chains and five dimensional gauge theories. J. High Energy Phys. 2013(34) (2013). arXiv:1307.1502 [hep-th]
A. Mironov, A. Morozov, Y. Zenkevich, Spectral duality in elliptic systems, six-dimensional gauge theories and topological strings. J. High Energy Phys. 05, 1–44 (2016). arXiv:1603.00304 [hep-th]
A. Marshakov, A. Mironov, A. Morozov, WDVV-like equations in n = 2 SUSY Yang–Mills theory. Phys. Lett. B 389, 43–52 (1996). arXiv:hep-th/9607109
A. Marshakov, A. Mironov, A. Morozov, WDVV equations from algebra of forms. Mod. Phys. Lett. A 12, 773–788 (1997). arXiv:hep-th/9701014
A. Marshakov, A. Mironov, A. Morozov, More evidences for the WDVV equations in n = 2 SUSY Yang–Mills theory. Int. J. Mod. Phys. A 15, 1157–1206 (2000). arXiv:hep-th/9701123
A. Marshakov, A. Mironov, 5d and 6d supersymmetric gauge theories: prepotentials from integrable systems. Nucl. Phys. B 518, 59–91 (1998). arXiv:hep-th/9711156
H.W. Braden, A. Marshakov, A. Mironov, A. Morozov, Seiberg–Witten theory for a non-trivial compactification from five to four dimensions. Nucl. Phys. B 448(3), 195–202 (1999). arXiv:hep-th/9812078
E. Witten, On the structure of the topological phase of two-dimensional gravity. Nucl. Phys. B 340, 281–332 (1990)
R. Dijkgraaf, H. Verlinde, E. Verlinde, Topological strings in d \(<1\). Nucl. Phys. B 352, 59–86 (1991)
B. Dubrovin, Geometry of 2d Topological Field Theories. Lecture Notes in Mathematics, vol. 1620 (Springer, Berlin, 1996). arXiv:hep-th/9407018
H.W. Braden, A. Marshakov, A. Mironov, A. Morozov, WDVV Equations for 6d Seiberg–Witten theory and bi-elliptic curves. Acta Applicandae Mathematicae 99(3), 223–244 (2007). arXiv:hep-th/0606035
F. Calogero, Exactly solvable one-dimensional many-body problems. Lettere al Nuovo Cimento 13(11), 411–416 (1975)
F. Calogero, On a functional equation connected with integrable many-body problems. Lettere al Nuovo Cimento 16(3), 77–80 (1976)
J. Moser, Three integrable Hamiltonian systems connected with isospectral deformations. Adv. Math. 16, 1–23 (1975)
M.A. Olshanetsky, A.M. Perelomov, Classical integrable finite-dimensional systems related to Lie algebras. Phys. Rep. 71(5), 313–400 (1981)
R. Donagi, E. Witten, Supersymmetric Yang–Mills theory and integrable systems. Nucl. Phys. B 460, 299–334 (1996). arXiv:hep-th/9510101
H. Itoyama, A. Morozov, Integrability and Seiberg–Witten theory; curves and periods. Nucl. Phys. B 477, 855–877 (1996). arXiv:hep-th/9511125
H. Itoyama, A. Morozov, Prepotential and the Seiberg–Witten theory. Nucl. Phys. B 491, 529–573 (1997). arXiv:hep-th/9512161
S.N.M. Ruijsenaars, Complete integrability of relativistic Calogero–Moser systems and elliptic function identities. Commun. Math. Phys. 110(2), 191–213 (1987)
H.W. Braden, A. Marshakov, A. Mironov, A. Morozov, The Ruijsenaars–Schneider model in the context of Seiberg–Witten theory. Nucl. Phys. B 558(1–2), 371–390 (1999). arXiv:hep-th/9902205
H.W. Braden, T.J. Hollowood, The curve of compactified 6D gauge theories and integrable systems. J. High Energy Phys. 12, 023, 20 pp. (2003) (electronic)
J.A. Minahan, D. Nemeschansky, N.P. Warner, Instanton expansions for mass deformed N \(=\) 4 super Yang–Mills theories. Nucl. Phys. B 528(1–2), 109–132 (1998). arXiv:hep-th/9710146
G. Aminov, A. Mironov, A. Morozov, To appear
E. D’Hoker, D.H. Phong, Calogero–Moser systems in SU(N) Seiberg–Witten theory. Nucl. Phys. B 513(1–2), 405–444 (1998)
N.I. Koblitz, Introduction to Elliptic Curves and Modular Forms, vol. 97 (Springer Science and Business Media, Berlin, 2012)
H.W. Braden, A. Marshakov, A. Mironov, A. Morozov, The Ruijsenaars–Schneider model in the context of Seiberg–Witten theory. Nucl. Phys. B 558(1–2), 371–390 (1999). arXiv:hep-th/9902205
N. Nekrasov, Five-dimensional gauge theories and relativistic integrable systems. Nucl. Phys. B 531(1–3), 323–344 (1998). arXiv:hep-th/9609219
Acknowledgments
Our work is partly supported by RFBR Grants 15-02-04175 (G.A.), 16-01-00291 (A.Mir.), 16-02-01021 (A.Mor.), by Grants mol-a-ved 15-31-20484 (G.A.), mol-a-ved 15-31-20832 (A.Mor), mol-a 16-32-00920 (G.A.) and by joint Grants 15-51-52031-NSC-a, 15-52-50041-YaF and 16-51-53034-GFEN.
Author information
Authors and Affiliations
Corresponding author
Appendices
Recurrence relations for the coefficients \(e_n\)
In this appendix, we present recurrence relations for the coefficients in the series expansion
For the first 10 coefficients, these are
Instanton corrections from the spectral curve (5.1)
This appendix is based on Ref. [41] by D’Hoker and Phong, where the first and the second instanton corrections were calculated. We calculate here the first 4 instanton corrections with the help of the spectral curve (5.1).
The spectral curve of the elliptic Calogero–Moser system can be rewritten in the form
where
and \(k_i\) are classical order parameters in Seiberg–Witten theory.
Introducing the new variable y:
we get the following equation for the curve:
with
The classical and perturbative parts of the prepotential are well known:
The simplest way to calculate the instanton corrections \({\mathcal {F}}^{(k)}\) is to use the following equations:
where the integration contours are taken around the cuts (including the points \(k_i\)) on the corresponding sheets. The differentials can be rewritten as:
Since one can choose the integration contours located at a finite fixed distance from the points \(k_i\), the functions \(\eta _n\) in the integrand remain finite as \(q\rightarrow 0\), and Eq. (B.4) can be used. The instanton corrections are calculated by the residue methods only [41], and the answer depends on the functions \(S_{n,i}\left( k\right) \) and \(P_{n,i}\left( k\right) \):
where
Computing \(\log \left( y\right) \) up to the fourth order in q, one gets
where \(\eta _{n,1}=\eta _n\left( k,1\right) \) and \(\eta _{n,-1}=\eta _n\left( k-m,-1\right) \). In the first and the second orders, only the function \(\eta _{1,1}\) exhibits poles at \(k=k_i\). Thus, in the first and the second instanton orders, only the function \(S_{1,i}\left( k\right) \) appears. In the third and the fourth orders, both the functions \(S_{n,i}\left( k\right) \) and \(P_{n,i}\left( k\right) \) contribute, but the second one appears in the following combinations only:
which do not contain the “anomalous” poles at the points \(k=k_i+m\). This means that the “anomalous” poles of the functions \(P_{n,i}\left( k\right) \) cancel out in the expressions for all relevant quantities. In particular, none of the functions \(k_i\left( \mathbf a \right) \) in (B.8) contain “anomalous” poles, as well as the instanton corrections (at least up to the fourth order).
Now we use (B.7) to calculate \(a_i\)’s:
Then, inverting the dependence in (B.19), we obtain the first 4 instanton corrections. Before writing them down, we would like to notice that in the three-particle case (\(N=3\)) all corrections agree with the expansion (5.6). The explicit expressions for the first 3 corrections are
where we insert \(a_i\)’s instead of \(k_i\)’s in all functions \(S_{n,i}\left( a\right) \) and \(P_{n,i}\left( a\right) \). The expression for the fourth instanton correction is too long, so we just use Eq. (B.8) and compare the result with (5.6).
4d functions \(c_{n,i,j}\left( \tau \right) \)
The functions listed in Eq. (5.12) are
5d functions \(\tilde{c}_{n,i,j,k}\left( \tau \right) \), \(k>0\)
The functions with weights not greater than 14 are
6d functions \(\widehat{C}_{n,i,j,k,s}\left( \tau '\right) \), \(0<s<k\)
Here we present the functions \(\widehat{C}_{n,i,j,k,s}\left( \tau '\right) \), \(0<s<k\) up to weight 12:
The exact expressions are
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Aminov, G., Mironov, A. & Morozov, A. New non-linear equations and modular form expansion for double-elliptic Seiberg–Witten prepotential. Eur. Phys. J. C 76, 433 (2016). https://doi.org/10.1140/epjc/s10052-016-4267-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-016-4267-6