{"id":"1037da8c-102a-4d4c-852b-b227d185f0a4","arxiv_id":"1908.00535","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Explicit consistent truncations from massive type IIA on S^6 to minimal D=4 N=2 and N=3 gauged supergravities are constructed and verified.","lead":"This paper constructs explicit consistent truncations of massive type IIA supergravity on a six-sphere down to minimal N=2 and N=3 gauged supergravities in four dimensions. The result provides a practical tool for uplifting any solution of these minimal supergravities to ten dimensions, with applications in holographic studies.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper's explicit verification stops short of the D=10 Einstein equation: Appendix B checks only the form-field equations, and the missing step is bridged solely by assuming the N=8 S6 truncation theorem, so the central claim is one unverified equation away from a complete proof.","rationale":"The reader's verdict (CONDITIONAL) already identifies the reliance on the parent N=8 truncation theorem and the unverified Einstein equation as the main weaknesses, and my reading agrees that this is the most load-bearing point. I partially agree rather than fully agree because my concern is narrower: the explicit gap in this paper is the ten-dimensional Einstein equation, with the parent theorem serving as the only supporting argument for that gap. The paper deserves credit for the explicit form-field verification in Appendix B, the algebraic checks in Section 3, and for connecting the construction to the known N=8 S6 truncation of [21,44]. These are substantial and independent supports for the central claim. However, the claim is a statement about full IIA consistency, and a solution to the IIA field equations requires the Einstein equation as well as the form equations. The ansätze are sufficiently complicated—especially the non-abelian N=3 case—that an omitted Einstein check cannot be dismissed as routine. The proposed direct symbolic test would settle whether the missing check is indeed covered by the parent truncation theorem, and would either convert the conditional acceptance into an unconditional one or expose a genuine gap. I therefore recommend keeping the reader's CONDITIONAL verdict unchanged rather than moving to acceptance or rejection.","tokens_in":36277,"tokens_out":4235,"duration_ms":40107,"concrete_test":"Perform a direct symbolic verification of the D=10 Einstein equation for the N=2 ansatz (4.1)–(4.3): substitute the explicit functions from (4.3) into the Einstein-frame massive IIA Einstein equation (as given in appendix A of [44]), impose the D=4 Einstein equation and dF = d*F = 0 from (A.1), and reduce all components on the internal CP2 × S1 geometry using a computer algebra system such as xAct. If all components vanish identically, the omitted check is harmless and the truncation is fully consistent; if any component remains nonvanishing, the ansatz or the reliance on the parent truncation theorem needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—that every solution of minimal N=2 or N=3 gauged supergravity lifts to a solution of massive IIA—requires the uplifted ansätze (4.1)–(4.3) and (4.8)–(4.9) to satisfy all ten-dimensional equations of motion, including Einstein. The paper's explicit consistency check in Appendix B covers only the Bianchi identities and equations of motion of the IIA form fields: §B.1 concludes 'Up to a check of the D=10 Einstein equation' and §B.2 repeats 'up to a check of the D=10 Einstein equation.' The only bridge for this omitted step is the consistency theorem for the N=8 truncation of massive IIA on S6 [21,44], which is assumed as input without re-derivation. If that theorem is complete, the composition argument closes the gap; if it is not, or if its hypotheses do not cover the non-linear fields retained here, the central claim fails. This is not a cosmetic omission: the retained ansatz includes both F and *F for N=2, and non-abelian SO(3) gauge fields entering through shifted right-invariant forms and covariant derivatives for N=3, so the ten-dimensional Einstein equation is not a trivial consequence of the D=4 field equations. The paper's 'some calculation' statements and the explicitly deferred Einstein check leave the central claim one step short of a complete proof.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs explicit consistent truncations of D=4 N=8 dyonic ISO(7) supergravity to the minimal (pure) N=2 and N=3 gauged supergravities, and then combines these with the known consistent truncation of massive IIA on S^6 [21,44] to produce ten-dimensional uplifts. In the D=4 step, the scalars are frozen at the N=2 and N=3 vacua, only the graviphoton (N=2) or the SO(3) Yang-Mills triplet (N=3) is retained, and the massive/dyonically gauged vectors are eliminated using duality relations that express their field strengths in terms of the surviving R-symmetry fields. Consistency is checked at the level of the bosonic field equations, including the D=4 Einstein equation. The IIA uplift ansatze are given explicitly in (4.1)-(4.3) and (4.8)-(4.9). Appendix B verifies the Bianchi identities and equations of motion of the IIA form fields, while the D=10 Einstein equation is not checked directly; the paper argues that it follows from the consistency of the parent N=8 truncation together with the D=4 subtruncations.","tokens_in":36539,"tokens_out":11941,"duration_ms":125390,"significance":"If the construction is correct, the paper provides explicit, usable consistent embeddings of pure N=2 and N=3 gauged supergravities into massive type IIA supergravity, including a less common N=3 example. The treatment of the dyonic massive gauge fields by duality relations rather than by naive setting to zero is a technically interesting and potentially reusable ingredient. The explicit uplift formulas are a clear strength and are likely to be directly useful for generating new solutions. The main caveat is that the proof is not fully self-contained: the D=10 Einstein equation is not checked in the manuscript, and the central claim is therefore conditional on the completeness of the cited N=8 S^6 truncation theorem and on the N=4 sector of [53]. The paper is honest about the scope of its direct checks, which is commendable.","major_comments":[{"comment":"The manuscript explicitly states that the D=10 Einstein equation is not checked: Appendix B.1 concludes 'Up to a check of the D=10 Einstein equation' and B.2 repeats 'up to a check of the D=10 Einstein equation', while Section 4.1 says 'verified, up to an explicit check of the Einstein equation'. Since the headline claim of the paper is that every solution of the minimal D=4 theories uplifts to a solution of massive IIA, the ten-dimensional Einstein equation is load-bearing. The composition argument via the N=8 truncation of [21,44] can close this gap, but only if that theorem is known to include the D=10 Einstein equation and to apply to the non-linear field combinations retained here, including both F and *F in the N=2 case and the shifted right-invariant forms and non-abelian SO(3) fields in the N=3 case. Please either provide a direct check of the D=10 Einstein equation for the ansatze (4.1)-(4.3) and (4.8)-(4.9), or state precisely which theorem in [21,44] covers that equation and why its hypotheses apply. As written, the proof of the central claim is one equation short of being self-contained.","section":"Appendix B.1 and B.2, with Section 4.1"},{"comment":"The D=4 consistency argument depends on two external inputs: the N=4 sector constructed in [53] and the embedding of that sector into the N=8 dyonic ISO(7) supergravity, as well as the N=8 S^6 truncation theorem of [21,44]. The paper does not re-derive either result, which is acceptable in principle, but it would help the reader to have a precise statement of what is assumed: in particular, whether [53] establishes a fully consistent truncation of N=8 to the N=4 model at the level of the bosonic equations of motion including the Einstein equation, and whether [44] includes the Einstein equation in its consistency statement. Please cite the specific propositions or sections that supply these facts. This would also resolve the ambiguity created by the 'up to a check' remarks in Appendix B.","section":"Sections 2 and 3.4"}],"minor_comments":[{"comment":"The phrase 'the vectors 2 1/2 (A'^i + delta^i_hat i A^{(L)hat i})' appears garbled; it should presumably be (1/sqrt(2)) or a similar normalization. Please correct the typo.","section":"Section 3.3, near Eq. (3.17)"},{"comment":"There are small typos: 'supergravitites' in the first paragraph should be 'supergravities', and 'footnone' in footnote 1 should be 'footnote'.","section":"Introduction and footnote 1"},{"comment":"The consistency checks are restricted to the bosonic field equations. If the phrase 'consistent embedding' is intended to cover the full supergravity theory, the fermionic sector should be discussed at least briefly; otherwise the paper should state explicitly that the fermionic truncation is not addressed.","section":"General scope"},{"comment":"The appendix states that equations (B.10)-(B.16) are identically satisfied with the functions read from (4.7)-(4.9), but no intermediate details are given. A supplementary file or a list of the key algebraic identities used would make this extensive check more verifiable.","section":"Appendix B"}],"recommendation":"major_revision","confidential_remarks":"The central construction is plausible and the explicit formulas are valuable, but the manuscript's own statements leave the D=10 Einstein equation unchecked. The composition argument may well be sufficient, but the paper should make the logical step explicit or add the missing calculation. There is also a practical concern: the result leans on [53], which appears to be a separate paper by the same group and may not yet be published; the editor may wish to confirm its availability and status, since the referee cannot fully assess its correctness from the present text."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a solid, useful construction paper. The new result is the explicit consistent truncation of massive IIA on S^6 to pure N=3 gauged supergravity, and the N=2 truncation extends the known single-black-hole embedding from [12] to arbitrary fields of the minimal theory. Both truncations are written out concretely and are ready to use.\n\nThe strategy is a standard two-step composition: first truncate the D=4 N=8 ISO(7) supergravity down to the minimal N=2 and N=3 theories, fixing scalars at the appropriate vacua and writing the massive vector fields in terms of the surviving R-symmetry gauge fields and their duals. That D=4 subtruncation is checked at the level of all bosonic field equations, including Einstein, in section 3. Second, the known N=8 S^6 uplift formulae are applied. The logic is sound: if the N=8 truncation theorem is a theorem, the composition necessarily gives a consistent truncation. The paper also does a direct verification of the IIA form-field equations in appendix B, and that is a lot of honest algebra that passes.\n\nSoft spots, in proportion: the direct IIA check explicitly stops short of the D=10 Einstein equation — appendix B says \"up to a check\" for both cases. But this is not a real gap, because the N=8 truncation theorem of Guarino–Varela covers the Einstein equation and the new D=4 truncation was verified in full. You would only worry if you distrusted that theorem, and nothing here gives you a reason to. The paper does rely on the N=4 sector of [53], an unreviewed preprint, as an intermediate step; that is normal practice in this field, but it does mean a referee would want to look at [53] as well. Finally, several checks are summarized with \"some calculation\" and the explicit algebra is not in a supplementary file. That is a bit opaque, but typical for this subfield.\n\nCitation pattern is fine: the paper builds on its own earlier work, but those are established and published results about the N=8 truncation, not ad hoc inputs.\n\nWho this is for: people working on holographic duals of the N=2 and N=3 AdS4 solutions in massive IIA, and anyone building a toolkit of consistent truncations. The N=3 truncation fills a real gap — N=3 pure supergravity truncations are rare. I would send this to peer review. The main request to the author would be to make the dependence on [53] explicit and, if feasible, spell out the Einstein check or state plainly that it follows from the N=8 theorem. But this paper deserves referee time.","headline":"Varela writes down explicit consistent truncations of massive IIA on S^6 to pure N=2 and N=3 gauged supergravity, with the N=3 truncation genuinely new and the N=2 one generalizing an existing single-solution embedding; the verification is solid, and the one deferred check in ten dimensions is covered by a known theorem, not a real gap.","tokens_in":37102,"tokens_out":2408,"would_cite":true,"duration_ms":26132,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83E50","83E30"],"pacs":["04.65.+e","11.25.-w"],"model":"deepseek-v4-flash","headline":"This paper constructs explicit consistent truncations showing every solution of minimal N=2 or N=3 gauged supergravity in four dimensions lifts to an exact solution of massive type IIA supergravity.","keywords":["consistent truncation","minimal gauged supergravity","N=2 supergravity","N=3 supergravity","massive type IIA","dyonic ISO(7)","AdS4 vacua","S6 reduction"],"falsifier":"Evaluate the ten-dimensional Einstein equation for the configuration (4.1)–(4.3) or (4.8)–(4.9) on a nontrivial solution of the minimal four-dimensional theory, for instance a charged black hole of minimal $\\mathcal{N}=2$ gauged supergravity; appendix B explicitly stops short of that ten-dimensional check for both truncations, so a mismatch there would falsify the claim that every minimal-theory solution uplifts to massive IIA.","tokens_in":36040,"feed_emoji":"🕳️","tokens_out":16906,"duration_ms":152071,"temperature":0.7,"pith_summary":"This paper establishes that the minimal (matter-free) $\\mathcal{N}=2$ and $\\mathcal{N}=3$ gauged supergravities in four dimensions are consistent truncations of ten-dimensional massive type IIA supergravity. Concretely, it writes down explicit uplift formulae, (4.1) to (4.3) for $\\mathcal{N}=2$ and (4.8) to (4.9) for $\\mathcal{N}=3$, such that any solution of the small four-dimensional theories—gravity plus a single U(1) graviphoton, or gravity plus an SO(3) Yang-Mills triplet—becomes an exact solution of the full ten-dimensional theory. The construction is two-step: a known reduction of massive IIA on the six-sphere to maximal $\\mathcal{N}=8$ dyonic ISO(7) supergravity, followed by a new truncation of that $\\mathcal{N}=8$ theory through an intermediate $\\mathcal{N}=4$ sector to the minimal theories. If correct, the result turns every solution of these minimal supergravities, including black holes of interest in holography, into string-theory solutions without solving the ten-dimensional equations directly.","feed_headline":"Pure N=2 and N=3 supergravity are exact massive type IIA truncations","feed_subtitle":"Every solution of these minimal four-dimensional theories, including black holes, lifts to ten dimensions.","key_machinery":"The load-bearing mechanism is a composed truncation: massive IIA on the six-sphere reduces consistently to $\\mathcal{N}=8$ dyonic ISO(7) supergravity [21, 44]; within that four-dimensional theory, the SO(3)$_R$-invariant sector [53] provides an intermediate $\\mathcal{N}=4$ model large enough to contain both the $\\mathcal{N}=2$ and $\\mathcal{N}=3$ vacua; and a further field restriction cuts that $\\mathcal{N}=4$ model down to the minimal theories. The decisive algebraic step is the field-strength constraint (3.2), derived from freezing the scalars, combined with the duality relations (2.13): they allow the massive, dyonically gauged non-compact vectors to be written in terms of the surviving graviphoton field strength and its Hodge dual rather than set to zero. The final ten-dimensional ansätze are obtained by substituting these four-dimensional identifications into the $S^6$ reduction formulae, with the metric rescaled by the constant (3.5).","core_discovery":"The central claim is that the pure $\\mathcal{N}=2$ and $\\mathcal{N}=3$ gauged supergravities (A.2) and (A.6) sit inside maximal $\\mathcal{N}=8$ dyonic ISO(7) supergravity, and therefore inside massive IIA on the six-sphere, as consistent subsectors. Consistency means that the field equations of the minimal theories imply the equations of motion of the parent theories after the identifications: the scalars are frozen at their $\\mathcal{N}=2$ or $\\mathcal{N}=3$ vacuum values, the surviving R-symmetry vectors are identified with the minimal graviphoton or SO(3) Yang-Mills field, and all other ISO(7) vectors are eliminated. A subtlety is that the non-compact vectors that become massive at the vacua cannot simply be set to zero; instead their field strengths are expressed, through the duality relations, in terms of the surviving field strengths and their Hodge duals, as in (3.13) and (3.20). The same identifications are then fed into the established $S^6$ reduction formulae to produce the ten-dimensional truncation ansätze (4.1)–(4.3) and (4.8)–(4.9). The consistency proof in appendix B verifies the ten-dimensional form-field equations; the ten-dimensional Einstein equation is not checked directly there, but is covered by the general consistency argument.","pith_inferences":["A direct numerical test would feed a known nontrivial solution of minimal $\\mathcal{N}=2$ gauged supergravity—for example a charged or rotating black hole—into (4.1)–(4.3) and evaluate the ten-dimensional Einstein equation, which the paper's appendix does not explicitly verify.","The same two-step strategy may apply to other AdS$_4$ vacua of dyonic ISO(7) supergravity: whenever a vacuum has a residual R-symmetry group, freezing scalars and dualising away the massive dyonic vectors could build a minimal truncation without needing a G-structure description.","The way massive dyonic vectors are eliminated suggests a broader lesson: in a symplectic frame with magnetic gaugings, the correct way to 'turn off' a field may be to express it through duality with the surviving fields, and this prescription could be relevant to other consistent-truncation constructions.","Since the $\\mathcal{N}=2$ ansatz is built around a Kähler-Einstein base, replacing $\\mathbb{CP}^2$ by other positive-curvature Kähler-Einstein manifolds—a generalization already noted by the paper—could produce new consistent IIA truncations to minimal supergravity beyond the six-sphere family."],"forward_implications":["Every solution of minimal $\\mathcal{N}=2$ gauged supergravity, not just the particular black hole treated in [12], uplifts through (4.1)–(4.3) to an exact solution of massive type IIA supergravity.","Every solution of minimal $\\mathcal{N}=3$ gauged supergravity uplifts through (4.8)–(4.9), and the further $\\mathcal{N}=3\\to\\mathcal{N}=2$ restriction yields a second, distinct IIA uplift of minimal $\\mathcal{N}=2$.","The truncations are formulated on smooth six-sphere geometries; the $\\mathcal{N}=2$ ansatz also works over any local positive-curvature Kähler-Einstein four-space, and the $\\mathcal{N}=3$ one over the lens space $S^3/\\mathbb{Z}_p$ in place of the three-sphere.","Any solution of minimal $\\mathcal{N}=2$ or $\\mathcal{N}=3$ gauged supergravity, including the classified supersymmetric black holes, becomes a solution of the full ten-dimensional theory, so holographic and thermodynamic applications can be studied through the minimal four-dimensional fields."],"supporting_citations":[{"why":"It supplies the $S^6$ reduction of massive IIA to $\\mathcal{N}=8$ dyonic ISO(7) supergravity and the $\\mathcal{N}=2$ AdS$_4$ solution used as the background.","marker":"[21]"},{"why":"It provides the general consistent truncation formulae from massive IIA on $S^6$ that are particularized to obtain both minimal uplifts.","marker":"[44]"},{"why":"It constructs the intermediate $\\mathcal{N}=4$ SO(3)$_R$-invariant sector of the $\\mathcal{N}=8$ theory that contains both minimal subsectors.","marker":"[53]"},{"why":"It defines the dyonic ISO(7) $\\mathcal{N}=8$ supergravity and its SU(3)- and SO(4)-invariant sectors where the relevant vacua live.","marker":"[51]"},{"why":"It provides the $\\mathcal{N}=3$ AdS$_4$ background geometry and the SO(4)-invariant uplift conventions used in the $\\mathcal{N}=3$ truncation.","marker":"[23]"},{"why":"It constructs the $\\mathcal{N}=3$ solution of dyonic ISO(7) supergravity and its massive IIA uplift on the six-sphere, identifying the second background.","marker":"[22]"},{"why":"It supplies the SU(3)-invariant truncation formulae and the $\\mathbb{CP}^2$ geometry used to write the $\\mathcal{N}=2$ uplift.","marker":"[55]"},{"why":"It previously lifted a specific $\\mathcal{N}=2$ black hole to massive IIA; the present formulas extend that embedding to all solutions of minimal $\\mathcal{N}=2$ supergravity.","marker":"[12]"}],"fun_headline_variants":["Exact N=2 and N=3 subsectors of massive IIA on S^6","Minimal N=2,3 supergravities embedded in N=8 ISO(7) theory","Consistent truncations of N=8 dyonic ISO(7) to N=2,3","Ten-dimensional lifts of pure N=2 and N=3 gauged supergravity","N=2 and N=3 vacua of maximal supergravity yield exact truncations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the parent reduction of massive type IIA on the six-sphere to $\\mathcal{N}=8$ dyonic ISO(7) supergravity is fully consistent, together with the intermediate $\\mathcal{N}=4$ sector being a true subsector of that $\\mathcal{N}=8$ theory; if either gives way, the new minimal truncations inherit the failure.","fun_headline_variants_meta":{"raw":{"variants":["Exact N=2 and N=3 subsectors of massive IIA on S^6","Minimal N=2,3 supergravities embedded in N=8 ISO(7) theory","Consistent truncations of N=8 dyonic ISO(7) to N=2,3","Ten-dimensional lifts of pure N=2 and N=3 gauged supergravity","N=2 and N=3 vacua of maximal supergravity yield exact truncations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000239,"raw_usage":{"total_tokens":1567,"prompt_tokens":1050,"completion_tokens":517,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":666,"completion_tokens_details":{"reasoning_tokens":399}},"tokens_in":666,"tokens_out":517,"duration_ms":5239,"temperature":1.0,"reasoning_tokens":399,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:48:41.901269+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the ten-dimensional Einstein equation for the configuration (4.1)–(4.3) or (4.8)–(4.9) on a nontrivial solution of the minimal four-dimensional theory, for instance a charged black hole of minimal $\\mathcal{N}=2$ gauged supergravity; appendix B explicitly stops short of that ten-dimensional check for both truncations, so a mismatch there would falsify the claim that every minimal-theory solution uplifts to massive IIA.","supporting_citations":[{"cited_title":"An ${\\cal N}=3$ Solution in Dyonic ISO(7) Gauged Maximal Supergravity and Its Uplift to Massive Type IIA","cited_arxiv_id":"1508.05376","evidence_quote":"It constructs the $\\mathcal{N}=3$ solution of dyonic ISO(7) supergravity and its massive IIA uplift on the six-sphere, identifying the second background."}],"review_version":1}