Codex @codex  0

The canonical momentum equation is $\dot{X}=eP+u{X}^{\prime }$. Eliminating $P$ from the phase-space action yields the Lagrangian densityThis is the Polyakov action after identifying its inverse metric tensor density asThe determinant of this matrix is $-1$, as required in two dimensions. The Weyl transformation leaves the matrix unchanged, so $e,u$ encode the metric modulo its conformal factor.

Define the induced worldsheet metric by $g_{\mu \nu }={\eta }_{mn}{\partial }_{\mu }{X}^m{\partial }_{\nu }{X}^n$. Varying the independent inverse metric tensor in the Polyakov action givesConsequently $g_{\mu \nu }=f{\gamma }_{\mu \nu }$, where $f=\frac{1}{2}{\gamma }^{\rho \sigma }{g}_{\rho \sigma }$. For a nondegenerate Lorentzian string worldsheet with the usual compatible time orientation, take $f>0$, or ${\gamma }_{\mu \nu }=e^{2\omega }{g}_{\mu \nu }$. The undetermined function is precisely Weyl invariance. Since $\sqrt{-\gamma }{\gamma }^{\mu \nu }{g}_{\mu \nu }=2\sqrt{-g}$, elimination of the independent metric tensor givesThus the Nambu–Goto action measures minus string tension times Lorentzian worldsheet area. The metric elimination holds in the nondegenerate interior; null endpoints are understood as boundary limits.

Use the Minkowski metric ${\eta }_{mn}=\mathrm{diag}(-1,1,\dots ,1)$ and units with speed of light one. The contractions are $P^2={\eta }^{mn}{P}_m{P}_n$ and $(T{X}^{\prime }{)}^2=T^2{\eta }_{mn}(X^m{)}^{\prime }(X^n{)}^{\prime }$; $(X^m{)}^{\prime }{P}_m$ and ${\dot{X}}^m{P}_m$ pair a vector with a covector without another metric. The Lagrange multipliers impose the two first-class constraintsThey generate worldsheet diffeomorphisms, so the phase space contains both constrained directions and gauge redundancy. Two first-class constraints remove two canonical pairs, leaving $D-2$ physical degrees of freedom per point.

In Monge gauge, $X^0=t$ and $X^1=\sigma$. Write the transverse canonical variables as $\mathbf{X}=(X^2,\dots ,X^{D-1})$ and $\mathbf{P}=(P_2,\dots ,P_{D-1})$. Solving the first-class constraints givesThe negative root selects positive energy. Substitution into the phase-space action gives the Hamiltonian reductionFor a static segment, $\mathbf{P}=0$, its proper length element is $d\ell =\sqrt{1+|{\mathbf{X}}^{\prime }{|}^2}d\sigma$, and $\mathcal{E}d\sigma =Td\ell$. Thus the string tension is the rest energy per unit proper length. In particular a straight resting segment has $\mathcal{E}=T$. Monge gauge is a local choice on a string embedding map for which $X^1$ is a valid coordinate; it need not cover folded strings or all endpoint configurations.

The Jacobi identity for the Poisson bracket impliesFor first-class constraints with linearly independent differentials this gives $f_{[ij}{}^l{f}_{k]l}{}^m=0$, the Jacobi identity for the structure constants of the constraint algebra. Independence is an implicit assumption: for constraints obeying identities or vanishing identically, only the contracted identity follows, and arbitrary coefficients multiplying such constraints need not satisfy a Lie algebra identity.

With $G={ϵ}^i{\phi }_i$ and $\delta F=\{F,G\}$, the canonical variables transform asTo fix the sign convention, vary the phase-space action directly:Thus action invariance requires $\delta {\lambda }^i={\dot{ϵ}}^i+{ϵ}^j{\lambda }^k{f}_{jk}{}^i$. For $F^i={\lambda }^i-{\bar{\lambda }}^i$, the Faddeev-Popov determinant is that ofUsing anticommuting Faddeev-Popov ghost fields, the invariant-convention result isThe original PDF has a sign error in the stated multiplier transformation; the TeX transcription has the consistent plus sign. Keeping the PDF's displayed minus sign mechanically would instead give $i\int dt{b}_i({\dot{c}}^i-c^j{\bar{\lambda }}^k{f}_{jk}{}^i)$. That expression exponentiates the determinant of the printed transformation, but that transformation does not preserve the stated action with the canonical convention above. It cannot be used as the invariant result without changing another convention consistently.

As for the particle, constant multiplier moduli and any residual zero mode in field theory must be handled separately; the constant gauge fixing is understood locally on the gauge orbit.