Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck pass‡ sources checked 2026-11-05
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

Physical scope

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 X10 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 F3=G3=dC2 and F~5=G~5; because H3∧H3=0, H3∧G~3=H3∧G3, 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 H3 and G~3 are smooth on the source patch. Identify the Einstein-frame coefficient κ10 in Kachru–Schulz–Trivedi with κ0 in Supergravity Conventions And Normalizations; the string-frame physical coupling instead obeys 2κ10,phys2=gstr2 2κ02. For one positively oriented timelike D3 source with F=0, with ∂W4=∅ and proper smooth oriented embedding ι:W4↪X10 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 dG~5−H3∧G~3=−2κ02μ3 δ6(W),μ3=(2π)−3α′−2,2κ02=(2π)7α′4, where W4↪X10 is the proper oriented boundaryless embedding from Local Type IIB D3 Brane Source Maxwell And Page Charge. Interpret G~5 as a degree-five de Rham current which is represented by a smooth form on X10∖W4. A degree-k current T acts on compactly supported smooth (10−k)-forms, with exterior derivative ⟨dT,η9−k⟩:=(−1)k+1⟨T,dη9−k⟩. Thus the displayed equation is an equality of degree-six currents: for every compactly supported smooth four-form η4 on X10, ⟨dG~5,η4⟩−∫X10H3∧G~3∧η4=−2κ02μ3∫W4ι∗η4. Here ⟨δ6(W),η4⟩=∫W4ι∗η4 as defined in Local Type IIB D3 Brane Source Maxwell And Page Charge. No pointwise smoothness of G~5 across W4 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 μ3, 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 B2,C2, compactly supported variation of the displayed pseudoaction's five-form and Chern–Simons terms gives δS5+CS=14κ02∫X10δC4∧(d∗G~5−H3∧G3). With the adopted half-electric source variation +μ32∫W4ι∗δC4, stationarity therefore fixes the displayed minus sign; the half-electric prescription itself is not derived here. The full probe WZ variation still gives +μ3δ6(W) 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 v4=dx0∧⋯∧dx3, orient X by v6, take the ten-dimensional orientation to be −v4∧v6, and orient the space-filling D3 worldvolume by v4. For W4=R3,1×{p} the defining test-form pairing then represents δ6(W) by −δp in the internal coordinates. Consequently the displayed ten-dimensional minus-current law restricts to dXF~5int=H3∧F3+2κ02μ3δp on positively oriented X. 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.

Depends on

Dependency tree · 2 levels

Sources