Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-11-04 (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.

Iib Axiodilaton And Pq String Charge

Physical scope

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 M be an oriented smooth ten-dimensional manifold and W≠∅ an oriented C2 embedded two-dimensional source locus, closed as a subset of M. Write U:=M∖W, an open smooth manifold. Apply the named supergravity supplier's spacetime conventions to U: ℏ=c=1 and a smooth Lorentzian Einstein-frame metric G(E) on U of signature (−,+,…,+). Take smooth maps C0,Φ:U→R, where C0 is the dimensionless type-IIB RR axion and Φ the dimensionless dilaton, and define G(s)=eΦ/2G(E) on U. The idealized source worldsheet W 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 W 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 (x0,x1,y2,…,y9) identifying an open end E⊂M∖W with R1,1×{y∈R8:∣y∣>R0} for some R0>0, and put r:=∣y∣. Write η=diag⁡(−1,+1,…,+1) in these coordinates and S7:={z∈R8:∣z∣=1}. In this item, “flat asymptotic” means that Gμν(E)−ημν and all its first and second coordinate derivatives tend to zero as r→∞, uniformly over y/r∈S7 and locally uniformly for (x0,x1) in compact subsets of R1,1. Assume also that C0 and Φ tend to constants C0,∞∈R and Φ∞∈R in the same uniform and local-uniform sense. Define the asymptotic axiodilaton τ∞:=C0,∞+ie−Φ∞ and the upper half-plane H:={z∈C:Im⁡z>0}; then τ∞∈H.

Let B2(1) and B2(2) be the real NS–NS and RR two-form gauge potentials, respectively, smooth locally on M∖W, with three-form field strengths H3(j):=dB2(j). A source's charge labels are the integer column Q:=(p,q)T∈Z2∖{0} in this ordered basis: p is its NS–NS charge and q its RR charge, normalized so the unit F-string and D-string have labels (1,0) and (0,1). The formal source-charge pairing is the exterior two-form QTB2, where B2:=(B2(1),B2(2))T. Call Q primitive when gcd⁡(∣p∣,∣q∣)=1. 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 Λ=(abcd)∈SL(2,Z), where a,b,c,d∈Z and ad−bc=1, fix the convention τ∞′=(aτ∞+b)/(cτ∞+d) and Q′=ΛQ. In the same source basis the two-form column transforms as B2′=(ΛT)−1B2, so the source pairing QTB2 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 TF>0 denote the fixed string-frame reference tension of the unit (1,0) F-string, with dimension energy per length (length−2 in the adopted units). Define the dimensionless normalized central-charge factor Zp,q(τ∞):=(p−qτ∞)/Im⁡τ∞, 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 M=R1,1×R8 and W=R1,1×{0}, with exterior fields independent of x0,x1, satisfying the exterior field equations of Schwarz's action (6), and with the self-dual five-form field strength F5 and all fermionic fields identically zero. Here Tp,q(E) is the source-reported asymptotic Einstein-frame energy per longitudinal length: an interval of asymptotic proper length L has energy Tp,q(E)L in this stationary translation-invariant idealization. Both energy and length use the asymptotic normalization G(E)→η; 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 Tp,q(E)≥TF∣Zp,q∣, namely equality. Neither the bound nor the existence and energy of these classical solutions are derived here: the source-reported value Tp,q(E)=TF∣Zp,q∣ 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.

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.

Depends on

Dependency tree · 2 levels

Sources