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
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 , target space , and Minkowski metric . A worldsheet is an oriented smooth two-dimensional manifold , possibly with smooth boundary, equipped with an auxiliary Lorentzian metric of signature . A classical Polyakov field configuration consists of this auxiliary metric and a map , smooth to that order up to any boundary. Its induced symmetric bilinear form is , with coordinate components . No rank or nondegeneracy condition on or is imposed on the general Polyakov field domain; remains nondegenerate independently. The nondegenerate Lorentzian immersion branch on a specified region is the additional requirement that 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 and ; on an open-string strip use and . The target coordinates have length dimension. The flat model excludes target curvature, a -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: for a smooth real function , with the boundary at . All-Neumann data in these coordinates mean for every target component, so has rank at most one there. If the metric constraints and are also imposed, then 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.