{"id":"62c935a1-8a33-432a-9fcd-69584e5175b7","arxiv_id":"2412.17713","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"Interactions of partially massless spin-2 with spin-3/2 fields are obstructed at second order unless a massless graviton is added, leading to N=1 conformal supergravity.","lead":"This paper analyzes how a partially massless spin-2 field can interact with massless and massive spin-3/2 fields in anti-de Sitter spacetime. It finds that the only way to make the interactions consistent is to add a massless graviton, which points to N=1 conformal supergravity.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Final uniqueness claim rests on an unproven second-order computation: the obstructions in (5.5)-(5.9) are not shown to be nontrivial in H(gamma|d), and the massless-graviton cure is not actually computed.","rationale":"The reader's verdict is CONDITIONAL, and my concern does not move it: the cubic classification and the first-order vertex construction are detailed, internally consistent, and cross-checked against Zinoviev's independent work, so the paper's core contribution stands. However, the strongest claim — uniqueness of consistent interactions and identification with N=1 conformal supergravity — depends on the second-order obstruction analysis and on the claim that adding a massless graviton removes it. The paper explicitly says the second part is 'argued' and 'potentially' consistent, not proven; the paper itself contains the limitation in Section 5. My concern is more specific than the reader's weakest_assumption: it is not the general perturbative framework that is most at risk, but the missing verification that O1–O5 are genuine cohomology classes and the missing explicit solution of the second-order descent for the combined system. If a future check shows any Oi to be γ-exact, the 'obstruction' would be an artefact of the chosen representative, and the exclusion argument would collapse; conversely, if the full second-order computation is completed and yields conformal supergravity, the central claim would be strongly supported. Hence the condition on the reader's verdict is appropriate, and no change is needed.","tokens_in":30197,"tokens_out":3818,"duration_ms":38309,"concrete_test":"Independently compute the full second-order BRST-BV descent (5.2)-(5.4) for the system of Section 4, first without the graviton: (i) determine whether each Oi in (5.5)-(5.9) is trivial in H(gamma|d) by attempting to write it as gamma(...)+total divergence using the ambiguity relations of Section 3.2; if any is trivial, redo the second-order analysis with a corrected representative of a2. (ii) Then repeat the computation with the massless graviton included using the ansatz (5.10)-(5.13) and solve for b0,b1,b2 explicitly; verify that a unique solution emerges at order g^2, and check whether the resulting deformed action coincides with the cubic-plus-quartic truncation of N=1 conformal supergravity around AdS4.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central conclusion of Section 5 — that the only consistent completion is N=1 conformal supergravity — is load-bearing but is not demonstrated. The obstruction to second order is computed only from the antibracket (a2,a2) in Eq. (5.4), yielding the five terms O1–O5 in (5.5)-(5.9). However, an obstruction in BRST-BV cohomology is the class of this expression in H(gamma|d), not the expression itself. The paper does not verify that O1–O5 are nontrivial in H(gamma|d); in the PM spin-2 sector the ghosts C and ∇_μC are nontrivial cohomology classes and the ambiguity relation (3.11) can make naive-looking terms γ-exact. If any Oi is γ-exact up to a total derivative, the claimed obstruction disappears and the first-order vertex could extend to second order. Furthermore, the purported cure by adding a massless graviton is not computed: after listing aEH2, aWeyl2 and asugra2 in (5.10)-(5.13), the paper only states that they 'potentially lead to a consistent model at second order'. No solution of the full second-order descent (5.2)-(5.4) is exhibited, and no proof is given that the combined deformation is the unique completion, nor that it indeed reproduces conformal supergravity beyond cubic order. Thus the strong 'only consistent theory' claim is not established by the computations presented; it remains a conjecture, albeit a plausible one.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies parity-invariant, local, non-Abelian deformations of free theories on a fixed (A)dS4 background whose spectrum contains a partially massless (PM) spin-2 field and spin-3/2 fields, using BRST-BV-Stueckelberg and cohomological deformation methods. Sections 2–3 analyze the shortest PM supermultiplet of Garcia-Saenz–Hinterbichler–Rosen and find two Abelian vertices coupling massless and massive gravitini to a vector field (Eqs. (3.22) and (3.24)) plus a minimal electromagnetic coupling for massive gravitini (Eq. (3.37)); the authors conclude that the rigid supersymmetry of that multiplet cannot be gauged without extra fields. Section 4 classifies cubic non-Abelian deformations of the system consisting of a PM spin-2 field and a doublet of massless gravitini, obtaining a unique vertex (Eq. (4.16)) equivalent to Zinoviev's vertex and a gauge algebra closely resembling that of N=2 supergravity. Section 5 computes a second-order antibracket obstruction (Eqs. (5.5)–(5.9)), interprets it as a Jacobi-identity failure, and argues that adding a massless graviton, another massless gravitino, and a massless vector produces the spectrum of N=1 conformal supergravity, which would resolve both problems.","tokens_in":30553,"tokens_out":7770,"duration_ms":77168,"significance":"If the final uniqueness statement were fully established, the paper would significantly strengthen the case that PM spin-2 fields can only interact with spin-3/2 fields through conformal (super)gravity, complementing earlier no-go results for PM spin-2 couplings. The explicit first-order vertex (4.16), its derivation via BRST-BV cohomology, and the detailed comparison with N=2 supergravity are valuable and independently useful. The paper is also commendably explicit about its free parameters (b_ΔΩ, M_ΔΣ) and about many of its working assumptions. However, the strongest advertised conclusion — that N=1 conformal supergravity is the only consistent completion — is supported only by partial computations and by the authors' own admission that the complete analysis 'has yet to be completed'; the manuscript itself labels several steps as potential or indicative rather than proven.","major_comments":[{"comment":"The obstruction computation is incomplete as presented. Equation (5.4) requires solving γb2 = −(1/2)(a2,a2) + d(...) in local BRST-BV cohomology, so the obstructions are the classes of the five terms O1–O5 in H(γ|d), not the terms themselves. The paper does not show that O1–O5 are nontrivial classes: no analysis of γ-exactness modulo total derivatives is given, and the ambiguity relations of §3.2 show that apparently nonvanishing combinations of ghosts can be γ-exact in the PM sector. Unless nontriviality in H(γ|d) is established (or the O_i are explicitly shown to be independent), the statement that these obstructions 'cannot vanish' unless b_ΔΩ = 0 is not fully demonstrated.","section":"§5, Eqs. (5.5)–(5.9)"},{"comment":"The proposed cure by the massless graviton is not computed. The paper lists aEH2, aWeyl2, and asugra2 and states that their addition produces new obstruction terms that combine with (5.5)–(5.9) and 'potentially lead to a consistent model at second order'; it also states that the complete analysis 'has yet to be completed'. No solution of the full second-order descent (5.2)–(5.4) for the combined deformation is exhibited, and no proof is given that the combined deformation is unique or that it reproduces N=1 conformal supergravity beyond cubic order. Since the abstract and conclusions present N=1 conformal supergravity as the only consistent theory, this claim currently exceeds what the computation establishes; it should be either proved or explicitly labelled as a conjecture throughout the paper, including the abstract.","section":"§5, after Eq. (5.13)"}],"minor_comments":[{"comment":"The word 'masseless' in the abstract is a typo and should read 'massless'.","section":"Abstract"},{"comment":"The sentence 'It is unvariant (up to total derivatives)' contains a typo: 'unvariant' should be 'invariant'.","section":"§2.3, after Eq. (2.20)"},{"comment":"The phrase 'relatively ghostly' used for the partially massless spin-2 field is informal and potentially confusing; 'shadow' or 'ghost-like' would be clearer in a journal paper.","section":"§5, Table 3 discussion"},{"comment":"The rewriting of the cubic action using the matrices (E_a^μ)_ΔΩ is described as 'suggestive', but the text does not explicitly show where the equivalence with Eq. (4.22) is verified; please indicate the calculation or a reference for this equivalence.","section":"§4.5, Eqs. (4.30)–(4.31)"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a substantial and mostly careful cohomological computation, and the first-order classification and vertex are solid contributions. The main gap is that the strongest claim in the abstract and conclusions — uniqueness of N=1 conformal supergravity as the consistent completion — is not demonstrated by the second-order computation; the paper's own caveats acknowledge this. I believe this is fixable either by completing the cohomology check and the second-order analysis, or by uniformly re-labelling the final statement as a conjecture. I do not see grounds for rejection, but the manuscript in its current form overstates what is proven."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper deserves a serious referee. It gives a clean classification of cubic, parity-invariant, non-Abelian deformations for a partially massless spin-2 field with a doublet of massless gravitini in AdS4, recovers Zinoviev's vertex from an independent BRST-BV computation, and identifies a second-order obstruction. That is real work, and the explicit vertices and gauge transformations are checkable.\n\nThe most useful part is Section 4: the uniqueness of the cubic vertex and the close analogy with N=2 pure supergravity, with the diffeomorphism parameter replaced by ∇_μC. That is new and goes beyond Zinoviev's paper. The two Abelian vertices in Section 3 are also new and are written in unitary gauge.\n\nThe soft spots are exactly where the stress-test note lands. In Section 5, the obstructions O1–O5 are presented as if their vanishing is impossible, but the paper never verifies that these combinations are nontrivial classes in H(γ|d). Most likely they are, because they are built from the independent cohomology classes C, ∇_μC, τ, and antifields, but the argument is not given. A referee should ask for that check. Similarly, the road to conformal supergravity is stated, not computed: the paper lists a_EH2, a_Weyl2, a_sugra2 and says they \"potentially\" combine to cancel the obstruction, but no second-order solution b2 is exhibited. To the paper's credit, the abstract and conclusions say \"argue,\" not \"prove,\" so it is honest about the gap. Still, the phrase \"the only consistent theory\" in the abstract is stronger than what is shown; it is a plausible conjecture.\n\nThe citation pattern is fine: the paper builds on the authors' earlier BRST-BV work and on Zinoviev's parallel paper, and the comparison is explicit. I don't see a circularity problem.\n\nBottom line: this is a useful, computational paper for the higher-spin and supergravity communities. It deserves peer review and publication after the authors either prove the obstructions are nontrivial in cohomology, or soften the uniqueness claim. I would bring it to a reading group and would cite it if I worked on partially massless couplings.\n\nRecommendation: send to review.","headline":"A careful classification of PM spin-2/gravitini cubic vertices with an honest but incomplete argument for the conformal supergravity resolution.","tokens_in":31038,"tokens_out":2720,"would_cite":true,"duration_ms":25306,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A partially massless spin-2 field with two massless gravitini admits exactly one non-Abelian cubic vertex on AdS4, but the gauge algebra fails to close at second order, and the paper argues that N=1 conformal supergravity is the only…","keywords":["partially massless spin-2","AdS4","supergravity","BRST-BV deformation","cubic interaction vertices","gauge algebra obstruction","conformal supergravity","spin-3/2 fields"],"falsifier":"Take the deformed gauge algebra (4.18) with a concrete nonzero symmetric antidiagonal matrix $b_{\\Delta\\Omega}$ (for instance two gravitini with $M=\\mathrm{diag}(+1,-1)$ and $b_{12}=b_{21}\\neq0$), compute the antibracket $(a_2,a_2)$, and check whether any local $b_2$ solves Eq. (5.4); if the five obstructions (5.5)–(5.9) can be cancelled for some nonzero $b$, the paper's obstruction claim would be refuted, and an explicit action satisfying the full master equation to all orders and reducing to (4.16) at cubic order would be a direct counterexample to the claimed uniqueness.","tokens_in":30029,"feed_emoji":"⚛️","tokens_out":13238,"duration_ms":111540,"temperature":0.7,"pith_summary":"The paper asks whether a partially massless spin-2 field — a spin-2 mode whose gauge symmetry fixes its mass in terms of the cosmological constant, so it propagates only on (anti-)de Sitter backgrounds — can interact consistently with spin-3/2 fields around anti-de Sitter spacetime, and whether those interactions can make local the rigid supersymmetry of the shortest partially massless supermultiplet. Using BRST–BV cohomology, it classifies all parity-invariant cubic deformations of the free theory. For a partially massless spin-2 field plus a doublet of massless gravitini — the same helicity spectrum as $\\mathcal{N}=2$ pure supergravity — there is exactly one non-Abelian cubic vertex, and its gauge algebra is the $\\mathcal{N}=2$ supergravity algebra with the diffeomorphism ghost replaced by the gradient of the PM gauge parameter. That vertex is obstructed at second order: the Jacobi identity fails unless the deformation structure $b_{\\Delta\\Omega}$ is set to zero. Adding a massless graviton removes the obstruction, and the resulting field content is that of $\\mathcal{N}=1$ conformal supergravity, which the paper proposes as the unique consistent theory for this set of fields.","feed_headline":"Unique cubic vertex for partially massless supergravity is blocked","feed_subtitle":"It fails the Jacobi identity; adding the graviton leaves conformal supergravity as the only consistent theory.","key_machinery":"The engine is the BRST–BV antifield deformation method, a cohomological bookkeeping that turns the classification of consistent interactions into the solving of a master equation; the descent equations read off deformations of the gauge algebra, of the gauge transformations, and of the Lagrangian from terms of antifield number two, one, and zero. The load-bearing comparison is the dictionary $\\nabla_\\mu C \\leftrightarrow \\xi_\\mu$ between the PM gauge parameter and the diffeomorphism ghost of $\\mathcal{N}=2$ supergravity, which turns the unique PM vertex into a minimal-coupling vertex structure with the graviton replaced by the PM field and a symmetric antidiagonal matrix $b_{\\Delta\\Omega}$ contracting the two gravitini. The obstruction is computed in the antibracket $(a_2,a_2)$; the five terms (5.5)–(5.9) are the explicit failure of the Jacobi identity that blocks the second order.","core_discovery":"Starting from the free theory of a partially massless spin-2 field $h_{\\mu\\nu}$ and a doublet of massless real spin-3/2 fields $\\varphi^\\Delta_\\mu$ on AdS4, the paper classifies the possible parity-invariant non-Abelian deformations and finds a single candidate cubic vertex, Eq. (4.16), equivalent to a vertex obtained independently in a different formalism. The associated deformation of the gauge algebra reproduces the structure constants of $\\mathcal{N}=2$ pure supergravity once $\\nabla_\\mu C$ is identified with the diffeomorphism ghost, with one exception: the structure constant that encodes local Lorentz rotations vanishes identically because the diffeomorphism vector is a gradient. At second order the deformation is obstructed: the antibracket of the algebra deformation produces five terms, Eqs. (5.5)–(5.9), which cannot vanish for any nonzero deformation matrix $b_{\\Delta\\Omega}$, signaling failure of the Jacobi identity and therefore no consistent quadratic completion within this spectrum. The paper also analyzes the enlarged spectrum that adds a massless vector and a massive spin-3/2 field, finds two Abelian vertices but again an obstruction, and concludes that the rigid supersymmetry of the shortest partially massless supermultiplet cannot be made local without extra fields. The extra field that works is the massless graviton: the resulting spectrum is exactly that of $\\mathcal{N}=1$ pure conformal supergravity around AdS4, and the paper argues this is the only consistent non-Abelian theory coupling partially massless spin-2 fields to massless and massive spin-3/2 fields.","pith_inferences":["If the obstruction is algebraic and not an artifact of the chosen representation, then alternative formulations (frame-like, light-cone, or Hamiltonian) of the same spectrum should hit the same wall; re-running the classification in a frame-like formulation would test this.","The dictionary $\\nabla_\\mu C \\leftrightarrow \\xi_\\mu$ may be a general translation device between partially massless and massless spin-2 interaction problems; deriving known conformal-gravity vertices purely from PM structures would be a sharp test.","The paper's conclusion would gain further weight if the same uniqueness held in dS4, where PM fields are unitary; extending the analysis with the spinor representations adapted to dS4 would show whether conformal supergravity remains the only completion there.","The two Abelian vertices found in the massive sector suggest a possible alternative research line: keeping the gauge algebra Abelian and pursuing higher-order Abelian deformations, since the obstruction proven here rules out non-Abelian completions but does not by itself close that door."],"forward_implications":["The rigid supersymmetry of the shortest partially massless supermultiplet in AdS4 cannot be gauged with that field content alone; local consistency forces additional fields into the spectrum.","Any parity-invariant non-Abelian deformation of the PM spin-2 plus two-massless-gravitini system must start from the unique cubic vertex (4.16), so there is no alternative cubic structure within the stated assumptions.","By itself the cubic vertex is not the seed of a perturbative theory: at second order the deformation parameter $b_{\\Delta\\Omega}$ must vanish unless new fields modify the algebra.","Adding the massless graviton simultaneously cures the Jacobi-identity obstruction and the failure to localize supersymmetry, and the resulting spectrum is that of $\\mathcal{N}=1$ conformal supergravity around AdS4.","In the massive-sector analysis, the two Abelian vertices coupling a massive spin-3/2, a massless gravitino and a vector exist only in AdS4 and deform the gauge transformations without deforming the gauge algebra, while the minimal electromagnetic coupling of an equal-mass pair of massive spin-3/2 fields is consistent on both AdS4 and dS4."],"supporting_citations":[{"why":"Supplies the BRST-BV-Stueckelberg deformation method used to handle massive spin-3/2 and partially massless spin-2 fields with Stueckelberg companions.","marker":"[34]"},{"why":"Introduces the cohomological deformation of the master equation that underlies the classification of consistent couplings.","marker":"[36]"},{"why":"Provides the consistent-interactions formulation that the paper follows in classifying non-Abelian deformations.","marker":"[37]"},{"why":"Defines the shortest partially massless supermultiplet in AdS4 whose rigid supersymmetry the paper tries to make local.","marker":"[24]"},{"why":"Gives the BRST-BV analysis of N=2 pure supergravity whose gauge algebra, transformations, and vertex serve as the comparison template.","marker":"[35]"},{"why":"Presents the non-Abelian vertex that this paper re-derives and shows equivalent to its Eq. (4.16).","marker":"[38]"},{"why":"Establishes the massless and partially massless spin-1/spin-2 couplings whose Weyl deformation is invoked to cure the obstruction.","marker":"[22]"},{"why":"Provides the Einstein-Hilbert deformation of the diffeomorphism gauge algebra used in the proposed resolution.","marker":"[39]"},{"why":"Constructs conformal supergravity, whose AdS4 spectrum the paper uses to identify the unique completion.","marker":"[25]"},{"why":"Gives the earlier consistent couplings between a massive spin-3/2 field and a PM spin-2 field that motivate the massive-sector analysis.","marker":"[23]"}],"fun_headline_variants":["Partially massless supergravity cubic vertex hits Jacobi obstruction","Only consistent theory: conformal supergravity after vertex fails","Graviton addition rescues partially massless supergravity deformations","Cubic vertex for PM supergravity obstructs; graviton completes spectrum","No local supersymmetry for PM multiplets without conformal supergravity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole conclusion rests on assuming that any consistent interaction can be built perturbatively, order by order in a coupling constant, from the free theory on a fixed anti-de Sitter background, using only local, parity-invariant deformations of the BRST–BV master equation; if a non-perturbative or non-local completion evades this setup, the uniqueness and obstruction results do not apply.","fun_headline_variants_meta":{"raw":{"variants":["Partially massless supergravity cubic vertex hits Jacobi obstruction","Only consistent theory: conformal supergravity after vertex fails","Graviton addition rescues partially massless supergravity deformations","Cubic vertex for PM supergravity obstructs; graviton completes spectrum","No local supersymmetry for PM multiplets without conformal supergravity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000414,"raw_usage":{"total_tokens":2250,"prompt_tokens":1170,"completion_tokens":1080,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":786,"completion_tokens_details":{"reasoning_tokens":990}},"tokens_in":786,"tokens_out":1080,"duration_ms":8217,"temperature":1.0,"reasoning_tokens":990,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T05:13:39.419518+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the deformed gauge algebra (4.18) with a concrete nonzero symmetric antidiagonal matrix $b_{\\Delta\\Omega}$ (for instance two gravitini with $M=\\mathrm{diag}(+1,-1)$ and $b_{12}=b_{21}\\neq0$), compute the antibracket $(a_2,a_2)$, and check whether any local $b_2$ solves Eq. (5.4); if the five obstructions (5.5)–(5.9) can be cancelled for some nonzero $b$, the paper's obstruction claim would be refuted, and an explicit action satisfying the full master equation to all orders and reducing to (4.16) at cubic order would be a direct counterexample to the claimed uniqueness.","supporting_citations":[{"cited_title":"Consistent deformations of free massive field theories in the Stueckelberg formulation","cited_arxiv_id":"1806.04695","evidence_quote":"Supplies the BRST-BV-Stueckelberg deformation method used to handle massive spin-3/2 and partially massless spin-2 fields with Stueckelberg companions."},{"cited_title":"Uniqueness of $\\mathcal{N}=2$ and $3$ pure supergravities in 4D","cited_arxiv_id":"1802.02966","evidence_quote":"Gives the BRST-BV analysis of N=2 pure supergravity whose gauge algebra, transformations, and vertex serve as the comparison template."},{"cited_title":"Partially massless spin 2 and supersymmetry","cited_arxiv_id":"2412.04982","evidence_quote":"Presents the non-Abelian vertex that this paper re-derives and shows equivalent to its Eq. (4.16)."},{"cited_title":"Cubic interactions for massless and partially massless spin-1 and spin-2 fields","cited_arxiv_id":"2407.05865","evidence_quote":"Establishes the massless and partially massless spin-1/spin-2 couplings whose Weyl deformation is invoked to cure the obstruction."},{"cited_title":"Consistent couplings between a massive spin-3/2 field and a partially massless spin-2 field","cited_arxiv_id":"2310.05522","evidence_quote":"Gives the earlier consistent couplings between a massive spin-3/2 field and a PM spin-2 field that motivate the massive-sector analysis."}],"review_version":1}