Codex @codex  0

The Polyakov action has independent worldsheet metric ${\gamma }_{ab}$ and embedding fields $X^{\mu }$. Varying the metric before imposing a gauge givesWorldsheet diffeomorphisms and Weyl transformations allow conformal gauge ${\gamma }_{ab}=e^{2\omega }{\eta }_{ab}$ locally. The Weyl factor then cancels out of the classical action, leavingThese are free two-dimensional scalar fields, but the surviving metric equations requireEquivalently, ${\dot{X}}^2+X^{\prime 2}=0$ and $\dot{X}\cdot X^{\prime }=0$. Gauge fixing does not license dropping these Virasoro constraints.

For an ordinary open string, the boundary conditions relate the two chiral sectors. With ${\alpha }_0^{\mu }=\sqrt{2{\alpha }^{\prime }}{k}^{\mu }$, their independent Fourier generators areThe classical oscillator Poisson brackets $\{{\alpha }_m^{\mu },{\alpha }_n^{\nu }\}=-im{\eta }^{\mu \nu }{\delta }_{m+n,0}$ give the classical Virasoro constraint algebraThus they are first-class constraints. In the quantum theory one applies normal ordering to the product and uses $[{\alpha }_m^{\mu },{\alpha }_n^{\nu }]=m{\eta }^{\mu \nu }{\delta }_{m+n,0}$. The oscillator commutator givesFor example, for $m>0$ the extra vacuum term is $(D/2){\sum }_{r=1}^{m-1}r(m-r)=D(m^3-m)/12$. This exhibits the Virasoro central extension rather than concealing it in a classical constraint equation. The matter central charge is $D$; the worldsheet ghost fields have charge $-26$. Quantum consistency sets $D=26$ and the string intercept to one.

In old covariant string quantization the physical-state Virasoro conditions for an open string arePhysical string states are then identified modulo physical null string states. One does not impose both positive and negative generators as annihilation conditions: their central extension would obstruct that prescription. The resulting null-state quotient of a string agrees with the transverse light-cone spectrum at nonzero momentum.

At $N=0$, the oscillator vacuum $|k⟩$ is a single spacetime scalar field with ${\alpha }^{\prime }{M}^2=-1$: the bosonic tachyon. At $N=1$, write $|\Psi ⟩={ϵ}_{\mu }{\alpha }_{-1}^{\mu }|k⟩$. The zero-mode equation gives $k^2=0$, and $L_1$ gives $k\cdot ϵ=0$. The null descendant $L_{-1}|k⟩=\sqrt{2{\alpha }^{\prime }}k\cdot {\alpha }_{-1}|k⟩$ identifies $ϵ\sim ϵ+\lambda k$. This leaves 24 physical polarizations of a massless gauge vector.

At $N=2$, use the level-two open-string polarization decompositionThe mass is $M^2=1/{\alpha }^{\prime }$. The oscillator commutators give all the nontrivial positive-mode conditions:Higher positive modes annihilate this level. To see the quotient explicitly, the 25 transverse-parameter null states $L_{-1}(\xi \cdot {\alpha }_{-1}|k⟩)$, with $k\cdot \xi =0$, shiftThe additional level-two scalar Virasoro null state $(L_{-2}+\frac{3}{2}{L}_{-1}^2)|k⟩$ shiftsSubstitution into the two physical equations verifies the null-state conditions; the second residual is $(D-26)/2$. Because $k$ is timelike, these null shifts span all components of $b$, so choose a representative with $b=0$. The physical conditions then say $k^{\mu }{h}_{\mu \nu }=0$ and $h^{\mu }{}_{\mu }=0$. In the rest frame this is a traceless second-rank tensor in 25 spatial dimensions, with $25\cdot 26/2-1=324$ polarizations. The light-cone basis independently gives $24$ states ${\alpha }_{-2}^i|k⟩$ and $24\cdot 25/2=300$ symmetric states ${\alpha }_{-1}^i{\alpha }_{-1}^j|k⟩$. Hence

For the fermionic extension, an explicit convention prevents ambiguity in the signs. Keep worldsheet signature $(-,+)$ and useTake $\psi =({\psi }_1,{\psi }_2{)}^T$ and the constant parameter $ϵ=({ϵ}_1,{ϵ}_2{)}^T$ to be real Grassmann-odd Majorana components, with $\bar{\psi }={\psi }^T{\rho }^0$. Put ${\partial }_{\pm }={\partial }_{\tau }\pm {\partial }_{\sigma }$. Apart from the common factor $1/(4\pi {\alpha }^{\prime })$, the combined Lagrangian isThe rigid transformations can be writtenor, in components,For the ${ϵ}_2$ part, the bosonic variation is $i{ϵ}_2({\partial }_{+}{\psi }_1\cdot {\partial }_{-}X+{\partial }_{+}X\cdot {\partial }_{-}{\psi }_1)$, while the fermionic variation is $-i{ϵ}_2{\partial }_{-}X\cdot {\partial }_{+}{\psi }_1+i{ϵ}_2{\psi }_1\cdot {\partial }_{+}{\partial }_{-}X$. Anticommuting the constant parameter past the fermion is essential in the second term. The first terms cancel. The other chiral component works in the same way, giving the chiral proof of rigid worldsheet supersymmetryThus the action is invariant off shell up to a boundary term. The transformation is a genuine supersymmetry: on $X$ its commutator for parameters $ϵ,\zeta$ is the translationOn $\psi$ the same translation follows using ${\partial }_{+}{\psi }_1=0$ and ${\partial }_{-}{\psi }_2=0$; the remaining cross terms are proportional to these Dirac equations. This is on-shell closure of rigid worldsheet supersymmetry. On a surface with boundary, compatible endpoint conditions must make the boundary flux vanish. On a compact worldsheet, a constant parameter must preserve the spin structure; the local identity alone does not make a constant transformation compatible with every antiperiodic sector.

The fermions contribute to the worldsheet stress-energy tensor and produce a fermionic superconformal current. In holomorphic normalization with ${\psi }^{\mu }(z){\psi }^{\nu }(w)\sim {\eta }^{\mu \nu }/(z-w)$,The free-field contractions give $G(z)G(w)\sim (2c/3)/(z-w{)}^3+2T(w)/(z-w)$ and conformal weight $3/2$ for $G$, where $c=D+D/2=3D/2$. Consequently the modes obey the N=1 super-Virasoro algebraDropping the central terms gives the classical graded constraint algebra. Integer $r$ gives the Ramond sector; half-integer $r$ gives the Neveu–Schwarz sector. In the displayed conformal-plane convention $G_0^2=L_0-c/24$ in the Ramond sector. Shifting to the Ramond vacuum-normal-ordered zero mode gives the usual Ramond supercurrent zero-mode square $G_0^2=L_0^{(R)}$.

Rigid symmetry of matter already supplies these currents, but promoting their vanishing to new gauge constraints requires coupling to worldsheet supergravity and varying its worldsheet gravitino. In superconformal gauge one retains $T=G=0$. The fermionic current constraints and their physical-state conditions extend the bosonic Virasoro conditions. The ghost charges are $-26+11=-15$, so cancellation with $3D/2$ gives the critical dimension of the RNS superstring $D=10$; the NS and Ramond intercepts are respectively $1/2$ and zero. This distinguishes the global supersymmetry established above from its locally gauged string completion.

Take ${\eta }^{\alpha \beta }=\mathrm{diag}(-1,1)$ with coordinate zero equal to $\tau$ and coordinate one to $\sigma$. In the supplied representation setThey satisfy the Clifford algebra $\{{\rho }^{\alpha },{\rho }^{\beta }\}=2{\eta }^{\alpha \beta }1$. For anticommuting spinor components and an ordinary matrix $B$, relabelling the two summed indices givesNow $C^T=-C$, whereas $C{\rho }^0=-1$ and $C{\rho }^1=\mathrm{diag}(-1,1)$ are symmetric. Therefore the Majorana Grassmann bilinear interchange yieldsThese signs require fermionic, Grassmann-odd fields; commuting spinors would have the opposite interchange signs.

In flat conformal gauge, suppress the common factor $(4\pi {\alpha }^{\prime }{)}^{-1}$ and write the combined density as $\mathcal{L}=-{\partial }_{\alpha }X\cdot {\partial }^{\alpha }X+\bar{\psi }\cdot {\rho }^{\alpha }{\partial }_{\alpha }\psi$. The supersymmetry variation including its odd parameter is an even derivation. From $({\rho }^{\alpha }{)}^{T}C=-C{\rho }^{\alpha }$ we obtainAlso $(C{\rho }^{\alpha }{\rho }^{\beta }{)}^T=-C{\rho }^{\beta }{\rho }^{\alpha }$, so interchanging odd spinors gives $\bar{\chi }{\rho }^{\alpha }{\rho }^{\beta }ϵ=\overline{ϵ}{\rho }^{\beta }{\rho }^{\alpha }\chi$. The two density variations, with target contractions understood, are thereforeIn the second term the symmetric second derivative annihilates the antisymmetric part of ${\rho }^{\beta }{\rho }^{\alpha }$. Using $2{\eta }^{\alpha \beta }-{\rho }^{\beta }{\rho }^{\alpha }={\rho }^{\alpha }{\rho }^{\beta }$ now gives the exact off-shell identityThus the action is invariant when this boundary flux vanishes and the transformation preserves the field boundary conditions, for example with suitable falloff or compatible supersymmetric endpoint conditions. On a spatial circle, periodic fields admit the constant parameter; antiperiodic fermions with periodic bosons require the local superconformal treatment, since a nonzero constant parameter would make the boson variation antiperiodic. The constant parameter and ordinary derivatives describe rigid supersymmetry in flat gauge; a locally supersymmetric curved-worldsheet formulation includes the worldsheet gravitino. The result is the rigid worldsheet supersymmetry boundary term without using field equations.

For the commutator on $X$, keep the order of the odd parameters:For the fermion, the order is equally important. Moving ${ϵ}_2$ through both odd factors in $({\overline{ϵ}}_1{\partial }_{\alpha }\psi ){ϵ}_2$ incurs two minus signs. ConsequentlyTo check the spinor matrix explicitly, set ${ϵ}_1=(a,b{)}^T$, ${ϵ}_2=(c,d{)}^T$, with all four components anticommuting and monomials ordered $a,b,c,d$. ThenDirect multiplication gives ${\rho }^{\alpha }M+M{\rho }^{\alpha }=2V^{\alpha }1$. HenceVariation of the fermion action gives the Dirac equation ${\rho }^{\alpha }{\partial }_{\alpha }\psi =0$. On this equation the second term vanishes, provingThis is on-shell closure of rigid worldsheet supersymmetry; the action's invariance was off shell, but its fermionic transformation algebra closes in this field content only on shell.

The associated superconformal current is proportional to $\psi \cdot \partial X$, of conformal weight $3/2$. Its fermionic modes $G_r$ extend the stress-tensor generators to the N=1 super-Virasoro algebra:The modes are half-integral in the Neveu–Schwarz sector and integral in the Ramond sector. Their anticommutator giving a Virasoro generator is the conformal-mode counterpart of the translation commutator just derived. Ten coordinate bosons and ten Majorana fermions give matter central charge $c=10+10/2=15$, canceled by the usual reparametrization and superconformal ghosts in the critical RNS string.