REVIEW
Instantons and recursion relations in N=2 Susy gauge theory
High Energy Physics - Theory · Submitted 15 Jun 1995 · 12 references
Pith's verdict: This is the Matone relation paper, and the central identity, the modular invariance, and the recursion all hold up; the only real gap is a one-line B=0 check that the author asserts instead of displaying.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A single non-linear differential equation, built from the prepotential of N=2 supersymmetric SU(2) gauge theory, is claimed to generate every instanton correction from one seed term.
The reading
What carries the argument
The load-bearing device is the uniformization of the thrice-punctured sphere: the moduli coordinate $u$ is written as a ratio of two solutions of a second-order equation whose potential is a Schwarzian derivative, so that the periods $a$ and $a_D$ become a flat section with monodromy in $Gamma(2)$. The reduction $(d^2/du^2 + (3+u^2)/(4(1-u^2)^2)) sqrt{1-u^2} d/du = (1/sqrt{1-u^2}) d/du [(1-u^2)d^2/du^2 - 1/4]$ is what makes the periods solve a second-order equation with constant Wronskian, and that constant Wronskian is what lets the author trade the modulus $u$ for the special coordinate $a$ and obtain a closed equation for $G(a)$.
Extended reading notes
Core claim
The central claim is that the whole instanton expansion of the $SU(2)$ prepotential is governed by one ordinary differential equation. The author first derives the modular transformation law of $F$ under the monodromy group of the quantum moduli space, finding that $F$ shifts by a quadratic polynomial in $a$ and $a_D$ while the combination $G(a) = i(F - (1/2)a F'(a))$ is left untouched. Using uniformization theory, he shows that $a$ and $a_D$ both solve the second-order equation $[(1-u^2)d^2/du^2 - 1/4] = 0$, whose Wronskian is a constant, and that this flatness is what reduces the third-order uniformizing equation to second order. Rewriting that equation in the variable $a$ rather than $u$ turns it into $(1-G^2)G'' + (1/4)a (G')^3 = 0$ for $G$, and expanding $G = sum_k G_k a^{2-4k}$ with $G_k = 2 i k F_k$ converts the differential equation into a recursion for the $G_k$. The author also reports $u = G(a)$ and $a a_D' - a_D a' = 2i/pi$, and checks the first few coefficients against previously computed instanton contributions.
Load-bearing premise
The derivation leaves an additive constant undetermined in the differential equation for $G$, and the paper removes it by asserting that only one choice cancels the negative powers of $a$ in the expansion, without displaying the check.
Editorial extensions
If this is right
- Every instanton coefficient of the $SU(2)$ prepotential is fixed by the recursion generated from the single seed $G_0 = 1/2$, with no further input from the Seiberg-Witten curve at each order.
- The modular-invariant function $G$ doubles as the inverse modulus map, $u = G(a)$, so the relation between the microscopic modulus and the special coordinate is obtained directly rather than by inverting a series.
- The constant Wronskian $a a_D' - a_D a' = 2i/pi$ gives an explicit handle for locating the curve where $Im(a_D/a) = 0$, the locus of marginal stability.
- The author states the construction extends to more general gauge groups and matter content, so the same differential-equation route to instanton coefficients is proposed as a template rather than a one-off computation.
- The first computed coefficients reproduce those obtained by independent series inversion, which is offered as evidence that the recursion is correctly normalised.
Reading between the lines
- The identification $u = G(a)$ says the modulus is essentially the Legendre-type transform of the prepotential with respect to $a$; read that way, the paper's equation is a statement about a generating function whose conjugate variable is the coordinate itself, which suggests the pattern could be tested in rank-one theories with matter hypermultiplets.
- If the recursion is exact, the radius of convergence of the instanton series should be set by the singular points of $G$, so the singularities of the differential equation ought to line up with the strong-coupling points of the moduli space; that is a structural prediction a reader could check directly.
- The step that discards an additive constant in $G$ is asserted rather than shown, and a nonzero constant would change the coefficients of the recursion; computing a few higher orders independently would settle this cheaply.
- Because the equation is first order in $G'$ after a substitution, one could look for a closed-form first integral, which would turn the recursion into an explicit generating function rather than an order-by-order procedure.
Original abstract
We find the transformation properties of the prepotential ${\cal F}$ of $N=2$ SUSY gauge theory with gauge group $SU(2)$. In particular we show that ${\cal G}(a)=\pi i\left({\cal F}(a)-{1\over 2}a\partial_a{\cal F}(a)\right)$ is modular invariant. This function satisfies the non-linear differential equation $\left(1-{\cal G}^2\right){\cal G}''+{1\over 4}a {{\cal G}'}^3=0$, implying that the instanton contribution are determined by recursion relations. Finally, we find $u=u(a)$ and give the explicit expression of ${\cal F}$ as function of $u$. These results can be extended to more general cases.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We find the transformation properties of the prepotential ${\cal F}$ of $N=2$ SUSY gauge theory with gauge group $SU(2)$. In particular we show that ${\cal G}(a)=\pi i\left({\cal F}(a)-{1\over 2}a\partial_a{\cal F}(a)\right)$ is modular invariant. This function satisfies the non-linear differential equation $\left(1-{\cal G}^2\right){\cal G}''+{1\over 4}a {{\cal G}'}^3=0$, implying that the instanton contribution are determined by recursion relations. Finally, we find $u=u(a)$ and give the explicit expression of ${\cal F}$ as function of $u$. These results can be extended to more general cases.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We find the transformation properties of the prepotential ${\cal F}$ of $N=2$ SUSY gauge theory with gauge group $SU(2)$. | contribution 0.93 | 0.95 | 0.14 | asserted 1.00 |
| s1 | In particular we show that ${\cal G}(a)=\pi i\left({\cal F}(a)-{1\over 2}a\partial_a{\cal F}(a)\right)$ is modular invariant. | result 0.99 | 0.93 | 0.27 | asserted 1.00 |
| s2 | This function satisfies the non-linear differential equation $\left(1-{\cal G}^2\right){\cal G}''+{1\over 4}a {{\cal G}'}^3=0$, implying that the instanton contribution are determined by recursion relations. | result 0.79 | 0.90 | 0.45 | asserted 1.00 |
| s3 | Finally, we find $u=u(a)$ and give the explicit expression of ${\cal F}$ as function of $u$. | result 0.98 | 0.96 | 0.15 | asserted 1.00 |
| s4 | These results can be extended to more general cases. | future work 0.62 | 0.44 | 0.06 | hedged possibility 0.69 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How later papers used it
100 later papers cite it
8 later papers by other authors are listed below: 8 used its method or tool.
Uses its method or tool 8 of 23 papers with this label
-
Used the Matone relation discussed in its appendix to include instanton corrections when requiring the Gamma-function part to vanish.
Quasinormal Modes of C-metric from SCFTs (2023) · 0.91 · paraphrased: the licence does not allow quoting
-
Used Matone's relation to express its measure factor variable in terms of modular functions.
Mocking the u-plane integral (2019) · 0.89 · paraphrased: the licence does not allow quoting
-
Used the Matone relation to invert its parameter as a function of the quantum mirror map.
Massive vector field perturbations in the Schwarzschild spacetime from supersymmetric gauge theory (2025) · 0.93 · paraphrased: the licence does not allow quoting
-
To connect them, one has to pass through the intermediate region, whose monodromy properties are encoded in the parameter $a$. $a$ is related to the instanton part of the Nekrasov-Shatashvili free-energy, $F(1/t)$, through Matone relation [ref] , [equation] Further details of this procedure and of the computation of $F(1/t)$ are given in the supplemental material.
Exact low-temperature Green's functions in AdS/CFT: From Heun to confluent Heun (2024) · Method and Analysis · 0.92
-
To make use of this quantisation condition, we substitute [ref] in the Matone relation [ref] , which relates the parameters $a$ and $c$:[We remark that only $a^2$ appears in the right hand side of [ref], so that the choice for the sign in front of $a$ in [ref] does not make any difference.] [equation] This relation provides an expansion of the parameter $c$, which in the gauge theory language is related to the energy of the Seiberg-Witten curve, in powers of the instanton counting parameter $t$.
Analytic approaches to perturbations of strongly coupled Yang-Mills plasma (2026) · QNMs from the quantisation condition · 0.95
-
Used an identity from this paper to rewrite an equation.
Donaldson-Witten theory and indefinite theta functions (2017) · 0.80 · paraphrased: the licence does not allow quoting
-
To be more precise, $a$ can be computed by inverting the Matone relation [ref] perturbatively in the instanton parameter $Λ≡t$.
Black hole scattering amplitudes via analytic small-frequency expansion and monodromy (2024) · Monodromy in the near-spatial infinity region · 0.96
-
Computed the instanton parts of its deformed prepotential by a generalized Matone relation.
On Gauge Theory and Topological String in Nekrasov-Shatashvili Limit (2012) · 0.83 · paraphrased: the licence does not allow quoting
How the literature uses it
96 arXiv papers cite this in 115 sentences
Papers citing it · 70 sentences without a confident label
Builds on it 5 papers
-
Let us analyze the $N=2^⋆$ theory on a generic $Ω$-deformation starting from the generalized Matone's relation [ref] 7.11 2 = 2 a^2-2 _1 _2 q ∂_q logZ_inst, where $Z_inst$ is the instanton partition function of the gauge theory.
Chiral trace relations in $\Omega$-deformed $\mathcal N=2$ theories · Hints from Matone's relation · 0.94
-
These relations generalize the quantum Matone equation [ref] to the AD case.
On irregular states and Argyres-Douglas theories · Irregular conformal blocks · 0.97
-
([ref]) is Matone's relation [ref] generalized to the case with $Ω$-background [ref] .
A note on rank $\frac{3}{2}$ Liouville irregular block · The deformed SW curve · 0.90
Uses its method or tool 23 papers
-
Using the connection formulas of Heun equation [ref] , the retarded thermal correlator can be formally written as (see [ref] ) G_R(ω,p)=r_h^4a_1 e^-∂_a_1F ∑_σ'=±ℳ_-σ'(a_t_0,a;a_0)ℳ_(-σ')+(a,a_1;a_∞)t^σ' ae^-σ'/2∂_a F/∑_σ=±ℳ_-σ(a_t_0,a;a_0)ℳ_(-σ)-(a,a_1;a_∞)t^σae^-σ/2∂_a F , where $a$ satisfies the Matone relation [ref] u=-a^2+a_t_0^2-14+a_0^2+t_0 ∂_t_0 F , We also have ℳ_θθ'(α_0,α_1;α_2)=Γ(-2θ'α_1)Γ(1+2θ'α_0)Γ(12+α_2+θα_0-θ' α_1)Γ(12-α_2+θα_0-θ' α_1) .
Bouncing singularities and thermal correlators on line defects · Wave equations as Heun equations · 1.00
-
This is not trivial, but it can be done systematically by using recursive techniques, akin to the Matone relation [ref] .
The exact 8d chiral ring from 4d recursion relations · Introduction · 0.97
-
In order to compute it, we have to Fourier transform [ref] bringing it in the form of a difference equation [ref] , whose integrability condition can be written as a continued fraction: P_0(a)=M(a+1)/P_0(a+1)-M(a+2)/P_0(a+2)-...+M(a)/P_0(a-1)-M(a-1)/P_0(a-1)-... with M(x)=ΛP_L(x-1/2)P_R(x-1/2) Equation [ref] with [ref] can be solved for $u(a,Λ)$ order by order in $Λ$, getting [equation] We can invert this series in order to obtain [equation] The Nekrasov-Shatashvili (NS) prepotential $ℱ_NS(a,Λ)$ is obtained by integrating the quantum version of the Matone relation [ref] u=-Λ∂ℱ_NS(a,Λ)/∂Λ Furthermore, we have to add a $Λ$-indipendent constant obtained from the one-loop prepotential, so that ℱ_NS(a,Λ)=ℱ_tree(a,Λ)+ℱ_1-loop(a)+ℱ_inst(a,Λ) where [equation] Finally, the $a_D-$period is given by a_D=-1/2πi ∂ℱ_NS/∂a QNM frequencies are obtained by imposing the exact quantization condition [ref]
Charge (in)stability and superradiance of Topological Stars · Quantum Seiberg-Witten periods · 0.85
Compares with it 3 papers
-
We also note that using the Matone relation [ref] , the result for $n=2$ matches perfectly with the mass expansion of the prepotential obtained in [ref] .
Chiral observables and S-duality in N = 2* U(N) gauge theories · Chiral observables from localization · 0.93
-
This nicely matches with the prepotential of the theory with $N_f = 3$ [ref] up to the irrelevant factor $πi$.
Penner Type Matrix Model and Seiberg-Witten Theory · Free energy · 1.00
-
Overall, we find [equation] The first terms can be recognized as reproducing the Matone relation [ref] , with the critical exponent at the matching region $κ$ playing the role of the Coulomb branch parameter $a$.
Projecting Gravitational Fluctuations onto Near-Horizon Throats · Deriving $ΔC_0$: Comparison with Instanton Computation · 0.90
Cites it as background 12 papers
-
More recently a remarkable connection with quantum Seiberg-Witten (SW) curves of $N = 2$ super-symmetric Yang-Mills (SYM) theory on a Nekrasov-Shatashvili (NS) $Ω$-background ($ϵ_1 = ħ$, $ϵ_2 = 0$) [ref] was revealed in [ref] .
QNMs of branes, BHs and fuzzballs from Quantum SW geometries · Introduction · 0.91
-
We recall that the quantum periods satisfy the so-called quantum Matone relation [ref] .
Non-perturbative approaches to the quantum Seiberg-Witten curve · The all-orders WKB method · 0.83
-
The quantum Matone relation [ref] ,
Painlev\'e Kernels and Surface Defects at Strong Coupling · Known: differential operators and the NS phase of the Omega-background · 0.83
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.