{"id":"5b190130-a1e2-43ad-b14b-bd46db38907d","arxiv_id":"2411.11086","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Type-IIA and IIB supergravity backgrounds are constructed explicitly from λ-deformed cosets SO(4)/SO(3), SO(5)/SO(4), and SO(1,4)/SO(4), with reality conditions bounding the deformation parameter.","lead":"The author constructs new ten-dimensional supergravity solutions whose internal spaces are λ-deformed coset CFTs, with Anti-de Sitter factors in the geometry. The work adds explicit AdS/CFT candidate backgrounds and shows that requiring real fluxes sometimes blocks the non-Abelian T-dual limit.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The construction rests on unproven frame identities (2.6)/(2.14) and β-functions (2.5)/(2.13); a sign error in either would invalidate the Bianchi identities and the derived solutions.","rationale":"The reader's weakest_assumption correctly identifies the β-function equations and frame identities as the load-bearing input. My reading confirms that the entire construction—the Bianchi identities for the RR fields, the flux equations, and the matching of the stress tensor to the β-function values—depends on the exact signs and normalizations of (2.5), (2.13), (2.6), and (2.14). The reader also noted the typo in (4.5), which is a concrete symptom of the sign-sensitivity. I manually checked one of the frame identities, d(e^{-Φ} e1) = 0, using the explicit expressions in (2.1)-(2.4), and it holds; this suggests the identities are likely correct, but it is not a proof for all of them. The paper does not provide derivations for these identities, and the β-functions are cited from [19] rather than verified. Because a single sign error would invalidate the solutions, the appropriate verdict remains CONDITIONAL, pending an independent check. The reader's verdict is unchanged by my assessment; the concern is the same, and no additional fatal flaw has been identified. I do not see a more fundamental issue: the supergravity equations are checked consistently for the proposed ansätze, the algebraic constraints are internally coherent, and the reality bounds follow from the stated quadratic equations. The main uncertainty is purely the correctness of the input identities, which is testable in principle.","tokens_in":58,"tokens_out":25403,"duration_ms":766590,"concrete_test":"Use a symbolic algebra system (e.g., Mathematica or Maple) to independently compute from the explicit frames in (2.1), (2.8), (2.10), and (2.15): (i) the exterior derivatives d(e^{-Φ} e1), d(e^{-Φ} e1∧e3), d(e^{-Φ} e2∧e3), d(e^{-Φ} e1∧e3∧e4), and d(e^{-Φ} e2∧e4) and verify they vanish; (ii) the Ricci tensor, Hessian of Φ, and the combinations in (2.5) and (2.13), checking both the constant RHS values and the Lorentzian-signature η_ab/¯η_ab structure. If any identity fails, recompute the affected constants (e.g., c1², c2² in (3.9), (3.18), (4.9)) with the corrected signs; a sign flip in (2.5) would change (3.8) and could make c² negative, destroying the reality bounds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires the λ-deformed coset data to satisfy the one-loop β-function equations (2.5)/(2.13) and the frame identities (2.6)/(2.14). These are asserted ('One can verify') with the β-functions cited from [19], but no derivation or proof is provided. The frame identities are used pervasively: dF2 = 0 and d⋆F2 = 0 in Sections 3 and 4 both follow from (2.6)/(2.14) together with closure of the volume forms on the ambient M7/M6 spaces. A single sign or normalization error in, say, d(e^{-Φ} e1) = 0 would make the proposed RR field strengths fail the Bianchi identity dF = 0 (with H = 0), and the backgrounds would not be solutions of type-II supergravity. Because every uplift in the paper inherits the exact signs of these identities, and because the identities are not proven, this is the most load-bearing assumption in the argument. The paper's algebraic checks, while consistent, do not independently establish the input identities; the typo in (4.5) (δ_ab should be ¯η_ab) further underscores that sign-sensitive computations have been transcribed with lapses. The central claim is therefore conditional on exact correctness of these unverified identities.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript constructs type-IIA and type-IIB supergravity backgrounds by uplifting the λ-deformed coset CFTs SO(4)_k/SO(3)_k, SO(5)_k/SO(4)_k, and the non-compact SO(1,4)_k/SO(4)_k. The ten-dimensional spacetimes are direct products of the deformed coset space with Einstein manifolds containing AdS factors. The RR fields are fixed by algebraic constraints from the Bianchi and flux equations, and reality of the coefficients imposes intervals on λ. The paper presents explicit solutions in Sections 3 and 4, summarized in Tables 1 and 2, and notes that some solutions do not have a non-Abelian T-dual limit.","tokens_in":22434,"tokens_out":17219,"duration_ms":153227,"significance":"If the constructions are correct, this is a valuable systematic extension of the programme of embedding λ-deformed cosets into supergravity. The method is transparent: the ansatze are given explicitly and the algebraic constraints are solved without fitted parameters, with the λ-dependence inherited from the sigma-model β-functions. The paper provides explicit backgrounds that can be checked, and the enumeration of AdS solutions broadens the landscape of holographic models. However, the verification is incomplete at the level of the input frame identities and contains a sign-sensitive typo; these issues need to be addressed for the results to be reliable.","major_comments":[{"comment":"The frame identities (2.6) and (2.14) are stated without proof, and they are used pervasively in Sections 3 and 4 to establish dF=0 and d⋆F=0 for the RR potentials. Since a sign or normalization error in these identities would falsify the Bianchi identities and hence the supergravity solutions, the author should provide a complete derivation or an explicit verification (e.g., in an appendix or via supplementary computer algebra). This is the most load-bearing input in the paper.","section":"Section 2, Eqs. (2.6) and (2.14)"},{"comment":"The displayed stress tensor on the internal CS4_λ directions is T^IIA_ab = (c1²−c2²) δ_ab, but the derivation of (4.8) from (A.5) and the β-function (2.13) requires the factor to be ¯η_ab = diag(+1,−1,+1,−1). The equation as written is inconsistent with the next line, and the final results in (4.9) appear to rely on the unintended ¯η_ab form. Please correct the typo and re-verify all subsequent equations that use (4.5) for signs.","section":"Section 4.1, Eq. (4.5)"}],"minor_comments":[{"comment":"The word 'insted' should be 'instead' in the sentence 'where now insted of e0 ∧ e1 in the four-form we have e4 ∧ e5'.","section":"Section 4.3"},{"comment":"The word 'dentified' should be 'identified' in the last bullet point.","section":"Section 4.3.2"},{"comment":"The λ-intervals in (3.19) and (3.25) are written as '7−2√10/3' without parentheses; please write '(7−2√10)/3' to avoid ambiguity.","section":"Sections 3.2 and 3.3"},{"comment":"Using the symbol ¯η_ab for a matrix that is not the metric of the internal space may confuse the reader; consider a notation that distinguishes the Ricci eigenframe from the metric.","section":"Section 2.2, Eq. (2.13)"},{"comment":"The claimed T-duality with the solution of Section 4.2.1 is stated without a derivation; please add a brief argument or a reference.","section":"Section 4.4, last bullet"},{"comment":"The statement that some solutions do not admit a non-Abelian T-dual limit is not explicitly tied to the λ-intervals found in the main text; a short explanation would help.","section":"Conclusions"}],"recommendation":"major_revision","confidential_remarks":"The paper's central construction is straightforward algebra once the input β-functions and frame identities are accepted, and the λ-bounds are consistent with the displayed inequalities. The main risk is that the frame identities (2.6) and (2.14) are asserted without proof and are sign-critical; the typo in (4.5) reinforces the need for a careful check. I would encourage the editor to request that the author supply a derivation or a verifiable check of those identities, for instance in an appendix, before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The central claim checks out: the paper gives explicit, algebraically checkable type-IIA/IIB backgrounds built from the λ-deformed SO(4)/SO(3), SO(5)/SO(4), and SO(1,4)/SO(4) cosets, with RR fluxes completing the sigma-model fields. The new bits are the specific uplifts, the reality bounds on λ that follow from requiring c_i^2 ≥ 0, and the observation that some solutions don't have a non-Abelian T-dual limit because λ cannot reach 1. The method follows [21], but that's fine; the paper is a catalog, not a new mechanism.\n\nThe algebra I checked is consistent: the flux equations, the constraints (3.7)-(3.9), and the reality intervals all match. The tables are useful. The author is honest about what's missing: no supersymmetry analysis, no field-theory duals, no check of full-string integrability.\n\nSoft spots, in order of importance. First, the frame identities (2.6) and (2.14) are asserted with \"one can verify\" and are never proven. They are load-bearing: the Bianchi identities for the RR fields reduce to d(e^{-Φ} e^1)=0 and its relatives. The stress-test note is right that a sign error in these identities would sink the whole construction. That said, the frames are given explicitly, so a referee can check; it's tedious algebra, not a missing concept. I'd ask the author to put the verification in an appendix.\n\nSecond, there's a typo in (4.5): the stress tensor on the coset directions should be (c1^2−c2^2) ηbar_ab with ηbar = diag(+1,−1,+1,−1), not δ_ab. The reader caught that, and it matters because the subsequent constraint (4.8) relies on matching (2.13). Also, the notation clash where e1,...,e4 denote both ambient and coset frames in Sections 4.2-4.4 is confusing; the author should relabel.\n\nThird, the \"plethora\" in the abstract oversells slightly: it's a catalog of ansatz-based solutions, not a new class of mechanisms. That's fine for a subfield paper.\n\nWho's this for? People working on integrable deformations, λ-models, non-Abelian T-duality, and holographic backgrounds. It's a subfield paper with modest significance, but it's solid and checkable. I'd cite it if I worked on these cosets. It deserves a serious referee — I'd accept it for peer review with requests for the typo fix and the frame-identity proof.","headline":"A checkable catalog of new type-II backgrounds from λ-deformed cosets; central claim holds, but fix the typo in (4.5) and prove the asserted frame identities.","tokens_in":23047,"tokens_out":5629,"would_cite":true,"duration_ms":48820,"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":"Lambda-deformed coset CFTs can be completed into real type-II supergravity backgrounds with AdS factors.","keywords":["lambda-deformation","coset CFT","type-II supergravity","AdS backgrounds","Ramond-Ramond fluxes","integrable sigma-model","non-Abelian T-duality","reality bounds"],"falsifier":"Recompute the beta-function equations (2.5) and (2.13) independently and check the sign of the right-hand sides; a sign flip propagates into equations (3.7)–(3.8) and (4.7)–(4.8), changing the signs of c₁² and c₂² and destroying the claimed reality intervals for λ. Alternatively, feed the AdS4 × S3 × CS3_λ solution into a symbolic supergravity checker: if the Bianchi identity dF₄ = H ∧ F₂ or the Einstein equations fail for the stated fluxes, the construction is incorrect.","tokens_in":21963,"feed_emoji":"🌌","tokens_out":7020,"duration_ms":62745,"temperature":0.7,"pith_summary":"This paper sets out to show that certain integrable deformations of two-dimensional coset conformal field theories are not just sigma-model constructions but can be promoted to full ten-dimensional supergravity solutions. Taking the λ-deformed models on SO(4)_k/SO(3)_k and SO(5)_k/SO(4)_k, including the non-compact SO(1,4)_-k/SO(4)_-k, the author completes the metric and dilaton with Ramond-Ramond fluxes so that the type-IIA and type-IIB equations of motion hold. The resulting geometries are direct products of an AdS-containing Einstein space and the deformed coset space, with the deformation parameter λ forced into specific intervals by requiring all fluxes to be real. A sympathetic reader would care because these are concrete families of AdS vacua with a tunable deformation parameter, and because the reality bounds separate some solutions from the familiar non-Abelian T-dual limit.","feed_headline":"Lambda-deformed cosets yield real type-II backgrounds with AdS","feed_subtitle":"RR fluxes complete integrable coset sigma-models into ten-dimensional supergravity, with λ bounded by reality.","key_machinery":"The load-bearing object is the λ-deformed coset sigma model, an integrable one-parameter deformation that interpolates between a WZW coset CFT at λ = 0 and the non-Abelian T-dual of the geometric coset at λ → 1. The construction uses the one-loop beta-function equations (2.5) and (2.13), which fix the Ricci curvature of the transverse spaces through the dilaton equation, and the frame identities (2.6) and (2.14), which guarantee that the proposed RR ansatze satisfy the Bianchi identities automatically. The RR ansatze, such as (3.3), (3.12), (4.13), and (4.43), are engineered so that the ten-dimensional equations reduce to polynomial constraints on flux coefficients whose squares must be non-negative, producing the tabulated λ-intervals.","core_discovery":"The central claim is that the λ-deformed coset backgrounds CS3_λ = SO(4)_k/SO(3)_k, CS4_λ = SO(5)_k/SO(4)_k, and CH4_λ = SO(1,4)_-k/SO(4)_-k can each be embedded in type-II supergravity as one factor of a real ten-dimensional solution of the form M7 × CS3_λ, M6 × CS4_λ, or M6 × CH4_λ. The transverse spaces M6 and M7 split into direct products of Einstein spaces of constant curvature, chosen so that AdS factors appear. The RR fluxes are written as explicit ansatze built from the coset frames and the dilaton, and the Bianchi identities are satisfied through the frame relations (2.6) and (2.14). Solving the Einstein and flux equations reduces to algebraic conditions on the flux coefficients, and reality of those coefficients imposes bounds on λ—for example 0 ≤ λ ≤ (7 − 2√10)/3 in one type-IIB family and 0 ≤ λ < 1 in many type-IIA families. Consequently some solutions do not admit a non-Abelian T-dual limit, since that limit sits at λ → 1 outside the allowed range.","pith_inferences":["One extension the author leaves implicit is that the λ-intervals form a phase diagram: families whose allowed interval reaches λ = 1 connect continuously to non-Abelian T-dual backgrounds, while families cut off below λ = 1 define a distinct class with no such limit, with the border values marking where one flux coefficient vanishes.","A natural next step would be to check supersymmetry of these AdS vacua; if most turn out to be non-supersymmetric, their perturbative stability and holographic interpretation become the pressing questions, and the explicit λ-dependence makes them testable playgrounds for that analysis.","The same ansatz strategy should generalize to higher-dimensional λ-deformed cosets SO(n+1)/SO(n) and to other non-compact real forms, with the main obstruction being the need for frame identities analogous to (2.6) and (2.14) that trivialize the Bianchi identities."],"forward_implications":["For SO(4)_k/SO(3)_k, real type-IIA backgrounds include AdS4 × S3 × CS3_λ and AdS2 × H2 × S3 × CS3_λ for all λ in [0, 1).","For the same coset, real type-IIB backgrounds include AdS3 × H4 × CS3_λ and AdS4 × H3 × CS3_λ, with λ bounded by 0 ≤ λ ≤ (7 − 2√10)/3 or by the complementary interval up to λ → 1 depending on where the time direction sits.","For SO(5)_k/SO(4)_k, type-IIA solutions include AdS6 × CS4_λ, AdS3 × H3 × CS4_λ, and AdS2 × T4 × CS4_λ, with λ restricted in some cases by 0 ≤ λ ≤ (3 − √5)/2.","The non-compact coset SO(1,4)_-k/SO(4)_-k admits real type-IIA backgrounds such as AdS2 × S4 × CH4_λ, AdS2 × CP2 × CH4_λ, and AdS2 × S2 × S̃2 × CH4_λ for λ in [0, 1).","Because the reality bounds sometimes exclude λ = 1, those families cannot be obtained as non-Abelian T-duals of the undeformed geometric cosets; they are genuinely deformed supergravity solutions."],"supporting_citations":[{"why":"Supplies the one-loop beta-function equations (2.5) and (2.13) and the frame data for the λ-deformed cosets that the entire uplift inherits.","marker":"[19]"},{"why":"Provides the method of completing λ-deformed backgrounds with RR fluxes to satisfy the type-II supergravity equations.","marker":"[21]"},{"why":"Defines the λ-model and its interpolation between a WZW CFT and the non-Abelian T-dual, including the λ → 1 limit used throughout.","marker":"[1]"},{"why":"Demonstrates how analytic continuation turns λ-deformed data into real supergravity backgrounds, the precedent for the real solutions constructed here.","marker":"[29]"},{"why":"Gives an earlier λ-deformed spacetime construction whose imaginary RR fluxes the author bypasses by working in a different patch.","marker":"[28]"}],"fun_headline_variants":["λ-deformed cosets yield real type-II AdS backgrounds","Real type-II solutions from deformed coset CFTs","Deformed coset CFTs embed into type-II with AdS","λ-bound cosets give real type-II solutions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the published one-loop beta-function equations (2.5) and (2.13) for these λ-deformed cosets carry the correct signs and normalizations, because every subsequent algebraic constraint on the RR fluxes and every reality bound inherits those signs.","fun_headline_variants_meta":{"raw":{"variants":["λ-deformed cosets yield real type-II AdS backgrounds","Real type-II solutions from deformed coset CFTs","Deformed coset CFTs embed into type-II with AdS","λ-bound cosets give real type-II solutions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000542,"raw_usage":{"total_tokens":2571,"prompt_tokens":897,"completion_tokens":1674,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":1605}},"tokens_in":513,"tokens_out":1674,"duration_ms":13641,"temperature":1.0,"reasoning_tokens":1605,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T18:55:57.441361+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the beta-function equations (2.5) and (2.13) independently and check the sign of the right-hand sides; a sign flip propagates into equations (3.7)–(3.8) and (4.7)–(4.8), changing the signs of c₁² and c₂² and destroying the claimed reality intervals for λ. Alternatively, feed the AdS4 × S3 × CS3_λ solution into a symbolic supergravity checker: if the Bianchi identity dF₄ = H ∧ F₂ or the Einstein equations fail for the stated fluxes, the construction is incorrect.","supporting_citations":[],"review_version":1}