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.
Classical Open String Ending on a Flat D2-Brane
A classical coordinate-field solution of the free bosonic Polyakov model on an open strip ending on a static flat Type IIA D2-brane; excludes worldsheet fermions, quantization, D2 dynamics, RR charge, and backreaction.
Example
Let have metric , and take the static Type IIA D2-brane . On the dimensionless open strip , choose a constant with length dimension and set
This is a classical solution of the free conformal-gauge bosonic coordinate equations whose endpoints satisfy the D2 Neumann/Dirichlet data.
Facts & Assumptions
Given: Use the mostly-plus target metric and dimensionless strip coordinates, with of length dimension. The worldsheet is the open strip , the adopted model is the free flat Polyakov model in conformal gauge , and the brane is a static Type IIA D2 with . This is a conditional model example, not a claim of a measured string or a stable D2-brane solution.
Flat Bosonic String Model: target has metric , has length dimension, and open-strip coordinates are dimensionless with .
Bosonic Polyakov Model: the adopted action is the free tensile Polyakov action with no endpoint interaction.
Conformal Gauge and Residual Symmetry: the selected Lorentzian strip patch has ; we choose the representative .
Polyakov Equations and Virasoro Constraints: a conformal-gauge solution obeys , , and .
Dp Brane Open String Boundary Condition: for a D2-brane, coordinates are tangent Neumann directions and are fixed Dirichlet directions.
Open String Boundary Variation: on each finite strip , with variations vanishing at , Neumann data are at ; fixed Dirichlet data make the endpoint variations vanish. The theorem is applied to these finite restrictions, not to an action integral over infinite time.
Verification
The coordinate functions are . For each of , the -second derivative and -second derivative are both the negative of that coordinate, so . is linear in , and are constant, so their wave equations also hold. By [F1], [A1], [F2], and [F3], this verifies the free conformal-gauge field equations in the adopted model.
At , , hence and , so all seven normal coordinates are fixed on . Also , , and at both endpoints. These equalities hold for every real . Restrict the smooth fields to any finite and take variations vanishing at its temporal faces; [F5] applies and its spatial flux vanishes by the displayed endpoint equalities. Every variation with compact time support on the full strip lies in the interior of some such interval. Thus the fixed Dirichlet and Neumann conditions in [F4]–[F5] hold locally for all time, without requiring a finite infinite-time action.
Direct differentiation gives , , and , because the two rotating component pairs have cancelling cross terms. Therefore and . The induced metric is , so it is nondegenerate Lorentzian and has rank two since .
The map therefore satisfies the free Polyakov field and metric equations and the D2 endpoint data on all of . It is a classical bosonic coordinate-field example only; no fermionic, quantum, charge, or backreaction conclusion follows.