Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedverified 2026-11-05 (gpt-6.1-sol)
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

Physical scope

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 W=R1,p×{Xa=y0a} in ten-dimensional Minkowski space with metric η=diag⁡(−1,+1,…,+1), where α=0,…,p are tangent indices, a=p+1,…,9 are normal indices, 0≤p≤9, p is even in Type IIA and odd in Type IIB, and y0a are fixed target-space coordinates of length dimension.

For the open strip Σ=I×[0,π], where I⊆R is an open time interval, with dimensionless worldsheet coordinates (τ,σ) and a map X that is C2 up to the timelike boundary, the conformal-gauge endpoint data are Neumann, ∂σXα(τ,0)=∂σXα(τ,π)=0, tangent to W, and Dirichlet, Xa(τ,0)=Xa(τ,π)=y0a, normal to W. This is boundary data for the free open-string coordinate fields only; it does not specify brane dynamics, RR charge, or a backreacted solution.

Remarks

The strip picture records the domain and endpoint map. The two long edges map into W; the diagram is a topological schematic and does not represent a target-space metric or a brane trajectory.

¿¾§=I£[0;¼]¾=0¾=¼W

Depends on

Dependency tree · 2 levels

Sources