Alphabeta Math
PostulateStatement: Literature-sourcedProof: 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.

Ten Dimensional NS NS Supergravity Action

Physical scope

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 G(s), real dimensionless dilaton field Φ, and locally defined smooth two-form potential B2, adopt the source-free leading tree-level two-derivative NS–NS action

SNS=12κ02∫d10x −G(s) e−2Φ(Rs+4∣dΦ∣G(s)2−112HMNPHsMNP),H3=dB2.

Here Rs and the raised indices use G(s), and HMNP=3∂[MBNP]. The fields are smooth on the patch and dH3=0; in this library 2κ02=(2π)7α′4, 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 BMN are dimensionless, so HMNP has dimension length−1. Thus Rs, ∣dΦ∣G(s)2, and HMNPHsMNP each have dimension length−2. Since 2κ02=(2π)7α′4 has dimension length8, the density relative to d10x has dimension length−10 and the action is dimensionless.

Depends on

Dependency tree · 2 levels

Sources