{"id":"7dbfaac7-0bbc-4114-8ce5-b04b55cbaaa4","arxiv_id":"2606.14469","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"Scale-separated supersymmetric AdS3 flux vacua of type IIB G2-orientifolds arise as the near-horizon region of codimension-one smeared D1-D5-KK5 intersections.","lead":"This paper constructs explicit ten-dimensional D1-D5-KK5 brane intersections whose near-horizon limits recover known scale-separated AdS3 flux vacua of type IIB string theory. It supplies a higher-dimensional brane origin for these vacua and interpolating solutions that connect them to asymptotic backgrounds.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the provisional KK-decoupling status already flagged by the reader.","rationale":"The reader correctly isolates the provisional status of KK decoupling as the weakest assumption while recognising that the geometric construction itself is solid within the standard smeared-source framework. After examining the full text—the uplift formulae, the interpolating solution of §3.3, the general D1-D5-KK5 Ansatz of §4, the three explicit families, and the EOM/Bianchi checks—I find no additional load-bearing flaw that would alter the CONDITIONAL verdict. The mathematics closes, the limits match, and the authors already flag the smearing and the missing spectral analysis. Hence the verdict remains CONDITIONAL with high confidence; no adjustment is required.","tokens_in":42203,"tokens_out":560,"duration_ms":47256,"concrete_test":"Independently recompute the near-horizon limit of the metric (4.1) and fluxes (4.5) for the explicit H-functions of Section 4.3 (or 4.5) and verify that the resulting internal radii, dilaton and F(3), F(7) exactly reproduce the moduli VEVs and fluxes of Appendix B.1 (or B.3) together with the AdS3-radius relation (3.23); any mismatch would indicate an algebraic error in the claimed recovery.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central geometric claim—that the codimension-one D1-D5-KK5 intersection of Section 4 (with harmonic H1, H5(1,2,3) and non-harmonic H5(4–7) functions, constant metric fluxes via (4.2), and the near-horizon scalings (4.7)–(4.14)) recovers the supersymmetric AdS3\times M7 flux vacua of (2.15)–(2.16) while the asymptotic region is locally Riemann-flat—is supported by explicit 10D solutions that satisfy the equations of motion and Bianchi identities of Appendix A. The three concrete families (Sections 4.3–4.5) close the limits consistently, match the 3D moduli VEVs and vacuum energies, and reproduce the correct AdS3 radius via (3.23). The only remaining soft spot is the still-missing full KK spectrum for the nilmanifold cases (already noted by the authors in §2.1.2 and footnote 1 and by the reader), which affects the interpretation of scale separation but not the geometric recovery of the flux vacua themselves. No internal inconsistency or hidden assumption that would invalidate the 10D construction was found.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper constructs a higher-dimensional brane interpretation for a class of supersymmetric, scale-separated AdS_{3} flux vacua arising in type IIB orientifold reductions on co-closed G_{2}-structure manifolds. Using the consistent 3D N=1 supergravity (with real superpotential (2.13)) and uplift formulae, the authors first backtrack the unrestricted F_{(7)} and F_{(3)} fluxes (f_{7}, f_{31}, f_{32}, f_{33}) that control scale separation, recovering a singular type IIB background probed by the corresponding D1- and D5_{(1,2,3)}-branes. Restoring those branes yields an interpolating 10D solution connecting the background (asymptotically) to the AdS_{3} \times M_{7} vacua (near-horizon). Working directly in 10D, they then build a codimension-one D1–D5–KK5 intersection (metric (4.1), dilaton (4.3), fluxes (4.4)–(4.5)) whose harmonic H-functions for the unrestricted branes and non-harmonic H-functions for the remaining D5s produce constant fluxes and metric fluxes at the horizon that precisely match the known AdS_{3} solutions (2.15)–(2.16), while the asymptotic region is locally Riemann-flat. Three explicit families (KK5_{(1)}, KK5_{(2)}, and mixed) are worked out in detail and shown to satisfy the type IIB equations of motion and Bianchi identities of Appendix A.","tokens_in":42526,"tokens_out":1270,"duration_ms":19503,"significance":"If the constructions hold, the work supplies a concrete geometric origin for a rare class of scale-separated AdS_{3} vacua in terms of (smeared) intersecting branes and monopoles, thereby linking the 3D effective description to a full 10D domain-wall solution. The explicit matching of moduli VEVs, vacuum energies, AdS radii via (3.23), and the recovery of both the flux-backtracked background and the interpolating solution as partial limits of the same D1–D5–KK5 system constitute a non-trivial consistency check. The three families also illustrate T-dual type IIA realisations (massless and massive) and a genuine type IIB case without geometric dual, and they furnish low-lying operator dimensions that in two of the three examples evade the extremal cubic-coupling obstruction of [27]. These results strengthen the higher-dimensional pedigree of the vacua and open a route to studying possible CFT_{2} duals or localisation of the sources.","major_comments":[{"comment":"Section 2.1.2 (and footnote 1) correctly flags that a full Kaluza–Klein spectral analysis on the nilmanifolds (4.23) and (4.34) is still missing; the anisotropic radius scalings (2.30)–(2.31) are only a proxy. Because the title and abstract present the vacua as scale-separated, and because the 3D supergravity is used both to generate the solutions and to interpret them as an effective theory, the manuscript should either (i) supply at least a partial spectrum for the lowest-lying modes of the nilmanifold Laplacian or (ii) rephrase the scale-separation claim more cautiously as “candidate scale separation under the assumption of KK decoupling.” The geometric recovery of the flux vacua themselves is independent of this issue, but the EFT interpretation is not.","section":null},{"comment":"Section 4 (especially the paragraph after (4.5) and the discussion around (4.20)): the non-harmonic H-functions for the D5_{(4–7)} branes are chosen by hand so that metric fluxes remain constant and the near-horizon fluxes match (2.15)–(2.16). While the authors note that other choices produce different smearings, it is not shown that every admissible choice yields a solution that remains regular (or at least free of new singularities) between the asymptotic and near-horizon regions. A short argument or an additional explicit example demonstrating that the EOMs continue to hold for a modest deformation of the powers a_{4}\tau a_{7} would make the construction more robust.","section":null}],"minor_comments":[{"comment":"Figure 1 is useful but the LaTeX-rendered labels are hard to read in the compiled PDF; a cleaner vector version with larger fonts would help.","section":null},{"comment":"Appendix B.2: the free parameter κ that parametrises the unstabilised moduli appears in the charges and in the DW_{3} coefficients (B.12)–(B.13); a one-sentence remark on how it is fixed (or left free) when matching the AdS radius (3.23) would avoid confusion.","section":null},{"comment":"Notation: the same symbol ω is used both for the common metric-flux value in the three examples and for the structure constants; a brief reminder at the beginning of each subsection would improve readability.","section":null},{"comment":"References [27] and [28] on the holographic cubic-coupling constraint are cited; it would be helpful to state explicitly in the introduction or in §5 which of the three families pass the test and which do not (the spectra are already given in (5.1)–(5.3)).","section":null}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is a natural and technically solid continuation of the authors’ earlier constructions of the same AdS_{3} vacua. The central geometric claim is carefully checked and the remaining caveats (KK spectrum, smearing) are already acknowledged by the authors. I see no reason to doubt the calculations; the requested revisions are clarifications rather than corrections of errors. Suitable for a high-quality hep-th journal after minor revision."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The new content is concrete: they take the supersymmetric scale-separated AdS3 vacua of the type-IIB G2-orientifold reductions, back-track the unrestricted F7 and F3 fluxes via the 3D superpotential and uplift, then build the full codimension-one D1-D5-KK5 intersection whose near-horizon limit recovers those vacua and whose asymptotic region is locally Riemann-flat. The three families (KK5(1) only, KK5(2) only, both) are worked out with explicit H-functions, constant metric fluxes, and matching of moduli VEVs, vacuum energy, and AdS radius via (3.23). The EOMs and Bianchi identities of Appendix A are satisfied. That is real work, not a re-packaging.\n\nWhat they do well is the bookkeeping. Harmonic functions for the unrestricted D1 and D5(1,2,3), non-harmonic for the tadpole-carrying D5s, and the KK5 monopoles fixed by integrating the structure equations so that the metric fluxes stay constant. The flux-backtracking interpolating solution sits cleanly as a partial near-horizon limit of the full intersection. The conformal-dimension spectra for the three examples are given and checked against the cubic-coupling constraint of Bobev et al.; two of the three pass cleanly.\n\nSoft spots are the ones they already flag. Everything is smeared, so the usual caveats about O5/D5 localisation apply; they do not claim otherwise. For the nilmanifold cases the KK spectrum is still missing, so the claim of parametric scale separation remains provisional (anisotropic radius scalings are only a proxy). That does not break the geometric statement that the near-horizon is the known AdS3\times M7 flux vacuum. Citation pattern is normal for this subfield; self-citations are to the vacua being embedded, not circular redefinitions.\n\nThis is for people who work on flux vacua, domain-wall realisations, or the swampland status of scale-separated AdS. If you care about whether those 3D solutions have a 10D brane origin, the paper is useful. I would send it to referees; the construction is explicit enough that a serious referee can check the limits and the EOMs. Engage if the topic is on your desk; otherwise it is a clean reference for the brane picture of this particular family.","headline":"Solid, explicit 10D construction that embeds the known IIB G2 AdS3 vacua into a D1-D5-KK5 domain wall; the geometry checks out, the KK-decoupling caveat is already owned by the authors.","tokens_in":43170,"tokens_out":617,"would_cite":true,"duration_ms":7088,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Scale-separated AdS3 flux vacua arise as the near-horizon region of a smeared D1-D5-KK5 brane intersection.","keywords":["scale separation","AdS3 flux vacua","type IIB orientifolds","G2-structure","D1-D5-KK5 intersection","flux backtracking","tadpole cancellation","Scherk-Schwarz reductions"],"falsifier":"Compute the complete Kaluza-Klein spectrum on the seven-dimensional nilmanifold (or solvmanifold) used for the AdS3 vacua; if a tower of modes remains at the AdS scale rather than decoupling, the effective three-dimensional description and the scale-separation claim fail.","tokens_in":43092,"feed_emoji":"🔗","tokens_out":1060,"duration_ms":8833,"temperature":0.7,"pith_summary":"This paper asks where certain supersymmetric, scale-separated AdS3 solutions of type IIB string theory come from in ten dimensions. The solutions arise from orientifold reductions on seven-manifolds with G2-structure; some of their fluxes are free of tadpole constraints and control the hierarchy between the AdS radius and the internal size. By combining three-dimensional supergravity with uplift formulae, the authors reconstruct a singular type IIB background that those free fluxes would probe. Restoring the associated D1- and D5-branes produces an interpolating solution whose near-horizon limit is the AdS3 vacuum. Working entirely in ten dimensions, they then write an explicit codimension-one D1-D5-KK5 intersection (with harmonic functions for the free branes and non-harmonic functions for the tadpole-generating ones) whose near-horizon geometry realises the same vacua while the asymptotic region is locally Riemann-flat. The result supplies a higher-dimensional, smeared-brane origin for these rare scale-separated solutions and shows how their unrestricted fluxes sit outside the Bianchi identities at the horizon.","feed_headline":"AdS3 flux vacua sit at the horizon of a D1-D5-KK5 stack","feed_subtitle":"Smeared brane intersection recovers scale-separated solutions of type IIB G2-orientifolds","key_machinery":"The codimension-one D1-D5-KK5 domain-wall Ansatz whose harmonic and non-harmonic functions encode the unrestricted versus tadpole-constrained branes; its near-horizon limit yields constant fluxes supporting AdS3 while the asymptotic region is locally flat.","core_discovery":"The supersymmetric scale-separated AdS3 \times M7 flux vacua of type IIB G2-orientifold reductions are realised as the near-horizon region of a codimension-one D1-D5-KK5 intersection; the same vacua are recovered by flux-backtracking the unrestricted F(7) and F(3) fluxes from the three-dimensional superpotential and restoring the corresponding D1- and D5-branes.","pith_inferences":["If localised (unsmeared) O5-plane solutions can be constructed, the same near-horizon logic would give a fully localised higher-dimensional origin for the vacua.","The interpolating solution of Section 3.3 offers a concrete setting in which to test whether the D1-D5 sector can decouple from gravity, a necessary condition for a standard holographic CFT dual.","The T-dual massless and massive IIA descriptions suggest that analogous domain-wall intersections should exist for the related scale-separated AdS3 vacua in type IIA.","Failure of KK decoupling on the nilmanifold would leave the three-dimensional supergravity as a consistent truncation but not an effective field theory, reopening the Swampland status of these solutions."],"forward_implications":["Unrestricted fluxes that control scale separation correspond to localised D1 and D5(1,2,3) branes that do not source ten-dimensional Bianchi identities at the horizon.","Tadpole-generating D5s must be described by non-harmonic functions and appear as smeared sources in the Bianchi identities.","The same construction recovers continuous families of AdS3 solutions with unstabilised moduli as well as fully stabilised ones.","Asymptotic regions of the full intersection are locally Riemann-flat, furnishing a geometric boundary condition for the flux vacua.","Low-lying operator dimensions in some examples avoid extremal cubic couplings, satisfying a holographic consistency constraint."],"fun_headline_variants":["Scale-separated AdS3 vacua as near-horizon of D1-D5-KK5 intersection","D1-D5-KK5 branes realise scale-separated AdS3 flux vacua","Flux-backtracking recovers D1-D5 origin of AdS3 scale separation","Codimension-one D1-D5-KK5 stack yields supersymmetric AdS3 vacua","Brane origin of scale-separated AdS3 solutions in IIB G2-orientifolds"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"The claim that the solutions are genuinely scale-separated rests on the Kaluza-Klein modes decoupling, which the paper itself notes has not yet been proven by a full spectral analysis on the nilmanifolds.","fun_headline_variants_meta":{"raw":{"variants":["Scale-separated AdS3 vacua as near-horizon of D1-D5-KK5 intersection","D1-D5-KK5 branes realise scale-separated AdS3 flux vacua","Flux-backtracking recovers D1-D5 origin of AdS3 scale separation","Codimension-one D1-D5-KK5 stack yields supersymmetric AdS3 vacua","Brane origin of scale-separated AdS3 solutions in IIB G2-orientifolds"]},"model":"grok-4.5","effort":"low","cost_usd":0.005964,"raw_usage":{"total_tokens":1542,"prompt_tokens":774,"num_sources_used":0,"completion_tokens":128,"cost_in_usd_ticks":59640000,"prompt_tokens_details":{"text_tokens":774,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":640,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":774,"tokens_out":128,"duration_ms":5158,"temperature":1.0,"reasoning_tokens":640,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T14:04:51.129771+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute the complete Kaluza-Klein spectrum on the seven-dimensional nilmanifold (or solvmanifold) used for the AdS3 vacua; if a tower of modes remains at the AdS scale rather than decoupling, the effective three-dimensional description and the scale-separation claim fail.","supporting_citations":[],"review_version":1}