Instanton counting on blowup. I. 4-dimensional pure gauge theory

Hiraku Nakajima; Kota Yoshioka

REVIEW

Instanton counting on blowup. I. 4-dimensional pure gauge theory

Hiraku Nakajima, Kota Yoshioka

Algebraic Geometry · Submitted 12 Jun 2003 · 57 references

Pith's verdict: A genuine, independent proof of Nekrasov's conjecture for pure gauge theory; the blowup-equation technique is the real contribution, and the soft spots are minor.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 1 major objection · 9 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv IDmath/0306198 (version 2)

Pith IDNZIITW7P, Pith's permanent record of this paper and its review

CitationHiraku Nakajima, Kota Yoshioka. "Instanton counting on blowup. I. 4-dimensional pure gauge theory." arXiv:math/0306198 (2003). https://pith.science/paper/NZIITW7P

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Bottom line: this is a real proof, and the method is the interesting part. Nakajima and Yoshioka prove Nekrasov's conjecture for pure N=2 gauge theory by a route independent of Nekrasov–Okounkov: a vanishing theorem on the blowup moduli space gives a differential equation for the partition function, the ε→0 limit reproduces the known contact-term equation for the Seiberg–Witten prepotential, and the two sides are pinned together. The proof is geometric and self-contained against published benchmarks, not fitted to the answer it wants to reach. What's new and good: the blowup equation. The vanishing of π̂_*(μ(C)^d ∩ [M̂(r,0,n)]) for 1 ≤ d ≤ 2r−1 is a Donaldson-theory-style observation, but turning it into a constraint that determines Z is the contribution. The fixed-point analysis (Theorems 2.11, 3.4) is careful and complete, the character computations are explicit, and the rank-1 section is a useful sanity check rather than padding. The K-theory interpretation in §4 — Nekrasov's partition function as a Hilbert series of the coordinate ring — is a nice conceptual point. §8 recovers Fintushel–Stern and its higher-rank analog. Soft spots, in proportion: they're minor. Theorem 3.1 is deferred to the authors' lecture notes [49], but they explicitly avoid it for k=0 via King, so the main argument doesn't lean on it. §9 is conjectural and flagged as such. The uniqueness of the formal solution to (7.8) is asserted with a citation to [14] rather than argued. I checked this: expanding in q, the order-q^n equation is n²F_n = (terms in F_{

Referee report

Significance

If correct, and the architecture is sound, this is the first rigorous proof of Nekrasov's conjecture, a central open problem connecting the equivariant enumerative geometry of instanton moduli spaces to Seiberg-Witten theory. The paper's strengths are concrete: explicit fixed-point formulas for tangent weights on both P2 and its blowup (Theorems 2.11 and 3.4), a K-theoretic interpretation of the partition function as a Hilbert series (Proposition 4.1), a fully worked rank-1 verification (§5), and an honest flagging of the conditional status of §9. The blowup equation is derived from a geometric vanishing theorem rather than fitted to the target, and the final identification uses an independently known equation rather than a parameter choice; there are no free parameters or ad hoc axioms.

Major objections (1)

[§7, paragraph following Eq. (7.8)] The sentence 'The equation (7.8) has the same structure as the blowup equation (6.14). When we expand F^inst as a formal power series in q, coefficients are determined inductively. In particular, the solution to the above equation is unique. This observation was due to [14]' is the one load-bearing step where the abstract's claim of a 'mathematically rigorous proof' is thinner than the rest of the paper. The identification F^inst = SW_inst requires that (7.8) admit at most one formal solution, and this is asserted in one line with a citation to a physics paper. Concretely, expanding (7.8) at order q^n gives n^2 F_n = −n(a_i ∂_j F_n + a_j ∂_i F_n)(1/(π√−1))∂^2_τ log Θ_E|τ^pert − (1/(2π√−1)) a_i a_j ∂^2_τ log Θ_E|τ^pert ∂_i∂_j F_n + (terms built from F_m with m<n), which is a second-order linear PDE for F_n with q-dependent coefficients, not an algebraic recursion; uniqueness therefore requires that the homogeneous operator have no solution of the relevant type. I believe the step is correct and that [14] contains the recursion, but the manuscript should state precisely what [14] supplies (formal power series in q with rational coefficients in a, at ε1=ε2=0) and why the induction closes. A short self-contained argument, or a precise pointer to the relevant statement in [14], would close the only gap I can find in the main line of proof.

Minor objections (9)

[§6, paragraph following Eq. (6.4)] The text says 'this means that the gauge group is PU(n) rather than SU(n)'; for rank r this should read PU(r).
[§3, Theorem 3.1 and §6, Proposition 6.11] The proof of Theorem 3.1 is deferred to [49], which is listed as 'to appear'. The text says 'this paper does not rely on [49]', and King [28] covers the k=0 case used in Proposition 6.11; please say so explicitly at the point of use so the reader is not left with an unverified dependency.
[§7, passage from Eq. (7.5) to Eq. (7.8)] The phrase 'we have used (6.5) several times' compresses the identification of the bracket in (7.5) with {∂_i u2}^2 − (q∂_q)^2 F and of the Gaussian factor with Θ_E. I checked the main identities, including Σ_{α∈Δ}⟨k,α⟩(⟨k,α⟩−1)/2 = r(k,k) and Lemma 6.7(3), and they are consistent, but the normalization of τ_ij in (7.6) against (1.2) and the (−1)^{⟨k,ρ⟩} sign deserve a line or two of explanation.
[§6, definition of the coweight lattice] The notation '⃗l = (k1 − kr, ..., kr − kr)' is confusing; the last entry is presumably k_r − k_r = 0, and the expression should be cleaned up.
[§2, proof of Proposition 2.9(3)] The step 'GL_n(C)·(0,0,i,0) is closed if and only if i = 0' would benefit from a one-line justification, for instance that the stabilizer is reductive only when i = 0.
[References] References [33] and [45] appear to be listed but not cited anywhere in the text; please check.
[Title page] The author name renders as 'K ¯OTA YOSHIOKA'; the macron is misplaced and should be 'Kōta Yoshioka'.
[§9] The results of this section depend on Conjectures 9.2 and 9.3. The introduction does say 'under some technical assumptions', but a forward pointer at the start of §9 would make the conditional status clearer to a reader who starts there.
[§5] The rank-1 computation is a useful check; it would help to say explicitly that the final exp(−qt^2/2) reproduces the known generating function for ∫ μ(C)^{2n} on a smooth surface, as the text hints.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The paper proves Nekrasov's conjecture: the equivariant integral over instanton moduli spaces on $R^4$, after multiplying by $ε_1ε_2$ and letting both go to zero, reproduces the instanton part of the Seiberg–Witten prepotential for pure $N=

The reading

Nekrasov defined a generating function $Z(ε_1,ε_2,a;q)$ by formally integrating the equivariant class $1$ over the framed moduli spaces $M(r,n)$ of torsion-free sheaves on the plane, and conjectured that $ε_1ε_2 log Z$ is regular at $ε_1=ε_2=0$ and that its limit is the instanton part of the Seiberg–Witten prepotential for pure $N=2$ supersymmetric Yang–Mills with gauge group $SU(r)$. The Seiberg–Witten side is defined by period integrals of hyperelliptic curves; the conjecture says the two, built from completely different data, agree. The authors prove it by studying the same moduli problem on the blowup of the plane at the origin, where a class $μ(C)$ attached to the exceptional divisor obeys vanishing relations. Those relations become a differential equation satisfied by $Z$, and in the limit $ε_1,ε_2 → 0$ the equation becomes exactly the contact-term equation known to characterize the Seiberg–Witten prepotential. Since that equation determines its solution order by order in $q$, the two functions coincide.

What carries the argument

The load-bearing device is the operator $μ(C) ∈ H^2_{T}(M̂(r,k,n))$, defined as the slant product of $c_2(E) - (r-1)/(2r)c_1(E)^2$ with the exceptional divisor $C$, together with its fixed-point values $|Y^1|ε_1 + |Y^2|ε_2 + (k,a) + (k,k)(ε_1+ε_2)/2$. The vanishing of $π̂_*(μ(C)^d ∩ [M̂(r,0,n)])$ for $1 ≤ d ≤ 2r-1$ is the geometric input; pushed through equivariant localization and packaged with the Hirota-type differential $D^{(ε_1,ε_2)}_{log q}$, it produces the blowup equation, a one-parameter deformation of the equation for the Seiberg–Witten prepotential found in the physics literature. A separate K-theory result identifies $Z$ with a Hilbert series of the coordinate ring of the moduli space, which explains why this particular generating function is the natural one.

Extended reading notes

Core claim

The central claim is that $F^{inst}(ε_1,ε_2,a;q) = ε_1ε_2 log Z(ε_1,ε_2,a;q)$ extends regularly to $ε_1=ε_2=0$, and that $F^{inst}(0,0,a;q)$ equals the instanton part of the Seiberg–Witten prepotential. The proof goes through a blowup equation: for the moduli spaces $M̂(r,0,n)$ on the blowup of $C^2$ at the origin, the pushforwards $π̂_*(μ(C)^d ∩ [M̂(r,0,n)])$ vanish for $1 ≤ d ≤ 2r-1$, and translating this vanishing into the fixed-point localization sum yields a differential equation (6.14) in $q$ satisfied by $Z$. Taking $ε_1,ε_2 → 0$ turns that equation into the contact-term equation (7.8) for the prepotential, which is known to have a unique power-series solution; because the Seiberg–Witten prepotential satisfies the same equation, the two agree.

Load-bearing premise

Everything rests on the vanishing of $π̂_*(μ(C)^d ∩ [M̂(r,0,n)])$ for $1 ≤ d ≤ 2r-1$, whose proof is a sketch invoking a line bundle whose section cuts out $μ(C)$ and a codimension count; if that vanishing failed, the blowup equation would not follow.

Editorial extensions

If this is right

Nekrasov's conjecture holds for pure $N=2$ gauge theory with gauge group $SU(r)$: the $ε_1,ε_2 → 0$ limit of $ε_1ε_2 log Z$ is the instanton expansion of the Seiberg–Witten prepotential.
The full blowup formula follows for all $d$, recovering the Fintushel–Stern formula for Donaldson invariants and its higher-rank analog, with the answer expressed as a ratio of theta functions times $exp(-(q∂_q)^2 F^{inst} t^2/2)$.
The blowup equation gives a recursive algorithm: the coefficients of $F^{inst}$ in $q$ are determined order by order from the $d=1$ and $d=2$ equations, so the partition function is computable without any moduli-space integral.
The argument extends to any compact semisimple gauge group, conditional on two stated conjectures about Uhlenbeck compactifications and the extension of $μ(C)$.
The rank-1 case is worked out explicitly, where the blowup partition function divided by $Z$ has the limit $exp(-qt^2/2)$, matching the known Donaldson-theory computation for a single exceptional curve.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same localization-plus-blowup template should apply to theories with matter and to insertions of higher Casimir classes, which the authors say they will treat later; the obstruction is not the method but the geometry of the corresponding moduli spaces.
Because the contact-term equation determines the prepotential recursively, the proof effectively gives a finite algorithm for computing Seiberg–Witten instanton corrections at any rank, which is a computational as well as a conceptual statement.
The K-theory identification of $Z$ with a Hilbert series suggests the partition function is an equivariant index rather than an integral per se, so the $ε_1,ε_2 → 0$ limit is a symbol-level statement about a character, not a geometric volume.
The vanishing proposition used here is the same one underlying the classical blowup formula for Donaldson invariants; the paper's contribution is recognizing that its lowest-degree case is strong enough to pin down the whole prepotential.

Original abstract

We give a mathematically rigorous proof of Nekrasov's conjecture: the integration in the equivariant cohomology over the moduli spaces of instantons on $\mathbb R^4$ gives a deformation of the Seiberg-Witten prepotential for N=2 SUSY Yang-Mills theory. Through a study of moduli spaces on the blowup of $\mathbb R^4$, we derive a differential equation for the Nekrasov's partition function. It is a deformation of the equation for the Seiberg-Witten prepotential, found by Losev et al., and further studied by Gorsky et al.

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.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,079 input tokens.

What the abstract itself states, as probabilities: claims first 0.10 · states limitation 0.11 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.89 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; show every role.

We give a mathematically rigorous proof of Nekrasov's conjecture: the integration in the equivariant cohomology over the moduli spaces of instantons on $\mathbb R^4$ gives a deformation of the Seiberg-Witten prepotential for N=2 SUSY Yang-Mills theory. Through a study of moduli spaces on the blowup of $\mathbb R^4$, we derive a differential equation for the Nekrasov's partition function. It is a deformation of the equation for the Seiberg-Witten prepotential, found by Losev et al., and further studied by Gorsky et al.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We give a mathematically rigorous proof of Nekrasov's conjecture: the integration in the equivariant cohomology over the moduli spaces of instantons on $\mathbb R^4$ gives a deformation of the Seiberg-Witten prepotential for N=2 SUSY Yang-Mills theory.	result 0.74	0.93	0.93	asserted 1.00
s1	Through a study of moduli spaces on the blowup of $\mathbb R^4$, we derive a differential equation for the Nekrasov's partition function.	contribution 0.51	0.95	0.08	asserted 1.00
s2	It is a deformation of the equation for the Seiberg-Witten prepotential, found by Losev et al., and further studied by Gorsky et al.	result 0.59	0.30	0.07	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v2

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures

**Figure 1.** Young diagram and ideal Since (t1B1, t2B2, i, t1t2j) converges to (0, 0, i, 0) when t1, t2 → 0, (0, 0, i, 0) lies in the closure of the orbit. But the orbit is closed, so (0, 0, i, 0) must be in the orbit. But GLn(C)·(0, 0, i, 0) is closed if and only if i = 0. Hence we have (B1, B2, i, j) = (0, 0, 0, 0). We denote by Y~ an r-tuple of Young diagrams (Y1, . . . , Yr). We write the number of boxes of Yα by |Yα| and we set |Y~ | = P α |Yα|. Let T(E,Φ)M(r, n) be the tangent space of M(r, n) at a point (E, Φ). If (E, Φ) is fixed by the torus action, then T(E,Φ)M(r, n) is a module of the…

Figures reproduced from arXiv:math/0306198 by the authors.

References

Works cited (57)

[49]

H. Nakajima and K. Yoshioka, Lectures on instanton counting , preprint, math.AG/0311058, to appear in Proceedings of ”Workshop on algebraic structures and moduli sp aces”, July 14 - 20, 2003, Centre de recherches mathematiques, Universite de Montreal

View on Pith arXiv 2003
[14]

J.D. Edelstein, M. Mari˜ no and J. Mas, Whitham hierarchies, instanton corrections and soft super symmetry breaking in N = 2 SU( N ) super Yang-Mills theory , Nuclear Phys. B 541 (1999), 671–697

View on Pith 1999
[1]

M.F. Atiyah, V. Drinfeld, N.J. Hitchin and Y.I. Manin, Construction of instantons , Phys. Lett. 65A (1978), 185–187

View on Pith 1978
[2]

M.F. Atiyah, N.J. Hitchin and I.M. Singer, Self-duality in four-dimensional Riemannian geometry , Proc. Roy. Soc. London Ser. A 362 (1978), 425–461

View on Pith 1978
[3]

M.F. Atiyah and G.B. Segal, The index of elliptic operators, II , Ann. of Math., 87 (1968), 531–545

View on Pith 1968
[4]

S. Bando, Einstein-Hermitian metrics on noncompact K¨ ahler manifol ds, in ‘Einstein metrics and Yang- Mills connections (Sanda, 1990)’, 27–33, Dekker, New York, 1993

View on Pith 1990
[5]

W. Barth, Moduli of bundles on the projective plane , Invent. Math. 42 (1977), 63–91

View on Pith 1977
[6]

A. Braverman, M. Finkelberg and D. Gaitsgory, Uhlenbeck spaces via aﬃne Lie algebras , preprint, math.AG/0301176

View on Pith arXiv
[7]

U. Bruzzo, F. Fucito, J.F. Morales and A. Tanzini, Multi-Instanton Calculus and Equivariant Cohomology , preprint, hep-th/0211108

View on Pith Pith review arXiv
[8]

J. Bryan, Symplectic geometry and the relative Donaldson invariants of CP 2 , Forum Math. 9 (1997), 325–365

View on Pith 1997
[9]

N. Chriss and V. Ginzburg, Representation theory and complex g eometry, Progress in Math. Birkh¨ auser, 1997

View on Pith 1997
[10]

E. D’Hoker, I. Krichever and D.H. Phong, The renormalization group equation in N = 2 supersymmetric gauge theories, Nuclear Phys. B 494 (1997), 89–104; hep-th/9610156

View on Pith Pith review arXiv 1997
[11]

S.K. Donaldson, Instantons and geometric invariant theory , Comm. Math. Phys. 93 (1984), 453–460

View on Pith 1984
[12]

S.K. Donaldson and P.B. Kronheimer, The geometry of four-man ifold, Oxford Math. Monographs, Oxford Univ. Press, 1990

View on Pith 1990
[13]

J.D. Edelstein, M. G´ omez-Reino, M. Mari˜ no and J. Mas, N = 2 supersymmetric gauge theories with massive hypermultiplets and the Whitham hierarchy , Nuclear Phys. B 574 (2000), 587–619

View on Pith 2000
[15]

D. Edidin and W. Graham, Equivariant intersection theory , Invent. Math. 131 (1998), 595–634

View on Pith 1998
[16]

T. Eguchi and S.K. Yang, Prepotential for N = 2 supersymmetric gauge theories and solition equations , Modern Phys. Lett. A 11 (1996), 131–138; hep-th/9510183

View on Pith Pith review arXiv 1996
[17]

G. Ellingsrud and L. G¨ ottsche, Wall-crossing formulas, the Bott residue formula and the Do naldson in- variants of rational surfaces , Quart. J. Math. Oxford, 49 (1998), 307–329

View on Pith 1998
[18]

G. Ellingsrud and S.A. Strømme, On the homology of the Hilbert scheme of points in the plane , Invent. Math. 87 (1987), 343–352

View on Pith 1987
[19]

R. Fintushel and R.J. Stern, The blowup formula for Donaldson invariants , Ann. of Math. 143 (1996), 529–546

View on Pith 1996
[20]

R. Friedman and J.W. Morgan, Smooth four-manifolds and comple x surfaces, Springer, Berlin, 1994

View on Pith 1994
[21]

W. Fulton, Young tableaux, Cambridge Univ. Press, Cambridge, 1997

View on Pith 1997
[22]

L. G¨ ottsche,Modular forms and Donaldson invariants for 4-manifolds with b+ = 1 , J. Amer. Math. Soc. 9 (1996), 827–843

View on Pith 1996
[23]

A. Gorsky, A. Marshakov, A. Mironov and A. Morozov, RG equations from Whitham hierarchy , Nucl. Phys. B 527 (1998), 690–716

View on Pith 1998
[24]

M. Haiman, Vanishing theorems and character formulas for the Hilbert s cheme of points in the plane , Invent. Math. 149 (2002), 371–407

View on Pith 2002
[25]

D. Huybrechts and M. Lehn, Stable pairs on curves and surfaces , J. Algebraic Geom. 4 (1995), 67–104

View on Pith 1995
[26]

, The geometry of moduli spaces of sheaves, Aspects of Math., E31, Friedr. Vieweg & Sohn, Braunschweig, 1997

View on Pith 1997
[27]

V.G. Kac, Inﬁnite dimensional Lie algebras (3rd Ed.) , Cambridge Univ. Press, 1990

View on Pith 1990
[28]

A. King, Instantons and holomorphic bundles on the blown up plane , Ph.D. thesis, Oxford, 1989

View on Pith 1989
[29]

J. Li, Algebraic geometric interpretation of Donaldson’s polyno mial invariants , J. Diﬀerential Geom. 37 (1993) 417–466

View on Pith 1993
[30]

W-P. Li and Z. Qin, On blowup formulae for the S-duality conjecture of Vafa and Witten , Invent. Math. 136 (1999), 451–482

View on Pith 1999
[31]

, On blowup formulae for the S-duality conjecture of Vafa and Witten. II. The universal fu nctions, Math. Res. Lett. 5 (1998), 439–453. INSTANTON COUNTING ON BLOWUP. I 33

View on Pith 1998
[32]

, Vertex operator algebras and the blowup formula for the S-duality conjecture of Vafa and Witten , Math. Res. Lett. 5 (1998), 791–798

View on Pith 1998
[33]

A. Losev, A. Marshakov and N. Nekrasov, Small instantons, little strings and free fermions , preprint, hep-th/0302191

View on Pith Pith review arXiv
[34]

A. Losev, N. Nekrasov and S. Shatashvili, Issues in topological gauge theory , Nuclear Phys. B 534 (1998), 549–611

View on Pith 1998
[35]

, Testing Seiberg-Witten solution, in ‘L. D. Faddeev’s Seminar on Mathematical Physics’, 123–135, Amer. Math. Soc. Transl. Ser. 2, 201, Amer. Math. Soc., Providen ce, RI, 2000

View on Pith 2000
[36]

G. Lusztig, Cuspidal local systems and graded Hecke algebras. I , Publ. Math. IHES 67 (1988), 145–202

View on Pith 1988
[37]

, On quiver varieties , Adv. in Math. 136 (1998), 141–182

View on Pith 1998
[38]

, Cuspidal local systems and graded Hecke algebras. II , in Representations of groups (Banﬀ, AB, 1994), 217–275, Amer. Math. Soc., Providence, RI, 1995

View on Pith 1994
[39]

I.G. Macdonald, Symmetric functions and Hall polynomials (2nd ed.) , Oxford Math. Monographs, Oxford Univ. Press, 1995

View on Pith 1995
[40]

M. Mari˜ no,The uses of Whitham hierarchies , Progr. Theoret. Phys. Suppl. No. 135 (1999), 29–52

View on Pith 1999
[41]

M. Mari˜ no and G. Moore, The Donaldson-Witten function for gauge groups of rank larg er than one , Comm. Math. Phys. 199 (1998), 25–69

View on Pith 1998
[42]

M. Matone, Instantons and recursion relations in N = 2 SUSY gauge theory , Phys. Lett. B 357 (1995), 342–348

View on Pith 1995
[43]

G. Moore and E. Witten, Integration over the u-plane in Donaldson theory , Adv. Theor. Math. Phys. 1 (1997), 298–387

View on Pith 1997
[44]

J.W. Morgan, Comparison of the Donaldson polynomial invariants with the ir algebro-geometric analogues, Topology 32 (1993), 449–488

View on Pith 1993
[45]

H. Nakajima, Instantons on ALE spaces, quiver varieties, and Kac-Moody a lgebras, Duke Math. 76 (1994), 365–416

View on Pith 1994
[46]

, Quiver varieties and Kac-Moody algebras , Duke Math. 91 (1998), 515–560

View on Pith 1998
[47]

, Lectures on Hilbert schemes of points on surfaces , Univ. Lect. Ser. 18, AMS, 1999

View on Pith 1999
[48]

, Moduli of sheaves on blown-up surfaces , in ‘Proceedings of RIMS Project 1999/2000, Algebraic Geometry and Integrable Systems related to String theory’, RIMS Kokyuroku 1232 (2001), 29–33; avail- able from http://www.kusm.kyoto-u.ac.jp/~nakajima/TeX/blowup.ps.gz

View on Pith 2001
[50]

N. Nekrasov, Seiberg-Witten prepotential from instanton counting , preprint, hep-th/0206161

View on Pith Pith review arXiv
[51]

N. Nekrasov and A. Okounkov, Seiberg-Witten prepotential and random partitions , preprint, hep-th/0306238

View on Pith Pith review arXiv
[52]

N. Seiberg and E. Witten, Electric-magnetic duality, monopole condensation, and co nﬁnement in N = 2 supersymmetric Yang-Mills theory Nuclear Phys. B 426 (1994), 19–52; Erratum, Nuclear Phys. B 430 (1994), 485–486

View on Pith 1994
[53]

J. Sonnenschein, S. Theisen and S. Yankielowicz, On the Relation Between the Holomorphic Prepotential and the Quantum Moduli in SUSY Gauge Theories , Phys.Lett. B 367 (1996), 145-150; hep-th/9510129

View on Pith Pith review arXiv 1996
[54]

R. Thomason, Une formule de Lefschetz en K-th´ eorie ´ equivariante alg´ ebrique, Duke Math. 68 (1992), 447–462

View on Pith 1992
[55]

M. Varagnolo and E. Vasserot, On the K-theory of the cyclic quiver variety , Internat. Math. Res. Notices 1999, no. 18 , 1005–1028

View on Pith 1999
[56]

E. Witten, Topological quantum ﬁeld theory , Comm. Math. Phys. 117 (1988), 353–386

View on Pith 1988
[57]

K. Yoshioka, Chamber structure of polarizations and the moduli of stable sheaves on a ruled surface , Internat. J. Math. 7 (1996), 411–431. Department of Mathematics, Kyoto University, Kyoto 606-85 02, Japan E-mail address : nakajima@math.kyoto-u.ac.jp Department of Mathematics, F aculty of Science, Kobe Univer sity, Kobe 657-8501, Japan E-mail address : ...

View on Pith 1996

Forward citations

Cited by 39 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Axioms for physical reasoning: codifying the Seiberg--Witten solution in Lean
hep-th 2026-07 conditional novelty 8.0 of 10

The Seiberg–Witten SU(2) solution is formalized in Lean 4 with physical assumptions as named predicates and mathematical consequences as sorry-free theorems, demonstrating a method for auditing non-rigorous physics arguments.
Modular transformations of tau functions and conformal blocks on the torus
math-ph 2025-08 conditional novelty 8.0 of 10

The paper derives the modular connection constant for tau functions on the one-punctured torus and obtains an exact closed formula for the c=1 Virasoro modular kernel.
Localization of gauge theory on a four-sphere and supersymmetric Wilson loops
hep-th 2007-12 accept novelty 8.0 of 10

A localization computation on the four-sphere proves the Erickson-Semenoff-Zarembo/Drukker-Gross conjecture and gives exact matrix model formulas for N=2 and N=2* supersymmetric gauge theories.
Generalised global symmetries in 5d $\mathcal{N}=1$ theories from the blow-up equations
hep-th 2026-07 conditional novelty 7.0 of 10

Fractional exponents of the blow-up prefactor exp(-V_n) on 1-form backgrounds encode cubic and mixed anomalies of 5d N=1 SCFTs, deciding 2-groups versus mixed anomalies once the faithful UV symmetry is known from the index.
Blowing-up the edge: connection formulae and stability chart of the Lam\'e equation
hep-th 2025-07 conditional novelty 7.0 of 10

The paper derives the resummed Nekrasov-Shatashvili free energy from blow-up equations and uses it to compute the band-gap structure, connection formulas, and stability chart of the Lamé equation.

Show 34 more citing papers

Noncommutative Jacobi identity, and gauge theory
math-ph 2024-11 conditional novelty 7.0 of 10

A noncommutative generalization of the Jacobi triple product identity is proven and applied to factorize q-characters of circular quiver gauge theories into infinite products.
Instantons from Blow-up
hep-th 2019-08 conditional novelty 7.0 of 10

The instanton partition function of many 4d N=2 and 5d N=1 gauge theories is fully determined by the perturbative part via generalized Nakajima-Yoshioka blowup equations.
Opers, surface defects, and Yang-Yang functional
hep-th 2018-06 conditional novelty 7.0 of 10

The effective twisted superpotential of Ω-deformed N=2 quiver gauge theories equals the generating function of the variety of opers in generalized NRS Darboux coordinates, proven for SL(2) and SL(3).
M-Strings
hep-th 2013-05 accept novelty 7.0 of 10

The elliptic genus of N M-strings equals that of a (4,0) sigma model on the Hilbert scheme of N points on C^2 with right-moving fermions coupled to E ⊕ E*, not the (4,4) symmetric product.
Line operators on S^1xR^3 and quantization of the Hitchin moduli space
hep-th 2011-11 conditional novelty 7.0 of 10

Localization on S^1 x R^3 gives line-operator expectation values that Moyal-multiply into a deformation quantization of the Hitchin moduli space, proposed to equal the Weyl transform of Liouville/Toda Verlinde operators.
Split Heun functions via blown-up surface defects
hep-th 2026-07 accept novelty 6.5 of 10

Blow-up equations for NS functions alone resum resonant poles of bulk and defect prepotentials, producing split Heun band-edge solutions, logarithmic companions, and nested mass loci for gap closure versus semisimple ...
Quiver BPS Indices from Crystal Profiles
hep-th 2026-07 conditional novelty 6.5 of 10

Elliptic genera and lower-dimensional BPS indices equal discrete sums over molecule boundaries in crystals defined by Jeffrey-Kirwan residues, generalizing Nekrasov Young-diagram formulas.
Quantum curves of 6d SCFTs on a -3 curve
hep-th 2026-10 conditional novelty 6.0 of 10

Quantum Seiberg-Witten curves for pure su(3), g2, and so(N) with N from 7 to 10, 6d SCFTs on a -3 curve, are proposed as elliptic difference equations verified to three-string order.
Refined Vafa-Witten invariants for toric surfaces from supersymmetric localization in 5D gauge theory
hep-th 2026-07 conditional novelty 6.0 of 10

5D N=1* supersymmetric localization on toric surfaces equals refined Vafa–Witten invariants for odd first Chern class; the even-c1 case fails without a hand-added constant.
More on 5d Wilson Loops in Higher-Rank Theories and Blowup Equations
hep-th 2026-02 conditional novelty 6.0 of 10

For 5d N=1 pure gauge theories, Wilson-loop blowup equations can be fixed using one-form symmetry and low-instanton data, and one-instanton free energies admit a universal v=sqrt(q1q2) expansion resembling Hilbert series.
BPS/CFT correspondence V: BPZ and KZ equations from qq-characters
hep-th 2017-11 conditional novelty 6.0 of 10

Surface defect partition functions in four-dimensional N=2 quiver gauge theories satisfy the BPZ equation of Liouville theory and KZ-type equations of WZW theory, derived from qq-character identities.
BPS relations from spectral problems and blowup equations
hep-th 2016-09 accept novelty 6.0 of 10

The K-theoretic blowup equations of SU(N) gauge theory imply the compatibility condition linking S-dual quantization and spectral-determinant quantization for the Y^{N,m} geometries, proving a prior conjecture.
On Exceptional Instanton Strings
hep-th 2016-09 conditional novelty 6.0 of 10

The 2d worldsheet theories of BPS instanton strings in 6d (1,0) SCFTs with simply-laced gauge groups are beta-twisted compactifications of 4d N=2 H_G theories, and their one-instanton elliptic genera are fixed by modularity.
Coulomb Branch and The Moduli Space of Instantons
hep-th 2014-08 conditional novelty 6.0 of 10

A single multiplicity rule for non-simply-laced quiver edges extends the Coulomb-branch Hilbert series formula to all simple gauge groups, producing new counts of three-instanton moduli spaces for G2, F4, SO and USp.
Highest Weight Generating Functions for Hilbert Series
hep-th 2014-08 conditional novelty 6.0 of 10

A new generating-function representation of Hilbert series, indexed by Dynkin labels, makes the representation content of SQCD and instanton moduli spaces compact and computable.
5-dim Superconformal Index with Enhanced En Global Symmetry
hep-th 2012-06 conditional novelty 6.0 of 10

The five-dimensional Sp(1) superconformal index, computed by localization including instantons, organizes into E_{N_f+1} characters for N_f up to 5, confirming the conjectured exceptional global symmetry enhancement.
Hilbert Series for Moduli Spaces of Two Instantons
hep-th 2012-05 conditional novelty 6.0 of 10

The Hilbert series of the two-instanton moduli space is expressed as a character expansion living on a small lattice for every simple gauge group, with explicit formulas for classical groups and conjectures for except...
Counting Exceptional Instantons
hep-th 2012-05 conditional novelty 6.0 of 10

By conjecturally extending the Nakajima-Yoshioka blow-up recursion to arbitrary gauge groups, the authors compute one- and two-instanton partition functions for E6, E7, E8, F4 and G2, matching known one-instanton resu...
The ABCDEFG of Instantons and W-algebras
hep-th 2011-11 conditional novelty 6.0 of 10

At one instanton, the Nekrasov partition function of pure N=2 gauge theory matches the norm of a Gaiotto-Whittaker coherent state in the corresponding W-algebra for all simple gauge groups checked, with non-simply-lac...
Instanton moduli spaces and bases in coset conformal field theory
hep-th 2011-11 conditional novelty 6.0 of 10

Two compactifications of the U(2) instanton moduli space on C^2/Z_2 give two different bases in the same coset CFT, one constructed explicitly and one characterized by a proposed matrix-element formula.
Direct integration for general Omega backgrounds
hep-th 2010-09 conditional novelty 6.0 of 10

A generalized holomorphic anomaly equation plus a conifold gap condition is shown sufficient to compute refined topological string amplitudes on several non-compact Calabi-Yau spaces, matching independent refined-vert...
Affine SL(2) conformal blocks from 4d gauge theories
hep-th 2010-05 conditional novelty 6.0 of 10

The Nekrasov partition function of N=2 SU(2) quiver theories with a full surface operator matches an affine SL(2) conformal block dressed by a fixed operator K, and in the limit ǫ2 to 0 gives eigenfunctions of the qua...
Gauge Origami and BPS/CFT correspondence
hep-th 2025-02 conditional novelty 5.0 of 10

The gauge origami partition function on C4 is realized as a correlation function of BPS qq-character operators, with D6 and D8 characters labeled by plane and solid partitions.
Phases and triple(multiple) point: critical phenomena around the AD singularity
hep-th 2024-11 conditional novelty 5.0 of 10

For the L=2 one-unitary matrix model, the paper determines the phase separation lines, finds a triple point at (tau, lambda)=(1/8, 3/2), and identifies the 1-to-2 gap line as the k=2 multicritical line.
The $U$-plane of rank-one 4d $\mathcal{N}=2$ KK theories
hep-th 2021-07 accept novelty 5.0 of 10

The Mordell-Weil group of the Seiberg-Witten elliptic fibration determines the global form of the flavour symmetry group for rank-one 4d N=2 theories and their 5d parents on a circle.
Non-perturbative approaches to the quantum Seiberg-Witten curve
hep-th 2019-08 conditional novelty 5.0 of 10

The Borel-resummed quantum periods and the Fredholm determinant of the modified Mathieu operator are computed from TBA equations and topological string theory, with high-precision numerical tests against WKB and direc...
BPS/CFT correspondence IV: sigma models and defects in gauge theory
hep-th 2017-11 conditional novelty 5.0 of 10

Half-BPS surface defects in four-dimensional N=2 quiver gauge theories are realized as two-dimensional gauged linear sigma models on flag varieties, with explicit partition functions given for orbifold, quiver, and fo...
On non-conformal limit of the AGT relations
hep-th 2009-09 conditional novelty 5.0 of 10

Sending the external dimensions of a four-point Virasoro conformal block to infinity reduces it to a two- or three-point function built from coherent, not primary, states, confirming a brane-derived conjecture.
Explicit examples of DIM constraints for network matrix models
hep-th 2016-04 conditional novelty 4.0 of 10

The authors show, with explicit formulas, that Ward identities for balanced network matrix models all follow from the commutation properties of the Ding-Iohara-Miki algebra.
Bilinear equations on Painleve tau functions from CFT
math-ph 2014-06 conditional novelty 4.0 of 10

The conjectured conformal-block expansion of the Painleve VI tau function satisfies the Painleve bilinear equation, giving an independent proof of the Gamayun-Iorgov-Lisovyy conjecture.
Matrix Model Conjecture for Exact BS Periods and Nekrasov Functions
hep-th 2009-11 conditional novelty 4.0 of 10

The exact Seiberg-Witten differential for the doubly deformed prepotential is conjectured to be the one-point resolvent of a quiver beta-ensemble in its Dijkgraaf-Vafa phase, matching Nekrasov functions to Virasoro co...
The Quiver Matrix Model and 2d-4d Conformal Connection
hep-th 2009-11 conditional novelty 4.0 of 10

The large-N spectral curve of the beta-deformed A_{n-1} quiver matrix model with a multi-log potential is shown to coincide with the SU(n) Seiberg-Witten curve with 2n flavors.
Nekrasov Functions from Exact BS Periods: the Case of SU(N)
hep-th 2009-11 conditional novelty 4.0 of 10

The deformed Seiberg-Witten period construction, with the differential replaced by its exact WKB quantum version, reproduces Nekrasov's prepotential to first order in the deformation parameter and first instanton orde...
Quantum field theory and four-manifolds: Perspectives from physics and geometry
hep-th 2026-10 accept novelty 1.0 of 10

Four summer-school lecture series, presented as a connected account, surveying the route from twisted supersymmetric Yang-Mills theory to four-manifold invariants and their algebro-geometric formulations.

How later papers used it

123 later papers cite it

Evidence: substantial. 121 of the citing papers share no author with it, and 28 of those carry a confident label from Pith's citation classifier.

Pith read 13 of the 263 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

4 later papers by other authors are listed below: 4 used its method or tool.

Uses its method or tool 4 of 18 papers with this label

Used Nakajima-Yoshioka blowup relations on Nekrasov partition functions as its main idea.

Painleve equations from Nakajima-Yoshioka blowup relations (2018) · 1.00 · paraphrased: the licence does not allow quoting
Used generalized Hirota-differential relations to write analogues formulas for its quantities.

Coupling of two conformal field theories and Nakajima-Yoshioka blow-up equations (2013) · 0.98 · paraphrased: the licence does not allow quoting
Combined results to write down a recursion relation and compute the instanton partition function on a space recursively as an expansion in q.

A review on instanton counting and W-algebras (2014) · 0.82 · paraphrased: the licence does not allow quoting
Used the theorem of a reference to write its result in canonical form.

Domain walls and M2-branes partition functions: M-theory and ABJM Theory (2020) · 0.92 · paraphrased: the licence does not allow quoting

How the literature uses it

117 arXiv papers cite this in 257 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 161 sentences without a confident label

Builds on it 8 papers

We generalize the Nakajima-Yoshioka (NY) blowup equations [ref] to arbitrary gauge group (with a possible 5d Chern-Simons term or discrete theta angle) with hypermultiplets in arbitrary representations.

Instantons from Blow-up · Introduction · 1.00
The proofs in [ref] were given only for the pure theory, but we extend them for the theory with one matter in this paper using the theory of perverse coherent sheaves [ref] .

Donaldson = Seiberg-Witten from Mochizuki's formula and instanton counting · Introduction · 0.99
Recently, by extending the blowup formalism in [ref] , a universal blowup approach for computing the BPS spectra of arbitrary 5d/6d field theories was developed in [ref] .

5d/6d Wilson loops from blowups · Introduction · 0.85

Uses its method or tool 17 papers

In this section, we summarize the method of Nakajima-Yoshioka [ref] to compute the instanton partition function for arbitrary gauge group without matter fields.

Counting Exceptional Instantons · Recursion relations from the blowup · 0.84
The main idea is to use Nakajima-Yoshioka blowup relations on Nekrasov partition functions [ref] , [ref] , [ref] , [ref] .

Painleve equations from Nakajima-Yoshioka blowup relations · Introduction · 1.00
The key ingredients in this analysis are the Kiev formulas for tau functions [ref] , as well as Nakajima-Yoshioka blowup equations [ref] .

Quantum spectral problems and isomonodromic deformations · Nekrasov-Shatashvili quantization from Kiev formula · 0.99

Uses its data or values 1 paper

For the $r=1$ the function $Z(ϵ_1,ϵ_2,a;q)=exp(qϵ_1ϵ_2)$ (see [ref] ) so the equation [ref] is trivial.

Coupling of two conformal field theories and Nakajima-Yoshioka blow-up equations · Section · 0.86

Compares with it 7 papers

The corresponding bra is given by [equation] Now, it can be checked that [equation] Therefore, [equation] which is indeed the one-instanton contribution of Nekrasov's partition function [ref] calculated from the geometry of the one-instanton moduli space.

The ABCDEFG of Instantons and W-algebras · $A_n$ · 0.86
Then the ratio [equation] is analytic in $ε_1, ε_2$ near $ε_1=ε_2=0$, and [equation] where [equation] while $κ_α:=1/4πi log(ξ)$ for $α=1,…,r$ and [equation] If the fixed holonomy at infinity is trivial, i.e. $w⃗=(w_0,w_1)=(r,0)$, the characteristic vector $ν∈^r$ vanishes and this result resembles [ref] and [ref] .

N=2 quiver gauge theories on A-type ALE spaces · $A_0$-theory · 0.83
One can see that equations [ref] and [ref] are equivalent to the equation (6.14) in [ref] for the $r=2$.

Coupling of two conformal field theories and Nakajima-Yoshioka blow-up equations · Geometric interpretation · 0.96

Cites it as support 3 papers

Partition function on $^2$ vs $^2$ Another important fact for the partition function $$ on the blow-up $^2$ is that $$ is actually identical to the flat-space partition function $$ [ref] .

Instantons from Blow-up · Blowup equation · 0.96
Nevertheless, as shown in [ref] (see also [ref] , and [ref] for a discussion in the physics context), the Hilbert series and other properties do indeed satisfy properties compatible with the expected hyperKähler condition of the moduli space.

Aspects of the moduli space of instantons on $\mathbb{C}P^2$ and its orbifolds · Introduction · 0.97
This has been showed in [ref] .

From SO/Sp instantons to W-algebra blocks · Instanton counting · 0.98

Cites it as background 44 papers

The blowup partition function of 4d and 5d $SU(N)$ SYMs was first computed by (Gottsche and) Nakajima and Yoshioka using localization in [ref] .

5d/6d Wilson loops from blowups · Review : Blowup equations · 0.92
It was introduced in [ref] and studied in [ref] .

Donaldson = Seiberg-Witten from Mochizuki's formula and instanton counting · Framed moduli spaces of torsion free sheaves · 0.83
The simplest five-dimensional AGT conjecture is that the inner product $⟨G|G⟩$ coincides with the five-dimensional (K-theoretic) Nekrasov formula for pure $SU(2)$ gauge theory [ref] : [equation] where $A_λ(i,j)$ and $L_λ(i,j)$ are the arm length and the leg length defined in Introduction, and $λ'$ is the conjugate of $λ$.

Singular Vector of Ding-Iohara-Miki Algebra and Hall-Littlewood Limit of 5D AGT Conjecture · Review of the simplest 5D AGT correspondence · 0.93

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.

[1] [49]

H. Nakajima and K. Yoshioka, Lectures on instanton counting , preprint, math.AG/0311058, to appear in Proceedings of ”Workshop on algebraic structures and moduli sp aces”, July 14 - 20, 2003, Centre de recherches mathematiques, Universite de Montreal

View on Pith arXiv 2003

[2] [14]

J.D. Edelstein, M. Mari˜ no and J. Mas, Whitham hierarchies, instanton corrections and soft super symmetry breaking in N = 2 SU( N ) super Yang-Mills theory , Nuclear Phys. B 541 (1999), 671–697

View on Pith 1999

[3] [1]

M.F. Atiyah, V. Drinfeld, N.J. Hitchin and Y.I. Manin, Construction of instantons , Phys. Lett. 65A (1978), 185–187

View on Pith 1978

[4] [2]

M.F. Atiyah, N.J. Hitchin and I.M. Singer, Self-duality in four-dimensional Riemannian geometry , Proc. Roy. Soc. London Ser. A 362 (1978), 425–461

View on Pith 1978

[5] [3]

M.F. Atiyah and G.B. Segal, The index of elliptic operators, II , Ann. of Math., 87 (1968), 531–545

View on Pith 1968

[6] [4]

S. Bando, Einstein-Hermitian metrics on noncompact K¨ ahler manifol ds, in ‘Einstein metrics and Yang- Mills connections (Sanda, 1990)’, 27–33, Dekker, New York, 1993

View on Pith 1990

[7] [5]

W. Barth, Moduli of bundles on the projective plane , Invent. Math. 42 (1977), 63–91

View on Pith 1977

[8] [6]

A. Braverman, M. Finkelberg and D. Gaitsgory, Uhlenbeck spaces via aﬃne Lie algebras , preprint, math.AG/0301176

View on Pith arXiv

[9] [7]

U. Bruzzo, F. Fucito, J.F. Morales and A. Tanzini, Multi-Instanton Calculus and Equivariant Cohomology , preprint, hep-th/0211108

View on Pith Pith review arXiv

[10] [8]

J. Bryan, Symplectic geometry and the relative Donaldson invariants of CP 2 , Forum Math. 9 (1997), 325–365

View on Pith 1997

[11] [9]

N. Chriss and V. Ginzburg, Representation theory and complex g eometry, Progress in Math. Birkh¨ auser, 1997

View on Pith 1997

[12] [10]

E. D’Hoker, I. Krichever and D.H. Phong, The renormalization group equation in N = 2 supersymmetric gauge theories, Nuclear Phys. B 494 (1997), 89–104; hep-th/9610156

View on Pith Pith review arXiv 1997

[13] [11]

S.K. Donaldson, Instantons and geometric invariant theory , Comm. Math. Phys. 93 (1984), 453–460

View on Pith 1984

[14] [12]

S.K. Donaldson and P.B. Kronheimer, The geometry of four-man ifold, Oxford Math. Monographs, Oxford Univ. Press, 1990

View on Pith 1990

[15] [13]

J.D. Edelstein, M. G´ omez-Reino, M. Mari˜ no and J. Mas, N = 2 supersymmetric gauge theories with massive hypermultiplets and the Whitham hierarchy , Nuclear Phys. B 574 (2000), 587–619

View on Pith 2000

[16] [15]

D. Edidin and W. Graham, Equivariant intersection theory , Invent. Math. 131 (1998), 595–634

View on Pith 1998

[17] [16]

T. Eguchi and S.K. Yang, Prepotential for N = 2 supersymmetric gauge theories and solition equations , Modern Phys. Lett. A 11 (1996), 131–138; hep-th/9510183

View on Pith Pith review arXiv 1996

[18] [17]

G. Ellingsrud and L. G¨ ottsche, Wall-crossing formulas, the Bott residue formula and the Do naldson in- variants of rational surfaces , Quart. J. Math. Oxford, 49 (1998), 307–329

View on Pith 1998

[19] [18]

G. Ellingsrud and S.A. Strømme, On the homology of the Hilbert scheme of points in the plane , Invent. Math. 87 (1987), 343–352

View on Pith 1987

[20] [19]

R. Fintushel and R.J. Stern, The blowup formula for Donaldson invariants , Ann. of Math. 143 (1996), 529–546

View on Pith 1996

[21] [20]

R. Friedman and J.W. Morgan, Smooth four-manifolds and comple x surfaces, Springer, Berlin, 1994

View on Pith 1994

[22] [21]

W. Fulton, Young tableaux, Cambridge Univ. Press, Cambridge, 1997

View on Pith 1997

[23] [22]

L. G¨ ottsche,Modular forms and Donaldson invariants for 4-manifolds with b+ = 1 , J. Amer. Math. Soc. 9 (1996), 827–843

View on Pith 1996

[24] [23]

A. Gorsky, A. Marshakov, A. Mironov and A. Morozov, RG equations from Whitham hierarchy , Nucl. Phys. B 527 (1998), 690–716

View on Pith 1998

[25] [24]

M. Haiman, Vanishing theorems and character formulas for the Hilbert s cheme of points in the plane , Invent. Math. 149 (2002), 371–407

View on Pith 2002

[26] [25]

D. Huybrechts and M. Lehn, Stable pairs on curves and surfaces , J. Algebraic Geom. 4 (1995), 67–104

View on Pith 1995

[27] [26]

, The geometry of moduli spaces of sheaves, Aspects of Math., E31, Friedr. Vieweg & Sohn, Braunschweig, 1997

View on Pith 1997

[28] [27]

V.G. Kac, Inﬁnite dimensional Lie algebras (3rd Ed.) , Cambridge Univ. Press, 1990

View on Pith 1990

[29] [28]

A. King, Instantons and holomorphic bundles on the blown up plane , Ph.D. thesis, Oxford, 1989

View on Pith 1989

[30] [29]

J. Li, Algebraic geometric interpretation of Donaldson’s polyno mial invariants , J. Diﬀerential Geom. 37 (1993) 417–466

View on Pith 1993

[31] [30]

W-P. Li and Z. Qin, On blowup formulae for the S-duality conjecture of Vafa and Witten , Invent. Math. 136 (1999), 451–482

View on Pith 1999

[32] [31]

, On blowup formulae for the S-duality conjecture of Vafa and Witten. II. The universal fu nctions, Math. Res. Lett. 5 (1998), 439–453. INSTANTON COUNTING ON BLOWUP. I 33

View on Pith 1998

[33] [32]

, Vertex operator algebras and the blowup formula for the S-duality conjecture of Vafa and Witten , Math. Res. Lett. 5 (1998), 791–798

View on Pith 1998

[34] [33]

A. Losev, A. Marshakov and N. Nekrasov, Small instantons, little strings and free fermions , preprint, hep-th/0302191

View on Pith Pith review arXiv

[35] [34]

A. Losev, N. Nekrasov and S. Shatashvili, Issues in topological gauge theory , Nuclear Phys. B 534 (1998), 549–611

View on Pith 1998

[36] [35]

, Testing Seiberg-Witten solution, in ‘L. D. Faddeev’s Seminar on Mathematical Physics’, 123–135, Amer. Math. Soc. Transl. Ser. 2, 201, Amer. Math. Soc., Providen ce, RI, 2000

View on Pith 2000

[37] [36]

G. Lusztig, Cuspidal local systems and graded Hecke algebras. I , Publ. Math. IHES 67 (1988), 145–202

View on Pith 1988

[38] [37]

, On quiver varieties , Adv. in Math. 136 (1998), 141–182

View on Pith 1998

[39] [38]

, Cuspidal local systems and graded Hecke algebras. II , in Representations of groups (Banﬀ, AB, 1994), 217–275, Amer. Math. Soc., Providence, RI, 1995

View on Pith 1994

[40] [39]

I.G. Macdonald, Symmetric functions and Hall polynomials (2nd ed.) , Oxford Math. Monographs, Oxford Univ. Press, 1995

View on Pith 1995

[41] [40]

M. Mari˜ no,The uses of Whitham hierarchies , Progr. Theoret. Phys. Suppl. No. 135 (1999), 29–52

View on Pith 1999

[42] [41]

M. Mari˜ no and G. Moore, The Donaldson-Witten function for gauge groups of rank larg er than one , Comm. Math. Phys. 199 (1998), 25–69

View on Pith 1998

[43] [42]

M. Matone, Instantons and recursion relations in N = 2 SUSY gauge theory , Phys. Lett. B 357 (1995), 342–348

View on Pith 1995

[44] [43]

G. Moore and E. Witten, Integration over the u-plane in Donaldson theory , Adv. Theor. Math. Phys. 1 (1997), 298–387

View on Pith 1997

[45] [44]

J.W. Morgan, Comparison of the Donaldson polynomial invariants with the ir algebro-geometric analogues, Topology 32 (1993), 449–488

View on Pith 1993

[46] [45]

H. Nakajima, Instantons on ALE spaces, quiver varieties, and Kac-Moody a lgebras, Duke Math. 76 (1994), 365–416

View on Pith 1994

[47] [46]

, Quiver varieties and Kac-Moody algebras , Duke Math. 91 (1998), 515–560

View on Pith 1998

[48] [47]

, Lectures on Hilbert schemes of points on surfaces , Univ. Lect. Ser. 18, AMS, 1999

View on Pith 1999

[49] [48]

, Moduli of sheaves on blown-up surfaces , in ‘Proceedings of RIMS Project 1999/2000, Algebraic Geometry and Integrable Systems related to String theory’, RIMS Kokyuroku 1232 (2001), 29–33; avail- able from http://www.kusm.kyoto-u.ac.jp/~nakajima/TeX/blowup.ps.gz

View on Pith 2001

[50] [50]

N. Nekrasov, Seiberg-Witten prepotential from instanton counting , preprint, hep-th/0206161

View on Pith Pith review arXiv

[51] [51]

N. Nekrasov and A. Okounkov, Seiberg-Witten prepotential and random partitions , preprint, hep-th/0306238

View on Pith Pith review arXiv

[52] [52]

N. Seiberg and E. Witten, Electric-magnetic duality, monopole condensation, and co nﬁnement in N = 2 supersymmetric Yang-Mills theory Nuclear Phys. B 426 (1994), 19–52; Erratum, Nuclear Phys. B 430 (1994), 485–486

View on Pith 1994

[53] [53]

J. Sonnenschein, S. Theisen and S. Yankielowicz, On the Relation Between the Holomorphic Prepotential and the Quantum Moduli in SUSY Gauge Theories , Phys.Lett. B 367 (1996), 145-150; hep-th/9510129

View on Pith Pith review arXiv 1996

[54] [54]

R. Thomason, Une formule de Lefschetz en K-th´ eorie ´ equivariante alg´ ebrique, Duke Math. 68 (1992), 447–462

View on Pith 1992

[55] [55]

M. Varagnolo and E. Vasserot, On the K-theory of the cyclic quiver variety , Internat. Math. Res. Notices 1999, no. 18 , 1005–1028

View on Pith 1999

[56] [56]

E. Witten, Topological quantum ﬁeld theory , Comm. Math. Phys. 117 (1988), 353–386

View on Pith 1988

[57] [57]

K. Yoshioka, Chamber structure of polarizations and the moduli of stable sheaves on a ruled surface , Internat. J. Math. 7 (1996), 411–431. Department of Mathematics, Kyoto University, Kyoto 606-85 02, Japan E-mail address : nakajima@math.kyoto-u.ac.jp Department of Mathematics, F aculty of Science, Kobe Univer sity, Kobe 657-8501, Japan E-mail address : ...

View on Pith 1996