REVIEW
An Algorithm for the Microscopic Evaluation of the Coefficients of the Seiberg-Witten Prepotential
High Energy Physics - Theory · Submitted 25 Aug 2002 · 20 references
Pith's verdict: A solid, honest technical brick in the early instanton-counting literature: the SU(2) fixed-point data and the general SU(N) determinant formula are the real contributions, but the k=4 headline number is unreadable in the printed text.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A rotation-deformed localization integral reduces the instanton moduli space to a finite sum over pairs of Young diagrams, yielding the Seiberg-Witten prepotential coefficients order by order.
The reading
What carries the argument
The load-bearing object is the modified vector field $x$, tilde, obtained by combining the unbroken $U(1)$ gauge rotation (which acts as $I$ to $I t_v$, $J$ to $t_v^{-1} J$) with two independent spacetime rotations acting on the ADHM matrices as $B_l$ to $t_l B_l$ and $J$ to $t_1 t_2 J$. Its fixed-point conditions, $B_{l,ij}$ to $(Φ_{ij} + ǫ_l)B_{l,ij}$, $I_{iλ}$ to $(Φ_i + a_λ)I_{iλ}$, $J_{λi}$ to $(-Φ_i - a_λ + ǫ)J_{λi}$, force almost all moduli to vanish and leave only nearest-neighbour entries in rows and columns, so each critical point is an ordered pair of Young diagrams with the phases $Φ_m = -a_l - (i-1)ǫ_2 - (j-1)ǫ_1$ assigned box by box. The integral then becomes a sum of reciprocals of determinants of that same operator restricted to the linearized ADHM (fermionic) equations, and the short-distance singularities of the moduli space are resolved by the non-commutative deformation parameter $ζ$ in $[B_1, B_1^†] + [B_2, B_2^†] + I I^† - J^† J = ζ 1$, whose effects the authors argue cancel. The final general formula, Eq. (4.46), packages the product over pairs $(λ, μ)$ of gauge indices of products over boxes of $a_{μλ} - ǫ_1 h_λ(s) + ǫ_2(1 + v_μ(s))$ and $a_{μλ} + ǫ_1(1 + h_μ(s')) - ǫ_2 v_λ(s')$, where $h$ and $v$ are the arm and leg lengths of the box.
Extended reading notes
Core claim
The central claim is that the coefficients of the Seiberg-Witten prepotential can be obtained mechanically, sector by sector, from a localization computation on the ADHM instanton moduli space once the localizing vector field is modified to include spacetime rotations. Writing $Z_k(a, ǫ_1, ǫ_2)$ for the $k$-instanton contribution to the deformed partition function, the paper asserts $Z_k = 1 + 1 + 1$, more precisely a finite sum over ordered pairs of Young diagrams $(Y_1, Y_2)$ with $k_1 + k_2 = k$ boxes, each term being the inverse determinant of the deformed vector field acting on the tangent space at the corresponding fixed point. The phases carried by the boxes are fixed by $a$ and the two rotation parameters, $a_l + (i-1)ǫ_2 + (j-1)ǫ_1$, so the whole geometric problem becomes bookkeeping over diagram boxes. Feeding these determinants into the assumed relation $Z = 1 + q Z_1 + q^2 Z_2 + ... = 1$, in the form $Z = 1$, i.e. $Z(q,a,ǫ_1,ǫ_2) = 1$, in the form $Z = 1$, the authors extract $F_1 = 1/2$, $F_2 = 5/24$, $F_3 = 3/4$, and a fourth coefficient printed in this version as the string '146929', which reads as a garbled fraction rather than a legible rational number. They close with a general determinant formula, Eq. (4.46), for arbitrary instanton number and $SU(N)$, built from the character of the torus action around a fixed point in the style of Nakajima's treatment of Hilbert schemes, and they note that it differs from the corresponding formula in the recent instanton-counting literature while agreeing with all their explicit low-charge results.
Load-bearing premise
The step that turns the computed instanton partition function into Seiberg-Witten coefficients is taken from another source rather than derived here: the authors assume the partition function equals the exponential of $-F/(ǫ_1 ǫ_2)$ with $F$ regular as the rotation parameters go to zero, and they explicitly defer an intrinsic explanation of that singularity structure to a future publication.
Editorial extensions
If this is right
- Any instanton number can in principle be computed without knowing the ADHM moduli space explicitly, since only the fixed-point determinants are needed and those are combinatorial data of Young diagrams.
- The coefficients $F_1 = 1/2$, $F_2 = 5/24$, $F_3 = 3/4$ reproduce the values required by the exact Seiberg-Witten solution, extending the microscopic check from two instantons to three.
- The general $SU(N)$ determinant formula (4.46) gives a uniform, checkable expression for the tangent-space determinant at any critical point, which the authors say corrects a discrepancy with the corresponding published formula.
- Because the deformation parameters $ǫ_1, ǫ_2$ are kept throughout, the intermediate expressions retain the full equivariant information, so the same machinery can be reused for related equivariant integrals on instanton moduli spaces.
Reading between the lines
- If the general determinant formula (4.46) is correct where it disagrees with the alternative published version, then at least one of the two cannot be used as a black box for higher-rank or higher-charge computations; a direct comparison at $k = 5$ or at $N = 3$ with a case both formulas cover would settle it without new geometry.
- The algorithm is a template rather than a one-off: the same 'add rotations, localize on Young-diagram pairs, take a tangent-space determinant' pattern should extend to matter in the fundamental or adjoint, since the deformation acts on the ADHM data independently of the matter content.
- The printed fourth coefficient is not legible as a rational number in this version, so the paper's own statement that the fourth-order result 'is as it should be' cannot be independently checked from the text alone; recovering the intended fraction is a prerequisite for any use of the four-instanton number.
- The paper's insistence that the result is independent of the non-commutativity parameter $ζ$ is the hinge on which the whole scheme rests; a numerical study of $Z_k$ at two different $ζ$ values at fixed $a, ǫ_1, ǫ_2$ would test that hinge directly.
Original abstract
A procedure, allowing to calculate the coefficients of the SW prepotential in the framework of the instanton calculus is presented. As a demonstration explicit calculations for 2, 3 and 4- instanton contributions are carried out.
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
A procedure, allowing to calculate the coefficients of the SW prepotential in the framework of the instanton calculus is presented. As a demonstration explicit calculations for 2, 3 and 4- instanton contributions are carried out.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | A procedure, allowing to calculate the coefficients of the SW prepotential in the framework of the instanton calculus is presented. | method 0.54 | 0.90 | 0.54 | asserted 1.00 |
| s1 | As a demonstration explicit calculations for 2, 3 and 4- instanton contributions are carried out. | contribution 0.42 | 0.94 | 0.13 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- 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 the literature uses it
86 arXiv papers cite this in 123 sentences
Papers citing it · 92 sentences without a confident label
Uses its method or tool 13 papers
-
The instanton partition function follows from the localization formula [ref] Z_inst =∑_Y q^|Y| ∏_u,v=1^N Z_∅,Y_v(μ̅_u-a_v ) Z_Y_u,∅(a_u-μ_v )Z_Y_u,Y_v(a_u-a_v)
Exact results in N=2 gauge theories · The gauge theory on $^2$ · 0.91
-
In order to perform the integral over the instanton moduli space and obtain explicit results at instanton number $k$, we have to exploit the localization formulas and adopt Nekrasov's approach to the multi-instanton calculus [ref] (see also Ref.s [ref] Bruzzo:2002xf - [ref] ).
Holographic non-perturbative corrections to gauge couplings · Axio-dilaton couplings in the D-instanton action · 1.00
-
In this Section we review the localization algorithm developed in [ref] to study integrals over the instanton moduli space.
Exotic prepotentials from D(-1)D7 dynamics · Localization formulae · 0.97
Compares with it 1 paper
-
But this is precisely the usual form of the character [ref] (with a particular sign convention for the $_i$).
Instanton partition functions in N=2 SU(N) gauge theories with a general surface operator, and their W-algebra duals · Preliminaries and statement of the main conjecture · 0.92
Cites it as background 15 papers
-
Recently Alday Gaotto and Tachikawa [ref] have found a very remarkable relation between generalized partition functions [ref] in certain classes of $N=2$ conformal $SU(2)$ quiver gauge theories [ref] (see [ref] for instanton counting in quiver theories) and correlation functions of 2d Liouville theory on Riemann surfaces.
Recursion relations in CFT and N=2 SYM theory · Introduction · 0.81
-
This line of research is founded on the so called AGT correspondence [ref] which relates the results of localization for the partition functions of a $N=2$ supersymmetric quiver gauge theories [ref] with certain correlators of the Liouville CFT.
Post Newtonian emission of gravitational waves from binary systems: a gauge theory perspective · Introduction · 0.85
-
In particular, this conjecture implies that conformal blocks [ref] are equal to the instanton Nekrasov partition functions [ref] .
Check of AGT Relation for Conformal Blocks on Sphere · Introduction · 0.90
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.