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.

Disk Level Truncated Dp Curvature WZ Factor

Physical scope

The source-reported disk-level order-alpha'^2 parity-odd Dp WZ curvature term with B=F=0, constant dilaton and the source's tangent/normal curvature trace; no all-orders characteristic-class or non-Abelian claim.

Postulate

Let p be an allowed Type II D-brane dimension with 3≤p≤9, and let ι:Wp+1↪X10 be a smooth oriented timelike embedding with nondegenerate induced metric. Its normal bundle NW is the spacelike orthogonal complement of TW in ι∗TX. Let ∇T and ∇N be the connections obtained by orthogonally projecting the pulled-back ambient Levi-Civita connection to TW and NW, and let RT and RN be their endomorphism-valued curvature two-forms. Each trace is the matrix trace in the corresponding tangent or normal vector representation. At disk level and order α′2, with constant dilaton and B2=FA=0, adopt the source-reported parity-odd WZ expression μp∫W(ι∗Cp+1+π2α′224ι∗Cp−3∧(tr⁡(RT∧RT)−tr⁡(RN∧RN))),μp=((2π)pα′(p+1)/2)−1. Here Cr are the smooth ambient real r-form potentials in the democratic WZ basis of Type II Dp Brane DBI WZ Action, with its massless D8 restriction and separate D9 supplement. Pullback acts only on these ambient potentials; the curvature four-forms already live on W. To translate Bachas–Bain–Green (BBG), put λs=gstr=eΦ∞>0, φBBG=Φ−Φ∞, and CrBBG=gstrCr on this zero-B2 branch. BBG footnote 5 gives T(p)BBG=μp/gstr, so T(p)BBGCrBBG=μpCr and T(p)BBGe−φBBG=μpe−Φ. This is an explicit local field normalization, not an identification T(p)BBG=μp or a global charge-lattice assertion. Only the displayed curvature-squared term is adopted; no all-orders A^ claim is made.

Depends on

Dependency tree · 2 levels

Sources