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 Supergravity Killing Spinor Equations
Local string-frame supersymmetry condition for a smooth nonzero Type IIB Majorana–Weyl spinor doublet on a bosonic solution. It asserts neither existence of such a spinor nor that the Killing-spinor equations alone imply the bosonic equations.
Definition
Assume the source-free bosonic solution and convention of Type IIB Two Derivative Supergravity Pseudoaction, Type IIB Five Form Self Duality Constraint, and Type IIB Field Equations with Five Form Self Duality, together with the spinor bundle data of Lorentzian Type IIB Spinor Bundle Data, applied with its metric identified with the same string-frame metric as the pseudoaction. Thus its full Clifford action, chirality decomposition, and lifted spin connection all use ; write and . Write the two left-handed Majorana–Weyl spinors as a smooth doublet . Let , , and set , , , acting on the doublet. Define the form-valued matrices
A bosonic solution is called supersymmetric on the patch exactly when there exists a smooth nonzero doublet such that for every smooth vector field ,
Here is contraction, , and Clifford multiplication is extended to form-valued doublet endomorphisms as in Lorentzian Type IIB Spinor Bundle Data. The two-form operator preserves chirality. Each component of has odd form degree, so its composite with has even Clifford parity; the gravitino equation therefore takes values in . Every term of has odd Clifford parity, so the dilatino equation takes values in . Both equations use the full supplied Clifford bundle and chirality-preserving connection specified by the spinor-data supplier. This is Hamilton's string-frame convention; the formula is not silently converted to another RR field basis.
Definition references
Remarks
The KSE transcription has been visually checked against Hamilton's printed pp. 44–45. The prefactor in is , as on Hamilton's printed p. 44 and in the component expansion following Proposition 7.10; the earlier track-design minus sign is a transcription error. The auxiliary Hackett-Jones–Smith paper uses a democratic RR field basis and supports the string-frame structure and Clifford convention; its coefficients are not silently transferred to the displayed undoubled Hamilton basis.