{"id":"2cbb4e64-3640-481a-8a9c-f4a02eb6a820","arxiv_id":"2510.24850","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"An ExFT-based algorithm reduces the uplift problem to a PDE on the base of the internal manifold and classifies the type IIB uplifts of pure SO(4)-gauged N=4 supergravity by two harmonic functions on a Riemann surface.","lead":"This paper develops a systematic algorithm to construct uplifts of non-maximal gauged supergravities to type IIB or 11D supergravity using exceptional field theory, then applies it to pure N=4, D=4 SO(4)-gauged supergravity. The main output is a classification of its type IIB uplifts in terms of two harmonic functions, recovering all consistent truncations around the D'Hoker-Estes-Gutperle interface solutions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The local-to-global extension of the generalised frame across non-principal strata is asserted, not proven; the type IIB classification inherits this gap.","rationale":"The paper is coherent and offers real evidence: the construction is benchmarked against the known S^7 truncation, the type IIB example recovers the D'Hoker-Estes-Gutperle family, and the authors state that the compatibility and torsion constraints have been explicitly verified. These are non-trivial checks, and they make the central construction credible. However, the central claim is stronger than a local construction: it requires a globally well-defined generalised frame and a complete classification of uplifts. The gap identified by the Reader is exactly where the proof is thinnest. The local model is used to reduce torsion to a PDE on B, and the quotient is then treated as a product G/H×B, but the paper itself flags topological obstructions when passing from the principal stratum to the full internal manifold. The determinant check in the IIB example is a useful partial verification, but it does not prove smooth extension across strata or at the brane-source loci, and it is only one example. The exclusivity of H=U(1)×U(1) for type IIB is also asserted rather than demonstrated in detail. These are addressable gaps, not demonstrated flaws, so the correct verdict remains conditional rather than accept or reject.","tokens_in":34751,"tokens_out":6101,"duration_ms":60599,"concrete_test":"For the explicit §5 IIB uplift, take the S-fold harmonic functions A_1=-(i/4)√2 e^{-z}, A_2=(i/4)√2 e^z, and compute the generalised frame (5.18) and all ExFT fields in a tubular neighbourhood of a point where h_1 h_2 ∂∂̄(h_1 h_2)=0. Verify directly whether the frame components and fluxes are smooth (or have the standard brane-source singularities demanded by the type IIB equations) and whether the torsion condition (3.42) holds at that locus. A parallel algebraic check is to enumerate all conjugacy classes of closed subgroups H⊂SO(3)_1×SO(3)_2 and solve the section constraints (3.35) for a type IIB solution; any admissible H other than U(1)×U(1) would invalidate the claimed classification.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The algorithm's output must be a globally well-defined generalised frame on the full internal manifold, since consistency of the truncation is a statement about solutions on M_ext×M_int. The construction in §3 is carried out on the principal stratum using M_loc=G_g/H×B, and §3.1.1 explicitly warns that 'one should be careful when extending these results to the full of M_int, where topological obstructions might arise'; §3.2.3 similarly notes that 'one needs to be careful when patching different strata.' No theorem is given showing that the frame E=L·E♭·ê^{-1} (3.39) and the sections K_A extend smoothly across non-principal strata, nor that the principal quotient is trivialisable as G/H×B in the way the local model assumes. In the one fully worked IIB example, the only global check is det(E)^{1/28}=c×h1 h2 ∂∂̄(h1 h2) (5.25); this object vanishes at the brane-source loci, so the frame is regular only on the complement of those points. The text further states that the classification rests on H=SO(2)_1×SO(2)_2 being the only principal stabiliser admitting a type IIB solution, justified by an asserted one-to-one correspondence with compatible sections whose enumeration is not displayed. If a frame fails to extend across a stratum, or if another principal stabiliser admits a type IIB solution, then the consistency proof and the 'all possible uplifts' conclusion in §5 are incomplete.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a systematic ExFT/generalised-geometry construction for uplifting non-maximal gauged supergravities to type IIB or 11D supergravity. Starting from an embedding tensor, the authors argue that the internal manifold admits a proper G_g-action and a local model M_loc = G_g/H × B. They reduce the constant-singlet intrinsic-torsion condition to a set of algebraic compatibility constraints plus a PDE on the base B, equations (3.34) and (3.42). The method is illustrated in an M-theory example in Section 4 and then applied in Section 5 to classify type IIB uplifts of pure four-dimensional SO(4)-gauged N=4 supergravity, with explicit sections (5.23) and a determinant check (5.25). The paper claims to recover consistent truncations around any D'Hoker-Estes-Gutperle solution.","tokens_in":35095,"tokens_out":9044,"duration_ms":82480,"significance":"If the main structural claim holds, this is a valuable step: it extends the generalised Scherk-Schwarz/ExFT technology from maximal to non-maximal gauged supergravities, provides an explicit algorithm, and produces a concrete family of type IIB uplifts with explicit supergravity fields. The derivation uses the slice theorem, equivariant forms, and the ExFT section constraints in a coherent way, and appendix D contains proofs of several of the frame constraints. The paper also contains explicit checks and reproduces the known S-fold truncation of [3]. The main risk is that the global-extension and classification claims are stronger than what is actually proved; these issues are localisable and, in my view, fixable.","major_comments":[{"comment":"The local model M_loc = G_g/H × B is obtained from the slice theorem only in a neighbourhood of a point of the principal stratum, and the text explicitly warns that 'one should be careful when extending these results to the full of M_int, where topological obstructions might arise' and that 'one needs to be careful when patching different strata'. No theorem is given showing that the frame E = L·E^♭·ê^{-1} in (3.39) and the sections K_A in (3.41) extend smoothly across non-principal strata, nor that the principal quotient is globally trivialisable as G_g/H × B. In the type IIB example the only global check is det(E)^{1/28} = c × h_1 h_2 ∂∂̄(h_1 h_2) in (5.25), which vanishes at the brane-source loci, so the frame is regular only on the complement of those points. This gap is load-bearing for the claim that the algorithm produces an uplift on the full internal manifold and for the 'all possible uplifts' classification: either a proof of extension (or a precise regularity statement) must be supplied, or the claims should be restricted to the principal stratum and to the complement of the singular set.","section":"§3.1.1, §3.2.3, §5.1"},{"comment":"The assertion that H = SO(2)_1 × SO(2)_2 is 'the only principal stabiliser admitting an uplift to type IIB' is justified by the existence of one solution in [3] and by an unstated one-to-one correspondence with compatible sections. The enumeration of all inequivalent embeddings H → G_D × G_S and of the associated solutions to the section constraints is not displayed. Without this enumeration, the classification of 'all possible uplifts' is not established. Please either display the complete classification of compatible H-embeddings or reformulate the statement as a construction of the uplifts associated with this particular H.","section":"§5.1, first paragraph"},{"comment":"The introduction assumes H^p_dR(G_g/H) = 0 for p = 1, 3, 5, 7 in type IIB, but equation (3.20) imposes vanishing only for p = 3, 5, 7. The p = 1 condition is needed to ensure that closed K-invariant 1-form fluxes are exact, so that the torsion constraints reduce to d[P·(L·E^♭·ê^{-1})] = 0 in (3.34). If H^1(G_g/H) is non-zero, there may be equivariant closed 1-form components of the sections that are not exact, and the reduction to a PDE on B can fail. Please correct (3.20) or explain why p = 1 is automatic in the cases considered.","section":"§3.2.3, equation (3.20)"},{"comment":"The consistency of the type IIB truncation is asserted rather than demonstrated in the text: the statement that 'we have verified that the Bianchi identity for F5 and the e.o.m. of the type IIB axio-dilaton do reduce to the four-dimensional equations of motion' is not backed by a detailed calculation, and the remaining equations (Einstein, 2-form, 4-form) are not shown. Given the central role of these checks for the classification, the authors should include the verification or an explicit statement of which equations were checked and on which open subset of M_int. The singularity of the frame at the brane loci (5.25) makes it particularly important to specify the domain of validity.","section":"§5.2"}],"minor_comments":[{"comment":"The expression for k_3 appears to contain a typo: the second term should probably be −cot θ_1 cos φ_1 ∂_{φ_1} rather than a second ∂_{θ_1}. Please check all Killing vector components on the two spheres.","section":"Eq. (5.19)"},{"comment":"There are several typographical errors and garbled symbol sequences, for example 'andColin Sterckx' on the title page, 'we insists' in §3.2.3, 'embedd' in §5.1, and unreadable fragments around equation (3.15). The file should be regenerated so that all formulas typeset correctly.","section":"§3.1.1, §3.2.1, title page"},{"comment":"The counting '32+2×16 such singlets' is stated without derivation; a short explanation of how this is obtained from the branching of the 56 would improve readability.","section":"§5.1"},{"comment":"The notation h_1 ∧ h_2 is used for a combination of 1-forms on Σ, but h_1 and h_2 are functions; please define this wedge notation explicitly, for instance next to the products in (5.30).","section":"§5.2"},{"comment":"The Künneth argument assumes H^q(B) = 0 for q ≥ 1; this is stated in words but should be listed among the explicit topological assumptions used in the paper.","section":"§3.2.3"}],"recommendation":"major_revision","confidential_remarks":"The central construction appears sound, but the classification claim in Section 5 is more exposed than the text acknowledges. I would ask for a complete enumeration of the H-embeddings or a more cautious statement, and for a clear statement of the regularity domain of the frame. The reliance on [3] (which includes the second author) for the uniqueness of the H-embedding should be supplemented by an independent argument or by a detailed derivation within this paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my honest read. The paper delivers a genuine advance: it converts the uplift of non-maximal gauged supergravities into a three-step algorithm—choose a principal stabiliser H, solve the section constraints for a compatible E0, then impose a PDE on the base—and demonstrates it on a nontrivial example, the classification of type IIB uplifts of pure SO(4)-gauged N=4, D=4 supergravity. The classification by two harmonic functions and the explicit IIB fields (5.32)-(5.36), recovering the D'Hoker-Estes-Gutperle family, is the real payoff. The M-theory example is consciously trivial, reducing to S^7, but that is an honest benchmark.\n\nThe torsion-reduction argument (3.34)/(3.42) is coherent, and the appendices supply a lot of the machinery, including a useful explicit E7(7) type IIB generalised Lie derivative. The paper is open about its assumptions, which I respect.\n\nWhere the soft spots are: first, the local-to-global extension across non-principal strata is asserted, not proven. The paper warns about topological obstructions, but no theorem shows the frame extends smoothly across strata. The det(E) check in the IIB example shows regularity away from brane-source loci, which is probably enough for physical applications, but the word 'all' in the classification is conditional on an unproven global assumption. Second, several load-bearing computations are reported as 'explicitly verified' rather than shown; in a paper whose central claim is a classification, showing at least the key steps would help. Third, consistency is built into the ExFT theorem; the paper constructs uplifts within that framework, so it is not an independent derivation. None of these is a demonstrated flaw, but they are addressable gaps.\n\nWho it is for: practitioners of consistent truncations and holography, and anyone working on N=4 gauged supergravity. It deserves a serious referee, and I would expect it to become a standard reference for this class of uplifts.","headline":"A systematic algorithm for uplifting non-maximal gauged supergravities with a genuinely new classification for N=4, but the global-extension and hidden-computation gaps make it a strong paper needing careful refereeing rather than a definitive proof.","tokens_in":35646,"tokens_out":2300,"would_cite":true,"duration_ms":21068,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that lifting a non-maximal gauged supergravity to ten or eleven dimensions reduces to one simpler PDE on the base of the internal manifold.","keywords":["consistent truncations","exceptional field theory","generalised geometry","gauged supergravity","type IIB supergravity","M-theory","N=4 supergravity","harmonic functions"],"falsifier":"Choose harmonic functions $h_1,h_2$ on the base $\\Sigma$ such that $h_1h_2\\,\\partial\\bar{\\partial}(h_1h_2)$ has a zero in the interior of $\\Sigma$, and compute the frame determinant (5.25): if it vanishes at an interior point, the frame is not globally well-defined and that harmonic pair does not yield a consistent truncation, contradicting the claimed classification.","tokens_in":34432,"feed_emoji":"🌀","tokens_out":11331,"duration_ms":91752,"temperature":0.7,"pith_summary":"The paper addresses the bottom-up question of supergravity: when does a four-dimensional gauged supergravity come from type IIB or eleven-dimensional supergravity? It shows that if the gauge group $G_g$ acts on the internal manifold, the internal manifold splits locally as a fibre $G_g/H$ over a base $B$, and every potential uplift is encoded in a generalised frame on that space. The central result is that consistency of the uplift is equivalent to a single differential condition, written $d[P(L\\cdot E^\\flat\\cdot \\hat{e}^{-1})]=0$ on the base $B$, rather than a system of non-linear PDEs over the whole internal manifold. Applied to pure $\\mathcal{N}=4$, $D=4$ SO(4)-gauged supergravity, the method classifies all type IIB uplifts in terms of two harmonic functions on a Riemann surface and recovers consistent truncations around every exact half-BPS interface solution of [1].","feed_headline":"One PDE on the base decides whether a supergravity uplift exists","feed_subtitle":"It classifies all type IIB uplifts of pure N=4 SO(4) supergravity, each fixed by two harmonic functions.","key_machinery":"The load-bearing object is the generalised frame, a vielbein valued in the exceptional duality group (here $E_{7(7)}$) that packages the internal metric and fluxes into a single section of the generalised tangent bundle. The paper restricts to frames of the form $E=L\\cdot E^\\flat\\cdot \\hat{e}^{-1}$, where $L$ is a coset representative on $G_g/H$, $\\hat{e}$ is the coset vielbein, and the flat frame $E^\\flat$ depends only on the base $B$; $E^\\flat$ is assembled from a compatible solution of the section constraints together with $H$-invariant flux factors. The decisive identity is the reduction of the torsion condition to $d[P(L\\cdot E^\\flat\\cdot \\hat{e}^{-1})]=0$, an exterior-derivative equation on the poly-form components of the invariant sections, which lives on $B$ rather than on the full internal manifold. That reduction is what turns the classification of uplifts into a tractable algebraic and PDE problem.","core_discovery":"The central claim is that consistency of a truncation from type IIB or eleven-dimensional supergravity to a non-maximal gauged supergravity is a statement about $G_S$-invariant sections of the generalised tangent bundle, and that the problem reduces to finding a generalised frame of the form $E=L\\cdot E^\\flat\\cdot \\hat{e}^{-1}$ on $M_{\\mathrm{int}}\\simeq G_g/H\\times B$. The frame's compatibility with the embedding tensor fixes $E^\\flat$ through algebraic equations, while the torsion condition, requiring the intrinsic torsion to be a constant $G_S$-singlet equal to the embedding tensor $\\Theta$, collapses to the condition that the poly-form components of $K^A=P^A{}_M E^M$ be (co)closed. After factoring out the group element and the coset vielbein, that condition is exactly the PDE $d[P(L\\cdot E^\\flat\\cdot \\hat{e}^{-1})]=0$ on $B$. For pure half-maximal SO(4)-gauged supergravity in four dimensions, the paper classifies all type IIB uplifts: the internal manifold is $S^2\\times S^2\\times\\Sigma$, the compatible frames form an SL(2)$\\times$GL(2)$_\\Sigma$ family, and the torsion condition selects two harmonic functions $h_1,h_2$ on $\\Sigma$. The explicit sections (5.23) satisfy both compatibility and torsion, and the frame determinant (5.25) vanishes only at the boundary brane singularities, so the truncations are consistent arbitrarily close to the sources of [1].","pith_inferences":["If the harmonic-function parametrisation is exhaustive, the moduli space of type IIB uplifts of this theory is essentially the space of holomorphic data on $\\Sigma$; it would be interesting to compare that space with the conformal moduli of the interface solutions of [1] and test whether every pair of harmonic functions yields a genuinely different truncation.","The central role of the principal stabiliser suggests a practical no-go test: for any proposed gauge group, enumerate the conjugacy classes of $H\\subset G_g$, solve the algebraic compatibility equations, and read off whether type IIB, M-theory, or no uplift exists; this is a finite computation that could be automated.","Massive type IIA is left out because the Romans term changes the generalised Lie derivative, so the same reduction to a base PDE is not automatic; an uplift to massive IIA would probably need a deformed version of the frame ansatz (3.39) rather than a direct application of this theorem."],"forward_implications":["The type IIB uplifts of pure $\\mathcal{N}=4$, $D=4$ SO(4)-gauged supergravity are classified: the internal space is $S^2\\times S^2\\times\\Sigma$ and each uplift is fixed by two harmonic functions $h_1,h_2$ on the Riemann surface $\\Sigma$.","All consistent truncations around the exact half-BPS interface solutions of [1] are recovered as particular choices of those harmonic functions.","The compatibility constraint is algebraic: if no compatible solution of the section constraints exists for a chosen principal stabiliser $H$, then no uplift of that type exists, so possible uplifts can be ruled out without solving the equations of motion.","The same algorithm is directly applicable to other non-maximal gauged supergravities whose gauge group admits a proper action on a suitable internal manifold and whose cohomological conditions are met.","Because the frame determinant vanishes only at boundary brane singularities, the constructed truncations are well-defined arbitrarily close to those sources, making them usable for holographic checks near the branes."],"supporting_citations":[{"why":"defines consistent truncations as reductions of the structure group with constant, singlet intrinsic torsion, the framework this paper builds on.","marker":"[32]"},{"why":"sets up the bottom-up uplift problem for maximal gauged supergravities, whose techniques are here extended to non-maximal cases.","marker":"[44]"},{"why":"provides the earlier explicit type IIB truncation on S^1 x S^5 whose compatible section-constraint solution fixes the embedding of the isotropy group used in Section 5.","marker":"[3]"},{"why":"the exact half-BPS interface solutions around which the new truncations are recovered.","marker":"[1]"},{"why":"supplies the slice theorem, principal-orbit-type theorem, and orbit stratification that justify the local model M_int ~ G_g/H x B.","marker":"[46]"},{"why":"gives the branching of the E_{7(7)} fundamental under the SU(4)_S structure group and the projector conditions used to fix the sections.","marker":"[56]"},{"why":"introduces the harmonic functions and scalar functions reproduced by the final type IIB solution.","marker":"[57]"},{"why":"provides the type IIB ExFT dictionary and non-linear field redefinitions needed to write the uplift in supergravity fields.","marker":"[23]"}],"fun_headline_variants":["Uplift reduces to one PDE on the base","Two harmonic functions classify all N=4 SO(4) uplifts","Supergravity uplift: existence from one PDE","All SO(4) uplifts: two harmonic functions on base"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the local description of the internal space as a group fibre over a base extends without obstruction across every stratum of the internal manifold, including the strata where the group action degenerates; a hidden topological obstruction there would make the claimed classification of uplifts incomplete.","fun_headline_variants_meta":{"raw":{"variants":["Uplift reduces to one PDE on the base","Two harmonic functions classify all N=4 SO(4) uplifts","Supergravity uplift: existence from one PDE","All SO(4) uplifts: two harmonic functions on base"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000927,"raw_usage":{"total_tokens":4003,"prompt_tokens":1011,"completion_tokens":2992,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":627,"completion_tokens_details":{"reasoning_tokens":2924}},"tokens_in":627,"tokens_out":2992,"duration_ms":20613,"temperature":1.0,"reasoning_tokens":2924,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:40:45.413940+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose harmonic functions $h_1,h_2$ on the base $\\Sigma$ such that $h_1h_2\\,\\partial\\bar{\\partial}(h_1h_2)$ has a zero in the interior of $\\Sigma$, and compute the frame determinant (5.25): if it vanishes at an interior point, the frame is not globally well-defined and that harmonic pair does not yield a consistent truncation, contradicting the claimed classification.","supporting_citations":[],"review_version":2}