pith. machine review for the scientific record.
sign in

arxiv: 2509.25976 · v2 · submitted 2025-09-30 · ✦ hep-th

Hyperfunctions in A-model Localization

Pith reviewed 2026-05-18 12:22 UTC · model grok-4.3

classification ✦ hep-th
keywords A-twisted supersymmetrylocalizationhyperfunctionsgauged linear sigma modelJeffrey-Kirwan residueS^2N=(2,2) supersymmetrydistributional integrals
0
0 comments X

The pith

A-twisted supersymmetric theories on S² admit exact abelian observables as real-line distributional integrals.

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

This paper applies localization to topologically A-twisted N=(2,2) supersymmetric theories of vector and chiral multiplets on the two-sphere. It arrives at a new exact expression for the abelian observables in the form of an integral of a distribution along the real line. The formula is checked by evaluating the correlator of the A-twisted CP^{N-1} gauged linear sigma model, which reproduces the standard selection rule. Hyperfunctions are then used to prove that the real-line distributional description is equivalent to the usual complex contour integral and agrees with the Jeffrey-Kirwan residue prescription.

Core claim

We apply localization techniques to topologically A-twisted N=(2,2) supersymmetric theories of vector and chiral multiplets on S² and derive a novel exact formula for abelian observables, described by a distribution integrated along the real line. The distributional integral formula is verified by evaluating the correlator of the A-twisted CP^{N-1} gauged linear sigma model and confirming the standard selection rule. Finally, we use hyperfunctions to demonstrate the equivalence between the distributional and complex contour integral descriptions of the CP^{N-1} correlator, and find agreement with the Jeffrey-Kirwan residue prescription.

What carries the argument

The distributional integral along the real line for abelian observables, with hyperfunctions establishing its equivalence to complex contour integrals.

If this is right

  • Abelian observables in A-twisted theories on S² can be computed exactly via the real-line integral without explicit summation of non-perturbative contributions.
  • The CP^{N-1} gauged linear sigma model correlator satisfies the expected topological selection rule under the distributional formula.
  • The real-line distributional description is equivalent to complex contour integrals and to the Jeffrey-Kirwan residue prescription.
  • Computations of observables can switch between real-line and contour methods while preserving the same result.

Where Pith is reading between the lines

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

  • The real-line formulation may extend to other A-twisted models or geometries where contour integrals become difficult to define or evaluate.
  • Hyperfunctions could serve as a tool for relating distributional and contour descriptions in broader classes of supersymmetric localizations.
  • Numerical integration along the real line might offer practical advantages for evaluating correlators at large N in gauged linear sigma models.

Load-bearing premise

The standard localization procedure for A-twisted theories on S² produces a well-defined distributional integral without additional non-perturbative corrections or boundary terms that would alter the real-line representation.

What would settle it

An independent computation of the CP^{N-1} correlator that violates the standard selection rule or fails to match the real-line distributional integral would disprove the exact formula.

read the original abstract

We apply localization techniques to topologically $A$-twisted $\mathcal{N}=(2,2)$ supersymmetric theories of vector and chiral multiplets on $S^{2}$ and derive a novel exact formula for abelian observables, described by a distribution integrated along the real line. The distributional integral formula is verified by evaluating the correlator of the $A$-twisted $\mathbb{CP}^{N-1}$ gauged linear sigma model and confirming the standard selection rule. Finally, we use hyperfunctions to demonstrate the equivalence between the distributional and complex contour integral descriptions of the $\mathbb{CP}^{N-1}$ correlator, and find agreement with the Jeffrey-Kirwan residue prescription.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript applies localization techniques to topologically A-twisted N=(2,2) supersymmetric theories of vector and chiral multiplets on S² and derives a novel exact formula for abelian observables expressed as a distributional integral along the real line. The formula is verified by explicit evaluation of the correlator in the A-twisted CP^{N-1} gauged linear sigma model, which confirms the standard selection rule. Hyperfunctions are then used to establish equivalence between the distributional real-line integral and the complex contour integral descriptions of the CP^{N-1} correlator, with agreement to the Jeffrey-Kirwan residue prescription.

Significance. If the derivation is free of unaccounted corrections, the result would supply a new real-line distributional representation for observables in A-model localization on S². This could simplify certain computations in abelian theories and clarify relations among integral prescriptions. The explicit check against the CP^{N-1} selection rule and the hyperfunction-based equivalence to the JK prescription are concrete strengths that lend support to the central claim.

major comments (2)
  1. [Localization derivation (Section 3)] The reduction of the A-twisted localization on compact S² to a distributional integral ∫_{-∞}^∞ … dx is the load-bearing step for the novel formula. The manuscript must explicitly demonstrate that boundary terms at infinity in the non-compact Coulomb directions and any surface contributions from the topological twist or chiral zero modes vanish identically; otherwise the real-line representation is altered. The verification via the CP^{N-1} selection rule alone does not test this absence of corrections.
  2. [Hyperfunction equivalence (Section 5)] The hyperfunction equivalence between the distributional and complex-contour descriptions is presented as an independent demonstration. It would strengthen the paper to clarify whether this equivalence relies on the same contour or zero-mode assumptions used in the localization step, or whether it holds more generally.
minor comments (1)
  1. [Notation and definitions] Notation for the distributional integral and the precise definition of the hyperfunction space could be made more explicit for readers unfamiliar with the formalism.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. These have prompted us to strengthen the presentation of the localization derivation and to clarify the scope of the hyperfunction equivalence. Below we respond point by point, indicating the revisions that will appear in the next version.

read point-by-point responses
  1. Referee: [Localization derivation (Section 3)] The reduction of the A-twisted localization on compact S² to a distributional integral ∫_{-∞}^∞ … dx is the load-bearing step for the novel formula. The manuscript must explicitly demonstrate that boundary terms at infinity in the non-compact Coulomb directions and any surface contributions from the topological twist or chiral zero modes vanish identically; otherwise the real-line representation is altered. The verification via the CP^{N-1} selection rule alone does not test this absence of corrections.

    Authors: We agree that an explicit demonstration of the vanishing of boundary terms at infinity and of possible surface contributions is required for a fully rigorous derivation. The original manuscript relied on the standard localization argument that the non-compact Coulomb directions are controlled by the positive-definite bosonic action, which produces exponential decay, together with the topological nature of the A-twist that eliminates chiral zero-mode surface terms. However, we acknowledge that this reasoning was not written out in sufficient detail. In the revised version we will insert a dedicated paragraph (and, if space permits, a short appendix) that explicitly evaluates the boundary contributions at |σ|→∞ and shows they vanish identically for the class of abelian observables under consideration. The CP^{N-1} check will remain as an independent consistency test rather than the sole justification. revision: yes

  2. Referee: [Hyperfunction equivalence (Section 5)] The hyperfunction equivalence between the distributional and complex-contour descriptions is presented as an independent demonstration. It would strengthen the paper to clarify whether this equivalence relies on the same contour or zero-mode assumptions used in the localization step, or whether it holds more generally.

    Authors: The hyperfunction identity used in Section 5 is a general statement about the relation between a distributional integral along the real line and a suitable contour integral for meromorphic functions of the type that appear in the abelian correlators. It does not invoke the specific zero-mode counting or contour choices that arise from the S² localization; those enter only when one identifies the integrand itself. We will add a clarifying sentence at the beginning of Section 5 stating that the equivalence is an analytic fact that holds for the relevant class of functions independently of the localization assumptions, thereby making the cross-check between the real-line and Jeffrey-Kirwan prescriptions more robust. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation uses external benchmarks and independent mathematical tools

full rationale

The paper derives the distributional integral formula via standard A-twisted localization on S², verifies the result by direct evaluation against the known selection rule in the CP^{N-1} GLSM, and separately invokes hyperfunctions to establish equivalence with the complex contour integral and JK residue. These steps reference established external results and mathematical structures rather than defining any quantity in terms of the target output or reducing a central claim to a self-citation or fitted input by construction. The derivation chain remains self-contained against external benchmarks with no load-bearing reductions identified.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, axioms, or invented entities; the central claim rests on standard localization assumptions and the mathematical framework of hyperfunctions, both of which are treated as background.

pith-pipeline@v0.9.0 · 5631 in / 1249 out tokens · 28010 ms · 2026-05-18T12:22:41.958069+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. Localisation of $\mathcal{N} = (2,2)$ theories on spindles of both twists

    hep-th 2026-04 unverdicted novelty 6.0

    A general formula is derived for the exact partition function of abelian vector and charged chiral multiplets on both twisted and anti-twisted spindles.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages · cited by 1 Pith paper · 34 internal anchors

  1. [1]

    Pestun, M

    V. Pestun, M. Zabzine, F. Benini, T. Dimofte, T.T. Dumitrescu, K. Hosomichi et al., Localization techniques in quantum field theories,Journal of Physics A: Mathematical and Theoretical50(2017) 440301

  2. [2]

    A topologically twisted index for three-dimensional supersymmetric theories

    F. Benini and A. Zaffaroni,A topologically twisted index for three-dimensional supersymmetric theories,JHEP07(2015) 127 [1504.03698]

  3. [3]

    The equivariant A-twist and gauged linear sigma models on the two-sphere

    C. Closset, S. Cremonesi and D.S. Park,The equivariant A-twist and gauged linear sigma models on the two-sphere,JHEP06(2015) 076 [1504.06308]

  4. [4]

    Phases of $N=2$ Theories In Two Dimensions

    E. Witten,Phases of N=2 theories in two-dimensions,Nucl. Phys. B403(1993) 159 [hep-th/9301042]

  5. [5]

    Summing the Instantons: Quantum Cohomology and Mirror Symmetry in Toric Varieties

    D.R. Morrison and M.R. Plesser,Summing the instantons: Quantum cohomology and mirror symmetry in toric varieties,Nucl. Phys. B440(1995) 279 [hep-th/9412236]

  6. [6]

    Algebra of the Infrared: String Field Theoretic Structures in Massive ${\cal N}=(2,2)$ Field Theory In Two Dimensions

    D. Gaiotto, G.W. Moore and E. Witten,Algebra of the Infrared: String Field Theoretic Structures in MassiveN= (2,2)Field Theory In Two Dimensions,1506.04087

  7. [7]

    Bonelli, A

    G. Bonelli, A. Sciarappa, A. Tanzini and P. Vasko,Vortex partition functions, wall crossing and equivariant Gromov-Witten invariants,Commun. Math. Phys.333(2015) 717 [1307.5997]

  8. [8]

    Aspects of Non-Abelian Gauge Dynamics in Two-Dimensional N=(2,2) Theories

    K. Hori and D. Tong,Aspects of Non-Abelian Gauge Dynamics in Two-Dimensional N=(2,2) Theories,JHEP05(2007) 079 [hep-th/0609032]

  9. [9]

    A-twisted correlators and Hori dualities

    C. Closset, N. Mekareeya and D.S. Park,A-twisted correlators and Hori dualities,JHEP08 (2017) 101 [1705.04137]

  10. [10]

    Z. Chen, J. Guo and M. Romo,A GLSM View on Homological Projective Duality,Commun. Math. Phys.394(2022) 355 [2012.14109]

  11. [11]

    Two-Sphere Partition Functions and Gromov-Witten Invariants

    H. Jockers, V. Kumar, J.M. Lapan, D.R. Morrison and M. Romo,Two-Sphere Partition Functions and Gromov-Witten Invariants,Commun. Math. Phys.325(2014) 1139 [1208.6244]

  12. [12]

    Exact Kahler Potential from Gauge Theory and Mirror Symmetry

    J. Gomis and S. Lee,Exact Kahler Potential from Gauge Theory and Mirror Symmetry, JHEP04(2013) 019 [1210.6022]

  13. [13]

    Elliptic genera of two-dimensional N=2 gauge theories with rank-one gauge groups

    F. Benini, R. Eager, K. Hori and Y. Tachikawa,Elliptic genera of two-dimensional N=2 gauge theories with rank-one gauge groups,Lett. Math. Phys.104(2014) 465 [1305.0533]

  14. [14]

    2d Index and Surface operators

    A. Gadde and S. Gukov,2d Index and Surface operators,JHEP03(2014) 080 [1305.0266]

  15. [15]

    Perturbative Corrections to Kahler Moduli Spaces

    J. Halverson, H. Jockers, J.M. Lapan and D.R. Morrison,Perturbative Corrections to Kaehler Moduli Spaces,Commun. Math. Phys.333(2015) 1563 [1308.2157]

  16. [16]

    Mirror Symmetry

    K. Hori and C. Vafa,Mirror symmetry,hep-th/0002222

  17. [17]

    Partition functions of N=(2,2) gauge theories on S^2 and vortices

    F. Benini and S. Cremonesi,Partition Functions ofN= (2,2)Gauge Theories on S 2 and Vortices,Commun. Math. Phys.334(2015) 1483 [1206.2356]

  18. [18]

    Exact Results in D=2 Supersymmetric Gauge Theories

    N. Doroud, J. Gomis, B. Le Floch and S. Lee,Exact Results in D=2 Supersymmetric Gauge Theories,JHEP05(2013) 093 [1206.2606]

  19. [19]

    Elliptic genera of 2d N=2 gauge theories

    F. Benini, R. Eager, K. Hori and Y. Tachikawa,Elliptic Genera of 2dN= 2 Gauge Theories,Commun. Math. Phys.333(2015) 1241 [1308.4896]. – 31 –

  20. [20]

    Exact Results In Two-Dimensional (2,2) Supersymmetric Gauge Theories With Boundary

    K. Hori and M. Romo,Exact Results In Two-Dimensional (2,2) Supersymmetric Gauge Theories With Boundary,1308.2438

  21. [21]

    Exact results for boundaries and domain walls in 2d supersymmetric theories

    D. Honda and T. Okuda,Exact results for boundaries and domain walls in 2d supersymmetric theories,JHEP09(2015) 140 [1308.2217]

  22. [22]

    Leeb-Lundberg,Unstable instantons in A-model localization,JHEP09(2024) 190 [2312.11347]

    E.H. Leeb-Lundberg,Unstable instantons in A-model localization,JHEP09(2024) 190 [2312.11347]

  23. [23]

    Supersymmetric partition functions on Riemann surfaces

    F. Benini and A. Zaffaroni,Supersymmetric partition functions on Riemann surfaces,Proc. Symp. Pure Math.96(2017) 13 [1605.06120]

  24. [24]

    Ohta and N

    K. Ohta and N. Sakai,Higgs and Coulomb Branch Descriptions of the Volume of the Vortex Moduli Space,PTEP2019(2019) 043B01 [1811.03824]

  25. [25]

    Localization of gauge theory on a four-sphere and supersymmetric Wilson loops

    V. Pestun,Localization of gauge theory on a four-sphere and supersymmetric Wilson loops, Commun. Math. Phys.313(2012) 71 [0712.2824]

  26. [26]

    Two Dimensional Gauge Theories Revisited

    E. Witten,Two-dimensional gauge theories revisited,J. Geom. Phys.9(1992) 303 [hep-th/9204083]

  27. [27]

    Griguolo, R

    L. Griguolo, R. Panerai, J. Papalini, D. Seminara and I. Yaakov,Localization and resummation of unstable instantons in 2d Yang-Mills,JHEP06(2024) 188 [2403.00053]

  28. [28]

    K. Hori, S. Katz, A. Klemm, R. Pandharipande, R. Thomas, C. Vafa et al.,Mirror symmetry, vol. 1 ofClay mathematics monographs, AMS, Providence, USA (2003)

  29. [29]

    Topological Field Theory and Rational Curves

    P.S. Aspinwall and D.R. Morrison,Topological field theory and rational curves,Commun. Math. Phys.151(1993) 245 [hep-th/9110048]

  30. [30]

    An elliptic Virasoro symmetry in 6d

    F. Nieri,An elliptic Virasoro symmetry in 6d,Lett. Math. Phys.107(2017) 2147 [1511.00574]

  31. [31]

    Mracek and L.C

    J.A. Mracek and L.C. Jeffrey,Hyperfunctions, the duistermaat-heckman theorem, and loop groups, 2017

  32. [32]

    Supersymmetric localization in two dimensions

    F. Benini and B. Le Floch,Supersymmetric localization in two dimensions,J. Phys. A50 (2017) 443003 [1608.02955]

  33. [33]

    Witten,Topological Sigma Models,Commun

    E. Witten,Topological Sigma Models,Commun. Math. Phys.118(1988) 411

  34. [34]

    Comments on N=(2,2) Supersymmetry on Two-Manifolds

    C. Closset and S. Cremonesi,Comments onN= (2, 2) supersymmetry on two-manifolds, JHEP07(2014) 075 [1404.2636]

  35. [35]

    The Verlinde Algebra And The Cohomology Of The Grassmannian

    E. Witten,The Verlinde algebra and the cohomology of the Grassmannian,hep-th/9312104

  36. [36]

    Atiyah and R

    M.F. Atiyah and R. Bott,The Yang-Mills equations over Riemann surfaces,Phil. Trans. Roy. Soc. Lond. A308(1982) 523

  37. [37]

    Goddard, J

    P. Goddard, J. Nuyts and D. Olive,Gauge theories and magnetic charge,Nuclear Physics B 125(1977) 1

  38. [38]

    Deligne, P

    P. Deligne, P. Etingof, D.S. Freed, L.C. Jeffrey, D. Kazhdan, J.W. Morgan et al., eds., Quantum fields and strings: A course for mathematicians. Vol. 1, 2(1999)

  39. [39]

    Witten,Quantum Field Theory and the Jones Polynomial,Commun

    E. Witten,Quantum Field Theory and the Jones Polynomial,Commun. Math. Phys.121 (1989) 351

  40. [40]

    Atiyah, V.K

    M.F. Atiyah, V.K. Patodi and I.M. Singer,Spectral asymmetry and Riemannian Geometry 1, Math. Proc. Cambridge Phil. Soc.77(1975) 43. – 32 –

  41. [41]

    Graf,Introduction to Hyperfunctions and Their Integral Transforms: An Applied and Computational Approach, Birkh¨ auser Basel (2010), 10.1007/978-3-0346-0408-6

    U. Graf,Introduction to Hyperfunctions and Their Integral Transforms: An Applied and Computational Approach, Birkh¨ auser Basel (2010), 10.1007/978-3-0346-0408-6

  42. [42]

    Imai,Applied Hyperfunction Theory, vol

    I. Imai,Applied Hyperfunction Theory, vol. 8 ofMathematics and its Applications, Springer Dordrecht (1992), 10.1007/978-94-011-2548-2

  43. [43]

    Jeffrey and F.C

    L.C. Jeffrey and F.C. Kirwan,Localization for nonabelian group actions,

  44. [44]

    An Index Formula for Supersymmetric Quantum Mechanics

    C. Cordova and S.-H. Shao,An Index Formula for Supersymmetric Quantum Mechanics,J. Singul.15(2016) 14 [1406.7853]

  45. [45]

    Localization of twisted $\mathcal{N}{=}(0,2)$ gauged linear sigma models in two dimensions

    C. Closset, W. Gu, B. Jia and E. Sharpe,Localization of twistedN= (0,2)gauged linear sigma models in two dimensions,JHEP03(2016) 070 [1512.08058]

  46. [46]

    $\mathcal{N}{=}1$ supersymmetric indices and the four-dimensional A-model

    C. Closset, H. Kim and B. Willett,N= 1 supersymmetric indices and the four-dimensional A-model,JHEP08(2017) 090 [1707.05774]

  47. [47]

    Supersymmetric partition functions and the three-dimensional A-twist

    C. Closset, H. Kim and B. Willett,Supersymmetric partition functions and the three-dimensional A-twist,JHEP03(2017) 074 [1701.03171]

  48. [48]

    Closset and H

    C. Closset and H. Kim,Three-dimensionalN= 2supersymmetric gauge theories and partition functions on Seifert manifolds: A review,Int. J. Mod. Phys. A34(2019) 1930011 [1908.08875]

  49. [49]

    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]

  50. [50]

    K. Hori, H. Kim and P. Yi,Witten Index and Wall Crossing,JHEP01(2015) 124 [1407.2567]

  51. [51]

    Exact results for ${\cal N}=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]

  52. [52]

    Bethe/Gauge correspondence on curved spaces

    N.A. Nekrasov and S.L. Shatashvili,Bethe/Gauge correspondence on curved spaces,JHEP 01(2015) 100 [1405.6046]. – 33 –