{"id":"b8b46d52-0cf4-4b0a-a4eb-8d73563ec22e","arxiv_id":"2501.02058","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"N=8 supergravity to cubic order is realized as the off-shell double copy of N=4 super Yang-Mills, with N=8 supersymmetry and SU(8) R-symmetry emerging from the two gauge factors.","lead":"This paper constructs maximal N=8 supergravity in four dimensions, up to cubic interactions, as the double copy of N=4 super Yang-Mills theory. Using homotopy algebras, it shows the two copies of supersymmetry combine into N=8 supersymmetry with SU(8) R-symmetry, offering an off-shell, gauge invariant formulation.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The cubic-order identification with N=8 supergravity is not established: no explicit rho2, no verification of N=8 superalgebra closure, and no comparison of cubic vertices with the standard theory; Section 4 checks only the free theory and SU(8) multiplet structure.","rationale":"The paper does substantial constructive work: it builds a BV_l8-compatible supersymmetry action on the kinematic algebra, proves the double-copy formula for Sigma2, and gives a convincing linearized identification with the N=8 spectrum in Section 4. These are nontrivial results and support a conditional acceptance. My concern is narrower: the abstract and the strongest claim assert a cubic-order realization of N=8 supergravity, but the only fully checked statements at interacting level are the algebraic identities (3.11), (3.13), and (3.15), which establish covariance of the field equations under the would-be supersymmetry. Covariance is necessary but not sufficient for an action of the N=8 superalgebra; one must also check closure, e.g. that the commutator of two supersymmetry transformations is a translation plus a gauge transformation up to on-shell terms, and that the cubic vertices equal those of standard N=8 supergravity. The paper does not claim to check closure and explicitly flags in Section 3.2 that eight supercharges do not by themselves imply the N=8 algebra is obeyed. Section 4 supplies the free-field equations and SU(8) organization, but that is representation-theoretic bookkeeping rather than an interacting check. The reader's weakest assumption about the redundant fermionic complex is legitimate but, in my reading, secondary: the explicit field counting in Section 3.3 indicates that the b^- projection selects the correct number of N=8 degrees of freedom, so the spurious-state worry is at least partially mitigated. The unresolved issue is the missing cubic-order verification. This does not invalidate the construction, but it means the claim is currently conditional; therefore the reader's CONDITIONAL verdict is appropriate and I recommend no change.","tokens_in":34207,"tokens_out":10689,"duration_ms":114713,"concrete_test":"Supply the explicit shifted bilinear map rho2(epsilon | u,v) on the color-stripped kinematic algebra (or prove its existence via homotopy transfer), then compute the anticommutator of two supersymmetry transformations generated by Sigma1 and Sigma2 on a generic double-copy field H, using (3.14)-(3.18), to first order in H. Verify closure into a translation plus a B1-exact gauge transformation modulo the free field equations B1 H = 0; if the computation requires unknown higher maps or fails, the claim of an N=8 superalgebra action at cubic order is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the double copy produces an action of the N=8 supersymmetry algebra at cubic order, and hence N=8 supergravity. This requires both the explicit cubic data (the bilinear supersymmetry map Sigma2/rho2 and the L-infinity bracket B2 in the supergravity basis) and a verification that these data satisfy the supersymmetry algebra and match the standard N=8 vertices. The paper gives Sigma2 only through the abstract formula (3.18), with rho2 not given explicitly after the exact shift (2.54). Section 3.2 proves [B1,Sigma2]=[Sigma1,B2], which is covariance of the field equations, but this is weaker than superalgebra closure. The paper itself states in Section 3.2 that the presence of eight supercharges does not imply that the N=8 supersymmetry algebra is obeyed, yet Section 4 then verifies only the linearized field equations and the SU(8) representation content—not closure, and not the cubic couplings. Thus the strongest claim rests on an unverified interacting identification. The redundant fermionic complex of Section 2.2 is a secondary risk: if the added Klein-Gordon component introduces spurious cohomology surviving the b^- projection, the free spectrum would differ, but the explicit field count in Section 3.3 matches N=8, so the more decisive gap is the missing cubic-order check.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops an off-shell double copy of N=4 super Yang-Mills theory in four dimensions with the aim of realizing N=8 supergravity at the level of homotopy algebras. The authors construct a kinematic algebra for N=4 SYM, including a redundant fermionic complex in which the dependent Klein-Gordon equation is added as an independent equation, and show that the corresponding b operator becomes an algebraic degree shift. They then combine two copies of this kinematic algebra to obtain an L-infinity algebra on a level-matched subspace and propose a double-copy prescription for global supersymmetry via maps rho_n(epsilon) and Sigma_n(epsilon). Explicit free-field equations are derived and matched to the linearized spectrum of N=8 supergravity, with the fields reorganized into SU(8) multiplets. The stated claim is that the construction realizes off-shell, local, gauge-invariant N=8 supergravity to cubic order in fields.","tokens_in":34500,"tokens_out":4526,"duration_ms":47413,"significance":"If fully established, this work would be a major step toward a first-principles off-shell double copy of maximal supergravity, arguably the central open problem in the homotopy-algebraic double-copy program. The paper contains several genuinely useful and convincing ingredients: the explicit free-theory analysis in Sections 3.3 and 4, the worldline derivation of the redundant fermionic complex in Appendix B, and the representation-theoretic repackaging of the spectrum into SU(8) multiplets. The free-field identification with N=8 supergravity is presented in detail and is persuasive. However, the advertised cubic-order result is not actually demonstrated: the bilinear supersymmetry map rho_2 is never given explicitly, the closure of the N=8 supersymmetry algebra is not checked, and no comparison of cubic vertices with standard N=8 supergravity is provided. The paper is therefore better described as establishing the free theory and proposing a plausible cubic extension, with the decisive nonlinear verification still missing.","major_comments":[{"comment":"The bilinear supersymmetry map rho_2(epsilon) is never given explicitly. After the shift (2.54), the paper assumes the relation rm1,rho_2(epsilon)s = rrho_1(epsilon),m2s, but no formula, existence proof, or component check for rho_2 is supplied. Since Sigma_2 is defined through rho_2 in equation (3.18), the derivation of (3.15) is conditional on an unproven assumption. The central cubic-order claim therefore lacks its key input; please provide an explicit rho_2 (or a constructive proof of existence) and verify (3.8c) in components.","section":"§3.2, Eqs. (3.8c), (3.18)"},{"comment":"The covariance condition rB1,Sigma_2s = rSigma_1,B2s is weaker than the statement that the double copy carries an action of the N=8 supersymmetry algebra. The authors themselves note in Section 3.2 that the presence of eight supercharges does not imply that the N=8 supersymmetry algebra is obeyed, but Section 4 then verifies only the linearized field equations and the SU(8) multiplet structure. No computation of the graded commutator of two Sigma_1(epsilon) maps, no closure check up to B1-exact terms, and no comparison of the cubic couplings with the standard N=8 supergravity vertices is presented. The claim that N=8 supergravity is realized to cubic order therefore remains unverified at the most decisive point.","section":"§3.2 and §4"},{"comment":"The redundant fermionic complex, in which the dependent Klein-Gordon equation is added as an independent equation and an infinite tower of trivial Noether identities is generated, is assumed not to change the physical content of the double copy after the b- projection (3.2). The worldline BRST construction in Appendix B shows that the complex arises naturally, but it does not prove that the extra cohomology is trivial in the interacting theory. Because the b operator enters the double-copy bracket B2 in (3.4b), a spurious contribution in the fermionic complex could in principle alter the cubic interactions. Please provide a cohomological argument, or at least an explicit demonstration that the added degrees of freedom decouple at cubic order.","section":"§2.2, Eqs. (2.23)-(2.25); Appendix B"},{"comment":"The reorganization of the free fields into SU(8) representations in equations (4.35)-(4.47) does not by itself establish the claimed enhancement of the R-symmetry from SU(4)×SU(4) to SU(8). To prove the enhancement one must show that the field equations and supersymmetry transformations are invariant under the full SU(8), not merely that the fields can be labeled by SU(8) indices. Since the free equations in Section 3.3 are written with manifest SU(4)×SU(4) indices and no SU(8)-covariant form is given, the dynamical R-symmetry enhancement remains an assumption rather than a demonstrated result.","section":"§4.3"}],"minor_comments":[{"comment":"The abstract advertises 'off-shell, local and gauge invariant N=8 supergravity', while Section 5 states that the construction is 'manifestly non-Lagrangian'. This tension should be clarified, perhaps by explicitly defining 'off-shell' as working with gauge-covariant field equations rather than an action.","section":"Abstract and §5"},{"comment":"The shift operator H_1(epsilon) used to redefine rho_1 and rho_2 is never displayed. Giving its explicit action would make the shift (2.54) concrete and would help the reader verify the claimed properties of the shifted rho_1.","section":"§2.4, Eq. (2.54)"},{"comment":"The notation for the Ramond-Ramond bispinors, such as F_A~B and F^A_~B, is dense and easy to confuse. A short table listing the spinor index types and chirality assignments before equation (3.25) would improve readability.","section":"§3.3"},{"comment":"The derivation that the Fang-Fronsdal type equation (4.22) is equivalent to the Rarita-Schwinger equation is terse. A short remark explaining why the step 'sigma-trace of the spin 3/2 equation' yields the vanishing of sigma^{mu nu} Psi_{mu nu} would make the logic easier to follow.","section":"§4.2, Eqs. (4.17)-(4.22)"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the authors' own prior work on the bosonic double copy ([22,25] and related). This is legitimate, but it means that the referee's confidence in the present paper is partly inherited from the correctness of that earlier program. The free-theory identification with N=8 supergravity is solid and valuable, but the abstract's cubic-order claim goes beyond what is actually shown. If the authors can supply an explicit rho_2, a closure check of the N=8 supersymmetry algebra, and a comparison of cubic couplings with the standard theory, the paper would be a significant advance appropriate for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What this paper actually delivers is a new, explicit off-shell double-copy construction of a supersymmetric theory from N=4 SYM: the free theory in Section 4 matches N=8 supergravity field content, field equations, and SU(8) representation structure. That is a real step forward, and the ingredients — the redundant fermionic complex, the b-commuting supersymmetry map rho1, and the doubled supersymmetry maps Sigma1, Sigma2 — are genuinely new. The worldline BRST motivation for the fermionic complex is a nice touch. Credit where due: this is the first time the off-shell double copy is extended to maximal supersymmetry, and the free-field analysis is careful and convincing.\n\nThe soft spot is the leap from 'the free theory looks right' to 'we realize N=8 supergravity to cubic order.' The paper proves covariance of the field equations via [B1,Sigma2] = [Sigma1,B2], but covariance is not closure of the N=8 superalgebra. The paper itself says eight supercharges do not imply the N=8 algebra is obeyed, then Section 4 never verifies the cubic brackets. Sigma2 is defined only through the formal double-copy formula (3.18); rho2 is never explicitly given after the shift (2.54); B3 is never constructed. So the advertised cubic-order identification rests on an unstated existence assumption. That is a load-bearing gap. For a paper that says 'to cubic order,' this is the difference between a construction and a conjecture.\n\nThe redundant fermionic complex is a secondary worry. Adding the dependent Klein-Gordon equations and the infinite tower of Noether identities is justified by a worldline BRST argument, but there is no cohomological proof that the b-projection yields exactly the standard N=8 spectrum. The explicit field count matches, which is reassuring, so I'd call this minor-to-moderate rather than fatal.\n\nThe citation pattern is fine: the paper leans on the authors' prior bosonic double-copy results, but those are published and not re-derived. A reader will need them at hand.\n\nBottom line: this is a serious paper doing new work. It deserves peer review, but the referee must press on the cubic-order claim — either exhibit rho2 and B3, or demonstrate N=8 closure, or soften the claim.","headline":"A genuinely new off-shell double-copy construction, but the cubic-order identification with N=8 supergravity is asserted from free-theory data, not demonstrated.","tokens_in":35055,"tokens_out":3084,"would_cite":true,"duration_ms":29123,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T60","81T13","17B55","83E50"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that N=8 supergravity in four dimensions is, to cubic order in fields, the off-shell double copy of N=4 super Yang-Mills theory, with N=8 supersymmetry and SU(8) R-symmetry emerging from two copies of N=4.","keywords":["double copy","N=8 supergravity","N=4 super Yang-Mills","homotopy algebras","L-infinity algebras","kinematic algebras","color-kinematics duality","R-symmetry"],"falsifier":"Compute the quartic-order $L_\\infty$ brackets of the double copy and test the generalized Jacobi identities together with preservation of the $b_-$ constraint; if the identities fail or the fermionic tower produces extra propagating degrees of freedom, the cubic-order result does not extend to the interacting theory. A cohomological check that the infinite Noether-identity tower is acyclic after the projection would directly settle the physical-equivalence assumption.","tokens_in":33898,"feed_emoji":"🔗","tokens_out":7673,"duration_ms":69725,"temperature":0.7,"pith_summary":"The paper aims to turn the old slogan that N=8 supergravity is the square of N=4 super Yang-Mills into an off-shell, local, and gauge-invariant statement, at least to cubic order in fields. It constructs the kinematic algebra of N=4 SYM in a redundant fermionic formulation so that a purely algebraic b operator exists, then tensors two copies to build an L-infinity algebra on a level-matched subspace. On that double-copy space the two N=4 supersymmetries combine into one N=8 supersymmetry, and the R-symmetry enhances from SU(4) times SU(4) to SU(8). If correct, this gives a first-principle, field-level route from maximal gauge theory to maximal supergravity, going beyond on-shell scattering amplitudes.","feed_headline":"N=8 supergravity built as the square of N=4 Yang-Mills","feed_subtitle":"A local homotopy-algebra construction realizes maximal supergravity to cubic order, with SU(8) R-symmetry emerging.","key_machinery":"The load-bearing object is the kinematic algebra $K$ of N=4 super Yang-Mills: a $C_\\infty$ algebra (homotopy commutative associative algebra) with products $m_1,m_2,m_3$, together with a degree-shift operator $b$ satisfying $b^2=0$ and $bm_1+m_1b=\\square$. The paper adds a redundant fermionic chain complex, motivated by the BRST quantization of a spinning particle, in which the dependent Klein-Gordon equation is imposed independently; this makes $b$ purely algebraic. The failure of $b$ to be a derivation of $m_2$ defines the bracket $b_2$, the seed of the hidden $BV^l_\\infty$ structure. Tensoring $K$ with a second copy $\\tilde K$ and projecting with $b_-=\\tfrac12(b\\otimes\\tilde 1-1\\otimes\\tilde b)$ yields the $L_\\infty$ algebra of the double copy, with $B_1=m_1\\otimes\\tilde 1+1\\otimes\\tilde m_1$ and $B_2=-\\tfrac12b_-(m_2\\otimes\\tilde m_2)$. The N=4 supersymmetry maps $\\rho_n(\\epsilon)$, chosen to commute with both $m_1$ and $b$, combine under the tensor product into $\\Sigma_1=\\rho_1\\otimes\\tilde 1+1\\otimes\\tilde\\rho_1$ and $\\Sigma_2=\\tfrac12b_-(\\rho_2\\otimes\\tilde m_2+m_2\\otimes\\tilde\\rho_2)$, producing the N=8 action.","core_discovery":"The central discovery is that global supersymmetry can be lifted from the N=4 gauge theory to its kinematic algebra in a way that is compatible with the hidden BV algebra underlying color-kinematics duality. The linear supersymmetry map $\\rho_1(\\epsilon)$ can be chosen to commute with both the differential $m_1$ and the b operator, and the bilinear map $\\rho_2(\\epsilon)$ then satisfies the required homotopy compatibility. Consequently, on $K\\otimes\\tilde K$ with the $b_-$ projection and the section constraint, the relation $[B_1,\\Sigma_2]=[\\Sigma_1,B_2]$ holds, giving a consistent N=8 supersymmetry action. The free theory reproduces the standard N=8 supergravity spectrum: graviton, eight gravitini, 28 vectors, 56 spin-1/2 fermions, and 70 real scalars, organized in SU(8) representations. The paper claims this establishes, to cubic order, an off-shell local gauge-invariant double copy realization of maximal supergravity.","pith_inferences":["Editorial inference: If the all-order extension succeeds, the double copy would provide a constructive, off-shell proof of color-kinematics duality for the maximally supersymmetric pair, potentially giving a new handle on the UV-finiteness question of N=8 supergravity.","Editorial inference: The non-Lagrangian character of the present formulation, especially the Ramond-Ramond sector with field strengths as elementary, mirrors known obstacles in type II string field theory; a Sen-type action may be adaptable to this double-copy setting.","Editorial inference: The same machinery may apply to other supersymmetric gauge theories, such as N=1 SYM in D=10, where double copy should produce type II supergravity in a doubled formulation; the paper lists this as future work.","Editorial inference: A cohomological analysis of the fermionic complex would decide whether the infinite tower of Noether identities truly decouples; until that is done, the physical-equivalence step remains the main open assumption."],"forward_implications":["To cubic order, every off-shell local gauge-invariant interaction of N=8 supergravity is encoded in the double-copied $L_\\infty$ brackets of N=4 SYM.","The doubled supersymmetry parameter $(\\epsilon^A,\\tilde\\epsilon^{\\tilde A})$ organizes the gravitini, vectors, spinors, and scalars into SU(8) representations, including the rank-four self-dual 70 of scalars.","The free double-copy field equations reduce to the standard N=8 equations: linearized Einstein, Rarita-Schwinger (via the Fang-Fronsdal form), Dirac, Maxwell, and self-duality constraints.","The redundant fermionic formulation makes the b operator derivative-free and local, which is what permits a manifestly local double copy without differential constraints on fields.","Extending the construction to quartic and higher orders is the stated next step; the paper argues the $BV^l_\\infty$ structure maps should determine those brackets."],"supporting_citations":[{"why":"Defines the N=4 super Yang-Mills action that serves as the single-copy input.","marker":"[1]"},{"why":"Introduces color-kinematics duality and the double copy for amplitudes, the relation the paper makes off-shell.","marker":"[7]"},{"why":"Supplies the homotopy-algebra framework for double copy that the construction builds on.","marker":"[21]"},{"why":"Provides the b operator and the gauge-structure prescription for double field theory from Yang-Mills theory.","marker":"[22]"},{"why":"Establishes the gauge-invariant double copy of pure Yang-Mills to quartic order, the construction here extended to N=4.","marker":"[25]"},{"why":"Gives the L-infinity algebra formulation of perturbative field theory used throughout.","marker":"[40]"},{"why":"Identifies the hidden BV-type kinematic algebra for Yang-Mills that underlies the double copy construction.","marker":"[47]"},{"why":"Defines double field theory and the section constraint that selects the physical subspace of the tensor product.","marker":"[52]"}],"fun_headline_variants":["N=8 supergravity from squaring N=4 Yang-Mills","Maximal supergravity as double copy of N=4 SYM","Off-shell N=8 supergravity from N=4 SYM double copy","Local N=8 supergravity via homotopy double copy","Squaring N=4 SYM builds N=8 supergravity with SU(8)"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes that adding the dependent Klein-Gordon equation as an independent equation in the fermionic complex does not alter the physical content after the projection that defines the double copy; if that tower of redundant equations contributes spurious states, the resulting theory would not be ordinary N=8 supergravity.","fun_headline_variants_meta":{"raw":{"variants":["N=8 supergravity from squaring N=4 Yang-Mills","Maximal supergravity as double copy of N=4 SYM","Off-shell N=8 supergravity from N=4 SYM double copy","Local N=8 supergravity via homotopy double copy","Squaring N=4 SYM builds N=8 supergravity with SU(8)"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000763,"raw_usage":{"total_tokens":3375,"prompt_tokens":921,"completion_tokens":2454,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":537,"completion_tokens_details":{"reasoning_tokens":2356}},"tokens_in":537,"tokens_out":2454,"duration_ms":14563,"temperature":1.0,"reasoning_tokens":2356,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:14:43.882419+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the quartic-order $L_\\infty$ brackets of the double copy and test the generalized Jacobi identities together with preservation of the $b_-$ constraint; if the identities fail or the fermionic tower produces extra propagating degrees of freedom, the cubic-order result does not extend to the interacting theory. A cohomological check that the infinite Noether-identity tower is acyclic after the projection would directly settle the physical-equivalence assumption.","supporting_citations":[{"cited_title":"Supersymmetric Yang -Mills Theories,","cited_arxiv_id":null,"evidence_quote":"Defines the N=4 super Yang-Mills action that serves as the single-copy input."}],"review_version":1}