Skip to content

Superconformal Algebra and NS/R Sectors

The same local worldsheet theory has two different fermionic state spaces. Neveu–Schwarz fermions have half-integer frequencies on the cylinder; Ramond fermions have integer frequencies and Clifford zero modes. Both realize the same plane superconformal algebra. Their different vacuum weights are essential to making that statement consistent.

We will derive the current algebra and its oscillator representation, then explain why the free Ramond ground state has plane weight D/16D/16 but zero cylinder energy. These are matter-CFT statements. Physical string states also require the constraints, ghosts and projection discussed in the spectrum pages. We use the shared fermion, coordinate and normal-ordering definitions, together with the currents derived on the previous page.

The stress tensor and supercurrent close under OPEs

Section titled “The stress tensor and supercurrent close under OPEs”

The supercurrent contains one fermion and one bosonic derivative. Its self-OPE therefore has a double contraction and two distinct single contractions. Keeping all three explains both the central term and the stress tensor that generates translations.

Let u=z−wu=z-w. Applying Wick’s theorem to the shared current G=i2/α′:ψ⋅∂X:G=i\sqrt{2/\alpha'}:\psi\cdot\partial X: gives

G(z)G(w)∼Du3−2α′u:∂X(z)⋅∂X(w):+1u2:ψ(z)⋅ψ(w):.\begin{aligned} G(z)G(w)\sim{}&\frac{D}{u^3} -\frac{2}{\alpha'u}:\partial X(z)\cdot\partial X(w):\\ &+\frac1{u^2}:\psi(z)\cdot\psi(w):. \end{aligned}

For the first term, the factor i2=−1i^2=-1 multiplies the negative boson contraction −α′ημν/(2u2)-\alpha'\eta^{\mu\nu}/(2u^2) and the fermion contraction ημν/u\eta^{\mu\nu}/u. The target trace is DD, including the timelike component: the two metric factors contract to a Kronecker trace.

The last bilocal has no constant Taylor term. At the same point, the contraction of the antisymmetric normal product :ψμψν::\psi^\mu\psi^\nu: with ημν\eta_{\mu\nu} vanishes. Its first nonzero term is

:ψ(z)⋅ψ(w):=u:∂ψ(w)⋅ψ(w):+O(u2)=−u:ψ⋅∂ψ:(w)+O(u2).:\psi(z)\cdot\psi(w): =u:\partial\psi(w)\cdot\psi(w):+O(u^2) =-u:\psi\cdot\partial\psi:(w)+O(u^2).

It supplies the fermion part of 2T/u2T/u, whereas the other single contraction supplies the boson part. Thus

G(z)G(w)∼2c/3u3+2T(w)u,c=3D2.G(z)G(w)\sim\frac{2c/3}{u^3}+\frac{2T(w)}u, \qquad c=\frac{3D}{2}.

In particular, there is no second-order pole. Missing the first Taylor term of the fermion bilocal would incorrectly remove its stress tensor from the result.

To compute T(z)G(w)T(z)G(w), separate T=TX+TψT=T_X+T_\psi. The boson stress tensor acts only on ∂X\partial X and the fermion stress tensor only on ψ\psi. Their double-pole coefficients are respectively GG and G/2G/2. Their simple poles add by the product rule:

TX(z)G(w)∼G(w)u2+i2/α′:ψ⋅∂2X:(w)u,Tψ(z)G(w)∼G(w)/2u2+i2/α′:∂ψ⋅∂X:(w)u.\begin{aligned} T_X(z)G(w)&\sim\frac{G(w)}{u^2} +\frac{i\sqrt{2/\alpha'}:\psi\cdot\partial^2X:(w)}u,\\ T_\psi(z)G(w)&\sim\frac{G(w)/2}{u^2} +\frac{i\sqrt{2/\alpha'}:\partial\psi\cdot\partial X:(w)}u. \end{aligned}

Consequently, GG is a primary field of weight 3/23/2:

T(z)G(w)∼3G(w)/2u2+∂G(w)u.T(z)G(w)\sim\frac{3G(w)/2}{u^2}+\frac{\partial G(w)}u.

The two stress tensors have no singular mixed OPE. Adding the bosonic and Majorana stress OPEs gives

T(z)T(w)∼c/2u4+2T(w)u2+∂T(w)u.T(z)T(w)\sim\frac{c/2}{u^4} +\frac{2T(w)}{u^2}+\frac{\partial T(w)}u.

Each real boson contributes 11 to cc, and each real Majorana fermion contributes 1/21/2. Together these OPEs define the chiral N=1\mathcal N=1 superconformal algebra. The opposite chirality has its own copy. Kiritsis, section 6.12, develops this algebra and its representations; here the free-field contractions fix its normalization directly.

On the cylinder, the fermion can return with either sign after one spatial circuit. The same choice applies to GG, since ∂X\partial X is periodic in the untwisted directions considered here. In the shared cylinder coordinate, a holomorphic mode e−rwe^{-rw} transforms under w↦w+2πiw\mapsto w+2\pi i by e−2πire^{-2\pi ir}. Therefore

SectorCylinder fermion signFrequencies
Neveu–Schwarz, NS−1-1r∈Z+12r\in\mathbb Z+\tfrac12
Ramond, R+1+1r∈Zr\in\mathbb Z

The cylinder and plane signs are different. Under z=ewz=e^w, the weight-1/21/2 transformation law is

ψcyl(w)=z1/2ψplane(z).\psi_{\rm cyl}(w)=z^{1/2}\psi_{\rm plane}(z).

As σ\sigma increases by 2π2\pi, zz moves counterclockwise around the origin, and the continued square root changes sign. A cylinder NS field is therefore single-valued on the punctured plane, whereas a cylinder R field changes sign around the origin. The latter behavior is created by a spin-field insertion. Its branch cut can be drawn in different places; the monodromy around the endpoint is the invariant information.

The cylinder spin frame reverses the NS and Ramond signs when mapped to the punctured plane

A spatial cylinder circuit becomes a counterclockwise loop under z=ewz=e^w. The factor z1/2z^{1/2} changes sign, so NS cylinder antiperiodicity gives plane single-valuedness, while R cylinder periodicity gives plane monodromy −1-1. The identified cylinder edges and the puncture are topological features; a branch cut is a choice of chart, not a physical boundary. The cuts at τE=0\tau_E=0 and log⁡2\log2 map to radii 11 and 22, drawn at equal scale. The cylinder strip is a schematic coordinate display.

Dividing the cylinder expansion by z1/2z^{1/2} yields

ψμ(z)=∑r∈Z+νψrμz−r−1/2,ν={12,NS,0,R.\psi^\mu(z)=\sum_{r\in\mathbb Z+\nu}\psi_r^\mu z^{-r-1/2}, \qquad \nu=\begin{cases}\tfrac12,&\mathrm{NS},\\0,&\mathrm{R}. \end{cases}

The same reasoning gives G(z)=∑rGrz−r−3/2G(z)=\sum_rG_rz^{-r-3/2}. Although the conformal weight is now 3/23/2, its Jacobian also changes sign after one circuit. The stress tensor remains integer-moded:

T(z)=∑m∈ZLmz−m−2.T(z)=\sum_{m\in\mathbb Z}L_m z^{-m-2}.

For an open string with uniform untwisted endpoint gluing, doubling leaves one chiral mode family; the relative endpoint sign selects NS or R. Closed strings admit separate left and right labels: NS–NS, NS–R, R–NS and R–R. A consistent physical theory still requires level matching and a projection. Detailed massless tensor and spinor content does not follow from the four labels alone.

The local algebra exists in either sector. It does not imply that a constant supersymmetry parameter is globally allowed in every cylinder spin frame. That distinction is the same one encountered in the boundary discussion on the previous page.

Graded contours give the super-Virasoro algebra

Section titled “Graded contours give the super-Virasoro algebra”

The contour definitions invert the mode expansions:

Lm=∮0dz2πi zm+1T(z),Gr=∮0dz2πi zr+1/2G(z).L_m=\oint_0\frac{dz}{2\pi i}\,z^{m+1}T(z), \qquad G_r=\oint_0\frac{dz}{2\pi i}\,z^{r+1/2}G(z).

We use counterclockwise holomorphic contours. The difference of the two radial orderings is deformed to a small contour around the other insertion, as in the Virasoro derivation. Because GG is odd, exchanging the two insertions supplies the sign needed for an anticommutator:

{Gr,Gs}=∮0dw2πi ws+1/2∮wdz2πi zr+1/2G(z)G(w).\{G_r,G_s\} =\oint_0\frac{dw}{2\pi i}\,w^{s+1/2} \oint_w\frac{dz}{2\pi i}\,z^{r+1/2}G(z)G(w).

The local zz contour already represents the whole graded bracket. Adding a second expression with rr and ss exchanged would double-count it.

In the R sector, the individual factors zr+1/2z^{r+1/2} and G(z)G(z) have a branch, but their product is single-valued around the Ramond insertion. For the small contour around w≠0w\ne0, expand both using one local branch. The cubic pole contributes

2c312!∂w2wr+1/2=c3(r2−14)wr−3/2.\frac{2c}{3}\frac1{2!}\partial_w^2w^{r+1/2} =\frac c3\left(r^2-\frac14\right)w^{r-3/2}.

The outer integral picks out r+s=0r+s=0. The simple pole contributes 2Lr+s2L_{r+s}. Thus

{Gr,Gs}=2Lr+s+c3(r2−14)δr+s,0.\{G_r,G_s\}=2L_{r+s} +\frac c3\left(r^2-\frac14\right)\delta_{r+s,0}.

For the mixed bracket, the double and simple TG poles give

[Lm,Gr]=∮0dw2πi wr+1/2[32(m+1)wmG+wm+1∂G]=(m2−r)Gm+r.\begin{aligned} [L_m,G_r] &=\oint_0\frac{dw}{2\pi i}\,w^{r+1/2} \left[\frac32(m+1)w^mG+w^{m+1}\partial G\right]\\ &=\left(\frac m2-r\right)G_{m+r}. \end{aligned}

The second line follows by integrating the derivative term by parts. Its coefficient is −(m+r+3/2)-(m+r+3/2), which combines with 3(m+1)/23(m+1)/2. The TT fourth-order pole similarly gives the third derivative of wm+1w^{m+1} and hence

[Lm,Ln]=(m−n)Lm+n+c12(m3−m)δm+n,0.[L_m,L_n]=(m-n)L_{m+n} +\frac c{12}(m^3-m)\delta_{m+n,0}.

These three formulas have the same plane central terms in NS and R. Only the allowed supercurrent labels differ.

The fermion algebra follows from the same graded contour argument applied to its simple OPE pole:

{ψrμ,ψsν}=ημν∮0dw2πi ws−1/2wr−1/2=ημνδr+s,0.\begin{aligned} \{\psi_r^\mu,\psi_s^\nu\} &=\eta^{\mu\nu}\oint_0\frac{dw}{2\pi i}\, w^{s-1/2}w^{r-1/2}\\ &=\eta^{\mu\nu}\delta_{r+s,0}. \end{aligned}

A negative label creates an excitation above the appropriate oscillator vacuum; a positive label annihilates it. Integer moding leaves additional r=0r=0 operators, whose role is different from either.

Oscillator currents and the finite plane shift

Section titled “Oscillator currents and the finite plane shift”

Substituting the bosonic oscillator expansion into GG cancels its two square-root factors and its phases:

(i2α′)(−iα′2)=1,Gr=∑n∈Zαn⋅ψr−n.\left(i\sqrt{\frac2{\alpha'}}\right) \left(-i\sqrt{\frac{\alpha'}2}\right)=1, \qquad G_r=\sum_{n\in\mathbb Z}\alpha_n\cdot\psi_{r-n}.

There is no mixed boson–fermion contraction to subtract. For TψT_\psi, differentiating a mode z−r−1/2z^{-r-1/2} first produces (r+1/2)/2(r+1/2)/2. At fixed total mode number mm, antisymmetrizing the two fermions replaces this by

14[(r+12)−(m−r+12)]=2r−m4.\frac14\left[(r+\tfrac12)-(m-r+\tfrac12)\right] =\frac{2r-m}{4}.

Write :⋯:osc:\cdots:_{\rm osc} for positive-frequency oscillator ordering in the chosen sector, keeping R zero modes as Clifford operators. Then

Lmosc=12∑n∈Z:αm−n⋅αn:osc+14∑r∈Z+ν(2r−m):ψm−r⋅ψr:osc.\begin{aligned} L_m^{\rm osc}={}&\frac12\sum_{n\in\mathbb Z} :\alpha_{m-n}\cdot\alpha_n:_{\rm osc}\\ &+\frac14\sum_{r\in\mathbb Z+\nu}(2r-m) :\psi_{m-r}\cdot\psi_r:_{\rm osc}. \end{aligned}

This bilinear is not automatically the plane generator. The ordinary colons in the local stress tensor subtract the plane OPE singularity. Oscillator ordering subtracts the contraction appropriate to the sector vacuum. Their finite difference can affect the zero mode:

Lm=Lmosc+hνδm,0.L_m=L_m^{\rm osc}+h_\nu\delta_{m,0}.

Here hνh_\nu is the plane weight of the zero-momentum oscillator ground state. The NS identity vacuum has hNS=0h_{\rm NS}=0; we will derive the R value shortly. This distinction also translates the sector-dependent oscillator central terms found in Weigand, sections 6.4.3–6.4.4, into the common plane algebra above.

Let qμq^\mu be the dimensionless eigenvalue of α0μ\alpha_0^\mu. Combining positive and negative frequencies at m=0m=0 gives

L0=12q2+N+hν,N=∑n=1∞α−n⋅αn+∑r>0r ψ−r⋅ψr.L_0=\frac12q^2+N+h_\nu, \qquad N=\sum_{n=1}^{\infty}\alpha_{-n}\cdot\alpha_n +\sum_{r>0}r\,\psi_{-r}\cdot\psi_r.

The bosonic frequency is already contained in [αn,α−n]=n[\alpha_n,\alpha_{-n}]=n. In particular, α−n\alpha_{-n} raises the level by nn, and ψ−r\psi_{-r} raises it by rr. For a doubled open string q=2α′ pq=\sqrt{2\alpha'}\,p; for either unwound noncompact closed chirality q=α′/2 pq=\sqrt{\alpha'/2}\,p. The zero-mode factor must be chosen for the string under discussion before converting a level to a mass.

A superprimary state ∣h⟩|h\rangle in NS obeys

L0∣h⟩=h∣h⟩,Ln>0∣h⟩=0,Gr>0∣h⟩=0.L_0|h\rangle=h|h\rangle, \qquad L_{n>0}|h\rangle=0, \qquad G_{r>0}|h\rangle=0.

Its first partner is ∣χ⟩=G−1/2∣h⟩|\chi\rangle=G_{-1/2}|h\rangle. Since [L0,G−1/2]=G−1/2/2[L_0,G_{-1/2}]=G_{-1/2}/2, its weight is h+1/2h+1/2. For every integer n>0n>0,

Ln∣χ⟩=n+12Gn−1/2∣h⟩=0.L_n|\chi\rangle =\frac{n+1}{2}G_{n-1/2}|h\rangle=0.

Thus a nonzero partner is itself a Virasoro primary. It is generally not a superprimary, because

G1/2∣χ⟩=2h∣h⟩,G−1/2∣χ⟩=L−1∣h⟩.G_{1/2}|\chi\rangle=2h|h\rangle, \qquad G_{-1/2}|\chi\rangle=L_{-1}|h\rangle.

The second identity uses G−1/22=L−1G_{-1/2}^2=L_{-1}. Under state–operator correspondence, L−1L_{-1} produces the ordinary derivative of the inserted field. Two odd lowering operations therefore give a translation descendant, rather than a second independent primary.

An NS superprimary and its partner are connected by odd modes whose square produces a derivative descendant

The states have weights hh, h+1/2h+1/2 and h+1h+1. The first G−1/2G_{-1/2} image is Virasoro-primary, but its G1/2G_{1/2} image is 2h∣h⟩2h|h\rangle, so it is generally not superprimary. The second lowering gives L−1∣h⟩L_{-1}|h\rangle. Arrows denote exact operator actions, not transition probabilities; a vanishing or null state must be treated separately. The placement is schematic.

With the radial adjoint Gr†=G−rG_r^\dagger=G_{-r} and a normalized parent, the partner has norm

⟨χ∣χ⟩=⟨h∣G1/2G−1/2∣h⟩=2h.\langle\chi|\chi\rangle =\langle h|G_{1/2}G_{-1/2}|h\rangle=2h.

In a positive-norm unitary representation this implies h≥0h\geq0. Covariant matter with a timelike oscillator is not such a Hilbert space, so one must not apply the positivity conclusion to all of its states. Exercise 2 gives a nonzero null partner.

The identity state obeys stronger regularity conditions than a generic superprimary:

Ln∣0⟩NS=0(n≥−1),Gr∣0⟩NS=0(r≥−12).L_n|0\rangle_{\rm NS}=0\quad(n\geq-1), \qquad G_r|0\rangle_{\rm NS}=0\quad(r\geq-\tfrac12).

Indeed, T(z)∣0⟩T(z)|0\rangle and G(z)∣0⟩G(z)|0\rangle cannot have a pole at an origin with no insertion. The five modes L−1,L0,L1,G−1/2,G1/2L_{-1},L_0,L_1,G_{-1/2},G_{1/2} close without central terms and form the global osp(1∣2)\mathfrak{osp}(1|2) algebra. This plane statement does not assert the existence of a constant cylinder supersymmetry parameter in NS.

Ramond zero modes fix the free ground-state weight

Section titled “Ramond zero modes fix the free ground-state weight”

In R, the zero-frequency fermions satisfy

{ψ0μ,ψ0ν}=ημν,Γμ=2 ψ0μ,{Γμ,Γν}=2ημν.\{\psi_0^\mu,\psi_0^\nu\}=\eta^{\mu\nu}, \qquad \Gamma^\mu=\sqrt2\,\psi_0^\mu, \qquad \{\Gamma^\mu,\Gamma^\nu\}=2\eta^{\mu\nu}.

They act on a Clifford ground-state space. No nonzero vector is annihilated by every real orthonormal zero mode: each such mode has a nonzero scalar square. A complex combination can be an annihilator, however, as exercise 3 demonstrates. The Clifford components have not yet been reduced by physical constraints, reality conditions or GSO projection.

Setting r=s=0r=s=0 in the plane superalgebra gives

G02=L0−c24.G_0^2=L_0-\frac c{24}.

On an oscillator ground state ∣q,u⟩R|q,u\rangle_{\rm R}, every nonzero-mode term in G0=∑nαn⋅ψ−nG_0=\sum_n\alpha_n\cdot\psi_{-n} annihilates the state. Hence

G0∣q,u⟩R=q⋅ψ0∣q,u⟩R,(q⋅ψ0)2=12q2.G_0|q,u\rangle_{\rm R}=q\cdot\psi_0|q,u\rangle_{\rm R}, \qquad (q\cdot\psi_0)^2=\frac12q^2.

Comparing with L0=q2/2+hRL_0=q^2/2+h_{\rm R} determines

hR=c24=D16,Lm=Lmosc+D16δm,0in R.h_{\rm R}=\frac c{24}=\frac D{16}, \qquad L_m=L_m^{\rm osc}+\frac D{16}\delta_{m,0} \quad\text{in R}.

The spin field that creates the zero-momentum R ground state therefore has plane weight D/16D/16. Exercise 4 independently derives the weight 1/161/16 of each real fermion from its mode-summed two-point function and point splitting. The zero-momentum bosons add no plane weight.

For a general unitary Ramond representation, the adjoint instead gives the bound

∥G0∣h⟩∥2=(h−c24)∥∣h⟩∥2,h≥c24.\|G_0|h\rangle\|^2 =\left(h-\frac c{24}\right)\||h\rangle\|^2, \qquad h\geq\frac c{24}.

It does not prove that a saturating state exists. When h>c/24h>c/24 and there is a fermion-parity grading that anticommutes with G0G_0, the normalized operator G0/h−c/24G_0/\sqrt{h-c/24} pairs even and odd states at the same weight. At equality, G0G_0 annihilates the state; it does not fix how many such ground states there are. The free calculation above establishes saturation at q=0q=0 in this theory. Neither a universal ground-state multiplicity nor a positivity theorem for covariant timelike matter follows.

The finite stress-tensor transformation under z=ewz=e^w gives

Tcyl(w)=z2T(z)−c24,Ln=Ln−c24δn,0.T_{\rm cyl}(w)=z^2T(z)-\frac c{24}, \qquad \mathcal L_n=L_n-\frac c{24}\delta_{n,0}.

This is a coordinate-induced subtraction common to both sectors. It is different from choosing the oscillator ground state in the definition of LnoscL_n^{\rm osc}. The zero-momentum values for DD free coordinate multiplets are

SectorPlane weight hνh_\nuCylinder energy hν−c/24h_\nu-c/24
NS00−D/16-D/16
RD/16D/1600

The same cylinder subtraction maps different NS and Ramond plane weights to their vacuum energies

Per free zero-momentum coordinate multiplet, c=3/2c=3/2 and the common shift is −c/24=−1/16-c/24=-1/16. NS changes from plane weight 00 to cylinder energy −1/16-1/16; R changes from 1/161/16 to 00. Multiply by DD for the covariant matter theory. Physical transverse intercepts instead use D−2D-2 multiplets after constraints have been imposed; they are not the plane Ramond weight. The vertical levels are equally spaced in units of 1/161/16; horizontal placement only separates the two descriptions.

The central polynomials also change when expressed in cylinder generators. In the LL bracket, the extra zero-mode term is (m−n)cδm+n,0/24=cmδm+n,0/12(m-n)c\delta_{m+n,0}/24=cm\delta_{m+n,0}/12; it cancels the linear part of the plane cocycle. In the GG bracket, it is cδr+s,0/12c\delta_{r+s,0}/12, which cancels the constant part. Therefore

[Lm,Ln]=(m−n)Lm+n+c12m3δm+n,0,{Gr,Gs}=2Lr+s+c3r2δr+s,0.\begin{aligned} [\mathcal L_m,\mathcal L_n] &=(m-n)\mathcal L_{m+n}+\frac c{12}m^3\delta_{m+n,0},\\ \{G_r,G_s\} &=2\mathcal L_{r+s}+\frac c3r^2\delta_{r+s,0}. \end{aligned}

The mixed bracket is unchanged. In particular, G02=L0G_0^2=\mathcal L_0 in R. The negative NS cylinder vacuum energy presents no contradiction: there is no NS mode G0G_0 whose square would equal that energy.

A common regulator derives the vacuum energies

Section titled “A common regulator derives the vacuum energies”

For each bosonic oscillator of frequency nn, the zero-point contribution is +n/2+n/2. For a real fermionic oscillator it is −r/2-r/2, as follows from replacing an ordered pair by its anticommutator. Use the same exponential cutoff in both sums:

SB(ϵ)=∑n=1∞ne−ϵn=e−ϵ(1−e−ϵ)2,SNS(ϵ)=∑j=0∞(j+12)e−ϵ(j+1/2)=e−ϵ/2[12(1−e−ϵ)+e−ϵ(1−e−ϵ)2].\begin{aligned} S_B(\epsilon)&=\sum_{n=1}^\infty ne^{-\epsilon n} =\frac{e^{-\epsilon}}{(1-e^{-\epsilon})^2},\\ S_{NS}(\epsilon)&=\sum_{j=0}^\infty(j+\tfrac12)e^{-\epsilon(j+1/2)}\\ &=e^{-\epsilon/2}\left[ \frac1{2(1-e^{-\epsilon})} +\frac{e^{-\epsilon}}{(1-e^{-\epsilon})^2}\right]. \end{aligned}

Their small-cutoff expansions are

SB=ϵ−2−112+O(ϵ2),SNS=ϵ−2+124+O(ϵ2).S_B=\epsilon^{-2}-\frac1{12}+O(\epsilon^2), \qquad S_{NS}=\epsilon^{-2}+\frac1{24}+O(\epsilon^2).

The common divergent terms cancel in the boson–fermion pair, leaving

E0,pairNS=lim⁡ϵ→012(SB−SNS)=−116.E_{0,\rm pair}^{NS} =\lim_{\epsilon\to0}\frac12(S_B-S_{NS})=-\frac1{16}.

The R fermion uses the same integer frequencies as the boson, so their regulated energies cancel for every ϵ\epsilon. Its zero mode has zero frequency and contributes no energy. Equivalently, the finite boson term is −1/24-1/24, the NS fermion term −1/48-1/48, and the R fermion term +1/24+1/24.

These numbers also resolve a useful apparent mismatch. The fermions alone have cψ=D/2c_\psi=D/2 and R plane weight D/16D/16, so their cylinder energy is D/16−D/48=D/24D/16-D/48=D/24. It is the bosonic cylinder contribution −D/24-D/24 that makes the complete R matter vacuum energy zero.

From transverse vacuum energy to a string mass

Section titled “From transverse vacuum energy to a string mass”

For the critical flat RNS string, light-cone constraints remove two bosonic and two fermionic directions, leaving d⊥=D−2d_\perp=D-2 transverse multiplets. The physical intercept is minus their vacuum energy:

aNS=d⊥16,aR=0.a_{NS}=\frac{d_\perp}{16}, \qquad a_R=0.

With the reparametrization and superconformal ghosts, central-charge cancellation requires matter c=15c=15 per chirality. For precisely DD free flat coordinate multiplets and no extra internal CFT or dilaton background charge, this gives D=10D=10, hence aNS=1/2a_{NS}=1/2. The critical open-string transverse mass formulas are then

α′MNS2=N−12,α′MR2=N.\alpha'M^2_{NS}=N-\frac12, \qquad \alpha'M^2_R=N.

They are not obtained by inserting the covariant plane weight D/16D/16 as an intercept. In the covariant description, the positive matter-mode conditions are only part of the physical-state construction: a mass-shell condition, the R zero-mode constraint, and the ghost or equivalent null-state quotient are also needed. GSO projection and closed-sector pairing are further choices. The next page develops the open spectrum; exercise 6 illustrates what level matching already tells us before projection.

1. Current modes act on elementary oscillators

Section titled “1. Current modes act on elementary oscillators”

Derive the actions of LmL_m and GrG_r on ψs\psi_s and αn\alpha_n from local OPEs. Verify the graded Jacobi identity with two supercurrent modes acting on a fermion oscillator.

Solution

The fermion stress OPE is T(z)ψμ(w)∼ψμ/(2u2)+∂ψμ/uT(z)\psi^\mu(w)\sim\psi^\mu/(2u^2)+\partial\psi^\mu/u. Its residue with zm+1z^{m+1} is (m+1)wmψμ/2+wm+1∂ψμ(m+1)w^m\psi^\mu/2+w^{m+1}\partial\psi^\mu. Multiplying by ws−1/2w^{s-1/2} and integrating the derivative by parts gives

[Lm,ψsμ]=−(s+m/2)ψm+sμ.[L_m,\psi_s^\mu]=-(s+m/2)\psi_{m+s}^\mu.

The elementary supercurrent OPEs from Wick contraction are

G(z)ψμ(w)∼i2/α′ ∂Xμ(w)u,G(z)∂Xμ(w)∼−iα′/2[ψμ(w)u2+∂ψμ(w)u].\begin{aligned} G(z)\psi^\mu(w)&\sim\frac{i\sqrt{2/\alpha'}\,\partial X^\mu(w)}u,\\ G(z)\partial X^\mu(w)&\sim-i\sqrt{\alpha'/2} \left[\frac{\psi^\mu(w)}{u^2}+\frac{\partial\psi^\mu(w)}u\right]. \end{aligned}

For the first OPE, the factor in ∂X=−iα′/2∑nαnz−n−1\partial X=-i\sqrt{\alpha'/2}\sum_n\alpha_nz^{-n-1} cancels the displayed phase and normalization, yielding

{Gr,ψsμ}=αr+sμ.\{G_r,\psi_s^\mu\}=\alpha_{r+s}^\mu.

For the second, use αnμ=i2/α′∮dw wn∂Xμ/(2πi)\alpha_n^\mu=i\sqrt{2/\alpha'}\oint dw\,w^n\partial X^\mu/(2\pi i). The double pole gives (r+1/2)wr−1/2ψ(r+1/2)w^{r-1/2}\psi, and the derivative term, after the outer integration by parts, gives −(n+r+1/2)wr+n−1/2ψ-(n+r+1/2)w^{r+n-1/2}\psi. Their sum is

[Gr,αnμ]=−nψr+nμ.[G_r,\alpha_n^\mu]=-n\psi_{r+n}^\mu.

Now evaluate the graded Jacobi identity on ψt\psi_t:

[Gr,{Gs,ψt}]+[Gs,{Gr,ψt}]=−(s+t)ψr+s+t−(r+t)ψr+s+t=−(r+s+2t)ψr+s+t.\begin{aligned} [G_r,\{G_s,\psi_t\}]+[G_s,\{G_r,\psi_t\}] &=-(s+t)\psi_{r+s+t}-(r+t)\psi_{r+s+t}\\ &=-(r+s+2t)\psi_{r+s+t}. \end{aligned}

On the other hand, [{Gr,Gs},ψt]=2[Lr+s,ψt][\{G_r,G_s\},\psi_t]=2[L_{r+s},\psi_t] has precisely this value; the central term commutes with the oscillator. Treating either mixed odd bracket as an ordinary commutator would destroy this identity.

Let ∣q⟩|q\rangle be the no-oscillator NS state with real dimensionless momentum α0=q\alpha_0=q. Construct its first two superdescendants and calculate the first norm. Compare zero momentum with nonzero null momentum. Determine when ζ⋅ψ−1/2∣q⟩\zeta\cdot\psi_{-1/2}|q\rangle is superprimary.

Solution

All positive modes annihilate ∣q⟩|q\rangle, and its weight is h=q2/2h=q^2/2. The only surviving term in the first action is

∣χ⟩=G−1/2∣q⟩=q⋅ψ−1/2∣q⟩.|\chi\rangle=G_{-1/2}|q\rangle =q\cdot\psi_{-1/2}|q\rangle.

Using the oscillator action from exercise 1,

G−1/2∣χ⟩=q⋅α−1∣q⟩−q⋅ψ−1/2 q⋅ψ−1/2∣q⟩=q⋅α−1∣q⟩=L−1∣q⟩.\begin{aligned} G_{-1/2}|\chi\rangle &=q\cdot\alpha_{-1}|q\rangle -q\cdot\psi_{-1/2}\,q\cdot\psi_{-1/2}|q\rangle\\ &=q\cdot\alpha_{-1}|q\rangle=L_{-1}|q\rangle. \end{aligned}

The square of the same negative-frequency fermion combination vanishes. With the momentum delta function stripped from the parent normalization,

⟨χ∣χ⟩=qμqνημν=q2=2h.\langle\chi|\chi\rangle =q_\mu q_\nu\eta^{\mu\nu}=q^2=2h.

For q=0q=0, the partner is the zero vector. For qμ=(λ,λ,0,…)q^\mu=(\lambda,\lambda,0,\ldots) with real nonzero λ\lambda, it is instead

∣χ⟩=λ(−ψ−1/20+ψ−1/21)∣q⟩.|\chi\rangle=\lambda(-\psi_{-1/2}^0+\psi_{-1/2}^1)|q\rangle.

The two basis excitations are independent, so this vector is nonzero, but its norm vanishes. Covariant Lorentzian matter is indefinite; the vector’s existence does not contradict a positive-norm representation theorem. No physical cohomology statement has been inferred solely from this zero norm.

For ∣ζ;q⟩=ζ⋅ψ−1/2∣q⟩|\zeta;q\rangle=\zeta\cdot\psi_{-1/2}|q\rangle, all positive LnL_n annihilate the state, since their resulting fermion label is n−1/2>0n-1/2>0. The only potentially nonzero positive supercurrent action is

G1/2∣ζ;q⟩=(q⋅ζ)∣q⟩.G_{1/2}|\zeta;q\rangle=(q\cdot\zeta)|q\rangle.

Higher GrG_r give positive boson modes. Thus q⋅ζ=0q\cdot\zeta=0 is exactly the superprimary condition at this level, with weight q2/2+1/2q^2/2+1/2. Mass shell and the physical quotient are additional conditions.

3. Clifford ground states and Ramond shortening

Section titled “3. Clifford ground states and Ramond shortening”

Consider a toy matter theory of two positive-metric coordinate multiplets. Represent its zero modes by ψ01=σ1/2\psi_0^1=\sigma_1/\sqrt2 and ψ02=σ2/2\psi_0^2=\sigma_2/\sqrt2. Construct a complex annihilator, calculate G0G_0 at momentum qq, and determine what the saturation of the Ramond bound says about multiplicity.

Solution

The Pauli matrices anticommute and square to one, so the required zero-mode anticommutators hold. Define

b=ψ01+iψ022=(0100),b†=(0010).b=\frac{\psi_0^1+i\psi_0^2}{\sqrt2} =\begin{pmatrix}0&1\\0&0\end{pmatrix}, \qquad b^\dagger=\begin{pmatrix}0&0\\1&0\end{pmatrix}.

Then b2=0b^2=0, {b,b†}=1\{b,b^\dagger\}=1, and b(1,0)T=0b(1,0)^{\mathsf T}=0. This does not contradict the absence of a vector annihilated by both real zero modes. The ground space has two basis states, and the parity operator can be taken to be P=σ3P=\sigma_3.

The supercurrent zero mode is

G0=12(0q1−iq2q1+iq20),G02=q12+q222 1.G_0=\frac1{\sqrt2} \begin{pmatrix}0&q_1-iq_2\\q_1+iq_2&0\end{pmatrix}, \qquad G_0^2=\frac{q_1^2+q_2^2}{2}\,\mathbf1.

Here c=3c=3, and the free R ground-state plane weight is

h=q12+q222+18.h=\frac{q_1^2+q_2^2}{2}+\frac18.

For nonzero real qq, G0/h−c/24G_0/\sqrt{h-c/24} is an involution interchanging the two parity states. At q=0q=0, both states saturate h=c/24=1/8h=c/24=1/8, and G0G_0 is the zero matrix on the entire two-dimensional space. The unitary bound removes the nontrivial G0G_0 pairing at saturation; it does not remove one of the two states or establish a unique ground state. This positive-metric toy calculation does not count ten-dimensional physical fermion polarizations.

4. Recover the spin-field weight by point splitting

Section titled “4. Recover the spin-field weight by point splitting”

For one real fermion, sum the radially ordered R ground-state kernel using positive integer modes and the zero-mode value ψ02=1/2\psi_0^2=1/2. Obtain the plane expectation of TψT_\psi. Compare with NS and with the incorrect omission of the R zero mode.

Solution

For ∣z∣>∣w∣|z|>|w| and a consistent local square-root branch, the integer modes give

KR(z,w)=1zw[12+∑n=1∞(wz)n]=z+w2zw(z−w).\begin{aligned} K_R(z,w) &=\frac1{\sqrt{zw}}\left[\frac12+\sum_{n=1}^\infty\left(\frac wz\right)^n\right]\\ &=\frac{z+w}{2\sqrt{zw}(z-w)}. \end{aligned}

In NS the corresponding sum starts at r=1/2r=1/2 and has no zero mode:

KNS(z,w)=1zw∑j=0∞(wz)j+1/2=1z−w.K_{NS}(z,w)=\frac1{\sqrt{zw}}\sum_{j=0}^\infty \left(\frac wz\right)^{j+1/2}=\frac1{z-w}.

Set u=z−wu=z-w only after specifying the derivative operation. Expanding the R kernel locally,

KR−1u=u8w2−u28w3+O(u3).K_R-\frac1u=\frac{u}{8w^2}-\frac{u^2}{8w^3}+O(u^3).

The stress tensor differentiates the second insertion at fixed z, so ∂wu=−1\partial_w u=-1. It follows that

⟨Tψ(w)⟩R=−12lim⁡z→w∂w[KR(z,w)−1z−w]=116w2.\begin{aligned} \langle T_\psi(w)\rangle_R &=-\frac12\lim_{z\to w}\partial_w\left[K_R(z,w)-\frac1{z-w}\right]\\ &=\frac1{16w^2}. \end{aligned}

The NS expectation is zero. The coefficient of w−2w^{-2} therefore gives hR=1/16h_R=1/16 for each real fermion, and D/16D/16 for the full spin field. In a multi-component spin state, antisymmetric zero-mode expectations can depend on the spin polarization, but their trace does not enter TψT_\psi.

If the zero mode were omitted, the kernel would be KR−1/(2zw)K_R-1/(2\sqrt{zw}). The derivative of the omitted term at coincidence is −1/(4w2)-1/(4w^2); consequently the incorrect stress coefficient would be 1/16−1/8=−1/161/16-1/8=-1/16. Omitting the local singular subtraction instead leaves a divergent coincidence limit. Differentiating at fixed uu, rather than fixed zz, would also miss the finite 1/161/16 contribution. These are different errors, despite beginning from the same formal mode sum.

5. Restore a dimensionful cylinder circumference

Section titled “5. Restore a dimensionful cylinder circumference”

Let the auxiliary worldsheet cylinder have spatial circumference LL, with dimensionful coordinate wLw_L. Map it to the plane by z=exp⁡(2πwL/L)z=\exp(2\pi w_L/L). Derive the closed-string worldsheet Hamiltonian for two equal central charges cc, and calculate its NS–NS and free R–R vacuum energies. Explain the relation to the regulated chiral sums.

Solution

Translation by Euclidean time tt multiplies the plane radius by e2πt/Le^{2\pi t/L}. Plane dilatation therefore contributes (2π/L)(L0+L~0)(2\pi/L)(L_0+\widetilde L_0) to the Hamiltonian. The Schwarzian derivative of the exponential subtracts c/24c/24 in each chirality:

Hws=2πL(L0+L~0−c12).H_{\rm ws}=\frac{2\pi}{L} \left(L_0+\widetilde L_0-\frac c{12}\right).

For the NS–NS identity vacuum, both plane weights vanish, so

ENS–NS=−πc6L.E_{NS\text{–}NS}=-\frac{\pi c}{6L}.

For two free zero-momentum R ground states, each plane weight is c/24c/24, and ER–R=0E_{R\text{–}R}=0. For example, one coordinate multiplet in each chirality has c=3/2c=3/2, giving ENS–NS=−π/(4L)E_{NS\text{–}NS}=-\pi/(4L).

The dimensionful oscillator frequencies are 2πn/L2\pi n/L or 2πr/L2\pi r/L. Regulating them by e−ℓωe^{-\ell\omega} amounts to the dimensionless cutoff ϵ=2πℓ/L\epsilon=2\pi\ell/L. Thus a chiral boson–fermion pair has finite energy (2π/L)(−1/16)(2\pi/L)(-1/16) in NS and zero in R, exactly reproducing the two-chirality result. The cancellation and finite term require a common frequency regulator.

These energies scale as inverse worldsheet length. They are energies associated with an auxiliary worldsheet metric; they are not spacetime masses and should not be inserted directly into a target-space dispersion relation. The open mass formula follows after constraints and the zero-mode normalization have been used.

6. Unprojected levels and mixed-sector matching

Section titled “6. Unprojected levels and mixed-sector matching”

Count the first few levels of eight transverse coordinate multiplets before GSO projection. Find the NS multiplicities at N=0,1/2,1,3/2N=0,1/2,1,3/2 and the R multiplicities at N=0,1N=0,1. Then impose level matching for an unwound noncompact NS–R closed string at D=10D=10.

Solution

Use a formal counting variable tt, with each excitation contributing tNt^N. Bosons have unrestricted occupation while each fermionic oscillator is either occupied or empty:

ZNSosc(t)=∏n=1∞(1+tn−1/2)8(1−tn)8=1+8t1/2+36t+128t3/2+⋯ .Z_{NS}^{\rm osc}(t) =\prod_{n=1}^\infty\frac{(1+t^{n-1/2})^8}{(1-t^n)^8} =1+8t^{1/2}+36t+128t^{3/2}+\cdots.

At N=1/2N=1/2 there are eight choices of ψ−1/2i\psi_{-1/2}^i. At N=1N=1 there are eight α−1i\alpha_{-1}^i states and (82)=28\binom82=28 pairs of distinct fermions. At N=3/2N=3/2, the possibilities are a single ψ−3/2i\psi_{-3/2}^i, one α−1iψ−1/2j\alpha_{-1}^i\psi_{-1/2}^j, or three distinct ψ−1/2\psi_{-1/2} oscillators. Their counts are 8+64+(83)=1288+64+\binom83=128.

The eight transverse R zero modes form a complex Clifford representation of dimension 28/2=162^{8/2}=16. Above it,

ZRosc(t)=16∏n=1∞(1+tn)8(1−tn)8=16+256t+⋯ .Z_R^{\rm osc}(t) =16\prod_{n=1}^\infty\frac{(1+t^n)^8}{(1-t^n)^8} =16+256t+\cdots.

There are eight bosonic and eight fermionic choices at the first excited level, each acting on all sixteen ground states. This is an unprojected transverse count, not a count after choosing a Weyl/GSO subspace.

The two closed chiral mass-shell conditions are

α′M24=NNS−12=NR.\frac{\alpha'M^2}{4}=N_{NS}-\frac12=N_R.

Since NR≥0N_R\geq0, the NS vacuum at NNS=0N_{NS}=0 cannot occur in this unwound mixed sector. The first allowed pair is (NNS,NR)=(1/2,0)(N_{NS},N_R)=(1/2,0) and is massless; it has 8×16=1288\times16=128 unprojected transverse states for this fixed left–right sector. Projection changes the count and selects the physical type-II spectrum. Momentum/winding asymmetry or twisted internal sectors would modify this elementary matching problem.

  • Kiritsis, Elias. Introduction to Superstring Theory. CERN-TH/97-218, lectures given in 1996–1997; revised March 1998. Section 6.12. arXiv:hep-th/9709062v2.
  • Weigand, Timo. Introduction to String Theory. University of Heidelberg lecture notes, Winter Semester 2011–2012. Sections 6.4.3–6.4.4. Author-hosted lecture notes.