arxiv: 2604.03500 · v1 · submitted 2026-04-03 · ✦ hep-th · math-ph· math.MP· math.QA

Recognition: 2 theorem links

· Lean Theorem

Poisson Vertex Algebra of Seiberg-Witten Theory

Ahsan Z. Khan

Authors on Pith no claims yet

Pith reviewed 2026-05-13 18:02 UTC · model grok-4.3

classification ✦ hep-th math-phmath.MPmath.QA

keywords Poisson vertex algebraSeiberg-Witten theoryholomorphic-topological observablesN=2 gauge theorySchur indexnon-perturbative correctionsSU(2)

0 comments

The pith

Explicit Poisson vertex algebra A is isomorphic to the perturbative holomorphic-topological observables of pure SU(2) Seiberg-Witten theory.

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

The paper constructs an explicit Poisson vertex algebra A for the pure N=2 gauge theory with gauge group SU(2). It claims this A is isomorphic to the algebra of local operators in the Q-cohomology of the holomorphic-topological supercharge, holding to all orders in perturbation theory. The Hilbert-Poincaré series of A is computed and shown to refine the Schur index of the theory. An additional differential Q_inst is defined on A whose cohomology is proposed to give the full non-perturbative space of observables.

Core claim

We propose an explicit Poisson vertex algebra A, claimed to be isomorphic to the algebra of holomorphic-topological observables to all orders in perturbation theory. We compute the Hilbert-Poincaré series of A and show that it refines the Schur index of the pure SU(2) theory. We show that A admits a further differential Q_inst which we hypothesize captures non-perturbative corrections, and compute the cohomology of this differential. We thus present an explicit candidate for the space of non-perturbative holomorphic-topological observables of Seiberg-Witten theory.

What carries the argument

The Poisson vertex algebra A equipped with the differential Q_inst, which encodes the structure and relations of the holomorphic-topological observables.

If this is right

The Hilbert-Poincaré series of A refines the Schur index of the pure SU(2) theory.
The cohomology of A under Q_inst supplies an explicit candidate for the non-perturbative holomorphic-topological observables.
This algebra furnishes a concrete algebraic model for all perturbative local operators in the Q-cohomology of the theory.

Where Pith is reading between the lines

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

The construction may extend to other N=2 gauge theories with different gauge groups or matter content.
The explicit relations in A could permit direct computation of operator product expansions among the observables.
Refinement of the Schur index by the series of A points toward links with other supersymmetric indices.

Load-bearing premise

The explicitly constructed algebra A is isomorphic to the actual Q-cohomology of local operators in the holomorphic-topological twist.

What would settle it

A direct field-theory computation of the generators, relations, or dimensions of holomorphic-topological operators at low perturbative order that fails to match those of A.

read the original abstract

The space of local operators in the $Q$-cohomology of the holomorphic-topological supercharge in a four-dimensional $\mathcal{N}=2$ theory carries the structure of a Poisson vertex algebra. This note studies the Poisson vertex algebra associated to the pure $\mathcal{N}=2$ gauge theory with gauge group $SU(2)$. We propose an explicit Poisson vertex algebra $A$, claimed to be isomorphic to the algebra of holomorphic-topological observables to all orders in perturbation theory. We compute the Hilbert-Poincar\'e series of $A$ and show that it refines the Schur index of the pure $SU(2)$ theory. We show that $A$ admits a further differential $Q_{\text{inst}}$ which we hypothesize captures non-perturbative corrections, and compute the cohomology of this differential. We thus present an explicit candidate for the space of non-perturbative holomorphic-topological observables of Seiberg-Witten theory.

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.

Desk Editor's Note private letter to a colleague

The paper gives an explicit Poisson vertex algebra A whose Hilbert series refines the Schur index for pure SU(2) N=2 theory and proposes a differential for instanton corrections, but the claimed isomorphism to the actual observables is not derived.

read the letter

The central contribution is a concrete Poisson vertex algebra A that Khan constructs for the holomorphic-topological observables in pure SU(2) Seiberg-Witten theory. He shows that its Hilbert-Poincaré series refines the known Schur index, which is a useful consistency check on the graded dimensions. He also introduces a further differential Q_inst and computes its cohomology under the hypothesis that this captures non-perturbative corrections. That gives an explicit algebraic candidate for the full space of protected observables, perturbative plus instanton. The construction itself is new for this theory and could be a practical starting point for calculations that go beyond index computations. The main limitation is that the isomorphism between A and the actual Q-cohomology algebra is not established by matching generators, relations, or operator product expansions to the field theory side. The paper relies on the series agreement and labels the instanton differential as a hypothesis rather than a derived object. Without that matching, the claim remains a proposal whose correctness is not yet verified against localization results or Coulomb branch data. The citation pattern is light and focused on standard references in the area, which is reasonable for a short note. This work is aimed at researchers who already work with vertex algebras or protected operators in N=2 theories and want an explicit algebraic model to test or extend. A reader looking for a fully derived equivalence will find the evidence thin, but someone interested in concrete generators and a candidate for instanton effects could find it worth examining. I would send it to peer review because the explicit algebra and the series computation are substantive enough to merit referee attention, even if the central isomorphism needs stronger grounding.

Referee Report

2 major / 1 minor

Summary. The paper proposes an explicit Poisson vertex algebra A for the pure SU(2) N=2 Seiberg-Witten theory, claiming it is isomorphic to the algebra of holomorphic-topological observables to all perturbative orders. It computes the Hilbert-Poincaré series of A, showing that it refines the Schur index, introduces a further differential Q_inst hypothesized to capture non-perturbative instanton corrections, and computes the cohomology of this differential as a candidate for the space of non-perturbative holomorphic-topological observables.

Significance. If the proposed isomorphism holds, the explicit construction of A would provide a concrete algebraic model for the Poisson vertex algebra structure arising in the Q-cohomology of 4d N=2 theories, with the Hilbert series computation serving as a useful consistency check against the Schur index. The explicit candidate for non-perturbative observables via Q_inst could facilitate further study of Seiberg-Witten theory beyond perturbation theory.

major comments (2)

The central isomorphism claim between the explicitly constructed Poisson vertex algebra A and the Q-cohomology of holomorphic-topological observables rests primarily on matching the Hilbert-Poincaré series; the paper does not derive the generators, Poisson brackets, or relations of A from the 4d field theory side or match them against known local operators via localization or Coulomb branch data.
The differential Q_inst is introduced explicitly as a hypothesis to capture non-perturbative corrections, with its cohomology presented as a candidate; this leaves the non-perturbative part of the claim as an unverified proposal rather than a derived result, requiring additional justification or cross-checks against instanton contributions.

minor comments (1)

The abstract and introduction could more clearly distinguish the perturbative isomorphism (supported by the Hilbert series) from the non-perturbative hypothesis for Q_inst.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments. We address each major comment below.

read point-by-point responses

Referee: The central isomorphism claim between the explicitly constructed Poisson vertex algebra A and the Q-cohomology of holomorphic-topological observables rests primarily on matching the Hilbert-Poincaré series; the paper does not derive the generators, Poisson brackets, or relations of A from the 4d field theory side or match them against known local operators via localization or Coulomb branch data.

Authors: We agree that the proposed isomorphism rests primarily on the matching of the Hilbert-Poincaré series with the Schur index together with the expected Poisson vertex algebra structure. The manuscript presents A as an explicit construction motivated by these properties rather than deriving its generators, brackets, and relations directly from the 4d Lagrangian via localization or Coulomb-branch data. Such a derivation lies outside the scope of this note. We regard the series match as a non-trivial consistency check. We will partially revise the introduction to state more explicitly that the isomorphism is conjectural and supported by this evidence. revision: partial
Referee: The differential Q_inst is introduced explicitly as a hypothesis to capture non-perturbative corrections, with its cohomology presented as a candidate; this leaves the non-perturbative part of the claim as an unverified proposal rather than a derived result, requiring additional justification or cross-checks against instanton contributions.

Authors: We acknowledge that Q_inst is introduced as a hypothesis whose cohomology is offered as a candidate for the non-perturbative observables. The paper computes this cohomology explicitly but does not supply direct comparisons with instanton contributions. We will partially revise the relevant sections to clarify the conjectural status and to outline possible future cross-checks against known instanton corrections in Seiberg-Witten theory. revision: partial

Circularity Check

0 steps flagged

Proposed explicit PVA A supported by Hilbert series consistency check; isomorphism remains a conjecture without reduction to inputs by construction.

full rationale

The paper constructs an explicit Poisson vertex algebra A and computes its Hilbert-Poincaré series, verifying that it refines the known Schur index of the SU(2) theory. This is presented as a consistency check rather than a derivation of the algebra from the 4d operator product expansions or localization data. The isomorphism to holomorphic-topological observables is explicitly labeled a proposal, and the non-perturbative differential Q_inst is labeled a hypothesis. No equations or definitions in the provided text reduce the claimed algebra structure or its cohomology to a fit or self-citation by construction. Self-citation load-bearing is absent. The central claim therefore retains independent content as an explicit candidate rather than a tautological restatement of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

Only the abstract is available, so the ledger is inferred from stated claims. The construction relies on standard definitions of Poisson vertex algebras and the Q-cohomology in N=2 theories.

axioms (1)

domain assumption The space of local operators in the Q-cohomology carries the structure of a Poisson vertex algebra.
Stated in the first sentence of the abstract as background structure.

invented entities (2)

Poisson vertex algebra A no independent evidence
purpose: Explicit model for perturbative holomorphic-topological observables of SU(2) Seiberg-Witten theory
Proposed as isomorphic to the actual algebra; no independent evidence given in abstract.
Differential Q_inst no independent evidence
purpose: Captures non-perturbative corrections
Hypothesized to compute the full non-perturbative cohomology; no verification shown.

pith-pipeline@v0.9.0 · 5461 in / 1431 out tokens · 44697 ms · 2026-05-13T18:02:18.685619+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We define a Poisson vertex algebra A as being generated by an even Virasoro element X with central charge c=0, and an odd field Y carrying conformal weight 3 under X, and quotienting by the smallest Poisson vertex ideal containing the element X².
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We show that A admits a further differential Q_inst which we hypothesize captures non-perturbative corrections, and compute the cohomology of this differential.

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.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages · 2 internal anchors

[1]

Alexandrov, A

M. Alexandrov, A. Schwarz, O. Zaboronsky and M. Kontsevich, ``The Geometry of the master equation and topological quantum field theory,'' Int. J. Mod. Phys. A 12, 1405-1429 (1997) doi:10.1142/S0217751X97001031 [arXiv:hep-th/9502010 [hep-th]]

work page doi:10.1142/s0217751x97001031 1997
[2]

Andrews, A

G. Andrews, A. Banerjee, R. K. Singh and R. Tao, ``Macdonald Index From Refined Kontsevich-Soibelman Operator,'' [arXiv:2511.07521 [hep-th]]

work page arXiv
[3]

P. H. Balduf and D. Gaiotto, ``Combinatorial proof of a non-renormalization theorem,'' JHEP 05, 120 (2025) doi:10.1007/JHEP05(2025)120 [arXiv:2408.03192 [math-ph]]

work page doi:10.1007/jhep05(2025)120 2025
[4]

C. Beem, D. Ben-Zvi, M. Bullimore, T. Dimofte and A. Neitzke, ``Secondary products in supersymmetric field theory,'' Annales Henri Poincare 21, no.4, 1235-1310 (2020) doi:10.1007/s00023-020-00888-3 [arXiv:1809.00009 [hep-th]]

work page doi:10.1007/s00023-020-00888-3 2020
[5]

C. Beem, M. Lemos, P. Liendo, W. Peelaers, L. Rastelli and B. C. van Rees, ``Infinite Chiral Symmetry in Four Dimensions,'' Commun. Math. Phys. 336, no.3, 1359-1433 (2015) doi:10.1007/s00220-014-2272-x [arXiv:1312.5344 [hep-th]]

work page doi:10.1007/s00220-014-2272-x 2015
[6]

Budzik, D

K. Budzik, D. Gaiotto, J. Kulp, B. R. Williams, J. Wu and M. Yu, ``Semi-chiral operators in 4d N = 1 gauge theories,'' JHEP 05, 245 (2024) doi:10.1007/JHEP05(2024)245 [arXiv:2306.01039 [hep-th]]

work page doi:10.1007/jhep05(2024)245 2024
[7]

Budzik and J

K. Budzik and J. Kulp, ``Loop Corrected Supercharges from Holomorphic Anomalies,'' [arXiv:2512.07771 [hep-th]]

work page arXiv
[8]

Butson, ``Equivariant localization in factorization homology and applications in mathematical physics I: Foundations,'' [arXiv:2011.14988 [math.RT]]

D. Butson, ``Equivariant localization in factorization homology and applications in mathematical physics I: Foundations,'' [arXiv:2011.14988 [math.RT]]

work page arXiv 2011
[9]

Butson, ``Equivariant localization in factorization homology and applications in mathematical physics II: Gauge theory applications,'' [arXiv:2011.14978 [math.RT]]

D. Butson, ``Equivariant localization in factorization homology and applications in mathematical physics II: Gauge theory applications,'' [arXiv:2011.14978 [math.RT]]

work page arXiv 2011
[10]

Cautis and H

S. Cautis and H. Williams, ``Cluster theory of the coherent Satake category,'' Journal of the American Mathematical Society , 32(3):709--778, 2019. [arXiv:1801.08111v2 [math.RT]]

work page arXiv 2019
[11]

Cecotti, A

S. Cecotti, A. Neitzke and C. Vafa, ``R-Twisting and 4d/2d Correspondences,'' [arXiv:1006.3435 [hep-th]]

work page arXiv
[12]

Cecotti, J

S. Cecotti, J. Song, C. Vafa and W. Yan, ``Superconformal Index, BPS Monodromy and Chiral Algebras,'' JHEP 11, 013 (2017) doi:10.1007/JHEP11(2017)013 [arXiv:1511.01516 [hep-th]]

work page doi:10.1007/jhep11(2017)013 2017
[13]

C. M. Chang and X. Yin, ``1/16 BPS states in N= 4 super-Yang-Mills theory,'' Phys. Rev. D 88, no.10, 106005 (2013) doi:10.1103/PhysRevD.88.106005 [arXiv:1305.6314 [hep-th]]

work page doi:10.1103/physrevd.88.106005 2013
[14]

C. M. Chang and Y. H. Lin, ``Words to describe a black hole,'' JHEP 02, 109 (2023) doi:10.1007/JHEP02(2023)109 [arXiv:2209.06728 [hep-th]]

work page doi:10.1007/jhep02(2023)109 2023
[15]

Cordova, D

C. Cordova, D. Gaiotto and S. H. Shao, ``Infrared Computations of Defect Schur Indices,'' JHEP 11, 106 (2016) doi:10.1007/JHEP11(2016)106 [arXiv:1606.08429 [hep-th]]

work page doi:10.1007/jhep11(2016)106 2016
[16]

Cordova and S

C. Cordova and S. H. Shao, ``Schur Indices, BPS Particles, and Argyres-Douglas Theories,'' JHEP 01, 040 (2016) doi:10.1007/JHEP01(2016)040 [arXiv:1506.00265 [hep-th]]

work page doi:10.1007/jhep01(2016)040 2016
[17]

Costello, ``Supersymmetric gauge theory and the Yangian,'' [arXiv:1303.2632 [hep-th]]

K. Costello, ``Supersymmetric gauge theory and the Yangian,'' [arXiv:1303.2632 [hep-th]]

work page arXiv
[18]

Dedushenko, ``On the 4d/3d/2d view of the SCFT/VOA correspondence,'' [arXiv:2312.17747 [hep-th]]

M. Dedushenko, ``On the 4d/3d/2d view of the SCFT/VOA correspondence,'' [arXiv:2312.17747 [hep-th]]

work page arXiv
[19]

Dimofte, W

T. Dimofte, W. Niu and V. Py, ``Line Operators in 3d Holomorphic QFT: Meromorphic Tensor Categories and dg-Shifted Yangians,'' [arXiv:2508.11749 [hep-th]]

work page arXiv
[20]

Elliott, P

C. Elliott, P. Safronov and B. R. Williams, ``A taxonomy of twists of supersymmetric Yang Mills theory,'' Selecta Math. 28, no.4, 73 (2022) doi:10.1007/s00029-022-00786-y [arXiv:2002.10517 [math-ph]]

work page doi:10.1007/s00029-022-00786-y 2022
[21]

Fishel, I

S. Fishel, I. Grojnowski and C. Teleman, ``The strong M acdonald conjecture and H odge theory on the loop G rassmannian'', Ann.\ of Math.\ 168 , 175 (2008)

work page 2008
[22]

Gaiotto and A

D. Gaiotto and A. Khan, ``Categorical pentagon relations and Koszul duality,'' Lett. Math. Phys. 115, no.5, 100 (2025) doi:10.1007/s11005-025-01932-1 [arXiv:2309.12103 [hep-th]]

work page doi:10.1007/s11005-025-01932-1 2025
[23]

Gaiotto, G

D. Gaiotto, G. W. Moore and E. Witten, ``Algebra of the Infrared: String Field Theoretic Structures in Massive N =(2,2) Field Theory In Two Dimensions,'' [arXiv:1506.04087 [hep-th]]

work page arXiv
[24]

Kontsevich, ``Deformation quantization of Poisson manifolds

M. Kontsevich, ``Deformation quantization of Poisson manifolds. 1.,'' Lett. Math. Phys. 66, 157-216 (2003) doi:10.1023/B:MATH.0000027508.00421.bf [arXiv:q-alg/9709040 [math.QA]]

work page doi:10.1023/b:math.0000027508.00421.bf 2003
[25]

G. W. Moore, ``PiTP Lectures on Wall-Crossing,'' Available at https://www.physics.rutgers.edu/ gmoore/PiTP-LectureNotes.pdf

work page
[26]

Niu, ``Local operators of 4d N =2 gauge theories from the affine Grassmannian,'' Adv

W. Niu, ``Local operators of 4d N =2 gauge theories from the affine Grassmannian,'' Adv. Theor. Math. Phys. 26, no.9, 3207-3247 (2022) doi:10.4310/ATMP.2022.v26.n9.a10 [arXiv:2112.12164 [math.AG]]

work page doi:10.4310/atmp.2022.v26.n9.a10 2022
[27]

Jeong, ``SCFT/VOA correspondence via -deformation,'' JHEP 10, 171 (2019) doi:10.1007/JHEP10(2019)171 [arXiv:1904.00927 [hep-th]]

S. Jeong, ``SCFT/VOA correspondence via -deformation,'' JHEP 10, 171 (2019) doi:10.1007/JHEP10(2019)171 [arXiv:1904.00927 [hep-th]]

work page doi:10.1007/jhep10(2019)171 2019
[28]

Kac, ``Introduction to vertex algebras, Poisson vertex algebras, and integrable Hamiltonian PDE,'' [arXiv:1512.00821 [math-ph]]

V. Kac, ``Introduction to vertex algebras, Poisson vertex algebras, and integrable Hamiltonian PDE,'' [arXiv:1512.00821 [math-ph]]

work page arXiv
[29]

Kapustin, ``Holomorphic reduction of N=2 gauge theories, Wilson-'t Hooft operators, and S-duality,'' [arXiv:hep-th/0612119 [hep-th]]

A. Kapustin, ``Holomorphic reduction of N=2 gauge theories, Wilson-'t Hooft operators, and S-duality,'' [arXiv:hep-th/0612119 [hep-th]]

work page arXiv
[30]

A. Z. Khan and K. Zeng, ``Poisson Vertex Algebras and Three-Dimensional Gauge Theory,'' [arXiv:2502.13227 [hep-th]]

work page arXiv
[31]

Oh and J

J. Oh and J. Yagi, ``Chiral algebras from -deformation,'' JHEP 08, 143 (2019) doi:10.1007/JHEP08(2019)143 [arXiv:1903.11123 [hep-th]]

work page doi:10.1007/jhep08(2019)143 2019
[32]

Oh and J

J. Oh and J. Yagi, ``Poisson vertex algebras in supersymmetric field theories,'' Lett. Math. Phys. 110, no.8, 2245-2275 (2020) doi:10.1007/s11005-020-01290-0 [arXiv:1908.05791 [hep-th]]

work page doi:10.1007/s11005-020-01290-0 2020
[33]

Seiberg and E

N. Seiberg and E. Witten, ``Electric - magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory,'' Nucl. Phys. B 426, 19-52 (1994) [erratum: Nucl. Phys. B 430, 485-486 (1994)] doi:10.1016/0550-3213(94)90124-4 [arXiv:hep-th/9407087 [hep-th]]

work page doi:10.1016/0550-3213(94)90124-4 1994
[34]

Topological Mirrors and Quantum Rings

C. Vafa, ``Topological mirrors and quantum rings,'' AMS/IP Stud. Adv. Math. 9, 97-120 (1998) [arXiv:hep-th/9111017 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 1998
[35]

On the renormalization and quantization of topological-holomorphic field theories

M. Wang and B. R. Williams, ``Factorization algebras from topological-holomorphic field theories,'' [arXiv:2407.08667 [math-ph]]

work page internal anchor Pith review Pith/arXiv arXiv
[36]

Witten, ``Two-dimensional models with (0,2) supersymmetry: Perturbative aspects,'' Adv

E. Witten, ``Two-dimensional models with (0,2) supersymmetry: Perturbative aspects,'' Adv. Theor. Math. Phys. 11, no.1, 1-63 (2007) doi:10.4310/ATMP.2007.v11.n1.a1 [arXiv:hep-th/0504078 [hep-th]]

work page doi:10.4310/atmp.2007.v11.n1.a1 2007