{"id":"c9e9b09b-387f-4d90-9de5-3696071bbdf6","arxiv_id":"2511.07246","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Killing (super)algebras on generalised spin manifolds are filtered subdeformations of the R-symmetry-extended Poincaré superalgebra, classified by Spencer cohomology in the highly supersymmetric Lorentzian case and used to reconstruct homogeneous backgrounds.","lead":"Killing superalgebras — symmetry structures built from Killing vectors, gauge transformations and parallel spinors — are defined on manifolds with generalised 'spin-R' structures and shown to be filtered subdeformations of the R-symmetry-extended Poincaré superalgebra. A theorist studying supersymmetric geometry would read it because it unifies previously ad-hoc constructions and specifies when a background can be reconstructed from its symmetry algebra.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Realisability (Def. 44) is hand-imposed and may omit the F≠0 gauged sector; Theorem 50's reconstruction also leaves the admissibility of the constructed pair conditional.","rationale":"The reader's weakest assumption correctly identifies the hand-imposed realisability condition as the main source of uncertainty. I agree that this is the most load-bearing point: the reconstruction theorem only applies to realisable deformations, and the author himself calls Definition 44 'not entirely satisfactory'. However, I also see a second, related gap that the reader did not explicitly separate out: even for realisable deformations, Theorem 50 does not prove that the constructed pair (D,ρ) is admissible on the full space of parallel spinors; the proof stops short of verifying Definition 18. Both issues point to the same conclusion: the algebraic classification is solid, but the geometric reconstruction direction is conditional. Since the paper is candid about the caveats and the reader already assigned CONDITIONAL, I do not recommend changing the verdict.","tokens_in":56533,"tokens_out":26219,"duration_ms":282087,"concrete_test":"Take the simplest nontrivial Lorentzian spin-R background with non-flat R-connection (for example a homogeneous space with F≠0 and nonzero α), and compute the space of D-parallel spinors from Theorem 17. If such a background has dim bS_D > 1/2 dim S and F≠0, localise its Killing superalgebra and check whether the resulting deformation satisfies λ2=0 and θ̃2=0; failure would show Definition 44 is genuinely restrictive and Theorem 50 does not cover all admissible pairs. If no such highly supersymmetric F≠0 background exists, then the realisability constraint is automatic in this regime and the main concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central correspondence is: realisable filtered subdeformations of the r-extended flat model are exactly the Killing superalgebras of homogeneous spin-R backgrounds. This is undercut by Definition 44, which requires λ2=0 and θ̃2=0 'by hand'. Remark 43 identifies θ̃2 with the R-symmetry field strength F, and Remark 19 notes that local transitivity forces F=0 in the highly supersymmetric case because ı_X F=0 for all X in bV(D,ρ) and κ(bS_D,bS_D) spans the tangent space. Thus Theorem 50 reconstructs backgrounds only from deformations with F=0, omitting the gauged F≠0 sector that motivates the paper. Moreover, the proof of Theorem 50 does not verify that the constructed (D,ρ) is admissible: it only shows Ψ(g1)⊆bS_D and notes that admissibility follows 'in particular if Ψ(g1)=bS_D'. If bS_D is strictly larger, Definition 18 conditions (96)–(99) may fail. The 'vice versa' direction is therefore weaker than stated unless these gaps are closed.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines Killing (super)algebras associated to connections on spinor bundles over pseudo-Riemannian manifolds equipped with a spin-R structure, i.e. a generalised spin structure twisted by an R-symmetry group. The even part consists of restricted Killing vector fields together with infinitesimal R-gauge transformations, and the odd part consists of parallel spinors for an admissible pair (D,rho). The main structural result, Theorem 20, shows that such a Killing (super)algebra is a filtered subdeformation of the r-extended flat model superalgebra. The algebraic part of the paper uses Spencer cohomology to study filtered subdeformations of this extended flat model, obtaining an integration theorem (Theorem 42) for admissible, integrable cocycles, and introduces the class of geometrically realisable deformations (Definition 44). The final reconstruction theorem (Theorem 50) asserts that, with some caveats, a geometrically realisable highly supersymmetric deformation arises from a homogeneous spin-R background and embeds into its Killing superalgebra.","tokens_in":56744,"tokens_out":5284,"duration_ms":59510,"significance":"If the main theorems are correct, the paper provides a substantial generalisation of earlier work by de Medeiros–Figueroa-O’Farrill–Santi and by the author: it places R-twisted Killing superalgebras in a global geometric setting, introduces a covariant Cartan calculus for spin-R structures, and connects the geometry to Spencer-cohomology classification of filtered subdeformations. The paper is also commendably honest: it repeatedly flags its own caveats, notably in Remarks 19 and 43, and it does not claim more than the proofs support in the final theorem. The derivation is parameter-free and largely self-contained, and the writing is careful. The main caveat is that the core geometric-algebraic correspondence is ultimately conditional: the class of geometrically realisable deformations is defined by hand-imposed vanishing conditions, and the reconstruction theorem leaves admissibility of the constructed pair open. These issues are acknowledged by the author, but they currently prevent the advertised 'correspondence' from being a fully established theorem in the gauged R-symmetry case.","major_comments":[{"comment":"Geometric realisability is imposed by hand: a representative cocycle is required to satisfy λ2 = 0 and θ̃2 = 0. Remark 43 identifies θ̃2 with the R-symmetry field strength F, and Remark 19 notes that local transitivity forces F = 0. Since Theorem 50 reconstructs backgrounds only from geometrically realisable deformations, and its proof uses θ̃2 = 0 to conclude F = 0, the advertised correspondence excludes exactly the gauged F ≠ 0 sector that motivates the paper. The author explicitly says Definition 44 is 'not entirely satisfactory', but as it stands this is a load-bearing restriction rather than a derived condition.","section":"Definition 44, Remarks 19 and 43, Theorem 50"},{"comment":"The proof of Theorem 50 constructs a connection D and a bundle map ρ, but it does not verify the four admissibility conditions of Definition 18 for the pair (D,ρ). The closing sentence says the embedding holds 'if (D,ρ) is an admissible pair, in particular if Ψ(g1) = bS_D', but neither hypothesis is established. Thus the unconditional part of the theorem is only the existence of the homogeneous structure and a linear map Ψ; the stronger statement that the deformation embeds into the Killing superalgebra is conditional. If Ψ(g1) is strictly smaller than bS_D, admissibility of the full pair is not automatic, and the reconstruction claim in the abstract is therefore overstated.","section":"Theorem 50, Definition 18, equations (96)–(99)"},{"comment":"The algebraic classification and reconstruction are confined to Lorentzian signature, causal Dirac currents, and dim S′ > ½ dim S. This restriction is quoted from [11,48] and is clearly stated, so it is not internally inconsistent. However, it means the central correspondence is not a general statement for all generalised spin manifolds, despite the title's generality. The paper's own abstract and introduction are careful about this, but the reader should be aware that the 'highly supersymmetric' analysis is a special case rather than the full setting.","section":"§4.3.1, Theorem 27"}],"minor_comments":[{"comment":"In the hypothesis of Theorem 42, the expression 'i∗(α+β+γ+δ)' should read 'i∗(α+β+γ+ρ)'; there is no δ in the Spencer cocycle at this point.","section":"Theorem 42 statement"},{"comment":"In the bracket list (225), the term '[a, v] = [a, λ2(v)]' is labelled with underbrace 'h', but the preceding discussion and equation (204) show it should take values in r′, not h. This is presumably a typo, but it is in a central theorem.","section":"Theorem 42, bracket formulas"},{"comment":"Several minor typographical issues: Definition 2 contains 'let Let κ'; Definition 18 has 'the the Killing spinor equation'; and in the discussion after equation (24) the notation R is sometimes used where R = R/Z₂ is meant. These do not affect the mathematics.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The author is unusually transparent about the limitations of Definition 44 and the conditional nature of Theorem 50. I do not think rejection is warranted; the geometric framework and Spencer-cohomology analysis are valuable. However, the paper's advertised geometric↔algebraic correspondence is not yet a theorem in the gauged case. I would ask the authors either to replace the hand-imposed realisability condition by a homological or geometric characterisation, or to rephrase the paper's claims so that the F ≠ 0 sector is explicitly left open and Theorem 50 is stated only as a conditional embedding. Once that framing is corrected, the paper should be publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Net take: this is a genuine extension of the author's SIGMA framework to spin-R manifolds, with four provably new theorems, but the central geometric-realisability condition is imposed by hand and the reconstruction is more conditional than it first looks. The paper is upfront about both, which counts for something.\n\nWhat's new: Theorem 17 gives necessary and sufficient conditions for a Lie superalgebra to exist from an admissible pair (D,ρ); Theorem 20 proves it is a filtered subdeformation of the r-extended flat model; Theorem 42 identifies the integrable admissible Spencer cohomology classes; Theorem 50 reconstructs homogeneous backgrounds. These statements genuinely reduce to [10] when the R-sector is trivial, and the paper says so. The covariant Cartan calculus and the bundle Dirac current lemma are useful and appear correct.\n\nWhat's good: the proofs are structured, mostly self-contained, and the paper repeatedly flags its own caveats. I didn't find a fatal flaw. The long Jacobi computations in §4 were hard for me to check line-by-line, and I didn't do the independent verification, so I'd want a referee to do that.\n\nSoft spots, in proportion: Definition 44 is hand-imposed λ₂=0 and θ̃₂=0. Remark 43 itself says θ̃₂ would naturally be F, the R-symmetry field strength, and Remark 19 notes local transitivity forces F=0. So the class of geometrically realisable deformations excludes the gauged F≠0 sector that motivated the paper. That is exactly the gap the author names but does not close. Theorem 50 is similarly weaker than the 'vice versa' claim: the proof constructs (D,ρ) and shows Ψ(g₁)⊆S_D, but admissibility of (D,ρ) is only obtained if Ψ(g₁)=S_D or by an extra assumption; the final clause of the theorem admits this. So the bijective correspondence is really an implication plus a partial converse. The Lorentzian restriction comes from the Homogeneity Theorem; outside that, the classification part doesn't apply. Some proofs are deferred to [10]. All of these are real but none are disqualifying.\n\nThe circularity concern — that the Spencer-cohomology machinery was built by the same lineage — isn't, by itself, a defect; the self-citation pattern is honest and consistent.\n\nWho it's for: people working on Killing superalgebras, supergravity backgrounds, and generalised spin geometry. I'd cite it if I worked on extended Poincaré superalgebras. It deserves serious refereeing, with specific instructions: verify §4, pressure-test Definition 44, and pin down exactly what Theorem 50 proves about admissibility.\n\nRecommendation: send it to a referee. The core is sound and the caveats are documented; with moderate revision it becomes a solid reference.","headline":"Real content for spin-R Killing superalgebras, but geometric realisability is hand-imposed and the reconstruction is only a partial converse.","tokens_in":57357,"tokens_out":2883,"would_cite":true,"duration_ms":32914,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B70","17B81","53C27","53C30","53C50"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes that the symmetry superalgebra generated by Killing vectors, Killing spinors, and infinitesimal R-symmetry gauge transformations on a spin-R manifold is always a filtered subdeformation of the R-symmetry-extended Poin","keywords":["Killing superalgebras","spin-R structures","generalised spin structures","R-symmetry","filtered subdeformations","Spencer cohomology","Killing spinors","homogeneous supersymmetric backgrounds"],"falsifier":"A single concrete highly supersymmetric Lorentzian spin-R background with non-zero R-symmetry field strength F (for example, a gauged supergravity solution with charged gravitini) whose Killing superalgebra has localised deformation data with θ̃₂ ≠ 0 would falsify the claim that realisable deformations (λ₂ = θ̃₂ = 0) exhaust the symmetry superalgebras of spin-R backgrounds; equivalently, an admissible integrable Spencer cocycle with λ₂ ≠ 0 that integrates to a filtered deformation satisfying all Jacobi identities, yet is not geometrically realisable, would disprove completeness of the correspo","tokens_in":56289,"feed_emoji":"⚛️","tokens_out":7269,"duration_ms":67898,"temperature":0.7,"pith_summary":"The paper defines a Killing (super)algebra for a connection on a spinor bundle over a spin-R manifold, where the usual spin structure is twisted by an internal R-symmetry group so that fermions can exist on spaces that are not spin. To make the algebra close, the even part must include not only Killing vectors but also infinitesimal gauge transformations of the R-bundle, and the spinor-spinor bracket needs a map pairing spinors into such gauge transformations alongside the Dirac current. The central structural claim is that every such Killing superalgebra is a filtered subdeformation of the r-extended flat model superalgebra, meaning it is obtained from the R-symmetry-extended Poincaré superalgebra by controlled bracket deformations. Using Spencer cohomology, the paper identifies, in Lorentzian signature with more than half the spinor module parallel, which deformations are geometrically realisable, and proves a converse reconstruction theorem from such deformations to homogeneous spin-R backgrounds. If correct, this yields a precise algebraic characterisation of symmetry superalgebras for supersymmetric backgrounds with gauged R-symmetry.","feed_headline":"Killing superalgebras deform the extended Poincaré algebra","feed_subtitle":"On spin-R manifolds, the full symmetry superalgebra is a filtered subdeformation of the R-extended flat model.","key_machinery":"The central object is the Killing (super)algebra of an admissible pair (D, ρ), which pairs a connection D on the twisted spinor bundle with a map ρ that sends pairs of spinors into infinitesimal R-symmetry gauge transformations. Its flat template is the r-extended flat model superalgebra bs = V ⊕ S ⊕ (so(V)⊕r), the Poincaré superalgebra extended by the R-symmetry algebra. The proof machinery is Spencer (2,2)-cohomology of the graded subalgebra a = V′ ⊕ S′ ⊕ (h⊕r′): a₀-invariant cohomology classes control the infinitesimal deformations, and the Homogeneity Theorem makes κ surjective onto V in the highly supersymmetric Lorentzian case, reducing homological conditions to simple algebraic ones.","core_discovery":"The core claim is Theorem 20: for any admissible pair (D, ρ) on a spin-R manifold, the Killing (super)algebra bK(D,ρ) = bV(D,ρ) ⊕ R(D,ρ) ⊕ bS_D is a filtered subdeformation of the r-extended flat model superalgebra associated to (R^{s,t}, S, κ). Theorem 17 gives the exact pointwise conditions under which this object is a genuine Lie superalgebra, and Theorem 50 shows that a geometrically realisable deformation reconstructs a homogeneous spin-R background whose Killing superalgebra contains the deformation. The net geometric-algebraic correspondence is that the symmetry superalgebras of spin-R backgrounds are exactly the realisable filtered subdeformations of the r-extended Poincaré superalge","pith_inferences":["The paper's own realisability definition (λ₂ = θ̃₂ = 0) is acknowledged to be unnatural, and since θ̃₂ is naturally interpreted as the R-symmetry field strength, I infer that a future relaxation of the admissibility conditions would let the correspondence extend to the gauged F ≠ 0 case that motivates the whole construction.","Because the Homogeneity Theorem is the keystone, I infer that the classification is genuinely tied to Lorentzian signature, causal Dirac currents, and the > ½ dim S threshold; other signatures or smaller Killing-spinor spaces may admit Killing superalgebras not captured by the Spencer-based list.","The reconstruction theorem produces homogeneous backgrounds, so I infer that a local version obtained by patching homogeneous models could characterise all highly supersymmetric spin-R backgrounds, not only those with a transitive isometry group.","Since the δ-cocycle structure is complicated by the r-extension and the normalised cochains are not a₀-invariant without a section of the Dirac current, I infer that a practical classification scheme will require additional data beyond the Lie-pair data used in the unextended case."],"forward_implications":["Any Killing superalgebra on a spin-R manifold is always a filtered subdeformation of the r-extended Poincaré superalgebra, so structural questions about such symmetry algebras reduce to Spencer cohomology of the flat model.","Theorem 17 gives a concrete pointwise criterion for when a connection and a spinor-pairing map define a genuine Lie superalgebra, making admissibility checkable in examples.","In highly supersymmetric Lorentzian signature, only admissible, integrable Spencer cohomology classes can arise as Killing superalgebras, yielding a classification scheme for such symmetries.","Every geometrically realisable deformation is realised as a subalgebra of the Killing superalgebra of a homogeneous spin-R background, so the algebraic classification produces actual geometries.","The reconstruction applies only when the R-symmetry field strength F vanishes on contraction with the restricted Killing vectors; genuinely gauged backgrounds with F ≠ 0 lie outside the current framework."],"fun_headline_variants":["Superalgebra symmetry from deformed spin-R spaces","Killing superalgebras as deformations of Poincaré","Spin-R geometries and their Killing superalgebras","Filtered superalgebras from spin-R backgrounds","Deforming Poincaré: Killing superalgebras on spin-R"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is geometric realisability (Definition 44): the R-symmetry gauge-sector deformation maps λ₂ and θ̃₂ are set to zero by hand, so the correspondence excludes the very gauged backgrounds (F ≠ 0) that motivate the paper, and the classification also depends on the Lorentzian Homogeneity Theorem with more than half the spinor module Killing.","fun_headline_variants_meta":{"raw":{"variants":["Superalgebra symmetry from deformed spin-R spaces","Killing superalgebras as deformations of Poincaré","Spin-R geometries and their Killing superalgebras","Filtered superalgebras from spin-R backgrounds","Deforming Poincaré: Killing superalgebras on spin-R"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000624,"raw_usage":{"total_tokens":2732,"prompt_tokens":754,"completion_tokens":1978,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":498,"completion_tokens_details":{"reasoning_tokens":1901}},"tokens_in":498,"tokens_out":1978,"duration_ms":14765,"temperature":1.0,"reasoning_tokens":1901,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T23:04:17.905888+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A single concrete highly supersymmetric Lorentzian spin-R background with non-zero R-symmetry field strength F (for example, a gauged supergravity solution with charged gravitini) whose Killing superalgebra has localised deformation data with θ̃₂ ≠ 0 would falsify the claim that realisable deformations (λ₂ = θ̃₂ = 0) exhaust the symmetry superalgebras of spin-R backgrounds; equivalently, an admissible integrable Spencer cocycle with λ₂ ≠ 0 that integrates to a filtered deformation satisfying all Jacobi identities, yet is not geometrically realisable, would disprove completeness of the correspo","supporting_citations":[],"review_version":1}