Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passverified 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.

Nambu Goto Polyakov Equivalence

Physical scope

Classical equivalence of the free tensile flat-target Polyakov and Nambu–Goto actions for a nondegenerate timelike embedded worldsheet on the positive proportionality branch, with matched variational boundary data; no quantum-measure equivalence.

Statement

Let Σ be an oriented smooth Lorentzian two-manifold, possibly with smooth boundary, and let X:Σ→R1,D−1 be a C2 embedding whose differential has rank two and whose induced metric γab=∂aX⋅∂bX is nondegenerate Lorentzian. Let h be a C1 Lorentzian auxiliary metric and define λ=12habγab. Use the positive branch λ>0, the adopted free Polyakov action SP=−T2∫Σ−det⁡h hab∂aX⋅∂bX d2σ, and T=(2πα′)−1. Define the Nambu–Goto action by SNG[X]=−T∫Σ−det⁡γ d2σ, using the positive square root. For either action, stationarity requires vanishing first variation for all admissible compactly supported X-variations V=δX that are C2 up to the boundary. Polyakov stationarity additionally requires vanishing first variation for all compactly supported C1 symmetric variations of the auxiliary metric; the Nambu–Goto action has no independent metric variable. On each boundary piece choose the same fixed target components in both actions, imposing Vμ=0 there; the other components are free and their boundary flux coefficients must vanish (natural data). Variations vanish on any initial/final time slices. On noncompact worldsheets, use these local first variations even when total actions diverge. Write dℓa for the oriented coordinate boundary element characterized by ∫Σ∂aJa d2σ=∫∂ΣJadℓa for a compactly supported vector density J; this convention also applies at null boundaries. The auxiliary-metric Euler–Lagrange equation is Tab=γab−12habhcdγcd=0, which gives γab=λhab. When this metric equation holds on the positive branch, the Polyakov and Nambu–Goto action densities agree pointwise, so their action integrals agree whenever defined; the X-equations and their boundary fluxes agree when the same variations and fixed or natural boundary data are used in both formulations. Conversely, any stationary Nambu–Goto embedding with nondegenerate Lorentzian γ lifts to a Polyakov stationary pair by taking h=γ. This is a classical equivalence only.

Facts & Assumptions

Given: An oriented smooth two-dimensional Lorentzian worldsheet Σ, a C2 rank-two embedding X into flat M=R1,D−1, its nondegenerate Lorentzian induced metric γ, a Lorentzian auxiliary metric h, λ=12habγab>0, and matched admissible boundary variations.

[F1]

Flat Bosonic String Model defines general C2 Polyakov maps and the additional nondegenerate Lorentzian immersion branch. The Given hypotheses select that branch and further require an embedding; h and γ=X∗η are Lorentzian and the target metric is η=diag⁡(−1,+1,…,+1).

[F2]

String Tension Alpha Prime: T=(2πα′)−1>0.

[A1]

Bosonic Polyakov Model: the action is SP=−T2∫Σ−h hab∂aX⋅∂bX, with no additional boundary term.

Proof

1.1givenF1A1F2algebra

Vary the inverse metric hab in [A1]. The determinant identity δ−h=−12−h habδhab gives δhSP=−T2∫Σ−h δhab(γab−12habhcdγcd) d2σ. Since compactly supported symmetric variations δhab are arbitrary and T>0, stationarity implies Tab=0 pointwise.

2.1givenF1step 1.1

By the definition of λ, Tab=0 rearranges to γab=λhab.

3.1givenF2A1step 2.1algebra

In two dimensions, multiplying each row of hab by the common scalar λ in step 2.1 gives det⁡γ=λ2det⁡h; since λ>0, −det⁡γ=λ−det⁡h. The inverse relation is γab=λ−1hab. Contracting γab=λhab with hab gives habγab=2λ. Substitution into [A1] therefore yields equality of the densities −T2−det⁡h habγab=−T−det⁡γ, which gives equality of the action integrals whenever they are defined.

4.1givenA1step 3.1algebra

Put Qab=−det⁡γ γab. For V=δX, differentiating the induced metric gives δγab=∂aV⋅∂bX+∂aX⋅∂bV. The determinant identity then gives δSNG=−(T/2)∫ΣQabδγab d2σ=−T∫ΣQab∂bXμ∂aVμ d2σ. The product rule and Stokes' formula yield δSNG=T∫Σ∂a(Qab∂bXμ)Vμ d2σ−T∫∂ΣQab∂bXμVμdℓa. Varying X in [A1] gives precisely this expression with Qab replaced by −det⁡h hab. Step 3.1 shows these densities agree on the metric-equation branch; hence their derivatives, bulk equations, and boundary fluxes agree. The same fixed components set the same Vμ to zero, and the same free components impose the same vanishing flux coefficients, so stationarity is equivalent for the stated boundary data.

5.1givenF1step 3.1step 4.1algebra∎

Conversely, for any stationary X of SNG with nondegenerate Lorentzian γ, choose h=γ. Then λ=1>0, and Tab=γab−12γabγcdγcd=0, since γcdγcd=2. Step 3.1 and step 4.1 give the same X-equation and boundary flux, so (X,h) is a Polyakov stationary pair. The conclusion concerns only classical equations and actions, not quantum measures.

Depends on

Dependency tree · 1 level

Sources