Pith. sign in

REVIEW 6 minor 24 references

Blow-up equations that close on NS functions alone resum the singular instanton series of Heun solutions at resonance, producing finite band-edge Floquet solutions and their logarithmic companions.

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 · grok-4.5

2026-07-31 05:50 UTC pith:U4D6V4FF

load-bearing objection Solid technical extension of blow-up resummation to bulk-plus-defect NS functions for Heun; the analytic claims near resonance rest on labeled finite-order conjectures, but the derived machinery is real and usable.

arxiv 2607.24920 v1 pith:U4D6V4FF submitted 2026-07-27 hep-th math-phmath.MP

Split Heun functions via blown-up surface defects

Saebyeok Jeong , Tommaso Pedroni This is my paper
classification hep-th math-phmath.MP
keywords Heun equationNekrasov-Shatashvili limitorbifold surface defectsblow-up equationsFloquet solutionsresonant monodromyspectral gapsresummation
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.

In the Nekrasov–Shatashvili limit of SU(2) theories with fundamental matter, the Heun equation (and its confluences) admits Floquet solutions built from bulk and orbifold surface-defect partition functions. At resonant Coulomb values 2a/ℏ = n the two Floquet multipliers collide, the instanton series develop poles of rising order, and the naive expansions cannot be evaluated. The authors derive a new family of blow-up equations that involve only the NS functions, reorganize every tower of poles into functions of the correlated variables t^j/(j ± 2a/ℏ), and thereby obtain controlled square-root and logarithmic branches. The resummed accessory parameter and suitably normalized defect wavefunctions possess finite one-sided limits that are precisely the periodic or antiperiodic solutions sitting at the edges of spectral gaps; their logarithmic companions follow by reduction of order or by coalescence. Nested mass loci distinguish gap closure from the stronger condition that two independent resonant Floquet solutions survive, making the monodromy semisimple. The procedure is written for all Nf = (n0, n1) with ni ≤ 2 and worked out in detail for Nf = (1,1).

Core claim

New blow-up equations involving exclusively the NS functions W0, W1 and Ŵβ convert the singular instanton expansions into recursive algebraic equations for resummation functions. Solving those equations yields resummed bulk and defect quantities whose one-sided limits at every resonance 2a/ℏ = n are finite: they give the band-edge accessory parameters and the corresponding (anti)periodic Floquet solutions, from which the logarithmic companions and the nilpotent monodromy coefficient are constructed. Pole-cancellation patterns further identify nested mass loci D_bulk^(N) ⊃ D_defect^(N) that separately control gap closure and semisimplicity of the resonant monodromy.

What carries the argument

Blow-up equations that close on the NS functions alone (eq. 2.31). After the change of variables q = t² they become recursive algebraic constraints on resummation functions of the correlated variables x±_j = t^j/(j ± 2a/ℏ), thereby replacing infinite towers of Coulomb poles by controlled branch cuts.

Load-bearing premise

The closed-form leading defect resummation functions and the dual-period limit at resonance are verified only against finite-order instanton data, so the identification of the full semisimple locus with the small-t mass locus rests on that same finite-order evidence.

What would settle it

Compute higher-order resummation functions (larger j or k) for Nf = (1,1) or (2,2) and check whether the conjectured leading formulas and the dual-period limit exp(a_D) → 1 still hold; or specialize masses to a point of D_defect^(N) and verify linear independence of the two resonant wavefunctions to higher order in t.

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

If this is right

  • Resummed accessory parameters supply the edges of the spectral gaps of the periodic Heun problems and their confluences.
  • Logarithmic companions and the coefficient K give an explicit local representative of the nilpotent part of resonant A-cycle monodromy.
  • Nested mass loci separate gap closure (D_bulk) from survival of two independent resonant Floquet solutions (D_defect).
  • The same resummation, after hypermultiplet decoupling, covers all confluent Heun equations with ni ≤ 2.
  • When the dual-period conjecture holds, the a-derivative of a single resummed Floquet solution yields the logarithmic companion at resonance.

Where Pith is reading between the lines

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

  • The same blow-up-plus-resummation strategy should extend directly to the Lamé equation of the N = 2* theory and to five-dimensional difference equations once the corresponding defect blow-up equations are in hand.
  • The split eigenfunctions supply a preferred local frame that could regularize the isomonodromic tau function near non-semisimple monodromy strata.
  • Mass specializations that close infinitely many gaps of one parity while leaving the other open may produce quasi-periodic potentials that are not classical finite-gap potentials.

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

0 major / 6 minor

Summary. The paper studies the resonant loci 2a/ℏ∈Z of the Heun equation and its confluent limits as realized by the NS limit of SU(2) gauge theories with Nf=(n0,n1), n0,n1≤2. Starting from established k=0 and k=1 surface-defect blow-up equations, the authors derive NS-only equations, notably (2.25) and its decoupled form (2.31). These equations support a recursive resummation of the bulk and defect instanton expansions in the correlated variables x±j=tj/(j±2a/ℏ). The resummed functions are used to construct band-edge accessory parameters and Floquet solutions, their logarithmic companions, and local representatives of the nilpotent resonant A-cycle monodromy. The authors also formulate closed forms for the leading defect resummation functions and a dual-period conjecture, and analyze nested bulk and defect mass loci controlling gap closure and semisimplicity. The Nf=(1,1) case is worked out explicitly in Section 3.4 and Appendix B.

Significance. If the stated conjectures continue to hold, this is a substantial technical advance: it gives the first systematic simultaneous resummation of bulk and surface-defect NS functions for these theories and converts inaccessible resonant limits into a concrete recursive procedure. Particular strengths are the new NS-only blow-up equations (2.25) and (2.31), the explicit solution of the Nf=(1,1) system in Appendix B, and the explicit formulas for band-edge parameters, resonant wavefunctions, logarithmic companions, and K^(n)±. The proposed leading resummation functions (3.34)–(3.35) and dual-period property (3.73) are sharply formulated and falsifiable, with checks reported through high finite instanton order and several resonance levels. The finite-order nature of those checks is a limitation, but it is openly stated; Section 3.3 likewise restricts the semisimple-locus identification to the small-t expansion. The lack of an independent Floquet numerical test therefore affects the strength of the evidence, not the internal coherence of the results.

minor comments (6)
  1. [2.2] §2.2, Eqs. (2.23)–(2.25): please spell out the precise order of limits used in setting ε1=ε2=ℏ and the assumptions under which the ℏ-expansion is interchanged with the infinite n-sums. The procedure is standard in the cited blow-up literature and is supported by the later checks, but a short statement would remove ambiguity about the exact status of the new NS equation.
  2. [3.1] §3.1 and footnote 2: the symbol x is used both for the original Heun coordinate and for the final argument of the resummation functions. The footnote explains the convention, but using a distinct symbol such as ξ for the resummation variable from Eq. (3.30) onward would make the long Appendix-B calculations easier to follow.
  3. [3.2.1] Eqs. (3.34)–(3.35) and (3.38)–(3.39): the assignment of the ± lateral limits depends on the branches of the square roots and logarithms. Please specify the real slice and branch conventions explicitly enough that the signs in the band-edge wavefunctions, for example Eq. (3.41), are reproducible without consulting Appendix B.
  4. [3.1] Eq. (3.14): the odd-n prescription uses the argument (n+1)/2−κ rather than n/2+κ. A brief explanation of this asymmetry, or a reference to the corresponding convention in the bulk analysis, would be helpful.
  5. [3.2.2] Eq. (3.68): the single-derivative construction would benefit from a concise statement of the allowed class of prefactors B(a,m;t), particularly the requirement that B introduce neither a zero nor a pole at the resonant point and that both Bϕ0 and B∂aϕ0 have finite lateral limits.
  6. [Presentation] The sentence after Eq. (2.19), “By the monodromies of its solutions, the monodromy surface defect partition functions provide solutions…,” appears to contain a wording error. Equation (3.46) also ends with a stray comma. Appendix B would benefit from a final alignment/typographical pass, especially around Eqs. (B.12)–(B.15).

Circularity Check

1 steps flagged

No load-bearing circularity: resonant limits and split eigenfunctions are obtained by solving NS blow-up equations under a regularity ansatz; conjectures are labeled and checked, not defined into the claims.

specific steps
  1. self citation load bearing [Section 3.1, eqs. (3.9a)–(3.9b) and surrounding text]
    "The general structure that seems to emerge for the resummation functions is the following [12]: g_{1,j}(m,x)=−(1/x)(log[1/2+1/2√(1+4w_j x²/ζ_j²)]+1−√(1+4w_j x²/ζ_j²)), g_{k≥2,j}(m,x)=(1/x^{2k−1})[(1+4w_j x²/ζ_j²)^{5/2−k} Q_{k,j}+P_{k,j}]"

    The bulk resummation function shape used as input when solving for defect h̃ functions is taken from [12] (overlapping author Pedroni). This is methodological self-citation of prior bulk technology, not a loop that defines the paper’s defect resonant limits or D_defect loci in terms of themselves; those are fixed by the new NS blow-up equations plus regularity. Minor and not load-bearing for the strongest claim.

full rationale

The central chain is: known surface-defect blow-up equations (argued in [15], proved externally via CFT/AGT in [22]) are specialized to ε1=ε2=ℏ to produce NS-only equations (2.25)/(2.31); a pole-motivated resummation ansatz is inserted; the equations plus regularity at x=0 recursively fix the defect resummation functions; large-x limits then give finite band-edge accessory parameters and Floquet solutions. That is a genuine derivation from constraints, not a self-definition. Closed forms (3.34)–(3.35) and the dual-period relation (3.73) are explicitly conjectural and tested against finite-order instanton data, not smuggled as theorems that force the output. Bulk g/f structure is imported from overlapping-author work [12], which is ordinary methodological self-citation and is not what produces the new defect results or the nested mass loci. Finite-order evidence and interchange of NS expansion with n-sums are correctness/strength issues, not circular reductions of prediction to input. Score 1 only for that minor non-load-bearing self-citation of bulk technology.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The paper rests on standard Nekrasov instanton calculus, the existence and form of surface-defect blow-up equations (taken from the literature), the NS limit, and the identification of defect partition functions with Floquet solutions of the Heun oper. No numerical free parameters are fitted. Two genuine conjectures (closed-form leading defect resummation functions and the dual-period limit) are clearly flagged and tested only to finite order; they function as working hypotheses rather than fitted constants.

axioms (5)
  • domain assumption Surface-defect partition functions satisfy the blow-up equations (2.21)–(2.22) (and their decoupled versions), previously established via CFT/AGT methods.
    Invoked at the start of §2.2 as the starting point from which the exclusively-NS equations are derived by taking ε1=ε2=ℏ.
  • domain assumption In the NS limit the normalized defect partition functions solve the Heun equation (or its confluences) with accessory parameter given by the quantum Matone relation.
    Standard in the oper/NS literature; used throughout §2.1 and §3 to interpret the resummed objects as Floquet solutions.
  • ad hoc to paper The leading defect resummation functions admit the closed forms (3.34)–(3.35) for arbitrary resonance level j.
    Conjectured from low-j computations and checked against the instanton series through t^10; not derived from a general principle.
  • ad hoc to paper The resummed dual quantum period satisfies lim exp(a_D)=1 at every resonant point (3.73).
    Conjectured and tested on a finite set of resummation functions; used to justify the single-derivative construction of logarithmic companions.
  • ad hoc to paper Within the small-t expansion the semisimple locus of resonant A-cycle monodromy coincides with D_defect^(N).
    Inferred from pole-cancellation patterns and leading resummation functions in §3.3; full t-dependent locus left open.

pith-pipeline@v1.2.0-grok45-kimik3 · 43501 in / 3171 out tokens · 50525 ms · 2026-07-31T05:50:31.912768+00:00 · methodology

0 comments
read the original abstract

We study resonant solutions of the Heun equation and its confluent limits that arise in the Nekrasov--Shatashvili (NS) limit of four-dimensional $\mathcal{N}=2$ $\mathrm{SU}(2)$ gauge theories with fundamental hypermultiplets. At the resonant loci $2a/\hbar\in\mathbb{Z}$ in the Coulomb branch parameter $a$, the Floquet multipliers coalesce and the instanton expansions of the bulk and surface defect NS functions develop poles of increasing order. We derive blow-up equations involving exclusively NS functions and use them to resum these singular expansions. The resulting resummed bulk and surface defect NS functions reveal the analytic structure of the gauge-theoretic solutions near the resonant loci, including the branch structure of the accessory parameter and of the Floquet solutions that is obscured by the term-by-term instanton expansion. At resonance, the resummed accessory parameters and suitably normalized defect wavefunctions admit finite limits that describe periodic or antiperiodic solutions at the edges of spectral gaps and allow us to construct their logarithmic companions. We then identify distinct nested mass loci governing gap closure and semisimple resonant monodromy. On the larger locus the band-edge accessory parameters coalesce, while on the smaller locus two independent resonant (anti)periodic Floquet solutions survive. We develop the general resummation procedure for $N_f=(n_0,n_1)$ theories with $n_i\leq 2$ $(i=0,1)$, and demonstrate it explicitly for the $N_f=(1,1)$ theory.

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

24 extracted references · 22 linked inside Pith

  1. [1]

    Gaiotto,N=2 dualities,JHEP08(2012) 034 [0904.2715]

    D. Gaiotto,N=2 dualities,JHEP08(2012) 034 [0904.2715]

    Pith/arXiv arXiv 2012

  2. [2]

    Nekrasov,Seiberg-Witten prepotential from instanton counting,Adv

    N.A. Nekrasov,Seiberg-Witten prepotential from instanton counting,Adv. Theor. Math. Phys.7(2003) 831 [hep-th/0206161]

    Pith/arXiv arXiv 2003

  3. [3]

    Nekrasov and S.L

    N.A. Nekrasov and S.L. Shatashvili,Quantization of Integrable Systems and Four Dimensional Gauge Theories, in16th International Congress on Mathematical Physics, pp. 265–289, 2010, DOI [0908.4052]

    Pith/arXiv arXiv 2010

  4. [4]

    Seiberg and E

    N. Seiberg and E. Witten,Electric - magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory,Nucl. Phys. B426(1994) 19 [hep-th/9407087]

    Pith/arXiv arXiv 1994

  5. [5]

    Beilinson and Y

    A. Beilinson and Y. Drinfeld,Quantization of Hitchin’s Integrable System and Hecke Eigensheaves,

  6. [6]

    Nekrasov, A

    N. Nekrasov, A. Rosly and S. Shatashvili,Darboux coordinates, Yang-Yang functional, and gauge theory,Nucl. Phys. B Proc. Suppl.216(2011) 69 [1103.3919]

    Pith/arXiv arXiv 2011

  7. [7]

    Jeong and N

    S. Jeong and N. Nekrasov,Opers, surface defects, and Yang-Yang functional,Adv. Theor. Math. Phys.24(2020) 1789 [1806.08270]

    Pith/arXiv arXiv 2020

  8. [8]

    Kanno and Y

    H. Kanno and Y. Tachikawa,Instanton counting with a surface operator and the chain-saw quiver,JHEP06(2011) 119 [1105.0357]

    Pith/arXiv arXiv 2011

  9. [9]

    Beccaria,On the largeΩ-deformations in the Nekrasov-Shatashvili limit ofN= 2 ∗ SYM, JHEP07(2016) 055 [1605.00077]

    M. Beccaria,On the largeΩ-deformations in the Nekrasov-Shatashvili limit ofN= 2 ∗ SYM, JHEP07(2016) 055 [1605.00077]

    Pith/arXiv arXiv 2016

  10. [10]

    Jeong,Splitting of surface defect partition functions and integrable systems,Nucl

    S. Jeong,Splitting of surface defect partition functions and integrable systems,Nucl. Phys. B 938(2019) 775 [1709.04926]

    Pith/arXiv arXiv 2019

  11. [11]

    Gorsky, A

    A. Gorsky, A. Milekhin and N. Sopenko,Bands and gaps in Nekrasov partition function, JHEP01(2018) 133 [1712.02936]

    Pith/arXiv arXiv 2018

  12. [12]

    Bonelli, P

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

    Pith/arXiv arXiv

  13. [13]

    Flume, F

    R. Flume, F. Fucito, J.F. Morales and R. Poghossian,Matone’s relation in the presence of gravitational couplings,JHEP04(2004) 008 [hep-th/0403057]

    Pith/arXiv arXiv 2004

  14. [14]

    Nakajima and K

    H. Nakajima and K. Yoshioka,Instanton counting on blowup. 1.,Invent. Math.162(2005) 313 [math/0306198]

    Pith/arXiv arXiv 2005

  15. [15]

    Jeong and N

    S. Jeong and N. Nekrasov,Riemann-Hilbert correspondence and blown up surface defects, JHEP12(2020) 006 [2007.03660]

    Pith/arXiv arXiv 2020

  16. [16]

    Nekrasov,Blowups in BPS/CFT Correspondence, and Painlevé VI,Annales Henri Poincare25(2024) 1123 [2007.03646]

    N. Nekrasov,Blowups in BPS/CFT Correspondence, and Painlevé VI,Annales Henri Poincare25(2024) 1123 [2007.03646]

    Pith/arXiv arXiv 2024

  17. [17]

    Gaiotto,Surface Operators in N = 2 4d Gauge Theories,JHEP11(2012) 090 [0911.1316]

    D. Gaiotto,Surface Operators in N = 2 4d Gauge Theories,JHEP11(2012) 090 [0911.1316]

    Pith/arXiv arXiv 2012

  18. [18]

    Gaiotto, S

    D. Gaiotto, S. Gukov and N. Seiberg,Surface Defects and Resolvents,JHEP09(2013) 070 [1307.2578]

    Pith/arXiv arXiv 2013

  19. [19]

    Nekrasov,BPS/CFT correspondence IV: sigma models and defects in gauge theory,Lett

    N. Nekrasov,BPS/CFT correspondence IV: sigma models and defects in gauge theory,Lett. Math. Phys.109(2019) 579 [1711.11011]. – 43 –

    Pith/arXiv arXiv 2019

  20. [20]

    Alday, D

    L.F. Alday, D. Gaiotto and Y. Tachikawa,Liouville Correlation Functions from Four-dimensional Gauge Theories,Lett. Math. Phys.91(2010) 167 [0906.3219]

    Pith/arXiv arXiv 2010

  21. [21]

    Alday, D

    L.F. Alday, D. Gaiotto, S. Gukov, Y. Tachikawa and H. Verlinde,Loop and surface operators in N=2 gauge theory and Liouville modular geometry,JHEP01(2010) 113 [0909.0945]

    Pith/arXiv arXiv 2010

  22. [22]

    Bershtein, B

    M. Bershtein, B. Feigin and A. Trufanov,Highest-Weight Vectors and Three-Point Functions in GKO Coset Decomposition,Commun. Math. Phys.406(2025) 142 [2404.14350]

    Pith/arXiv arXiv 2025

  23. [23]

    H.-C. Kim, M. Kim and S.-S. Kim,5d/6d Wilson loops from blowups,JHEP08(2021) 131 [2106.04731]

    Pith/arXiv arXiv 2021

  24. [24]

    H.-C. Kim, M. Kim, S.-S. Kim, K. Lee and X. Wang,Probing quantum curves and transitions in 5d SQFTs via defects and blowup equations,JHEP12(2025) 080 [2503.15591]. – 44 –

    arXiv 2025