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 Worldvolume Fields

Physical scope

Leading massless open-string field content on one smooth flat Type II Dp-brane or on N coincident branes; excludes higher massive modes, non-Abelian DBI dynamics, and backreaction.

Definition

For one smooth flat Dp worldvolume W from the preceding definition, the bosonic part of the leading massless open-string fields consists of a U(1) connection A on a Hermitian line bundle over W and 9−p smooth transverse scalar fields specifying the embedding. In a fixed normalization, write the transverse displacement as Ya=2πα′Φa, where Ya:W→R has length dimension, α′ has length squared, and Φa has inverse-length dimension; the perturbed embedding is Xa=y0a+Ya. Locally the connection is a real one-form in the convention D=d−iA, so its curvature is FA=dA.

The open-string Ramond sector also contributes a massless fermion field Ψ. Choose a real 32-dimensional module S10 for the ten-dimensional Clifford algebra, with generators Γμ satisfying {Γμ,Γν}=2ημνI, and put Γ11=Γ0Γ1⋯Γ9. The field Ψ is a smooth section of the trivial bundle W×S10χ, where S10χ=ker⁡(Γ11−χI) is the 16-real-dimensional Majorana–Weyl spinor module with chirality χ∈{−1,+1} selected by the open-string GSO projection. For a general smooth free field the massless constraint is Γα∂αΨ=0, with α=0,…,p tangent to W. Its complexified plane-wave solutions Ψ(x)=ueipαxα, with real tangent momentum p and nonzero polarization u∈S10χ⊗RC, are exactly those with Γαpαu=0; this implies p2=0. Real solutions are obtained by taking real parts. This records the field content and free massless constraint, not an interacting worldvolume action.

For N∈N, N≥1, coincident branes with the same W and y0, the Chan–Paton gauge group is U(N); the connection is a unitary connection on a rank-N Hermitian bundle E→W, and each transverse scalar is a Hermitian section of the adjoint bundle End⁡(E). The fermion has the same adjoint Chan–Paton transformation law and, in the Hermitian-generator convention, is a smooth section of W×S10χ⊗RHerm⁡(E), where Herm⁡(E) is the real bundle of Hermitian endomorphisms of E. This records the massless field content in the low-energy truncation only and asserts no exact non-Abelian DBI or fermion interaction action.

Remarks

Use length-valued coordinates xα on W and the dimensionless U(1) gauge parameter in the convention Dα=∂α−iAα. Since Dα and ∂α both have dimension length−1, Aα has dimension length−1. Thus A=Aαdxα has dimensionless holonomy, and FA=dA=12Fαβdxα∧dxβ has components Fαβ of dimension length−2. A U(N) connection in the same normalization has the same component dimensions; this statement concerns units only and does not assert a non-Abelian DBI action.

The plane-wave characterization follows directly from Γα∂α(ueip⋅x)=i(Γαpα)ueip⋅x and (Γαpα)2=p2I on the full Clifford module. It includes p=0, giving constant solutions; the zero field is allowed separately. No growth or Fourier-representability restriction is imposed on the general smooth free field. If such a field additionally defines a tempered distribution on the affine worldvolume, its Fourier transform is understood distributionally, with ∂αΨ^=ipαΨ^. In this class the free equation is equivalent to ΓαpαΨ^=0 as a distribution; multiplying once more gives p2Ψ^=0, hence support on the null cone. Null-cone support alone is not the spinor constraint, and the Fourier transform need not be an ordinary polarization function or an integral against a prescribed mass-shell measure.

Depends on

Dependency tree · 2 levels

Sources