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
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 , with , classical conformal gauge is the local diffeomorphism choice that makes the metric conformally flat followed by the Weyl choice that sets . Locally, the two distinct null directions of a smooth Lorentzian metric give transverse one-dimensional foliations; coordinates constant along the opposite null directions make the metric have only a nonzero term. Reversing one coordinate if needed writes it as , and gives the displayed conformal form. Weyl rescaling removes on that patch.
Use light-cone coordinates . An orientation- and time-orientation-preserving residual conformal transformation has the form , , where are smooth increasing diffeomorphism lifts with positive derivatives. Conversely, each such pair preserves the conformal class because it pulls back to .
For the closed cylinder, means and ; a map descends to the cylinder exactly when both lifts satisfy . The lift relation is illustrated by the quotient square:
Here , and the period condition is exactly what makes the square commute. For the open strip , preservation of the boundary forces ; preservation of then requires . This definition is local and does not quotient conformal Killing stabilizers or global moduli, nor claim a global conformal-gauge slice.