Skip to content

Superstring Vertex Operators and Pictures

A string state is not just a vector in a Hilbert space. In the worldsheet path integral it is represented by a local operator inserted on the surface. This is the state-operator correspondence applied to the conformal field theory of XμX^\mu, ψμ\psi^\mu, the bcbc ghosts, and the βγ\beta\gamma superghosts.

For the bosonic string, the first examples are familiar:

VT=ceikX,VA=cζμXμeikX.V_T=c\,e^{ik\cdot X}, \qquad V_A=c\,\zeta_\mu\partial X^\mu e^{ik\cdot X}.

In the RNS superstring there is one new ingredient that becomes central: the same physical state has many representatives labeled by picture number. A massless open-string gauge boson, for example, may be written in the 1-1 picture as

VA(1)=ceϕζμψμeikX,V_A^{(-1)}=c\,e^{-\phi}\,\zeta_\mu\psi^\mu e^{ik\cdot X},

or in the 00 picture as

VA(0)=ζμ(Xμ+ikνψνψμ)eikX,V_A^{(0)} = \zeta_\mu\left(\partial X^\mu+i k_\nu\psi^\nu\psi^\mu\right)e^{ik\cdot X},

in the common α=2\alpha'=2 CFT normalization. These two operators are not different particles. They are different BRST representatives of the same physical state. The operation that relates them is picture-changing.

This page develops the dictionary systematically. The guiding principle is

physical string statesBRST cohomology classes of vertex operators.\boxed{ \text{physical string states} \quad\Longleftrightarrow\quad \text{BRST cohomology classes of vertex operators}. }

The vertex operator must also have the correct ghost number and picture number for the worldsheet amplitude in which it appears.

Vertex operators as picture-dependent representatives of string states

In the RNS formalism a physical state has several picture representatives. The 1-1 NS and 1/2-1/2 Ramond representatives are often the simplest; picture-changing produces equivalent representatives in other pictures.

The local matter OPEs are normalized as on the previous pages,

Xμ(z)Xν(w)ημνln(zw),ψμ(z)ψν(w)ημνzw,X^\mu(z)X^\nu(w)\sim -\eta^{\mu\nu}\ln(z-w), \qquad \psi^\mu(z)\psi^\nu(w)\sim {\eta^{\mu\nu}\over z-w},

so that the holomorphic matter stress tensor is

Tm=12:XμXμ:12:ψμψμ:.T_{\rm m} =-{1\over2}:\partial X^\mu\partial X_\mu: -{1\over2}:\psi^\mu\partial\psi_\mu:.

For a closed-string chiral factor, this convention gives

h ⁣(eikX)=αk24,h\!\big(e^{ik\cdot X}\big)={\alpha'k^2\over4},

with α=2\alpha'=2 in the displayed OPE. For open-string boundary vertices, the doubling trick gives twice the chiral contraction, and the boundary scaling dimension of the plane wave is

h ⁣(eikX)=αk2.h_{\partial}\!\big(e^{ik\cdot X}\big)=\alpha' k^2.

Since k2=M2k^2=-M^2 in mostly-plus spacetime signature, these formulas reproduce the open-string RNS mass formula

αM2=NNS12\alpha'M^2=N_{\rm NS}-{1\over2}

in the NS sector. For example, the unprojected NS ground-state vertex contains eϕeikXe^{-\phi}e^{ik\cdot X}, whose boundary dimension is

12+αk2.{1\over2}+\alpha'k^2.

Requiring boundary dimension 11 gives αk2=1/2\alpha'k^2=1/2, or αM2=1/2\alpha'M^2=-1/2, the NS tachyon. The GSO projection removes this state in the supersymmetric open string.

Superghost bosonization and picture number

Section titled “Superghost bosonization and picture number”

The commuting superconformal ghosts are bosonized as

β=eϕξ,γ=ηeϕ.\boxed{ \beta=e^{-\phi}\partial\xi, \qquad \gamma=\eta e^\phi. }

Here η\eta and ξ\xi are anticommuting fields of weights 11 and 00, while ϕ\phi is a boson with background charge. The stress tensor of the ϕ\phi system is conventionally written

Tϕ=12:ϕϕ:2ϕ,T_\phi=-{1\over2}:\partial\phi\partial\phi:-\partial^2\phi,

which implies

h(eqϕ)=12q(q+2).\boxed{ h(e^{q\phi})=-{1\over2}q(q+2). }

Several values should become automatic:

factorqheϕ11/2eϕ/21/23/8eϕ13/2\begin{array}{c|c|c} \text{factor} & q & h \\ \hline e^{-\phi} & -1 & 1/2 \\ e^{-\phi/2} & -1/2 & 3/8 \\ e^\phi & 1 & -3/2 \end{array}

The picture number is the charge measured by the zero mode of the picture current. For the simple exponentials above, it is just the exponent qq:

P(eqϕ)=q.P(e^{q\phi})=q.

Thus NS vertices are naturally written in integer pictures, such as 1-1 and 00, while Ramond vertices are naturally written in half-integer pictures, such as 1/2-1/2 and +1/2+1/2.

A crucial global fact is that the ϕ\phi background charge produces a picture-number anomaly. On a genus-gg closed Riemann surface, each chiral sector must carry total picture number

Ptotal=2g2.\boxed{P_{\rm total}=2g-2.}

On the sphere this is P=2P=-2 for the left-movers and P~=2\widetilde P=-2 for the right-movers. On the disk, an open-string tree amplitude also requires total picture number 2-2. This is why a tree-level open-string amplitude with nn NS external states is often computed with two vertices in the 1-1 picture and the remaining n2n-2 vertices in the 00 picture.

A vertex operator has two closely related forms.

For an open string on the disk or upper half-plane, an unintegrated vertex has the form

V=cVmatter+superghost,\boxed{ \mathcal V=c\,V_{\rm matter+superghost}, }

where Vmatter+superghostV_{\rm matter+superghost} has boundary dimension 11. Since cc has dimension 1-1, the full unintegrated insertion has dimension 00. This is exactly what is needed for an insertion at a fixed point on the boundary.

An integrated open-string vertex is

ΣdxU(x),\boxed{ \int_{\partial\Sigma} dx\, U(x), }

where UU has boundary dimension 11 and no cc ghost. Integrated vertices are used for punctures whose positions are not fixed by conformal symmetry.

For closed strings on the sphere, an unintegrated vertex has the form

V=cc~V(z,zˉ),\boxed{ \mathcal V=c\widetilde c\,V(z,\bar z), }

where VV has weights (1,1)(1,1). An integrated closed-string vertex is

Σd2zV(z,zˉ).\boxed{ \int_\Sigma d^2z\,V(z,\bar z). }

The rule of thumb for tree amplitudes is simple:

worldsheetconformal Killing groupfixed insertionsdiskPSL(2,R)3 open vertices carry cspherePSL(2,C)3 closed vertices carry cc~\begin{array}{c|c|c} \text{worldsheet} & \text{conformal Killing group} & \text{fixed insertions} \\ \hline \text{disk} & PSL(2,\mathbb R) & 3\ \text{open vertices carry }c \\ \text{sphere} & PSL(2,\mathbb C) & 3\ \text{closed vertices carry }c\widetilde c \end{array}

The remaining vertices are integrated. In BRST language, the relation between the two forms follows from descent. If V=cV\mathcal V=cV is BRST closed, then the corresponding integrated operator is obtained by acting with the bb-ghost zero mode along the modulus direction. Schematically,

[QB,U]=(),[Q_B,U]=\partial(\cdots),

so the integral of UU is BRST invariant up to boundary terms on moduli space.

Before the GSO projection, the NS ground state is tachyonic. Its simplest unintegrated vertex is

VT(1)=ceϕeikX.\boxed{ \mathcal V_T^{(-1)}=c\,e^{-\phi}e^{ik\cdot X}. }

The matter-superghost part has dimension

12+αk2.{1\over2}+\alpha'k^2.

The condition that this be 11 gives

αk2=12,αM2=12.\alpha'k^2={1\over2}, \qquad \alpha'M^2=-{1\over2}.

The GSO projection keeps the opposite NS fermion parity from the tachyon, so this operator is absent in the supersymmetric open-string spectrum.

The first GSO-even NS state is the massless vector. In the 1-1 picture its unintegrated vertex is

VA(1)=goceϕζμψμeikXTa.\boxed{ \mathcal V_A^{(-1)} =g_o\,c\,e^{-\phi}\,\zeta_\mu\psi^\mu e^{ik\cdot X}\,T^a. }

Here TaT^a is a Chan—Paton generator, gog_o is the open-string coupling, and ζμ\zeta_\mu is the polarization. The dimension of eϕψμe^{-\phi}\psi^\mu is

12+12=1,{1\over2}+{1\over2}=1,

so dimension one requires

k2=0.\boxed{k^2=0.}

BRST closure also imposes transversality,

kζ=0.\boxed{k\cdot\zeta=0.}

The gauge redundancy is

ζμζμ+λkμ.\boxed{\zeta_\mu\sim \zeta_\mu+\lambda k_\mu.}

This is not merely a spacetime guess. In the worldsheet theory, the longitudinal polarization is BRST exact. The photon gauge symmetry is therefore a statement about the BRST cohomology of open-string vertex operators.

The corresponding 00-picture representative is

VA(0)=goζμ(Xμ+ikνψνψμ)eikXTa,\boxed{ \mathcal V_A^{(0)} =g_o\,\zeta_\mu \left(\partial X^\mu+i k_\nu\psi^\nu\psi^\mu\right)e^{ik\cdot X}\,T^a, }

again in the α=2\alpha'=2 local CFT normalization. Depending on whether one writes the vertex on the boundary of the upper half-plane or in a purely holomorphic doubled convention, harmless factors of 2α2\alpha' may be redistributed between kk and X\partial X. The invariant content is the pair of terms

Xμandkψψμ.\partial X^\mu \qquad\text{and}\qquad k\cdot\psi\,\psi^\mu.

The first term is the bosonic coupling to the embedding coordinate; the second is required by worldsheet supersymmetry.

Massless open and closed superstring vertex operators

Massless vertices organize the spacetime fields: open-string vectors live on boundaries, while closed-string fields are products of left- and right-moving sectors inserted in the bulk.

Ramond ground states are spacetime spinors. The local operator that creates a Ramond branch cut for the worldsheet fermions is the spin field SαS_\alpha. In ten dimensions its holomorphic dimension is

h(Sα)=1016=58.h(S_\alpha)={10\over16}={5\over8}.

The natural massless Ramond vertex is in the 1/2-1/2 picture:

Vλ(1/2)=goceϕ/2uαSαeikXTa.\boxed{ \mathcal V_\lambda^{(-1/2)} =g_o\,c\,e^{-\phi/2}\,u^\alpha S_\alpha e^{ik\cdot X}\,T^a. }

The superghost factor has dimension 3/83/8, so

h(eϕ/2Sα)=38+58=1.h(e^{-\phi/2}S_\alpha)= {3\over8}+{5\over8}=1.

Therefore the plane wave must have zero dimension:

k2=0.\boxed{k^2=0.}

The Ramond physical-state condition G0u;k=0G_0|u;k\rangle=0 becomes the massless Dirac equation. In vertex-operator language it is the condition that the supercurrent OPE have no forbidden singularity:

kμΓμu=0.\boxed{k_\mu\Gamma^\mu u=0.}

The GSO projection selects a definite ten-dimensional chirality,

Γ11u=±u,\Gamma_{11}u=\pm u,

where the sign depends on the theory and on the chosen open-string sector. Together, the GSO-projected NS vector and Ramond spinor form the ten-dimensional N=1N=1 super Yang—Mills multiplet on a stack of D-branes.

Closed-string vertices are left-right products. The simplest massless NS—NS vertex is

VNSNS(1,1)=gccc~eϕeϕ~ϵμνψμψ~νeikX.\boxed{ \mathcal V_{\rm NSNS}^{(-1,-1)} =g_c\,c\widetilde c\, e^{-\phi}e^{-\widetilde\phi}\, \epsilon_{\mu\nu}\psi^\mu\widetilde\psi^\nu e^{ik\cdot X}. }

The left-moving factor eϕψμe^{-\phi}\psi^\mu has dimension 11, and the right-moving factor eϕ~ψ~νe^{-\widetilde\phi}\widetilde\psi^\nu has dimension 11. Thus the plane wave must be massless:

k2=0.\boxed{k^2=0.}

BRST closure gives the transversality conditions

kμϵμν=0,ϵμνkν=0.\boxed{k^\mu\epsilon_{\mu\nu}=0, \qquad \epsilon_{\mu\nu}k^\nu=0.}

BRST exact states implement the gauge equivalences

ϵμνϵμν+kμξν+kνξ~μ.\epsilon_{\mu\nu} \sim \epsilon_{\mu\nu}+k_\mu\xi_\nu+k_\nu\widetilde\xi_\mu.

The polarization tensor decomposes into the familiar NS—NS spacetime fields:

ϵμν=ϵ(μν)tracelessgraviton Gμν+ϵ[μν]two-form Bμν+1D2ημνϵρρdilaton Φ,\epsilon_{\mu\nu} = \underbrace{\epsilon_{(\mu\nu)}^{\rm traceless}}_{\text{graviton }G_{\mu\nu}} + \underbrace{\epsilon_{[\mu\nu]}}_{\text{two-form }B_{\mu\nu}} + \underbrace{{1\over D-2}\eta_{\mu\nu}\epsilon^\rho{}_{\rho}}_{\text{dilaton }\Phi},

up to the usual refinement that the dilaton polarization must be chosen transverse modulo gauge transformations.

The mixed sectors give spacetime fermions. In schematic notation,

VRNS(1/2,1)=cc~eϕ/2Sαeϕ~ψ~μuαμeikX,\mathcal V_{\rm RNS}^{(-1/2,-1)} =c\widetilde c\,e^{-\phi/2}S_\alpha\, e^{-\widetilde\phi}\widetilde\psi^\mu \,u^\alpha{}_{\mu}e^{ik\cdot X},

and similarly for NS—R. These contain the gravitino and dilatino.

The RR sector is represented by a bispinor vertex,

VRR(1/2,1/2)=cc~eϕ/2eϕ~/2SαS~βFαβeikX.\boxed{ \mathcal V_{\rm RR}^{(-1/2,-1/2)} =c\widetilde c\,e^{-\phi/2}e^{-\widetilde\phi/2} S_\alpha\widetilde S_\beta\, \mathcal F^{\alpha\beta}e^{ik\cdot X}. }

The bispinor Fαβ\mathcal F^{\alpha\beta} is equivalent, via gamma matrices, to a sum of differential-form field strengths:

Fαβn1n!Fμ1μn(CΓμ1μn)αβ.\mathcal F^{\alpha\beta} \sim \sum_n {1\over n!}F_{\mu_1\cdots\mu_n} \left(C\Gamma^{\mu_1\cdots\mu_n}\right)^{\alpha\beta}.

The allowed degrees are fixed by the chiral GSO projections. Equivalently, type IIA has odd RR potentials C1,C3,C_1,C_3,\ldots, while type IIB has even RR potentials C0,C2,C4,C_0,C_2,C_4,\ldots, with the five-form field strength self-dual.

Picture-changing is generated by the BRST commutator with ξ\xi:

XPCO(z)={QB,ξ(z)}.\boxed{ X_{\rm PCO}(z)=\{Q_B,\xi(z)\}. }

The full picture-changing operator contains matter and ghost terms. Its most important term for simple on-shell vertices is

XPCO(z)=eϕTFm(z)+ghost terms.X_{\rm PCO}(z)=e^\phi T_F^{\rm m}(z)+\text{ghost terms}.

The ghost terms are essential for exact BRST invariance, but the leading matter term explains the familiar conversion from the 1-1 picture to the 00 picture.

For a BRST-closed small-Hilbert-space vertex V(1)V^{(-1)}, the picture-changed vertex is

V(0)(w)=limzwXPCO(z)V(1)(w).\boxed{ V^{(0)}(w)=\lim_{z\to w}X_{\rm PCO}(z)V^{(-1)}(w). }

The key OPEs are

eϕ(z)eϕ(w)zw,e^\phi(z)e^{-\phi}(w)\sim z-w,

and

TFm(z)[ζμψμeikX](w)ζμ(Xμ+ikνψνψμ)eikX(w)zw.T_F^{\rm m}(z) \left[\zeta_\mu\psi^\mu e^{ik\cdot X}\right](w) \sim {\zeta_\mu\left(\partial X^\mu+i k_\nu\psi^\nu\psi^\mu\right)e^{ik\cdot X}(w) \over z-w}.

Multiplying the two OPEs gives a finite limit:

XPCO(eϕζψeikX)=ζμ(Xμ+ikνψνψμ)eikX.\boxed{ X_{\rm PCO}\cdot \left(e^{-\phi}\zeta\cdot\psi e^{ik\cdot X}\right) = \zeta_\mu\left(\partial X^\mu+i k_\nu\psi^\nu\psi^\mu\right)e^{ik\cdot X}. }

This is precisely the 00-picture vector vertex.

Picture-changing OPE from the minus-one vector to the zero-picture vector

The picture-changing operator raises picture number by one. For the massless vector, the factor eϕeϕzwe^\phi e^{-\phi}\sim z-w cancels the simple pole in the matter supercurrent OPE and leaves the 00-picture vertex.

Picture-changing is often described as an isomorphism of BRST cohomologies at different pictures. This statement is correct for the standard on-shell cohomology, but it comes with a practical warning: picture-changing operators are local insertions. If a PCO collides with another operator or with a boundary of moduli space, one can encounter contact terms. For elementary tree amplitudes this is usually avoided by choosing convenient fixed pictures from the start.

How BRST closure encodes the physical-state conditions

Section titled “How BRST closure encodes the physical-state conditions”

The old covariant quantization conditions were

LnΦ=0,GrΦ=0(n>0, r>0),L_n|\Phi\rangle=0, \qquad G_r|\Phi\rangle=0 \qquad (n>0,\ r>0),

with an additional G0G_0 constraint in the Ramond sector. In the operator language these conditions become statements about singular terms in OPEs with TT and TFT_F, and finally about BRST cohomology.

For the open NS vector, the matter part of the 1-1 picture operator is

WA(1)=eϕζψeikX.W_A^{(-1)}=e^{-\phi}\zeta\cdot\psi e^{ik\cdot X}.

BRST closure of cWA(1)cW_A^{(-1)} requires WA(1)W_A^{(-1)} to have dimension 11 and to be a superconformal primary. The dimension condition gives

k2=0.k^2=0.

The supercurrent condition gives

kζ=0.k\cdot\zeta=0.

The remaining equivalence relation

ζμζμ+kμλ\zeta_\mu\sim\zeta_\mu+k_\mu\lambda

comes from quotienting by BRST-exact operators. Thus the BRST cohomology contains precisely the transverse photon polarizations.

For the Ramond vertex, the same logic gives

k2=0,kμΓμu=0,k^2=0, \qquad k_\mu\Gamma^\mu u=0,

and quotienting by exact states removes unphysical spinor components. In light-cone language this leaves the 8s8_s or 8c8_c of SO(8)SO(8), paired by spacetime supersymmetry with the 8v8_v of the vector.

The following table collects the most commonly used on-shell representatives. For open-string vertices, the displayed operators are boundary insertions. For closed-string vertices, holomorphic and antiholomorphic factors are multiplied.

sectorstatepicturevertex, without coupling constantsopen NStachyon, removed by GSO1ceϕeikXopen NSAμ1ceϕζμψμeikXopen NSAμ0ζμ(Xμ+ikψψμ)eikXopen Rλα1/2ceϕ/2uαSαeikXclosed NS–NSGμν,Bμν,Φ(1,1)cc~eϕϕ~ϵμνψμψ~νeikXclosed R–RFn(1/2,1/2)cc~e(ϕ+ϕ~)/2SαS~βFαβeikX\begin{array}{c|c|c|c} \text{sector} & \text{state} & \text{picture} & \text{vertex, without coupling constants} \\ \hline \text{open NS} & \text{tachyon, removed by GSO} & -1 & c e^{-\phi}e^{ikX} \\ \text{open NS} & A_\mu & -1 & c e^{-\phi}\zeta_\mu\psi^\mu e^{ikX} \\ \text{open NS} & A_\mu & 0 & \zeta_\mu(\partial X^\mu+i k\cdot\psi\,\psi^\mu)e^{ikX} \\ \text{open R} & \lambda_\alpha & -1/2 & c e^{-\phi/2}u^\alpha S_\alpha e^{ikX} \\ \text{closed NS--NS} & G_{\mu\nu},B_{\mu\nu},\Phi & (-1,-1) & c\widetilde c e^{-\phi-\widetilde\phi}\epsilon_{\mu\nu}\psi^\mu\widetilde\psi^\nu e^{ikX} \\ \text{closed R--R} & F_n & (-1/2,-1/2) & c\widetilde c e^{-(\phi+\widetilde\phi)/2}S_\alpha\widetilde S_\beta\mathcal F^{\alpha\beta}e^{ikX} \end{array}

The table suppresses Chan—Paton factors for open strings and the distinction between integrated and unintegrated closed-string vertices. It also suppresses cocycle factors, which are needed for fully precise mutual locality of spin fields but do not change the physical-state conditions.

A well-defined amplitude must satisfy three separate bookkeeping rules.

First, the bcbc ghost zero modes must be soaked up. On the disk or sphere this means using three unintegrated vertices. For example, an open-string color-ordered disk amplitude can be organized as

An=V1(x1)V2(x2)V3(x3)i=4ndxiUi(xi)disk,\mathcal A_n =\left\langle \mathcal V_1(x_1)\mathcal V_2(x_2)\mathcal V_3(x_3) \prod_{i=4}^n\int dx_i\,U_i(x_i) \right\rangle_{\rm disk},

with the three fixed positions removing the volume of PSL(2,R)PSL(2,\mathbb R).

Second, the total picture number must match the superghost anomaly. For an open-string disk amplitude with NS external states,

iPi=2.\sum_i P_i=-2.

A standard choice is

(1,1,0,0,,0).(-1,-1,0,0,\ldots,0).

For an amplitude with two Ramond fermions and any number of NS bosons, a common choice is

(12,12,1,0,,0).\left(-{1\over2},-{1\over2},-1,0,\ldots,0\right).

Third, the vertices must be BRST closed, and any BRST-exact insertion decouples from the amplitude unless there are boundary contributions in moduli space. This is the worldsheet origin of spacetime gauge invariance and of the Ward identities obeyed by string scattering amplitudes.

Exercise 1: dimensions of superghost exponentials

Section titled “Exercise 1: dimensions of superghost exponentials”

Using

h(eqϕ)=12q(q+2),h(e^{q\phi})=-{1\over2}q(q+2),

compute the dimensions of eϕe^{-\phi}, eϕ/2e^{-\phi/2}, eϕe^\phi, and e2ϕe^{-2\phi}.

Solution

Substitute the four values of qq.

For q=1q=-1,

h(eϕ)=12(1)(1)=12.h(e^{-\phi})=-{1\over2}(-1)(1)={1\over2}.

For q=1/2q=-1/2,

h(eϕ/2)=12(12)(32)=38.h(e^{-\phi/2})=-{1\over2}\left(-{1\over2}\right)\left({3\over2}\right)={3\over8}.

For q=1q=1,

h(eϕ)=12(1)(3)=32.h(e^\phi)=-{1\over2}(1)(3)=-{3\over2}.

For q=2q=-2,

h(e2ϕ)=12(2)(0)=0.h(e^{-2\phi})=-{1\over2}(-2)(0)=0.

The last result is useful in inverse picture-changing and in discussions of the small versus large Hilbert space.

Exercise 2: mass shell of the open NS vertices

Section titled “Exercise 2: mass shell of the open NS vertices”

Use boundary dimensions to show that ceϕeikXc e^{-\phi}e^{ikX} has αM2=1/2\alpha'M^2=-1/2, while ceϕζψeikXc e^{-\phi}\zeta\cdot\psi e^{ikX} is massless.

Solution

For an unintegrated open vertex cWcW, the operator WW must have boundary dimension 11.

For the NS ground-state vertex,

WT=eϕeikX,W_T=e^{-\phi}e^{ikX},

and

h(WT)=12+αk2.h(W_T)={1\over2}+\alpha'k^2.

Setting h(WT)=1h(W_T)=1 gives

αk2=12.\alpha'k^2={1\over2}.

Since k2=M2k^2=-M^2,

αM2=12.\alpha'M^2=-{1\over2}.

For the vector,

WA=eϕζψeikX,W_A=e^{-\phi}\zeta\cdot\psi e^{ikX},

so

h(WA)=12+12+αk2.h(W_A)={1\over2}+{1\over2}+\alpha'k^2.

Setting h(WA)=1h(W_A)=1 gives αk2=0\alpha'k^2=0, hence M2=0M^2=0.

Using the leading term XPCO=eϕTFm+X_{\rm PCO}=e^\phi T_F^{\rm m}+\cdots, show that picture-changing the 1-1 picture vector gives the 00 picture vector.

Solution

The relevant OPEs are

eϕ(z)eϕ(w)zwe^\phi(z)e^{-\phi}(w)\sim z-w

and

TFm(z)ζμψμeikX(w)ζμ(Xμ+ikψψμ)eikX(w)zw.T_F^{\rm m}(z)\,\zeta_\mu\psi^\mu e^{ikX}(w) \sim {\zeta_\mu\left(\partial X^\mu+i k\cdot\psi\,\psi^\mu\right)e^{ikX}(w) \over z-w}.

The factor zwz-w from the superghost OPE cancels the simple pole from the matter supercurrent OPE. Taking zwz\to w gives

XPCO(eϕζψeikX)=ζμ(Xμ+ikψψμ)eikX.X_{\rm PCO}\cdot \left(e^{-\phi}\zeta\cdot\psi e^{ikX}\right) = \zeta_\mu\left(\partial X^\mu+i k\cdot\psi\,\psi^\mu\right)e^{ikX}.

This is the zero-picture vector vertex, up to convention-dependent overall normalization.

Exercise 4: Ramond dimension and the Dirac equation

Section titled “Exercise 4: Ramond dimension and the Dirac equation”

Show that the open Ramond vertex ceϕ/2uαSαeikXc e^{-\phi/2}u^\alpha S_\alpha e^{ikX} is massless by dimension counting. Then state the additional physical-state condition on uu.

Solution

In ten dimensions the spin field has dimension

h(Sα)=1016=58.h(S_\alpha)={10\over16}={5\over8}.

The superghost factor has dimension

h(eϕ/2)=38.h(e^{-\phi/2})={3\over8}.

Therefore

h(eϕ/2Sα)=1.h(e^{-\phi/2}S_\alpha)=1.

For the full matter-superghost factor to have boundary dimension 11, the plane wave must have zero dimension:

αk2=0.\alpha'k^2=0.

Thus the state is massless. The Ramond zero-mode constraint gives the spacetime Dirac equation

kμΓμu=0.k_\mu\Gamma^\mu u=0.

The GSO projection further chooses one ten-dimensional chirality for uu.

What picture assignments would you use for the following tree amplitudes?

  1. A disk amplitude with four external open-string gauge bosons.
  2. A disk amplitude with two open-string Ramond fermions and two open-string gauge bosons.
  3. A sphere amplitude with three external NS—NS closed-string states.
Solution

On the disk the total open-string picture number must be 2-2.

For four gauge bosons, a standard assignment is

(1,1,0,0).(-1,-1,0,0).

For two Ramond fermions and two gauge bosons, a standard assignment is

(12,12,1,0).\left(-{1\over2},-{1\over2},-1,0\right).

The two Ramond vertices contribute 1-1 total, so one NS vertex must be placed in the 1-1 picture and the other in the 00 picture.

On the sphere the left-moving and right-moving total picture numbers must each be 2-2. For three NS—NS states, one convenient assignment is

(1,1),(1,1),(0,0).(-1,-1),\quad (-1,-1),\quad (0,0).

Equivalently, one may distribute picture-changing operators in other ways, as long as the total is (2,2)(-2,-2).

Starting from the massless NS—NS polarization tensor ϵμν\epsilon_{\mu\nu}, explain how the graviton, two-form, and dilaton arise, and identify the corresponding linearized gauge redundancies.

Solution

The polarization decomposes as

ϵμν=ϵ(μν)traceless+ϵ[μν]+1D2ημνϵρρ.\epsilon_{\mu\nu} =\epsilon_{(\mu\nu)}^{\rm traceless} +\epsilon_{[\mu\nu]} +{1\over D-2}\eta_{\mu\nu}\epsilon^\rho{}_{\rho}.

The symmetric traceless part is the graviton polarization, the antisymmetric part is the Kalb—Ramond two-form polarization, and the trace is the dilaton polarization.

The BRST-exact polarizations generate

δϵμν=kμξν+kνξ~μ.\delta\epsilon_{\mu\nu}=k_\mu\xi_\nu+k_\nu\widetilde\xi_\mu.

Splitting the parameters into symmetric and antisymmetric combinations gives the linearized diffeomorphism of the graviton and the two-form gauge transformation

δBμν=kμΛνkνΛμ.\delta B_{\mu\nu}=k_\mu\Lambda_\nu-k_\nu\Lambda_\mu.

The dilaton is the gauge-invariant scalar combination left after imposing transversality and quotienting by these redundancies.