{"id":"cc9b4bee-25a1-434e-952b-f4c17796df97","arxiv_id":"hep-th/0507099","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Supersymmetric D-branes in general N=1 flux backgrounds wrap generalized complex submanifolds and are calibrated by a form built from the non-integrable pure spinor plus the Ramond-Ramond potentials.","lead":"The paper derives when a D-brane in a flux-filled ten-dimensional background preserves supersymmetry, and shows the condition is a generalized calibration. It unifies earlier special cases and survives the mirror symmetry between type IIA and type IIB.","discovery_kind":"unclear","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The calibration claim (abstract:s4) hinges on d_H ω = 0, which is exactly the real part of the background equation (2.15); that equation is rederived only in sketch form in Appendix B, after the authors flag sign errors in the published source [2].","rationale":"I agree with the reader's identification of (2.15)/Appendix B as the weakest link, and I would keep the verdict at CONDITIONAL. The paper is careful and the geometric half of the claim is well-supported; the calibration half is the part that inherits the sign risk. The reader's other two concerns are less load-bearing than they appear. The p.13 equivalence step follows from the equality case of the Schwarz inequality: saturation of (6.5) forces i γ'(F) η(2)+ = η(1)(-)^r because the norms are equal, so the step is compressed but sound. The energy density (6.9) is standard DBI plus Chern-Simons and is not a soft spot. The real soft spot is the unshown Clifford map in Appendix B. The authors acknowledge the sketch nature ('we present some details'), so this is a disclosed limitation; what remains unresolved is the specific sign of the F̃ term, which is exactly what (6.12) needs. I would not move the verdict to ACCEPT without that sign being pinned down, and I would not move it to REJECT because the geometric half and the SU(3) reduction (5.4)-(5.7) are independently supported and the mirror-symmetry check (2.19) is a genuine consistency condition. UNCHANGED is the right call.","tokens_in":21065,"tokens_out":16739,"duration_ms":329132,"concrete_test":"Independently compute d_H ω_IIB directly from (6.11) using the explicit bispinor expression (B.13) and the paper's footnote-3 conventions, without passing through (2.15). Check whether the coefficient of the F̃ term is -1/8 Σ F̃_(2k+1) as required by (6.12). If it comes out with the opposite sign, ω is not d_H-closed and the calibration claim fails. A cheaper cross-check: evaluate (6.13) in the SU(3) limit against the calibration of [7] (Marino-Minasian-Moore-Strominger) for a specific flux background; a sign mismatch in the RR-potential term would show up as a violated bound on a non-supersymmetric brane.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The headline claim is that supersymmetric branes saturate the bound defined by ω in (6.11), and that ω is d_H-closed. The closure proof (6.12) is exactly the real part of the first background equation (2.15). So the calibration claim is only as good as (2.15). The paper does not take (2.15) from a published source: footnote 4 explicitly notes that eqs. (3.2)-(3.3) of [2] contain sign errors, and the paper supplies its own rederivation in Appendix B. That rederivation is a sketch. It gives the gravitino and dilatino transformations (B.1)-(B.8), the bispinor manipulation (B.10)-(B.13), and then asserts that 'making some manipulations ... the Clifford map allows one to write this equation in the form (2.15)' without displaying the final step. The delicate part is the relative sign between the dΨ term and the F̃ term, which is precisely what (6.12) needs. A sign flip there would make ω not d_H-closed and the calibration claim would fail. The geometric half of the claim (the generalized-complex-submanifold identification in section 4) is more robust, because it depends only on the kappa-symmetry algebra (3.9) and the pure-spinor definitions, not on (2.15). So the concern is narrow but load-bearing for the headline claim. The authors acknowledge the sketch nature of Appendix B ('we present some details'), so this is a disclosed limitation; what remains unresolved is the specific sign of the F̃ term.","agreement_with_reader":"agree"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The manuscript derives the kappa-symmetry conditions for four-dimensional spacetime-filling D-branes in general type II N=1 warped backgrounds with SU(3)xSU(3) structure and Ramond-Ramond flux, and expresses them in terms of the two O(6,6) pure spinors Ψ±. The conditions split into a geometric part, requiring the brane to wrap a generalized complex submanifold with respect to the integrable generalized complex structure J∓ (Section 4, Eq. (4.4)), and a stability part involving the non-integrable pure spinor (Eqs. (3.14)-(3.15)). The two are combined into a single orientation-sensitive condition (3.16)-(3.17), which the authors reinterpret as saturation of a generalized calibration bound defined by the form ω in Eq. (6.11), shown to be d_H-closed by virtue of the background equations (2.15) and (2.18). The SU(3)-structure subcase (Section 5) reduces to holomorphic branes with (1,1) flux in IIB and coisotropic branes in IIA, and the whole structure is covariant under the Ψ+ ↔ Ψ− exchange identified with generalized mirror symmetry (Eqs. (3.13), (6.14)).","tokens_in":42660,"tokens_out":39908,"duration_ms":685866,"significance":"This is a clean, correct, and useful synthesis that ties together three strands: the pure-spinor description of N=1 flux vacua, the generalized-complex-submanifold characterization of supersymmetric branes, and the generalized-calibration energy bound. The derivation from kappa-symmetry (3.9) to (3.11)-(3.12) is algebraic and checkable, and the Schwarz-inequality argument (6.4)-(6.6) is a standard and appropriate calibration technique. Two features deserve explicit credit: the mirror-covariant formulation, which is a genuine structural result rather than a cosmetic observation, and the alternative globally defined calibration ˆω in (6.18), which resolves the RR gauge-dependence of ω noted in (6.15) and gives a physical reading of the imaginary part of the background equation. The reduction (5.4)-(5.7) connects sensibly to the known no-flux results of [7] and to the IIB discussion of [8]. The paper is appropriately scoped: it restricts to spacetime-filling branes (stated after (3.8)), assumes |a|=|b| (3.8), and flags the sign errors in [2] in footnote 4.","major_comments":[{"comment":"The final step from (B.13) to (2.15) is asserted (''making some manipulations ... the Clifford map allows one to write this equation in the form (2.15)'') rather than displayed. This matters because the d_H-closure of ω in (6.12) is exactly the real part of (2.15) with |a|=|b|, so the relative sign between the dΨ term and the F̃ term in (2.15) is load-bearing for the headline calibration claim. Please display the last Clifford-map step, or at minimum the relative sign between the dΨ and F̃ contributions, so that a reader can verify (6.12) directly from the text. I note the mitigating circumstance that footnote 4 reports the sign corrections were confirmed by the authors of [2], so this is a transparency and verifiability request rather than a challenge to the correctness of the result; the fix is a single displayed equation.","section":"Appendix B, Eqs. (B.13) and (2.15)","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The definition ''ab* ≡ e^{iτ}'' appears inconsistent with (5.2) and (5.5). With |a|=|b|, ab* = |a|^2 e^{i(α−β)} = |a|^2 e^{iφ}, so τ would equal φ, whereas (5.5) uses e^{iτ} as the phase multiplying Ω, which from (5.2) is the phase of ab, not ab*. The intended definition is presumably ab ≡ |a|^2 e^{iτ}; please correct or clarify.","section":"Section 5, Eq. (5.3)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The displayed condition ''{Im(P[iΨ]) ∧ F}(n) = 0'' should read ''{Im(iP[Ψ]) ∧ e^F}(n) = 0'', to match (3.14)-(3.15) and to include the worldvolume flux exponent.","section":"Conclusions, p. 17","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The notation Ψ1/Ψ2 introduced in (2.16)-(2.17) and the notation Ψ± used elsewhere are not always easy to track; a short dictionary near (6.11) restating which pure spinor enters ω_IIA and ω_IIB would help the reader.","section":"Section 2 and Section 6","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The deformation argument assumes the existence of a chain B and a field strength F̂ on it with dF̂ = P_B[H] and the correct restrictions to Σ and Σ′. This is implicit; stating it explicitly, together with the orientation convention used for the inequality, would make the minimality argument self-contained.","section":"Section 6, Eq. (6.3)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The statement that the q=0 case (an effective four-dimensional particle) can never be supersymmetric is asserted without derivation. A one-line justification from the consistency of (3.6)-(3.7) and the reality conditions would help the reader.","section":"Section 3, after Eq. (3.7)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Given the emphasis on ''stability'', it would be worth stating explicitly that the calibration bound is a rephrasing of the background equations (2.15) and (2.18), not independent evidence for them. The paper is honest about this and cites [29], but one sentence making the logical status explicit would preempt a natural misreading.","section":"Section 6, after Eq. (6.11)","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"minor_revision","confidential_remarks":"This is a solid, well-cited contribution whose central claim is sound; the only point I would insist on is displaying the final step of Appendix B, since (6.12) is exactly the real part of (2.15) and the sign of the F̃ term is what the calibration claim rests on. The Eq. (5.3) phase definition looks like a genuine typo and should be fixed. I do not regard the ''circularity'' concern as a defect: the paper's claim is a rephrasing of the background conditions as a calibration condition, and it says so openly."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"This is the paper that closes the loop on generalized calibrations for D-branes with RR flux. Koerber did the NS-only case, Gomis-Marchesano-Mateos did IIB SU(3), and this does the general SU(3)xSU(3) N=1 case: the kappa-symmetry conditions split cleanly into a geometric piece (generalized complex submanifold with respect to the integrable pure spinor) and a stability piece (saturation of the bound built from the non-integrable one). The calibration form (6.11), with the internal RR potentials included, is the concrete new object, and the mirror compatibility (2.19) is a real check rather than decoration. The SU(3) reduction (5.4)-(5.7) landing exactly on the known CY results of [7] is the kind of consistency evidence I actually weight. The geometric half is solid. Section 4's identification via (4.1)-(4.6) rests only on the kappa-symmetry algebra (3.9) and Gualtieri's definitions, and I would trust it without re-deriving. The calibration half is where I would push. The stress-test is right that d_H omega = 0 in (6.12) is just the real part of (2.15), so the calibration is not independent evidence for the background equations. The paper says so openly and cites [29], and the physical content comes from the kappa-symmetry side, so this is a feature rather than a circularity. But it does mean the calibration claim is only as good as (2.15), and (2.15) is the authors' own rederivation after footnote 4 flags sign errors in [2]. Appendix B stops at 'making some manipulations ... the Clifford map allows one to write this equation in the form (2.15)' without displaying the last step, and the relative sign of the F-tilde term is exactly what (6.12) needs. I would want that step written out. That said, the sign is not free: it is pinned by the SU(3) limit matching [7] and by the mirror exchange, so I doubt it is wrong, only under-shown. Two smaller things. The step after (6.6), that saturation of the Schwarz bound plus generalized-complex-submanifold implies (3.16)/(3.17), is asserted in one line; it is true but deserves a sentence of argument. And (6.9) is quoted from DBI plus Chern-Simons, which is standard and not really a soft spot. Who should read it: anyone working on generalized geometry and flux compactifications, and anyone who needs a citable statement of the calibration condition with RR flux turned on.","headline":"A clean organizing result for generalized calibrations with RR flux, with the calibration half resting on the authors' own rederivation of the background equations rather than a published source.","tokens_in":22105,"tokens_out":2489,"would_cite":true,"duration_ms":46355,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["11.25.-w","11.25.Uv","04.65.+e"],"model":"selfhosted/deepseek-v4.1-flash","headline":"Supersymmetric D-branes in flux backgrounds are exactly the branes that saturate a single generalised calibration bound.","keywords":["D-branes","generalised complex geometry","pure spinors","generalised calibrations","flux compactifications","SU(3) x SU(3) structure","generalised mirror symmetry","N=1 supergravity backgrounds"],"falsifier":"Find a solution of the corrected background equations (2.15) and (2.18) for which the form $omega$ in (6.11) fails to satisfy $d_H omega = 0$, or exhibit a kappa-symmetric spacetime-filling brane configuration that does not satisfy the reflection condition (4.4) with respect to the integrable generalised complex structure. Either would break the claimed equivalence between supersymmetry and generalised calibration.","tokens_in":22297,"feed_emoji":"🧲","tokens_out":3356,"duration_ms":24211,"temperature":0.7,"pith_summary":"The paper asks which D-branes can preserve supersymmetry when the ten-dimensional background is a warped four-dimensional Minkowski space times a six-dimensional internal space carrying both Neveu-Schwarz and Ramond-Ramond flux, with only $N=1$ supersymmetry surviving in four dimensions. The authors show that the kappa-symmetry condition for a spacetime-filling brane splits cleanly into two statements, each carried by one of the two pure spinors that define the $SU(3)times SU(3)$ structure of the internal space. One statement is geometric: the brane must wrap a generalised complex submanifold with respect to the integrable generalised complex structure. The other is a stability statement, and the pair together is equivalent to a single calibration condition in which the brane saturates a bound set by a form built from the non-integrable pure spinor and the internal Ramond-Ramond potentials. If this holds, the background supersymmetry equations acquire a physical reading: they are precisely the statement that such a calibration exists, and the same logic runs in type IIA and type IIB under the exchange of the two pure spinors.","feed_headline":"Flux backgrounds decide which D-branes stay supersymmetric","feed_subtitle":"Two pure spinors split the test into a geometry part and a stability part, and one calibration form carries both.","key_machinery":"The machinery is the pair of $O(6,6)$ pure spinors $Psi_{+}$ and $Psi_{-}$ built from the two internal spinors $eta^{(1)}_{+}$ and $eta^{(2)}_{+}$, together with the generalised calibration $omega$ of equation (6.11): $omega_{IIA} = e^{4A}[mathrm{Re}(-8i|a|^{-2}e^{-Phi}Psi_{-}) - sum_k tilde{C}^{(2k+1)}]$ and its type IIB analogue with $Psi_{+}$ and even potentials. The work is done by the observation that $d_H omega = 0$ is exactly equivalent to the background supersymmetry equations (2.15) and (2.18) once the two internal spinors have equal norm. That equivalence is what turns a technical statement about Killing spinors into a statement about which branes minimise their energy, and it is what makes the non-integrable pure spinor the natural carrier of the stability condition: the Ramond-Ramond flux obstructs its integrability in exactly the way needed to cancel the flux terms in the calibration.","core_discovery":"The central claim is that for four-dimensional spacetime-filling D-branes on a general type II $N=1$ background with $SU(3)times SU(3)$ structure and Ramond-Ramond flux, the kappa-symmetry conditions are equivalent to two things at once. First, the brane wraps a generalised complex submanifold with respect to the integrable generalised complex structure $J_{-}$ (type IIB, even cycles) or $J_{+}$ (type IIA, odd cycles), which is the content of equation (4.4) together with the reflection condition (4.6) defining a generalised submanifold. Second, the brane saturates the bound defined by the form $omega$ of equation (6.11), which is $d_H$-closed by virtue of the background equations (2.15) and (2.18); the closure statement is equation (6.12). The two pieces are packaged in the single conditions (3.16) and (3.17), $mathrm{Re}(-iP[Psi_{pm}])wedge e^{F}$ proportional to the worldvolume volume form, which also fix the orientation of the brane. In the $SU(3)$ subcase the calibration reduces to the familiar combinations of $e^{-iJ}$ and $Omega$ in (6.13), recovering holomorphic branes with $(1,1)$ field strength in type IIB and coisotropic branes in type IIA.","pith_inferences":["The logic can be run backwards as a consistency check: any proposed set of corrected background supersymmetry equations should imply $d_H$-closure of some explicit form built from the pure spinors, and a failure of that closure is a cheap way to detect sign or normalisation errors.","The mirror exchange of calibrations in (6.14), written on untwisted potentials as $sum_k tilde{C}^{(2k)}wedge e^{B} leftrightarrow sum_k tilde{C}^{(2k+1)}wedge e^{B}$, looks like the T-duality rule for Ramond-Ramond potentials, which suggests the calibration statement may be the geometric shadow of a worldsheet-level statement rather than a coincidental algebraic symmetry.","Because the calibration is not globally defined when Ramond-Ramond potentials are present, the alternative object $hat{omega} = -8e^{4A-Phi}|a|^{-2}mathrm{Re}(iPsi)$ in (6.18) is the better-defined quantity to carry to global questions, at the cost of a non-zero $d_H hat{omega}$ proportional to the internal flux.","If the correspondence between background equations and calibrations is exact, one expects the same pattern for backgrounds with less supersymmetry or with $SU(2)$ structure, where the calibration would be built from the corresponding pair of pure spinors; that extension is not attempted here."],"forward_implications":["A supersymmetric spacetime-filling brane in such a background is automatically a minimal-energy configuration among branes in its deformation class, since saturation of a $d_H$-closed calibration bound gives the chain argument of equation (6.3).","The condition that the brane wrap a generalised complex submanifold can be checked using only the integrable pure spinor, separating the geometry question from the flux-dependent stability question.","In the $SU(3)$ subcase the results reduce to the known Calabi-Yau conditions of [7], now modified by dilaton, warp factor and flux, so the generalisation can be tested against established holomorphic- and coisotropic-cycle results.","Because equations (3.16) and (3.17) are exchanged under $Psi_{+} leftrightarrow Psi_{-}$ together with $F_A leftrightarrow F_B$, the brane conditions preserve the generalised mirror symmetry relating the type IIA and type IIB backgrounds, exchanging even and odd cycles and their calibrations.","Considering branes filling only two or three flat directions, the existence of calibrations for effective strings and domain walls becomes equivalent to the real and imaginary parts of the background equations (2.15), giving each of those equations a physical interpretation."],"supporting_citations":[{"why":"Supplies the pure-spinor formulation of $N=1$ background supersymmetry conditions that this paper starts from, and is the reference whose equations (3.2) and (3.3) the authors flag as containing sign mistakes.","marker":"[2]"},{"why":"Provides the definitions of generalised complex structure, generalised submanifold and generalised tangent bundle used to identify supersymmetric branes as generalised complex submanifolds.","marker":"[4]"},{"why":"Gives the prior generalised calibration definition for backgrounds with only Neveu-Schwarz flux, which this paper extends to include Ramond-Ramond flux.","marker":"[10]"},{"why":"Supplies the bispinor and democratic-formalism conventions, and the identification of the two pure spinors with the $SU(3)times SU(3)$ structure, on which the derivation rests.","marker":"[1]"},{"why":"Provides the Calabi-Yau calibration conditions for branes with worldvolume flux that the $SU(3)$-structure equations (5.4) to (5.7) are presented as generalising.","marker":"[7]"},{"why":"Supplies the characterisation of the generalised tangent bundle of a brane by the reflection condition $RX = X$, which converts the spinorial condition into the geometric statement (4.4).","marker":"[12]"},{"why":"Supplies the notion of coisotropic A-brane that the type IIA odd-cycle condition is identified with in the $SU(3)$ subcase.","marker":"[27]"},{"why":"Supplies the twisted generalised Calabi-Yau framework in which the integrable pure spinor defines the generalised complex structure that the brane must be a submanifold of.","marker":"[3]"}],"fun_headline_variants":["Two pure spinors split the D-brane supersymmetry test","Generalised geometry and stability pick supersymmetric D-branes","D-branes wrap generalised complex submanifolds on flux backgrounds","One calibration form carries D-brane geometry and stability","SU(3)xSU(3) backgrounds split the D-brane conditions in two"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The whole calibration claim rests on the authors' own rederivation in Appendix B of the background supersymmetry equations (2.15) and (2.18), because the $d_H$-closure of $omega$ is exactly equivalent to those equations and the authors themselves report sign mistakes in the corresponding published equations of the reference they build on.","fun_headline_variants_meta":{"raw":{"variants":["Two pure spinors split the D-brane supersymmetry test","Generalised geometry and stability pick supersymmetric D-branes","D-branes wrap generalised complex submanifolds on flux backgrounds","One calibration form carries D-brane geometry and stability","SU(3)xSU(3) backgrounds split the D-brane conditions in two"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":2073,"prompt_tokens":1004,"completion_tokens":1069,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":991}},"tokens_in":1004,"tokens_out":1069,"duration_ms":18896,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":991,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-29T16:12:32.206474+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"Find a solution of the corrected background equations (2.15) and (2.18) for which the form $omega$ in (6.11) fails to satisfy $d_H omega = 0$, or exhibit a kappa-symmetric spacetime-filling brane configuration that does not satisfy the reflection condition (4.4) with respect to the integrable generalised complex structure. Either would break the claimed equivalence between supersymmetry and generalised calibration.","supporting_citations":[{"cited_title":"Generalized structures of N=1 vacua","cited_arxiv_id":"hep-th/0505212","evidence_quote":"Supplies the pure-spinor formulation of $N=1$ background supersymmetry conditions that this paper starts from, and is the reference whose equations (3.2) and (3.3) the authors flag as containing sign mistakes."},{"cited_title":"Gualtieri, Generalized complex geometry, Oxford University DPhil thesis , [math.DG/0401221]","cited_arxiv_id":null,"evidence_quote":"Provides the definitions of generalised complex structure, generalised submanifold and generalised tangent bundle used to identify supersymmetric branes as generalised complex submanifolds."},{"cited_title":"Stable D-branes, calibrations and generalized Calabi-Yau geometry","cited_arxiv_id":"hep-th/0506154","evidence_quote":"Gives the prior generalised calibration definition for backgrounds with only Neveu-Schwarz flux, which this paper extends to include Ramond-Ramond flux."},{"cited_title":"Supersymmetric Backgrounds from Generalized Calabi-Yau Manifolds","cited_arxiv_id":"hep-th/0406137","evidence_quote":"Supplies the bispinor and democratic-formalism conventions, and the identification of the two pure spinors with the $SU(3)times SU(3)$ structure, on which the derivation rests."},{"cited_title":"Nonlinear Instantons from Supersymmetric p-Branes","cited_arxiv_id":"hep-th/9911206","evidence_quote":"Provides the Calabi-Yau calibration conditions for branes with worldvolume flux that the $SU(3)$-structure equations (5.4) to (5.7) are presented as generalising."},{"cited_title":"Geometry of D-branes for general N=(2,2) sigma models","cited_arxiv_id":"hep-th/0405240","evidence_quote":"Supplies the characterisation of the generalised tangent bundle of a brane by the reflection condition $RX = X$, which converts the spinorial condition into the geometric statement (4.4)."},{"cited_title":"Remarks on A-branes, Mirror Symmetry, and the Fukaya category","cited_arxiv_id":"hep-th/0109098","evidence_quote":"Supplies the notion of coisotropic A-brane that the type IIA odd-cycle condition is identified with in the $SU(3)$ subcase."},{"cited_title":"Hitchin, Generalized Calabi-Yau manifolds , Quart","cited_arxiv_id":null,"evidence_quote":"Supplies the twisted generalised Calabi-Yau framework in which the integrable pure spinor defines the generalised complex structure that the brane must be a submanifold of."}],"review_version":1}