How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Type IIB D3 Sourced Five Form Bianchi
Adopted source-coupled massless Type IIB component Bianchi law for a positively oriented boundaryless timelike D3 with zero invariant worldvolume flux; source coefficient is an explicit field-equation normalization and is not derived from WZ variation alone.
Postulate
On an oriented smooth Lorentzian ten-dimensional spacetime with mostly-plus signature and no NS5 support, use the local Type IIB field-strength definitions and source-free Bianchi conventions of Type IIB Two Derivative Supergravity Pseudoaction and Type IIB Source Free Bianchi Identities. In the Kachru–Schulz–Trivedi notation set and ; because , , so the differential terms agree. The sign of a localized current also depends on the ambient and worldvolume orientations; the compactification density is not identified with this ten-dimensional current without the orientation crosswalk below. Assume and are smooth on the source patch. Identify the Einstein-frame coefficient in Kachru–Schulz–Trivedi with in Supergravity Conventions And Normalizations; the string-frame physical coupling instead obeys . For one positively oriented timelike D3 source with , with and proper smooth oriented embedding as in Local Type IIB D3 Brane Source Maxwell And Page Charge and no O3-plane or other localized charge in this local equation, adopt where is the proper oriented boundaryless embedding from Local Type IIB D3 Brane Source Maxwell And Page Charge. Interpret as a degree-five de Rham current which is represented by a smooth form on . A degree- current acts on compactly supported smooth -forms, with exterior derivative . Thus the displayed equation is an equality of degree-six currents: for every compactly supported smooth four-form on , Here as defined in Local Type IIB D3 Brane Source Maxwell And Page Charge. No pointwise smoothness of across is asserted. The R4 pseudoaction, source-free Bianchi identity, and five-form self-duality condition are separate required framework inputs. The pseudoaction and self-duality carriers have current Step 1 records escalated because their upstream readiness inputs are missing; the Bianchi carrier is likewise escalated on its upstream readiness gap. This use remains conditional. The Wess–Zumino variation fixes the localized current coefficient , but does not by itself establish the displayed bulk normalization or the self-dual-field factor. The cited equation also includes O3 and other localized charges in its compactification model; those terms are expressly outside this single-D3 postulate. This is an adopted source-coupled equation, not a derivation from the D3 action alone. Its negative current sign is in the wedge-defined Lorentzian Hodge convention used by the local pseudoaction. The self-dual source prescription is the explicit physical input of GKP equation (2.23), footnote 6: the electric coupling used for the bulk variation is one half of the full D3 probe WZ coupling, with the magnetic contribution restored in the probe action. At fixed , compactly supported variation of the displayed pseudoaction's five-form and Chern–Simons terms gives With the adopted half-electric source variation , stationarity therefore fixes the displayed minus sign; the half-electric prescription itself is not derived here. The full probe WZ variation still gives and is not halved in the source-current theorem. This calculation translates a separately adopted self-dual source normalization rather than deriving it from an ordinary electric action.
For the GKP internal convention let , orient by , take the ten-dimensional orientation to be , and orient the space-filling D3 worldvolume by . For the defining test-form pairing then represents by in the internal coordinates. Consequently the displayed ten-dimensional minus-current law restricts to on positively oriented . Potentials, RR strengths and the full probe WZ coefficient are unchanged; the ambient orientation is a choice in the arbitrary-oriented R4 formulation, and its form integrals and Hodge star must both use it. One must not reverse only the Hodge star while retaining a form integral from the other orientation.
Statement References
Kachru, Schulz, and Trivedi, §2.1, Eq. (2.4)
Polchinski, Chaudhuri, and Johnson, Lecture III §3.3
Type IIB Two Derivative Supergravity Pseudoaction
Type IIB Source Free Bianchi Identities
Supergravity Conventions And Normalizations
Local Type IIB D3 Brane Source Maxwell And Page Charge
Giddings, Kachru, and Polchinski, equation (2.23), footnote 6
Depends on
Dependency tree · 2 levels
Sources
- Shamit Kachru, Michael Schulz, and Sandip Trivedi, Moduli Stabilization from Fluxes in a Simple IIB Orientifold, arXiv:hep-th/0201028v2
- M. J. D. Hamilton, The field and Killing spinor equations of M-theory and type IIA/IIB supergravity in coordinate-free notation, arXiv:1607.00327v3
- J. Polchinski, S. Chaudhuri, and C. V. Johnson, Notes on D-Branes, arXiv:hep-th/9602052v2
- Steven B. Giddings, Shamit Kachru, and Joseph Polchinski, Hierarchies from Fluxes in String Compactifications, arXiv:hep-th/0105097v2
- Steven B. Giddings, Shamit Kachru, and Joseph Polchinski, Hierarchies from Fluxes in String Compactifications, arXiv:hep-th/0105097v2