Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedprecheck pass‡ 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.

Type IIB Two Derivative Supergravity Pseudoaction

Physical scope

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 (9,1,0), smooth real dilaton Φ, axion C0, two-form potentials B2,C2, and four-form potential C4 defined on a contractible patch, adopt the following source-free string-frame model. Put H3=dB2, G1=dC0, G3=dC2, G5=dC4, G~3=G3−C0H3, and G~5=G5−12H3∧C2+12G3∧B2. For a p-form F, use ∣F∣s2=FM1…MpFM1…Mp/p!, with indices raised by the string-frame metric gs and ∣F∣2vol⁡gs=F∧∗gsF. Then

SIIB=SNS−14κ02∫vol⁡gs(∣G1∣s2+∣G~3∣s2+12∣G~5∣s2)−14κ02∫C4∧H3∧G3,

where the exact planned interface for SNS is

SNS=12κ02∫vol⁡gs e−2Φ(Rs+4∣dΦ∣gs2−12∣H3∣gs2),H3=dB2.

Here Rs and raised indices use gs, 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 2κ02=(2π)7α′4, with α′>0 of dimension length squared; κ0 is held fixed when varying fields. This is the selected undoubled pseudoaction: vary it without constraining G~5, then impose the separate five-form equation ∗gsG~5=G~5 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.

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 [xM]=L, [gMN(s)]=[Φ]=[C0]=1, and the potential components have [BMN]=[CMN]=[CMNPQ]=1. Their field-strength components have [HMNP]=[GM]=[GMNP]=[GMNPQR]=L−1; the same dimensions hold for the tilded strengths. Thus every scalar kinetic or curvature term in the action density has dimension L−2, and the Chern–Simons integrand has component dimension L−2. With [κ02]=L8, each integrated action is dimensionless.

Depends on

Dependency tree · 2 levels

Sources