Hyperfunctions in A-model Localization
Pith reviewed 2026-05-18 12:22 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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.
- [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)
- [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
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
-
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
-
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
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
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We apply localization techniques to topologically A-twisted N=(2,2) supersymmetric theories ... derive a novel exact formula for abelian observables, described by a distribution integrated along the real line.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
hyperfunctions to demonstrate the equivalence between the distributional and complex contour integral descriptions
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
-
Localisation of $\mathcal{N} = (2,2)$ theories on spindles of both twists
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
- [1]
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[6]
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
work page internal anchor Pith review Pith/arXiv arXiv
-
[7]
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]
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]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2017
- [10]
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[14]
2d Index and Surface operators
A. Gadde and S. Gukov,2d Index and Surface operators,JHEP03(2014) 080 [1305.0266]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[16]
K. Hori and C. Vafa,Mirror symmetry,hep-th/0002222
work page internal anchor Pith review Pith/arXiv arXiv
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[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 –
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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
work page internal anchor Pith review Pith/arXiv arXiv
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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]
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]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[24]
K. Ohta and N. Sakai,Higgs and Coulomb Branch Descriptions of the Volume of the Vortex Moduli Space,PTEP2019(2019) 043B01 [1811.03824]
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[26]
Two Dimensional Gauge Theories Revisited
E. Witten,Two-dimensional gauge theories revisited,J. Geom. Phys.9(1992) 303 [hep-th/9204083]
work page internal anchor Pith review Pith/arXiv arXiv 1992
-
[27]
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]
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)
work page 2003
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[30]
An elliptic Virasoro symmetry in 6d
F. Nieri,An elliptic Virasoro symmetry in 6d,Lett. Math. Phys.107(2017) 2147 [1511.00574]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[31]
J.A. Mracek and L.C. Jeffrey,Hyperfunctions, the duistermaat-heckman theorem, and loop groups, 2017
work page 2017
-
[32]
Supersymmetric localization in two dimensions
F. Benini and B. Le Floch,Supersymmetric localization in two dimensions,J. Phys. A50 (2017) 443003 [1608.02955]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[33]
Witten,Topological Sigma Models,Commun
E. Witten,Topological Sigma Models,Commun. Math. Phys.118(1988) 411
work page 1988
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[35]
The Verlinde Algebra And The Cohomology Of The Grassmannian
E. Witten,The Verlinde algebra and the cohomology of the Grassmannian,hep-th/9312104
work page internal anchor Pith review Pith/arXiv arXiv
-
[36]
M.F. Atiyah and R. Bott,The Yang-Mills equations over Riemann surfaces,Phil. Trans. Roy. Soc. Lond. A308(1982) 523
work page 1982
-
[37]
P. Goddard, J. Nuyts and D. Olive,Gauge theories and magnetic charge,Nuclear Physics B 125(1977) 1
work page 1977
-
[38]
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)
work page 1999
-
[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
work page 1989
-
[40]
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 –
work page 1975
-
[41]
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]
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]
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[48]
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]
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]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[50]
K. Hori, H. Kim and P. Yi,Witten Index and Wall Crossing,JHEP01(2015) 124 [1407.2567]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[51]
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]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[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 –
work page internal anchor Pith review Pith/arXiv arXiv 2015
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.