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.

Flat Bosonic String Model

Physical scope

Classical tensile bosonic Polyakov fields with flat Minkowski target and a nondegenerate auxiliary Lorentzian worldsheet metric, retaining the nondegenerate induced-metric immersion branch separately; excludes curved backgrounds, interactions, endpoint fields, and quantum path-integral claims.

Definition

Fix an integer D≥3, target space M=RD, and Minkowski metric η=diag⁡(−1,+1,…,+1). A worldsheet is an oriented smooth two-dimensional manifold Σ, possibly with smooth boundary, equipped with an auxiliary Lorentzian metric h of signature (−,+). A classical Polyakov field configuration consists of this auxiliary metric and a C2 map X:Σ→M, smooth to that order up to any boundary. Its induced symmetric bilinear form is γ=X∗η, with coordinate components γab=ημν∂aXμ∂bXν. No rank or nondegeneracy condition on dX or γ is imposed on the general Polyakov field domain; h remains nondegenerate independently. The nondegenerate Lorentzian immersion branch on a specified region is the additional requirement that dX have rank two and γ be nondegenerate Lorentzian there. Global injectivity is not assumed; an embedding, when required, is an additional hypothesis. On a closed-string cylinder use dimensionless coordinates τ∈R and σ∈R/(2πZ); on an open-string strip use τ∈R and σ∈[0,π]. The target coordinates Xμ have length dimension. The flat model excludes target curvature, a B-field, a dilaton, endpoint gauge fields, sources, and string interactions; these are separate model data. The nondegenerate induced-metric branch excludes null or collapsed regions where that extra condition is imposed, and is the branch used for differentiable Nambu–Goto action equivalence. Open Polyakov fields may have degenerate induced metric at their endpoints. For this endpoint illustration, assume boundary-adapted conformal coordinates: hab=e2ϕdiag⁡(−1,+1) for a smooth real function ϕ, with the boundary at σ=0,π. All-Neumann data in these coordinates mean ∂σXμ=0 for every target component, so dX has rank at most one there. If the metric constraints η(∂τX,∂σX)=0 and η(∂τX,∂τX)+η(∂σX,∂σX)=0 are also imposed, then η(∂τX,∂τX)=0 and γ vanishes at that endpoint. These endpoint degeneracies do not degenerate the independent auxiliary metric or exclude the field from the Polyakov domain. Neither dynamics nor boundary conditions are imposed merely by this kinematic definition.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources