Pith. sign in

REVIEW 3 major objections 5 minor 99 references

For odd first Chern class, the supersymmetric localization of 5D N=1* U(2) gauge theory on a toric Fano surface times a circle reproduces the refined Vafa–Witten invariants, identified with the χ_{y²}-genus of the moduli space of torsion-fr

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 15:32 UTC pith:QS73DZKS

load-bearing objection Solid extension of 5D localization to the massive adjoint, with clean odd-c1 matches and an honest even-c1 gap; the main caveat is the under-checked q-Virasoro recurrence, but the paper deserves refereeing. the 3 major comments →

arxiv 2607.18410 v1 pith:QS73DZKS submitted 2026-07-20 hep-th math.AGmath.DG

Refined Vafa-Witten invariants for toric surfaces from supersymmetric localization in 5D gauge theory

Osama Khlaif , Boris Pioline , Alessandro Tanzini This is my paper
classification hep-th math.AGmath.DG
keywords 5D N=1* super Yang–Millsrefined Vafa–Witten invariantstoric surfacessupersymmetric localizationq-Virasoro conformal blocksNekrasov partition functionχ_y-genustorsion-free sheaves
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper works out the supersymmetric localization of five-dimensional N=1* super Yang–Mills theory with gauge group U(2) on a toric Fano surface S times a circle, and uses it to compute refined Vafa–Witten invariants. Its central claim is that the localization integral, evaluated with a natural residue prescription, has contributing poles that stand in one-to-one correspondence with torus-fixed points of the moduli space of semi-stable torsion-free sheaves. For odd first Chern class, the individual residues are independent of the equivariant parameters ε₁, ε₂ and their sum equals the χ_{y²}-genus of that moduli space, matching the known refined Vafa–Witten invariants on P² and on the Hirzebruch surfaces F₀ and F₁. For even first Chern class, equivariant-parameter dependence survives, and the paper identifies this as an open problem. If the claim holds, supersymmetric localization in five dimensions becomes a direct computational route to refined Vafa–Witten invariants on toric Fano surfaces.

Core claim

On a toric Fano surface S, the 5D N=1* U(2) supersymmetric path integral on S×S¹_β localizes to an integral over the Cartan torus of a product of 5D instanton partition functions, one per affine patch. The paper's central claim is that with the residue prescription (3.17)–(3.19), the contributing poles stand in one-to-one correspondence with the torus-fixed points of the moduli space of semi-stable torsion-free sheaves on S. For odd first Chern class, the residues are independent of the equivariant parameters ε₁, ε₂ and add up to the χ_{y²}-genus of that moduli space, matching the known refined Vafa–Witten invariants on P², F₀ and F₁. For even first Chern class, dependence on ε₁, ε₂ survives

What carries the argument

The computation is carried by two analytic tools. First, a new recurrence relation (4.33) for the q-Virasoro conformal block on the one-punctured torus (the function H^K_adj): this controls the poles and residues of the 5D instanton partition function in the presence of the massive adjoint hypermultiplet, and is checked at low orders in the instanton expansion. Second, an 'abstruse duality' (4.39) relating residues at different poles; it justifies the sign and 1/2 weights Θ_{c1}(p) that select strictly stable versus semi-stable flux vectors. Together they convert the residue integral into a sum over the same flux data that classifies torus-fixed sheaves, with the pole order tracked by factor

Load-bearing premise

The whole computation rests on the new recurrence relation (4.33) for the q-Virasoro torus conformal block — verified only at low orders in q — together with the abstruse duality (4.39) whose proof assumes the adjoint mass does not change the analytic structure of the integrand; if either fails at higher order, the matching with refined Vafa–Witten invariants is not expected to persist.

What would settle it

Evaluate the residue formula (6.32) for P² with c1 = 1 at order q^4 and compare the coefficient with the known generating function, or check the recurrence (4.33) at order q^4 against a direct expansion of the Young-tableau sum (4.10)–(4.11); any surviving ε₁, ε₂ dependence for odd c1, or any mismatch in the coefficients, would disprove the central claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • For odd first Chern class, the 5D localization formula (6.32) and its F_n analogues give a direct physics derivation of the refined Vafa–Witten invariants, with the ε₁, ε₂-independence emerging from cancellations among pole residues.
  • The pole-to-fixed-point dictionary provides a practical one-to-one map between residues of instanton partition functions and toric fixed-point data, which the paper indicates can be generalized to higher rank using Jeffrey–Kirwan residues.
  • The rank one case reproduces the generating function of Poincaré polynomials of Hilbert schemes of points on any toric surface, tying the method to established enumerative results.
  • The even-c1 computation pinpoints a missing contribution — the constant −1/(4η^{2χ}) — and shows that any equivariant completion of it must cancel ε₁, ε₂ dependence at all orders while matching the unrefined rational invariants.
  • The approach yields K-theoretic invariants that interpolate between Donaldson–Witten and Vafa–Witten invariants, with implications for mock modularity of the generating series.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the recurrence (4.33) can be proven rather than merely checked at low orders, the same localization scheme would extend unchanged to all toric Fano surfaces, including those with more than four affine patches.
  • The even-c1 obstruction suggests the refined generating series may be a vector-valued mock Jacobi form whose equivariant completion is fixed by the modular anomaly; the computed coefficients could be used to fit the completion term.
  • The same residue mechanism should compute K-theoretic Donaldson–Witten invariants beyond the cases already treated, and it may adapt to surfaces built from toric ones by quotients or blow-ups.
  • A concrete testable extension is to include fundamental hypermultiplets, which would require the four-punctured-sphere q-Virasoro block; the non-equivariant limit of the resulting sums should reproduce known blow-up formulae for refined Vafa–Witten invariants.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper studies five-dimensional N=1* U(2) supersymmetric Yang-Mills theory on S × S^1_β, with S a toric Fano surface. The authors propose that the localized partition function, expressed as a residue integral over the Cartan torus of the product of affine-patch Nekrasov partition functions, receives contributions from poles in one-to-one correspondence with torus-fixed points of the moduli space of semi-stable torsion-free sheaves on S. For non-even first Chern class, they claim that these contributions are independent of the equivariant parameters ε_1, ε_2 and sum to the χ_{y^2}-genus, hence to the refined Vafa-Witten invariants. The main concrete results are the generating functions for P^2 (Table 2, Eq. (6.32)) and for the Hirzebruch surfaces F_0 and F_1 (Eqs. (7.69), (7.72), (7.80), (7.83), (7.86)), matched at low order against Yoshioka's and Bringmann–Manschot's formulas and against toric localization counts. For even first Chern class the equivariant-parameter dependence does not drop out, and the paper leaves the relation to refined invariants as an explicit open problem, introducing an ad hoc constant -1/(4η^{2χ}) only in the unrefined limit.

Significance. If the central claim holds, the paper provides a substantial new application of supersymmetric localization: a 5D N=1* derivation of refined Vafa-Witten invariants for odd first Chern class on toric Fano surfaces. The matching is parameter-free in the sense that no fitted constants enter the odd-c1 comparison; it is benchmarked against independent mathematical theorems (Yoshioka, Göttsche, Bringmann–Manschot, Kool) and against explicit toric fixed-point counts. The rank-1 derivation of Göttsche's formula is clean and self-contained. The paper is also transparent about the even-c1 obstruction, which it does not claim to resolve. The main weakness is that two load-bearing ingredients — the q-Virasoro recurrence (4.33) and the abstruse duality (4.39) — are only checked to low order and sketched, respectively, so the general validity of the odd-c1 claim is not established beyond the computed orders.

major comments (3)
  1. [§4.3.2, Eq. (4.33)] The recurrence for H^K_adj is claimed to reproduce the instanton partition function (4.10), but the only support is the statement 'checked explicitly at low orders in q'. This recurrence determines the poles and their degrees used in every subsequent residue computation, including (A.36)–(A.39), (6.32), and (7.60). If (4.33) fails at higher q-order, the odd-c1 matching in Table 2 and in Appendices B/C would not extend. The authors should either prove (4.33) from the known q-Virasoro Ward identity, as was done for the unrefined case in [79], or provide a systematic verification to a substantially higher q-order (e.g., q^6 or q^8 for P^2 and F_n) with the maximum order explicitly stated. As it stands, the central claim is certified only to the order displayed in the tables.
  2. [§4.3.3, Eq. (4.39)] The 'abstruse duality' is load-bearing for the sign bookkeeping and for the orbit weights Θ_{c1} in (6.31)/(6.32) and (7.60). The proof sketch reduces to [15] by asserting that the adjoint mass does not alter the analytic structure, but the evidence is only the low-order pole analysis of §4.3.1–§4.3.2. This is circular to the extent that the pole structure itself rests on the unproved recurrence (4.33). I ask for a direct proof of (4.39) using the factorized instanton expression (4.11) for arbitrary m,n, or at least explicit checks of the two ratios in (4.39) beyond the small (m,n) cases; the paper should state how many and which cases were verified.
  3. [§6.2–§6.4, Tables 2–3] The odd-c1 result is verified order-by-order only through q^5 for P^2 and q^3/q^4 for F_0, F_1. Given that the recurrence and duality are themselves low-order checked, the current evidence does not rule out a breakdown at uncomputed orders. The authors should state a clear ‘verified to order N_q’ bound and, ideally, extend the odd-c1 match to higher order, or prove the relevant identities analytically. This is not a request for an even-c1 resolution, which the paper already disclaims.
minor comments (5)
  1. [§6.1] The object referred to as 'Table 2' for the toric data of P^2 is actually a figure with the caption 'Figure 2'. Please renumber or convert to a table to avoid confusion with Table 2 of numerical invariants.
  2. [Appendix A.3, Eq. (A.39)] The phrase 'with the lapses denoting terms' should read 'with the ellipses denoting terms'.
  3. [§1] The text 'a toric Fano surface of Euler number χ^2' appears to contain a typo; presumably χ(S), since the affine patches are indexed by χ. Please correct.
  4. [§7.2, Eqs. (7.18)–(7.28)] The itemized list uses p_1,...,p_4 in the verbal description ('all p_i distinct', 'p_i = p_j') while the inequalities are written in terms of v_i. Using a single symbol would improve readability.
  5. [§4.3.2] It would be helpful to specify the precise q-order and computational method used for the low-order check of (4.33), including how many Young-tableau configurations were compared, and whether the check was performed for generic y_adj, y_1, y_2 or only after series expansion.

Circularity Check

0 steps flagged

No circularity: the odd-c1 agreement is benchmarked against independent mathematical theorems; the q-Virasoro recurrence and abstruse duality are conjectural analytic inputs, not outputs recycled from the target invariants.

full rationale

The central derivation is not circular. The paper starts from the standard 5D Nekrasov partition function (4.10), glues it over the toric patches via (4.17), and applies a residue prescription (3.17)-(3.19) inherited from earlier localization work. The two new ingredients, the q-Virasoro recurrence (4.33) and the abstruse duality (4.39), are asserted with only low-order checks, but they are properties of the Nekrasov integrand and are not defined in terms of, or fitted to, the Vafa-Witten invariants they are used to compute. A low-order check is a verification gap, not a circular reduction. The output series are then compared against independent mathematical results: Yoshioka's formulas (6.1)-(6.5), Bringmann-Manschot refined Hurwitz class numbers (6.11)-(6.12), Kool's toric localization counts (7.16)-(7.28), and wall-crossing formulas (7.10), (7.13). The identification y_adj = y^2 is a variable renaming, and the agreement is coefficient-by-coefficient with no fitted constants; the epsilon-independence for odd c1 is an observed cancellation in the computed residues. Self-citations to [21] and [33] supply methodology and tables, but those tables are cross-checked against Yoshioka's theorems and Kool's independent localization results, so the central claim has independent content. Accordingly, no circular step can be exhibited.

Axiom & Free-Parameter Ledger

3 free parameters · 8 axioms · 0 invented entities

The computation rests on the localization ansatz (a domain assumption inherited from [19–21,15]), on two newly claimed analytical tools ((4.33), (4.39)) verified only partially, on standard toric geometry (Klyachko/Kool) used as a dictionary, and — in the even-c1 sector — on a hand-added constant. Free parameters: the polarization choice (1.1,1); the fitted constant -1/4; and the failed speculative coefficient C. No new particles, forces, or dimensions are introduced.

free parameters (3)
  • constant term -1/4 (=-1/(4η^{2χ}) in the generating series) = -1/4
    Hand-added in the even-c1 case to match rational VW invariants ((6.18)–(6.19), (7.38), (7.49)); zeta-regularization attempts by the authors yield 0 or 1/4 instead (footnotes 26, 35). It is fitted to the benchmark, not produced by the localization integral.
  • polarization (a,b) for Hirzebruch surfaces = (1.1, 1)
    Chosen in §7.3 "to stay away from walls of marginal stability"; the set of contributing flux vectors and thus the results depend on this choice through the stability inequalities (7.51).
  • speculative coefficient C = q-independent; fitted to cancel the order-q term
    Footnote 4: a q-independent coefficient multiplying (h_1^S)² for the degenerate-flux contribution, fixed by requiring the order-q refined invariant to vanish; the authors show this fails at higher orders and does not give the correct non-equivariant limit.
axioms (8)
  • domain assumption The 5D N=1* partition function on S×S¹_β localizes to the product of Nekrasov functions over affine patches integrated over the Cartan torus (3.9), (4.17), with the contour/sign prescription (3.15)–(3.17) from [21].
    The central computational ansatz, adopted from Nekrasov's suggestion [22] and the 4D/5D program [19–21,15]. No first-principles derivation is given for the N=1* case on compact surfaces.
  • domain assumption The twisted supersymmetric index Z[S] equals the χ_{y_adj}-genus of the instanton moduli space (3.7).
    Standard Witten-index identification with the adjoint mass twisting anti-holomorphic forms; assumed as the physical interpretation of the partition function.
  • ad hoc to paper Recurrence (4.33) for H^K_adj (q-Virasoro one-punctured torus block).
    "We now claim" (verified only at low orders in q); load-bearing because it fixes the pole structure used in all residue computations.
  • ad hoc to paper Abstruse duality (4.39) holds in the presence of the adjoint mass.
    Only a sketch is given; underpins the orbit cancellations and the Θ factors (6.27)–(6.31) that reduce the integral to positive flux vectors.
  • domain assumption The monopole (vertical) branch does not contribute for b₂⁺=1 Fano surfaces.
    Invoked in §3.1 following [4]; needed so that VW invariants are determined by the instanton branch.
  • domain assumption χ_y-genus coincides with the Poincaré polynomial on these moduli spaces.
    Footnote 1: cohomology of the moduli space of semi-stable sheaves is supported on Dolbeault degree (p,p) for toric surfaces.
  • standard math Klyachko classification of equivariant sheaves and Kool's fixed-point formulas (2.17)–(2.25).
    Imported from the algebraic-geometry literature (§2.2) to interpret poles as sheaf fixed points and to organize the unrefined counting.
  • standard math Toric identities (2.8), (2.12)–(2.14) for the patch weights.
    Follow from the patch recursion (2.7); derivations are sketched in §2.1 and hold for smooth compact toric surfaces.

pith-pipeline@v1.3.0-alltime-deepseek · 73065 in / 42322 out tokens · 308487 ms · 2026-08-01T15:32:08.067209+00:00 · methodology

0 comments
read the original abstract

We study the partition function of five-dimensional $\mathcal{N}=1$ $U(N)$ supersymmetric Yang-Mills (SYM) theory with an adjoint hypermultiplet of mass $m_{\rm adj}$ on a toric K\"ahler surface $S$ times a circle of radius $\boldsymbol{\beta}$. Extending earlier work in $\mathcal{N}=2^*$ SYM theory on $S$, and in pure $\mathcal{N}=1$ SYM on $S\times \mathbb{S}^1_{\boldsymbol{\beta}}$, we find that the path integral localizes to an integral along the Cartan torus of the product of Nekrasov 5D partition functions for each affine patch. Restricting to the gauge group $U(2)$ for simplicity, the integrand has an infinite set of poles of degree at most $\chi(S)-2$. With a natural prescription for integrating around such poles, we find that the contributing poles are in one-to-one correspondence with the torus-fixed points in the moduli space of semi-stable torsion-free sheaves on $S$. Moreover, for non-even first Chern class, their contributions are independent of the equivariant parameters $\epsilon_1,\epsilon_2$ and add up to the $\chi_{y^2}$-genus of that moduli space, where $y^2=e^{-\boldsymbol{\beta} m_{\rm adj}}$, and hence coincide with the refined Vafa-Witten invariants. For even Chern class, the partition function depends on the equivariant parameters $\epsilon_1,\epsilon_2$ as well as $y$, and its relation to rational, refined Vafa-Witten invariants remains unclear.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

99 extracted references · 63 linked inside Pith

  1. [1]

    Topological Quantum Field Theory,

    E. Witten, “Topological Quantum Field Theory,”Commun. Math. Phys.117(1988) 353

    1988

  2. [2]

    Monopoles and four manifolds,

    E. Witten, “Monopoles and four manifolds,”Math. Res. Lett.1(1994) 769–796, hep-th/9411102

    Pith/arXiv arXiv 1994

  3. [3]

    Integration over theu-plane in Donaldson theory,

    G. W. Moore and E. Witten, “Integration over theu-plane in Donaldson theory,”Adv. Theor. Math. Phys.1(1997) 298–387,hep-th/9709193

    Pith/arXiv arXiv 1997

  4. [4]

    A Strong coupling test of S duality,

    C. Vafa and E. Witten, “A Strong coupling test of S duality,”Nucl. Phys. B431(1994) 3–77, hep-th/9408074

    Pith/arXiv arXiv 1994

  5. [5]

    Vafa-Witten invariants for projective surfaces I: stable case,

    Y. Tanaka and R. P. Thomas, “Vafa-Witten invariants for projective surfaces I: stable case,”J. Alg. Geom.29(2020), no. 4, 603–668,1702.08487

    Pith/arXiv arXiv 2020

  6. [6]

    Vafa–Witten invariants for projective surfaces II: semistable case,

    Y. Tanaka and R. P. Thomas, “Vafa–Witten invariants for projective surfaces II: semistable case,”Pure Appl. Math. Quart.13(2017), no. 3, 517–562,1702.08488

    Pith/arXiv arXiv 2017

  7. [7]

    Jacobi forms and the structure of Donaldson invariants for 4-manifolds withb + = 1,

    L. G¨ ottsche and D. Zagier, “Jacobi forms and the structure of Donaldson invariants for 4-manifolds withb + = 1,”Selecta Mathematica4(12, 1996) 69–115,alg-geom/9612020

    Pith/arXiv arXiv 1996

  8. [8]

    S-duality and refined BPS indices,

    S. Alexandrov, J. Manschot, and B. Pioline, “S-duality and refined BPS indices,”Commun. Math. Phys.380(2020), no. 2, 755–810,1910.03098

    Pith/arXiv arXiv 2020

  9. [9]

    Duality and Mock Modularity,

    A. Dabholkar, P. Putrov, and E. Witten, “Duality and Mock Modularity,”SciPost Phys.9 (2020), no. 5, 072,2004.14387

    Pith/arXiv arXiv 2020

  10. [10]

    Vafa–Witten invariants from modular anomaly,

    S. Alexandrov, “Vafa–Witten invariants from modular anomaly,”Commun. Num. Theor. Phys. 15(2021), no. 1, 149–219,2005.03680

    Pith/arXiv arXiv 2021

  11. [11]

    RankNVafa–Witten invariants, modularity and blow-up,

    S. Alexandrov, “RankNVafa–Witten invariants, modularity and blow-up,”Adv. Theor. Math. Phys.25(2021), no. 2, 275–308,2006.10074

    Pith/arXiv arXiv 2021

  12. [12]

    Five dimensional gauge theories and relativistic integrable systems,

    N. Nekrasov, “Five dimensional gauge theories and relativistic integrable systems,”Nucl. Phys. B531(1998) 323–344,hep-th/9609219

    Pith/arXiv arXiv 1998

  13. [13]

    Instanton counting on blowup. II. K-theoretic partition function,

    H. Nakajima and K. Yoshioka, “Instanton counting on blowup. II. K-theoretic partition function,”Transformation Groups10(5, 2005) 489–519,math/0505553

    Pith/arXiv arXiv 2005

  14. [14]

    K-theoretic Donaldson invariants via instanton counting,

    L. G¨ ottsche, H. Nakajima, and K. Yoshioka, “K-theoretic Donaldson invariants via instanton counting,”Pure Appl. Math. Quart.5(2009) 1029–1111,math/0611945

    Pith/arXiv arXiv 2009

  15. [15]

    Path Integral Derivations Of K-Theoretic Donaldson Invariants,

    H. Kim, J. Manschot, G. W. Moore, R. Tao, and X. Zhang, “Path Integral Derivations Of K-Theoretic Donaldson Invariants,”2509.23042

    arXiv

  16. [16]

    A Comment on theχ y genus and supersymmetric quantum mechanics,

    T. J. Hollowood and T. Kingaby, “A Comment on theχ y genus and supersymmetric quantum mechanics,”Phys. Lett. B566(2003) 258–262,hep-th/0303018. – 81 –

    Pith/arXiv arXiv 2003

  17. [17]

    Topological correlators ofSU(2)N= 2 SYM on four-manifolds,

    J. Manschot and G. W. Moore, “Topological correlators ofSU(2)N= 2 SYM on four-manifolds,”Adv. Theor. Math. Phys.28(2024), no. 2, 407–597,2104.06492

    Pith/arXiv arXiv 2024

  18. [18]

    EquivariantK-Theory and Refined Vafa–Witten Invariants,

    R. P. Thomas, “EquivariantK-Theory and Refined Vafa–Witten Invariants,”Commun. Math. Phys.378(2020), no. 2, 1451–1500,1810.00078

    Pith/arXiv arXiv 2020

  19. [19]

    Exact results forN= 2 supersymmetric gauge theories on compact toric manifolds and equivariant Donaldson invariants,

    M. Bershtein, G. Bonelli, M. Ronzani, and A. Tanzini, “Exact results forN= 2 supersymmetric gauge theories on compact toric manifolds and equivariant Donaldson invariants,”JHEP07(2016) 023,1509.00267

    Pith/arXiv arXiv 2016

  20. [20]

    Gauge theories on compact toric surfaces, conformal field theories and equivariant Donaldson invariants,

    M. Bershtein, G. Bonelli, M. Ronzani, and A. Tanzini, “Gauge theories on compact toric surfaces, conformal field theories and equivariant Donaldson invariants,”J. Geom. Phys.118 (2017) 40–50,1606.07148

    Pith/arXiv arXiv 2017

  21. [21]

    Gauge theories on compact toric manifolds,

    G. Bonelli, F. Fucito, J. F. Morales, M. Ronzani, E. Sysoeva, and A. Tanzini, “Gauge theories on compact toric manifolds,”Lett. Math. Phys.111(2021), no. 3, 77,2007.15468

    Pith/arXiv arXiv 2021

  22. [22]

    Localizing gauge theories,

    N. A. Nekrasov, “Localizing gauge theories,” inXIVth international congress on mathematical physics, pp. 645–654, World Scientific. 2006

    2006

  23. [23]

    Refined Topological Vertex, Cylindric Partitions and the U(1) Adjoint Theory,

    A. Iqbal, C. Kozcaz, and K. Shabbir, “Refined Topological Vertex, Cylindric Partitions and the U(1) Adjoint Theory,”Nucl. Phys. B838(2010) 422–457,0803.2260

    Pith/arXiv arXiv 2010

  24. [24]

    Instantons and the 5D U(1) gauge theory with extra adjoint,

    R. Poghossian and M. Samsonyan, “Instantons and the 5D U(1) gauge theory with extra adjoint,”J. Phys. A42(2009) 304024,0804.3564

    Pith/arXiv arXiv 2009

  25. [25]

    General instanton counting and 5d SCFT,

    C. Hwang, J. Kim, S. Kim, and J. Park, “General instanton counting and 5d SCFT,”JHEP07 (2015) 063,1406.6793. [Addendum: JHEP 04, 094 (2016)]

    Pith/arXiv arXiv 2015

  26. [26]

    On ’t Hooft defects, monopole bubbling and supersymmetric quantum mechanics,

    T. D. Brennan, A. Dey, and G. W. Moore, “On ’t Hooft defects, monopole bubbling and supersymmetric quantum mechanics,”JHEP09(2018) 014,1801.01986

    Pith/arXiv arXiv 2018

  27. [27]

    Liouville correlation functions from four-dimensional gauge theories,

    L. F. Alday, D. Gaiotto, and Y. Tachikawa, “Liouville correlation functions from four-dimensional gauge theories,”Letters in Mathematical Physics91(Jan., 2010) 167–197

    2010

  28. [28]

    Five-dimensional agt conjecture and the deformed virasoro algebra,

    H. Awata and Y. Yamada, “Five-dimensional agt conjecture and the deformed virasoro algebra,”Journal of High Energy Physics2010(2010), no. 1, 125,0910.4431

    Pith/arXiv arXiv 2010

  29. [29]

    Equivariant bundles on toral varieties,

    A. A. Klyachko, “Equivariant bundles on toral varieties,”Mathematics of the USSR-Izvestiya 35(1990), no. 2, 337

    1990

  30. [30]

    Euler characteristics of moduli spaces of torsion free sheaves on toric surfaces,

    M. Kool, “Euler characteristics of moduli spaces of torsion free sheaves on toric surfaces,” Geometriae Dedicata176(Jun, 2015) 241–269,0906.3393

    Pith/arXiv arXiv 2015

  31. [31]

    The Betti numbers of the moduli space of stable sheaves of rank 2 onP 2,

    K. Yoshioka, “The Betti numbers of the moduli space of stable sheaves of rank 2 onP 2,” Journal f¨ ur die reine und angewandte Mathematik453(1994) 193–220

    1994

  32. [32]

    The Betti numbers of the moduli space of stable sheaves of rank 2 on a ruled surface,

    K. Yoshioka, “The Betti numbers of the moduli space of stable sheaves of rank 2 on a ruled surface,”Mathematische Annalen302(1995), no. 3, 519–540

    1995

  33. [33]

    Vafa–Witten Invariants from Exceptional Collections,

    G. Beaujard, J. Manschot, and B. Pioline, “Vafa–Witten Invariants from Exceptional Collections,”Commun. Math. Phys.385(2021), no. 1, 101–226,2004.14466

    Pith/arXiv arXiv 2021

  34. [34]

    In preparation,

    G. Bonelli, A. Bykov, E. Sysoeva, and A. Tanzini, “In preparation,”

  35. [35]

    Cutting and gluing with running couplings inN= 2 QCD,

    J. Aspman, E. Furrer, and J. Manschot, “Cutting and gluing with running couplings inN= 2 QCD,”Phys. Rev. D105(2022), no. 2, 025021,2107.04600. – 82 –

    Pith/arXiv arXiv 2022

  36. [36]

    Theu-plane integral, mock modularity and enumerative geometry,

    J. Aspman, E. Furrer, G. Korpas, Z.-C. Ong, and M.-C. Tan, “Theu-plane integral, mock modularity and enumerative geometry,”Lett. Math. Phys.112(2022), no. 2, 30,2109.04302

    Pith/arXiv arXiv 2022

  37. [37]

    Four flavors, triality, and bimodular forms,

    J. Aspman, E. Furrer, and J. Manschot, “Four flavors, triality, and bimodular forms,”Phys. Rev. D105(2022), no. 2, 025017,2110.11969

    Pith/arXiv arXiv 2022

  38. [38]

    Topological twists of massive SQCD, Part I,

    J. Aspman, E. Furrer, and J. Manschot, “Topological twists of massive SQCD, Part I,”Lett. Math. Phys.114(2024), no. 3, 62,2206.08943

    Pith/arXiv arXiv 2024

  39. [39]

    Topological twists of massive SQCD, Part II,

    J. Aspman, E. Furrer, and J. Manschot, “Topological twists of massive SQCD, Part II,”Lett. Math. Phys.114(2024), no. 4, 98,2312.11616

    Pith/arXiv arXiv 2024

  40. [40]

    Universal Functions for Topological Correlators,

    E. Furrer and J. Manschot, “Universal Functions for Topological Correlators,”2602.20279

    arXiv

  41. [41]

    Lectures on instanton counting,

    H. Nakajima and K. Yoshioka, “Lectures on instanton counting,” inCRM Workshop on Algebraic Structures and Moduli Spaces. 11, 2003.math/0311058

    Pith/arXiv arXiv 2003

  42. [42]

    Theta Functions and Hodge Numbers of Moduli Spaces of Sheaves on Rational Surfaces,

    L. G¨ ottsche, “Theta Functions and Hodge Numbers of Moduli Spaces of Sheaves on Rational Surfaces,”Communications in Mathematical Physics206(9, 1999) 105–136,9808007

    1999

  43. [43]

    On blowup formulae for the S-duality conjecture of Vafa and Witten,

    W.-p. Li and Z. Qin, “On blowup formulae for the S-duality conjecture of Vafa and Witten,” Inventiones Mathematicae136(Apr, 1999) 451–482

    1999

  44. [44]

    The Blowup Formula for the Instanton Part of Vafa-Witten Invariants on Projective Surfaces,

    N. Kuhn, O. Leigh, and Y. Tanaka, “The Blowup Formula for the Instanton Part of Vafa-Witten Invariants on Projective Surfaces,”2205.12953

    Pith/arXiv arXiv

  45. [45]

    Quantum Spectral Problems and Isomonodromic Deformations,

    M. Bershtein, P. Gavrylenko, and A. Grassi, “Quantum Spectral Problems and Isomonodromic Deformations,”Commun. Math. Phys.393(2022), no. 1, 347–418,2105.00985

    Pith/arXiv arXiv 2022

  46. [46]

    Blowing-up the edge: connection formulae and stability chart of the Lam´ e equation,

    G. Bonelli, P. Gavrylenko, T. Pedroni, and A. Tanzini, “Blowing-up the edge: connection formulae and stability chart of the Lam´ e equation,”2507.04860

    Pith/arXiv arXiv

  47. [47]

    D. A. Cox, J. B. Little, and H. K. Schenck,Toric varieties, vol. 124. American Mathematical Society, 2024

    2024

  48. [48]

    Vector bundles and torsion free sheaves on the projective plane,

    A. A. Klyachko, “Vector bundles and torsion free sheaves on the projective plane,” 1991

    1991

  49. [49]

    Stable bundles, representation theory and Hermitian operators,

    A. A. Klyachko, “Stable bundles, representation theory and Hermitian operators,”Sel. math., New ser.4(1998) 419 – 445

    1998

  50. [50]

    Sheaves on toric varieties for physics,

    A. Knutson and E. R. Sharpe, “Sheaves on toric varieties for physics,”Adv. Theor. Math. Phys. 2(1998) 873–961,hep-th/9711036

    Pith/arXiv arXiv 1998

  51. [51]

    Moduli for equivariant vector bundles of rank two on smooth toric surfaces,

    M. Perling, “Moduli for equivariant vector bundles of rank two on smooth toric surfaces,” Mathematische Nachrichten265(2004), no. 1, 87–99

    2004

  52. [52]

    Moduli of toric vector bundles,

    S. Payne, “Moduli of toric vector bundles,”Compositio Mathematica144(2008), no. 5, 1199–1213

    2008

  53. [53]

    Fixed point loci of moduli spaces of sheaves on toric varieties,

    M. Kool, “Fixed point loci of moduli spaces of sheaves on toric varieties,”Advances in Mathematics227(2011), no. 4, 1700–1755

    2011

  54. [54]

    van Bree,Virasoro constraints and moduli of twisted sheaves

    D. van Bree,Virasoro constraints and moduli of twisted sheaves. PhD thesis, Universiteit Utrecht, 2024

    2024

  55. [55]

    SO(3)-invariants for four-manifolds withb + 2 = 1,

    D. Kotschick and J. W. Morgan, “SO(3)-invariants for four-manifolds withb + 2 = 1,” in Proceedings of the Kirbyfest, pp. 371–397. Geometry and Topology Monographs, 1999. – 83 –

    1999

  56. [56]

    Modular forms and Donaldson invariants for 4-manifolds withb + 2 = 1,

    L. G¨ ottsche, “Modular forms and Donaldson invariants for 4-manifolds withb + 2 = 1,”Journal of the American Mathematical Society9(1996), no. 3, 827–843

    1996

  57. [57]

    Topological actions from twisted supersymmetric theories,

    J. P. Yamron, “Topological actions from twisted supersymmetric theories,”Physics Letters B 213(1988), no. 3, 325–330

    1988

  58. [58]

    Topological symmetry of forms, supersymmetry and S-duality on special manifolds,

    L. Baulieu and A. Tanzini, “Topological symmetry of forms, supersymmetry and S-duality on special manifolds,”Journal of Geometry and Physics56(Nov., 2006) 2379–2401

    2006

  59. [59]

    Fivebranes and Knots,

    E. Witten, “Fivebranes and Knots,”1101.3216

    Pith/arXiv arXiv

  60. [60]

    Five-dimensional topologically twisted maximally supersymmetric Yang-Mills theory,

    L. Anderson, “Five-dimensional topologically twisted maximally supersymmetric Yang-Mills theory,”JHEP02(2013) 131,1212.5019

    Pith/arXiv arXiv 2013

  61. [61]

    On instantons as Kaluza-Klein modes of M5-branes,

    H.-C. Kim, S. Kim, E. Koh, K. Lee, and S. Lee, “On instantons as Kaluza-Klein modes of M5-branes,”Journal of High Energy Physics2011(Dec., 2011)

    2011

  62. [62]

    Five-dimensional gauge theories and relativistic integrable systems,

    N. Nekrasov, “Five-dimensional gauge theories and relativistic integrable systems,”Nuclear Physics B531(Oct., 1998) 323–344

    1998

  63. [63]

    Review of localization for 5d supersymmetric gauge theories,

    J. Qiu and M. Zabzine, “Review of localization for 5d supersymmetric gauge theories,”Journal of Physics A: Mathematical and Theoretical50(Oct., 2017) 443014

    2017

  64. [64]

    Topologically twisted indices in five dimensions and holography,

    S. M. Hosseini, I. Yaakov, and A. Zaffaroni, “Topologically twisted indices in five dimensions and holography,”JHEP11(2018) 119,1808.06626

    Pith/arXiv arXiv 2018

  65. [65]

    On a 5D UV completion of Argyres-Douglas theories,

    G. Bonelli, P. Gavrylenko, I. Majtara, and A. Tanzini, “On a 5D UV completion of Argyres-Douglas theories,”JHEP05(2026) 129,2508.05610

    Pith/arXiv arXiv 2026

  66. [66]

    Duality in topological quantum field theories,

    C. Lozano, “Duality in topological quantum field theories,”hep-th/9907123

    Pith/arXiv arXiv

  67. [67]

    Fukaya-Seidel category and gauge theory,

    A. Haydys, “Fukaya-Seidel category and gauge theory,”J. Symplectic Geom.13(2015), no. 1, 151–207,1010.2353

    Pith/arXiv arXiv 2015

  68. [68]

    Supersymmetry and Morse theory,

    E. Witten, “Supersymmetry and Morse theory,”J. Diff. Geom.17(1982), no. 4, 661–692

    1982

  69. [69]

    The calculus of many instantons,

    N. Dorey, T. J. Hollowood, V. V. Khoze, and M. P. Mattis, “The calculus of many instantons,” Physics Reports371(2002), no. 4-5, 231–459,hep-th/0206063

    Pith/arXiv arXiv 2002

  70. [70]

    Multi-instanton calculus and equivariant cohomology,

    U. Bruzzo, F. Fucito, J. F. Morales, and A. Tanzini, “Multi-instanton calculus and equivariant cohomology,”JHEP05(2003) 054,hep-th/0211108

    Pith/arXiv arXiv 2003

  71. [71]

    A comment on theχ y genus and supersymmetric quantum mechanics,

    T. J. Hollowood and T. Kingaby, “A comment on theχ y genus and supersymmetric quantum mechanics,”Physics Letters B566(July, 2003) 258–262

    2003

  72. [72]

    Supersymmetry and the Atiyah-Singer Index Theorem,

    L. Alvarez-Gaume, “Supersymmetry and the Atiyah-Singer Index Theorem,”Commun. Math. Phys.90(1983) 161

    1983

  73. [73]

    Vafa-Witten invariants from wall-crossing for framed sheaves,

    N. Arbesfeld, M. Kool, and T. Laarakker, “Vafa-Witten invariants from wall-crossing for framed sheaves,”2602.07898

    Pith/arXiv arXiv

  74. [74]

    Defects, nested instantons and comet-shaped quivers,

    G. Bonelli, N. Fasola, and A. Tanzini, “Defects, nested instantons and comet-shaped quivers,” Lett. Math. Phys.111(2021), no. 2, 34,1907.02771

    Pith/arXiv arXiv 2021

  75. [75]

    Flags of sheaves, quivers and symmetric polynomials,

    G. Bonelli, N. Fasola, and A. Tanzini, “Flags of sheaves, quivers and symmetric polynomials,” Forum Math. Sigma12(2024) e74,1911.12787

    Pith/arXiv arXiv 2024

  76. [76]

    Partition functions and fibering operators on the Coulomb branch of 5d SCFTs,

    C. Closset and H. Magureanu, “Partition functions and fibering operators on the Coulomb branch of 5d SCFTs,”JHEP01(2023) 035,2209.13564. – 84 –

    Pith/arXiv arXiv 2023

  77. [77]

    Recursion relations in CFT and N=2 SYM theory,

    R. Poghossian, “Recursion relations in CFT and N=2 SYM theory,”JHEP12(2009) 038, 0909.3412

    Pith/arXiv arXiv 2009

  78. [78]

    Recurrence relation for instanton partition function in SU(N) gauge theory,

    E. Sysoeva and A. Bykov, “Recurrence relation for instanton partition function in SU(N) gauge theory,”JHEP03(2023) 220,2209.14949

    Pith/arXiv arXiv 2023

  79. [79]

    Five-dimensional SU(2) AGT conjecture and recursive formula of deformed Gaiotto state,

    S. Yanagida, “Five-dimensional SU(2) AGT conjecture and recursive formula of deformed Gaiotto state,”J. Math. Phys.51(2010) 123506,1005.0216

    Pith/arXiv arXiv 2010

  80. [80]

    Instanton counting on blowup. I.,

    H. Nakajima and K. Yoshioka, “Instanton counting on blowup. I.,”Invent. Math.162(2005) 313–355,math/0306198

    Pith/arXiv arXiv 2005

Showing first 80 references.