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.
Dp Brane Open String Boundary Condition
Static flat Dp boundary data for the bosonic coordinate fields of open strings in ten-dimensional Type II theory; excludes endpoint fields, flux, curvature, orientifolds, brane dynamics, charge, and backreaction.
Definition
In flat Type II theory a static Dp-brane is the timelike affine plane in ten-dimensional Minkowski space with metric , where are tangent indices, are normal indices, , is even in Type IIA and odd in Type IIB, and are fixed target-space coordinates of length dimension.
For the open strip , where is an open time interval, with dimensionless worldsheet coordinates and a map that is up to the timelike boundary, the conformal-gauge endpoint data are Neumann, , tangent to , and Dirichlet, , normal to . This is boundary data for the free open-string coordinate fields only; it does not specify brane dynamics, RR charge, or a backreacted solution.
Definition references
Remarks
The strip picture records the domain and endpoint map. The two long edges map into ; the diagram is a topological schematic and does not represent a target-space metric or a brane trajectory.