{"id":"9c4d632c-1a05-426b-987b-5d092d661f9e","arxiv_id":"2507.14174","paper_version":1,"verdict":"REJECT","confidence":"LOW","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":3,"one_line_summary":"The paper claims new exotic pair and triplet classes in the BRS cohomology of the Wess-Zumino model, but leaves the constraint equations that make them non-trivial unsolved.","lead":"The paper computes candidate BRS cohomology classes, called exotic pairs and triplets, for the Wess-Zumino supersymmetric model by adding source pseudofields and a constant spinor. A generalist might read it because it claims a new class of supersymmetry anomalies, but the claim depends on constraint equations that are not solved.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The displayed exotic invariant (357) is not shown to be δBRS-closed: varying it with the transformations (18) leaves uncancelled Γψ C terms even at g=0, so the central cohomology claim fails before any constraint-tensor analysis.","rationale":"The reader's REJECT verdict is supported, but its weakest_assumption is not the most load-bearing one. Even granting a non-zero tensor satisfying e^b_a g^{abc}=0 and the analog (360), the specific representative (357) must be δBRS-closed. A direct variation using the displayed transformations leaves a term e^b_a φ^α C_α C_γ Γ^a ψ_b^γ that is not cancelled by the dotted-Γ term arising from δY. This is not a question of generic-versus-specific couplings; it occurs at g=0. Therefore the central claim that supersymmetry has unusual BRS cohomology because H contains exotic pairs and triplets is internally unsupported at the level of the explicit cocycle. The paper also flags its own limitation in the Glossary ('Missing Terms in the Elizabethan drama: This is a concern, certainly') and notes that denominators 1/Δ0 in higher differentials were ignored, which further undermines confidence in the E∞→H isomorphisms. A concrete symbolic computation of δBRS on (357) would settle the issue; if the Γψ C term survives, the displayed invariant is not in H and the proof needs correction before exotic pairs can be claimed. I therefore recommend REJECT, unchanged in direction but with a sharper basis than the reader's constraint-tensor concern.","tokens_in":35350,"tokens_out":18777,"duration_ms":215118,"concrete_test":"Symbolically compute δBRS of the right-hand side of (357) for n=1 and g=0, using exactly the transformations in (18) and allowing integration by parts. If the result is not identically zero for arbitrary constant φ^α, the representative is not a cocycle and the exotic-pair claim fails; if it is zero, identify the cancellation mechanism and check whether it persists at nonzero g with a solution of the stated constraints. This is a small algebraic computation and can be automated with a computer algebra system.","verdict_should_be":"REJECT","load_bearing_attack":"The central claim is that representatives such as (357) lie in H = ker δBRS ∩ ker δBRS†. Equation (357) writes E = e^b_a φ^α ∫ {C_α(Γ^a A_b + Y^{a ˙β} ψ_{b ˙β} + Λ^a F_b) + A^a ∂_{α ˙β} ψ^{˙β}_b + ψ^a_α F_b}. Applying the massless part of (18), δA_b = ψ_b^γ C_γ, so the variation of the Γ^a A_b term contains e^b_a φ^α C_α C_γ Γ^a ψ_b^γ. The only other Γ-dependent variation is from δY^{a ˙β}, which contains −Γ^a C^{˙β}; contracted with ψ_{b ˙β} this gives a dotted C_{˙β}ψ_b^{˙β} term that cannot cancel the undotted C_γψ_b^γ term. No other term in (357) contains Γ. The uncancelled term is present already in the free theory g=0, where all constraint equations are vacuous, so the reader's constraint-tensor concern is not the decisive issue. Either table (18), Eq. (357), or the asserted E∞→H isomorphism is misstated; the paper never demonstrates the required cocycle condition. The manuscript's own glossary admits 'Missing Terms in the Elizabethan drama: This is a concern, certainly' and notes that denominators 1/Δ0 in higher differentials were ignored, which makes an independent check mandatory.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that the BRS cohomology of the massless interacting Wess–Zumino model contains new classes, called exotic pairs (E, Ω) and exotic triplets (C, E, Ω), which are invisible if pseudofield sources are omitted. The construction uses a spectral sequence graded by a 'NGrading' operator, and introduces a constant spinor φα to saturate free spinor indices. The central explicit results are the dimension-zero invariant E in Eq. (357) and the dimension-one object C in Eq. (359), together with constraint equations on coefficient tensors such as Eqs. (128) and (360). The paper argues that these objects lie in H = ker δBRS ∩ ker δ†BRS and represent cohomology classes that could correspond to new supersymmetry anomalies.","tokens_in":35756,"tokens_out":7750,"duration_ms":87826,"significance":"If the claimed exotic pairs and triplets were genuine BRS cohomology classes, the result would be significant: it would contradict the common expectation that supersymmetric anomalies reduce to supersymmetric extensions of ordinary gauge anomalies, and it would open a new direction for anomaly analysis in SUSY models. The paper also has strengths: it gives explicit candidate representatives rather than only existence statements, it uses no fitted parameters, and it builds on previously published spectral-sequence machinery [3,4,17] rather than introducing a new formalism ad hoc. The falsifiable character of the explicit cocycle candidates is a genuine virtue. However, the central candidate invariant fails a basic closure check, and the constraint-tensor existence is never demonstrated, so the significance is currently prospective rather than established.","major_comments":[{"comment":"The displayed invariant E in Eq. (357) is not δBRS-closed. Using the massless part of the transformations (18), the term Cα Γa Ab in E produces, from δAb = ψbγ Cγ, a contribution Cα Γa ψbγ Cγ. The term Cα Y a β̇ ψbβ̇ produces, from δY a β̇ = −Γa C β̇ + ... , a contribution −Cα Γa C β̇ ψbβ̇. These two terms have different spinor and ghost index structures — one involves the undotted ghost Cγ contracted with ψγ, the other the dotted ghost Cβ̇ contracted with ψβ̇ — so they cannot cancel each other for any choice of signs or coefficients. No other term in (357) contains Γ ψ. This failure is present already at g = 0, where all constraint equations are vacuous. Therefore either table (18), Eq. (357), or the asserted E∞ → H isomorphism is misstated, and the central cohomology claim is unsupported.","section":"Section 9, Eq. (357)"},{"comment":"The isomorphisms E∞ → H are conditional on coefficient tensors satisfying constraint equations such as eab gabc = 0 in Eq. (128) and gd(bc e a) = 0 in Eq. (360), but the paper never exhibits a single nonzero solution of these constraints. The text repeatedly says 'These are for tensors that satisfy the constraint equations, of course' (e.g., after Eqs. (263)–(266) and (351)), yet no example or dimensionality argument is given. For generic couplings, such as structure constants of a semisimple Lie algebra, the analogous constraint space can be trivial, in which case the exotic classes would vanish identically. This is a load-bearing premise: without a nontrivial solution, the claimed new cohomology classes have not been shown to exist at all.","section":"Sections 6.3 and 7.8; Eqs. (128), (360)"},{"comment":"The d1 analysis in Section 7.3 uses the symbol '⊕' to indicate that 'two different linear combinations are needed for the two mappings', but the actual linear combinations are never written. The survival of particular combinations to E2, such as the object in Eq. (319), is essential for the subsequent d2 and d3 maps and for the final exotic triplet C in Eq. (359). Without the explicit combinations, the computation cannot be independently checked. This gap is compounded by the manuscript's own admissions in the Glossary: under 'Missing Terms in the Elizabethan drama' it states 'This is a concern, certainly', and under 'dr Differential Operator' it states that denominators 1/Δ0 were ignored. Those admissions make an independent check mandatory rather than optional.","section":"Section 7.3, Eqs. (300)–(331)"},{"comment":"The transformation table (18) needs to be made precise before any explicit cocycle check can be trusted. There are apparent index inconsistencies, for example δF i = ∂αβ ψiα Cβ versus the surrounding notation in which dotted and undotted ghosts are distinguished, and the Glossary states that 'the spectral sequence is very forgiving' about signs and factors. For the claim that a specific polynomial is δBRS-closed, signs and index placements are not forgiving at all. The paper should provide a consistent version of table (18) and verify the closure of the displayed representatives (357) and (359) by direct computation.","section":"Section 2, Eq. (18)"}],"minor_comments":[{"comment":"The constant spinor φα is introduced in Section 5 without stating its Grassmann parity; the Glossary later indicates it is Grassmann odd. This should be stated in the main text at first use.","section":"Section 5"},{"comment":"The word 'tripets' is a typo for 'triplets'.","section":"Section 1.1, item 7"},{"comment":"The word 'Eliabethan' should be 'Elizabethan'.","section":"Section 2.8"},{"comment":"The word 'isomophic' should be 'isomorphic'.","section":"Section 1.1, item 4"},{"comment":"The Glossary contains several typos: 'postive' should be 'positive', 'calulaation' should be 'calculation', and 'Fadeev Popov' should be 'Faddeev–Popov'.","section":"Glossary"},{"comment":"Reference [2] is described as the first in a series of papers labelled (En), but the present paper is E2; this self-referential series structure should be explained or removed, since it is not standard for a standalone journal submission.","section":"References"}],"recommendation":"reject","confidential_remarks":"The manuscript is not publishable in its current form. The decisive issue is not a matter of taste or presentation: the explicit invariant E in Eq. (357), which is the central advertised result, fails to be δBRS-closed even in the free massless limit, where the constraint equations are vacuous. The author's own Glossary concedes that terms may be missing and that denominators in higher differentials were ignored. Given these admissions and the failure of the explicit cocycle check, I do not see a repair that stays within the scope of a revision; the computation would need to be redone. I recommend rejection, with the caveat that the underlying spectral-sequence program may still have merit if a correct invariant can be identified in future work."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"John, here's the take on Dixon's E2 paper. The central displayed result does not survive contact with the paper's own transformation rules. Equation (357) claims E is in H, but varying it with (18) at g=0 leaves uncancelled Γ^a terms: the δA_b variation gives φ^α C_α C_γ Γ^a ψ_b^γ, while δY^{a ˙β} gives −φ^α C_α Γ^a C^{˙β} ψ_{b ˙β}; these are independent undotted and dotted contractions and cannot cancel. So the cocycle condition fails before any constraint-tensor analysis. That is the load-bearing flaw.\n\nTo give credit: the paper does attempt something new—including pseudofield sources in the spectral sequence BRS cohomology of the WZ model, introducing a constant spinor to saturate spinor indices, and identifying candidate 'exotic pairs' and 'exotic triplets' at low dimension. The spectral-sequence setup is elaborate and builds on Dixon's earlier published machinery [3,4,17]. Had the cocycle check worked, this would be a substantive extension.\n\nThe soft spots are serious. The displayed invariant is not closed, and the paper itself admits missing terms in the Elizabethan drama and ignored denominators in higher differentials. The constraint equations that would make the isomorphisms valid are never solved; the paper merely assumes non-zero solutions exist. The notation with '⊕' in Section 7.3 hides unspecified linear combinations. For a claim of new supersymmetry anomalies, the reader needs an explicit, verifiable cocycle. This is not provided.\n\nWho is this for? Specialists in BRS cohomology and spectral sequence methods for SUSY, and possibly anomaly hunters. A serious referee could check the algebra and either confirm the error or find a corrected form. The paper deserves referee time because the claim is significant and the method is genuine, but as it stands it should not be accepted. I'd recommend sending to peer review with a strong request for the author to exhibit the verification that (357) is closed, or to locate the misstatement.","headline":"The paper's central exotic invariant fails its own cocycle check even at g=0; the spectral-sequence scaffolding is real, but the load-bearing result is unverified and likely wrong.","tokens_in":36258,"tokens_out":5134,"would_cite":false,"duration_ms":54146,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.30.Pb"],"model":"deepseek-v4-flash","headline":"The paper claims that the Wess-Zumino model's BRS cohomology contains new 'exotic' invariants, anomalies, and changes built from pseudofields and a constant spinor.","keywords":["BRS cohomology","supersymmetry anomalies","Wess-Zumino model","spectral sequence","exotic pairs","exotic triplets","pseudofields","constant spinor"],"falsifier":"Solve the constraint equations for a concrete coupling and check whether the proposed representatives are coboundaries. For instance, take the three-field coupling to be the SU(2) structure constants, $g_{abc} = \\varepsilon_{abc}$; then $e_{ab} \\varepsilon_{abc} = 0$ forces $e_{ab} = 0$, so the Section 6.3 exotic pair would vanish for that model. A second check is to act on the explicit $E$ in (357) with $\\delta_{\\mathrm{BRS}}$ using the table (18) and verify whether the result is a total derivative for any nontrivial tensor; if the only solutions are $e_b^a = 0$, the central claim of a surviving exotic pair collapses.","tokens_in":35115,"feed_emoji":"⚛️","tokens_out":12416,"duration_ms":113513,"temperature":0.7,"pith_summary":"The paper claims that the massless interacting Wess-Zumino supersymmetric model has BRS cohomology classes that previous work missed, because previous work omitted the pseudofield sources for the field variations. When those sources are included and free spinor indices are saturated with a constant spinor, the spectral sequence produces an exotic pair $(E, \\Omega)$: a ghost-charge-zero invariant $E$ and a ghost-charge-one anomaly $\\Omega$, together with constraint equations that select the surviving coefficient tensors. At dimension one it also produces an exotic triplet $(C, E, \\Omega)$, adding a ghost-charge-minus-one 'change' $C$. If correct, supersymmetry has its own anomalies unrelated to gauge anomalies, and the standard renormalization theorem that counterterms split into $\\delta_{\\mathrm{BRS}} F$ plus field-only invariants fails.","feed_headline":"Supersymmetry model hides exotic new cohomology classes","feed_subtitle":"Pseudofield sources reveal new invariants, anomalies, and changes in the Wess-Zumino model.","key_machinery":"The engine is the spectral sequence generated by the grading $N_{\\mathrm{Grading}} = N_C + N_{\\bar C} + 2N_\\xi + N_m + N_A + N_\\psi + N_F + N_\\Gamma + N_Y + N_\\Lambda$ plus complex conjugates; the paper calls the successive killing of terms by the differentials the 'Elizabethan drama.' The BRS operator splits into graded pieces $\\delta = \\delta_0 + \\delta_1 + \\delta_2$, and the spaces $E_{r+1} = \\ker d_r \\cap \\ker d_r^\\dagger$ inside $E_r$ converge to $E_\\infty \\cong H$. In the relevant sectors the differentials take the form $d_2 = \\Pi_2 (g_{abc} A^b A^c C^\\alpha)\\psi^{a\\dagger}_\\alpha \\Pi_2$ and a higher $d_3$, and the requirement that objects survive to $E_\\infty$ produces constraint equations such as $e_a g_{abc} = 0$ and $g_{d(bc}e_{a)} = 0$. The constant spinor $\\phi^\\alpha$ (dimension $\\tfrac12$) is introduced to saturate the unsaturated spinor indices so that spin-$\\tfrac12$ cohomology classes become Lorentz scalars.","core_discovery":"The central result is the construction, via the spectral sequence, of explicit representatives in the BRS cohomology $H = \\ker \\delta_{\\mathrm{BRS}} \\cap \\ker \\delta_{\\mathrm{BRS}}^\\dagger$. Equation (357) gives the exotic invariant $E = e_b^a \\phi^\\alpha \\int d^4x \\, \\{ C_\\alpha(\\bar\\Gamma^a A_b + \\bar Y^{a\\dot\\alpha} \\psi_{b\\dot\\alpha} + \\bar\\Lambda^a F_b) + (A^a \\partial_{\\alpha\\dot\\alpha} \\bar\\psi^{\\dot\\alpha}_b + \\psi^a_\\alpha F_b) \\} \\in H$, with ghost charge zero; it is a sum of a pseudofield-dependent piece $E_1$ and a field-only piece $E_2$ whose separate variations cancel only up to the field equations. Equation (359) gives the exotic change $C = e^{[ab]} \\int d^4x \\, \\{ \\Gamma_a(\\phi\\psi_b) + Y_a^\\alpha \\bar\\phi^{\\dot\\alpha}\\partial_{\\alpha\\dot\\alpha} A_b + (\\Lambda_a\\Gamma_b - \\tfrac12 Y^\\alpha_a Y_{b\\alpha})(\\phi C) \\} \\in H$, with ghost charge minus one. Each exotic pair obeys $d_2 E = 0$ and $d_2^\\dagger \\Omega = 0$, and each exotic triplet obeys the additional relations $d_3 C = 0$ and $d_3^\\dagger E = 0$. The paper argues these objects are not superspace scalars and could not be guessed without the spectral sequence.","pith_inferences":["Inference: A decisive physical test is whether the constraint equations admit nonzero tensors for any realistic coupling; for couplings like the structure constants of a simple Lie algebra, analogous cohomology conditions can vanish, so the exotic classes may be absent in those models.","Inference: If nonzero solutions exist, the ghost-charge-minus-one changes $C$ could generate canonical transformations between actions, giving a new handle on field redefinitions and renormalization beyond [32].","Inference: Replacing the constant spinor by a chiral dotted spinor superfield, as the author plans, would turn these formal cohomology classes into propagating multiplets and may allow triangle-diagram computation of the anomaly coefficients.","Inference: The appearance of exotic classes only after including pseudofields suggests the physical content of BRS cohomology depends on the choice of field-source variables, which would affect how anomalies are defined in any supersymmetric theory."],"forward_implications":["Ghost-charge-one elements $\\Omega$ are candidate supersymmetry anomalies, distinct from all gauge-type anomalies, whose coefficients still require a Feynman diagram calculation.","The standard decomposition of counterterms, $\\delta_{\\mathrm{BRS}} A_{\\mathrm{counterterms}} = 0 \\Rightarrow A_{\\mathrm{counterterms}} = \\delta_{\\mathrm{BRS}} F + A_{\\mathrm{invariants}}$ with field-only invariants, fails when invariants like (357) contain pseudofields and ghosts.","The new invariants depend on pseudofields, so their field-only parts are not supersymmetric; superspace methods would not find them because they are not superspace scalars.","The exotic triplets' ghost-charge-minus-one 'changes' $C$ are new objects that modify the theory, not just its anomalies.","Applying the same spectral sequence at higher dimension and higher spin is expected to produce still more exotic structures."],"supporting_citations":[{"why":"Supplies the original Wess-Zumino chiral scalar model whose BRS cohomology is under study.","marker":"[1]"},{"why":"Introduced the exotic-anomaly idea informally; this paper extends and corrects it with the exotic triplet.","marker":"[2]"},{"why":"Establishes the spectral-sequence method for BRS cohomology that the entire calculation uses.","marker":"[3]"},{"why":"Gives the cohomology of the supertranslation structure operator that fixes the allowed ghost structure in E1.","marker":"[4]"},{"why":"Prior higher-spin BRS cohomology calculation without pseudofields that missed the new invariants; the baseline this paper extends.","marker":"[17]"},{"why":"States the renormalization conjecture that counterterms split into delta_BRS F plus field-only invariants, which the new invariants contradict.","marker":"[32]"}],"fun_headline_variants":["Exotic cohomology classes surface in Wess-Zumino model","Pseudofields unlock new BRS invariants and anomalies","Wess-Zumino model gains exotic pairs and triplets","New supersymmetry anomalies from spectral sequence","BRS cohomology reveals exotic invariants and changes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that nonzero coefficient tensors solving the constraint equations (for example $e_a g_{abc} = 0$) exist; the paper assumes such tensors rather than exhibiting one, so for a generic coupling the new cohomology classes could all vanish.","fun_headline_variants_meta":{"raw":{"variants":["Exotic cohomology classes surface in Wess-Zumino model","Pseudofields unlock new BRS invariants and anomalies","Wess-Zumino model gains exotic pairs and triplets","New supersymmetry anomalies from spectral sequence","BRS cohomology reveals exotic invariants and changes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00028,"raw_usage":{"total_tokens":1764,"prompt_tokens":1152,"completion_tokens":612,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":768,"completion_tokens_details":{"reasoning_tokens":530}},"tokens_in":768,"tokens_out":612,"duration_ms":6277,"temperature":1.0,"reasoning_tokens":530,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:28:32.747920+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the constraint equations for a concrete coupling and check whether the proposed representatives are coboundaries. For instance, take the three-field coupling to be the SU(2) structure constants, $g_{abc} = \\varepsilon_{abc}$; then $e_{ab} \\varepsilon_{abc} = 0$ forces $e_{ab} = 0$, so the Section 6.3 exotic pair would vanish for that model. A second check is to act on the explicit $E$ in (357) with $\\delta_{\\mathrm{BRS}}$ using the table (18) and verify whether the result is a total derivative for any nontrivial tensor; if the only solutions are $e_b^a = 0$, the central claim of a surviving exotic pair collapses.","supporting_citations":[{"cited_title":"Supergauge Transformations in Four dimen- sions","cited_arxiv_id":null,"evidence_quote":"Supplies the original Wess-Zumino chiral scalar model whose BRS cohomology is under study."},{"cited_title":"Calculation of BRS cohomology with spectral sequences","cited_arxiv_id":null,"evidence_quote":"Establishes the spectral-sequence method for BRS cohomology that the entire calculation uses."},{"cited_title":"BRS cohomology of the supertransla- tions in D = 4","cited_arxiv_id":null,"evidence_quote":"Gives the cohomology of the supertranslation structure operator that fixes the allowed ghost structure in E1."},{"cited_title":"Higher Spin BRS Cohomology of Supersymmetric Chiral Matter in D=4","cited_arxiv_id":"hep-th/9308013","evidence_quote":"Prior higher-spin BRS cohomology calculation without pseudofields that missed the new invariants; the baseline this paper extends."},{"cited_title":"Field Redefinition and Renormalization in Gauge Theo- ries","cited_arxiv_id":null,"evidence_quote":"States the renormalization conjecture that counterterms split into delta_BRS F plus field-only invariants, which the new invariants contradict."}],"review_version":1}