Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck passverified 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.

Classical Open String Ending on a Flat D2-Brane

Physical scope

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 M=R1,9 have metric η=diag⁡(−1,+1,…,+1), and take the static Type IIA D2-brane W={X3=⋯=X9=0}. On the dimensionless open strip Σ=R×[0,π], choose a constant ϵ>0 with length dimension and set

X0=2 ϵτ,X1=ϵcos⁡τcos⁡σ,X2=ϵsin⁡τcos⁡σ,X3=ϵcos⁡τsin⁡σ,X4=ϵsin⁡τsin⁡σ,X5=⋯=X9=0.

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 ϵ>0 of length dimension. The worldsheet is the open strip R×[0,π], the adopted model is the free flat Polyakov model in conformal gauge hab=diag⁡(−1,+1), and the brane is a static Type IIA D2 with W={X3=⋯=X9=0}. This is a conditional model example, not a claim of a measured string or a stable D2-brane solution.

[F1]

Flat Bosonic String Model: target M=R1,9 has metric η=diag⁡(−1,+1,…,+1), X has length dimension, and open-strip coordinates (τ,σ) are dimensionless with 0≤σ≤π.

[A1]

Bosonic Polyakov Model: the adopted action is the free tensile Polyakov action with no endpoint interaction.

[F2]

Conformal Gauge and Residual Symmetry: the selected Lorentzian strip patch has hab=e2ϕdiag⁡(−1,+1); we choose the representative ϕ=0.

[F3]

Polyakov Equations and Virasoro Constraints: a C2 conformal-gauge solution obeys X¨−X′′=0, X˙⋅X′=0, and X˙2+X′2=0.

[F4]

Dp Brane Open String Boundary Condition: for a D2-brane, coordinates X0,X1,X2 are tangent Neumann directions and X3,…,X9 are fixed Dirichlet directions.

[F5]

Open String Boundary Variation: on each finite strip [a,b]×[0,π], with variations vanishing at τ=a,b, Neumann data are ∂σXμ=0 at σ=0,π; 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

1.1givenF1A1F2F3algebra

The coordinate functions are C∞. For each of X1,…,X4, the τ-second derivative and σ-second derivative are both the negative of that coordinate, so X¨μ−Xμ′′=0. X0 is linear in τ, and X5,…,X9 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.

1.2givenF4F5algebra

At σ=0,π, sin⁡σ=0, hence X3=X4=0 and X5=⋯=X9=0, so all seven normal coordinates are fixed on W. Also ∂σX0=0, ∂σX1=−ϵcos⁡τsin⁡σ=0, and ∂σX2=−ϵsin⁡τsin⁡σ=0 at both endpoints. These equalities hold for every real τ. Restrict the smooth fields to any finite [a,b]×[0,π] 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.

1.3givenF1F3algebra

Direct differentiation gives X˙2=−2ϵ2+ϵ2(cos⁡2σ+sin⁡2σ)=−ϵ2, X′2=ϵ2(sin⁡2σ+cos⁡2σ)=ϵ2, and X˙⋅X′=0, because the two rotating component pairs have cancelling cross terms. Therefore X˙2+X′2=0 and X˙⋅X′=0. The induced metric is γab=ϵ2diag⁡(−1,+1), so it is nondegenerate Lorentzian and X has rank two since ϵ>0.

2.1givenF3F4step 1.1step 1.2step 1.3∎

The map therefore satisfies the free Polyakov field and metric equations and the D2 endpoint data on all of R×[0,π]. It is a classical bosonic coordinate-field example only; no fermionic, quantum, charge, or backreaction conclusion follows.

Depends on

Dependency tree · 2 levels

Sources