Abstract
We develop a self-consistent approach to study the spectral properties of a class of quantum mechanical operators by using the knowledge about monodromies of \(2\times 2\) linear systems (Riemann–Hilbert correspondence). Our technique applies to a variety of problems, though in this paper we only analyse in detail two examples. First we review the case of the (modified) Mathieu operator, which corresponds to a certain linear system on the sphere and makes contact with the Painlevé \(\mathrm {III}_3\) equation. Then we extend the analysis to the 2-particle elliptic Calogero–Moser operator, which corresponds to a linear system on the torus. By using the Kyiv formula for the isomonodromic tau functions, we obtain the spectrum of such operators in terms of self-dual Nekrasov functions (\(\epsilon _1+\epsilon _2=0\)). Through blowup relations, we also find Nekrasov–Shatashvili type of quantizations (\(\epsilon _2=0\)). In the case of the torus with one regular singularity we obtain certain results which are interesting by themselves. Namely, we derive blowup equations (filling some gaps in the literature) and we relate them to the bilinear form of the isomonodromic deformation equations. In addition, we extract the \(\epsilon _2\rightarrow 0\) limit of the blowup relations from the regularized action functional and CFT arguments.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 The results of this paper are based on the interplay between different branches of mathematical physics. The key objects are 1d quantum mechanical operators, Painlevé equations, monodromies of \(2\times 2\) linear systems [1,2,3,4,5,6], 4d Nekrasov partition functions [7, 8], blowup relations [9, 10] and conformal blocks [11,12,13]. At the center of this circle of connections lie linear systems. We usually denote such system as
where \(A(z)\) is a \(2\times 2\) matrix, \(Y(z)=(Y_1(z),Y_2(z))^t\).
One can also rewrite the linear system (1.1) as a second order differential equation in \(Y_1(z)\). To remove the first derivative term from this equation we also need to rescale \(Y_1(z)\) by switching to \({\widetilde{Y}}_1(z)=\left( A_{12}(z) \right) ^{-1/2}Y_1(z)\). This function satisfies a Schrödinger–type equation of the form
However, \(W(z)\) is not yet a good quantum mechanical potential because, first of all, it has extra singularities at the zeros of \(A_{12}(z)\) (so-called apparent singularities). To work with an actual quantum mechanical problem we demand that apparent singularities are hidden inside the actual singularities of \(A(z)\). In this case the potential simplifies. We call the simplified version \(U(z)\). Then we get the actual Schrödinger equation we are interested in:
Under some special conditions on the monodromies of the linear system (1.1) the function \({\widetilde{Y}}_1(z)\) becomes square integrable on some one-dimensional domain of the complex plane. Hence we get the eigenfunctions for a certain 1d quantum mechanical operator (and the corresponding formulas for its discrete spectrum) in terms of the solution to the isomonodromic deformation equations. Indeed, the monodromy data of A(z) are encoded in these equations.
In the simplest case these isomonodromic deformation equations are Painlevé equations, see [14] for a review and a list of references. Among the corresponding quantum mechanical operators we recover the cubic, quartic and hyperbolic cosine potentials as well as (confluent) Heun’s equation whose appearance in the context of Painlevé equations was also discussed in [15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31].
Another case, which is also considered in this paper, is the linear system on the torus with one regular singular point of A(z). The corresponding operator is the 2-particle elliptic Calogero–Moser operator (4.33).
1.2 In the seminal paper [32] Gamayun, Iorgov and Lisovyy suggested a formula for the tau function of Painlevé \(\mathrm VI\) as a sum of \(c=1\) Virasoro conformal blocks.Footnote 1 In the last ten years this relation was proven and generalized to many other isomonodromic deformation problems, see for example [41,42,43,44,45,46,47,48]. In particular, the generalization to the isomonodromic problem on the torus was recently worked out in [49,50,51].
Due to the AGT correspondence [52] conformal blocks essentially coincide with Nekrasov partition functions. Hence, the aforementioned result can be stated as a formula expressing the solution to the isomonodromic deformation problem in terms of the self-dual (i.e. \(\epsilon _1+\epsilon _2=0\)) Nekrasov partition functions.Footnote 2 To be more precise, the isomonodromic tau function is equal to the Nekrasov–Okounkov dual partition function [8]. This correspondence is sometimes referred to as Isomonodromy/CFT/gauge theory correspondence. The formula for the tau function is usually called “Kyiv formula”, named after [32].
Using this correspondence, and the discussion of paragraph 1.1, we get the exact formulas for the quantization conditions of the operators (1.3) in terms of self-dual Nekrasov functions. More precisely the spectrum of (1.3) will be obtained by imposing (among other things) the vanishing of a suitable combination of isomonodromic tau functions.Footnote 3
This also connects with the observation [15, 16, 18,19,20,21] that movable poles in Painlevé \({\mathrm{III}}_3\), \({\mathrm{I I}}\) and \({\mathrm{I}}\) are closely connected to the spectrum of a class of quantum mechanical operators. Within our framework this observation can be straightforwardly generalised to other isomonodromic deformation problems, the corresponding quantum operator is simply obtained from (1.3).
1.3 There is another remarkable way to write down the discrete spectrum of these operators due to Nekrasov and Shatashvili (NS). In this approach the main ingredient is the NS limit (i.e. \(\epsilon _2\rightarrow 0\)) [56,57,58] of Nekrasov functions. Compatibility between these two approaches follows from a special limit of Nakajima–Yoshioka blowup relations [9, 10]. From this perspective one can view our results as an independent derivation of the NS formulas [57, 58].
Let us note however that the NS approach to spectral theory has some restrictions, for example when it comes to study the edges of the bands in periodic potentials, see for instance [59], or the spectrum of relativistic integrable systems, see for instance [55]. On the contrary thinking in terms of vanishing of isomonodromic tau functions provides a unifying framework which naturally extends also to these situations. We discuss this briefly at the end of Sect. 8.
The connection between the self-dual and the NS limits of Nekrasov functions (or \(c=1\) and \(c=\infty \) conformal blocks) has been discussed in various contexts over the past few years. For example, by using quantization conditions as motivation, a five dimensional version of such relations was first proposed in [60]. The idea to use the \(\epsilon _2\rightarrow 0\) limit of blowup relations for such problem can be found in [61].Footnote 4 More recently, in [64,65,66], a four dimensional version of these relations has been applied in the context of Painlevé equations and spectral theory. We will discuss this further in the main text. Finally, in [67,68,69] blowup equations for Nekrasov function with defects have been used to provide a direct link between the work of [32] and the work of [21] which relates the \(c\rightarrow \infty \) limit of the \(N_f=4\) BPZ equation to the Hamilton–Jacobi equation of Painlevé VI, see also [31]. This has provided an alternative derivation for [32] as well as a gauge theoretical meaning of the monodromy parameter \(\eta \) appearing in the Kyiv formula.
1.4 This paper is structured as follows.
In Sect. 2 we accurately formulate the relationship between \(2\times 2\) linear systems and quantum mechanical operators. In order to get such operators (and the corresponding spectrum) we have to fulfil three constraints: the singularities matching condition, the reality condition and the square integrability of the solution.
In Sect. 3 we apply this procedure to the example of Painlevé \({\mathrm{III}}_3\) whose associated \(2\times 2\) linear system is (3.2). The corresponding operator is the (modified) Mathieu
We find that the operator spectrum is given by
where \({\mathcal {T}}_0(\sigma ,\eta ,t)\) is the Painlevé \({\mathrm{III}}_3\) tau function, and \((\sigma _n,\eta _n)\) are solutions ofFootnote 5
The variables \((\sigma , \eta )\) are the monodromy data of the associated \(2\times 2\) linear system given in (3.2) and they specify the initial conditions for the Painlevé \({\mathrm{III}}_3\) equation. In this language equation (1.6) corresponds to the singularity matching condition while (1.7) is the normalizability condition. See Sect. 3 for the details. Thanks to the Kyiv formula (3.10), \( {\mathcal {T}}_0\) is computed explicitly by using \(c=1\) conformal blocks. Hence (1.5)–(1.7) completely determine the spectrum of (1.4) in terms of the self-dual (\(\epsilon _1+\epsilon _2=0\)) Nekrasov function. The results of this section also overlap with [64, 65].
In Sect. 4 we extend the analysis to the case of isomonodromic deformation on the one punctured torus. The associated \(2\times 2\) linear system is given in (4.1) and the isomonodromy equation corresponds to an elliptic form of Painlevé VI (the non-autonomous classical elliptic Calogero–Moser system (4.4)). In this example our procedure leads naturally to two quantum operators
which correspond to the 2-particle quantum elliptic Calogero–Moser operator. As in the previous case, the operator spectrum is obtained by asking some particular constraints on monodromy data of linear system (4.1). However, unlike in the previous case, here we have two charts parametrising the monodromy data of the linear system. We denote the corresponding coordinates as \((\sigma , \eta ) \) and \((\sigma , {\tilde{\eta }}).\) In addition, to satisfy the condition of reality here we have several different options which require independent considerations, see Table 1.
Schematically, the spectrum of (1.8) is given byFootnote 6
where \(Z_0\) is essentially the isomonodromic tau function on the torus as in (4.8). We also denoted by \((\sigma _n^{{\mp }}, \eta _n^{{\mp }})\) the set of values which satisfies the singularity matching condition (4.19)
as well as the normalizability condition listed in Table 2. Note that the solutions to such equations contain simultaneously the spectrum of \(\mathrm {O}_+\) and \(\mathrm {O}_-\). Hence one still has to disentangle such solutions and map them either to \(\mathrm {O}_+\) or to \(\mathrm {O}_-\). The Kyiv formula (4.13) give us \(Z_{1/2}\) and \(Z_{0}\) in terms of \(c=1\) conformal blocks. Hence the spectrum of (1.8) is completely determined in terms of self-dual (\(\epsilon _1+\epsilon _2=0\)) Nekrasov function.
In Sect. 5 we discuss the compatibility between our results and the Nekrasov–Shatashvili (NS) exact quantization. For the Painlevé \({\mathrm{III}}_3\) example we essentially follow [64, 65] with slight improvement. For the example of the torus these results are new. Even blowup relations for the four-dimensional \({\mathcal {N}}=2^*\) theory were not written explicitly in the literature (see [63] for the 5d version of some of these equations). For example, by using blowup equations we show that the solutions \(\eta _\star ^{{\pm }}\) to the singularity matching condition (1.10) can be expressed as
where \(F^{\mathrm{NS}}\) is the \(c\rightarrow \infty \) conformal blocks on the torus.
In Sect. 6 we derive some new results for the isomonodromic problem associated to the linear system on the torus with one regular singular point. More precisely, we show that the isomonodromic equation for the corresponding tau function takes the form of a very simple bilinear relation which is written in equation (4.12) and reads ( \({\mathfrak {q}}={\mathrm{e}}^{2\pi {\mathrm{i}}\tau }\))
where \(\tilde{{Z}}_{\epsilon }^D(\sigma ,m, \eta ,\tau )= \eta (\tau ) {Z}_{\epsilon }^D(\sigma ,m, \eta ,\tau ).\) Such relation generalise to the torus setup the well known Hirota-like equations characterising the Painlevé \({\mathrm{III}}_3\) tau functions. We use them, as well as the \({\mathcal {N}}=2^*\) blowup relations, to provide an alternative proof for the result of [49].
In Sect. 7 we deduce the NS limit of the blowup relations from the regularized action functional and CFT arguments. This is done by following the method developed in [65], which was also inspired by the works of [18, 21].
Finally, in Sect. 8 we conclude by discussing some other examples and generalisations.
There are five appendices which contain definitions (“Appendices A and D”), additional tests (“Appendix B”), technical details (“Appendix C”), and some proofs (“Appendix E”).
2 General Idea
The main idea can be outlined as follows. We start from a \(2\times 2\) linear system
For a given matrix
the global monodromy of the solution
is fixed. However, the opposite is generically not true. Given a solution Y(z) with a corresponding monodromy, we can find a parametric family of matrices A(z, t) realising such solution. We refer to A(z, t) as the set of isomonodromic deformations of A(z). One can then deduce that Y(z, t) satisfies the following system (see for instance [14, Ch. 4])
where B(z, t) can be obtained with a suitable procedure once A(z, t) is known. The system (2.4) comes together with a compatibility condition
which can be written as
If z is a coordinate on the 4-punctured \({{\mathbb {C}\mathbb {P}}^1}\) and \(A(z,t)\in sl(2, {{\mathbb {C}}})\) is suitably chosen, then (2.6) takes the form of a Painlevé equation, see for instance [14, Ch. 4]. The matrices A(z, t) and B(z, t) are also known as Lax pairs. We claim that for a given isomonodromic problem, characterised by A(z, t), we can associate a corresponding quantum mechanical operator
whose exact spectrum is computed using the tau function of the original isomonodromic problem.
We proceed as follows. We wish to rewrite the linear system in the form of a 2nd order linear equation for \(Y_1(z,t)\). From the first equation in (2.1) we have:
where by \('\) we denote the derivative w.r.t. z. By plugging \(Y_2(z,t)\) back into (2.1) we get
To remove the first derivative part we define:
The resulting equation is
where
Furthermore, we want \({\widetilde{Y}}_1(z,t)\) to give the eigenfunction for some quantum mechanical problem. To achieve this we need to fulfil several requirements:
-
1.
Let us denote the zero of \(A_{12}(z,t)\) by \(z_0\). Due to the change of variable (2.10), the equation (2.11) has apparent singularity (singularity with trivial monodromy \((-1)\)) at \(z=z_0\). We require that such apparent singularities match with the existing singularities of A(z, t). We refer to this constraint as singularities matching condition. This requirement gives some restrictions on the matrix elements of \(A(z,t)\) and has two consequences.
-
(a)
On one hand such restriction leads to a further simplification of the potential
$$\begin{aligned} W(z,t) \quad \xrightarrow [\text {condition}]{\text { singularities matching}} \quad U(z,t). \end{aligned}$$(2.13) -
(b)
On the other hand \(A(z,t)\) are dynamical variables in the isomonodromic problem. Hence the aforementioned condition can be written as a vanishing condition involving some particular combination of isomonodromic tau functions.
-
(a)
-
2.
We want the operator \( {\mathrm{e}}^{{\mathrm{i}}\alpha }\left( \partial ^2_z-U(z,t)\right) \) to be self-adjoint on some one-dimensional domain \({\mathcal {C}}\) in the variable \(z\) and for some values of \(\alpha \). This requirement gives some reality conditions for the parameters of the potential and for the domain of z.
-
3.
We also demand that \({\widetilde{Y}}_1(z,t)\) is normalizable. For periodic potentials we don’t need this condition. For confining potentials this condition, together with point (b) above, gives an equation for the spectrum. More precisely, it gives some constraints on the monodromy data: the transport matrix between two singular points should map regular solutions to regular solutions. This is a very standard idea from quantum mechanics, but in contrast to the usual quantum mechanical problems, here the monodromies of \({\widetilde{Y}}_1(z,t)\) are known by construction.
In this way we get a self-consistent approach which allows us to study the spectrum of some quantum mechanical operators by using the knowledge about isomonodromic deformations. In Sects. 3 and 4 we illustrate this procedure in details for the example of Painlevé \({\mathrm{III}}_3\) and for the isomonodromic deformation on the torus.
3 Modified Mathieu Equation and Painlevé \({\mathrm{III}}_3\)
In this section we will apply the strategy presented in Sect. 2 to the isomonodromic problem leading to the Painlevé \({\mathrm{III}}_3\) equation. As explained below, the relevant quantum operator in this context is the modified Mathieu, or 2-particle quantum Toda Hamiltonian. Connection between the spectrum of modified Mathieu and the poles of Painlevé \({\mathrm{III}}_3\) have been observed for instance in [16, 18, 70] at the level of asymptotic expansions as well as numerically. This interplay was recently revisited in [64, 65] from the optic of the \(\Omega \) background and blowup equations.
We follow [45] (some formulas for Painlevé are taken from [71]). The linear system associated to Painlevé \({\mathrm{III}}_3\) has the form
where \(z\in {\mathbb {C}\mathbb {P}}^1\) and
where \(w=w(t)\) and \(p=p(t)\). The compatibility condition of this isomonodromy problem is given by (see e.g [45, eq. (2.10)])
which can be written as the known Painlevé \({\mathrm{III}}_3\) equation:
By using
we can write (3.4) as the radial sin-Gordon equation
We also introduce the Hamiltonians \(H_i\) as
Note that here p and w are not canonical coordinates, we have \(\{w,p\}=w^2\). Transformation to canonical coordinates from [71] is \(p \mapsto pw^2-w/2, w\mapsto w\). There is a Bäcklund transformation of the Painlevé \({\mathrm{III}}_3\) equation which permutes \(H_{0}, H_{1}(t)\), it maps \(w\mapsto t/w\).
The tau functions are defined as
The Painlevé transcendent w can be expressed as
The tau functions \({\mathcal {T}}_{0}(t), {\mathcal {T}}_{1}(t)\) are holomorphic on the universal covering of \({\mathbb {C}}\setminus \{0\}\). Let \(\{t_n(\sigma ,\eta )\}_{n\ge 0}\) denote the zeros of \({\mathcal {T}}_{1}(t)\), they correspond to movable poles of the Painlevé transcendent w.
Remarkably, the tau function of Painlevé \({\mathrm{III}}_3\) has been computed in [32, 41] for generic initial conditions. They found
where G(z) denotes the Barnes G function and \(Z(\sigma , t)\) is the irregular \(c=1\) Virasoro conformal blockFootnote 7 whose precise definition can be found for instance in [72, eqs. (3.4)–(3.6)]. The first few terms read
Higher order terms can be computed systematically by using combinatorics and Young diagrams, we refer to [72] for the details. The parameters \((\sigma , \eta )\) are related to the monodromies of the linear system (3.1) around \(z=0,\infty \) and parametrise the space of initial conditions (see for instance [45, Sec. 2] or [72, Sec. 2]). It was proven in [72] that, as long as \(2 \sigma \not \in {\mathbb {Z}}\), the series (3.10) converges uniformly and absolutely on every bounded subset of the universal cover of \({\mathbb {C}}\setminus \{0\}\).
The expression (3.10) is also known as Kyiv formula for Painlevé \({\mathrm{III}}_3\).
3.1 Singularities matching condition
It is convenient to introduce \(x=\log z\), as well as \(\tilde{Y_1}(z)={\mathrm{e}}^{x/2}\Psi (x)\). Then (2.11) reads
where
By using the explicit expression (3.2) we get
The linear system (3.1) has singularities at \(x={\pm } \infty \). However, since
we have an auxiliary pole in the Eq. (3.12) at the point \(x=\log (t/w)\). We do not have this pole if \(w=\infty \) or \(w=0\). Hence, we need to be at such points (singularities matching condition). Let us analyse these two cases in more detail.
Case \(w=\infty \) at some time \(t_{\star }\). Using (3.3) we have
It follows from these expressions, or from (3.9), that
as well as \({\mathcal {T}}_0(t_\star )\ne 0\), and \(H_0\) is finite.
Case \(w=0\) at some time \(t_\star \). We have
It follows from these expressions, or from (3.9), that
as well as \({\mathcal {T}}_1\ne 0\), \(H_1\) is finite.
The two cases \(w=0\) and \(w=\infty \) are actually related by Bäcklund transformation and are equivalent. In the rest of the work we will focus without loss of generality on the constraints coming from imposing \(w=\infty \).
3.2 Quantum mechanical operator
It is easy to see that if we expand the potential (3.14) around \(w=\infty \), we obtain
Here and below we use \(t\) instead of \(t_{\star }\) for simplicity. The corresponding spectral problem isFootnote 8
which is the well known (modified) Mathieu operator. Moreover, from (3.8) and (3.19) we have
If \(\sqrt{t} >0\), \(x\in {{\mathbb {R}}}\) this operator is self-adjoint with a positive discrete spectrum on \(L^2({{\mathbb {R}}})\).
3.3 Quantization conditions and spectrum
According to our general approach illustrated in Sect. 2, the exact quantization condition for the operator (3.20) is obtained by asking simultaneously the singularities matching condition as well as the normalizability of the associated linear problem.
The singularities matching condition is given in Eq. (3.17):
The condition that \({Y_1}\) is normalisable can be expressed in terms of the connection matrix \( {\mathcal {E}}\) for the Painlevé \({\mathrm{III}}_3\) equation. We follow [45, Sec.2] and use a gauge transformation together with the twofold covering \(z=\zeta ^2\) to write (3.1) in the form
with
and
where \(\sigma _i\) are the Pauli matrices. The reason for such rewriting is that the matrices multiplying \(\zeta ^{-2}\) and \(\zeta ^{0}\) in (3.23) are diagonalizable, hence we can easily write formal solutions around \(\zeta =0\) and \(\zeta =\infty \). Around \(\zeta =0\) we have
Likewise around \(\zeta =\infty \) we have
The connection matrix \( {\mathcal {E}}\) relates solutions around 0 to solutions around \(\infty \) as \({{\widehat{Y}}} ^{(0)}{\mathcal {E}} =\widehat{Y} ^{(\infty )}\). We have (see [45, eq. (2.7)]):
Normalizability of Y requires that we map decaying solutions around \(\zeta = 0\) to decaying solutions around \(\zeta = \infty \). Hence the diagonal elements of \({\mathcal {E}}\) have to vanish:
By combining (3.22), (3.29), and the Bäcklund transformation \({\mathcal {T}}_1(\sigma ,\eta ,t)\sim {\mathcal {T}}_0(\sigma +\frac{1}{2},\eta ,t)\) from [42] we get the quantization condition for modified Mathieu:
From the point of view of spectral theory we think of (3.30) as a quantization condition for \(\sigma \). If we denote the solutions to such quantization condition by
then the spectrum \(\{E_n(t)\}_{n\ge 1}\) of modified Mathieu is obtained from (3.21) and reads
We also cross-checked against explicit (numerical) computations that (3.32) and (3.30) indeed reproduce the correct spectrum of modified Mathieu. Hence, from that point of view, the exact quantization condition of modified Mathieu follows from the Kyiv formula for the tau function of Painlevé \({\mathrm{III}}_3\) (3.10) and can be expressed entirely by using \(c=1\) Virasoro conformal blocks.
Some comments.
-
In the work [15], which was later made more precise in [18, 70], the Author considers the semi-classical Bohr–Sommerfeld quantization for the Mathieu operator as a quantization for the variable t in (3.20). Then he connects such solutions \(\{t_n(E)\}\) (in the limit \(n\rightarrow \infty )\) to the poles in the time variable t of the function u satisfying (3.6). Roughly speaking one has \(u\sim \log (\sqrt{t}-\sqrt{t_n})\). These poles are the zeros of the tau function.
Here instead we are using the inverse analysis. We do not start from the quantization for the Mathieu operator: we derive it from tau function of Painlevé \({\mathrm{III}}_3\) as computed in [41].
-
Note that (3.30) is precisely the condition found in [64, Sec. 6] even though the derivation of [64] is different from the approach presented in this section. Moreover in [64] one still needs to relay on Matone relation (hence \(c=\infty \) conformal blocks). Instead in our perspective we have (3.32). We will see in Sect. 5.1 that (3.32) and Matone relation are connected via blowup equations.
-
Some of the results presented in this section overlap with [65].
4 Weierstrass Potential and Isomonodromic Deformations on the Torus
In this section we will apply the strategy presented in Sect. 2 to the isomonodromic problem on the one-punctured torus which was studied recently in [49], and then in [51]. As explained below, the relevant quantum operator in this context is the 2-particle quantum elliptic Calogero–Moser Hamiltonian.
We follow [49]. We start from the following linear system:
with
where
is the Lamé function, \(\theta _1\) is the Jacobi theta function, and \(\theta _1'(0|\tau )=\partial _z\theta _1(z|\tau )\Big |_{z=0}\). See Appendix A for the conventions. The coordinate z is on the torus \({{\mathbb {T}}}^2\) with modular parameter \(\tau \). Note that (4.2) has a simple pole at \(z=0\). It was shown in [73,74,75,76], see also [49] and reference therein, that the compatibility condition of the linear system (4.1) leads to
where \('\) refers to the derivative w.r.t. the first argument, and \(\wp \) is the Weierstrass function defined in (A.8). We see that the potential of this system is the Weierstrass \(\wp \)-function, where the time \(\tau \) is identified with the modular parameter: this is the classical non-autonomous 2-particle elliptic Calogero–Moser system.
Notice that (4.4) has to be supplied by two integration constants \((\sigma , \eta )\). These are such that at \(m=0\) we have
The variables \((\sigma , \eta )\) are also related to the monodromies of Y(z, t) around the A and B cycles of the torus, whereas m determines the monodromy around the singularity \(z=0\). This is explained in [49, Sec. 4.2]. We report some of these results in “Appendix C”.
One also defines the Hamiltonian associated to (4.4), (4.3) as [49, eq. (3.9)]
where \(\eta _1(\tau )\) is defined in (A.9). The tau function \({\mathcal {T}}\) corresponding to the linear system (4.1) is then defined following [5, 6, 77, 78] as
It is very convenient to introduce the functions \(Z^D_{0}, Z^D_{1/2}\) as in [49] by the formula
where \(\eta (\tau )\) is the Dedekind’s \(\eta \) function defined in (A.4), and \(Q= Q(\sigma , m, \eta , \tau )\) is a solution of (4.4). These formulas express indirectly both the tau function \({\mathcal {T}}\) and the transcendent \(Q\) in terms of some functions \(Z_0^D\) and \(Z_{1/2}^D\). Note that the function Q is determined by \(Z^D_{0}\) and \(Z^D_{1/2}\) (up to a sign and shifts by \({\mathbb {Z}}+{\mathbb {Z}}\tau \)) via the equation
Indeed, suppose that \({\tilde{Q}}\) solves the same equation, then using the relation
we get \({\tilde{Q}}={\pm } Q+n\tau +\ell \), with \(n,\ell \in {{\mathbb {Z}}}\).
In order to write the isomonodromic deformation equations in terms of \(Z^D_{0}, Z^D_{1/2}\) it is convenient to introduce
We will show in Sect. 6 that if Q defined by (4.8) satisfies the isomonodromic deformation equations (4.4), then \({\tilde{Z}}^D_{0}, {\tilde{Z}}^D_{1/2}\) satisfy
where \({\mathfrak {q}}={\mathrm{e}}^{2\pi {\mathrm{i}}\tau }\).
The main proposal of [49] is the explicit expression of \(Z^D_{0}, Z^D_{1/2}\) as dual Nekrasov partition functions. They found that
where \(Z(\sigma ,m,{\mathfrak {q}})\) denotes the \(c=1\) conformal block on the torus, i.e. Nekrasov partition function for the SU(2), \({\mathcal {N}}=2^*\) theory in the four-dimensional self-dual phase of the \(\Omega \) background, see eq. (D.13) for the definition. This proposal was proved recently in a more rigorous and mathematical way in [51] using the techniques of Fredholm determinants. Notice that if \(m=0\) we have a very simple expression
This formula can be easily deduced from Eqs. (4.5) and (4.7), or from the formula (4.13) using \(Z(\sigma ,0,{\mathfrak {q}})={\mathfrak {q}}^{1/24}{\eta (\tau )^{-1}}\). In Sect. 6 we will demonstrate that (4.13) indeed satisfy (4.12), providing in this way another proof of the isomonodromy-CFT correspondence for the 1-punctured torus, alternative to [49, 51].
Remark. One might wonder how could it happen that (4.13) is naively non-symmetric under \(m\mapsto -m\), while (4.4) is symmetric. The answer is that one needs to accompany this transformation by the transformation of the Barnes functions
which leads to the transformation \((m,\eta )\mapsto (-m,{\tilde{\eta }})\), where \({\tilde{\eta }}\) is defined byFootnote 9
The latter transformation is not well defined if \(\sigma =\frac{1}{2}({\pm } m+k), k\in {\mathbb {Z}}\). In this case we have to chose either \(\eta \) or \({{\tilde{\eta }}}\) to be finite. Different choices will correspond to different charts on the monodromy manifold, see also “Appendix C.3”.
4.1 Singularities matching condition
In the current example we have
Hence \(A_{12}(z)\) admits several zeroes unlessFootnote 10
This is our condition of singularities matching. By using (4.9) we see that (4.18) is equivalent to
4.2 Quantum mechanical operator
Let us denote by \(\tau _{\star }\) the solution to (4.18)
By solving (4.4) around \(Q=0\) we get
One is actually free to choose any of the two signs. We keep them both in order to see possible symmetries. We will also denote the quantities corresponding to the two different solutions by \(^{{\mp }}\): the upper sign always corresponds to the upper sign in (4.21), and vice versa.
By using (4.3) it is easy to see that
Hence the Hamiltonian (4.6) is finite at the point \(\tau _\star \).Footnote 11 Likewise we can think of (4.18) as an equation for \(\sigma \) or \(\eta \). In this case we will denote the corresponding solution by \(\sigma _\star \) or \(\eta _\star \). The corresponding Hamiltonian will always be finite and we will denote its values by \(H_{\star }^{{\mp }}\).
Let us now look at the quantum mechanical operator. After some algebra, we find that the potential (2.12) associated to the linear system (4.1) can be written as
where the elliptic functions \(\wp , \zeta , \eta _1\) are defined in “Appendix A”. In deriving (4.23) we also used several identities for the Lamé function x(u, z) which can be found in [49, Appendix A].
The potential (4.23) is quite complicated, especially because it depends on \(Q=Q(\sigma ,m,\eta ,\tau )\). However, when we impose the singularities matching condition (4.18) the second line of (4.23) vanishes. In addition, by using (4.22) we can rewrite the first line in (4.23) as
It follows that the relevant potential at \(Q=0\) is
Hence the quantum operator arising from isomonodromic deformations on the torus is the 2-particle quantum elliptic Calogero–Moser system with potential \( (m^2{ {\mp } }m) \wp (z|\tau ).\)
To have a physically well-defined spectral problem, in this paper we will restrict without loss of generality to \(|m|>1\). Note that \(H^{{\mp }}_\star \) can be computed explicitly from (4.7), (4.8) with the help of (4.22). It reads:
Here we denote by \('\) the derivative w.r.t. the first argument of the \(\theta \) function.
Remark. By inverting (4.21) we get \(\tau -\tau _{\star }\approx {\pm }\frac{2\pi {\mathrm{i}}}{m}Q^2\). By substituting this into (4.4), (4.6) one can compute further terms
To derive this formula it is sufficient to use the approximation \(\wp (x|\tau )\sim \frac{1}{x^2}\), since higher order terms in such expansion start to contribute from \({\mathcal {O}}(Q)^6\). The upper and lower signs in (4.27) agree with the ones in (4.21). We will use (4.27) in Sect. 7.
Remark. By using (4.27) and (4.26) we can compute the first few terms in the \({\mathfrak {q}}\)-expansion of \(H^{{\mp }}_{\star }\). We get
4.3 Reality condition
Now we wish to fulfil another requirement: the reality of the potential in the Schrödinger equation
There are several ways to do this. First we study the conjugation of the Weierstrass function: \(\overline{\wp (z|\tau )}=\wp ({\overline{z}}|-{\overline{\tau }})\). This transformation reflects the fundamental domain of the modular group with respect to the vertical line. There are two (actually intersecting) branches which are invariant under such conjugation: \(\tau \in {\mathrm{i}}{\mathbb {R}}_{>0}\) and \(\tau \in \frac{1}{2}+{\mathrm{i}}{\mathbb {R}}_{>0}\).Footnote 12 The two special points with additional symmetry of the elliptic curve also lie on these branches: \(\tau ={\mathrm{i}}\) and \(\tau ={\mathrm{e}}^{{\mathrm{i}}\pi /3}\).
If we want the potential to be real, then \(z\) should lie on some suitable domain \({\mathcal {C}}\). In Table 1 we give a list of all the possible options. In this Table the complex variables \(\tau \) and z are parametrised by the two real variables
The corresponding lines in the \(z\)-plane are shown in Fig. 1. During the computations we also used the modular transformation for the Weierstrass function:
After parametrising z and \(\tau \) via (4.30) we write the Schrödinger equation (4.29) as
where \(E({\mathfrak {t}})\) and \(u_{\mp }(x,{\mathfrak {t}})\) are reported in the last and the second to last column of Table 1. Later we will also use the notation
4.4 Normalizability conditions
As we saw above, all the potentials with a discrete spectrum that appear in this problem live on a line segment \({\mathcal {C}}\) bounded by the point \(0\) and its image, which we denote by \(a=0.\gamma _{\mathcal {C}}\). Normalizability of the linear problem means that we map normalizable solutions at one end to normalizable solutions at the other end. As in Eq. (3.29), we expect normalizability to give us some constraints on the monodromies \((\sigma ,\eta )\) of the linear system.
Let us first study the solution of the linear system (4.1) around \(z=0\). For the purposes of this paper we can focus on the limit \(\tau \rightarrow \tau _{\star }\). In order to do this we use (4.22) and further expand (4.2) at \(Q\rightarrow 0\):
By substituting (4.34) into (4.1) we get
for some z-independent matrix \({\mathsf {C}}\). We see that this expression has a singularity at \(Q\rightarrow 0\), so it needs to be renormalized by choosing an appropriate diagonal matrix \({\mathsf {C}}\). This is done in different ways for the upper and for the lower sign:
-
Upper sign, \({\mathsf {C}}={\text {diag}}\left( (1-2m)Q/m,1\right) \):
$$\begin{aligned} Y(z,\tau )\approx \left( \begin{array}{cc} \frac{(1-2 m) Q z^{-m}}{m}+z^{1-m} +{\mathcal {O}}(z^{2-m})&{} z^m +{\mathcal {O}}(z^{2+m})\\ \frac{(1-2 m) Q z^{-m}}{m}-z^{1-m} +{\mathcal {O}}(z^{2-m}) &{} -z^m +{\mathcal {O}}(z^{2+m})\\ \end{array} \right) +{\mathcal {O}}(Q^2). \end{aligned}$$(4.36)Hence the leading asymptotics in the limitFootnote 13\(Q\rightarrow 0\) are
$$\begin{aligned} (z^{1-m},z^m). \end{aligned}$$(4.37) -
Lower sign, \({\mathsf {C}}={\text {diag}}\left( 1,(-1-2m)Q/m\right) \):
$$\begin{aligned} Y(z,\tau )\approx \left( \begin{array}{cc} z^{-m} +{\mathcal {O}}(z^{2-m})&{} \frac{z^m (m z-(2 m+1) Q)}{m} +{\mathcal {O}}(z^{2+m})\\ z^{-m} +{\mathcal {O}}(z^{2-m})&{} \frac{z^m (2 m Q+m z+Q)}{m} +{\mathcal {O}}(z^{2+m})\\ \end{array} \right) +{\mathcal {O}}(Q^2). \end{aligned}$$(4.38)Hence the leading asymptotics in the limit \(Q\rightarrow 0\) are
$$\begin{aligned} (z^{-m},z^{m+1}). \end{aligned}$$(4.39)
Notice that in the limit \(Q\rightarrow 0\) and around \(z=0\), the function \({\widetilde{Y}}_1(z,\tau )\) differs from \(Y_1(z,\tau )\) only by a normalization factor, i.e. by \(\sqrt{2Q/m}\). In particular they both have the same asymptotics.
A similar analysis can be repeated for the point \(a=0.\gamma _{\mathcal {C}}\). Hence for \(m>0\) a normalizable solution \(Y_{norm}(z)\) should have positive asymptotics near both boundaries. For the upper sign we find
while for the lower sign we get
This means that normalizable solutions should have monodromies \({\mathrm{e}}^{2\pi im}\) around both points (for both upper and lower signs):
where \(\gamma _0\) and \(\gamma _a\) are the contours encircling \(0\) and \(a\). To fulfil the first requirement it is sufficient to project onto the column of \(Y(z)\) with appropriate asymptoticsFootnote 14:
We now look at the second requirement in (4.42). Let \(M_{\mathcal {C}}\) be the monodromy along the cycle \({\mathcal {C}}\) as defined in Table 1. We want to map normalisable solutions around 0 to normalisable solution around \(a=0.\gamma _{{\mathcal {C}}}\) (and the other way around). Hence we ask
Using that \(M_{{\mathcal {C}}}^{-1}\) and \(Y(z)\) are non-degenerate we have
This is the normalizability equation.
It is, of course, more convenient to rewrite this condition in the basis where \(M_0\) is diagonal:
The superscripts \(^{(I)}\), \(^{(II)}\) denote different charts on the monodromy manifold with coordinates \((\sigma ,\eta )\) and \((\sigma ,{\tilde{\eta }})\), see Appendix C for more details. The diagonalization of \(M_0\) is performed by a matrix that depends on the chart, see Appendix C.4 for more details. Hence (4.45) means that for \(m>0\) it maps the column vector \((*,0)\) to itself. For \(m<0\) instead it should map \((0,*)\) to itself. This means that \(M_{{\mathcal {C}}}\) is upper- or lower-triangular:
Hence if \(m>0\) the normalizability condition reads
Likewise the condition for \(m<0\) is
To simplify our analysis it is convenient to notice that if \(2\sigma \in {\pm } m+{\mathbb {Z}}\), the matrix elements of \(M_{\cdots }^{(I,II)}\) are regular in one of the two charts with \(\eta \) or \({\tilde{\eta }}\) finite,Footnote 15 see also (4.16). In addition, the element \(12\) or \(21\) does not vanish simultaneously for any pair of matrices of our interest, \(M_A\), \(M_B\), and \(M_C\). So we consider the ratios of the corresponding matrix elements:
These expressions are better because they are independent from the remaining diagonal conjugation. Their explicit values are (see “Appendix C.4”)
We conclude that the normalizability condition for \({\mathcal {C}}=A\) is
If \({\mathcal {C}}=B\) or \({\mathcal {C}}=C\) instead we have
We write all these conditions explicitly in Table 2.
4.5 Quantization conditions and spectrum
Following the general approach presented in Sect. 2, we want to test that the singularities matching condition (4.19), combined with the normalizability conditions of Table 2, reproduces the correct spectrum of the operators in Table 1. We work out in details the cases # 1 and # 2 of Table 1. The other examples work analogously.
4.5.1 Case # 2
Let us first focus on case # 2 of Table 1. The operator we consider is
on \(L^2[0,1]\).
Let us first consider the case \( m<0\). The relevant conditions can be written as (\(\tau ={\mathrm{i}}{\mathfrak {t}}\))
Notice that there are two inequivalent values of \( \eta \) in (4.58)
These correspond to even and odd eigenvalues of (4.57). Moreover, the solutions to (4.58) reproduce the spectrum of both \({\mathrm{O}}_+\) and \({\mathrm{O}}_-\). Hence it is useful to introduce the notation
We think of (4.58) as a quantization condition for \(\sigma \). More precisely, we can organise the zeroes of (4.58) in ascending order
This sequence contains both the spectrum of \({\mathrm{O}}_+\) and \({\mathrm{O}}_-\). Experimentally, we find that a pattern to disentangle them is the following. If we wish to study the operator \({\mathrm{O}}_-\) in (4.57), then we have to consider the subset of (4.61) given by
Instead, if we wish to study the operator \({\mathrm{O}}_+\) in (4.57), then we have to consider the subset of (4.61) given by
To obtain the exact spectrum of (4.57) one also needs the relation \(E(\tau )\) reported in the last column of Table 1. More precisely, the energy levels \(E_n^{{\mp }}\) of \({\mathrm{O}}_{\mp }\) are obtained from \((\sigma _n^{{\pm }},\eta _n^{{\pm }})\) as
with
where \('\) denotes the derivative w.r.t. the first argument of the \(\theta \) function. Some independent tests are provided in Table 3.
If \( { m>0}\), instead of (4.58) we have
One can perform the same analysis as before. In particular, the zeros of (4.66) are mapped to the spectrum of \({\mathrm{O}}_{{\mp }}\) by using (4.64). The only subtlety is that, if \(m>0\), we impose \( {{\tilde{\eta }}} \in 2 \pi {{\mathbb {Z}}}\) instead of \(\eta \in 2 \pi {{\mathbb {Z}}}\) as summarised in Table 2.
4.5.2 Case # 1
We study
We focus on \(m>1\) without loss of generality. The normalizability condition in Table 2 gives
-
1.
\( \eta \) finite
-
2.
\(\sigma =\sigma _{1,2}\), where
$$\begin{aligned} 2\sigma _1=m+k_1 \quad \text {or}\quad 2\sigma _2=-m+k_2 \end{aligned}$$(4.68)with \( k_{\ell } \in {\mathbb {Z}}\), \(\ell =1,2\).
Hence we look at the singularities matching condition (4.19) as an equation for \(\eta \). More precisely, we should find a solution of (4.19) in a form
To do this we substitute an Ansatz
At the first non-trivial level such substitution gives the quadratic equation:
Its two solutions are
By solving (4.19) iteratively as a power series in \({\mathfrak {q}}\), we get the full answers in both these cases:
where we used the definition of \(F^{\mathrm{NS}}\) in (D.15).Footnote 16 The appearance of this quantity will be clarified in Sect. 5. The two solutions \({\mathrm{e}}^{{\mathrm{i}}\eta _{\star }^{\pm }/2}\) correspond to the two operators \( {\mathrm{O}}_{{\mp }}\) in (4.67). We can focus without loss of generality on \({\mathrm{O}}_-\).
If now we impose the normalizability condition for \(\sigma \) (4.68) on this solution, we get
Now we consider the condition that \( \eta \) is finite. This means that the gamma functions should not have poles nor zeroes. For \(\sigma _1\) (i.e. \(\ell =1\) in (4.75)) this means that
For \(\sigma _2\) instead we have
In other words, this means
To compute the energy we use Table 2 as well as (4.26)
The first terms of the expansion are
which coincides with perturbative calculation (B.5) (see also [83, Sec.2]).
5 Nekrasov–Shatashvili Quantization from Kyiv Formula
The operators discussed above have an interpretation as (four-dimensional) quantum Seiberg–Witten curves. In particular they also appear in the work of Nekrasov and Shatashvili (NS) in the context of the Bethe/gauge correspondence for (non-relativistic) quantum integrable models [57, 58]. In this section we show that the exact quantization condition proposed by [57, 58] can in fact be derived from the approach based on the tau function of isomonodromic problems presented above. The key ingredients in this analysis are the Kyiv formulas for tau functions [32, 41, 49], as well as Nakajima–Yoshioka blowup equations [9, 10].
The relation between Painlevé and blowup equations has appeared before in the literature. For example in [42, 84] blowup equations on \({\mathbb {C}}^2/{\mathbb {Z}}^2\) were used to prove the Kyiv formula [41] and its q-deformation [85]. More recently an alternative proof for the Painlevé VI example was presented in [68, 69] based on blowup equation with defects. The interplay between Painlevé and blowup equations appearing in this section is similar to the one of [61, 64, 65] and does not require any defect.
In order to write differential blowup relations we will use the Hirota differential operators \(\mathrm {D}^{k}_{\epsilon _1,\epsilon _2}\) with respect to \(\log {\mathfrak {q}}\) which are defined by the formula
For example \(\mathrm {D}^{1}_{\epsilon _1,\epsilon _2}(F,G)=\epsilon _1 G~\partial _{\log {\mathfrak {q}}}F+\epsilon _2 F~\partial _{\log {\mathfrak {q}}}G\).
5.1 Modified Mathieu
In this section we prove that (3.32) and (3.30) lead to the quantization condition obtained in [57, 86] and proven in [87].
The starting point are Nakajima–Yoshioka blowup equations [9] for Nekrasov partition function of pure \({\mathcal {N}}=2\), SU(2) Seiberg–Witten theory in the four-dimensional \(\Omega \) background. Such partition function is denoted by \({\mathcal {Z}}(a,\epsilon _1,\epsilon _2, t)\), see for instance [64, Sec 4.1] for a complete definition and more references. In this paper we are interested in two special limits of this function
The first one is the self-dual limit where \(\epsilon _2 \rightarrow - \epsilon _1\). In this case we have
where \( Z(\sigma ,t)\) is the \(c=1\) Virasoro conformal block appearing in (3.11), and \(\sim \) stands for the constant factor.
The second limit is the Nekrasov–Shatashvili limit \(\epsilon _2\rightarrow 0\). In this case we have
where \({F}_{\mathrm{NS}}\) is the NS free energy for the pure \({\mathcal {N}}=2, SU(2)\) four-dimensional theory. More precisely we have
where \(\psi \) is the polygamma function, and \( F^{\mathrm{NS}}_{\mathrm{inst}}\) is the instanton part of the NS free energy (or logarithm of \(c\rightarrow \infty \) Virasoro conformal blocks). The first few terms read
Higher order terms can be computed by using combinatorics and Young diagrams, we refer to [64, Sec. 4.1] for the details of the definition and a list of references.
It was shown in [61] that the two limits introduced above are in fact closely related by the Nakajima–Yoshioka blowup equations [9] on \({\mathbb {C}}^2\).
We have several blowup relations on \({\mathbb {C}}^2\). One relation is [10, Eq. (5.3)]
As in [61], we take the limit \(\epsilon _2\rightarrow 0\) of (5.6) and we get
This means that if we look at the singularities matching condition (3.22) as an equation for \(\eta \), the solution is
Moreover, if in addition we impose (3.29) we get
This is the quantization condition proposed in [57], where it was found that the solutions \(\{\sigma _n\}_{n>0}\) of (5.9) are related to the spectrum \(\{E_n\}_{n>0}\) of (3.20) via the Matone relation [88,89,90,91]
To reproduce Matone relation from the point of view of isomonodromic deformations we need another blowup equation which takes the form of a differential bilinear relation and reads [9, eq. (6.14)]
where \(\mathrm {D}^1_{\epsilon _1, \epsilon _2}\) was defined in (5.1) . In the limit \(\epsilon _2\rightarrow 0\) this equation becomes
Note that the t derivative on the l.h.s. does not act on \(\eta \). Hence we have an equivalence between Matone relation (5.10) and the Hamiltonian (3.32) of Painlevé \({\mathrm{III}}_3\). This concludes the derivation of the NS quantization from the Kyiv formula.
5.2 Weierstrass Potential
The starting point are Nakajima–Yoshioka blowup equations for Nekrasov partition function of \({\mathcal {N}}=2^*\) \(SU(2)\) Seiberg–Witten theory in the four-dimensional \(\Omega \) background. Such partition function is denoted by
One can find the definition in (D.1). For the purpose of this paper we are interested only in two limits of (5.13).Footnote 17 In the self-dual limit we have
where \(Z(\sigma ,m,{\mathfrak {q}})\) is the \(c=1\) conformal block on the torus as in (4.13). In the NS limit we have
where \({F}^{\mathrm{NS}}\) is defined in (D.15).
5.2.1 Blowup relations
We first note that Nakajima–Yoshioka blowup relations for the four dimensional \({\mathcal {N}}=2^*\) theory were not written explicitly in the literature. In this section we list the relevant relations that are used in the paper. Some of them have been worked out by one of us (MB) together with A. Litvinov and A. Shchechkin some time ago. The five-dimensional version of some of these equations was recently obtained in [63, Sec. 3.1].
We start with two algebraic blowup relations on \({\mathbb {C}}^2\)
Using the symmetry (D.9) we can obtain two more equations:
There are also differential relations which are written in terms of the Hirota differential operators defined in (5.1). The first order relations are
where
There are also second order differential relations which look rather cumbersome
where
We will not use the relations (5.22), (5.23) to study the Nekrasov–Shatashvili quantization conditions, but they will be used later in Sect. 6.
We do not claim that this is the full list of blowup relations, this is just the list needed in this paper. Note also that, as far as we know, there is no rigorous proof of these relations. However we believe that this can be done either by using the geometric methods of [9, 92] or by using the representation theory methods of [93].
5.2.2 From blowup to NS quantization conditions and spectrum
By combining the relations (5.16) we obtain
Similarly from (5.17) we obtain
Taking the NS limit \(a=\sigma \), \(\alpha =m\), \(\epsilon _1=1\), \(\epsilon _2\rightarrow 0\) we are left withFootnote 18
In turn, this means that if we consider (4.19) as an equation for \(\eta \), then we have two solutions: \(\eta _\star ^-\) and \(\eta _\star ^+\). The solution \(\eta _\star ^-\) makes contact with the operator \({\mathrm{O}}_-\), while the solution \(\eta _\star ^+\) makes contact with the operator \({\mathrm{O}}_+\). This is in perfect agreement with what we discussed around (4.61) and (4.73).
Let us now consider the operator corresponding to the case \(\#2\) in Table 1 (the other cases work analogously). From the above discussion it follows that the singularities matching condition and the normalizability of the linear problem are equivalent to
This is precisely the quantization condition proposed in [57, 58] where it was found that the solutions \(\{\sigma _n\}_{n\ge 0}\) of (5.32) are related to the spectrum \(\{E_n\}_{n\ge 0}\) of \( {\mathrm{O}}_{{\mp }}\) via Matone relation
As in Sect. 5.1, to reproduce Matone relation in the context of isomonodromic deformations, we need another set of blowup equations. These take the form of differential bilinear relations. It follows from (5.18) and (5.16) that
Taking the NS limit \(a=\sigma \), \(\alpha =m\), \(\epsilon _1=1\), \(\epsilon _2\rightarrow 0\) we get
where we use
as in (5.30). Using (4.26) we obtain
and get
The relation for \(\eta _\star ^+\) can be obtained similarly by using the symmetry (D.9). We have
Hence we have a complete equivalence between the Hamiltonian (4.64) and Matone relation (5.33). This concludes the derivation of the NS quantization from the Kyiv formula on the torus.
As a final remark we note that, unlike in the example of modified Mathieu, to our knowledge there is no proof of the NS quantization for the example of the quantum elliptic Calogero–Moser system.Footnote 19 Our derivation here is based on monodromy arguments, which are rigorous, and blowup relations, which we believe can be proven.
6 Bilinear Relations on the Torus
In this section we show that the isomonodromic equation (4.4) in Q is equivalent to the bilinear relation (4.12) for the \({\mathcal {T}}\) function, more precisely for \(Z_\epsilon ^{D}\). Moreover, by using blowup equations, we demonstrate that (4.13) indeed satisfies such bilinear relation. This provides an alternative proof for the work of [49]
6.1 From blowup relations
Let us first note that by substituting (4.13) into (4.12) one gets a bilinear relation for the function Z. As already noted in a related context [42], this type of relations cannot be a specialization of the \({{\mathbb {C}}}^2\) blowup equations. Usually such relations come from the so-called \((-2)\) or \({\mathbb {C}}^2/{\mathbb {Z}}_2\) blowup equations. In this terminology the relations from Sect. 5.2.1 are called \((-1)\) blowup equations. The \((-2)\) blowup relations can be obtained using representation theory (see e.g. [42]) or algebraic geometry (see e.g. [98, 99]) arguments. There is a transparent algebraic method to deduce them from the standard \((-1)\) blowup relations.Footnote 20 This method goes back to the papers on Donaldson invariants [100, 101]. Recently this method was applied to the case of the pure theory in [102]. Here we apply it to the \({\mathcal {N}}=2^*\) case. As a result we get a first order differential relation
and a second order differential relation
where the Hirota differential operators were defined in (5.1) and we use
with the understanding that \(\theta _i=\theta _i(0|2\tau )\), \(\varphi =\varphi ({\mathfrak {q}})\), and \('\) means that the derivatives are taken with respect to \(\log {\mathfrak {q}}\). We give a detailed proof of the relation (6.1) in “Appendix E.1”. The proof of the relation (6.2) is based on the same ideas, but involves more cumbersome calculations.
After the substitution \(\epsilon _2=-\epsilon _1=\frac{1}{2}\), \(a={\sigma }\), \( \alpha ={m}\), Eq. (6.2) leads to the following bilinear relation for the self-dual Nekrasov function \({\mathcal {Z}}(\sigma ,m,-1,1|{\mathfrak {q}})\)
This is equivalent to
Indeed, by comparing terms with given \(\eta \) exponents (say \({\mathrm{e}}^{{\mathrm{i}}k \eta }\) in (6.4)) we obtain (6.3). This is the same argument as in [42, Sec. 4.2]. Using the notation (4.11) and the relation \(\mathrm {D}^2_{-1,1}(F,F)=2 F^2 \big (\partial _{\log {\mathfrak {q}}}^2 \log F\big )\) we get
which is precisely equation (4.12). To have a better intuition on the meaning of (6.5) let us consider two particular cases.
Example 1
Let \(m=0\). Then we have \(Z(\sigma ,m,{\mathfrak {q}})=1/\varphi ({\mathfrak {q}})\) and get (cf. formulas (4.5) and (4.14))
It is convenient to reduce everything to theta functions with modular parameter \(\tau \) by using
We have
These relations can be easily proven by using the definition of theta function as power series in \({\mathfrak {q}}\). We present the details of the calculation for (6.8) and (6.10) in “Appendix E.2”. The other relations are similar. By using (6.7), we can write the relation (6.5) at \(m=0\) as
This equality can be easily proven from (6.8), (6.9), (6.10).
Example 2
Consider the limit \(m \rightarrow \infty \), \({\mathfrak {q}} m^4 \rightarrow t\). In this limit \({Z}_{\epsilon }^D \rightarrow {\mathcal {T}}_{2\epsilon }\), where \({\mathcal {T}}_{2\epsilon }\) is the Painlevé \({\mathrm{III}}_3\) tau function given in (3.10). The Eq. (6.4) becomes the Toda equation in the form [71, Prop 2.3]
6.2 From isomonodromic deformations
In this part we deduce the bilinear equation (6.5) from the isomonodromic equations (4.3),(4.4) and the formula for the tau function (4.8). The logic of the calculation is the same as in the example \(m=0\) above but instead of the simple formula for Q given in (4.5), we have to use the formulas (4.3),(4.4). It is convenient to rewrite them as
In this section we use the following short notation for the derivatives of theta functions:
After these preparations we compute the left and the right sides of Eq. (6.5). We have
where we used the relations (4.7),(4.6) for the tau functions and the relations (6.8)–(6.11) for the theta functions. On the other side we have
where we used (4.7) (4.6) for the tau function and (6.7) for the theta functions. The last three terms in (6.16) agree with the last three terms in (6.17). The equality of the two other terms is equivalent to a theta function identity
which we are going to prove now.
After some simple algebra (6.18) reduces to a relation \(F(z,\tau )=0\), where (here all derivatives are taken with respect to \(2 \pi {\mathrm{i}}z\))
Using the power series expression for \(F(z,\tau )\) one can deduce the following modular properties
The function \(F(z,\tau )\) does not have poles. Therefore it should have exactly 4 zeroes in the fundamental domain otherwise \(F =0\) (as we will see). Clearly F is an odd function \(F(z,\tau )=-F(-z,\tau )\), and it is easy to see that \(F^{(1)}(0,\tau )=0\). Hence F has a zero of order at least 3 at \(z=0\). Moreover one can check that \(F(\frac{\tau +1}{2},\tau )=0\), \(F(\frac{1}{2},\tau )=0\). Hence we must have \(F=0\). Actually the only nontrivial check is \(F(\frac{1}{2},\tau )=0\). It reduces to the identity
This identity can be proven directly using the \({\mathfrak {q}}\) series expansion for the \(\theta \) functions.
Remark. Equation (6.5) can be viewed as a system of two second order differential equations. Hence its general solution depends on four constants of integration. But there is a simple two-parametric set of transformations of the form
which preserves Eq. (6.5). These transformations preserve the ratio \(Z_0/Z_{1/2}\), hence the equation for Q (which follows (4.8))
will depend only on two constants of integration. In terms of the Ansatz (4.13) these constants are \(\sigma ,\eta \). As we explained at the beginning of Sect. 4, the Eq. (6.23) determines Q essentially uniquely. In addition we proved that for any solution of the isomonodromic deformation equation (4.4), the corresponding functions \({\tilde{Z}}_{0}, {\tilde{Z}}_{1/2}\) satisfy (6.5). Since a generic solution of (4.4) depends on two parameters, we get a correspondence. Therefore any generic solution \({\tilde{Z}}_0, {\tilde{Z}}_{1/2}\) of the Eq. (6.5) determines Q which solves the isomonodromic deformation equation (4.4).
7 Blowup Equations from Regularized Action Functional
In this section we derive the \(\epsilon _2\rightarrow 0\) limit of blowup equations from the regularized action functional. This was first understood in the example of the pure \({{\mathcal {N}}}=2, SU(2)\) SW theory in [65], which was also inspired by the works of [18, 21].
7.1 Definition and derivatives of the action functional
The Lagrangian of the non-autonomous classical Calogero–Moser system is given by
Now we study its asymptotics in two limits: \(\tau \rightarrow {\mathrm{i}}\infty \) and \(\tau \rightarrow \tau _{\star }\). We know that in the second limit the Hamiltonian is finite, so the leading singularity is given by \(2m^2\wp (2Q|\tau )\approx \frac{m^2}{2Q^2}\). By using Eq. (4.27) we get
In the other limit \(\tau \rightarrow {\mathrm{i}}\infty \) the leading asymptotics is given by the derivative term, the constant term of \(\wp (2Q|\tau )\) from (A.13) cancels with the asymptotics of \(\eta _1(\tau )\) (A.16):
We need to subtract both these asymptotics and define the regularized LagrangianFootnote 21:
Now we define the regularized action functional:
The \(\tau _{\star }\) derivative is:
where we used the equation of motion (4.4). For this computation we need the expansions of \(Q\) in both limits. The expansion around \(\tau _{\star }\) is given by (4.27):
The expansion around \({\mathrm{i}}\infty \) is given by (C.5): \(Q\approx \sigma \tau +\beta \), where
We now compute the value of the regularized Lagrangian at the upper limit:
Other useful expressions are the expansions around \(\tau _{\star }\)
and around \({\mathrm{i}}\infty \):
where \(\alpha \) is either \(\sigma \) or \(\tau _{\star }\). Using these relations we finally find
In the same way we also compute the \(\sigma \)-derivative:
Now we consider the following equality:
To complete this computation we need to know the asymptotics of \({\mathcal {T}}\) at \(+{\mathrm{i}}\infty \). This can be found from (4.8) and (4.13):
Therefore
We introduce the new function
with some function \(\varphi (\sigma ,m)\), which will be chosen later. By using the \({{\mathcal {S}}}\) identities (7.12), (7.13), and (7.16) we get
We would like to cancel some unwanted terms, namely, to find \(\varphi (\sigma ,m)\) such that
where “\(\ldots \)” stands for the logarithm of the Barnes functions and is almost completely defined by the first equation (\(\sigma \)-derivative). We can solve the first equation by integration:
Here we used the following identity:
We now take \(\varphi _0(m)=-m^2+am\), where \(a\) is an arbitrary constant, which can be fixed after identification of \({\mathcal {S}}\) with the properly normalized conformal block. In this way we get
After choosing \(\varphi (\sigma ,m)\) in such a way we have
7.2 Relation to classical conformal blocks
Classical conformal blocks and BPZ equations. Following [21, 65] \({\mathcal {S}}\) should be identifies with the \(c=\infty \) conformal blocks (or classical conformal blocks, or NS free energy), and therefore (7.18) reproduces the \(\epsilon _2\rightarrow 0\) limit of blowup equations used in Sect. 5.2. Following [103,104,105,106,107], we start from consideration of the correlators with heavy degenerate field \(\phi _{(1,2)}(w)\), light degenerate field \(\phi _{(2,1)}(w)\), and energy-momentum tensor \(T(z)\). We define
where \({\mathcal {R}}\) denotes the cyclic ordering on a cylinder (analog of the radial ordering), and we used the following parameterization of \(\Delta \):
Now we use the OPE with degenerate field:
Using the explicit form of the null-vector and the formula for \(\Delta _{(1,2)}\) we rewrite it as
Another OPE is
Combining these OPE’s together, and using the fact that correlator depends only on difference of coordinates, we finally write
To derive this formula we first wrote explicitly the globally defined functions \(\Big (\log \theta _1(z-w)\Big )''\), \(\left( \log \theta _1(z)\right) ''\), \(\left( \log \frac{\theta _1(z-w)}{\theta _1(z)} \right) '\), which are fixed up to constants by their singular behavior. Coefficients in front of these functions are dictated by the OPE’s with \(T(z)\) (conformal Ward identities). These terms have vanishing \(A\)-cycle integral in the variable \(z\). The constant term \(I(\sigma ,m,w,\tau )\) is not fixed by the singular parts of the OPE’s. We can find it in two different ways, which will give a non-trivial equation (7.33) on \(G_h(\sigma ,m,w,\tau )\). This is the analog of the BPZ equation [11] on the torus, see [108].
On one side,
therefore
On the other side, we have not used the regular part of (7.27) yet. To do this first rewrite (7.29) in a more suitable form using (A.8) and (A.10):
The regular part at \(z=w\) is:
To get rid of the first derivative we redefine [103, 104]
and then get
where we substituted the \(b\rightarrow 0\) expansion of \(\Delta (m)\) (7.25). It is convenient to make the following Ansatz
where \(f\)’s are called classical conformal blocks. Using the leading order of (7.36) one gets:
Identification with the action functional Equation (7.37) is nothing but the Hamilton–Jacobi equation for a system with Hamiltonian given by
The equations of motion are \(2\pi {\mathrm{i}}\partial _{\tau }w=2p\), \(2\pi {\mathrm{i}}\partial _{\tau }p=m^2\wp '(w|\tau )\). If we define
we recover (4.3) and (4.4). Moreover if we evaluate \(Q\) on the solution of the equations of motions, we have
To get a non-trivial statement we consider the limit \(\tau _1\rightarrow {\mathrm{i}}\infty \) and \(\tau _2\rightarrow \tau _{\star }\). First we look at the \(\tau _1\rightarrow {\mathrm{i}}\infty \) limit. In this region \(Q\approx \sigma \tau _1+\beta \) (C.5). Hence
Taking the logarithm we get in the leading order
where \(c\)’s are NS limits of the 3-point functions: \(\log C(\alpha _1,\alpha _2,\alpha _3)=b^{-2}c(\alpha _1,\alpha _2,\alpha _3)+{\mathcal {O}}(1)\).
Now we switch to \({\tilde{f}}_h(\sigma ,m,2Q(\tau _1),\tau _1)=f_h(\sigma ,m,2Q(\tau _1),\tau _1)-\frac{1}{2}\log \theta _1(2Q(\tau _1)|\tau _1)+\frac{3}{2}\log \eta (\tau _1)\). By using the asymptotic
we get:
Let us now focus on the \(\tau _2\rightarrow \tau _{\star }\) limit. Here we use the OPE
In the \(b\rightarrow 0\) limit we can neglect the sub-leading term. However for different signs of \(m\), different terms will dominate. We will again describe these two possibilities by using \({\pm }\) sign:
Using this OPE we write the asymptotics of \({\tilde{f}}_h\):
where we used
Combining together (7.40), (7.44), (7.47) we get the following equality:
Now we would like to compare (7.49) with the regularized and redefined action \({\mathcal {S}}\). To do that we combine (7.5) and (7.17) and rewrite \({\mathcal {S}}\) as:
By comparing the above expressions we get the following identification:
This proves that the regularized action is equals to the classical conformal block up to some possible \(\tau \)-independent constant. Together with (7.23) this gives an additional proof of the classical/\(c=1\) blowup relations.
Energy from classical conformal blocks. Though we already know that the energy for the spectral problem can be described by \(-H_{\star }^{{\mp }}=2\pi {\mathrm{i}}\partial _\tau f(\sigma ,m{\mp } \frac{1}{2},\tau )\), we can see how this fact follows directly from CFT. To do this we consider the equivalent of Eq. (7.33) for the light degenerate field. More precisely we have \(\phi _{(2,1)}(w)\):
As before we use the Ansatz
where \({\mathcal {O}}(1)\) is a function of \(\sigma ,m,\tau \) only. In the \(b\rightarrow 0\) limit we get
By shifting \(m\) we end up with
in agreement with [103, 104]. One can also add that to get the solution of the general \(2\times 2\) system, or equivalently the solution of the equation with apparent singularity (2.11), (4.23), one should also insert heavy degenerate field \(\phi _{(1,2)}(2Q)\) into \(G_l\). It has \((-1)\) monodromy with \(\phi _{(2,1)}\), so its insertion will give precisely apparent singularity.
Now using the AGT relation between conformal blocks and Nekrasov partition functions [52] we can identify classical conformal block with the NS limit of Nekrasov partition function:
8 Other Examples and Generalizations
In Sects. 3 and 4 we illustrated in detail the example of isomonodromic deformations on the torus and the one of Painlevé \({\mathrm{III}}_3\). In this section we briefly comment on other examples, even though we do not spell out all the details. We limit ourselves to list the quantum operators corresponding to the other Painlevé equations. These operators coincide with the quantum Seiberg–Witten (SW) curves of the gauge theories underlying Painlevé equations, in agreement with several existing results in the literature that we will discuss below. Some of these operators have been studied recently in [109]. According to the procedure spelled out in Sect. 2, the exact spectrum of such operators should be obtained by imposing vanishing of some combination of tau functions with suitable normalizability conditions on the monodromy parameters of the associated linear system.
Painlevé I. The associated linear problem is defined by the following Lax matrix (see for instance [110, eq. (2.2)])
The compatibility conditions are
leading to the Painlevé I equation
The Hamiltonian is
It is also useful to define
Moreover, since
we have auxiliary poles unless \(q=\infty \). This is our requirement for singularities matching and it gives the following operator
in agreement with expectations from [15, 19, 20]. It is also straightforward to see that the singularities matching condition imposes vanishing of the Painlevé I tau function. The condition of normalizability instead is more subtle and will not be addressed in this work. Notice that, as expected, the operator (8.7) is the one arising in the quantization of the Seiberg–Witten curve corresponding to the \({{\mathcal {H}}}_0\) Argyres–Douglas theory. It is also well known that the quantization condition for this potential involves the \({\mathcal H}_0\) NS free energy (see for instance [111, 112]). It should be possible to relate such NS type quantization to the vanishing of the Painlevé I tau function. For that we would need some kind of blowup equations for Argyres–Douglas theories which, at present, are not known. Alternatively one can try to develop a functional approach similar to [65], see also Sect. 7. This is under investigation and will appear in [113].
Painlevé II. The linear problem is obtained from the following Lax matrix (see for instance [46, eq. (3.14)])
The associated compatibility condition leads to the Painlevé II equation
The Hamiltonian is
We also define
Since
we have singularities matching if \(u=\infty \) (or \(q=\infty \)). It is easy to show that at this special point the relevant operator reads
As expected, this is the operator arising in the quantization of the Seiberg–Witten curve to the \({\mathcal {H}}_1\) Argyres–Douglas theory. It is also straightforward to see that condition of singularities matching imposes the vanishing of the Painlevé II tau function as a quantization condition for the potential (8.13). As before, the condition of normalizability instead is more subtle and will not be addressed in this work. Likewise we do not know blowup equations that would link the vanishing of tau function to the NS quantization. Hence it would be nice to develop a functional approach to this problem as done in [65] for Painlevé \({\mathrm{III}}_3\) and in Sect. 7 for the torus.
Painlevé IV. The linear problem is obtained from the following Lax matrix (see for instance [46, eq. (3.36)])
The compatibility condition leads to the Painlevé IV equation:
The Painlevé IV Hamiltonian is defined as
We also introduce
After imposing the singularities matching condition we obtain the following operator in agreement with [114]
This is the operator appearing in quantization of SW curve to \({\mathcal {H}}_2\) Argyres–Douglas theory.
Painlevé \({\mathrm{III}}_2\). We follow [115]. The relevant Lax matrix is
leading to the Painlevé \({\mathrm{III}}_2\) equation
The Hamiltonian is
It is useful to define
Singularities matching leads to
This is precisely the operator corresponding to the quantization of the \(N_f=1\) SW curve, see for instance [116, 117].
Painlevé \({\mathrm{III}}_1\). The relevant Lax matrix is (see for instance [46, eq. (A.23)]
leading to the Painlevé \({\mathrm{III}}_1\) equation
The Hamiltonian is
and we define
We have singularities matching if \(p=\infty \), \(q=0\), such that \(p q=\infty \) and u finite. After some algebra this leads to the following operator
which is the quantum SW curve with \(N_f=2\), see for instance [116, 117].
Painlevé V. The relevant Lax matrix is (see for instance [115, Sec. 4.3])
The compatibility condition leads to the Painlevé V equation:
The Hamiltonian is
we also define
Singularities matching leads to confluent Heun equation
which is the operator appearing in quantization of \(N_f=3\) SW curve, see for instance [116, 117]. We note that this curve also plays a role in the study of black hole quasinormal modes. By adapting the procedure illustrated in Sect. 2 to potentials with resonance eigenstates, one should be able to reproduce [26, 27]. In addition by using Sect. 5 one should be able to provide a more direct link between [26, 27] and [116, 118]. It would also be interesting to further investigate the connection with the Rabi model [119] by using the NS approach.
Painlevé VI. The relevant Lax matrix in this case is quite complicated. We write it as
where
The expressions for \(A_{11}\) and \(A_{21}\) take the following forms
The expressions for \(u_i (t,z,p)\) and \(s_i (t,z,p)\) are quite cumbersome, hence we do not write them explicitly. Compatibly condition for this system is
leading to Painlevé VI
From (8.35) is easy to see that the singularities matching condition leads to the Heun operator appearing in the quantization of the \(N_f=4\) SW curve. This example was studied in [21, 23,24,25, 29,30,31, 68, 69, 120]. In particular the self-dual approach to the Heun equation was studied in great details in [23,24,25, 30].
Some further comments and generalisations:
-
In this work we took the approach of studying the spectral properties of quantum mechanical operators by using the knowledge about isomonodromic deformations. However, one can read our result by taking the inverse logic and, in line with [16], use the spectral properties of quantum operators to study the distribution of movable poles in solutions of second order nonlinear ODEs arising as compatibility conditions of isomonodromic deformations.
-
All the examples listed above correspond to isomonodromic problems associated to \(2\times 2\) linear system. Nevertheless, a similar story is expected to hold also for the higher rank situation. In this case some related properties for the corresponding tau function(s) and generalisation of the Kyiv formula can be found in [50, 121,122,123,124,125,126].
-
We also note that recently a new class of nonlinear eigenvalue problems has been related to a set of generalized Painlevé equations [127]. It would be interesting to study these problems and their stability/instability notion within our gauge theoretic framework.
-
In this work we studied in detail examples of operators with confining potential. However our formalism can also be applied straightforwardly to study the band structure of periodic potentials, including the band edges and the corresponding energy splitting. These results will appear somewhere else. It would also be interesting to extend our analysis to the study of potentials which admit a spectrum of resonance modes.
-
Another set of generalised problems which it would be interesting to investigate are these connected to q-deformed Painlevé equations and five-dimensional gauge theories [85, 123, 128,129,130,131,132,133]. In this case the relevant quantum spectral problems are the ones associated to relativistic quantum integrable systems. For example, we know that the NS quantization condition does not extend directly to the five-dimensional/relativistic setup. In particular, to compute the exact spectrum of relativistic integrable systems one needs to supply the naive NS quantization [57, 134] with additional non-perturbative corrections [55]. Nevertheless, if we think of the four dimensional quantization as the vanishing of Painlevé tau functions, then this fact extends directly to the five dimensional/relativistic integrable system setup. Indeed it was found in [128] that the zeroes of the tau functions for q-Painlevé compute the exact spectrum of relativistic integrable systems. Hence thinking of the quantization condition as vanishing of (q-) Painlevé tau functions provides a unifying framework for both relativistic and non-relativistic quantum systems. From that perspective it would be interesting to understand how the quantum mirror map is realised on the q-Painlevé side. Recent interesting related work in this direction is also [135].
-
In the Painlevé \({\mathrm{III}}_3\) example we have an intriguing bridge between the following two operators. On one side we have the modified Mathieu
$$\begin{aligned} \partial _x^2 -\sqrt{t} \left( {\mathrm{e}}^x+{\mathrm{e}}^{-x}\right) , \end{aligned}$$(8.40)and on the other side we have a "dual" Fermi gas operator, which reads [136, eq (1.3)]
$$\begin{aligned} {\mathrm{e}}^{{4 t^{1/4} } \cosh ( x)}{ \left( {\mathrm{e}}^{{{\mathrm{i}}\over 2} \partial _x}+ {\mathrm{e}}^{-{{\mathrm{i}}\over 2} \partial _x} \right) }{\mathrm{e}}^{{4 t^{1/4} } \cosh ( x)} . \end{aligned}$$(8.41)In particular, the spectral properties of both operators are encoded in the isomonodromic deformation equations of the linear system (3.1). For example, the quantization condition of both operators can be expressed as vanishing of the Painlevé \({\mathrm{III}}_3\) tau function. This provided a concrete link between the results of [38, 137] and [41], which was also generalised to the q-deformed/five-dimensional framework, see [136] and [128] for more details.Footnote 22 It would be very interesting to find such "dual" operator for other Painlevé equations by using the geometrical guideline coming from the TS/ST correspondence [55]. This could provide some concrete realisation of ideas presented in [139].Footnote 23
Notes
It is interesting to note that the existence of such expressions agrees with predictions from (the limit of) Topological String/Spectral Theory duality [55].
We can actually fix without loss of generality \(\eta _n=0\) \(\forall n\).
Here \(\sim \) means up to overall factors and shifts by \(\eta _1(\tau )\) which depend on the reality condition we chose. The precise expression for each case is shown in the last column of Table 1.
We shifted here \(x\mapsto x+\frac{1}{2}\log t\).
The transformation \(\eta \rightarrow {\tilde{\eta }}\) or \(m\rightarrow -m\) also appears for other isomonodromic systems in the context of transition between different topologies of the spectral networks [79, 80], or as a very close companion of the complex conjugation, used to construct “physical” correlation function [81].
To be precise, one should require \(Q=\frac{n}{2}+\frac{\tau k}{2}\). However, due to [49, Appendix C], such a shift can be achieved by a simple Bäcklund transformation \((\sigma ,\eta )\mapsto (\sigma +k/2,\eta +2\pi n)\), so it is sufficient to consider only \(Q=0\).
Another way to get this is to notice that \(\frac{\mathrm {d}}{\mathrm {d}\tau }H=-m^2\partial _{\tau }\left( \wp (2Q|\tau )+2\eta _1(\tau )\right) \) is regular when \(Q=0\) (note that the partial \(\tau \)-derivative is computed at fixed \(Q\)). Then one gets the behavior (4.22) from the finiteness of \(H_\star \).
The latter branch maps to \(|\tau |=1\) by the transformation \(\tau '=\frac{\tau }{1-\tau }\), in the Table 1 we map it to the line \(-\frac{1}{2}+{\mathrm{i}}{\mathbb {R}}_{>0}\).
We keep \(z\) fixed and send \(Q\rightarrow 0\), or in other words consider \(2Q\ll z\).
We notice that one can capture the two asymptotics by their monodromies only for \(m\notin \frac{1}{2}{\mathbb {Z}}\). However, there are no singularities in \(m\) in the solution of the spectral problem at \(m\in \frac{1}{2} {\mathbb {Z}}\), so everything can be continued analytically to these points.
We are not talking here about the singularities at \(\sigma \in \frac{1}{2} {\mathbb {Z}}\). These cannot be removed by switching to another chart and they are completely forbidden in this framework. The singularities at \(m\in \frac{1}{2}+{\mathbb {Z}}\) are not visible in the spectral problem and will not appear in the normalizability conditions.
In such limits we can absorb \(\epsilon _1\) into a redefinition of parameters. So we set it to \(\epsilon _1=1\).
We a grateful to H. Nakajima for explaining this idea and help with references.
Similarly, relations between Kyiv formulas and tt* equations are also discussed in [138] and forthcoming publications by the same Authors.
We thank N. Nekrasov for discussions on this point and bringing our attention to this reference.
In this limit the second wall goes to infinity in the \(y\)-coordinate.
The first term comes from the \(\pi ^2/3\) in (A.15).
To be precise, \(\eta \) and \(\sigma \) are not actual coordinates. They are defined up to simultaneous sign inversion \((\eta ,\sigma )\sim (-\eta ,-\sigma )\), and also up to integer shifts.
References
Garnier, R.: Sur des équations différentielles du troisième ordre dont l’intégrale générale est uniforme et sur une classe d’équations nouvelles d’ordre supérieur dont l’intégrale générale a ses points critiques fixes. Annales scientifiques de l’École Normale Supérieure 3e série, 29, 1 (1912)
Fuchs, R.: Uber lineare homogene differentialgleichungen zweiter ordnung mit drei im endlichen gelegenen wesentlich singulären stellen. Math. Ann. 70, 525 (1911)
Schlesinger, L.: Über eine klasse von differentialsystemen beliebiger ordnung mit festen kritischen punkten. Journal für die reine und angewandte Mathematik (Crelles Journal) 145 (1912)
Flaschka, H., Newell, A.C.: Monodromy- and spectrum-preserving deformations. I. Commun. Math. Phys. 76, 65 (1980)
Jimbo, M., Miwa, T., Ueno, K.: Monodromy preserving deformation of linear ordinary differential equations with rational coefficients: I. General theory and \(\tau \)-function. Phys. D Nonlinear Phenomena 2, 306 (1981)
Malgrange, B.: Sur les déformations isomonodromiques. I. Singularités régulières. Cours de l’institut Fourier 17, 1 (1982)
Nekrasov, N.A.: Seiberg–Witten prepotential from instanton counting. Adv. Theor. Math. Phys. 7, 831 (2004). arXiv:hep-th/0206161
Nekrasov, N., Okounkov, A.: Seiberg–Witten theory and random partitions. Prog. Math. 244, 525 (2006). arXiv:hep-th/0306238
Nakajima, H., Yoshioka, K.: Instanton counting on blowup. I. Invent. Math. 162, 313 (2005). arXiv:math/0306198
Nakajima, H., Yoshioka, K.: Lectures on instanton counting. In: CRM Workshop on Algebraic Structures and Moduli Spaces, vol. 11 (2003). arXiv:math/0311058
Belavin, A., Polyakov, A., Zamolodchikov, A.: Infinite conformal symmetry in two-dimensional quantum field theory. Nucl. Phys. B 241, 333 (1984)
Di Francesco, P., Mathieu, P., Sénéchal, D.: Conformal Field Theory. Graduate Texts in Contemporary Physics. Springer, New York, NY (1997). https://doi.org/10.1007/978-1-4612-2256-9
Zamolodchikov, A.B., Zamolodchikov, A.B.: Conformal field theory and critical phenomena in two-dimensional systems. Phys. Rev. 10 (1989). https://books.google.ch/books?id=u4cctjSq3RwC &printsec=frontcover &hl=it &source=gbs_ge_summary_r &cad=0#v=onepage &q &f=false
Fokas, A., Its, A., Kapaev, A., Novokshenov, V.: Painleve Transcendents: The Riemann–Hilbert Approach. Mathematical Surveys and Monographs, American Mathematical Society, Providence (2006)
Novokshenov, V.: Poles of Tritronquée solution to the Painlevé I equation and cubic anharmonic oscillator. Reg. Chaot. Dyn. 15, 390 (2010)
Novokshenov, V.Y.: Movable poles of the solutions of Painleve’s equation of the third kind and their relation with Mathieu functions. Funct. Anal. Appl. 20, 113 (1986)
Bender, C.M., Komijani, J.: Painlevé transcendents and PT-symmetric Hamiltonians. J. Phys. A 48, 475202 (2015). arXiv:1502.04089
Lukyanov, S.L.: Critical values of the Yang-Yang functional in the quantum sine-Gordon model. Nucl. Phys. B 853, 475 (2011). arXiv:1105.2836
Masoero, D.: Poles of integrale tritronquée and anharmonic oscillators. A WKB approach. J. Phys. A 43, 2501 (2010). arXiv:0909.5537
Masoero, D.: Poles of integrale tritronquee and anharmonic oscillators. Asymptotic localization from WKB analysis. Nonlinearity 23, 2501 (2010). arXiv:1002.1042
Litvinov, A., Lukyanov, S., Nekrasov, N., Zamolodchikov, A.: Classical conformal blocks and Painleve VI. JHEP 07, 144 (2014). arXiv:1309.4700
Zabrodin, A., Zotov, A.: Quantum Painleve–Calogero Correspondence. J. Math. Phys. 53, 073507 (2012). arXiv:1107.5672
Amado, J.B., Carneiro da Cunha, B., Pallante, E.: Vector perturbations of Kerr-AdS\(_{5}\) and the Painlevé VI transcendent. JHEP 04, 155 (2020). arXiv:2002.06108
Anselmo, T., Nelson, R., Carneiro da Cunha, B., Crowdy, D.G.: Accessory parameters in conformal mapping: exploiting the isomonodromic tau function for Painlevé VI. Proc. R. Soc. Lond. A 474, 20180080 (2018)
Barragán Amado, J., Carneiro Da Cunha, B., Pallante, E.: Scalar quasinormal modes of Kerr-AdS\({_5}\). Phys. Rev. D 99, 105006 (2019). arXiv:1812.08921
Carneiro da Cunha, B., Cavalcante, J.A.P.: Confluent conformal blocks and the Teukolsky master equation. Phys. Rev. D 102, 105013 (2020). arXiv:1906.10638
Carneiro da Cunha, B., Novaes, F.: Kerr scattering coefficients via isomonodromy. JHEP 11, 144 (2015). arXiv:1506.06588
Novaes, F., Carneiro da Cunha, B.: Isomonodromy Painlevé transcendents and scattering off of black holes. JHEP 07, 132 (2014). arXiv:1404.5188
Lencsés, M., Novaes, F.: Classical conformal blocks and accessory parameters from isomonodromic deformations. JHEP 04, 096 (2018). arXiv:1709.03476
Novaes, F., Marinho, C., Lencsés, M., Casals, M.: Kerr-de Sitter quasinormal modes via accessory parameter expansion. JHEP 05, 033 (2019). arXiv:1811.11912
Kashani-Poor, A.-K., Troost, J.: Transformations of spherical blocks. JHEP 10, 009 (2013). arXiv:1305.7408
Gamayun, O., Iorgov, N., Lisovyy, O.: Conformal field theory of Painlevé VI. JHEP 10, 038 (2012). arXiv:1207.0787
Sato, M., Miwa, T., Jimbo, M.: Holonomic quantum fields I. Publ. Res. Inst. Math. Sci. 14, 223 (1978)
Sato, M., Miwa, T., Jimbo, M.: Holonomic quantum fields. II. Publ. Res. Inst. Math. Sci. 15, 201 (1979)
Sato, M., Miwa, T., Jimbo, M.: Holonomic quantum fields III. Publ. Res. Inst. Math. Sci. 15, 577 (1979)
Sato, M., Miwa, T., Jimbo, M.: Holonomic quantum fields. IV. Publ. Res. Inst. Math. Sci. 15, 871 (1979)
Sato, M., Miwa, T., Jimbo, M.: Holonomic quantum fields. V. Publ. Res. Inst. Math. Sci. 16, 531 (1980)
Wu, T.T., McCoy, B.M., Tracy, C.A., Barouch, E.: Spin-spin correlation functions for the two-dimensional Ising model: exact theory in the scaling region. Phys. Rev. B 13, 316 (1976)
Knizhnik, V.G.: Multiloop amplitudes in the theory of quantum strings and complex geometry. Sov. Phys. Usp. 32, 945 (1989)
Moore, G.: Geometry of the string equations. Commun. Math. Phys. 133, 261 (1990)
Gamayun, O., Iorgov, N., Lisovyy, O.: How instanton combinatorics solves Painlevé VI, V and IIIs. J. Phys. A 46, 335203 (2013). arXiv:1302.1832
Bershtein, M., Shchechkin, A.: Bilinear equations on Painlevé \(\tau \) functions from CFT. Commun. Math. Phys. 339, 1021 (2015). arXiv:1406.3008
Iorgov, N., Lisovyy, O., Teschner, J.: Isomonodromic tau-functions from Liouville conformal blocks. Commun. Math. Phys. 336, 671 (2015). arXiv:1401.6104
Gavrylenko, P., Lisovyy, O.: Fredholm determinant and Nekrasov sum representations of isomonodromic Tau functions. Commun. Math. Phys. 363, 1 (2018). arXiv:1608.00958
Gavrylenko, P., Lisovyy, O.: Pure \(SU(2)\) gauge theory partition function and generalized Bessel kernel. Proc. Symp. Pure Math. 18, 181 (2018). arXiv:1705.01869
Bonelli, G., Lisovyy, O., Maruyoshi, K., Sciarappa, A., Tanzini, A.: On Painlevé/gauge theory correspondence. Lett. Math. Phys. 107, 2359 (2017)
Nagoya, H.: Irregular conformal blocks, with an application to the fifth and fourth Painlevé equations. J. Math. Phys. 56, 123505 (2015). arXiv:1505.02398
Nagoya, H.: Remarks on irregular conformal blocks and Painlevé III and II tau functions. In: The Proceedings of ’Meeting for Study of Number theory, Hopf Algebras and Related Topics, Toyama, 12–15 February 2017’ (2018). arXiv:1804.04782
Bonelli, G., Del Monte, F., Gavrylenko, P., Tanzini, A.: \({{\cal{N}}}\) = \(2^*\) gauge theory, free fermions on the Torus and Painlevé VI. Commun. Math. Phys. 377, 1381 (2020). arXiv:1901.10497
Bonelli, G., Del Monte, F., Gavrylenko, P., Tanzini, A.: Circular quiver gauge theories, isomonodromic deformations and \(W_N\) fermions on the torus. arXiv:1909.07990
Del Monte, F., Desiraju, H., Gavrylenko, P.: Isomonodromic tau functions on a torus as Fredholm determinants, and charged partitions, arXiv:2011.06292
Alday, L.F., Gaiotto, D., Tachikawa, Y.: Liouville correlation functions from four-dimensional gauge theories. Lett. Math. Phys. 91, 167 (2010). arXiv:0906.3219
Mizoguchi, S., Yamada, Y.: W(E(10)) symmetry, M theory and Painleve equations. Phys. Lett. B 537, 130 (2002). arXiv:hep-th/0202152
Kajiwara, K., Masuda, T., Noumi, M., Ohta, Y., Yamada, Y.: Cubic pencils and Painlevé Hamiltonians. Funkcial. Ekvac. 48, 147 (2005). arXiv:nlin/0403009
Grassi, A., Hatsuda, Y., Marino, M.: Topological strings from quantum mechanics. Annales Henri Poincare 17, 3177 (2016). arXiv:1410.3382
Braverman, A., Etingof, P.: Instanton counting via affine Lie algebras II: From Whittaker vectors to the Seiberg–Witten prepotential. In: Studies in Lie Theory, vol. 243 of Progress in Mathematics, pp. 61–78. Birkhäuser Boston, Boston, MA, 9 (2006). arXiv:math/0409441
Nekrasov, N.A., Shatashvili, S.L.: Quantization of integrable systems and four dimensional gauge theories. In: 16th International Congress on Mathematical Physics, Prague, August 2009, pp. 265–289. World Scientific 2010 (2009). arXiv:0908.4052
Nekrasov, N., Rosly, A., Shatashvili, S.: Darboux coordinates, Yang–Yang functional, and gauge theory. Theor. Math. Phys. 181, 1206 (2014)
Başar, G., Dunne, G.V.: Resurgence and the Nekrasov–Shatashvili limit: connecting weak and strong coupling in the Mathieu and Lamé systems. JHEP 02, 160 (2015). arXiv:1501.05671
Sun, K., Wang, X., Huang, M.-X.: Exact quantization conditions. Toric Calabi–Yau and nonperturbative topological string. JHEP 01, 061 (2017). arXiv:1606.07330
Grassi, A., Gu, J.: BPS relations from spectral problems and blowup equations. Lett. Math. Phys. 109, 1271 (2019). arXiv:1609.05914
Huang, M.-X., Sun, K., Wang, X.: Blowup equations for refined topological strings. JHEP 10, 196 (2018). arXiv:1711.09884
Gu, J., Haghighat, B., Klemm, A., Sun, K., Wang, X.: Elliptic blowup equations for 6d SCFTs. Part III. E-strings, M-strings and chains. JHEP 07, 135 (2020). arXiv:1911.11724
Grassi, A., Gu, J., Mariño, M.: Non-perturbative approaches to the quantum Seiberg–Witten curve. JHEP 07, 106 (2020). arXiv:1908.07065
Gavrylenko, P., Marshakov, A., Stoyan, A.: Irregular conformal blocks, Painlevé III and the blow-up equations. JHEP 12, 125 (2020). arXiv:2006.15652
Lisovyy, O.: Painlevé functions, accessory parameters and conformal blocks. https://sms.cam.ac.uk/media/3088980 (2019)
Nekrasov, N.: private communication, also remark at min 50:30 during J. Teschner’s talk given at the workshop “Gauge theories and integrability”, The Euler International Mathematical Institute, St.Petersburg, Russia. https://www.lektorium.tv/lecture/14804 (2013)
Nekrasov, N.: Blowups in BPS/CFT correspondence, and Painlevé VI. arXiv:2007.03646
Jeong, S., Nekrasov, N.: Riemann–Hilbert correspondence and blown up surface defects. JHEP 12, 006 (2020). arXiv:2007.03660
Lukyanov, S.L.: unpublished
Bershtein, M.A., Shchechkin, A.I.: Backlund transformation of Painleve III(\(D_8\)) tau function. J. Phys. A 50, 115205 (2017). arXiv:1608.02568
Its, A., Lisovyy, O., Tykhyy, Yu.: Connection problem for the sine-Gordon/Painlevé III tau function and irregular conformal blocks. Int. Math. Res. Not. 18, 8903 (2015). arXiv:1403.1235
Levin, A., Olshanetsky, M.: Hierarchies of isomonodromic deformations and Hitchin systems. Transl. Am. Math. Soc. Ser. 2(191), 223 (1999)
Takasaki, K.: Elliptic Calogero–Moser systems and isomonodromic deformations. J. Math. Phys. 40, 5787 (1999)
Levin, A.M., Olshanetsky, M.A.: Painlevé–Calogero Correspondence, pp. 313–332. Springer, New York, NY (2000). https://doi.org/10.1007/978-1-4612-1206-5_20
Manin, YI.: Sixth Painlevé equation, universal elliptic curve, and mirror of \({\bf P}^2\)
Jimbo, M., Miwa, T.: Monodromy perserving deformation of linear ordinary differential equations with rational coefficients. II. Physica D 2, 407 (1981)
Bertola, M.: The dependence on the monodromy data of the isomonodromic tau function. Commun. Math. Phys. 294, 539 (2010). arXiv:0902.4716
Coman, I., Pomoni, E., Teschner, J.: From quantum curves to topological string partition functions. arXiv:1811.01978
Coman, I., Longhi, P., Teschner, J.: From quantum curves to topological string partition functions II. arXiv:2004.04585
Gavrylenko, P., Santachiara, R.: Crossing invariant correlation functions at \(c=1\) from isomonodromic \(\tau \) functions. JHEP 11, 119 (2019). arXiv:1812.10362
Takemura, K.: Analytic continuation of eigenvalues of the Lamé operator. J. Differ. Equ. 228, 1 (2006). arXiv:math/0311307
Hatsuda, Y., Sciarappa, A., Zakany, S.: Exact quantization conditions for the elliptic Ruijsenaars–Schneider model. J. High Energy Phys. 2018, 1–65 (2018)
Bershtein, M., Shchechkin, A.: Painlevé equations from Nakajima–Yoshioka blowup relations. Lett. Math. Phys. 109, 2359 (2019). arXiv:1811.04050
Bershtein, M., Shchechkin, A.: q-deformed Painlevé \(\tau \) function and q-deformed conformal blocks. J. Phys. A 50, 085202 (2017). arXiv:1608.02566
Mironov, A., Morozov, A.: Nekrasov functions and exact Bohr–Sommerfeld integrals. JHEP 1004, 040 (2010). arXiv:0910.5670
Kozlowski, K., Teschner, J.: TBA for the Toda chain. In: New Trends in Quantum Integrable systems, pp. 195–219. World Science Publications, Hackensack, NJ (2011). arXiv:1006.2906
Matone, M.: Instantons and recursion relations in \({\cal{N}}=2\) SUSY gauge theory. Phys. Lett. B 357, 342 (1995). arXiv:hep-th/9506102
Flume, R., Fucito, F., Morales, J.F., Poghossian, R.: Matone’s relation in the presence of gravitational couplings. JHEP 04, 008 (2004). arXiv:hep-th/0403057
Losev, A.S., Marshakov, A., Nekrasov, N.A.: Small instantons, little strings and free fermions. In: From Fields to Strings: Circumnavigating Theoretical Physics: A Conference in Tribute to Ian Kogan, pp. 581–621, 2 (2003). arXiv:hep-th/0302191
Bullimore, M., Kim, H.-C., Koroteev, P.: Defects and quantum Seiberg–Witten geometry. JHEP 05, 095 (2015). arXiv:1412.6081
Nakajima, H., Yoshioka, K.: Perverse coherent sheaves on blow-up. III: Blow-up formula from wall-crossing. Kyoto J. Math. 51, 263 (2011). arXiv:0911.1773
Bershtein, M., Feigin, B., Litvinov, A.: Coupling of two conformal field theories and Nakajima–Yoshioka blow-up equations. Lett. Math. Phys. 106, 29 (2016). arXiv:1310.7281
Del Monte, F.: Painlevé/Gauge theory correspondence on the torus, Talk given at the Workshop Topological String Theory and Related Topics (2019)
He, W.: Combinatorial approach to Mathieu and Lamé equations. J. Math. Phys. 56, 072302 (2015). arXiv:1108.0300
Piatek, M.: Classical conformal blocks from TBA for the elliptic Calogero–Moser system. JHEP 06, 050 (2011). arXiv:1102.5403
Beccaria, M.: On the large \(\Omega \)-deformations in the Nekrasov–Shatashvili limit of \({\cal{N}}=2^{*}\) SYM. JHEP 07, 055 (2016). arXiv:1605.00077
Bruzzo, U., Pedrini, M., Sala, F., Szabo, R.J.: Framed sheaves on root stacks and supersymmetric gauge theories on ALE spaces. Adv. Math. 288, 1175 (2016). arXiv:1312.5554
Ohkawa, R.: Functional equations of Nekrasov functions proposed by Ito, Maruyoshi, and Okuda. Mosc. Math. J. 20, 531 (2020). arXiv:1804.00771
Fintushel, R., Stern, R.J.: The blowup formula for Donaldson invariants. Ann. Math. (2) 143, 529 (1996). arXiv:alg-geom/9405002
Brussee, R.: Blow-up formulas for \((-2)\)-spheres. arXiv:dg-ga/9412004
Shchechkin, A.: Blowup relations on \({\mathbb{C}}^2/{\mathbb{Z}}_2\) from Nakajima–Yoshioka blowup relations. Teoret. Mat. Fiz. 206, 225 (2021). arXiv:2006.08582
Maruyoshi, K., Taki, M.: Deformed prepotential, quantum integrable system and Liouville field theory. Nucl. Phys. B 841, 388 (2010). arXiv:1006.4505
Fateev, V.A., Litvinov, A.V.: On AGT conjecture. JHEP 02, 014 (2010). arXiv:0912.0504
Alday, L.F., Gaiotto, D., Gukov, S., Tachikawa, Y., Verlinde, H.: Loop and surface operators in N=2 gauge theory and Liouville modular geometry. JHEP 01, 113 (2010). arXiv:0909.0945
Drukker, N., Gomis, J., Okuda, T., Teschner, J.: Gauge theory loop operators and Liouville theory. JHEP 02, 057 (2010). arXiv:0909.1105
Fateev, V.A., Litvinov, A.V., Neveu, A., Onofri, E.: Differential equation for four-point correlation function in Liouville field theory and elliptic four-point conformal blocks. J. Phys. A 42, 304011 (2009). arXiv:0902.1331
Eguchi, T., Ooguri, H.: Conformal and current algebras on a general Riemann surface. Nucl. Phys. B 282, 308 (1987)
Lisovyy, O., Naidiuk, A.: Accessory parameters in confluent Heun equations and classical irregular conformal blocks. arXiv:2101.05715
Lisovyy, O., Roussillon, J.: On the connection problem for Painlevé I. J. Phys. A: Math. Theor. 50, 255202 (2017)
Ito, K., Shu, H.: ODE/IM correspondence and the Argyres–Douglas theory. JHEP 08, 071 (2017). arXiv:1707.03596
Grassi, A., Gu, J.: Argyres–Douglas theories. Painlevé II and quantum mechanics. JHEP 02, 060 (2019). arXiv:1803.02320
Iwaki, K., Lisovyy, O., Naidiuk, A.: In preparation
Masoero, D., Roffelsen, P.: Poles of Painlevé IV Rationals and their Distribution, Symmetry. Methods and Applications, Integrability and Geometry (2018). https://www.emis.de/journals/SIGMA/2018/002/
van der Put, M., Saito, M.-H.: Moduli spaces for linear differential equations and the Painlevé equations. Annales de l’Institut Fourier 59, 2611 (2009)
Zenkevich, Y.: Nekrasov prepotential with fundamental matter from the quantum spin chain. Phys. Lett. B 701, 630 (2011). arXiv:1103.4843
Ito, K., Kanno, S., Okubo, T.: Quantum periods and prepotential in \( {\cal{N}}=2 \) SU(2) SQCD. JHEP 08, 065 (2017). arXiv:1705.09120
Aminov, G., Grassi, A., Hatsuda, Y.: Black hole quasinormal modes and Seiberg–Witten theory. arXiv:2006.06111
da Cunha, B.C., de Almeida, M.C., de Queiroz, A.R.: On the existence of monodromies for the Rabi model. J. Phys. A 49, 194002 (2016). arXiv:1508.01342
Dubrovin, B., Kapaev, A.: A Riemann–Hilbert Approach to the Heun Equation, Symmetry. Methods and Applications, Integrability and Geometry (2018). https://www.emis.de/journals/SIGMA/2018/093/
Gavrylenko, P.: Isomonodromic \(\tau \)-functions and W\(_{N}\) conformal blocks. JHEP 09, 167 (2015). arXiv:1505.00259
Gavrylenko, P., Iorgov, N., Lisovyy, O.: Higher rank isomonodromic deformations and \(W\)-algebras. Lett. Math. Phys. 110, 327 (2019). arXiv:1801.09608
Bershtein, M., Gavrylenko, P., Marshakov, A.: Cluster Toda chains and Nekrasov functions. Theor. Math. Phys. 198, 157 (2019). arXiv:1804.10145
Gavrylenko, P.G., Marshakov, A.V.: Free fermions, W-algebras and isomonodromic deformations. Theor. Math. Phys. 187, 649 (2016). arXiv:1605.04554
Bonelli, G., Grassi, A., Tanzini, A.: New results in \({\cal{N}}=2\) theories from non-perturbative string. Annales Henri Poincare 19, 743 (2018). arXiv:1704.01517
Gavrylenko, P., Marshakov, A.: Exact conformal blocks for the W-algebras, twist fields and isomonodromic deformations. JHEP 02, 181 (2016). arXiv:1507.08794
Bender, C.M., Komijani, J., Hai Wang, Q.: Nonlinear eigenvalue problems for generalized Painlevé equations. J. Phys. A Math. Theor. 52, 315202 (2019)
Bonelli, G., Grassi, A., Tanzini, A.: Quantum curves and \(q\)-deformed Painlevé equations. Lett. Math. Phys. 109, 1961 (2019). arXiv:1710.11603
Matsuhira, Y., Nagoya, H.: Combinatorial Expressions for the Tau Functions of q-Painlevé V and III Equations, Symmetry. Methods and Applications, Integrability and Geometry (2019). https://www.emis.de/journals/SIGMA/2019/074/
Jimbo, M., Nagoya, H., Sakai, H.: CFT approach to the \(q\)-Painlevé VI equation. J. Integr. Syst. 2, xyx009 (2017). arXiv:1706.01940
Bonelli, G., Del Monte, F., Tanzini, A.: BPS quivers of five-dimensional SCFTs. Topological Strings and q-Painlevé equations. arXiv:2007.11596
Nosaka, T.: SU(N) q-Toda equations from mass deformed ABJM theory. JHEP 06, 060 (2021). arXiv:2012.07211
Moriyama, S., Yamada, Y.: Quantum representation of affine Weyl groups and associated quantum curves. arXiv:2104.06661
Aganagic, M., Cheng, M.C., Dijkgraaf, R., Krefl, D., Vafa, C.: Quantum geometry of refined topological strings. JHEP 1211, 019 (2012). arXiv:1105.0630
Noumi, M., Ruijsenaars, S., Yamada, Y.: The elliptic painlevé lax equation vs. van diejen’s 8-coupling elliptic Hamiltonian, Symmetry, Integrability and Geometry: Methods and Applications (2020). https://www.emis.de/journals/SIGMA/2020/063/
Bonelli, G., Grassi, A., Tanzini, A.: Seiberg–Witten theory as a Fermi gas. Lett. Math. Phys. 107, 1 (2017). arXiv:1603.01174
Zamolodchikov, A.B.: Painleve III and 2-d polymers. Nucl. Phys. B 432, 427 (1994). arXiv:hep-th/9409108
Bonelli, G., Globlek, F., Tanzini, A.: Instantons to the people: the power of one-form symmetries. arXiv:2102.01627
Fock, V., Gorsky, A., Nekrasov, N., Rubtsov, V.: Duality in integrable systems and gauge theories. JHEP 07, 028 (2000). arXiv:hep-th/9906235
Acknowledgements
We would like to thank Giulio Bonelli, Bruno Carniero da Cunha, Joao Cavalcante, Fabrizio Del Monte, Jie Gu, Yasuyuki Hatsuda, Oleg Lisovyy, Hiraku Nakajima, Nikita Nekrasov, Anton Shchechkin, Alessandro Tanzini for useful discussions and correspondence. We are especially grateful to Anton Shchechkin for a careful reading of the preliminary version of the paper and many critical remarks. AG would like to thank Skoltech and the HSE Moscow for the kind hospitality during fall 2019 when this project started. The work of AG is partially supported by the Fonds National Suisse, Grant No. 185723 and by the NCCR “The Mathematics of Physics” (SwissMAP). The work was partially carried out in Skolkovo Institute of Science and Technology under financial support of Russian Science Foundation within grant 19-11-00275 (PG).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by H.-T.Yau
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Conventions for Elliptic Functions
For the elliptic functions we use the same conventions and definitions as in Appendix A of [49]. We always use
The conventions for Jacobi theta functions are
There is also a useful infinite product representation for \(\theta _1\):
The Dedekind \(\eta \) is defined as
and satisfies
We also define
One also has a relation
The Weierstrass \(\wp \) function is
where
We also use
We now list some useful representations of the Weierstrass function. The first one is
This representation makes the modular transformation obvious:
If we take (A.11) and we perform the sum in the \(n\)-direction we get another representation:
From (A.13) one can easily get the expansion in the limit \(\tau \rightarrow {\mathrm{i}}\infty \):
Another option is to compute the sum in (A.11) along the \(k\)-direction:
There are also some useful expansions of \(\eta _1(\tau )\). For example
where \(\sigma _1(n)\) is sum of all divisors of \(n\):
Another useful expansion can be obtained by using the modular transformation of the Dedekind function:
Perturbative Study of Quantum Mechanical Potentials
The results presented in this Appendix are not new and can be found in various textbook, as well as in [83, Sec. 2] where they also discuss them in relation to gauge theory. We added this Appendix in order to perform another verification of the computations done in the main part of the paper, and also to study several limiting cases in more detail.
1.1 Perturbed Pöschl–Teller potential
Here we study the quantum mechanical problem of the Weierstrass potential by considering its expansion (A.14) in the limit \(\tau \rightarrow {\mathrm{i}}\infty \). The corresponding quantum mechanical Hamiltonian is
The first term is the well-known trigonometric Pöschl–Teller potential. Its eigenfunctions can be constructed explicitly, for example, using supersymmetric quantum mechanics (we take \(m>1\) so that the eigenfunctions are well defined for \(x \in [0,1]\)):
The eigenvalue equation has the form
Now we compute the first order correction to the energy (we computed it for the first few levels and then guessed the general form):
Hence
see also [83, formula (2.36)]. This is in perfect agreement with the gauge theory computation, see (4.80).
We notice that this formula is applicable also for \(\tau \rightarrow -\frac{1}{2}+{\mathrm{i}}\infty \). In this case the potential is still real, and all the formulas for the energy can be applied directly. The only difference is that now \({\mathfrak {q}}={\mathrm{e}}^{2\pi {\mathrm{i}}\tau }\) will be a small negative real number.
1.2 Distant potential walls approximation
We now switch to another approximation. We consider the operator
where
We introduce here \({\widehat{\tau }}\) to distinguish it from the modular parameter in the conformal blocks, which will be \(\tau =-1/{\widehat{\tau }}\). We want to study the limit
In this regime the potential takes the form of an infinite collection of walls
located at integer points \(n\in {\mathbb {Z}}\), see (A.15). Each wall decays exponentially at a distance of the order \(-{\mathrm{i}}{{\widehat{\tau }}}\). We could naively rescale the x coordinate as
and say that the limiting potential is \(\frac{m(m-1)}{\sinh ^2 y}\). However, such procedure produces some inconvenient artifacts like a continuous spectrum (it was discrete before the limit). In fact the correct way to solve this problem is to keep also the second neighboring wall before taking the limit (B.8).Footnote 24 This procedure will give us a result which is valid up to exponentially small corrections of the form \({\mathcal {O}}({\mathrm{e}}^{-2 \pi {\mathrm{i}}/{{{\widehat{\tau }}}}})\).
We proceed as follows. We first consider the scattering on the single potential wall and then glue the two scattered wave functions corresponding to the two neighboring walls. The equation for the \(n=0\) wall is (hyperbolic Pöschl–Teller)
where \(\kappa \) parameterizes the energy. Two independent solutions of this equation are
We see that if \(m>1\) only the first one is regular as \(x\rightarrow 0\). So in order to study the scattering on the potential wall it is sufficient to consider \(\Psi ^{(1)}(x)\). We also need to re-expand \(\Psi ^{(1)}(x)\) in the limit (B.8). This can be done by using the formula (C.15). We have
Likewise the wave function coming from the potential wall at \(x=1\) should have the form
One should have \(\Psi ^{(1)}(x)\approx {\pm } \Psi ^{({\tilde{1}})}(x)\), because the potential is symmetric. This gives us the following relation:
This can be simplified using Legendre duplication formula
We get
We can also rewrite it in the logarithmic form:
This is in perfect agreement with the gauge theory computation. Indeed this example is case \(\#\) 2 in Table 1. Therefore the quantization condition coming from the gauge theory (4.59), (4.73) give us
Taking the logarithm of this equation we get
We see that this expression coincides with the approximate quantum mechanical quantization condition (B.19) after identification
The difference between these two expressions is given by the derivative of the conformal block, which is exponentially small i.e. \({\mathcal {O}}({\mathrm{e}}^{-2 \pi {\mathrm{i}}/{{\hat{\tau }}}}) \). On the quantum mechanical side this corresponds to the “interaction” between the potential walls.
We can also try to analyze the spectrum in the limit \({{\widehat{\tau }}}\rightarrow 0\). To do this we expand the gamma functions around \(\sigma =0\) with \(\pi >\arg \sigma \ge 0\):
where \(\psi \) is the polygamma function. Now we can find \(\sigma \) in a form of a double series expansion
By substituting this expression into the formula for the energy of the one-wall problem we getFootnote 25
Hence
At the leading order (B.26) coincides with the spectrum of two infinite walls potentials. Corrections of order \(\tau ^{-1}\) and higher come from the fact that the potential walls have a non-zero width. Other exponentially small corrections of order \({\mathcal {O}}({\mathfrak {q}})\) come from all the other terms in the expansion (A.15) and also from the fact that we used the one-wall wave functions for the two-wall problem.
We also notice that a similar computation can be done for the case \(\# 6\) in Table 1. In this case the limiting quantum-mechanical potential consists of potential walls \(\frac{m(m-1)}{\sinh ^2y}\) with potential wells \(-\frac{m(m-1)}{\cosh ^2y}\) between them.
Computation of Monodromies
To make the exposition self-consistent we report in this Appendix the explicit computations of monodromies in terms of \(\eta \) and \(\sigma \). These results were obtained in [49]. We assume everywhere that \(2\sigma \notin {\mathbb {Z}}\) and the same for \(m\).
1.1 B-cycle monodromy \(M_{B}\)
The fundamental solution of the linear system (4.1) has the following properties
Here the matrices the \(\mathrm {T}_A,\mathrm {T}_B\) are called twists, they encode nontrivial shifts of the matrix A(z). Geometrically they encodes the fact that we have connection in nontrivial holomorphic bundle on \({{\mathbb {T}}}^2\). It follows from the formula (4.2) that
where \(\sigma _3\) denotes the Pauli matrix.
The matrices \(M_A, M_B\) are called monodromy matrices. In this section we find their explicit expressions for an appropriate choice of \(Y(z)\) (see [49, eq. (D.32)]), the reader in hurry can skip the derivation and go to the answers (C.20), (C.22), (C.24). We will assume through this derivation that \(\sigma , m\) are generic, then expect possible singularities in these parameters.
Since the monodromies do not depend on \(\tau \) and \(z\), we can consider the system (2.1) in the limit
Moreover, we take \(z\) in the vicinities of four points, \(\frac{1}{2}-\frac{\tau }{2}\), \(\frac{1}{2}+\frac{\tau }{2}\), \(-\frac{1}{2}+\frac{\tau }{2}\), \(-\frac{1}{2}-\frac{\tau }{2}\). As a first step we find the asymptotics of \(Q\) in this regime. By using (4.9) we get the following expansion:
The leading term has the following form:
Hence we have \(Q\approx \sigma \tau +\beta \). The corresponding momentum is \(p\approx 2\pi {\mathrm{i}}\sigma \). Here we are focusing on the upper sign in (4.22), but this does not matter for the computation of the monodromies.
To compute the limit of the Lax matrix we first analyze the element \(12\) of (4.17). Using (A.3) we have
It is convenient to consider
and then perform analytic continuation to all values of \(\sigma \). We also consider \(z\) in the following region containing the fundamental domain:
Under such assumptions we can just drop the infinite products in (C.6) and write
The same procedure can be done for \(A_{21}(z)\):
Therefore in our approximation the connection matrix has the form
The solution of the linear system (4.1) becomes
We now compare this solution in the vicinities of the two following points. The first one is
which corresponds to \({\mathrm{e}}^{2\pi {\mathrm{i}}z}\rightarrow -0\), so in this case (C.12) can be used. The second point is
In this case \({\mathrm{e}}^{2\pi {\mathrm{i}}z}\rightarrow -\infty \), so one has to perform analytic continuation of \(Y(z)\) along the straight line from \(\frac{1}{2}+\frac{\tau }{2}\) to \(\frac{1}{2}-\frac{\tau }{2}\). This can be done by using the standard formula for hypergeometric function:
The result of this analytic continuation \(Y_{cont}(z)\) is given by the following explicit formula
Now we rewrite the \(B\)-cycle monodromy equation (C.1) as
We now use this formula for \(z\) near \(\frac{1}{2}-\frac{\tau }{2}\). In this region \({\mathrm{e}}^{2\pi {\mathrm{i}}z}\) is large and \({\mathrm{e}}^{2\pi {\mathrm{i}}(z+\tau )}\) is small. Hence we get
In this computation we already neglected the terms of order \({\mathrm{e}}^{-2\pi {\mathrm{i}}z}\) and \({\mathrm{e}}^{2\pi {\mathrm{i}}(z+\tau )}\). Therefore, given (C.7), we can also neglect the terms of order \(({\mathrm{e}}^{2\pi {\mathrm{i}}z})^{-2\sigma }\). Finally, by using the definition of \(\beta \) from (C.5) we obtain
To get rid of the factors with gamma functions and the two \({\mathrm{e}}^{{\pm } {\mathrm{i}}\eta /2}\) in the out of diagonal elements, we can perform conjugation by a diagonal matrix. We get
This matrix can also be written in terms of \({\tilde{\eta }}\) defined by
We have
These two representations give different monodromies in the dangerous cases when
which will be explained in “Appendix C.3”.
1.2 Other monodromies: \(M_{A}\), \(M_{0}\)
Now we compute the remaining monodromies \(M_{A}\), \(M_{0}\). We take the starting point to be \(z_0\) in the vicinity of \(\frac{1}{2}-\frac{\tau }{2}\). Using expression (C.12) for Y(z) we get
Now we compute the analytic continuation around the singular point as in Fig. 2:
where \(T_B={\mathrm{e}}^{2\pi {\mathrm{i}}Q\sigma _3}\). Thus
We see from this relation that the monodromies corresponding to consecutive pieces of the path should be written from the right to the left.
Another monodromy which we also need is the one over the straight line \(C\) connecting the point \(0\) with \(2\tau +1\), see Fig. 3. It corresponds to the self-adjoint operator living on \(C\) when \(\tau =-\frac{1}{2}+{\mathrm{i}}{\mathfrak {t}}\). Looking at Fig. 3 we conclude that
1.3 Trace coordinates
Using the formulas (C.20), (C.22), (C.24) we will consider \((\sigma , \eta )\) or \((\sigma , {\tilde{\eta }})\) as coordinates on the moduli space of monodromy data on torus.Footnote 26 This monodromy manifold can be described in terms of traces of some products of matrices
Here \(p_0=2\cos 2 \pi m\) is considered as a fixed parameter. By using the explicit expressions above we easily get the following formulas:
By multiplying the above expressions we get the following relation
or after simplification
This equation defines a surface in \({\mathbb {C}}^3\) with coordinates \(p_A,p_B,p_{AB}\). This surface is the monodromy manifold in our case.
Now we can look to the dangerous points (C.23). In terms of trace coordinates this equations reads \(p_A^2=p_0+2\). Hence it defines two points on the monodromy manifold
It follows from equations (C.29) that these two points belong to two different charts, one for finite \(\eta \) and another for finite \({\tilde{\eta }}\). For example for \(\sin (2\sigma +m)=0\) we have finite \(\eta \) for \("+"\) sign in (C.32) and finite \(\eta \) for \("-"\) sign in (C.32).
The consequence of these considerations is that for generic \(m\) the corresponding monodromy manifold (without the very bad points \(2\sigma \in {\mathbb {Z}}\) ) can be covered by two charts where either \(\eta \) or \({\tilde{\eta }}\) is finite.
1.4 Diagonalization of \(M_{0}\)
To study normalizability of the solution to the linear system (4.1) we will need to study its asymptotics around \(0\). To do this it is very convenient to work in a basis where \(M_0\) is diagonal. There are two possible diagonalizations corresponding to two different charts, where either \(\eta \) or \({\tilde{\eta }}\) are kept finite. These diagonalizations will be denoted by \(^{(I)}\) and \(^{(II)}\), respectively:
The first diagonalization of \(M_0\) is done by the matrix
It is always non-degenerate, since \(\det T^{(I)}=2\). The corresponding conjugated monodromy matrices are
The matrix \(M_C\) has a cumbersome expression, so we present here only its off-diagonal entries:
The second diagonalization of \(M_0\) is done by the matrix
The conjugated monodromy matrices are
Conformal Blocks on the Torus: Conventions
The torus conformal blocks almost coincide with the Nekrasov partition functions for \({\mathcal {N}}=2^*\) four-dimensional theory. Hence here we write the formulas for Nekrasov functions. We follow the notations of [84], or rather adopt the notations from loc. cit. since there is no \({\mathcal {N}}=2^*\) there.
The Nekrasov function is a product
where
with [10, App. E]
The function \({\mathcal {Z}}^{U(2)}_{\mathrm {inst}}(a,\alpha ;\epsilon _1,\epsilon _2|{\mathfrak {q}})\) is defined as a sum over partitions:
where \(\lambda ^{(1)}, \lambda ^{(2)}\) are partitions and \(|\lambda |=\sum \lambda _j\) denotes the number of boxes. We also use \(a_{\lambda }(s), l_{\lambda }(s)\) to denote the lengths of arms and legs for the box s in the Young diagram corresponding to the partition \(\lambda \). The parameters \(a_1\) and \(a_2\) satisfy \(a_1=a, a_2=-a\). The first terms of these functions are
It is sometimes convenient to factor out the U(1) part of the partition function by defining
On the CFT side this is the transition from the sum of Virasoro and Heisenberg to Virasoro algebra. The first few terms of this function are
The function \({\mathcal {Z}}^{U(2)}_{\mathrm {inst}}\) has the following reflection symmetry
This follows from the relation
The classical part \({\mathcal {Z}}_{\mathrm {cl}}(a;\epsilon _1,\epsilon _2|{\mathfrak {q}})\) also posses such symmetry, but not \({\mathcal {Z}}_{\mathrm {1-loop}}(a;\epsilon _1,\epsilon _2|{\mathfrak {q}})\). Hence we have
where
In the main text we mainly need two special cases of \({\mathcal {Z}}(a,\alpha ;\epsilon _1,\epsilon _2|{\mathfrak {q}})\), namely the self-dual case (\(\epsilon _1+\epsilon _2=0\)) and the Nekrasov–Shatashvili case (\(\epsilon _2\rightarrow 0\)).
Self-dual case In this case we impose the condition \(\epsilon _1+\epsilon _2=0\). It is also convenient to fix some rescaling freedom and impose \(\epsilon _1=-1\), \(\epsilon _2=1\). As a consequence we change the notation and use \(a=\sigma \), \(\alpha =m\). We have
Here for the \(\gamma _{\epsilon _1,\epsilon _2}\) we used the transformation (see e.g. [84, App. A,B])
In the main text we use the self-dual limit of the function \({\mathcal {Z}}^{SU(2)}_{\mathrm {inst}}\) and we denote it by Z:
The first few orders read
Nekrasov–Shatashvili limit In the limit \(\epsilon _2 \rightarrow 0\), we have
where
and
The formula for \(F^{\mathrm {NS}}_{\mathrm {1-loop}}\) is somehow ambiguous, it depends on the branch of the function \(\psi ^{(-2)}\). Fortunately \(F^{\mathrm {NS}}\) appears in the main text only through \( {\mathfrak {q}}\) and \(\sigma \) derivatives. The term \(F^{\mathrm {NS}}_{\mathrm {1-loop}}\) do not depend on \({\mathfrak {q}}\). For the \(\sigma \) derivative we have
Formally speaking, this function also has monodromy, but now its exponent \(\exp ( \partial _{\sigma }F^{\mathrm {NS}}_{\mathrm {1-loop}})\) is well defined, so the eqs. (4.73) and (4.74) make sense. The formula (D.18) is actually used in the main text.
In order to obtain the formula (D.16) it is useful to consider \(\gamma ^{\mathrm {NS}}(x)=\lim _{\epsilon _2 \rightarrow 0}\epsilon _2 \gamma _{1,\epsilon _2}(x;1)\). By using the expansion of the exponent in terms of Bernoulli numbers, we get the asymptotic series (for \(x>0\))
where A is Glaisher–Kinkelin constant.
We used the polygamma function \(\psi ^{(-2)}(x)\) in the formula (D.16), but it can be also written by using Barnes G functions (as in self-dual case) thanks to the formula (for \(x>0\))
Some Proofs
1.1 Proof of the relation (6.1)
The proof is similar to the one in [102]. We will use the notation \(\beta _0^0\) and \(\beta _1^0\) for the functions which appear in the algebraic blowup relations (5.16)
It follows from the blowup relations (5.16) and (5.18), (5.19) that for \(j=0,1\)
We will use Nekrasov functions depending on different \(\epsilon \) parameters. Let us denote
By \(\partial ^{(l)}\) we denote the operator \(\partial _{\log {\mathfrak {q}}}\) acting on the argument of \({\mathcal {Z}}^{(l)}\), for \(l=1,2,3,4\). We also denote
Then Eq. (6.1) is equivalent to \(\widehat{{\mathcal {Z}}}=0\). We have
Here for shortness we omit the \({\mathfrak {q}}\) dependence in the \(\beta \) and \(\gamma \) functions. In the first transformation we change variables to \(n=r+s\) and use (E.2) for \(\partial ^{(2)}\). In the second transformation we used the blowup relations (5.16),(5.18),(5.19). Then we used the relation \(\beta _j^{1,1}({\mathfrak {q}})=\partial _{\log {\mathfrak {q}}}\beta _j^0({\mathfrak {q}})\) and the definition of \(\gamma _0({\mathfrak {q}})\), \(\beta _j^0({\mathfrak {q}})\).
If we decompose
then using \({\mathcal {Z}}^{(3)}_0(a)\ne 0\) and (E.5) we get by induction that \(\widehat{{\mathcal {Z}}}_N(a)=0\) for any N.
1.2 Proofs of the relations (6.8) and (6.10)
Proof of the relation (6.8). The proof is just a computation based on the power series expansion of theta function. Let \(y={\mathrm{e}}^{2\pi {\mathrm{i}}z}\)
Here we changed variables in the sum by \(a=n+m\) and \(b=n-m\). \(\quad \square \)
Proof of the relation (6.10). The notations are as before,
\(\square \)
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
Bershtein, M., Gavrylenko, P. & Grassi, A. Quantum Spectral Problems and Isomonodromic Deformations. Commun. Math. Phys. 393, 347–418 (2022). https://doi.org/10.1007/s00220-022-04369-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04369-y