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
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 from the preceding definition, the bosonic part of the leading massless open-string fields consists of a connection on a Hermitian line bundle over and smooth transverse scalar fields specifying the embedding. In a fixed normalization, write the transverse displacement as , where has length dimension, has length squared, and has inverse-length dimension; the perturbed embedding is . Locally the connection is a real one-form in the convention , so its curvature is .
The open-string Ramond sector also contributes a massless fermion field . Choose a real 32-dimensional module for the ten-dimensional Clifford algebra, with generators satisfying , and put . The field is a smooth section of the trivial bundle , where is the 16-real-dimensional Majorana–Weyl spinor module with chirality selected by the open-string GSO projection. For a general smooth free field the massless constraint is , with tangent to . Its complexified plane-wave solutions , with real tangent momentum and nonzero polarization , are exactly those with ; this implies . Real solutions are obtained by taking real parts. This records the field content and free massless constraint, not an interacting worldvolume action.
For , , coincident branes with the same and , the Chan–Paton gauge group is ; the connection is a unitary connection on a rank- Hermitian bundle , and each transverse scalar is a Hermitian section of the adjoint bundle . The fermion has the same adjoint Chan–Paton transformation law and, in the Hermitian-generator convention, is a smooth section of , where is the real bundle of Hermitian endomorphisms of . This records the massless field content in the low-energy truncation only and asserts no exact non-Abelian DBI or fermion interaction action.
Definition references
Remarks
Use length-valued coordinates on and the dimensionless gauge parameter in the convention . Since and both have dimension length, has dimension length. Thus has dimensionless holonomy, and has components of dimension length. A 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 and on the full Clifford module. It includes , 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 . In this class the free equation is equivalent to as a distribution; multiplying once more gives , 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.