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.
Iib Axiodilaton And Pq String Charge
Conventions for the ten-dimensional classical type-IIB axion-dilaton, the ordered NS–NS/RR two-form source-charge doublet, and the source-reported constant-asymptotic-coupling (p,q)-string family. This defines the protected-sector interface only; it asserts no exact quantum S-duality.
Definition
Let be an oriented smooth ten-dimensional manifold and an oriented embedded two-dimensional source locus, closed as a subset of . Write , an open smooth manifold. Apply the named supergravity supplier's spacetime conventions to : and a smooth Lorentzian Einstein-frame metric on of signature . Take smooth maps , where is the dimensionless type-IIB RR axion and the dimensionless dilaton, and define on . The idealized source worldsheet labels the excluded string core; neither metric is required to extend across it, and no induced physical metric or pullback of the exterior potentials to is assumed. Thus this convention includes singular string exteriors without asserting a regular core or a distributional solution of the coupled source equations. Closed as a subset does not require the worldsheet to be boundaryless.
Specify an end chart identifying an open end with for some , and put . Write in these coordinates and . In this item, “flat asymptotic” means that and all its first and second coordinate derivatives tend to zero as , uniformly over and locally uniformly for in compact subsets of . Assume also that and tend to constants and in the same uniform and local-uniform sense. Define the asymptotic axiodilaton and the upper half-plane ; then .
Let and be the real NS–NS and RR two-form gauge potentials, respectively, smooth locally on , with three-form field strengths . A source's charge labels are the integer column in this ordered basis: is its NS–NS charge and its RR charge, normalized so the unit F-string and D-string have labels and . The formal source-charge pairing is the exterior two-form , where . Call primitive when . A charge vector with a larger gcd is interpreted in the source family as the corresponding multiple-string threshold sector, not as a new elementary primitive string.
For , where and , fix the convention and . In the same source basis the two-form column transforms as , so the source pairing is unchanged. These transformation rules define the classical charge/background covariance convention; they do not assert an exact equivalence of the full quantum theory.
Let denote the fixed string-frame reference tension of the unit F-string, with dimension energy per length (length in the adopted units). Define the dimensionless normalized central-charge factor , using the positive real square root. This algebraic factor is defined for every stated charge and asymptotic modulus; it assigns no physical energy to the arbitrary exterior data above.
The physical tension terminology refers only to the cited classical infinite straight-string family: take and , with exterior fields independent of , satisfying the exterior field equations of Schwarz's action (6), and with the self-dual five-form field strength and all fermionic fields identically zero. Here is the source-reported asymptotic Einstein-frame energy per longitudinal length: an interval of asymptotic proper length has energy in this stationary translation-invariant idealization. Both energy and length use the asymptotic normalization ; this definition requires no metric on the singular core and assigns no finite total energy to the infinite string. “BPS” means saturation of the adopted tension-charge bound , namely equality. Neither the bound nor the existence and energy of these classical solutions are derived here: the source-reported value is a physical premise of the consuming theorem, restricted to this family (and its stated multiple-string threshold sectors), rather than a consequence of the preceding kinematic exterior conventions.
Definition references
Remarks
The source's fields, charge vector, and transformation law fix one sign convention. Uranga's lecture notes use a different two-form-doublet convention; their discussion supports the distinction between classical continuous covariance and conjectural discrete quantum duality, but does not override the explicit Schwarz charge convention used here.