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.
Ten Dimensional NS NS Supergravity Action
Adopted local ten-dimensional closed-string NS–NS massless bosonic effective action at tree level and leading two-derivative order. It excludes RR fields, localized or magnetic sources, string loops, higher powers of α′, global gerbe data, and claims about the existence or empirical validity of a particular string background.
Postulate
On an oriented smooth ten-dimensional Lorentzian spacetime with string-frame metric , real dimensionless dilaton field , and locally defined smooth two-form potential , adopt the source-free leading tree-level two-derivative NS–NS action
Here and the raised indices use , and . The fields are smooth on the patch and ; in this library , with of dimension length squared. The integral denotes the local action functional where it is defined, and compactly supported variations are used to derive bulk equations. This is an adopted low-energy model premise, not a theorem that every string background is described by this truncation. In the chosen normalization with length-valued coordinates, the components are dimensionless, so has dimension length. Thus , , and each have dimension length. Since has dimension length, the density relative to has dimension length and the action is dimensionless.