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

RR Electric Magnetic Dirac Pairing Convention

Physical scope

Adopted minimal Dirac quantization condition for electric and magnetic charges of a mutually dual RR field in the stated source normalization; excludes a global flux-quantization derivation and separately flags the self-dual D3 field.

Postulate

For a mutually electric/magnetic RR pair associated with a Dp and D(6−p), 0≤p≤6, p≠3, write the independent field-strength kinetic term as −αp2∫Fp+2∧∗Fp+2, where αp>0 is its kinetic normalization. The adopted massless Type IIA and Type IIB bulk actions give αp=(2κ02)−1 for the independent RR forms; the same normalization is used for their dual fields. In the source normalization of Type II Dp Brane DBI WZ Action, set the electric and magnetic charge units to qe=μp and qm=μ6−p. Adopt the Dirac lattice qeqmαp=2πn,n∈Z. Thus the dimensionless source-normalized Dp pairing is 2κ02μpμ6−p=2πn; a pair with product 2π is the minimal nonzero Dirac unit. This is a quantization postulate, not a consequence of local supergravity Bianchi identities alone. It does not derive global RR flux quantization. The Type IIB self-dual five-form case at p=3 requires a separate treatment and is not inferred from this convention.

Depends on

Dependency tree · 2 levels

Sources