{"id":"04c9c63a-1048-49ec-ae3b-58a772c3cde7","arxiv_id":"2412.00186","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Explicit Calabi-Yau threefold truncations to pure 5d and 4d N=2 supergravity are constructed and shown consistent, enabling uplift of 4d extremal black holes to 11d and 10d.","lead":"This paper constructs explicit consistent truncations of 11d and 10d supergravity on Calabi-Yau threefolds down to pure supergravity in five and four dimensions. The authors check that lower-dimensional solutions lift to full higher-dimensional solutions, and use the truncation to embed four-dimensional extremal black holes in string and M-theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Full non-linear consistency hinges on an unproven assertion in Appendix B: the Einstein equation is omitted at fermionic order, and the claim that matched SUSY transformations make it redundant is not demonstrated.","rationale":"The stress-test pass confirms the reader's weakest assumption. The central claim of full non-linear consistency rests on the completeness of the equations-of-motion check in Appendix B, which explicitly omits the Einstein equation and justifies the omission by an asserted SUSY-redundancy argument rather than a derivation. This is load-bearing because any solution of the lower-dimensional theory must satisfy all higher-dimensional equations, and the fermionic contributions to the higher-dimensional Einstein equation are not demonstrated to reduce correctly. I considered other potential soft spots: the IIB internal Einstein equation is in fact trivially satisfied because the (3,0)-form flux has vanishing energy-momentum on internal directions; the IIA bosonic reduction is explicitly checked; the implicit potentials are locally well-defined because the spinor-bilinear-corrected field strengths are closed on-shell. None of these threatens the central claim as directly as the omitted Einstein equation. The reader's CONDITIONAL verdict is therefore appropriate: the paper presents a serious construction, but the proof of full non-linear consistency is incomplete and should either supply the missing derivation or be explicitly downgraded. My recommendation is UNCHANGED relative to the reader's verdict.","tokens_in":43011,"tokens_out":15762,"duration_ms":147983,"concrete_test":"For the 11d→5d truncation, explicitly compute the µν-component of the 11d Einstein equation (A.26) at order ψ² and ψ⁴ under the Ansatz (2.8)–(2.13), and subtract the 5d Einstein equation (A.64) evaluated on the reduced fields. If the difference is not a linear combination of the 5d gravitino equation and the 5d field-strength equation (with coefficients built from the reduced fields), then the truncation fails at fermionic order. Repeating this for the mn-component (internal directions) tests the omitted internal Einstein equation as well.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Section 6, first bullet list) is that the truncations are consistent at full non-linear order in fermions. The proof is completed in Appendix B, which opens by asserting: 'Given that the various equations of motion are connected by supersymmetry transformations which we have matched consistently in Section 3, we choose to omit Einstein's equation from this appendix but instead discuss all other equations of motion. This concludes the proof of consistency.' This is the load-bearing step: it asserts that matching the supersymmetry transformations (Section 3) and checking a subset of the equations of motion (Bianchi identities, field-strength equations, gravitino/dilatino equations) is sufficient to guarantee that the omitted Einstein equation is also satisfied when fermions are turned on. No derivation is given. The standard on-shell closure argument would require showing that the SUSY variation of the gravitino equation of motion yields the Einstein equation (up to terms proportional to the other equations of motion) and that this relation survives the truncation Ansätze. This is not a consequence of matching SUSY transformations alone; the Noether identity only constrains a projection of the Einstein equation via the non-invertible operator δS/δe · (1/2) ε̄ Γ^B Ψ_A. Thus, absent an explicit check, one cannot verify that every solution of the lower-dimensional equations (including fermionic backgrounds) satisfies the higher-dimensional Einstein equation at bilinear and quartic order in fermions. If this omitted equation ever fails, the central claim of full consistency is invalidated.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs explicit Kaluza-Klein embedding Ansätze for truncations of 11d supergravity, type IIA supergravity, and type IIB supergravity on a Calabi-Yau threefold to pure supergravity with eight supercharges in five and four dimensions. The claimed truncations are: 11d on CY3 to pure 5d supergravity, further reduction on S1 to pure 4d N=2 supergravity, 11d on CY3×S1 to pure 4d N=2 supergravity, IIA on CY3 to pure 4d N=2 supergravity, and IIB on CY3 to pure 4d N=2 supergravity. The paper checks the bosonic equations of motion, matches the supersymmetry transformations on-shell, and then claims consistency at full non-linear order in fermions by means of Appendix B, where all equations except Einstein's equation are discussed. The Einstein equation is omitted on the stated grounds that supersymmetry transformations connect the equations of motion and that the transformations have already been matched. The paper also embeds a four-dimensional extremal black hole into the higher-dimensional theories and proposes Ansätze for truncations including universal matter multiplets, explicitly leaving the consistency check of those matter Ansätze to future work.","tokens_in":43264,"tokens_out":4226,"duration_ms":43242,"significance":"If the full non-linear consistency proof can be completed, this is a valuable result: it provides explicit, Calabi-Yau-independent truncations of maximal supergravity to pure supergravity with eight supercharges, with no fitted parameters and with explicit checks of bosonic reductions and supersymmetry transformations. The application to embedding extremal black holes is a concrete and useful dividend of the construction, and the extensive appendices collecting equations of motion and supersymmetry transformations are a service to the community. However, the central claim of consistency at full non-linear order in fermions currently rests on an unproved assertion in Appendix B that the omitted Einstein equation is redundant. This is a load-bearing gap: without a derivation of that redundancy, the proof establishes bosonic consistency and on-shell matching of supersymmetry transformations, but not the full non-linear fermionic consistency claimed in the abstract and in Section 6.","major_comments":[{"comment":"The paper omits Einstein's equation at fermionic order and asserts that this is justified because the equations of motion are connected by supersymmetry transformations that have been matched in Section 3. This assertion is load-bearing for the central claim of consistency at full non-linear order in fermions, but no derivation is provided. The standard argument would require showing, for instance, that a supersymmetry variation of the gravitino equation of motion yields the Einstein equation modulo the other equations of motion, and that this relation survives the truncation Ansatz. Matching supersymmetry transformations alone does not establish this, since the variation only constrains a projection of the Einstein equation through the non-invertible operator appearing in the Noether identity. Please supply the explicit computation or a rigorous general argument that the truncated Einstein equation follows from the checked equations.","section":"Appendix B, opening paragraph; Section 3, p. 9"},{"comment":"The claim that the gravitino equation of motion reduces 'exactly parallel' to the supersymmetry transformation is not demonstrated. The gravitino equation is a first-order differential operator acting on the gravitino with no supersymmetry parameter, whereas the transformation rule contains the parameter; the shared supercovariant derivative structure does not by itself imply that the truncated gamma-trace combination of the gravitino equation vanishes whenever the corresponding supersymmetry transformation does. An explicit reduction of the gravitino equation of motion, or a precise algebraic map between the two, is needed before the proof can be considered complete.","section":"Appendix B.1, after Eq. (B.4); analogous statements in B.2 and B.3"}],"minor_comments":[{"comment":"In several displayed equations, such as (3.35) and (B.15), the supercovariant field strength is written with the same symbol as the ordinary field strength F±(2); please distinguish F±(2) from F̂±(2) consistently to avoid ambiguity in the fermionic-order discussion.","section":"Section 2.3 and Appendix B.3"},{"comment":"The first equality in (B.1) is presented without the Fierz manipulation that makes the quartic terms vanish; since this is the closure argument for the corrected Bianchi identity, a few intermediate steps or a reference to the relevant Fierz identity should be added.","section":"Appendix B, Eq. (B.1)"},{"comment":"References [21] and [22] are incomplete; in particular, reference [22] lacks journal or arXiv publication details and should be completed before publication.","section":"References [21] and [22]"},{"comment":"The phrase '3 parallel and 3 orthogonal directions' for a D3-brane wrapped on a three-cycle is somewhat ambiguous; please clarify the counting of worldvolume and transverse directions being compactified or smeared.","section":"Section 4, D3-brane discussion"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's central claim of consistency at full non-linear order in fermions is exactly what the unproved Appendix B assertion covers. The omission is local and fixable in scope: the authors can either perform the omitted Einstein-equation check at fermionic order or provide a rigorous superspace/Noether-identity argument that the check is redundant. If that can be supplied, the paper would be a strong contribution; if not, the consistency claim should be weakened to bosonic consistency plus on-shell matching of supersymmetry transformations. I therefore recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper does the explicit, manifold-independent construction people have expected since the generalised-geometry work: consistent truncations of 11d and 10d maximal supergravity on a CY3 down to pure 5d and 4d N=2 supergravity. The bosonic reductions are written out in detail for 11d, IIA, and IIB; the supersymmetry transformation matching is thorough; and the extremal black hole uplifts give a concrete payoff. The appendix of equations of motion is itself a useful compilation. Credit where due: this is real work, and the embedding Ansätze are new.\n\nNow the soft spot. The reader's concern about Appendix B is correct and it is load-bearing. The appendix opens by asserting that because the equations of motion are connected by the supersymmetry transformations that were matched in Section 3, Einstein's equation can be omitted and the proof of consistency still concluded. That is not demonstrated. The standard argument would require showing that the SUSY variation of the gravitino equation yields the Einstein equation up to terms proportional to the other equations of motion, and that this closure relation is preserved by the truncation Ansätze. Merely matching the transformation rules does not guarantee the missing equation is satisfied at bilinear and quartic order in fermions. So the central claim, full non-linear consistency, has a genuine gap as written.\n\nI want to be clear about the scale of the problem. This is not a fatal flaw in the whole enterprise. The bosonic consistency is solid, the fermionic field-strength equations and Bianchi identities are checked in detail, and the gravitino equation is plausibly parallel to the SUSY transformation. The missing step is specific and probably fillable. But it is not a cosmetic omission, because the paper's headline claim is exactly the full non-linear consistency. The authors should either supply the omitted Einstein equation check or adjust the claim to consistency at the level of the equations they did check.\n\nThe citation pattern looks honest: they cite the generalised-geometry paper and earlier conjectures and position themselves as making those implicit constructions explicit. No circularity red flags.\n\nBottom line: send this to a serious referee. The referee should focus on Appendix B and ask for either the omitted Einstein equation at fermionic order or a precise on-shell closure argument. If that gap closes, this is a strong, citable paper. I would accept with major revision, not desk reject.","headline":"A careful explicit construction of CY3 truncations to pure supergravity, with a real gap in the claimed full non-linear proof: Einstein's equation is omitted at fermionic order.","tokens_in":43811,"tokens_out":2582,"would_cite":true,"duration_ms":25813,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that compactifying 11d or 10d maximal supergravity on any Calabi-Yau threefold can be consistently truncated to pure 5d or 4d supergravity with eight supercharges, so every lower-dimensional solution lifts exactly to a…","keywords":["consistent truncation","Calabi-Yau threefold","supergravity","Kaluza-Klein compactification","fermionic corrections","supersymmetry","extremal black holes","type II supergravity"],"falsifier":"A reader could test this by inserting the full ansätze (2.19), (2.21), or (2.23) into the corresponding μν Einstein equation with all fermionic terms kept (A.26), (A.37), or (A.57) and checking whether the result reduces exactly to the pure 4d Einstein equation (A.73) after using the lower-dimensional equations of motion and Fierz identities; Appendix B stops before this check.","tokens_in":42781,"feed_emoji":"🌀","tokens_out":7181,"duration_ms":62407,"temperature":0.7,"pith_summary":"Compactifying eleven- or ten-dimensional supergravity on a Calabi-Yau threefold usually leaves a tower of massive and massless modes, and solutions of the truncated lower-dimensional theory need not lift to exact higher-dimensional solutions. This paper constructs explicit truncations that retain only the pure supergravity multiplet with eight supercharges—the metric, the graviphoton, and the gravitini—and proves that these truncations are consistent: every solution of the 5d or 4d equations, including fermionic terms to all orders, solves the original 11d or 10d equations. The consistency argument works for five chains: 11d on CY3 to 5d; 5d on S1 to 4d N=2; 11d on CY3 x S1 to 4d; IIA on CY3 to 4d; and IIB on CY3 to 4d. The construction uses only the universal Calabi-Yau structures (Kähler form, holomorphic three-form, Killing spinors), so it is independent of the chosen Calabi-Yau and its Hodge numbers. If right, any solution of these minimal supergravities—such as the extremal black holes embedded in the paper—is guaranteed to be an exact solution of the higher-dimensional theory.","feed_headline":"Five Calabi-Yau truncations to pure supergravity proven consistent","feed_subtitle":"Only the Kähler form and holomorphic 3-form are needed, and every lower-dimensional solution lifts exactly.","key_machinery":"The machinery is a set of embedding ansätze organized by supercovariance. For each truncation the higher-dimensional fields are expressed in terms of lower-dimensional fields times the invariant tensors {ω, Ω} and the Killing spinors η± on the Calabi-Yau threefold. The naive bosonic ansatz is corrected by spinor bilinears: a field strength that should be truncated away is not set to zero but to a gravitino bilinear, chosen so that the supercovariant field strength of the higher-dimensional theory reduces exactly to the supercovariant field strength of the lower-dimensional theory (for example, setting F_{μνρσ} = 3 Ψ̄_{[μ} Γ_{νρ} Ψ_{σ]} in the 11d-to-5d case). These supercovariant identities are what let the proof proceed at non-linear fermion order, because they turn the reduction of equations of motion and supersymmetry transformations into algebraic projections onto SU(3) singlets plus the lower-dimensional equations.","core_discovery":"The paper establishes that five specific Kaluza-Klein truncations are consistent: minimal 5d supergravity from 11d on any CY3; pure 4d N=2 supergravity from 5d on S1; 11d on CY3 x S1 to pure 4d N=2; IIA on CY3 to pure 4d N=2; and IIB on CY3 to pure 4d N=2. Consistency means the embedding of lower-dimensional fields into higher-dimensional fields maps every solution of the lower-dimensional equations of motion to a solution of the full higher-dimensional theory. The proof covers the equations of motion and supersymmetry transformations with fermionic terms kept to all orders. The constructions use only the universal CY3 data—the Kähler form, the holomorphic three-form, and the Killing spinors—so the result is independent of the particular Calabi-Yau manifold. The paper also embeds an extremal 4d black hole in each higher-dimensional theory and proposes, without proving consistency, ansätze that include universal matter multiplets.","pith_inferences":["An explicit check of the quartic-fermion terms in the μν Einstein equation would either close the proof or reveal that the truncation is consistent only in bosonic backgrounds; the paper's Appendix B deliberately leaves this unchecked.","Because the ansätze use only ω, Ω, and the Killing spinors, the same supercovariant-completion strategy could be tried on other SU(3)-structure manifolds, where dω and dΩ are not both zero; the algebraic identities used here would need to be replaced by torsion identities.","The consistency result makes every 4d extremal black hole an exact higher-dimensional solution, so exploring non-extremal or rotating solutions of pure 4d N=2 supergravity would generate new 11d/10d geometries without a separate uplift calculation.","The paper's proposed matter-multiplet ansätze, if they prove consistent, would complete the SU(3)-singlet sector and give a cleaner statement of mirror symmetry between the IIA and IIB reductions; that check is explicitly left open."],"forward_implications":["Any solution of minimal 5d supergravity or pure 4d N=2 supergravity can be uplifted to an exact solution of 11d, IIA, or IIB supergravity on a Calabi-Yau threefold; the paper demonstrates this for a charged extremal black hole.","The truncations are universal: they depend only on the Kähler form, the holomorphic three-form, and the Killing spinors, not on the Calabi-Yau's Hodge numbers or on which Calabi-Yau is chosen.","Fermion bilinear corrections to the naive embedding ansatz are necessary; setting the truncated components literally to zero would not produce matching supercovariant quantities at non-linear order.","The circle reduction commutes with the Calabi-Yau truncation, and the IIA and IIB ansätze are compatible with mirror symmetry, with IIA fields wrapping the Kähler form and IIB fields wrapping the holomorphic three-form.","The proposed matter-multiplet ansätze would extend the consistent truncation to the full SU(3)-singlet sector, but their consistency is not yet established."],"supporting_citations":[{"why":"Gives the generalised-geometry framework for SU(3)-singlet truncations whose implicit consistency the paper makes explicit.","marker":"[19]"},{"why":"Supplies the 11d supergravity equations of motion and supersymmetry transformations used for the 11d-to-5d and 11d-to-4d checks.","marker":"[41]"},{"why":"Supplies the IIA field equations, Bianchi identities, and supersymmetry rules used in the IIA consistency proof.","marker":"[43]"},{"why":"Supplies the complete IIB supergravity equations and transformations used in the IIB proof.","marker":"[33]"},{"why":"Provides the minimal 5d supergravity theory used as the lower-dimensional target.","marker":"[24]"},{"why":"Supplies the 4d N=2 pure supergravity action and transformation rules that the 4d reductions must match.","marker":"[58]"},{"why":"Provides the supergravity conventions and formulæ used throughout the fermionic analysis.","marker":"[40]"},{"why":"Gives the BPS bound and the extremal black hole solution embedded in Section 4.","marker":"[25]"}],"fun_headline_variants":["CY3 compactifications yield consistent pure supergravity","Five consistent truncations to pure supergravity from CY3","Maximal supergravity on CY3: consistent truncations proven","Universal CY3 data suffice for consistent supergravity truncations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that matching supersymmetry transformations and checking every equation of motion except Einstein's at full fermionic order is enough to guarantee Einstein's equation too; this is asserted at the start of Appendix B, not proved.","fun_headline_variants_meta":{"raw":{"variants":["CY3 compactifications yield consistent pure supergravity","Five consistent truncations to pure supergravity from CY3","Maximal supergravity on CY3: consistent truncations proven","Universal CY3 data suffice for consistent supergravity truncations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000163,"raw_usage":{"total_tokens":1243,"prompt_tokens":948,"completion_tokens":295,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":564,"completion_tokens_details":{"reasoning_tokens":229}},"tokens_in":564,"tokens_out":295,"duration_ms":3143,"temperature":1.0,"reasoning_tokens":229,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:38:08.022725+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A reader could test this by inserting the full ansätze (2.19), (2.21), or (2.23) into the corresponding μν Einstein equation with all fermionic terms kept (A.26), (A.37), or (A.57) and checking whether the result reduces exactly to the pure 4d Einstein equation (A.73) after using the lower-dimensional equations of motion and Fierz identities; Appendix B stops before this check.","supporting_citations":[{"cited_title":"Cremmer, B","cited_arxiv_id":null,"evidence_quote":"Supplies the 11d supergravity equations of motion and supersymmetry transformations used for the 11d-to-5d and 11d-to-4d checks."},{"cited_title":"Campbell and P.C","cited_arxiv_id":null,"evidence_quote":"Supplies the IIA field equations, Bianchi identities, and supersymmetry rules used in the IIA consistency proof."},{"cited_title":"Howe and P.C","cited_arxiv_id":null,"evidence_quote":"Supplies the complete IIB supergravity equations and transformations used in the IIB proof."},{"cited_title":"Ferrara and P","cited_arxiv_id":null,"evidence_quote":"Supplies the 4d N=2 pure supergravity action and transformation rules that the 4d reductions must match."},{"cited_title":"Gibbons and C.M","cited_arxiv_id":null,"evidence_quote":"Gives the BPS bound and the extremal black hole solution embedded in Section 4."}],"review_version":1}