Skip to content

Tree-Level String Amplitudes from Worldsheet Correlators

The path integral formulation turns perturbative string scattering into a problem in two-dimensional conformal field theory. External strings are represented by vertex operators, and a scattering amplitude is a worldsheet correlation function integrated over the moduli of the punctured surface.

At tree level for closed oriented strings, the worldsheet is a Riemann sphere. The special feature of string theory is that a single smooth worldsheet already contains all spacetime channels. What would be several Feynman diagrams in a point-particle field theory becomes one integral over the positions of punctures.

This page develops the general recipe and reduces the closed-string four-tachyon amplitude to a single integral over the complex plane. The evaluation of that integral, its pole structure, and its factorization are treated on the next page.

For nn closed strings at genus zero, the schematic Polyakov path integral is

A0,n=N0,nDhDXVol(Diff×Weyl)eSX[X,h]i=1nVi.\mathcal A_{0,n} = \mathcal N_{0,n} \int \frac{\mathcal D h\,\mathcal D X}{\mathrm{Vol}(\mathrm{Diff}\times\mathrm{Weyl})} e^{-S_X[X,h]} \prod_{i=1}^n \mathcal V_i .

After conformal gauge fixing, the worldsheet metric is the round metric on S2S^2 up to a conformal factor, and Weyl invariance removes that conformal factor in the critical string. The remaining finite-dimensional data are the puncture positions ziz_i, modulo the conformal automorphism group of the sphere:

SL(2,C):zaz+bcz+d,adbc=1.SL(2,\mathbb C): \qquad z\mapsto \frac{az+b}{cz+d}, \qquad ad-bc=1.

Thus a convenient first expression for a tree-level closed-string amplitude is

A0,n=N0,ni=1nd2ziVolSL(2,C)i=1nVi(zi,zˉi)S2.\mathcal A_{0,n} = \mathcal N_{0,n} \int \frac{\prod_{i=1}^n d^2z_i}{\mathrm{Vol}\,SL(2,\mathbb C)} \left\langle \prod_{i=1}^n V_i(z_i,\bar z_i)\right\rangle_{S^2}.

Here ViV_i denotes the matter part of the vertex operator. For the integral d2ziVi\int d^2z_i\,V_i to be conformally invariant, ViV_i must have weights

(hi,hˉi)=(1,1).(h_i,\bar h_i)=(1,1).

A tree-level closed-string amplitude is a sphere with punctures representing external strings.

A tree-level closed-string process is a sphere with marked points. The embedding fields XμX^\mu fluctuate on the sphere, and each puncture carries a vertex operator for an external string state.

The quotient by SL(2,C)SL(2,\mathbb C) means that three complex positions are gauge, not moduli. Equivalently, one fixes three punctures and inserts the corresponding ghost factors. This is the most useful form for computations:

A0,n=N0,na=13ccˉVa(za,zˉa)r=4nd2zrVr(zr,zˉr)S2.\boxed{ \mathcal A_{0,n} = \mathcal N_{0,n} \left\langle \prod_{a=1}^3 c\bar c V_a(z_a,\bar z_a) \prod_{r=4}^n \int d^2z_r\,V_r(z_r,\bar z_r) \right\rangle_{S^2}. }

The three cc insertions soak up the three holomorphic ghost zero modes c1,c0,c1c_{-1},c_0,c_1, and the three cˉ\bar c insertions do the same in the antiholomorphic sector. The matter vertex VV has weights (1,1)(1,1), while the unintegrated vertex ccˉVc\bar cV has weights (0,0)(0,0) and ghost number (1,1)(1,1).

Three closed-string vertices are unintegrated and carry c ghost insertions; the remaining vertices are integrated over the sphere.

On the sphere, three punctures may be fixed by Möbius symmetry. The corresponding operators are unintegrated ccˉVc\bar cV vertices. The remaining punctures are integrated over moduli.

The simplest matter vertex in the bosonic closed string is the tachyon plane wave

VT(k;z,zˉ)=:eikX(z,zˉ):.V_T(k;z,\bar z)=:e^{ik\cdot X(z,\bar z)}:.

We use the free-boson normalization

Xμ(z,zˉ)Xν(w,wˉ)α2ημνlnzw2.X^\mu(z,\bar z)X^\nu(w,\bar w) \sim -\frac{\alpha'}{2}\eta^{\mu\nu}\ln|z-w|^2 .

Then the holomorphic and antiholomorphic weights of VTV_T are

h=hˉ=αk24.h=\bar h=\frac{\alpha' k^2}{4}.

The integrated closed-string vertex condition h=hˉ=1h=\bar h=1 gives

k2=4α.k^2=\frac{4}{\alpha'}.

With mostly-plus target-space signature, k2=m2k^2=-m^2, hence

mT2=4α.m_T^2=-\frac{4}{\alpha'}.

The unintegrated tachyon vertex is

VT(k;z,zˉ)=c(z)cˉ(zˉ):eikX(z,zˉ):.\mathcal V_T(k;z,\bar z) = c(z)\bar c(\bar z):e^{ik\cdot X(z,\bar z)}:.

The full correlator of tachyon matter vertices is fixed by Wick contractions and the zero mode of XμX^\mu:

i=1n:eikiX(zi,zˉi):=(2π)Dδ(D) ⁣(iki)i<jzizjαkikj.\left\langle \prod_{i=1}^n :e^{ik_i\cdot X(z_i,\bar z_i)}: \right\rangle = (2\pi)^D\delta^{(D)}\!\left(\sum_i k_i\right) \prod_{i<j}|z_i-z_j|^{\alpha' k_i\cdot k_j}.

This product is the closed-string version of the Koba-Nielsen factor. The momentum-conserving delta function comes from integrating over the constant mode of XμX^\mu.

The Koba-Nielsen factor comes from separating the X zero mode and oscillator contractions.

The zero mode of XμX^\mu imposes momentum conservation. The nonzero modes produce the product of pairwise powers zizjαkikj|z_i-z_j|^{\alpha'k_i\cdot k_j}.

For four closed-string insertions, the sphere has one complex modulus. We fix three positions by a Möbius transformation:

z1=0,z2=z,z3=,z4=1.z_1=0, \qquad z_2=z, \qquad z_3=\infty, \qquad z_4=1.

The remaining coordinate zz is the cross-ratio of the original four points. A symmetric way to write the cross-ratio is

χ=z12z34z13z24,zij=zizj.\chi = \frac{z_{12}z_{34}}{z_{13}z_{24}}, \qquad z_{ij}=z_i-z_j.

After the above gauge choice, χ=z\chi=z up to the chosen ordering of labels.

A Möbius transformation fixes three of the four punctures to 0, 1, and infinity, leaving the cross-ratio z.

The Möbius group has complex dimension three, so it fixes three punctures. The fourth position is the genuine modulus of the four-punctured sphere.

The operator at infinity is defined by conformal transformation:

O()=limzz2hzˉ2hˉO(z,zˉ).\mathcal O(\infty) = \lim_{z\to\infty}z^{2h}\bar z^{2\bar h}\mathcal O(z,\bar z).

For the tachyon h=hˉ=1h=\bar h=1, this means multiplying by z4|z|^4 before taking zz\to\infty. The ghost correlator becomes

c(0)c(1)c()=1,cˉ(0)cˉ(1)cˉ()=1,\langle c(0)c(1)c(\infty)\rangle=1, \qquad \langle \bar c(0)\bar c(1)\bar c(\infty)\rangle=1,

with the same convention for c()c(\infty).

Take all external momenta incoming. For the ordering chosen above, define

s=(k1+k2)2,t=(k2+k4)2,u=(k1+k4)2.s=-(k_1+k_2)^2, \qquad t=-(k_2+k_4)^2, \qquad u=-(k_1+k_4)^2.

For four identical closed-string tachyons,

ki2=4α,s+t+u=4mT2=16α.k_i^2=\frac{4}{\alpha'}, \qquad s+t+u=4m_T^2=-\frac{16}{\alpha'}.

The useful dot products are

αk1k2=αs24,αk2k4=αt24.\alpha' k_1\cdot k_2 = -\frac{\alpha's}{2}-4, \qquad \alpha' k_2\cdot k_4 = -\frac{\alpha't}{2}-4.

Indeed,

s=(k1+k2)2=8α2k1k2,s=-(k_1+k_2)^2 = -\frac{8}{\alpha'}-2k_1\cdot k_2,

and similarly for tt.

Putting the matter correlator, ghost correlator, and Möbius fixing together gives the tree-level four-tachyon amplitude

A4(s,t,u)=N4(2π)Dδ(D) ⁣(iki)Cd2zzαs/241zαt/24.\boxed{ \mathcal A_4(s,t,u) = \mathcal N_4(2\pi)^D\delta^{(D)}\!\left(\sum_i k_i\right) \int_{\mathbb C}d^2z\, |z|^{-\alpha's/2-4}|1-z|^{-\alpha't/2-4}. }

The normalization N4\mathcal N_4 depends on the closed-string coupling and on the normalization of vertex operators. The dependence on s,t,us,t,u is universal.

The four-tachyon amplitude is an integral over the complex z-plane with singular points at 0, 1, and infinity.

After fixing three punctures, the four-point amplitude is an integral over the complex cross-ratio. The singular regions z0z\to0, z1z\to1, and zz\to\infty will become the ss-, tt-, and uu-channel factorization limits.

This formula is the central bridge from worldsheet CFT to spacetime scattering. The next step is to evaluate the complex beta integral and interpret its singularities.

The tree-level closed-string recipe is:

external stateBRST-invariant vertex operator,\text{external state} \quad\longleftrightarrow\quad \text{BRST-invariant vertex operator}, tree amplitudesphere correlator integrated over puncture moduli,\text{tree amplitude} \quad\longleftrightarrow\quad \text{sphere correlator integrated over puncture moduli}, spacetime channelsdegeneration limits of the same punctured sphere.\text{spacetime channels} \quad\longleftrightarrow\quad \text{degeneration limits of the same punctured sphere}.

For tachyons this reduces to the explicit integral above. For massless and massive string states the vertex operators have additional X\partial X, ˉX\bar\partial X, ghost, or spin-field structure, but the conceptual recipe is the same.

Exercise 1. Why an integrated closed-string vertex has weights (1,1)(1,1)

Section titled “Exercise 1. Why an integrated closed-string vertex has weights (1,1)(1,1)(1,1)”

Show that d2zV(z,zˉ)\int d^2z\,V(z,\bar z) is invariant under holomorphic coordinate changes if VV has weights (1,1)(1,1).

Solution

Under zz=f(z)z\mapsto z'=f(z),

d2z=f(z)2d2z.d^2z' = |f'(z)|^2 d^2z.

A primary field of weights (h,hˉ)(h,\bar h) transforms as

V(z,zˉ)=(dzdz)h(dzˉdzˉ)hˉV(z,zˉ).V'(z',\bar z') = \left(\frac{dz}{dz'}\right)^h \left(\frac{d\bar z}{d\bar z'}\right)^{\bar h} V(z,\bar z).

For h=hˉ=1h=\bar h=1,

V(z,zˉ)=f(z)2V(z,zˉ),V'(z',\bar z')=|f'(z)|^{-2}V(z,\bar z),

so

d2zV(z,zˉ)=d2zV(z,zˉ).d^2z'\,V'(z',\bar z')=d^2z\,V(z,\bar z).

Thus d2zV\int d^2z\,V is coordinate invariant.

Exercise 2. Tachyon on-shell condition from the vertex dimension

Section titled “Exercise 2. Tachyon on-shell condition from the vertex dimension”

Using h=hˉ=αk2/4h=\bar h=\alpha'k^2/4, derive the mass of the closed-string tachyon.

Solution

An integrated closed-string matter vertex must have

h=hˉ=1.h=\bar h=1.

Therefore

αk24=1,k2=4α.\frac{\alpha'k^2}{4}=1, \qquad k^2=\frac{4}{\alpha'}.

With mostly-plus signature, k2=m2k^2=-m^2, so

mT2=4α.m_T^2=-\frac{4}{\alpha'}.

Starting from

Xμ(z,zˉ)Xν(w,wˉ)α2ημνlnzw2,X^\mu(z,\bar z)X^\nu(w,\bar w) \sim -\frac{\alpha'}{2}\eta^{\mu\nu}\ln|z-w|^2,

show that

i=1n:eikiX(zi,zˉi):i<jzizjαkikj.\left\langle \prod_{i=1}^n :e^{ik_i\cdot X(z_i,\bar z_i)}:\right\rangle \propto \prod_{i<j}|z_i-z_j|^{\alpha'k_i\cdot k_j}.
Solution

For Gaussian fields,

i:eikiXi:=exp[i<jkikjXiXj]\left\langle \prod_i :e^{ik_i\cdot X_i}:\right\rangle = \exp\left[-\sum_{i<j}k_i\cdot k_j\langle X_iX_j\rangle\right]

up to the zero-mode delta function. Since

XiXj=α2lnzizj2,\langle X_i\cdot X_j\rangle = -\frac{\alpha'}{2}\ln|z_i-z_j|^2,

we get

exp[α2i<jkikjlnzizj2]=i<jzizjαkikj.\exp\left[\frac{\alpha'}{2}\sum_{i<j}k_i\cdot k_j\ln|z_i-z_j|^2\right] = \prod_{i<j}|z_i-z_j|^{\alpha'k_i\cdot k_j}.

The missing overall factor is (2π)Dδ(D)(iki)(2\pi)^D\delta^{(D)}(\sum_i k_i) from the zero mode.

Exercise 4. Dot products and Mandelstam variables

Section titled “Exercise 4. Dot products and Mandelstam variables”

For four identical closed-string tachyons, prove

αk1k2=αs24,s+t+u=16α.\alpha' k_1\cdot k_2=-\frac{\alpha's}{2}-4, \qquad s+t+u=-\frac{16}{\alpha'}.
Solution

Since ki2=4/αk_i^2=4/\alpha', we have

s=(k1+k2)2=k12k222k1k2=8α2k1k2.s=-(k_1+k_2)^2=-k_1^2-k_2^2-2k_1\cdot k_2 = -\frac{8}{\alpha'}-2k_1\cdot k_2.

Solving gives

αk1k2=αs24.\alpha'k_1\cdot k_2=-\frac{\alpha's}{2}-4.

For four particles of equal mass with all momenta incoming,

s+t+u=4mT2.s+t+u=4m_T^2.

Because mT2=4/αm_T^2=-4/\alpha', this becomes

s+t+u=16α.s+t+u=-\frac{16}{\alpha'}.