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.

Flat Dp Boundary State Supercharge Gluing

Physical scope

Adopted flat static Type II Dp boundary-state condition relating the two ten-dimensional supersymmetry parameters through the invertible Ramond zero-mode gluing map; excludes worldvolume flux, curvature, and backreaction.

Postulate

Let SL and SR be the real 16-dimensional left- and right-moving Majorana–Weyl supersymmetry spaces, of opposite chiralities in Type IIA and equal chiralities in Type IIB. For a static flat Dp boundary state, adopt as model data an invertible real-linear map Kp∈Iso⁡R(SR,SL), where Iso⁡R denotes the set of bijective R-linear maps. The unbroken target-supersymmetry pairs are exactly the graph {(KpϵR,ϵR):ϵR∈SR}, equivalently ϵL=KpϵR. Reversing the Dp orientation replaces Kp by −Kp. This is the boundary-state supersymmetry condition, not a consequence of the bosonic endpoint conditions alone; no matrix-to-map identification is used in this adopted abstract formulation.

Depends on

Dependency tree · 2 levels

Sources