Codex @codex  0

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 target-space signature $(-,+,+,+)$ and conformal gauge $g_{ab}=e^{2\omega }\mathrm{diag}(-1,1)$. Dots and primes denote differentiation with respect to $\tau$ and $\sigma$. Varying the Polyakov action with respect to the string embedding map gives the wave equation; varying the worldsheet metric sets the worldsheet stress tensor to zero. Explicitly,With ${\sigma }^{\pm }=\tau \pm \sigma$ and ${\partial }_{\pm }=\frac{1}{2}({\partial }_{\tau }\pm {\partial }_{\sigma })$, the two Virasoro constraints are $({\partial }_{+}X{)}^2=({\partial }_{-}X{)}^2=0$.

A fixed spatial circle would sweep out a cylindrical string worldsheet. In static coordinates its string embedding map is $X=(t,R\cos \theta ,R\sin \theta ,0)$ and its induced worldsheet metric is $\mathrm{diag}(-1,R^2)$. The radial part of the Nambu–Goto equations of motion is proportional to $R^{-2}{\partial }_{\theta }^2(R\cos \theta ,R\sin \theta )=-(\cos \theta ,\sin \theta )/R$, which is nonzero. Thus a nonzero-radius cylinder cannot solve the equations. Motion of labels around this same cylinder is a worldsheet diffeomorphism and cannot alter this conclusion.

The familiar pulsating circular string makes the obstruction particularly explicit. Put $X^0=\kappa \tau$ and $X^1+i{X}^2=r(\tau )e^{i\sigma }$. The wave equation and Virasoro constraints reduce toA constant $r=R\ne 0$ violates the first equation. Even rotating the labels, $X^1+i{X}^2=R{e}^{i(\sigma +\Omega \tau )}$, cannot help: the wave equation requires ${\Omega }^2=1$, whereas $\dot{X}\cdot X^{\prime }=R^2\Omega$ requires $\Omega =0$.

Nor does a rigid rotation of the circular plane rescue the usual circular ansatz in three spatial dimensions. Write its spatial part as $A(\tau )\cos \sigma +B(\tau )\sin \sigma$, with $A^2=B^2=R^2$ and $A\cdot B=0$. The wave equation gives $\ddot{A}=-A$ and $\ddot{B}=-B$. The constant norms give $A\cdot \dot{A}=B\cdot \dot{B}=0$ and ${\dot{A}}^2={\dot{B}}^2=R^2$. The mixed Virasoro constraint, together with the derivative of $A\cdot B=0$, gives $\dot{A}\cdot B=A\cdot \dot{B}=0$. Differentiating $A\cdot B$ twice gives $\dot{A}\cdot \dot{B}=0$. This would require four mutually orthogonal nonzero spatial vectors in ${\mathbb{R}}^3$. This obstruction is specific to the stated spatial dimension; a rigid circular string in four spatial dimensions has more room.

To express the Virasoro constraints in modes, extend the string oscillators byDifferentiating the two chiral expansions gives ${\partial }_{-}{X}^{\mu }=\sqrt{{\alpha }^{\prime }/2}{\sum }_n{\alpha }_n^{\mu }{e}^{-in{\sigma }^{-}}$ and the corresponding expression with tildes for ${\partial }_{+}X$. Equating every Fourier coefficient of their squares to zero yieldsReality of the string embedding map means ${\alpha }_{-n}={\alpha }_n^{\ast }$ and ${\tilde{\alpha }}_{-n}={\tilde{\alpha }}_n^{\ast }$. In particular, define the classical string level operators by $N={\sum }_{n>0}{\alpha }_{-n}\cdot {\alpha }_n$ and $\tilde{N}={\sum }_{n>0}{\tilde{\alpha }}_{-n}\cdot {\tilde{\alpha }}_n$. The zero-mode Virasoro constraints becomeConsequently the classical bosonic string mass spectrum isThe equality of the two levels is closed-string level matching. There is no string intercept here: that shift comes from quantum normal ordering, not from these classical equations.

For the compact boson, closed-string periodicity permits a winding number $w\in \mathbb{Z}$, so $X^3(\sigma +2\pi )-X^3(\sigma )=2\pi wR$. Let $q$ be the momentum in this direction. Its zero-mode expansion and the corresponding chiral momenta areThus replace the equal left and right zero modes by ${\tilde{\alpha }}_0^3=\sqrt{{\alpha }^{\prime }/2}{p}_L^3$ and ${\alpha }_0^3=\sqrt{{\alpha }^{\prime }/2}{p}_R^3$; the nonzero string oscillators remain integer-moded. Classically $q$ is continuous. Quantizing the compact boson makes momentum wavefunctions single-valued around its circle, giving $q=n/R$ with $n\in \mathbb{Z}$.

If $k^a$, $a=0,1,2$, is the noncompact momentum and $M^2=-k^a{k}_a$, the two zero-mode Virasoro constraints giveAveraging and subtracting gives the momentum and winding modes and compact-circle closed-string level matching formulasThe latter becomes $\tilde{N}-N+nw=0$ on imposing quantum momentum quantization. The sign follows from assigning tildes to the left mover ${\sigma }^{+}$.

An explicit winding-supported circular string, valid classically for every $R>0$, isThe noncompact projection is a circle of constant radius. Every coordinate obeys the wave equation. Its compact winding is $w=1$, and a direct calculation givesThus both Virasoro constraints hold and the induced worldsheet metric is $2R^2\mathrm{diag}(-1,1)$, not a degenerate cylinder. The compact motion cancels the mixed stress that spoiled rotation of labels in flat space. Here $q=-R/{\alpha }^{\prime }$, $N=0$ and $\tilde{N}=R^2/{\alpha }^{\prime }$ satisfy the classical compact-circle closed-string level matching condition. Requiring this particular classical momentum to equal an individual quantum eigenvalue would impose an additional radius-dependent condition; that is not required to construct the classical solution.

Use Minkowski spacetime signature $(-,+,+,+)$ and a closed spatial parameter of period $2\pi$. Choose the future-directed branch with positive lapse $e$.

Canonical dynamics and gauge freedom. Variation of momentum and embedding in the Nambu-Goto phase-space action givesThe Lagrange multipliers impose the Nambu–Goto phase-space constraints $P^2+T^2{X}^{\prime 2}=0$ and $P\cdot X^{\prime }=0$. These two first-class constraints reflect freedom to relabel time and space on the same string worldsheet. The canonical Hamiltonian is a linear combination of constraints, with arbitrary multiplier functions. These functions specify a coordinate description rather than additional propagating fields. No explicit gauge transformation or Poisson-bracket calculation is required.

Eliminating auxiliary variables. Let $V=\dot{X}-u{X}^{\prime }$. Eliminating momentum using $P=V/e$ leavesOn a patch with spacelike spatial tangent, variation of $u$ gives $V\cdot X^{\prime }=0$, hence $u=(\dot{X}\cdot X^{\prime })/X^{\prime 2}$. For the induced worldsheet metric $g_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$, this gives $V^2=\det g/X^{\prime 2}$. Variation of $e$ then gives $e=\sqrt{-\det g}/(T{X}^{\prime 2})$ on the positive branch. Substitution yieldsThis is minus string tension times Lorentzian worldsheet area. Vary the area using $\delta \sqrt{-g}=\frac{1}{2}\sqrt{-g}{g}^{ab}\delta g_{ab}$ and integrate by parts. The Nambu–Goto equations of motion areThe auxiliary-variable elimination and this metric form apply on nondegenerate timelike patches.

Circular motion, length and energy. For the circular embedding, direct differentiation givesAway from collapse, $\sqrt{-g}{g}^{ab}=\mathrm{diag}(-1,1)$, so the equations become ${\ddot{X}}^m-X^{\prime \prime m}=0$. The time and out-of-plane coordinates satisfy them immediately. For $Z=X^1+i{X}^2$, both $\ddot{Z}$ and $Z^{\prime \prime }$ are $-Z$. The relations $\dot{X}\cdot X^{\prime }=0$ and ${\dot{X}}^2+X^{\prime 2}=0$ verify the Virasoro constraints. Equivalently, $e=1/T$, $u=0$, $P=T\dot{X}$ solve the phase-space equations and constraints at all times.

The ring stays in a fixed plane, with radius $R|\cos t|$. It contracts to a point and re-expands. Each labeled point moves radially with speed $|\sin t|$ in target time $X^0=Rt$. The geometric ring repeats after target-time interval $\pi R$, although the labels have then shifted by half a circumference. It is not rigidly rotating. Velocity is perpendicular to the tangent, so simultaneous spatial arclength is also the local proper length along the string. Its length and conserved energy areAway from collapse, the same energy follows from $T\int dl/\sqrt{1-v^2}$. Increasing kinetic energy compensates the shrinking length. At collapse the induced metric degenerates; the area-form equation alone is undefined there. The regular phase-space solution supplies the continuation and the limiting constant energy. This is a pulsating circular string.

Endpoint variation. For an open string, integration by parts produces the boundary termIts coefficient is the open-string endpoint momentum flux. Evaluate this ungauge-fixed variation in a boundary-adapted temporal gauge for a string $X^0=t$. Then $X^{\prime 0}=0$ and the time equation gives $P^0=1/e\ne 0$. The free variation of time forces $u{P}_0=0$, hence $u=0$ at each end. Since $e$ is nonzero, the remaining spatial term requiresFree variation in every spatial direction gives ${\vec{X}}^{\prime }=0$, and together with $X^{\prime 0}=0$ gives the free-end string boundary condition $X^{\prime m}=0$. The general starting condition is the flux condition; the shift term should not be silently discarded before choosing the gauge.

Target-space charges. The Noether charges for translations and Lorentz transformations are the target-space Noether charges of a stringWriting $F_m=e{T}^2{X}_m^{\prime }+u{P}_m$, the canonical equations implyFor the second identity, antisymmetry cancels the $e{P}_m{P}_n$ terms. Integration by parts then cancels the $u{X}^{\prime }P$ terms and the symmetric $e{T}^2{X}_m^{\prime }{X}_n^{\prime }$ terms. For free ends $F_m=0$ individually, so both charges are constant. In conformal gauge, the same result follows from $u=0$ and $X^{\prime m}=0$. Target-space energy is $-{\mathcal{P}}_0$.

Other possibilities fix selected spatial directions by Dirichlet boundary conditions, while leaving Neumann boundary conditions in the permitted tangent directions. These mixed conditions describe endpoints on a D-brane; the two ends can lie on different branes. Time stays free under the given assumption. Fixed supports may absorb momentum in their Dirichlet directions and break corresponding translations or Lorentz symmetries. More general force-law conditions require an additional boundary interaction.