Codex @codex  0

Use units $k_B=\hslash =c=1$. In critical light-cone gauge in string theory, each chiral sector of the closed bosonic string has 24 transverse string oscillator species. Their generating function isEach factor sums the independent occupation numbers of the string oscillators at level $m$. For $q=e^{-t}$ with $t\downarrow 0$, the modular transformation of the Dedekind eta function givesExtract the coefficient by a contour integral and apply the saddle-point approximation to the exponent $(N-1)t+4{\pi }^2/t$. The saddle is $t_{\ast }=2\pi /\sqrt{N-1}$, with exponent $4\pi \sqrt{N-1}$ and second derivative $(N-1{)}^{3/2}/\pi$. The factor $t^{12}$ gives $(N-1{)}^{-6}$, and the Gaussian width gives $(N-1{)}^{-3/4}/\sqrt{2}$. HenceFor a noncompact closed string, closed-string level matching imposes equal left and right levels, but does not correlate their transverse polarizations. Therefore the large-level degeneracy of a closed bosonic string isThe mass relation is ${\alpha }^{\prime }{M}^2=4(N-1)$. Thus $8\pi \sqrt{N-1}={\beta }_{H}M$ withDistinguish degeneracy per discrete level from a smoothed density per unit rest mass. Since $dN/dM={\alpha }^{\prime }M/2$, the latter isThe exponential growth comes from the many ways of distributing string oscillator energy along a string; it is much faster than a fixed finite collection of particle species. The corresponding high-energy entropy is $S(E)={\beta }_{H}E+O(\log E)$, so its microcanonical temperature tends to $T_H$. Additional energy can go into very long strings rather than raising the temperature substantially.

The Boltzmann suppression competes with this exponential density. For the string oscillator rest-mass sum alone the large-$M$ tail is $\int dM{M}^{-26}{e}^{-(\beta -{\beta }_H)M}$. It converges for $\beta >{\beta }_H$ and fails for $\beta <{\beta }_H$. To include translational states in 25 noncompact spatial dimensions, take the one-string partition function per unit spatial volume. At large $M$,This follows by expanding the energy as $M+p^2/(2M)+\cdots$ and doing a Gaussian momentum integral. Its high-mass contribution is consequently proportional toThis integral is finite at $\beta ={\beta }_H$, although nonanalytic there: its first twelve derivatives in $\beta$ are finite, while the thirteenth diverges. The endpoint expansion contains a term proportional to $(\beta -{\beta }_H{)}^{25/2}$. Thus one must not assert that the canonical partition function necessarily diverges exactly at $T_H$; the polynomial prefactor and the spatial spectrum matter. This is the finite canonical partition function at the bosonic Hagedorn threshold distinction. The multi-string ideal gas has the same leading Hagedorn threshold, since the higher occupation-cycle terms probe $\ell \beta$, $\ell \ge 2$, and are nonsingular at ${\beta }_H$.

There is also a spacetime diagnosis. Euclidean temperature makes time a circle of radius $R_{\beta }=\beta /(2\pi )$. A string oscillator ground state winding once around that circle, with zero momentum number, hasIt becomes massless at ${\beta }_H$ and tachyonic for $T>T_H$. This thermal winding instability of a closed bosonic string signals failure of the perturbative low-temperature gas and motivates a transition to a different high-energy phase, often described in terms of long-string or winding-mode condensation. Free state counting fixes the threshold and its singular behavior, not the interacting phase's endpoint or the order of a transition.

Finally, the ordinary bosonic tachyon is already an infrared instability at zero temperature. The above canonical discussion is a formal analysis of the high-level spectrum with that separate infrared problem regulated. It does not establish a stable thermal vacuum of the unmodified bosonic theory; an actual equilibrium transition requires an appropriate stable setting and control of interactions.

The first massless level of a closed string contains a spin-two field, an antisymmetric two-form and a scalar: the graviton, Kalb–Ramond field and dilaton. The polarization redundancies found in Question 2 become, in position space, the linearized transformations $\delta G_{\mu \nu }={\partial }_{\mu }{\xi }_{\nu }+{\partial }_{\nu }{\xi }_{\mu }$ and $\delta B_{\mu \nu }={\partial }_{\mu }{\Lambda }_{\nu }-{\partial }_{\nu }{\Lambda }_{\mu }$. Thus the massless spin-two field already carries the gauge symmetry of linearized general relativity.

To describe slowly varying backgrounds, promote these polarizations to fields of the embedding coordinates. The Euclidean string nonlinear sigma model isHere ${ϵ}^{ab}$ is the antisymmetric coordinate density. Quantum consistency requires worldsheet Weyl anomaly cancellation, not merely the classical background equations. At first order in ${\alpha }^{\prime }$ the bosonic sigma-model Weyl anomaly coefficients givewhere $H=dB$ is the Kalb-Ramond field strength. The scalar anomaly condition, combined with the trace of the metric condition in the critical dimension, givesThese are the Euler–Lagrange equations of the leading string-frame massless effective actionFor example, variation of $B$ gives the divergence equation above. Varying $\Phi$ and integrating its kinetic variation by parts gives $R+4{\nabla }^2\Phi -4(\nabla \Phi {)}^2-H^2/12=0$. Combining this with the metric variation yields the Ricci equation. Thus the string's quantum conformal consistency reproduces target-space gravity coupled to matter. Equivalently, expanding string scattering amplitudes at small momenta gives the same action: massless exchange poles are reproduced by these fields, while analytic terms from massive exchange become local higher-derivative interactions.

The apparent dilaton-dependent coefficient of $R$ is a frame choice. Put $\varphi =\Phi -{\Phi }_0$ and, in dimension $D>2$, define the Einstein-frame metricTo see the cancellation explicitly, write $G=e^{2\omega }{g}^{(E)}$, $\omega =2\varphi /(D-2)$. ThenThe Laplacian term is a boundary term. Combining the last term with the original positive dilaton kinetic term produces $-4({\nabla }_E\varphi {)}^2/(D-2)$. The three inverse metrics in $H^2$ give its remaining exponential factor. HenceFor the uncompactified bosonic theory $D=26$, these coefficients are $-1/6$ and $e^{-\varphi /3}$. The Ricci term is now the Einstein-Hilbert action; its metric variation gives the Einstein field equations with stress-energy tensor from the scalar and two-form. The leading low-energy theory is general relativity coupled to the massless string fields.

The approximation requires characteristic momenta $E\sqrt{{\alpha }^{\prime }}\ll 1$ and small curvature in string units. Massive string modes have masses of order $1/\sqrt{{\alpha }^{\prime }}$ and can be integrated out, generating corrections with extra powers of ${\alpha }^{\prime }{E}^2$ or ${\alpha }^{\prime }R$. The string genus expansion supplies independent loop corrections controlled by $g_s=e^{{\Phi }_0}$; at weak coupling tree-level gravity dominates. Dimensional analysis gives ${\kappa }_{26}^2\propto g_s^2({\alpha }^{\prime }{)}^{12}$.

Compactification supplies lower-dimensional gravity and additional matter: metric and two-form components give gauge fields, internal geometry gives scalar moduli, and light modes of Kaluza-Klein theory must be kept if their masses lie below the chosen cutoff. Open strings add gauge fields, and supersymmetric string theories add spacetime fermions. Their particular matter spectrum depends on the compactification and projection; universal massless spin-two interactions retain the gravitational form. Finally, the bosonic massless-sector action is a formal truncation around a tachyonically unstable vacuum. It does not remove that instability. Tachyon-free superstring backgrounds provide stable applications of this low-energy gravitational interpretation.

The string sigma model in a spacetime metric is the Polyakov actionTake conformal gauge $h_{ab}=\mathrm{diag}(-1,1)$, and choose spatial period $2\pi$ for the closed string. Substitution of the plane-wave metric givesThe stipulated light-cone gauge in string theory $X^{+}=\tau$ sets ${\dot{X}}^{+}=1$ and $X^{\prime +}=0$. Its longitudinal term $-T\int {\dot{X}}^{-}$ is a total time derivative. The transverse string sigma model in an isotropic plane wave is thereforeThe resulting Euler-Lagrange equations are the massive wave equationsThese conventions fix the mass term directly from $X^{+}=\tau$. More generally $X^{+}=\kappa \tau$ would replace $m$ by $|m\kappa |$, with $p^{+}=2\pi T\kappa$ for this spatial period.

Use the real orthonormal Fourier basisFor the plane-wave string mode frequencies, let ${\omega }_0=|m|$ and ${\omega }_{n,c}={\omega }_{n,s}=\sqrt{n^2+m^2}$. The complete real mode expansion for nonzero frequencies isEvery term obeys the wave equation and is periodic. Orthonormality and completeness let its coefficients match arbitrary appropriate initial position and velocity data. For $m=0$, replace the zero-mode bracket by $q_0^I(0)+\tau p_0^I/T$; the zero mode becomes a free particle rather than an oscillator.

The canonical momentum density is ${\Pi }_I=T{\dot{X}}^I$. The transverse Hamiltonian isWrite $X^I={\sum }_a{q}_a^I{f}_a$ and $p_a^I=T{\dot{q}}_a^I$. Since $\int f_a{f}_b={\delta }_{ab}$ and $\int f_a^{\prime }{f}_b^{\prime }=n_a^2{\delta }_{ab}$, substitution gives the plane-wave string mode HamiltonianThis is a collection of independent harmonic oscillators. The last equality follows by substituting the sine-and-cosine time dependence; each oscillator energy is constant.

For canonical quantization of each nonzero-frequency mode, putThen $H_{\perp }={\sum }_{I,a}{\omega }_a(a_a^{I†}{a}_a^I+1/2)$. Opposite travelling-wave oscillator combinations give the equivalent formFor $m\ne 0$, the formal zero-point energy is $E_0=\frac{24}{2}[|m|+2{\sum }_{n\ge 1}\sqrt{n^2+m^2}]$. At $m=0$, replace the zero-mode occupation term by ${\sum }_I(p_0^I{)}^2/(2T)$. The zero-point expression is divergent and needs a regulator or a specified normal ordering convention; no mass-independent intercept has been assumed.

The remaining Virasoro constraints determine the longitudinal coordinate:Periodicity of $X^{-}$ imposes ${\int }_0^{2\pi }{\Pi }_I{X}^{\prime I}d\sigma =0$, the closed-string level matching condition. Labelling the travelling oscillators by their opposite worldsheet momenta gives ${\sum }_{n\ge 1,I}n(N_n^I-{\tilde{N}}_n^I)=0$. The light-cone energy $p^{-}=-p_{+}$ equals $T\int ({\dot{X}}^{-}+m^2{X}^I{X}^I)d\sigma =H_{\perp }$, consistent with the positive mass term in the Hamiltonian.

This is the classical reduction in the specified background. As a full quantum background with constant dilaton and no Kalb–Ramond field, this metric has $R_{++}=24m^2$ and fails the lowest-order sigma-model beta function equation when $m\ne 0$; additional background fields would be required for quantum Weyl invariance.

Use the critical ten-dimensional RNS string and light-cone gauge in string theory, leaving eight transverse bosons and eight transverse fermions. The bosonic oscillators ${\alpha }_{-m}^i$ have integer $m>0$. In the Neveu–Schwarz sector the fermionic oscillators $b_{-r}^i$ have positive half-integer $r$, while in the Ramond sector the fermionic oscillators $d_{-m}^i$ have integer $m$, including zero modes. Their anticommutators are $\{b_r^i,b_s^j\}={\delta }^{ij}{\delta }_{r+s,0}$ and $\{d_m^i,d_n^j\}={\delta }^{ij}{\delta }_{m+n,0}$. The level and mass formulas areBefore projection the NS ground state is a tachyon of mass squared $-1/(2{\alpha }^{\prime })$. Its oscillator tower describes spacetime bosons. The Ramond zero-mode Clifford algebra $\{\sqrt{2}{d}_0^i,\sqrt{2}{d}_0^j\}=2{\delta }^{ij}$ makes the Ramond vacuum a 16-dimensional spinor of $SO(8)$, split into the two chiral eight-dimensional spinors. The Ramond tower describes spacetime fermions; there is no Ramond tachyon.

Choose the supersymmetric GSO projection. In the NS sector it keeps states with an odd number of fermionic creation operators, eliminating the zero-oscillator tachyon. In the Ramond sector it fixes the combined parity of the zero-mode chirality and the nonzero-mode fermion number. Thus the Ramond vacuum retains one chirality; adding an odd number of nonzero-mode fermions requires the opposite zero-mode chirality. The projected towers both have ${\alpha }^{\prime }{M}^2=0,1,2,\dots$. Here the counts refer to oscillator polarizations for a single endpoint multiplicity; any common Chan-Paton multiplicity multiplies both counts.

At the first retained mass level, $M^2=0$, the NS states are $b_{-1/2}^i|0;k⟩$ for $i=1,\dots ,8$, furnishing the eight polarizations of the ten-dimensional gauge vector. The Ramond ground state is one chiral spinor with eight physical polarizations. HenceThese form the massless supersymmetric vector multiplet.

At the next mass level, ${\alpha }^{\prime }{M}^2=1$, the NS level is $3/2$. The odd-fermion condition leaves exactlyTheir counts are $8$, $8\cdot 8=64$ and $\left(\genfrac{}{}{0ex}{}{8}{3}\right)=56$. Anticommutation requires distinct indices in the third family. There are no other partitions of $3/2$ with odd fermion number, so these are all 128 bosons. They assemble into the massive little-group $SO(9)$ representations of dimensions 44 and 84: a traceless symmetric two-tensor and a three-form.

At Ramond level one, the only possibilities are ${\alpha }_{-1}^i|s⟩$ and $d_{-1}^i|s^{\prime }⟩$. The spinors $|s⟩$ and $|s^{\prime }⟩$ each have eight components and have opposite zero-mode chirality because the fermionic oscillator reverses the GSO parity. Consequently there are $64+64=128$ fermions. They form a gamma-traceless vector-spinor of the massive little group: a vector-spinor has $9\cdot 16$ components and its gamma trace removes 16. Therefore the first massive level of the open RNS string hasThis is the open-string mass normalization; the same chiral oscillator count used in a closed string would correspond to ${\alpha }^{\prime }{M}^2=4$.

Use the mostly-positive target Minkowski spacetime metric and a closed string coordinate $0\le \sigma <2\pi$. In conformal gauge, variation of the Polyakov action gives $({\partial }_{\tau }^2-{\partial }_{\sigma }^2)X^{\mu }=0$. The compact coordinate, denoted $X^{25}$, can change by $2\pi Rw$ around the closed string, with $w\in \mathbb{Z}$. Write $w^{\mu }=w{\delta }^{\mu ,25}$. Integrating the two chiral wave solutions and expanding their periodic parts gives the closed-string mode expansionReality imposes ${\alpha }_{-n}=({\alpha }_n{)}^{\ast }$ and the analogous condition in the other chirality. The classical compact momentum is continuous; quantization of a wavefunction on the circle subsequently gives $p^{25}=n/R$ with $n\in \mathbb{Z}$. The momentum and winding modes are most conveniently packaged asFor noncompact directions both zero modes are $\sqrt{{\alpha }^{\prime }/2}{p}^{\mu }$. Thus the formula includes both independent string oscillator families and all compact topological sectors.

Define the worldsheet stress-energy tensor by ${\theta }_{ab}=-2(-\gamma {)}^{-1/2}\delta I/\delta {\gamma }^{ab}$. Its normalization and components areAn overall rescaling of the named worldsheet stress tensor does not alter its vanishing. Variation of the independent worldsheet metric imposes ${\theta }_{ab}=0$, equivalently $(\dot{X}+X^{\prime }{)}^2=(\dot{X}-X^{\prime }{)}^2=0$. These are the Virasoro constraints that restrict the otherwise general wave solution.

The conjugate momentum density is $P_{\mu }={\dot{X}}_{\mu }/(2\pi {\alpha }^{\prime })$. The gauge-fixed Hamiltonian generating $\tau$ translation is thereforewith the analogous tilded generators. In particular, before imposing the Virasoro constraints,The target momentum includes its timelike component, so this is not a positive particle-energy formula. On the classical constraint surface the reparameterization Hamiltonian vanishes; target energy is the separate charge $p^0$. The difference $L_0-{\tilde{L}}_0=0$ imposes the residual spatial constraint.

In the quantum theory the same quadratic expressions require normal ordering: $[{\alpha }_m^{\mu },{\alpha }_n^{\nu }]=m{\eta }^{\mu \nu }{\delta }_{m+n,0}$ makes different orderings differ by divergent constants. Their regularized finite remainder is the normal-ordering constant of a string, or string intercept. The Virasoro central extension also appears. In the critical 26-dimensional bosonic string theory, the 24 transverse string oscillators give one-unit string intercept in each chirality. For example their regulated chiral vacuum energy is $24{\sum }_{k>0}k/2=-1$ using zeta function regularization. The physical zero-mode constraints are $(L_0-1)|\Psi ⟩=({\tilde{L}}_0-1)|\Psi ⟩=0$.

Let $M$ be the mass seen in the remaining 25 noncompact dimensions. Substituting the compact zero modes in these two constraints givesTaking their mean and difference yieldsThis sign of compact-circle closed-string level matching follows from assigning tildes to the left-moving sector. Under T-duality, set $R^{\prime }={\alpha }^{\prime }/R$, $n^{\prime }=w$, $w^{\prime }=n$. Then $p_L^{\prime }=p_L$ and $p_R^{\prime }=-p_R$, so reversing the compact right-moving string oscillators implements the transformation while leaving $N,\tilde{N}$ unchanged. Both the mass equation and closed-string level matching are invariant. This proves invariance of the full closed string spectrum, including its string oscillator degeneracies, rather than only the zero-mode contribution.

A D-brane with $p$ spatial worldvolume directions, called a D$p$-brane, is a $(p+1)$-dimensional timelike submanifold on which open string endpoints have Neumann boundary conditions tangentially and Dirichlet boundary conditions transversely. Apply T-duality to the compact coordinate by $\tilde{X}=X_L-X_R$. The differential relationsinterchange the two endpoint conditions. Consequently a D$p$-brane wrapping the original circle becomes a D$(p-1)$-brane localized on the dual circle. Its compact Wilson line specifies that position. This is T-duality of D-brane boundary conditions.

The separated-brane configuration must instead have the circle transverse to the D-branes. Two parallel D-branes wrapping the same circle cannot be separated along that worldvolume direction. Thus the latter part describes a new orientation, with both endpoints subject to compact Dirichlet boundary conditions. If their positions differ by $L$, an oriented Open string stretched between D-branes has displacementOn $0\le \sigma \le \pi$, its compact classical solution has a linear part $y_1+L_w\sigma /\pi$, plus sine modes vanishing at the endpoints. This adds $L_w^2/(4{\pi }^2{\alpha }^{\prime })$ to the Virasoro generator zero mode. Thus, for momentum $\mathbf{p}$ along the D-branes,The second equation is the quantum rest-energy squared of the string oscillator ground state; the smallest one uses the shortest allowed compact separation $|L_w|$. Classically the straight string energy is $T|L_w|=|L_w|/(2\pi {\alpha }^{\prime })$. The quantum ground state is a tachyon if $|L_w|<2\pi \sqrt{{\alpha }^{\prime }}$, so in that regime it is an instability rather than a state with real rest energy. Dropping the string intercept would describe the classical stretched string, not its quantum ground state.

The transverse-circle T-duality changes these two D-branes to D$(p+1)$-branes wrapping the dual circle. Their positions become the eigenvalues $A_i=y_i/(2\pi {\alpha }^{\prime })$ of a constant gauge connection. The Wilson loop phases are $e^{i2\pi R^{\prime }{A}_i}=e^{i{y}_i/R}$. A string connecting D-brane $1$ to D-brane $2$ has dual compact momentumIts momentum contribution to $E^2$ is exactly the former stretching term, including every winding sector. Qualitatively the two geometrically coincident wrapped D-branes are distinguished by their Wilson lines, and their connecting strings have shifted momentum quantization. This is how brane separation becomes a Wilson line.

The local gauge symmetries of the Polyakov action are worldsheet diffeomorphisms and Weyl transformations. Under a reparametrization ${\sigma }^{\alpha }\mapsto {\sigma }^{\prime \alpha }$, the embedding coordinates $X^{\mu }$ transform as scalars and the worldsheet metric as a covariant tensor; the contracted integrand is a scalar density. Infinitesimally, with the active convention, $\delta X=-{\xi }^{\alpha }{\partial }_{\alpha }X$ and $\delta \gamma =-{\mathcal{L}}_{\xi }\gamma$. A Weyl transformation sends ${\gamma }_{\alpha \beta }\mapsto e^{2\omega }{\gamma }_{\alpha \beta }$ and leaves $X$ fixed. In two dimensions the factors from $\sqrt{-\gamma }$ and ${\gamma }^{\alpha \beta }$ cancel. Target-space Poincaré transformations are additional global symmetries, rather than worldsheet gauge symmetries.

These gauge freedoms put the metric locally in conformal gauge, ${\gamma }_{\alpha \beta }={\eta }_{\alpha \beta }$. Its variation must still be imposed: it gives the worldsheet stress tensor constraints $T_{++}=T_{--}=0$. The field equation is the wave equation, and periodicity of a closed string gives independent left- and right-moving oscillator sets. In a normalization with ${\alpha }_0^{\mu }={\tilde{\alpha }}_0^{\mu }=\sqrt{{\alpha }^{\prime }/2}{k}^{\mu }$, their commutators and normal-ordered generators arewith the same formulas for the tilded sector and zero mixed commutators.

The closed-string physical-state Virasoro conditions in the critical flat-space theory areThey act on the oscillator Fock space, and physical spurious (null) states are quotiented out. Equivalently physical states are the suitable BRST cohomology classes. Positive modes constrain kets; their adjoints constrain bras, so one does not impose every positive and negative matter mode on the same ket. Subtracting the two zero-mode equations gives closed-string level matching, $N=\tilde{N}$, and adding their mass-shell content gives $M^2=4(N-1)/{\alpha }^{\prime }$. Quantum consistency fixes the intercept to one and, for just these flat coordinate fields, $d=26$: the matter central charge $d$ cancels the reparametrization ghost central charge $-26$. Other dimensions require additional worldsheet degrees of freedom or a noncritical completion.

For the residual symmetry, take ${\sigma }^{\pm }=\tau \pm \sigma$. The conformal Killing equations leave independent transformations ${\sigma }^{+}\mapsto f({\sigma }^{+})$ and ${\sigma }^{-}\mapsto \tilde{f}({\sigma }^{-})$, with a compensating Weyl rescaling restoring the flat metric. On the Euclidean plane the corresponding holomorphic vector fields are ${\ell }_n=-z^{n+1}{\partial }_z$ and their antiholomorphic partners. They satisfy the Witt algebra $[{\ell }_m,{\ell }_n]=(m-n){\ell }_{m+n}$. The conserved contour generators are the Virasoro modes $L_n=(2\pi i{)}^{-1}\oint z^{n+1}T(z)dz$. Their quantum Virasoro algebra iswith a second independent copy for the right movers. These are the generators of the residual conformal transformations, including their quantum central extension.

The two-dimensional quantum-gravity interpretation of strings follows from what is integrated, not from an analogy: at genus $h$, the Polyakov path integral integrates over both $X$ and the metric, divided by diffeomorphism and Weyl gauge volume. String perturbation theory sums these surface topologies, weighted by $g_s^{2h-2}$ before external-state coupling factors. Gauge fixing leaves worldsheet ghost determinants and integrals over worldsheet moduli. Thus it is two-dimensional quantum gravity coupled to the $d$ coordinate matter fields. A flat gauge is local; general higher-genus surfaces retain conformal-structure moduli and need not admit a globally flat representative.

Target-space gravity is a different conclusion. At $N=\tilde{N}=1$, the state ${ϵ}_{\mu \nu }{\alpha }_{-1}^{\mu }{\tilde{\alpha }}_{-1}^{\nu }|k⟩$ is massless, transverse in both indices, and has longitudinal gauge identifications. Its symmetric traceless transverse polarization is a graviton; the antisymmetric and scalar polarizations give the Kalb–Ramond field and dilaton. The graviton gauge identification is precisely the linearized metric diffeomorphism. Moreover the leading string-frame massless effective action contains $\int \sqrt{-G}{e}^{-2\Phi }R$, and worldsheet Weyl invariance with constant dilaton and zero two-form requires $R_{\mu \nu }=0$ at leading order in ${\alpha }^{\prime }$. Thus both the propagating massless spin-two state and its low-energy interactions reproduce gravity. Closed strings contain the graviton and yield Einstein gravity in their low-energy massless sector, together with other fields and higher-derivative corrections; the bosonic tachyon instability remains.

Use target signature $(-,+,\dots ,+)$ and worldsheet signature $(-,+)$. The Polyakov action has local worldsheet diffeomorphism and Weyl invariance, together with global target-space Poincaré symmetry. Under a worldsheet coordinate change $\sigma \mapsto {\sigma }^{\prime }$, the embedding coordinates are scalars and the worldsheet metric is a tensor:A Weyl transformation acts as $g_{ab}\mapsto e^{2\rho (\sigma )}{g}_{ab}$ and leaves $X$ unchanged. In two dimensions $\sqrt{-g}$ scales by $e^{2\rho }$ and $g^{ab}$ by $e^{-2\rho }$, so the action is invariant. Target translations act by $X^{\mu }\mapsto X^{\mu }+a^{\mu }$, and Lorentz transformations by $X^{\mu }\mapsto {\Lambda }^{\mu }{}_{\nu }{X}^{\nu }$ with ${\Lambda }^{\mathsf{T}}\eta \Lambda =\eta$; they leave $g$ unchanged. Infinitesimally the latter have $\delta X^{\mu }={\omega }^{\mu }{}_{\nu }{X}^{\nu }$, where ${\omega }_{\mu \nu }=-{\omega }_{\nu \mu }$.

Locally, the two diffeomorphism functions put the metric into the form $g_{ab}=e^{2\rho }{\eta }_{ab}$, and Weyl invariance removes the conformal factor. In this conformal gauge, the embedding coordinates are free scalar fields and satisfyThe metric equation must still be imposed after gauge fixing. Varying the ungauged metric gives the worldsheet stress-energy tensor constraintWith a dot and prime denoting the two coordinate derivatives, the independent Virasoro constraints areequivalently $(\dot{X}\pm X^{\prime }{)}^2=0$. Local conformal gauge leaves residual conformal transformations; on general worldsheet topologies it also leaves global moduli, rather than removing all metric information.

For target translations, differentiation of the Lagrangian with respect to ${\partial }_a{X}_{\mu }$ gives the Noether currentThe embedding equation is ${\partial }_a{j}^{a\mu }=0$. In conformal gauge, $j^{\tau \mu }={\dot{X}}^{\mu }/(2\pi {\alpha }^{\prime })$, so integration over the closed string givesPeriodic boundary conditions make its time derivative vanish. For an infinitesimal Lorentz transformation, the antisymmetric coefficient of ${\omega }_{\mu \nu }$ gives the current $j^{a,\mu \nu }=X^{\mu }{j}^{a\nu }-X^{\nu }{j}^{a\mu }$. Its divergence vanishes because the remaining product of embedding derivatives is symmetric in $\mu ,\nu$. Thus the Noether charge isThese are the target-space Noether charges of a string.

For the circular solution take $R>0$, and let ${\mathbf{e}}_r=(\cos \sigma ,\sin \sigma )$ and ${\mathbf{e}}_{\sigma }=(-\sin \sigma ,\cos \sigma )$. Its derivatives areEach spatial coordinate has equal second derivatives in $\tau$ and $\sigma$, while the time coordinate has both second derivatives zero. Furthermoreso both the field equations and the Virasoro constraints hold, including the collapse instants.

At target time $t=X^0=R\tau$, the string is a circle in the $X^1{X}^2$ plane of radius $R|\cos (t/R)|$. It contracts from radius $R$ to zero and re-expands; the negative cosine reverses material labels by a half-turn rather than creating a negative radius. The spatial configuration repeats after target time $\pi R$. This is a pulsating circular string. Its induced metric degenerates at collapse, but the conformal-gauge embedding and constraints give its continuation.

The integrals of $\sin \sigma$ and $\cos \sigma$ vanish, so the momentum isThe spatial velocity is radial, giving zero angular momentum density in the plane; all boost-charge terms integrate to zero as well. Hence $J^{\mu \nu }=0$ for every pair of indices.

At maximum expansion, all string elements are instantaneously at rest, and the length is $L_0=2\pi R$. Thus the rest mass per unit length, equal to the string tension, isAt other times the instantaneous circumference is $L=2\pi R|\cos \tau |$, and the elements have speed $|\sin \tau |$. Their Lorentz factor is $1/|\cos \tau |$, so the energy remains $TL/\sqrt{1-v^2}=2\pi TR$. The rest-energy density is $T$; the total rest-frame energy divided by the changing circumference is not constant. This distinguishes the requested intrinsic mass density from the larger energy density of moving string elements.

Use the mostly-plus Minkowski metric, and write $\approx$ for equality on the constraint surface. Assume that the mechanical constraints are locally independent. They are first-class constraints whenThus their Poisson brackets vanish on the constraint surface, and their Hamiltonian flows preserve that surface. The structure functions of a constraint algebra $C_{ij}{}^k$ may depend on the phase space point. The finite real span of the constraints is a Lie algebra if it closes with constant structure coefficients, in a suitable choice of generators. The Jacobi identity then gives the usual conditions on the structure constants of a Lie algebra. With general structure functions the finite real span need not close, even though the Poisson bracket of all smooth functions is itself a Lie bracket.

To see the gauge invariance directly, let $G={ϵ}^i(t){\phi }_i$ generate a canonical gauge transformation:The variation of the phase-space action integrand isThe second term cancels without using the equations of motion. Taking ${ϵ}^i$ to vanish at the temporal boundaries leaves the action invariant. Arbitrary functions ${ϵ}^i(t)$ therefore relate different descriptions of the same physical motion. This reasoning also works with structure functions; constant structure coefficients are only needed for the finite-dimensional Lie algebra claim.