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.
D4 Distributional Source Current
The oriented distributional degree-five current of a smooth proper boundaryless D4 worldvolume in ten dimensions, normalized by its action on compactly supported test five-forms; this is the brane-source current convention.
Definition
Let be oriented and let be the proper oriented boundaryless embedding of Wrapped D4 Embedding In Nil Coordinates. For a compactly supported smooth five-form on , define the degree-five current by The source current for a D4 with charge is , where is the charge unit in Type II Dp Brane DBI WZ Action. This current definition uses only that explicit charge-normalization clause and does not require the WZ gauge-transformation law. For a factorized worldvolume in a product , its internal component is the degree-five current on , defined by for compactly supported smooth one-forms . Orientation fixes the sign; reversing the D4 orientation changes both currents' signs. This defines a distributional source convention and does not assert a sourced supergravity equation.