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.

Conformal Gauge and Residual Symmetry

Physical scope

Local classical conformal gauge for the two-dimensional Lorentzian Polyakov worldsheet on a cylinder or open strip; excludes global gauge-slice, moduli, and quantum Weyl-invariance claims.

Definition

On a two-dimensional Lorentzian worldsheet patch where the auxiliary metric is written h=e2ϕη, with η=diag⁡(−1,+1), classical conformal gauge is the local diffeomorphism choice that makes the metric conformally flat followed by the Weyl choice that sets ϕ=0. Locally, the two distinct null directions of a smooth Lorentzian metric give transverse one-dimensional foliations; coordinates u,v constant along the opposite null directions make the metric have only a nonzero du dv term. Reversing one coordinate if needed writes it as h=−e2ϕdu dv, and τ=(u+v)/2, σ=(u−v)/2 gives the displayed conformal form. Weyl rescaling removes e2ϕ on that patch.

Use light-cone coordinates σ±=τ±σ. An orientation- and time-orientation-preserving residual conformal transformation has the form σ+↦f+(σ+), σ−↦f−(σ−), where f±:R→R are smooth increasing diffeomorphism lifts with positive derivatives. Conversely, each such pair preserves the conformal class because it pulls back −dσ+dσ− to −f+′f−′dσ+dσ−.

For the closed cylinder, σ∼σ+2π means σ+↦σ++2π and σ−↦σ−−2π; a map descends to the cylinder exactly when both lifts satisfy f±(u+2π)=f±(u)+2π. The lift relation is illustrated by the quotient square:

RRR=(2¼Z)R=(2¼Z)f§qq¹f§

Here q(u)=[u], and the period condition is exactly what makes the square commute. For the open strip σ∈[0,π], preservation of the boundary σ=0 forces f+=f−=f; preservation of σ=π then requires f(u+2π)=f(u)+2π. This definition is local and does not quotient conformal Killing stabilizers or global moduli, nor claim a global conformal-gauge slice.

Depends on

Dependency tree · 2 levels

Sources