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.
Heterotic Type I Ten Dimensional N1 Supergravity Action
Adopted ten-dimensional N=1 heterotic and SO(32) Type-I low-energy field-content and tree-level dilaton-weight data, in separate string-frame branches. This does not specify every component coefficient or trace conversion, identify the branches by S-duality, or assert a solution.
Postulate
Adopt two separate perturbative ten-dimensional supergravity-plus-Yang–Mills low-energy branches on a smooth oriented Lorentzian ten-manifold with signature . The metric is smooth, and in each branch the dilaton is a smooth real dimensionless scalar field ; denote the separate heterotic and Type-I dilatons by and . The heterotic branch has gauge group or ; the Type-I branch has gauge group . For the group of either branch, let be a supplied smooth principal -bundle with a smooth connection . On a local trivialization , is a -valued one-form and its curvature is the -valued two-form ; globally . We use this geometric connection normalization. In natural units with length-valued spacetime coordinates, the connection one-form is dimensionless, so its components have dimension length and the curvature components have dimension length. A source-specific rescaling of component gauge fields, and all trace and kinetic-term normalizations, are left unspecified unless separately supplied. A spin structure is supplied in each branch; no existence of such a structure is asserted. If and are its real Majorana–Weyl spin bundles in the convention of Supergravity Conventions And Normalizations, the smooth gravitino, dilatino, and adjoint gaugino have types , , and , respectively. The two-form sector has local smooth potentials: in the heterotic branch the NS–NS potential , and in the Type-I branch the Ramond–Ramond potential . Both heterotic closed gravity/dilaton terms and the gauge kinetic term have tree-level multiplier . In the Type-I branch the closed gravity/dilaton terms have tree-level multiplier , and the open-string disk gauge kinetic term has multiplier . Here tree-level means the leading perturbative string-coupling contribution: the sphere for closed-string terms and the disk for the Type-I open-string gauge term. This postulate fixes the stated fields and dilaton weights, not all component coefficients or trace normalizations; it does not assert an S-duality map or equality of the two branch actions.
Postulate references
Facts & Assumptions
Given: Each branch is taken separately in its weak-coupling, low-energy string-frame regime. The dilatons and are dimensionless; has dimension length squared, and .
Supergravity Conventions And Normalizations gives the signature, unit, form-norm, ten-dimensional and coupling, gravitational-normalization, and frame conventions used here. Its full current definition was inspected and matches these conventions, and it is now listed in batch 56's A-page manifest. These are the adopted conventions used by this postulate; its physical conclusions remain conditional on the stated low-energy branch. The actual source-normalization symbol in Garousi is not identified with in this item.
Remarks
The two actions are adopted as source-reported low-energy frameworks. Garousi's separate field dictionary is context only; no duality map is assumed in this item. Higher-derivative gauge and curvature terms, their trace conversions, and a complete fermionic component action require their own exact conventions before use.