 Solution

Use flat target spacetime with metric ${\eta }_{\mu \nu }=\mathrm{diag}(-1,1,\dots ,1)$, and let $h_{ab}$ be an independent Lorentzian worldsheet metric. The Polyakov action isHere $X$ is the string embedding map and $T$ the string tension. Variation of $X$, followed by integration by parts, givesThus the embedding equation isThe boundary term vanishes by periodicity for a closed string. At an open-string boundary it requires, for example, vanishing normal derivative for a Neumann boundary condition, or $\delta X=0$ for a Dirichlet boundary condition. Mixed choices give corresponding endpoint conditions.

Define the induced worldsheet metric ${\gamma }_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$. Using $\delta \sqrt{-h}=-\frac{1}{2}\sqrt{-h}{h}_{ab}\delta h^{ab}$, metric variation givesThe second set of equations is therefore the vanishing worldsheet stress tensor:For a nondegenerate induced metric this says $h_{ab}=e^{2\omega }{\gamma }_{ab}$. Substituting into the action gives $S_P=-T\int \sqrt{-\det \gamma }{d}^2\sigma$, proving the classical equivalence of Polyakov and Nambu–Goto actions. The auxiliary metric has not added physical metric degrees of freedom.

There are three important symmetry statements. Worldsheet diffeomorphisms change the parameterization, with $X$ transforming as a scalar and $h$ as a tensor; the integral is invariant. Weyl transformations $h_{ab}\mapsto e^{2\omega (\sigma )}{h}_{ab}$ leave $\sqrt{-h}{h}^{ab}$ invariant specifically in two dimensions. These are gauge redundancies. Locally, the two diffeomorphism functions and one Weyl function fix the three independent components of $h$ to conformal gauge, $h_{ab}=e^{2\omega }{\eta }_{ab}$. Global worldsheet moduli may remain and cannot be gauged away. Separately the flat-target Poincaré group acts globally on $X$ and supplies conserved target momentum and angular momentum, rather than another worldsheet gauge constraint.

In conformal gauge the embedding equations and metric constraints becomeor equivalently ${\dot{X}}^2+X^{\prime 2}=0$ and $\dot{X}\cdot X^{\prime }=0$. The Virasoro constraints must still be imposed: fixing the metric in the action before varying it would miss them. Residual conformal changes of the two null worldsheet coordinates are generated by these constraints. Classically these statements hold in any target dimension; cancellation of the quantum worldsheet Weyl anomaly is a further condition, not part of the classical variation.