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.

M2 M5 tension normalizations

Physical scope

Adopted absolute M2 and single-M5 tension units and the R4 CJS gravitational coupling in one stated C3/C6 charge convention; no quantum charge lattice is derived.

Postulate

Set $c = ℏ = 1$ and let $ℓ_{p} > 0$ be the eleven-dimensional Planck length. In the R4 CJS normalization, adopt $T_{M 2} = (2 π)^{- 2} ℓ_{p}^{- 3}, T_{M 5} = (2 π)^{- 5} ℓ_{p}^{- 6}, 2 κ_{11}^{2} = (2 π)^{8} ℓ_{p}^{9} .$ Here $T_{M 2}$ and $T_{M 5}$ have dimensions length $^{- 3}$ and length $^{- 6}$ , respectively, and $κ_{11}^{2}$ has dimensions length $^{9}$ . These are adopted absolute normalization inputs in the declared electric $C_{3}$ / magnetic $C_{6}$ convention. Their arithmetic consequences are checked separately; interpreting the resulting $2 π$ as a global Dirac unit requires independent charge-quantization input.

Statement References

Witten, §2.2 (membrane coupling and shifted-flux context)

de Alwis, Eqs. (0.6), (0.8)–(0.11)

Polchinski, Eqs. (12)–(15)

Facts & Assumptions

Given: The positive length $ℓ_{p}$ , the CJS convention, and the adopted physical normalization inputs.

[F1]

The current CJS carrier fixes $2 κ_{11}^{2} = (2 π)^{8} ℓ_{p}^{9}$ in its source-free two-derivative convention (Eleven-Dimensional CJS Supergravity Bosonic Action).

[A1]

The absolute M2 and M5 tension units are adopted from the cited source convention; they are not derived from the classical CJS action.

Remarks

The sources report a factor-of-two discrepancy between some M2/D2 normalization derivations. This postulate records the selected units and does not resolve that discrepancy or prove the global charge lattice.

Depends on

Eleven-Dimensional CJS Supergravity Bosonic Action