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.
Compact IIA D4 Flux Charge Balance
A conditional integrated consequence of the adopted D4-sourced massless IIA Bianchi law on a compact boundaryless six-manifold; does not prove a global stabilized solution or that the main Silverstein–Westphal phi^(2/3) configuration carries net D4 charge.
Statement
Let be a compact oriented boundaryless six-manifold, a compact smooth closed oriented one-cycle, and a smooth closed one-form. Assume and are smooth, and let be a degree-four de Rham current, meaning a continuous linear functional on smooth compactly supported two-forms with the test-form topology. For a degree- current , use the distributional exterior derivative defined by Interpret the adopted D4 Bianchi law as the weak equality of degree-five currents where and for smooth one-form test forms . Then This is a conditional weak flux-charge balance; it is not a proof of global source cancellation or a claim about the net charge in the main orientation.
Facts & Assumptions
Given: The compact oriented , source current and its normalization, , and the D4-sourced Bianchi law displayed in [A1].
D4 Distributional Source Current: the internal degree-five current is normalized by .
Finite chart localization gives choice-free integration and compact Stokes: on a compact oriented boundaryless manifold, compactly supported smooth top forms have the choice-free finite-chart integral used here.
Type IIA D4 Sourced Four Form Bianchi: the adopted source law has coefficient . For this theorem, its internal reduction to is interpreted weakly as the current equality in the Statement, not as an equality of smooth forms across .
Proof
Pair the weak Bianchi identity [A1] with . By the current-derivative definition in the Statement, .
The remaining pairings are defined in the Statement and [F1], so the asserted integral balance follows. Since are smooth, their wedge is a smooth top form on compact , and [F2] supplies its compact integration convention. This is weak integration by parts; it does not treat as smooth across the delta-current source.