{"id":"6f22d844-7315-4d75-a0a5-17e6d2b6614c","arxiv_id":"1908.05791","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Local operators in topological-holomorphic sectors of N=2 supersymmetric theories form a d-shifted Poisson vertex algebra, whose classical limit reproduces known vertex algebras in the conformal case.","lead":"Supersymmetric field theories with both topological and holomorphic directions can host hidden algebraic structures called Poisson vertex algebras. This paper constructs those structures explicitly and computes them for several basic theories, linking them to known vertex algebras in four dimensions.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Jacobi identity (2.30) is not actually derived in §2.4; the proof is a homology sketch with undetermined signs and unaccounted Q_μ terms, leaving the central PVA claim unproven.","rationale":"The reader's verdict is CONDITIONAL and explicitly flags the schematic Jacobi proof in its rationale; our independent reading agrees that this is the load-bearing gap. We did not find the supercharge-existence issue (the reader's weakest_assumption) to be the most severe: in §§3.1 and 4.1 the twisted translations (3.8) and (4.12) are written down explicitly, and the existence of such twists is a standard feature of N=2 theories, even if nonconformal cases require care. The Jacobi identity, however, is a defining axiom of the Poisson vertex algebra; a gap there undermines the paper's main construction, not just a corollary. The free-field examples are reassuring but do not test the Jacobi identity because the computed brackets are λ-independent constants. The formal injection argument in §4.2 is also a source of concern, but it is secondary to the abstract's first claim and is supported in the unitary SCFT case by the harmonic-state argument. A verdict change is not needed: the paper remains CONDITIONAL pending a complete derivation of (2.30) from the descent axioms.","tokens_in":24772,"tokens_out":16391,"duration_ms":151490,"concrete_test":"Perform the full configuration-space computation of both sides of (2.30) using the descent equations (2.12)–(2.14) and the homology relation stated in §2.4, tracking all signs and all Q_μ terms that distinguish (O_1^*O_2)^* from O_1^*O_2^*. If the identity follows without additional assumptions, the concern is resolved; if it requires an unstated boundary condition or a new homology relation, the PVA claim is conditional. As a complementary check, compute a nontrivial λ-dependent λ-bracket, e.g., {[ξ_z]_λ [∂_z φ]} in the free chiral multiplet of §3.2, and verify (2.30) for a triple of such operators.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of §2.5, that the Q-cohomology V of local operators is a d-shifted Poisson vertex algebra, requires the λ-bracket (2.26) to satisfy the Jacobi identity (2.30). The proof offered in §2.4 for (2.30) is a sketch rather than a derivation. It asserts that a certain cycle in Conf_3(R^d × C^×) is homologous, up to a sign, to another cycle, and that the second cycle gives the first term on the right-hand side of (2.30). The sign is never fixed, and the key subtlety — that (O_1^*O_2)^* differs from O_1^*O_2^* by terms involving Q_μ acting on O_1^* — is waved away by invoking the symmetry (2.28), but the cancellation is not shown. Boundary terms at infinity in Conf_3 are not discussed. The free-field examples in §§3.2 and 4.3 only compute λ-brackets that are independent of λ (constants), so they do not exercise the Jacobi identity in any nontrivial λ-dependent case. Thus the defining Lie-conformal structure of the PVA is asserted rather than established.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes that the Q-cohomology of local operators in a supersymmetric quantum field theory admitting a topological-holomorphic sector carries a d-shifted Poisson vertex algebra structure. In Section 2, given supercharges Q and Q satisfying (2.2)-(2.5), the authors define secondary products and a lambda-bracket by topological-holomorphic descent, state sesquilinearity, skew-symmetry, the Jacobi identity and the Leibniz rule, and conclude that V is a d-shifted Poisson vertex algebra. Section 3 applies the construction to three-dimensional N=2 theories, identifying the topological-holomorphic sector, computing free chiral multiplets, discussing sigma models and free vector multiplets, and making general remarks for N=2 superconformal field theories. Section 4 treats four-dimensional N=2 theories, relates the associated Poisson vertex algebra to the classical limit of the vertex algebra of Beem et al. via Omega-deformation, computes free hypermultiplets, and proposes a classical BRST description for gauge theories, including non-conformal ones.","tokens_in":24934,"tokens_out":6029,"duration_ms":59266,"significance":"If the central Jacobi-identity proof is completed, the paper provides a valuable bridge between cohomological TQFT techniques and the four-dimensional N=2 superconformal field theory/vertex algebra correspondence. It gives a concrete physical realization of Poisson vertex algebras and connects them with the secondary-product construction of [6], the Omega-deformation quantization of [25,26], and the Schur index. The free-field computations in Sections 3.2 and 4.3 are explicit and the comparison with symplectic bosons is convincing. The proposal that classical BRST cohomology describes Poisson vertex algebras for non-conformal gauge theories is concrete and falsifiable. The main weakness is that the defining algebraic identities are not fully established from the descent construction, and the examples only test lambda-brackets that are independent of lambda; the significance of the paper would be materially increased by a complete proof of the Jacobi identity and, ideally, an example with a non-trivial lambda-dependence.","major_comments":[{"comment":"The proof of the Jacobi identity is a sketch, not a derivation. The text asserts that a certain cycle in Conf_3(R^d x C^x) is \"up to a sign\" homologous to another cycle, and that the second cycle \"again up to a sign\" gives the desired term, but the signs are never fixed. The key subtlety, that (O_1^* O_2)^* differs from O_1^* O_2^* by terms involving Q_mu acting on O_1^*, is not resolved: the appeal to the symmetry (2.28) is not carried out at the chain level, and no cancellation of the extra terms is shown. Boundary terms at infinity in Conf_3(R^d x C^x) are not discussed. Since (2.30) is the defining Jacobi identity for a Lie conformal algebra, the central claim of Section 2.5 that V is a d-shifted Poisson vertex algebra is not established unless this proof is completed. The examples in Sections 3.2 and 4.3 compute only lambda-brackets that are independent of lambda, so they do not exercise the Jacobi identity in any nontrivial lambda-dependent case.","section":"Section 2.4, Eq. (2.30)"},{"comment":"The relation between the equivariant homology class of the sphere S^3_x2 and the circle S^1_z2 is asserted rather than proved. Equation (4.40), including the sign and the factor 2 pi i / hbar, is essential for the identification of the equivariant descent integral with the lambda-bracket [O^hbar_1]_lambda [O^hbar_2]/hbar. Footnote 9 says that \"one can easily show\" the reduction, but the computation is not given. Moreover, taking the limit hbar -> 0 of a cycle that is divided by hbar requires control of equivariant chains and of possible boundary terms, not just a homology-level statement. Please provide a detailed derivation or a precise reference that justifies this step.","section":"Section 4.2, Eqs. (4.38)-(4.40)"},{"comment":"The argument that a nonzero Q^hbar-cohomology class gives a nontrivial Q-cohomology class assumes that a representative can be written as O + hbar O_1 with O_1 a formal power series in hbar. While the OPE coefficients are stated to be analytic in hbar in (4.31), the statement that the hbar-correction can destroy but not create cohomology is not proved. The identification of the classical limit as a subalgebra of V depends on this injection. The later statement that unitarity upgrades the inclusion to equality, based on the shared harmonic condition (4.41), also needs a proof that the harmonic representatives of V^hbar correspond bijectively to those of V under the constructed map.","section":"Section 4.2, injection V^hbar -> V"}],"minor_comments":[{"comment":"The expansion of kappa(z1,z2) around z2 uses z1 both as a coordinate and as a form index; writing the coefficient as kappa_{z1 z2}(z2,z2) is confusing because the derivative with respect to z1 of a function evaluated at z2 is not explicitly defined. Please clarify the notation.","section":"Section 2.3, Eq. (2.25)"},{"comment":"The Mayer-Vietoris computation of H_{d+2}(Conf_2(R^d x C^x)) is too terse; in particular, the notation d^{-1}(...) is used without definition, and the displayed sequence is hard to follow. Please expand this footnote or move the computation to the main text.","section":"Section 2.4, footnote 3"},{"comment":"The statement that a cylinder is homeomorphic to S^3 \"by the Poincare conjecture\" is misleading; the homeomorphism between a cylinder with its two ends collapsed to points and S^3 is a basic fact about one-point compactifications, not the Poincare conjecture. Please correct the attribution.","section":"Section 4.1"},{"comment":"In the proposal that the Poisson vertex algebra for a non-conformal gauge theory is the classical BRST cohomology of V_{bc-gamma beta}, it would be helpful to state explicitly the grading with respect to which the cohomology is taken and to write the action of the classical differential on the generators gamma, beta, b and c.","section":"Section 4.4"}],"recommendation":"major_revision","confidential_remarks":"The main technical gap is the Jacobi identity in Section 2.4; it is local and likely repairable, but it is central to the paper's main claim. The revision should provide a genuine proof rather than referring to the companion paper [25], because the PVA construction is independent of that identification. The equivariant homology step in Section 4.2 also needs to be made precise for the classical-limit claim to be convincing."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version. Oh and Yagi build a clean physical construction of Poisson vertex algebras in topological-holomorphic sectors—descent on M×C, secondary products, λ-bracket—and they get the free-field checks right. But the stress-test is correct that the Jacobi identity (2.30) at the center of the structure theorem is sketched, not derived. If you send this out, you should make them show their work there.\n\nThe genuinely new part is the systematic descent construction and its explicit output: free chiral multiplets in 3d give the Dolbeault-cohomology picture, free hypermultiplets in 4d give the ε_ab symplectic-boson λ-bracket, and the gauge-theory section states a classical BRST-cohomology description, clearly labeled as a proposal. The paper is also honest about what is not new: PVA structure was mentioned in Beem's talks, and the mathematical backbone is the Poisson additivity theorem of Rozenblyum and Safronov. The citation pattern looks right; the self-citation [25] is used for an identification proven in that earlier paper, which is legitimate.\n\nWhere the paper is soft: the proof of (2.30). The text says a certain Conf_3 cycle is homologous up to a sign to another, that the sign can be fixed from a special case, and that extra Q_μ terms can be avoided by invoking the symmetry (2.28). None of that is actually shown, and boundary terms at infinity in Conf_3 are not discussed. Since (2.30) is what makes V a Lie conformal algebra, the central claim of Section 2.5 rests on an assertion. I don't think this is a dealbreaker—the configuration-space approach is the right one and Poisson additivity independently supports the conclusion—but it is a real gap. The examples don't help here either: every λ-bracket computed in Sections 3 and 4 is λ-independent, so nothing in the paper exercises the Jacobi identity in a nontrivial λ-dependent case. The equivariant-homology step in Section 4.2 is also formal, though that comparison is less exposed because it leans on results already published by the same authors and by Jeong.\n\nWho is this for: researchers working on holomorphic twists, the SCFT/VOA correspondence, and algebraic structures of local operators. The free-field computations are checkable and consistent with the known vertex algebras in the classical limit, and the nonconformal proposals are labeled as such, which is the honest way to present them. My verdict: it deserves a serious refereeing. Send it out with instructions that the referee require a real derivation of (2.30) and a comment on the equivariant descent comparison; it should come back much stronger.","headline":"Solid and useful physical construction of PVAs in topological-holomorphic sectors, but the Jacobi identity at the center of the structure theorem is sketched rather than proven; worth refereeing with a demand to fill that gap.","tokens_in":25531,"tokens_out":10042,"would_cite":true,"duration_ms":91241,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B69","17B63","81T60","81T45"],"pacs":[],"model":"deepseek-v4-flash","headline":"The Q-cohomology of local operators in a topological-holomorphic sector of an N=2 supersymmetric field theory is a d-shifted Poisson vertex algebra; in four-dimensional superconformal theories it is the classical limit of the known vertex…","keywords":["Poisson vertex algebra","topological-holomorphic sector","N=2 supersymmetry","topological descent","λ-bracket","classical limit","vertex algebra","supersymmetric field theory"],"falsifier":"Take a four-dimensional N=2 gauge theory with a nonconformal matter representation and compute the λ-bracket of two local Q-cohomology classes on $R^{2}$×C using the paper's descent formula; if the result is not reproduced by the proposed classical BRST cohomology of gauged symplectic bosons, the construction is measuring something other than the local-operator algebra. More directly, if any Q-closed local operator, after twisted translation by exp(iZw−i\\bar Z\\bar w), has a P_w- or P_{\\bar w}-translation that is not Q-exact, the descent equation breaks and no Poisson vertex algebra exists.","tokens_in":24493,"feed_emoji":"⚛️","tokens_out":9728,"duration_ms":90466,"temperature":0.7,"pith_summary":"Supersymmetric quantum field theories can have sectors that are topological in some directions and holomorphic in one complex direction, so that observables there are independent of the topological coordinates and vary holomorphically. This paper shows that in such a sector, the Q-cohomology of local operators is always a d-shifted Poisson vertex algebra, a structure combining a commutative associative product with a λ-bracket that plays the role of a Poisson bracket and has degree −d. The construction uses a topological-holomorphic version of descent and requires no conformal invariance. For a four-dimensional N=2 superconformal theory, the resulting Poisson vertex algebra is the classical limit of the vertex algebra built from local operators, and in the unitary case the two are isomorphic. This puts the known four-dimensional vertex algebras and the older Poisson algebras of topological quantum field theory into one framework and extends them to nonconformal theories.","feed_headline":"N=2 theories: local operators form a Poisson vertex algebra","feed_subtitle":"A topological-holomorphic descent builds the λ-bracket; in 4d it is the classical limit of the known vertex algebra.","key_machinery":"The load-bearing object is the λ-bracket {O_1}_λ O_2, defined by integrating $e^{{λ(z_1−z_2)}}$ dz_1 ∧ $O_1^{{(d)}}$ over a small (d+1)-sphere around the second operator, where $O_1^{{(d)}}$ is the dth topological-holomorphic descendant of O_1. Together with pointwise multiplication on C, this bracket satisfies sesquilinearity, a graded symmetry, the Jacobi identity, and the Leibniz rule, which is exactly the structure of a d-shifted Poisson vertex algebra. The mechanism that makes it work is the descent equation: because translations in M and the antiholomorphic direction are Q-exact, integrals of descendants are Q-closed and depend only on homology classes; the radius of the sphere can be shrunk to zero, so the bracket is local. The parameter λ is a formal variable keeping track of the Taylor expansion of the holomorphic two-form around the collision point, and assigning J(λ)=1 makes the bracket compatible with the spin grading.","core_discovery":"The paper's central claim is that for any quantum field theory on M×C carrying a topological-holomorphic sector, defined by a fermionic scalar charge Q and a fermionic one-form charge Q with $Q^{2}$=0, [Q,P]=0, and [Q,Q]=iP_i dy^i+iP_{\\bar z} d\\bar z, the Q-cohomology V of local operators is a d-shifted Poisson vertex algebra. The proof constructs descendants by topological-holomorphic descent and uses them to define a λ-bracket; the Jacobi identity and Leibniz rule follow from decomposing integration cycles in configuration space. Concretely, all N=2 supersymmetric theories in three dimensions and N=2 theories in four dimensions admit such sectors after a central-charge-twisted translation. In the four-dimensional superconformal case, V has a one-parameter deformation V^ℏ by Ω-deformation; as ℏ→0, V^ℏ reduces to V, and for unitary theories it is isomorphic to the vertex algebra of local operators studied in [7]. Computed examples include free chiral multiplets, free hypermultiplets, and gauge theories, where the Poisson vertex algebra is identified with classical BRST cohomology.","pith_inferences":["Because the λ-bracket is local, the Poisson vertex algebra should be insensitive to twisted masses and central charges; the same algebraic structure could survive in the presence of line defects or boundaries, giving a bulk Poisson vertex algebra acting on boundary vertex algebras, a direction the paper only gestures at.","A direct test of the nonconformal proposal would be to compute the classical BRST cohomology for an abelian gauge theory with a single charged hypermultiplet and compare it with the physical Q-cohomology; exact agreement would certify the extension, while any mismatch would locate the limit of the paper's claim.","If dualities map topological-holomorphic sectors to one another, the associated Poisson vertex algebras must be isomorphic; checking such isomorphisms for known mirror or S-dual pairs could turn the construction into a practical duality detector, which the paper suggests but does not carry out."],"forward_implications":["In three-dimensional N=2 theories of free chiral multiplets, the Poisson vertex algebra is computed as Dolbeault cohomology of certain holomorphic vector bundles on the target space; dimensional reduction turns it into the B-model Poisson algebra with the Schouten-Nijenhuis bracket.","For four-dimensional N=2 superconformal theories, V is the classical limit of the Ω-deformed vertex algebra V^ℏ, and in the unitary case this vertex algebra is the one constructed from local operators in [7].","For free hypermultiplets, the Poisson vertex algebra has λ-bracket {[q_a]_λ [q_b]} ∝ ǫ_ab, reproducing the classical limit of symplectic bosons.","For N=2 gauge theories, the associated Poisson vertex algebra is the classical BRST cohomology of gauged symplectic bosons; this description stays well defined for nonconformal matter content where the quantum BRST charge is anomalous.","The vacuum character of the Poisson vertex algebra reproduces the superconformal index in the Schur limit and provides a candidate definition of that index for nonconformal theories."],"supporting_citations":[{"why":"Supplies the descent construction that the paper adapts to produce descendant operators and secondary products.","marker":"[4]"},{"why":"Provides the prior framework of Poisson algebras from secondary products in TQFTs and the dimensional-reduction comparison used here.","marker":"[6]"},{"why":"Defines the four-dimensional vertex algebra of local operators whose classical limit is claimed to be the associated Poisson vertex algebra.","marker":"[7]"},{"why":"Gives the λ-bracket and Lie conformal algebra axioms used to identify the d-shifted Poisson vertex algebra structure.","marker":"[8]"},{"why":"Supplies the definition of Poisson vertex algebras and the proof that a family of vertex algebras reduces to one in the ℏ→0 limit.","marker":"[19]"},{"why":"Constructs the Ω-deformed supercharge and the family of vertex algebras V^ℏ that quantize V.","marker":"[25]"},{"why":"Gives an independent Ω-deformation construction of vertex algebras for the same superconformal correspondence.","marker":"[26]"},{"why":"Provides the Rozansky-Witten twist whose Poisson algebra appears after dimensional reduction of hypermultiplet theories.","marker":"[34]"}],"fun_headline_variants":["Topological-holomorphic descent yields Poisson vertex algebras","N=2 QFTs: Poisson vertex algebras from topological-holomorphic sectors","Poisson vertex algebra emerges from supersymmetric topological-holomorphic sector","Classical limit of vertex algebra in N=2 SCFT is Poisson vertex algebra","All N=2 theories contain a Poisson vertex algebra of local operators"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction rests on the existence of a fermionic scalar charge Q and a fermionic one-form charge Q with $Q^{2}$=0 and [Q,Q]=iP_i dy^i+iP_{\\bar z}d\\bar z, so that translations along the topological directions and the antiholomorphic direction are Q-exact; this requires twisting translations by the central charge in the three- and four-dimensional N=2 theories. If that twist cannot be made consistently, no Poisson vertex algebra follows.","fun_headline_variants_meta":{"raw":{"variants":["Topological-holomorphic descent yields Poisson vertex algebras","N=2 QFTs: Poisson vertex algebras from topological-holomorphic sectors","Poisson vertex algebra emerges from supersymmetric topological-holomorphic sector","Classical limit of vertex algebra in N=2 SCFT is Poisson vertex algebra","All N=2 theories contain a Poisson vertex algebra of local operators"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000724,"raw_usage":{"total_tokens":3211,"prompt_tokens":877,"completion_tokens":2334,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":493,"completion_tokens_details":{"reasoning_tokens":2239}},"tokens_in":493,"tokens_out":2334,"duration_ms":14489,"temperature":1.0,"reasoning_tokens":2239,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:04:29.124700+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a four-dimensional N=2 gauge theory with a nonconformal matter representation and compute the λ-bracket of two local Q-cohomology classes on $R^{2}$×C using the paper's descent formula; if the result is not reproduced by the proposed classical BRST cohomology of gauged symplectic bosons, the construction is measuring something other than the local-operator algebra. More directly, if any Q-closed local operator, after twisted translation by exp(iZw−i\\bar Z\\bar w), has a P_w- or P_{\\bar w}-translation that is not Q-exact, the descent equation breaks and no Poisson vertex algebra exists.","supporting_citations":[{"cited_title":"Witten, Topological quantum field theory , Comm","cited_arxiv_id":null,"evidence_quote":"Supplies the descent construction that the paper adapts to produce descendant operators and secondary products."},{"cited_title":"Secondary products in supersymmetric field theory","cited_arxiv_id":"1809.00009","evidence_quote":"Provides the prior framework of Poisson algebras from secondary products in TQFTs and the dimensional-reduction comparison used here."},{"cited_title":"Kac, Vertex algebras for beginners , vol","cited_arxiv_id":null,"evidence_quote":"Gives the λ-bracket and Lie conformal algebra axioms used to identify the d-shifted Poisson vertex algebra structure."}],"review_version":1}