{"id":"a2269c9c-c25b-4fcc-acda-4e7f210cba0c","arxiv_id":"2412.15102","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A 'supersymmetry generating' circle compactification technique for type II supergravity is derived and applied to construct new Minkowski flux vacua and generalized solitonic branes.","lead":"This paper builds a general method for taking supersymmetric Minkowski solutions of string theory in one dimension higher and compactifying them on a circle to get new solutions in one dimension lower. The method is not a full solution-generating technique, because the Bianchi identities must be modified, but it maps supersymmetry conditions correctly and produces new flux vacua and solitonic brane solutions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Advertised flux vacua and solitonic branes lack explicit flux-quantization and OP-plane source checks, so the headline applications are not yet established as string backgrounds.","rationale":"Reading the paper in good faith, the core supersymmetry-generating technique appears internally consistent: the primitivity condition is explicitly derived and its necessity is argued from the spinor bilinear decomposition, so it is a scope restriction rather than a hidden flaw. The derivations in Sections 2 and 3 are detailed and self-contained, and the paper appropriately flags the restricted Mink_1 class and the modified Bianchi identities. The most serious issue is the unverified global consistency of the explicit constructions in Section 4: flux quantization and Op-plane source matching are asserted without proof. This is a concrete, testable gap that affects the paper's advertised applications—new flux vacua and solitonic branes—rather than the formal supersymmetry mapping itself. I therefore agree with the reader's CONDITIONAL verdict and recommend keeping it until the flux integrals and source charges are calculated. The reader's weakest_assumption focuses on primitivity; I see that as a well-documented assumption, not the most load-bearing concern, hence 'partial' agreement.","tokens_in":48806,"tokens_out":20999,"duration_ms":161223,"concrete_test":"Compute the flux quantization integrals explicitly for the universal Mink_p vacua of §4.1.1: for p = 1, 3, 5, evaluate ∫ F_{8-p}^{mag} over all non-trivial cycles of the CY cone and the Sasaki-Einstein base, using the fluxes in (4.1), the SE/CY forms in (4.9), and the warp factors (4.11)–(4.13). Each period must equal (2π)^{7-p} times an integer. Also integrate dF_{8-p} around r_min and r_max and compare with the Op-plane charge/tension required by the orientifold projection. If any period is fractional, or the source charge does not equal the Op-plane charge, the corresponding vacuum is not a valid string background.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The supersymmetry-generating technique is carefully derived and the primitivity assumption is explicitly stated, so the formal mapping itself is not the weakest point. The load-bearing gap is that the paper's advertised applications—new Minkowski flux vacua and solitonic branes—are asserted to be valid string backgrounds without completing the global consistency checks. In §4.1.1 the authors write 'We find no issues with flux quantisation' without computing any flux periods, and §4.1.3 repeats this for the G2-cone vacua. The solitonic brane section computes the magnetic charge in (4.57) but does not verify quantization of the resulting ℓ or of other cycles. Additionally, the vacua are bounded by Op planes at r_min and r_max, but the localized Bianchi identity source terms are never matched to the Op-plane charge and tension. The harmonic functions in (4.11)–(4.13) and (4.31)–(4.34) could yield fractional periods or incorrect source charges, which would invalidate the interpretation as string-theory vacua even though the supersymmetry conditions are satisfied. This gap is load-bearing because the central claim includes the construction of explicit flux vacua and solitonic branes; if the global data are wrong, those applications fail.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops a G-structure-based technique for constructing circle compactifications of supersymmetric Minkowski_{D+1} solutions of type II supergravity down to Minkowski_D, for D = 1,\\ldots,5. The key structural claim is that, when the circle connection curvature F is a \"primitive\" 2-form annihilating the internal spinors, the supersymmetry conditions of the parent Minkowski_{D+1} solution imply those of the compactified Minkowski_D solution, while the Bianchi identities of the RR fluxes must be modified. The paper also derives G-structure conditions for general N=(1,0) Minkowski_2 solutions and a restricted class of Minkowski_1 solutions, and it constructs explicit Minkowski flux vacua bounded by Op planes as well as generalized \"solitonic brane\" solutions on generic Sasaki-Einstein manifolds, including versions with Dp-brane sources.","tokens_in":49145,"tokens_out":3665,"duration_ms":35602,"significance":"If the advertised constructions are fully valid, the paper provides a genuinely useful organizing principle for generating supersymmetric Minkowski solutions from known ones, and it fills a gap in the literature by giving G-structure conditions for low-dimensional Minkowski vacua. The formal core is a strength: the derivations in Appendices B through E are detailed and explicit, the restrictive assumptions (especially the primitivity of F) are stated rather than hidden, and the mapping from Minkowski_{D+1} to Minkowski_D conditions is demonstrated through several concrete solution classes. However, the physical applications in Section 4 are not yet established as string backgrounds: the claimed flux vacua and solitonic branes lack explicit flux-quantization checks and localized source matching for the Op/Dp planes. These gaps are load-bearing for the headline claims, so the current version is not yet at the standard required for acceptance.","major_comments":[{"comment":"The statement \"We find no issues with flux quantisation\" is not supported by any computation of flux periods. The solutions are presented as compact Minkowski vacua bounded between two Op planes, but the harmonic functions (4.11)–(4.13) only solve the bulk equation (4.3) away from sources. To claim string backgrounds, the authors must compute the integrals of the magnetic fluxes over all non-trivial cycles, show that the resulting charges are consistent with quantized Dp/Op charges, and match the localized δ-function source terms in the Bianchi identities to the Op-plane charges and tensions at r_min and r_max. Without these checks, the bounded-interval solutions are local supergravity solutions rather than established flux vacua.","section":"§4.1.1, Eqs. (4.11)–(4.13)"},{"comment":"The Minkowski_2 vacua with O2 planes and D2 branes suffer from the same gap. The text asserts \"We find no issue with flux quantisation in any of these cases\" without presenting any flux-period computation. The warp factors (4.32)–(4.34) are derived from the source-free equation (4.23), and the O2/D2 interpretations require matching the singular terms at the ends of the interval to the appropriate localized charges. In particular, the two-O2-plane case (4.34) needs a check that the total RR charge and tension balance, and that the periods of the RR flux are integer-quantized. This is essential to the advertised status of these as viable Minkowski_2 vacua.","section":"§4.1.3, Eqs. (4.31)–(4.34)"},{"comment":"The solitonic-brane construction computes one brane charge, N_Dp in (4.57), but does not verify quantization of the resulting parameter ℓ or of other cycle periods. More importantly, the new solutions with Dp-brane sources are introduced through the log behavior (4.54) and the smeared Dp interpretation, yet no localized source term is added to the Bianchi identity and matched to the Dp-brane charge and tension. The same comment applies to the M2-brane source case in §4.2.3. Thus the \"new solitonic brane solutions\" with sources remain local solutions of the supergravity equations until global consistency is demonstrated.","section":"§4.2.2, Eqs. (4.55)–(4.57)"}],"minor_comments":[{"comment":"The phrase \"Under a certain assumptions\" should be corrected, and the precise assumptions underlying the supersymmetry-generating technique should be stated more prominently in the Introduction rather than left to Eqs. (2.23), (3.12), (3.30), (3.47), and (3.65).","section":"Abstract and Introduction"},{"comment":"The Introduction states that the D5-brane wrapping case is explained in §3.2.1, but that case is actually derived in §3.4; the cross-reference should be corrected.","section":"Introduction, §3.4"},{"comment":"The text refers to a \"primate (1,1)-form\"; this should be \"primitive (1,1)-form\".","section":"§4.1.1"},{"comment":"Equation (2.27a) appears to contain a typographical inconsistency: the chain of equalities with a trailing \"= 0\" suggests that the left-hand side and the middle expression are both being set to zero, which should be clarified or rewritten.","section":"§2.4, Eq. (2.27a)"},{"comment":"There are several typographical and grammatical issues, including \"manor\", \"ad hock\", \"of of\", \"He hope\", and \"arbitary\"; a careful proofreading pass is needed.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"This is a technically substantial paper, and the formal supersymmetry-generating machinery appears carefully derived. The main obstacle to acceptance is not the algebraic framework but the unverified global consistency of the Section 4 applications. If the authors supply explicit flux-period computations and localized Op/Dp source matching for the compact vacua and the sourced solitonic branes, I would be willing to support acceptance. The manuscript is within the scope of a hep-th journal, and the novelty of the low-dimensional G-structure conditions is a genuine contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: the formal machinery in this paper is the real contribution, and it holds up better than the applications. The authors derive the general N=(1,0) Mink_2 G-structure conditions, which were absent from the literature, and use a 'primitive 2-form' ansatz to turn circle compactifications of Mink_{D+1} supersymmetry conditions into Mink_D conditions, at the cost of modifying the RR Bianchi identities. That is a clean and useful organizing idea, and they are honest about its limits: it stops at Mink_6 because the internal space must support at least an SU(2)-structure, and the Mink_2 to Mink_1 case needs an extra Einstein equation component imposed by hand. The displayed derivations look internally consistent, and the appendices are thorough. Credit where due: this fills a real gap.\n\nThe soft spot is in Section 4. The advertised flux vacua and solitonic branes are not yet established as string backgrounds. In §4.1.1 and §4.1.3 the text says 'we find no issues with flux quantisation' without computing any flux periods. The harmonic functions in (4.11)-(4.13) and (4.31)-(4.34) contain integration constants that must produce integer charges; that is not checked. The vacua are bounded by Op planes at r_min and r_max, but the localized Bianchi identity source terms are never matched to Op-plane charge and tension. The solitonic brane section computes a magnetic charge in (4.57) but does not verify quantization of the resulting ℓ or of other cycles. If those global data come out wrong, the interpretation as string-theory vacua fails even though the supersymmetry conditions are satisfied. These are addressable gaps, not a flaw in the technique, but they are load-bearing for the applications as advertised.\n\nThe stress-test note lands on the right spot. The primitivity assumption the reader flags is not a hidden weakness; it is stated explicitly and it explains the scope of the method. The real issue is the unverified global checks.\n\nWho this is for: people working on G-structure classifications and supersymmetric compactifications will get value from Sections 2-3. The explicit solutions in Section 4 need more work before they should be quoted as new vacua. I would send this to a serious referee, with the clear instruction that flux quantization and Op-plane source matching must be completed, or the applications must be explicitly reframed as provisional.","headline":"The G-structure core is solid and genuinely new, but the advertised flux vacua and solitonic branes are not yet backed by the flux-quantization and Op-plane source checks needed to call them string backgrounds.","tokens_in":49640,"tokens_out":3080,"would_cite":false,"duration_ms":25363,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83E50","81T30","53C29"],"pacs":["04.65.+e","11.25.-w"],"model":"deepseek-v4-flash","headline":"A primitive 2-form makes circle compactification SUSY-preserving","keywords":["circle compactification","supersymmetry generating technique","G-structure","primitive two-form","Minkowski flux vacua","solitonic branes","Sasaki-Einstein manifolds","type II supergravity"],"falsifier":"Take any known supersymmetric Minkowski_5 solution of type IIB with a 5-dimensional internal space supporting only an identity structure, and attempt a circle compactification to Minkowski_4 with a non-vanishing F; the paper's equations (3.47b)-(3.49) predict that the Killing-spinor equations force the internal space to an SU(2)-structure, so finding one supersymmetric example with identity-structure internal space and F ≠ 0 would refute the claimed bound. A concrete check is to solve (3.47b) directly for the general bilinears of (3.45) with a,b,c ≠ 0 and see whether any non-zero F satisfies them.","tokens_in":48617,"feed_emoji":"🔁","tokens_out":9727,"duration_ms":81445,"temperature":0.7,"pith_summary":"Under a primitivity assumption on the connection 2-form, the paper establishes that circle compactification maps supersymmetry conditions of a Minkowski_{D+1} solution of type II supergravity to those of a Minkowski_D solution, for D=1,...,5. The equations of motion do not automatically follow: the RR and NS Bianchi identities acquire extra F∧F corrections and must be imposed by hand, so the construction is an 'off-shell' or 'supersymmetry generating' technique rather than a full solution generating one. To apply it the paper derives new G-structure conditions for general N=(1,0) Mink_2 solutions and a restricted null class of Mink_1. The machinery yields new compact Minkowski flux vacua bounded between D-branes and orientifold planes, and generalises solitonic-brane solutions to arbitrary Sasaki-Einstein and Kähler-Einstein manifolds, including smeared brane sources at the end of the space.","feed_headline":"A primitive 2-form makes circle compactification SUSY-preserving","feed_subtitle":"The parent solution's Killing-spinor equations transfer to the compactified one; the cost is modified flux Bianchi identities.","key_machinery":"The load-bearing object is the 'primitive' 2-form F = dA defined on the internal space of the parent solution, where A is the connection of the circle fibration Dφ = dφ + A. Primitivity means the Clifford action /F kills both internal Killing spinors of the parent; equivalently F satisfies algebraic constraints such as ⋆F = -F ∧ Φ_3 ∧ V in the G_2 case and F ∧ J = F ∧ Ω = 0 for SU(n)-structures, which force F to lie along the directions transverse to the G-structure. This condition makes the bilinear identities factor: it is exactly what is needed for the parent's supersymmetry conditions to imply the lower-dimensional ones. Because a 2-form annihilating a spinor requires the internal manifold to support at least an SU(2)-structure, the construction terminates at Mink_6 (four internal dimensions), and the same obstruction explains the dimension bound in every D.","core_discovery":"The central claim is a transfer theorem: if a supersymmetric Minkowski_{D+1} solution admits a 2-form F that annihilates the internal Killing spinors (a 'primitive' form, generalising primitive (1,1)-forms of SU(n)-structures), then the background obtained by replacing Minkowski_{D+1} with Minkowski_D × $S^{1}$, with fluxes shifted by Dφ ∧ F ∧ (G-structure bilinears), satisfies the necessary and sufficient conditions for supersymmetry in one dimension lower, provided one also imposes modified magnetic Bianchi identities. The proof runs through the bilinear/G-structure decomposition of the spinor equations and works for D=1,...,5, terminating at Mink_6 because a non-zero primitive 2-form cannot exist on an internal space of dimension below four. The paper further claims that the new N=(1,0) Mink_2 conditions and restricted Mink_1 conditions it derives are necessary and sufficient, and uses them to construct explicit classes: universal Mink_p vacua for p=1,3,5 on SE-cone fibrations bounded by Op planes, Mink_2 vacua with G_2 cones, and generalised solitonic branes on squashed Sasaki-Einstein manifolds with Dp-brane sources.","pith_inferences":["Since the primitive condition is precisely the statement that F preserves the G-structure, the technique may be read as a recipe for 'twisting' any supersymmetric Minkowski solution by an R-symmetry or global-symmetry gauge field; we speculate it will combine with integrability results of the type used in [48] to upgrade off-shell backgrounds to full solutions whenever the modified Bianchi identit","The dimension bound D ≤ 5 is about the existence of a primitive 2-form, not about supergravity itself; the same circle-reduction idea should have an M-theory analogue in which the relevant form is the 4-form G_4, and we would expect generalisations of the AdS_4 soliton to AdS_3 or AdS_5 solitons once the appropriate M2/M5 wrappings are considered.","The replacement of the sphere by generic Sasaki-Einstein and Kähler-Einstein bases in the solitonic brane solutions suggests a holographic dictionary between the squashing functions and the VEVs of mesonic operators; we infer the brane-source limits of (4.55) define new confining vacua whose low-energy spectra, as in the p=3 case, should be discrete and gapped."],"forward_implications":["Every supersymmetric Minkowski_{D+1} solution whose internal space carries a primitive 2-form yields, after circle compactification and modification of the Bianchi identities, an off-shell Minkowski_D background with the same number of preserved supercharges.","The new G-structure conditions for Mink_2 and restricted Mink_1 solutions fill a gap in the literature and provide the necessary input for compactifying any D1 or D2 brane system in this fashion.","The universal Mink_p vacua for p = 1, 3, 5 exist for any compact Sasaki-Einstein base, with the radial interval bounded by Op planes; the same warp-factor technology adapts to G_2 cones for Mink_2 vacua.","Known solitonic brane solutions in type IIB and the AdS_4 soliton in d = 11 are reproduced within the compactification classes, and the harmonic function can be extended so that smeared Dp/M2 sources sit at one end of the space, adding a meson-vev deformation in the dual field theory."],"supporting_citations":[{"why":"Supplies the general bilinear and pure-spinor conditions for ten-dimensional supersymmetric solutions that the paper refines to Mink_2 and uses as the starting point of the compactification chain.","marker":"[26]"},{"why":"Provides the integrability theorem used to show that supersymmetry plus the magnetic Bianchi identities imply the remaining equations of motion in the Mink_2 base case.","marker":"[48]"},{"why":"Gives the conventions and derivation of Mink_3 conditions from Mink_2 bilinears that the paper extends to all D=1,...,5 compactifications.","marker":"[63]"},{"why":"Contains the Mink_4 G-structure conditions that the compactification procedure reduces to in the SU(2)/SU(3) cases.","marker":"[19]"},{"why":"Source of the G-structure and spinor-bilinear conventions (SU(n), G_2, Spin(7)) used throughout the appendix derivations.","marker":"[64]"},{"why":"Presents the known solitonic brane solutions that section 4.2.1 identifies inside the compactified Dp/CY classes and later generalises to arbitrary Sasaki-Einstein manifolds.","marker":"[45]"},{"why":"Constructed the AdS_4 soliton in d=11 that the paper generalises to generic Kähler-Einstein bases and smeared M2 sources in section 4.2.3.","marker":"[47]"}],"fun_headline_variants":["Circle compactification SUSY transfer via primitive 2-form","Primitive form keeps SUSY in circle reduction, fluxes shift","SUSY-generating technique for Minkowski vacua and solitonic branes","Circle compactification: SUSY preserved, Bianchi modified"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire construction depends on the compactification 2-form F annihilating both internal spinors of the parent solution, because only then do the supersymmetry conditions factor; if F fails this primitivity test the claimed implication from parent to compactified solution breaks down.","fun_headline_variants_meta":{"raw":{"variants":["Circle compactification SUSY transfer via primitive 2-form","Primitive form keeps SUSY in circle reduction, fluxes shift","SUSY-generating technique for Minkowski vacua and solitonic branes","Circle compactification: SUSY preserved, Bianchi modified"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000246,"raw_usage":{"total_tokens":1592,"prompt_tokens":1049,"completion_tokens":543,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":665,"completion_tokens_details":{"reasoning_tokens":468}},"tokens_in":665,"tokens_out":543,"duration_ms":3778,"temperature":1.0,"reasoning_tokens":468,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:37:21.330395+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any known supersymmetric Minkowski_5 solution of type IIB with a 5-dimensional internal space supporting only an identity structure, and attempt a circle compactification to Minkowski_4 with a non-vanishing F; the paper's equations (3.47b)-(3.49) predict that the Killing-spinor equations force the internal space to an SU(2)-structure, so finding one supersymmetric example with identity-structure internal space and F ≠ 0 would refute the claimed bound. A concrete check is to solve (3.47b) directly for the general bilinears of (3.45) with a,b,c ≠ 0 and see whether any non-zero F satisfies them.","supporting_citations":[{"cited_title":"Generalized structures of ten-dimensional supersymmetric solutions","cited_arxiv_id":"1109.2603","evidence_quote":"Supplies the general bilinear and pure-spinor conditions for ten-dimensional supersymmetric solutions that the paper refines to Mink_2 and uses as the starting point of the compactification chain."},{"cited_title":"6D microstate geometries from 10D structures","cited_arxiv_id":"1306.1745","evidence_quote":"Provides the integrability theorem used to show that supersymmetry plus the magnetic Bianchi identities imply the remaining equations of motion in the Mink_2 base case."},{"cited_title":"${\\cal N}=(1,1)$ supersymmetric AdS$_3$ in 10 dimensions","cited_arxiv_id":"2110.01627","evidence_quote":"Gives the conventions and derivation of Mink_3 conditions from Mink_2 bilinears that the paper extends to all D=1,...,5 compactifications."},{"cited_title":"Generalized structures of N=1 vacua,","cited_arxiv_id":null,"evidence_quote":"Contains the Mink_4 G-structure conditions that the compactification procedure reduces to in the SU(2)/SU(3) cases."}],"review_version":1}