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 Two Derivative Supergravity Pseudoaction
Adopted massless, source-free, local ten-dimensional type IIB bosonic effective action at tree level and leading two-derivative order. It excludes brane currents, loop and higher-derivative terms, global potential patching, and claims that the pseudoaction alone supplies the self-dual five-form dynamics.
Postulate
On an oriented Lorentzian ten-manifold with inertia , smooth real dilaton , axion , two-form potentials , and four-form potential defined on a contractible patch, adopt the following source-free string-frame model. Put , , , , , and . For a -form , use , with indices raised by the string-frame metric and . Then
where the exact planned interface for is
Here and raised indices use , the fields are smooth on the patch, and compactly supported variations define the bulk Euler–Lagrange equations. The planned convention supplier Supergravity Conventions And Normalizations sets , with of dimension length squared; is held fixed when varying fields. This is the selected undoubled pseudoaction: vary it without constraining , then impose the separate five-form equation on the stationary configuration. This equation is an additional adopted condition, not an Euler–Lagrange equation of the pseudoaction alone. It is not a claim that type IIB has no other covariant action formulation.
Postulate references
Remarks
This postulate uses the stated batch-56 convention and NS-action interfaces. It remains an adopted local low-energy model with the physical scope stated above. Hamilton and Sterckx use different frame and gravitational-coupling conventions, so only the field basis and dimensionless relative RR/CS coefficients are compared directly. The five-form coefficient is one half inside the RR bracket, as verified against Hamilton's printed action image.
In the natural-unit convention, coordinate components have , , and the potential components have . Their field-strength components have ; the same dimensions hold for the tilded strengths. Thus every scalar kinetic or curvature term in the action density has dimension , and the Chern–Simons integrand has component dimension . With , each integrated action is dimensionless.
Depends on
Dependency tree · 2 levels
Sources
- 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
- Colin Sterckx, Modave Lecture notes: Introduction to Exceptional Field Theory, arXiv:2410.19600v1
- Karapet Mkrtchyan and Fridrich Valach, Actions for type II supergravities and democracy, arXiv:2207.00626v2