Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck passjudge pass (gpt-6-luna)‡ sources checked 2026-11-04
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

Physical scope

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 N=1 supergravity-plus-Yang–Mills low-energy branches on a smooth oriented Lorentzian ten-manifold (M,g) with signature (−,+,…,+). The metric g is smooth, and in each branch the dilaton is a smooth real dimensionless scalar field Φ:M→R; denote the separate heterotic and Type-I dilatons by ΦH and ΦI. The heterotic branch has gauge group GH=E8×E8 or Spin⁡(32)/Z2; the SO(32) Type-I branch has gauge group GI=SO(32). For the group G of either branch, let PG→M be a supplied smooth principal G-bundle with a smooth connection A. On a local trivialization U⊆M, A is a g-valued one-form and its curvature is the g-valued two-form FA=dA+A∧A; globally FA∈Ω2(M,ad⁡PG). 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−1 and the curvature components have dimension length−2. 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 S+ and S− are its real Majorana–Weyl spin bundles in the convention of Supergravity Conventions And Normalizations, the smooth gravitino, dilatino, and adjoint gaugino have types ψ∈Γ(S+⊗T∗M), λ∈Γ(S−), and χ∈Γ(S+⊗ad⁡PG), respectively. The two-form sector has local smooth potentials: in the heterotic branch the NS–NS potential B2∈Ω2(U), and in the Type-I branch the Ramond–Ramond potential C2∈Ω2(U). Both heterotic closed gravity/dilaton terms and the gauge kinetic term have tree-level multiplier e−2ΦH. In the Type-I branch the closed gravity/dilaton terms have tree-level multiplier e−2ΦI, and the open-string disk gauge kinetic term has multiplier e−ΦI. 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.

Facts & Assumptions

Given: Each branch is taken separately in its weak-coupling, low-energy string-frame regime. The dilatons ΦH and ΦI are dimensionless; α′>0 has dimension length squared, and ℏ=c=1.

[A1]

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 κ0 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.

Depends on

Dependency tree · 2 levels

Sources