Weigand Introduction To String Theory
Weigand Introduction To String Theory
Weigand Introduction To String Theory
Timo Weigand
Literature 1
i
CONTENTS ii
5 String Interactions 93
5.1 Perturbative Expansion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
5.2 Moduli space of Riemann surfaces . . . . . . . . . . . . . . . . . . . . . . . . . . 97
5.3 The gauge fixed S-matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.4 Tree-level amplitudes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
5.4.1 Correlators on the sphere - the Virasoro-Shapiro amplitude . . . . . . . . 103
5.4.2 Correlators on the disk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.5 1-loop amplitudes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
5.5.1 Oriented closed theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
5.5.2 Oriented open theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
5.5.3 Non-oriented vacuum amplitudes and tadpole cancellation . . . . . . . . . 120
5.6 Strings on curved backgrounds . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
5.6.1 The non-linear σ-model . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
5.6.2 α0 -Expansion and Conformal Invariance . . . . . . . . . . . . . . . . . . . 123
This is the write-up of my course ”Introduction to String Theory”, held in the Master Programme
at the University of Heidelberg during winter term 2015/16. The course comprises 28 lectures,
each lasting for 100 minutes.
The material discussed in this lecture course is introductory and necessarily covers only a small
fraction of the wide range of topics studied in modern textbooks. It is therefore highly recom-
mended to consult the literature in addition to following the course. A list of classic references
and some useful open-soruce material accessible online is collected here:
[GSW] Green, Schwarz, Witten: String Theory, Vol. 1& 2, Cambridge University Press 1987
[P] Polchinski: String Theory, Vol. 1& 2, Cambridge University Press 1998
[BBS] Becker, Becker, Schwarz: String Theory and M-Theory - A modern introduction, Cam-
bridge University Press 2007
[BLT] Blumenhagen, Lüst, Theisen: Basic Concepts of String Theory, Springer 2012
1
Chapter 1
2
CHAPTER 1. MOTIVATION AND OVERVIEW 3
has made String Theory a tool of interest even for physicists primarily (or exclusively)
interested in aspects of field theory. The ultimate hope would be to learn something
about confining gauge theories such as QCD. More recent developments include applications
to condensed matter theory phenomena (AdS/CMT correspondence) or fluid dynamics
(AdS/Hydrodynamics). In calling this a pragmatic approach we recall that here String
Theory is primarily viewed as a tool to learn about strongly coupled field theory and
not necessarily as a fundamental theory of Nature. Even if it turned out that Nature
has chosen a different UV completion of gravity and Yang-Mills theory, the field theoretic
insights derived via the AdS/CFT correspondence will always remain valid.
• String theory for aesthetes
String Theory is a theory of fascinating mathematical complexity and beauty. It has lead to
an exuberantly fruitful interplay between mathematics and physics, which actually
goes both ways: Not only does String Theory offer a natural arena for the application of
modern mathematical, in particular geometric concepts. The intuition of String Theorists
has also lead to completely new developments and insights within pure mathematics. The
most famous example of this interplay is the concept of Mirror Symmetry, a one-to-one cor-
respondence of pairs of certain complex manifolds (so-called Calabi-Yau manifolds), which
was first discovered in String Theory and subsequently studied within mathematics. In
fact, while Mirror Symmetry is rather surprising from the purely mathematical perspec-
tive, it is almost a triviality (and was discovered as such) from the point of the view of the
underlying string theoretic conformal field theory. Other examples of stringy explanations
for highly non-trivial mathematical facts are the group theoretic Monster Moonshine or
the classification of singularities by ADE Dynkin diagrams.
• String theory for agnosticists
For these and many more reasons, String Theory has developed as an entire framework
(rather than a specific theory) from which numerous developments of High Energy physics
depart. It is fair to say that for young theoretical physicists at least a general knowledge of
String Theory is almost as indispensible as a solid foundation of Quantum Field Theory if
they want to follow the recent current developments. Love it or hate it, but you must
know it!
• The incompleteness of QFT, at least in its perturbative formulation, becomes evident in the
appearance of ultra-violet (UV) loop divergencies in the computation of perturbative
scattering amplitudes. Such divergencies are present already for as simple theories as QED
and cast serious doubt on the validity of the theory at high energies.
• The incompleteness of classical GR is exemplified in the context of black hole physics: Ac-
cording to the classical Einstein equations, the center of a black hole contains a spacetime
singularity where the curvature blows up. This is particularly scandalous as black holes
CHAPTER 1. MOTIVATION AND OVERVIEW 4
can form dynamically starting from a perfectly well-defined initial distribution of matter.
Thus there exist dynamical processes that take us outside the regime of validity of the
classical theory.
It is important to keep in mind that the appearing divergencies or singularities in QFT and
GR are not a problem at a practical or computational level: In GR the singularity at the
center of a black hole is hidden behind the black hole horizon (in fact, according to the Cosmic
Censorship Hypothesis, this is conjectured to hold for all singularities - no naked singularities
are supposed to exist). In QFT, the UV divergencies can be ”hidden” at a practical level
by the powerful machinery of regularisation and renormalisation (at least for renormalisable
theories). But irrespective of our ability to argue away the divergencies in applications, their
very appearance remains highly unsatisfactory.
In fact the situation becomes not only unsatisfactory, but even technically unaccpetable as soon
as combined effects of GR and QFT are taken into account. Instances where quantum aspects
in gravity cannot be neglected include the study of (small) black holes and, most notably, a
successful treatment of very early cosmology. The problem is that Einstein gravity is not
renormalisable at a perturbative quantum level.
This axiom is combined with the standard kinematics of general covariance (Relativity)
and the usual procedure of quantisation. As we will see, quantisation of a generally
covariant theory of strings inevitably results in a consistent unified description of gravity and
Yang-Mills theory.
The two sectors arise from the elementary fact that a string can have
two possible topologies: It can be open or closed. Open strings describe
Yang-Mills theory, closed strings describe Gravity. Since open strings can
close up and vice versa, Gravity and YM theory are automatically related
dynamically.
CHAPTER 1. MOTIVATION AND OVERVIEW 5
What is important is that all other outcomes of the theory follow without further assumptions
or arbitrariness from application of the laws of general covariance and quantisation to a theory
strings.
1.3 Programme
The general roadmap, which is also the one followed in this course, can be summarised as follows:
• Application of the rules of quantisation provides us with the Fock space of string exci-
tations. The massless modes of the bosonic sector include (among others):
vector boson of
open string: Aµ spin 1
Yang-Mills Theory
The intrinisic length and mass scales of the theory are thus
√ 1
`s = 2π α0 : string length Ms = √ : string mass scale. (1.3)
α0
CHAPTER 1. MOTIVATION AND OVERVIEW 6
Importantly, α0 is the only free paramenter of String Theory. In principle it can take any
value in the range √
−33 0 −17
| {z cm} ≤ α ≤ |10 {z cm} .
10 (1.4)
Planck length TeVscale
• Apart from this dimensionful parameter there are no free dimensionless parameters.
The situation is thus fundamentally different from GR or QFT, where all coupling con-
stants (particle masses, Yukawa couplings...) are input parameters of the action with no
fundamental explanation. As we will see, the couplings in String Theory are expectation
values of dynamical fields (so-called moduli) which take their value dynamically.
• The interactions follow uniquely and without further extra input. Essentially this is
because there is a unique way in which strings can join and split.
To analyse the properties of the theory it is useful to distinguish two different regimes:
• The UV regime involves energies of the order or bigger than the string scale Ms or,
equivalently, distances of the order of the string length `s . In this regime the extended
nature of the string becomes important. As a consequence it turns out that the theory is
non-local with important consequences for the nature of interactions.
• The low-energy dynamics kicks in at energies Ms or, equivalently, at distances `s ,
strings appear as effectively pointlike. One can deduce the low-energy effective theory by
integrating out the massive string tower and focussing, to first order, on the massless string
excitations.
Let us consider both regimes in turn:
Low-energy dynamics:
In the low-energy limit the effective dynamics reduces to gauge interactions√ and gravity. Con-
sistency of the worldsheet teory predicts explicitly that to lowest order in α0 the gravitational
laws are given by
1
Rµν − Rgµν = 8πGN Tµν . (1.5)
2
Indeed we will see in this course how to derive Einstein’s equations as a corollary of
self-consistency of the worldsheet theory at the quantum level. In addition one √ finds higher
curvature corrections, which can be computed systematically order by order in α0 /r, with r a
typical length scale in the problem.
• Compared to a point particle theory, the string interaction is smoothened out. In fact
there does no longer exist the notion of a sharply defined interaction vertex at which the
interaction is localised in space and time. Rather, locally the string always look like it is
freely propagating and the interactions are encoded only in the topology of the worldsheet,
i.e. in global properties of the worldsheet. A schematic comparison of a point particle and
a string vertex can be found in the following illustration.
CHAPTER 1. MOTIVATION AND OVERVIEW 7
This is an important feature: In point particle theories the sharp localisation of the inter-
action vertex is indeed responsible for the appearance of divergencies in the computation
of amplitudes.
These two properties are responsible for the improvement of the UV properties of scattering
amplitudes. UV finiteness has been proven rigorously for the superstring up to 2-loop order.
However, it is conjectured that all higher order amplitudes are likewise UV finite.
Another important property of the string interactions is that gravity and YM interactions are no
longer independent: Since open strings can join to form closed strings, consistent YM interactions
automatically imply the presence of gravity as well. This of course is as it must be in a quantum
theory of fundamental interactions as the energy stored in, say, the electric field gravitates itself.
Note that the situation is fundamentally different in other approaches to quantum gravity, where
the gravitational and the YM sector are treated as indpendent building blocks. By contrast,
String Theory provides ar truly unified quantum theory of gravity and YM interactions.
• In superstring theory the spectrum of string excitations enjoys a symmetry called super-
symmetry, which is a symmetry between bosons and fermions. This symmetry is realised
in the full ten-dimensional theory. Compactification can and, in general, does break su-
persymmetry. The scale at which supersymmetry is broken depends, among other things,
on the geometric details of the compactification. It is important to keep in mind that
low-energy supersymmetry is not a prediction of string theory. String theory is perfectly
fine with supersymmetry broken at scales above the TeV scale probed currently by LHC.
Chapter 2
γ: τ 7→ X µ (τ ) ∈ R1,d−1 , µ = 0, i.
• The invariant length or line element of the metric ηµν is ds with ds2 = −ηµν dX µ dX ν .
• The dynamics of a massive particle with mass m 6= 0 is captured by the Nambu-Goto-
Action Z Z
p
SN G = −m ds = −m −ηµν dX µ dX ν . (2.1)
γ γ
µ
dX
With dX µ (τ ) = dτ dτ ≡ Ẋ µ dτ this is
Z q Z
µ ν
SN G = −m dτ −ηµν Ẋ Ẋ ≡ dτ L(τ ). (2.2)
γ γ
Note that τ is a priori an arbitrary parameter. For the special case that we identify τ with
the proper time τ0 of the particle SN G reduces to the familiar action
Z p
S̃ = −m dt 1 − ~v 2 . (~ = c = 1)
9
CHAPTER 2. THE CLASSICAL BOSONIC STRING 10
To see this recall that, reinstating c for illustrative reasons, we have X µ = (ct, ~
x) and the proper
time τ0 satisfies
2
dX µ dX µ
dt 1 d~
x
=γ= q , ~v = ⇒ = (γc, γ~v ), = γ 2 (−c2 + ~v 2 ) = −c2 .
dτ0 2 dt dτ0 dτ0
1 − ~vc2
At this stage we collect - without proof - some useful facts on constrained systems, following
[BLT]1 :
2
– A dynamical system is called singular if the matrix Mij = ∂∂pq̇ji = ∂ q̇∂i ∂Lq̇j is not invertible. In
this case the generalised velocities q̇ i cannot be expressed uniquely in terms of the q i , pi .
– For a singular system each zero eigenvalue of Mij gives rise to a primary constraint. A
primary constraint is a constraint on the system that follows from the definition of the
conjugate momentum without use of the equations of motion. Secondary constraints are
further constraints introduced so that if the primary constraints are satisfied at a certain
time, they remain to be so at all later times.
– In systems with primary constraints, the Hamiltonian is not uniquely defined as one can
always add terms that vanish upon imposing the constraints. If there are constraints φk the
Hamiltonian is H = Hcan + ck φk where Hcan = pi q̇i − L is the canonical Hamiltonian and ck
do not depend of qi and pi . Different choices of ck correspond to different choices of gauge.
– Indeed one can check explicitly that for the Nambu-Goto-action of the free particle Hcan =
pi q̇i − L ≡ 0. Thus the system is singular in the above sense and there must exist a primary
constraint. The full Hamiltonian is given just by the constraint as
H = c Φ = c (P 2 + m2 ). (2.4)
From this,
Ẋ µ
q
dXµ
= {X µ , H}P.B. = c p =⇒ c = −Ẋ 2 , (2.5)
dτ −Ẋ 2
identifying the choice c = 1 with the gauge choice τ = τ0 , the proper time.
• The complete dynamics of the system is described by the e.o.m. together with the
constraints. For τ = τ0 we recover, as expected,
δSP 1 µ 2
0= ⇒ Ẋ + m2 = 0. (2.11)
δe(τ ) e2 (τ )
q
−(Ẋ µ )2
⇒ e(τ ) = if m 6= 0. (2.12)
m
In addition we have the e.o.m. for X µ ,
δSP d 1
0= ⇒ Ẋ µ = 0, (2.13)
δX µ dτ e(τ )
dX µ 2 µ
−1 dX µ
e−1 d
e−1 dX d
R R R
where we used δX dτ =2 dτ dτ δXµ − 2 δXµ dτ e dτ .
• To show classical equivalence of the Nambu-Goto and the Polyakov action we insert the
e.o.m. of e(τ ) into SP . More generally, this procedure is called integrating out e(τ ).
Note, however, that classical equivalence does in general not imply equivalence also at the
quantum level.
dX µ dXµ
Z
1 p
SP = dτ det gτ τ g τ τ − m2 , (2.14)
2 dτ dτ
• One can use local diffeomorphism invariance to fix the gauge by setting e.g.
1
, m= 6 0.
e(τ ) = m (2.15)
1, m = 0.
Then the e.o.m. for e(τ ) translate into constraints in addition to the e.o.m. for
X µ:
2
µ Ẋ = −1, m=6 0
Ẍ = 0 & for τ = τ0 (proper time). (2.16)
Ẋ 2 = 0, m=0
This is a general lesson that will become crucial in the treatment of the string: After
integrating out an auxiliary field we must still impose its equations of motion
in the form of constraints.
closed open
This map is called the string map. It provides an embedding of the WS into the ambient
spacetime.
Oftentimes we write (τ, σ) ≡ ξ a , a = 0, 1 for the worldsheet coordinates.
CHAPTER 2. THE CLASSICAL BOSONIC STRING 13
• X µ and ξ a have engineering dimension of a length, which fixes the engineering dimension
of T as
[T ] = [mass2 ] = [length−2 ].
T is called the string tension. One further defines the
1
Regge slope α0 via T = 0
, (2.22)
√ 2πα
string length `s = 2π α0 , (2.23)
1
string (mass) scale Ms = √ . (2.24)
α0
• The metric h has signature (−, +). This explains the overall minus sign in SP (compared
to the expression for the point particle).
It is crucial to appreciate that in String Theory the spacetime coordinates X µ of the string
are promoted to dynamical fields2 in the 2-dimensional field theory on the worldsheet defined
by the Polyakov action. In a sense, spacetime becomes a derived concept. The fundamental
object is the field theory on the worldsheet.
Furthermore we consider a 2-dimensional field theory on a curved worldsheet whose metric we
treat dynamically. In other words:
The Polyakov action for propagation of a string in R1,d−1 describes d two-dimensional scalar
fields X µ (ξ) coupled to the dynamical WS metric hab (ξ). Studying (bosonic) string theory is
equivalent to studying 2-dimensional gravity coupled to scalars.
How general is SP ?
K = ±ta nb ∇a tb (2.27)
with ta a unit vector tangent to the boundary and na an outward unit vector orthogonal to ta . The
upper/lower sign refer to timelike/spacelike boundaries.
dimensional “field theory”, however, is trivial and does not add any new perspective. This will be seen to be
completely different in 2 dimensions.
CHAPTER 2. THE CLASSICAL BOSONIC STRING 15
• The energy momentum tensor Tab measures the response of SP w.r.t. a metric variation
δhab , while keeping all other fields unchanged. Our conventions for its normalisation are3
√
Z
1
δSP = d2 ξ −h Tab δhab , (2.28)
4π
4π δSP
i.e. Tab = √ (h := det h). (2.29)
−h δhab
Using
δh = −h hab (δhab ), (2.30)
an identity proven in the exercises, one finds
1 1
Tab = − 0 Gab − hab hcd Gcd , (2.31)
α 2
• As the for the point particle one finds that on-shell for hab , SP and SN G agree,
SP [X, hab ] = SN G . (2.33)
Tab =0
• Properties of Tab
i) Tab is traceless,
1 1
hab (Gab − hab (h · G)) = 0.
T aa = − (2.34)
α0 2
This holds without use of the e.o.m. for X µ . Note that the two terms in T a a cancel
because the WS is 2-dimensional and thus hab hab = 2. The special significance of the
dimensionality of the WS will become clearer momentarily.
ii) Tab is conserved,
∇a Tab = 0. (2.35)
This holds upon use of e.o.m. for X . The fact that we need the e.o.m. for X µ is
µ
Comments
• Weyl invariance will become pivotal forR a√consistent quantisation in the sequel. Note
that the cosmological constant term λ − det h spoils Weyl invariance at the clas-
sical level. Since our whole quantisation scheme depends on Weyl invariance we
therefore discard this term for now.
• The appearance of Weyl invariance for 2-dimensional worldhseets identifies String
Theory as a very special generalisation of the point particle theory.
Indeed one might wonder about even higher dimensional generalisations, e.g. to worldsheets
of dimensions D = 3 corresponding to so-called membranes, or D > 3. It turns out that
already the case D = 3 cannot be treated with the same methods that are successful in the
string case. Part of the reason is the lack of conformal invariance. In addition, the gauge
fixed action is no longer free for D ≥ 3. A detailed acount of these complications can be
found in the review by Helling and Nicolai, http://arXiv.org/pdf/hep-th/9809103. At this
stage it is not known how to consistently quantise membranes perturbatively. Nonetheless
they play a crucial role as non-perturbative objects in M-theory.
Finally note that under combined diffeomorphism and Weyl rescaling the metric transforms as
δhab = ∇a b + ∇b a + 2Λhab (2.50)
1
= ∇a b + ∇b a − ∇c c hab + 2(Λ + ∇a a )hab , (2.51)
2
δhab ≡ (P · )(ab) + 2Λ̃hab . (2.52)
The linear operator P maps vectors to symmetric traceless 2-tensors. For transformations a
such that (P · )ab = 0 the effect on hab can be undone by Weyl rescaling. The corresponding a
are called conformal Killing vectors.
The presence of the above spacetime and WS symmetries leads to conserved quantities via
Noether’s theorem, as revised in the exercises.
i) Spacetime invariance
• Global Poincaré-invariance of spacetime,
X µ (ξ) 7→ X µ (ξ) + V µ , (2.53)
implies conservation of the energy-momentum current
√
Pµa = −T − det h hab ∂b Xµ , (2.54)
∂a Pµa = ∇a Pµa = 0. (2.55)
In the last step we used that Pµa is a vector density of weight 1 from the WS perspective
and thus ∂a Pµa = ∇a Pµa .
ξ 7→ ξ˜ = ξ − (ξ)
⇒ ∇a Tab = 0 on-shell for X. (2.59)
hab 7→ hab + ∇a b + ∇b a
Important generalisation
Every conformal Killing vector, i.e. every a satisfying (P · )ab = 0, yields a conserved current
∇a J a = ∇a (T ab b ) = T ab ∇a b . (2.63)
Now we solve the conformal Killing equation 0 = (P · )ab for ∇a b + ∇b a = hab (∇c c ), which
we plug in, using symmetry of T ab ,
1 ab 1
∇a J a = T (∇a b + ∇b a ) = T ab hab (∇c c ) = 0. (2.64)
2 2
In the last equation tracelessness T a a = 0, which is a consequence of Weyl invariance, is crucial.
• That this is possible can be anticipated already by counting degrees of freedom. For a
D-dimensional worldsheet this counting goes as follows:
Thus we see that precisely if D = 2 we have a chance to locally gauge away all parameters.
CHAPTER 2. THE CLASSICAL BOSONIC STRING 19
• In fact, in the exercises we will show that under a Weyl transformation hab 7→ exp(2ω(ξ))hab
the Ricci scalar on the worldsheet transforms as
√ √
−h R 7→ −h (R − 2∇2 ω). (2.65)
By solving this differential equation for ω we can achieve that locally R = 0. In two
dimensions this implies that also the Riemann tensor vanishes locally, as discussed in the
exercises. Thus, locally the metric can be made flat R = 0. The remaining diffeomorphism
invariance can now be used to bring this flat metric into the form
−1 0
hab = ηab = . (2.66)
0 1
• This is true locally. There may exist topological obstructions to setting hab = ηab globally
on the worldsheet. In this case there remain parameters in the metric, so-called moduli,
which cannot be removed by a conformal rescaling and diffeomorphisms. Such effects will
be discussed later; for now only local considerations are relevant.
.
Two crucial remarks
• Before going to flat gauge, the e.o.m. for hab gave Tab = 0. This condition has to be
implemented as a constraint in flat coordinates. In lightcone gauge the constraints
therefore take the form
T++ = 0 = T−− .
We will see that that a proper treatment of these constraints will save the day when it
comes to quantising the string.
• Even after gauge fixing there is left a large residual symmetry in that setting hab = ηab
does not completely remove the gauge freedom. The generators of this residual gauge
symmetry are the conformal Killing vectors
can be undone by a Weyl transformation and is not fixed by the gauge hab = ηab .
CHAPTER 2. THE CLASSICAL BOSONIC STRING 21
We already saw before that the Conformal Killing Vector transformations imply infinitely many
conserved currents. In lightcone gauge this fact manifests itself as follows,
∂− (T++ (ξ + )+ (ξ + )) = 0
∇a (Tab b ) = 0 ⇒ (2.81)
∂+ (T−− (ξ − )− (ξ − )) = 0
• To define the symplectic structure via the Poisson brackets one takes all fields at equal
time τ . For fields F (τ, σ), G(τ, σ 0 ) the Poisson brackets are then defined as
• The Poisson brackets of the conserved charges generate the associated sym-
metries. E.g. for the residual conformal symmetries ξ + 7→ ξ˜+ (ξ + ) = ξ + + f (ξ + ) and
ξ − 7→ ξ˜− (ξ − ) = ξ − + g(ξ − ):
`
{Lf , X(τ, σ)} = − f (ξ + )∂+ X(τ, σ) (2.89)
2π
`
{Lg , X(τ, σ)} = − g(ξ − )∂− X(τ, σ) (2.90)
2π
Rl
where Lf = − 4π` 2 0
dσf (ξ + )T++ (ξ + ) etc.. This will be proven in the exercises.
4 Our conventions are that if we define ξ ± → ξ ± − ± (ξ ± ), L± is defined with a plus as given here.
CHAPTER 2. THE CLASSICAL BOSONIC STRING 22
• If also σ-boundary term vanishes, then the e.o.m take the form of a free wave equation
We must now impose boundary conditions such that indeed the boundary terms vanish.5 The
consistent boundary conditions are classified as follows:
1. Closed string
By definition, a closed string propagating in R1,d−1 is subject to periodic boundary condi-
tions
X µ (τ, σ = 0) = X µ (τ, σ = `). (2.95)
Thus, the boundary terms at σ = 0 and σ = ` cancel each other.
More generally, cancellation of the boundary terms only requires
2. Open string
The two string endpoints are independent. Thus the boundary terms at σ = 0 and σ = l
have to vanish separately. For each X µ and for each σ = 0, l we can impose either
non-local boundary contributions in addition to the second-order PDE characterising the free wave equation.
CHAPTER 2. THE CLASSICAL BOSONIC STRING 23
where
• αnµ , α̃nµ represent independent right-/left-moving Fourier modes with the convention that
the positive frequency modes correspond to n < 0 and
• we take cµ = 0 for the time being.
• The left-/right-moving zero mode piece pµ is coupled by the boundary conditions.
∗
• Reality X µ (τ, σ) = [X µ (τ, σ)] implies
µ µ
xµ = (xµ )∗ ; pµ = (pµ )∗ ; (αnµ )∗ = α−n ; (α̃nµ )∗ = α̃−n . (2.103)
Later we will understand that it is the derivatives ∂± X µ rather than X µ themselves which
represent good fields on the worldsheet.
The above prefactors were chosen such that the following interpretation of the coefficients can
be given:
CHAPTER 2. THE CLASSICAL BOSONIC STRING 24
This already implies that pµ is the total spacetime momentum of the string.
• Indeed this is backed up by noting that
Z ` Z `
1
dσΠµ (τ, σ) = dσ Ẋ µ = pµ . (2.108)
0 2πα0 0
lµν = xµ pν − xν pµ (2.110)
The most general solution thus corresponds to a string moving with center-of-mass momentum pµ
while carrying a general superposition of left-and right-moving vibrational modes with excitation
α̃nµ , αnµ . Note that the momentum and the oscillation modes are further subject to the primary
constraints T++ = 0 = T−− , as will be detailed further in the next chapter.
Of prime importance for quantisation of the theory are the Poisson brackets.
From {X µ (τ, σ), Πν (τ, σ 0 )} = η µν δ(σ − σ 0 ) we find by explicit computation
µ
{αm , αnν } = −i m δm+n,0 η µν , (2.112)
µ
{α̃m , α̃nν } = −i m δm+n,0 η µν , (2.113)
µ
{αm , α̃nν } = 0, µ
{x , p } = η ν µν
. (2.114)
2πα0 µ √ X 1 µ −i π nτ nπσ
(NN) X µ (τ, σ) = xµ + p τ + i 2α0 αn e ` cos . (2.117)
` n `
n∈Z, n6=0
Note that the boundary conditions relate XL and XR such that independence of the left-
and right-moving oscillators is lost, αn ≡ α̃n .
Defining
√
α0µ = 2α0 pµ (2.118)
allows us to write
r
µπ α0 X µ −i π n(τ ±σ)
∂± X = αn e ` . (2.119)
` 2
n∈Z
Interpretation:
• The (NN) string can move freely in that the endpoints at σ = 0, ` are free, but the
(NN) boundary conditions implement that there is no momentum flow off the string,
√
Pµα = −T −h∂ α Xµ ⇒ Pµσ |σ=0,` = −T (X 0 )µ |σ=0,` = 0.
Ẋ µ = 0 , σ = 0, `. (2.120)
Consequently we define
With
1 1 µ
α0µ = √ (x1 − xµ0 ) (2.123)
2α0 π
we obtain
r
µ π α0 X µ −i π n(τ ±σ)
∂± X = ± αn e ` . (2.124)
l 2
n∈Z
Comments:
• The Hamiltonian acquires an extra contribution from the potential energy of the
stretched string,
T µ π X
H= (x1 − xµ0 )2 + (α−n · αn ). (2.126)
2l 2l
n∈Z
This is a consequence of the fact that a string has tension - stretching it costs energy.
X 0µ = 0 at σ = 0 , Ẋ µ = 0 at σ = `, (2.127)
(or the other way round). Such boundary conditions enforce the solution
√ X 1 π
nπσ
(ND) X µ (τ, σ) = xµ + i 2α0 αnµ e−i ` nτ cos . (2.128)
1
n `
n∈Z+ 2
Comments:
• The Fourier modes are now half-integer, n ∈ Z + 12 .
• The string is fixed on one end, here at σ = ` at position xµ .
• Consequently the c.o.m. momentum vanishes.
Suppose further that in the (DD) directions xµ0 = xµ1 . Then the open string moves freely along
the (p+1)-dimensional hypersurface extending along µ = 0, . . . , p and is fixed in the directions
normal to it.
At this stage of our analysis a Dp-brane is really just what is written in the previous sentence. In
fact, however, a Dp-brane is by itself a dynamical object. While it will take more preparation
to make this precise at a quantitative level, we can already guess this from the observation
that there is non-zero momentum flow off the string in the (DD) directions normal to it. Total
momentum conservation implies momentum exchange between the string and the Dp-
brane.
One might object that momentum conservation might not hold because the presence of the D-brane
Dp-brane, or equivalently the choice of boundary conditions, partially breaks translational invariance.
However, it turns out that a D-brane only breaks translational invariance spontaneously. A spontaneous
breakdown of a continuous symmetry does not affect the assocated conservation laws.
The realisation by Joseph Polchinski in 1996 that the Dp-brane itself carries non-trivial dynamics
has revolutionised the way we think about string theory. We will discuss the dynamics of D-
branes later in the course. Suffice it here to state that the dynamics of the D-brane is described
by an analogue of the Nambu-Goto action. We will find that the tension scales like g1s with gs
the string coupling. This means that D-branes are non-perturbative objects.
with
• (NN) for µ = 0, . . . , p
• (DD) for µ = p + 1, . . . , d − 1 with
xµ0 6= xµ1 ;
• branes at angles.
We furthermore identify (NN) boundary conditions in all d dimensions as the special case of a
D(d − 1)-brane, i.e. a D-brane filling all of R1,d−1 .
ξ + 7→ ξ + + f (ξ + ), ξ − 7→ ξ − + g(ξ − ) (2.129)
Z l
` 2π
L̃m = − 2 dσ T++ exp i m σ
4π 0 `
1X
= α̃m−n · α̃n . (2.134)
2 n
Note that in going from the first to the second line in (2.132) we were using that the Noether
charges are conserved and thus time independent. Furthermore L∗m = L−m , L̃∗m = L̃−m .
The Lm and L̃m are called Virasoro generators. They are the generators of the conformal
Killing transformations in the sense that
` 2π − n o ` 2π +
{Lm , X µ }P.B. = − exp i m ξ ∂− X µ L̃m , X µ =− exp i m ξ ∂+ X µ .
2π ` P.B. 2π `
(2.135)
Explicit computation shows that the Virasoro generators satisfy the classical Witt algebra
To fully appreciate the geometric significance of the Witt algebra, we note that the conformal
Killing transformations satisfy an algebra generated by the differential operators
` 2π − ` 2π +
Tm = − exp i m ξ ∂− , T̃m = − exp i m ξ ∂+ . (2.138)
2π ` 2π `
It is easy to check that these classical geometric operators satisfy the commutation relations
As established above, the Lm / L̃m are the Noether charges associated with the transformations
Tm / T̃m in that
{Lm , X}P.B. = Tm X , Lm ≡ QTm . (2.140)
The Witt algebra relation can thus be written very suggestively as
Indeed this connection between the Poisson bracket relations of the Noether charges of a sym-
metry and the Lie algebra relations of its generators holds very generally.
Of specialP
significance are the Virasoro generators L0 and L̃0 . This is because the Hamiltonian
∞
H = 21 2π
` n=−∞ (α−n · αn + α̃−n · α̃n ) is related to the Virasoro generators as
2π
H= L0 + L̃0 . (2.142)
`
This connection is no wonder because the Hamiltonian generates local time reparametrisations,
i.e. local translations in the coordinate τ . This is precisely what L0 + L̃0 does.
This brings us to the Virasoro constraints. Recall that on each string solution we must impose
!
the constraints Tab = 0 which arose as the equations of motion of the worldsheet metric. Since
the Virasoro generators are nothing but the Fourier modes of the energy-momentum tensor, the
constraints can be written as
! !
Lm = 0, L̃m = 0 ∀m. (2.143)
This has to be understood as a set of constraints on the choice of string oscillation modes αm , α̃m
making up the string solution.
!
In particular, the Hamiltonian must vanish, H = 0. Geometrically this constraint can be viewed
as implementing time reparametrization invariance. Since p2 = α20 12 (α02 + α̃02 ) we can solve H = 0
to obtain the important spacetime mass shell relation
∞
H=0 2 X
M 2 = −p2 = (α−n · αn + α̃−n · α̃n ) . (2.144)
α0 n=1
Note that the complementary ”level zero” Virasoro constraint (L0 − L̃0 ) = 0 implements diffeo-
morphism invariance along the worldsheet.
CHAPTER 2. THE CLASSICAL BOSONIC STRING 30
For the open string the analogous story goes through, except that T++ and T−− are not
independent as a consequence of the boundary conditions. The Virasoro generators are now
defined as
Z `
` π π
dσ ei m ` σ T++ + e−i m ` σ T−−
Lm := − 2 (2.145)
2π 0
1X
= αm−n · αn (2.146)
2
n∈Z
This is correct for open strings with (NN) boundary conditions in all dimensions. We will discuss
more general cases in the context of the quantum string.
Chapter 3
We will discuss 3 alternative ways to quantise the bosonic string, each shedding different light
on the significance of the critical number of spacetime dimensions as a consistency condition for
existence of a well-defined quantum theory.
• Old covariant quantisation (OCQ):
The Virasoro constraints are implemented at a quantum level. This procedure is manifestly
Lorentz invariant, but unitarity only holds in the ”critical” number of spacetime dimensions.
Also the oscillator modes are promoted to operators - we will do without the little pretentiousˆ
31
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 32
[xµ , pν ] = i η µν , (3.4)
µ
[αm , αnν ] = m δm+n,0 η µν
= µ
[α̃m , α̃nν ] , (3.5)
µ
[α̃m , αnν ] = 0. (3.6)
As always this quantisation procedure is not completely well-defined because it not clear a priori
what is the correct order of products of non-commuting operators. This is known to lead to
normal ordering ambiguities, and string theory is no exception here. To study these ambiguities
we define normal ordering as
µ ν
µ ν αm αn , if m ≤ n
: αm αn := µ (3.8)
αnν αm , if n < m.
In particular we define the Virasoro operators in normal-ordered form,
1X
Lm = : αm−n · αn : (3.9)
2
n∈Z
1X
L̃m = : α̃m−n · α̃n : (3.10)
2
n∈Z
Note that an actualy ambiguity arises only for L0 , L̃0 . The above definition of the normal ordered
form of L0 , L̃0 means that
∞
1 2 X
L0 = α0 + α−n · αn (3.11)
2 n=1
c
[Lm , Ln ] = (m − n)Lm+n + m(m2 − 1)δm+n,0 ≡ (m − n)Lm+n + ∆(m, n). (3.13)
12
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 33
Comments:
• c is called central charge. Direct computation shows that it is given by the number of
spacetime dimensions, i.e. the number of scalar fields X µ
c = η µµ = d. (3.14)
Loosely speaking, given a Lie algebra g, its central extension by C, denoted as ĝ, is the Lie algebra
spanned by the elements of g as well as a new element c with commutation relations
That is, we extend g by a new element c commuting with g, i.e. in the center of g. The map
p : g × g → C is bilinear and antisymmetric.
• Only the term m3 -term in ∆(m, n) carries physical information. Namely, under a redefin-
tion L0 → L0 − α the central term ∆(m, n) transforms as
• The Fock space is constructed form the vacuum |0 i with the property a |0 i = 0 as the
space of states of the form a† . . . a† |0 i.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 34
Returning to the bosonic string, the key insight is that for each mode number m and for each
dimension µ we are facing a separate harmonic oscillator defined by the commutation relations
µ
[αm , αnν ] = m δm+n,0 η µν η µν = diag(−1, 1, . . . , 1), (3.19)
µ i i
and similarly for α̃m in the closed string. For spacelike µ = i we have [αm , α−m ] = +m.
Note that a priori there is a ground state for each value of pµ , and pµ and the oscillators and
independent. We will soon see that this is not true in the physical Hilbert space any longer.
µ
To characterise a particular state one introduces its polarisation tensor, e.g. ξµ α−1 |0; p i or
µ ν
ζµν α−1 α−1 |0; p i etc.
µ
This poses an immediate problem. Take e.g. |ψ i = ξµ α−k |0; p i with k > 0 and ξµ = (1, 0, . . . , 0)
and compute the norm
hψ|ψi = h 0; p| a0k a0−k |0; p i = h 0; p| [a0k , a0−k ] |0; p i = −kh0; p|0; pi < 0.
The appearance of such negative norm states or ”ghosts” is unacceptable in a quantum theory
as they spoil unitarity.
To appreciate the problem and find its solution we recall that exactly the same issue arises in
the Gupta-Bleuler quantisation of QED.
• To define a canonical formulation of U (1) gauge theory it is necessary to start not from
the gauge invariance Lagrangian, but rather from
1 1
L = − F µν Fµν − (∂ · A)2 .
4 2
This corresponds to (partially) fixing the U (1) gauge symmetry by imposing the gauge
fixing constraint ∂ · A = 0.
• While the naive Fock space suffers from ghosts, these are absent from the set of physical
states defined by imposing the gauge fixing constraint at the quantum level.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 35
In string theory we have likewise (partially) fixed the underlying diffeomorphism and Weyl sym-
metry by imposing the gauge fixing condition hab = ηab . But even at the classical level we still
have to impose the Virasoro Virasoro constraints Tab = 0, i.e. ⇔ Lm = 0 ∀ m ∈ Z (for open
strings and similarly including L̃m for he closed string).
• Thus we must impose the constraints Lm = 0 as an operator equation. Our first guess
Lm |ϕ i = 0 ∀ m is inconsistent due to the central term in Virasoro algebra. But this would
be too strict anyways as the analogue of the classical condition would be, in the spirit
of Ehrenfests’s theorem, rather to impose the vanishing of the expectation value of the
Virasoro generators.
Lm |ϕ i = 0 m > 0, (3.21)
(L0 − a) |ϕ i = 0. (3.22)
a = ã. (3.27)
As in the classical theory the quantum mass shell condition arises as the level-zero Virasoro
constraint involving L0 . Thus the normal ordering constant a effects the mass of the string
states.
1 Note that in canonical quantisation the time coordinate τ is singled out from spatial coordinates - here
just σ. Unlike the gravitational anomaly affecting the latter, an anomaly in τ -reparametrisation invariance by
(L0 + L̃0 − 2a) |ϕ i = 0 is accepatable,
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 36
i) For the open string we consider (NN) boundary conditions in directions µ, (DD) boundary
conditions in directions i and (ND) or (DN) boundary conditions in directions a and compute
∞
X 1 X µ X
L0 = α−n · αn + α02 = i
[α−n (αn )µ + α−n (αn )i ] + a
α−r (αr )a
n>0
2 n=1 r∈N0 + 21
+ α0 pµ pµ + α0 (T ∆xi )2 ,
i.e.
L0 := N + α0 p2 + α0 (T ∆x)2
with N the number operator and pµ pµ = −M 2 the invariant mass. Then solving the
level-zero Virasoro constraint (L0 − a) |ϕ i = 0 for p2 = −M 2 yields
α0 M 2 |ϕ i = (N + α0 (T ∆x)2 − a) |ϕ i, (3.28)
(N − Ñ ) |ϕ i = 0, (3.29)
Thus Lk |0; p i ≡ 0 identically for k > 0, i.e. the higher constraints are automatically
satisfied.
For future purposes we normalise the vacuum state as h0; p|0; pi ≡ 1.
µ
ii) First excited level (N = 1): |ϕ i = ξµ α−1 |0; p i with polarisation vector ξ
The constraints give the following restrictions:
µ
• To evaluate (L0 − a) |ϕ i = (α0 p2 + n>0 α−n · αn − a)ξµ α−1
P
|0; p i we commute αn
through α−1 . In this process only the oscillator n = 1 picks up a commutator term,
!
i.e. (L0 − a) |ϕ i = (α0 p2 + 1 − a) |ϕ i = 0˙ Thus p2 = a−1
α0 or
1
M2 = (1 − a). (3.32)
α0
• Next we evaluate
∞
! 1 X µ
0 = L1 |ϕ i = ( α1−n · αn − a)ξµ α−1 |0; p i (3.33)
2 n=−∞
1 µ
= (. . . + α2 α−1 + α1 α0 + α0 α1 + α−1 α2 + . . .)ξµ α−1 |0; p i. (3.34)
2
We pick up a contribution only from the terms involving α1 , and if we remember that
!
α0 is proportional to p we conclude that (ξ · p) |0; p i = 0, i.e.
!
ξ µ pµ = 0. (3.35)
We see that depending on the value of the normal ordering constant a we must distinguish
3 physically inequivalent situations.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 38
a) a > 1
In this case p2 > 0, i.e. M 2 < 0. This alone does not shock us. What is a killer, though,
is that the spectrum still contains negative norm states. To see this we pick w.l.o.g.
pµ = (0, p1 , 0, . . . , 0) and observe that we can find a polaristion vector ξ µ satisfying the
constraint ξ ·p = 0, but which is of negative norm ξ ·ξ < 0. (E.g we can take ξ µ = (ξ 0 , 0).)
We conclude that a > 1 is inconsistent as it does not lead to a unitary quantum theory.
b) a = 1
Now p2 = 0 and w.l.o.g. we pick pµ = (ω, ω, 0, . . . , 0). The constraint ξ · p = 0 implies
that
Thus the polarisation vector ξ µ describes (d-2) transverse degrees of freedom ξTµ and 1
longitudinal degree of freedom a pµ . The latter is null, i.e. of zero norm, because p2 = 0
and furthermore orthogonal to any transverse vector.
Note: At this stage, this is all we can say. However, an in-depth analysis of the string
interactions reveals that if d = 26 the longitudinal state decouples from all scattering
processes. In that case it is not a physical degree of freedom. This is analogous to the
situation of the photon in QED. Recall that the U (1) gauge invariance implies
A0µ = Aµ + ∂µ Λ,
ξµ0 = ξµ + c pµ .
Evaluation of the Virasoro constraints along the above lines reveals that d ≤ 26 is a neces-
sary condition for absence of ghosts. This will be discussed in the examples classes.
Let us summarise our findings. Analysis of the string spectrum up to the second excited level in
Old Covariant Quantisation shows that
a ≤ 1, d ≤ 26
is a necessary condition for unitarity.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 39
Criticality in OCQ
• One can prove, with considerably more efforts, the OCQ no-ghost-theorem:
If a = 1, d = 26, than every physical state is of the form
|φ i = |φT i + |s i
such that hφT |φT i > 0 and |s i decouples from all physical processes.
• In OCQ it is not possible to prove at tree-level that a < 1 and/or d < 26 is inconsistent.
But at one-loop-level unitarity does require a = 1, d = 26 if the structure of the worldsheet
theory as free bosonic theory is to be maintained.
As stated already, while in OCQ we cannot prove the necessity of a = 1, d = 26 without looking
at one-loop interactions, we will find a very simple proof in the Lightcone Quantisation approach.
The tachyon
We have seen that for a = 1 the vacuum state |0; p i is tachyonic, M 2 = − α1 < 0.
• The existence of a tachyon is an artifact of the bosonic string theory. Eventually this
feature will be overcome in the superstring theory.
• Note that in QFT tachyonic states are not inconsistent but indicate an instability of vac-
uum. The most celebrated example of a tachyon in everyday physics is of course the Higgs
particle with potential
• An interesting question is if the same thing happens in string theory in the sense that the
bosonic string is related, by tachyon condensation, to the superstring theory. This requires
methods of string field theory and is yet to be decided.
• The key insight is that we can use the residual conformal symmetry (3.42) to transform
(τ, σ) → (τ̃ , σ̃) with
1 ˜+ +
τ̃ = (ξ (ξ ) + ξ˜− (ξ − )), (3.43)
2
1
σ̃ = (ξ˜+ (ξ + ) − ξ˜− (ξ − )). (3.44)
2
This implies that τ̃ satisfies the free wave equation
∂+ ∂− τ̃ = 0, (3.45)
which is the same equation governing the dynamics of X µ (τ, σ), ∂+ ∂− X µ (τ, σ) = 0.
We can therefore use (3.42) to identify τ̃ with one of the X µ .
Cautionary note: What we have just presented is a quick and dirty way to arrive at
the correct conclusion. However, imposing the equation of motion before quantisation is
generally problematic. There is a more thorough way to introduce light-cone quantisation
without relying on this line of argument just by exploiting the local Weyl and diffeomor-
phism invariance of the action. This is described in detail in volume 1 of [P], p. 17-19.2 In
any case, invariance under Weyl transformations plays a key role.
• To actually use this identification to our advantage we introduce lightcone coordinates
for spacetime
1
X ± = √ (X 0 ± X d−1 ), X i i = 1, . . . , d − 2, (3.46)
2
so that the ambient space metric becomes
` 1 +
τ̃ = X − x+ . (3.49)
2πα0 p+ |{z}
integration constant
2πα0 +
X + (τ, σ) = p τ + x+ . (3.50)
`
Rl
Note that the normalisation has been chosen such that P + = T 0
Ẋ + dσ̃ ≡ p+ .
Comments:
• We have effectively used the infinite dimensional conformal symmetry (3.42) to gauge away
an infinite number of oscillator degrees of freedom by setting αn+ = 0 ∀n 6= 0.
2 Inaddition, one has to show that the specific type of reparametrisation ghosts that arise in the process of the
gauge fixing performed here indeed decouple. We thank S. Theisen for discussions on this.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 41
• This procedure is not manifestly Lorentz invariant as it singles out one coordinate, here X + .
We must therefore check Lorentz invariance at the quantum level to ensure a consistent
quantisation scheme.
The advantage of the above spacetime lightcone coordinates is that we can now explicitly solve
the Virasoro constraints
Tab = 0 ⇔ (Ẋ ± X 0 )2 = 0, (3.51)
which in lightcone coordinates become
!
0 = −2(Ẋ ± X 0 )+ (Ẋ ± X 0 )− + (Ẋ ± X 0 )i (Ẋ ± X 0 )i . (3.52)
2πα0 +
Using Ẋ + = ` p and (X + )0 = 0 this yields
1 ` 1
(Ẋ ± X 0 )− = (Ẋ ± X 0 )2⊥ . (3.53)
2 2πα0 p+
Thus only the transverse oscillator degrees of freedom are independent, those of X + and X − are
either vanishing or determined by them. To see this explicitly consider the open string with, say,
(NN) boundary conditions ∀µ and make the familiar ansatz
2πα0 − √ X1 π
X − = x− + p τ + i 2α0 α− e−i ` nτ cos( nπ
` σ) (3.54)
` n n
n6=0
and similarly for X i . We now evaluate (3.52), more precisely the sum of the two constraints
(3.53), to find after some algebra
∞
1 1 1 X i
αn− = √ ( i
αn−m αm ) classically (3.55)
2α0 p+ 2 m=−∞
√
∀n ∈ Z including the zero mode α0i = 2α0 pi .
A similar analysis of the sum of the two constraints (3.53) for the closed string yields
∞
1 1 X i
α̃n− = √ ( i
α̃n−m α̃m ). (3.56)
2α0 p+ m=−∞
∞
1 1 X i
αn− = √ ( i
αn−m αm ). (3.57)
2α0 p+ m=−∞
X i, Πi , i = 1, . . . , d − 2 (3.59)
− +
q , p . (3.60)
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 42
The classical expression for αn− has to be modified by means of a normal ordering constant, e.g.
for the open string with (NN) boundary conditions
∞
1 1 X
αn− = √ ( i
: αn−m i
αm : −aδn,0 ). (3.62)
2 2α0 p+ m=−∞
Mass shell condition
The mass shell condition can now be read off directly from
where
1
pµ = √ α0µ , open, NN, (3.64)
2α0
r r
µ 2 µ 2 µ
p = α = α̃ , closed. (3.65)
α0 0 α0 0
a) For the open string with (NN) boundary conditions ∀µ this yields
∞
2 1 X
Mop = (2 : αi αi : +α0i α0i − 2 a − α0i α0i ), (3.66)
2α0 m=1 −m m
∞
2 1 X
i i
Mop = (N⊥ − a) N⊥ = α−m αm . (3.67)
α0 m=1
One can generalise the above expressions for open string with boundary conditions
(NN): X + , X − , X k (3.68)
l
(DD): X (3.69)
a
(ND)/(DN): X (3.70)
and finds
1
2
Mop = (N⊥ + α0 (T ∆x)2 − a), (3.71)
α0
X∞ X
k k l l a
αra
N⊥ = α−m αm + α−m αm + α−r (3.72)
m=1 r∈N0 + 21
One can show that the difference of the two constraints (3.53) results in the level matching con-
dition N⊥ = Ñ⊥ . Since, apart from this extra constraint, the Virasoro constraints are already
i i
implemented explicitly, all string excitations using transverse α−m , α̃−m are automatically phys-
ical. In particular all excitations are transverse and the spectrum is manifestly free of ghosts.
E.g. for the open string, with (NN) boundary conditions ∀µ the spectrum starts as follows:
Criticality
In LCQ the critical values for the normal ordering constant a and for the number d of spacetime
dimensions follow by the requirement of Lorentz invariance. Since the definition of the lightcone
coordinates singles out a specific coordinate it is not guaranteed that the Lorentz symmetry is
non-anomalous in the quantum theory.
For simplicity we carry out this analysis for the open (NN) string. Recall that the generators of
Lorentz transformations are given by
Z l
J µν = T dσ X µ Ẋ ν − X ν Ẋ µ = lµν + E µν , (3.74)
0
lµν = x p − xν p µ ,
µ ν
(3.75)
∞
X 1 µ
E µν ν ν µ
= −i α−m αm − α−m αm . (3.76)
m=1
m
The transformation J i− mixes X ± with X i . Since X ± are singled out in LCQ, a breakdown of
Lorentz invariance might show up in an anomaly of the algebra satisfied by J i− .
In absence of an anomaly we should get
h i
J −i , J −j = iη −− J ij + iη ij J −− − iη −j J i− − iη i− J −j = 0. (3.78)
However, an explicit, long and rather painful calculation sketched below reveals
∞
h i 1 X
j
J −i , J −j = − i
∆m α−m j
αm − α−m i
αm (3.79)
(p+ )2 m=1
26 − d 1 d − 26
with ∆m = m· + + 2(1 − a) . (3.80)
12 m 12
h i
⇒ J −i , J −j = 0 ⇔ d = 26, a = 1. (3.81)
Remarks:
• A similar computation fixes d = 26, a = 1 for the closed string.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 44
• The result d = 26 also holds in the presence of lower-dimensional branes (i.e. with DD or
ND/DN sectors for some excitations). The value of ”a” in the presence of more general
boundary conditions is derived in the following section.
Extra material (non-examinable):
For completeness we here guide through the main steps in deriving the result (3.79).
−
• Recall that the oscillators αn are defined, at the quantum level, in the normal ordered manner
∞
D−2
!
− 1 1 1 X X i i
αn = √ : αn−m αm : −aδn . (3.82)
2α0 p+ 2 i=1 m=−∞
For simplicity we focus on the open string and set α0 = 21 . With the help of the expression for
−
αn one sees that [J i− , J j− ] involves terms quartic and quadratic in the oscillators αn
i
. One can
verify that the commutators involving the quartic terms vanish. This means that one can make
the following ansatz for [J i− , J j− ]:
1
[J i− , J j− ] = − C ij (3.83)
(p+ )2
with
∞
X
C ij = i
∆m α−m j
αm j
− α−m i
αm , (3.84)
m=1
where ∆m are c-numbers which we want to compute. One can furthermore show that
k
h0|αm C ij α−m
l
|0i = m2 (δ ik δ jl − δ jk δ il )∆m . (3.85)
ij
This equation tells us that we can compute the coefficients ∆m by computing C from (3.83),
evaluating matrix elements of the above form and comparing the result with (3.85).
• To this end we define E j = p+ E j− and derive the commutators
[x− , 1/p+ ] = i(p+ )−2 (3.86)
− i i
[xi , αn ] = + αn (3.87)
p
[xi , E j ] = −iE ij . (3.88)
i− j−
With this we can compute the commutator [J ,J ] explicitly, leading to
C ij = 2ip+ α0− E ij − iE i pj + iE j pi − [E i , E j ] . (3.89)
−
• To evaluate matrix elements of the form (3.85) we need commutator relations for the By αn .
−
comparing with the Virasoro generators Lm one can argue that the p+ αn satisfy the commutation
relations
hD − 2 i
− − −
[p+ αm , p+ αn ] = (m − n)p+ αm+n + (m3 − m) + 2am δm+n , (3.90)
12
i + − i
[αm , p αn ] = mαm+n . (3.91)
i j
• Now we use (3.91) as well as the usual commutator [αm , αn ] = mδm+n δ ij to compute
k
h0|αm C ij α−m
l
|0i = h0|2m(m + p+ α0− )δ ik δ jl + mpj pk δ il − mpj pl δ ik (3.92)
m
X 1 k i −
+ (m αm−n αn − δ ik p+ αm )
n=1
n
m
−
X 1 j l
× (δ jl p+ α−m −m α−p αp−m )|0i − (i ↔ j) .
p=1
p
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 45
− − D−2 3
(p+ )2 h0|αm α−m |0i = 2mhp+ α0− i + (m − m) + 2am (3.93)
12
and prove the identities
m
−
X 1 j
p+ h0|αm l
α−n αn−m |0i = pj pl + δ jl m(m − 1)/2 (3.94)
n=1
n
m m
X 1 k i
X 1 j l
h0| αm−n αn α−p αp−m |0i − (i ↔ j) = (m − 1)(δ il δ jk − δ jl δ ik ) . (3.95)
n=1
n p=1
p
• This allows us to compute (3.92). Comparing the result with (3.85) we finally arrive at
26 − D 1 D − 26
∆m = m + + 2(1 − a) . (3.96)
12 m 12
1X
classical L0 = α−n · αn (3.97)
2 n
↓
1X
quantum L0 − a = : α−n · αn : −a. (3.98)
2 n
Thus a is related to the commutator terms we pick up in performing the normal ordering. For
a single open string field X i with (NN) or (DD) boundary conditions this commutator term is
given by
∞
1X i 1 X i 1 X
α−n αni = : α−n αni : + n (no sum over i). (3.99)
2 2 n 2 n=1
n∈Z
As is stands this sum is divergent. On the other hand, the normal ordering constant of the
critical string is finite. To see how the two are related we note that the divergent sum is nothing
but the vacuum energy of the string. This interpretation follows from the relationship between
the quantum Hamiltonian and L0 .
For definiteness we now consider the open string with (NN) boundary conditions ∀µ. The classical
and quantum Hamiltonian in LCG are, respectively,
π1 X i
classical H = α−n αni + α0 pi pi (3.100)
` 2
n6=0
↓
∞
π X i i 0 i i d−2 X
quantum H= α α +αp p + n . (3.101)
` n>0 −n n 2 n=1
The computation of the divergent vacuum energy, given by the last summand, is standard in
QFT and proceeds via regularization and renormalisation. In a complete treatment one starts
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 46
with a regularised theory (e.g. by putting the two-dimensional field theory of the free boson
on a lattice), quantises it, extracts the vacuum energy (which includes cutoff-dependent terms),
renormalises it by subtracting suitable counterterms such as to remove the cutoff-dependent
would-be divergent terms and finally removes the cutoff.3 This procedure can be carried out in
full detail in a quantum field theoretic treatment.4 With this understanding, we briefly sketch
here a somewhat heuristic and quick way to see the result:
• We first introduce a cutoff Λ to regularise the divergent expression in such a way
that the divergence appears as we remove the cutoff by sending Λ → ∞. A convenient
cutoff procedure here is e.g. to rewrite the vacuum energy as
∞ ∞ ∞
πd−2 X π d − 2 X − πn πd−2 X π
n→ n e `Λ = n(e− `Λ )n . (3.102)
` 2 n=1 ` 2 n=1 ` 2 n=1
P∞ d
P∞
This choice of regulator is called ’heat-kernel cutoff’. From n=1 nq n = q dq n=1 qn =
d 1 q
q dq 1−q = (1−q)2 we find
∞ π
πd−2 X πd−2 e− `Λ
n = limΛ→∞ 2 (3.103)
` 2 n=1 ` 2 π
1 − e− `Λ
d−2 ` π 1 1
= limΛ→∞ Λ2 − + O( ) . (3.104)
2 π ` 12 Λ
• The expression for the vacuum energy has two non-vanishing contributions: The term
proportional to Λ2 is the divergent piece. It is important that this term scales like `.
Therefore, this
√ term can be absorbed by adding a cosmological constant term proportional
to Λ2 d2 σ −h to the bare Polyakov action via renormalisation. This counterterm in
R
the bare action then cancels off the divergence arising in the quantum computation of the
vacuum energy.
In addition there is the finite term − d−2 π 1
2 ` 12 . This term is present only due to the finite
size of the string because it disappears in the limit ` → ∞. Unlike for the divergent term,
there exists no local counterterm that we could add to the action such as to absorb this
term. This term is therefore physical and defines the Casimir energy of the string.
A priori one might wonder why we have to cancel the entire piece of the term scaling like ` by
adding a suitable cosmological constant - can’t we just keep a finite fraction of it and declare
it as part of −a? The reason why this is not possible in string theory is conformal invariance:
The cosmological constant term breaks conformal invariance explicitly in the action - unless the
classical counterterm and the quantum term cancel exactly. Therefore −a must be identified
with the Casimir energy, i.e.
d−2
a= for (d − 2) transverse (NN) or (DD) oscillators. (3.105)
24
3 Removing the cutoff, i.e. taking the limit Λ → ∞, corresponds to taking the continuum limit. In a usual
QFT this would certainly be what we are interested in. In the present context we might object that there may
not exist such a limit after all in a theory of Quantum Gravity (though of course we are here not talking about
the spacetime theory, but rather about the theory on the worldsheet). As we will see below, we can equally well
keep the cutoff Λ finite as the term of interest for us is cutoff-independent.
4 I thank A. Hebecker for discussions on this point.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 47
For d = 26 this gives a = 1 as found by requiring Lorentz invariance for the open string with
(NN) conditions and also for the closed string. It therefore holds also for the (DD) string.
Remarks:
• Note that a 6= 0 still breaks conformal invariance, but merely in form of an acceptable
conformal anomaly, i.e. of a quantum anomaly of the conformal symmetry.
• Very soon we will get to know powerful CFT techniques yielding another derivation of the
Casimir energy making the relation to the central term c in in the Virasoro algebra clear.
One can prove rigorously that the result for the Casimir energy is independent of the concrete
πn
choice of regulator, i.e. one can replace the exponential e− `Λ in (3.102) by any smooth function
f ( πn
`Λ ) with f (0) = 1 and limx→∞ xf
(k)
(x) = 0 for all k ≥ 1. These assumptions ensure that
the regularization scheme does not change the IR behaviour and that the regulator falls off
sufficiently fast in the UV. Another type of regulator meeting these criteria appears in ζ-function
regularisation. The regularization consists in replacing
∞ ∞ −s ∞
πd−2 X πd−2 X πn π 1−s d − 2 s X 1−s
n→ n = µ n (3.106)
` 2 n=1 ` 2 n=1 `µ ` 2 n=1
with s > 0. Removing the cutoff corresponds to s → 0. The scale µ will drop out and is needed
for dimensional reasons.
The above expression involves the ζ-function ζ(s), defined as
∞
X
ζ(s) = n−s . (3.107)
n=1
We need the following two properties of the ζ-function, which are proven in standard textbooks
on complex analysis:
• ζ(s) is convergent for Re(s) > 1.
• ζ(s) allows for an unique analytic continuation to s = −1 with
1
ζ(s − 1) = − + O(s).
12
Therefore we deduce that the contribution to ”a” from 1 (NN) or (DD) direction (i.e. one integer
moded boson), given precisely by − 12 ζ(−1), is
1
+ per (NN) or (DD) direction. (3.108)
24
Note that in this scheme no divergent term comparable to the Λ2 -term in (3.103) arises and thus
no counter-term is needed. In this sense this is the preferred scheme in theories with conformal
invariance. On the other hand the absence of a divergent term in the formal expression given
by ζ(−1) might obscure the physics. From this perspective the heat-kernel regulator is more
intuitive.
This also gives a quick way to read off the result for a string with (DN) boundary conditions,
for which the mode expansion is half-integer. To this end we use
∞
X
ζ(s, q) = (n + q)−s (3.109)
n=1
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 48
1
− per (DN) direction. (3.110)
48
Alternatively this result can be derived in a similar manner as for the (NN)/(DD) string around
(3.103).
This allows us to write down the normal ordering constant for the critical string with m (DN)
directions and d − m (DD) or (NN) as
d−2 m
α0 M 2 = N + α0 (T ∆x)2 − a = N + α0 (T ∆x)2 − + . (3.111)
24 16
In a Lorentz invariant quantum field theory in d dimensions a state forms an irreducible rep-
resentation of the subgroup of the d-dimensional Poincaré group which leaves its momentum
invariant. This group is called ”little group” or stabilizer subgroup.
• If p2 = 0, we can take w.l.o.g. p = (ω, ω, 0). The stabilizer subgroup within SO(1, d − 1) is
given by SO(d − 2).6
• If p2 < 0, we can take w.l.o.g p = (p, 0) with little group SO(d − 1).
• If p2 > 0, we can take w.l.o.g p = (0, p, 0, . . . , 0) with stabilizer subgroup SO(1, d − 2).
• The tachyonic ground state |0, p i with M 2 = − α10 is a space-time scalar. In particular it
is a scalar of the little group SO(1, 24).
i
• The massless transverse vector ξi α−1 |0, p i is a space-time vector in the vector or funda-
mental representation, denoted by , of SO(24).
• All higher states are massive and form complete irreducible representations of SO(25). To
make this manifest we must regroup the polarization degrees of freedom, which in LCQ are
a priori representations of SO(24), i.e. purely transverse, into irreducible representations
of SO(25).
Consider e.g. the second excited leve with M 2 = α10 . The different types of states are
i i j
ξi α−2 |0, p i & ξij α−1 α−1 |0, p i. (3.112)
These 324 degrees of freedom combine into the symmetric traceless of SO(25).
A single Dp-brane
Consider now the open string spectrum in the presence of a Dp-brane within R1,25 .
Note that the light-cone coordinates +, − must be along (NN) directions for a treatment within
LCQ so we take the boundary conditions as follows:
(NN) : i = +, −, 1, ...p−1
(DD) : a = p + 1, ..., 25
We distinguish
• excitations along the brane in directions X i , i = 1, ..., p − 1 and
• excitations orthogonal the to brane in directions X a , a = p + 1, ..., 25.
i
i) The parallel excitations are α−1 |0, p i, i = 1, ..., p − 1 , M 2 = 0.
This state forms a massless vector from the perspective of the Dp-brane propagat-
ing along the brane (i.e. it transforms as of SO(p − 1)). By general arguments of
QFT a massless vector must be a gauge potential. More precisely one can explicitly
verify by computations of its interactions that this is the case. String interactions will
be discussed later in this course. For now we state the key observation:
Note that (NN) in all directions is the special case of a D25-brane filling all of R1,25 .
Parallel Dp-branes
Consider two parallel branes at a distance xa2 − xa1 .
1 1 (xa2 − xa1 )2
2
M12 2
= M21 = 0
(N − a + α0 (T ∆x)2 ) = . (3.114)
α 2πα0 2πα0
That is, we now also find massive vectors along branes 1 and 2.
a a
• Similarly there are massive scalars α−1 |12, p i, α−1 |21, p i.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 51
Coincident Dp-branes
Now consider the limit xa2 → xa1 by moving the two Dp-branes together. We end up with 4
i a
massless vectors α−1 |ij, p i and 4 sets of massless scalars α−1 |ij, p i, i, j = 1, 2 .
In general for N coincident Dp-branes the bosonic open spectrum at level 1 consists of
• N 2 massless vectors α−1
i
|ij, p i, i, j = 1, ..., N and
• N 2 sets of massless scalars α−1
a
|ij, p i.
The labels i, j that keep track of the start- and endpoint of the open string are called Chan-
Paton factors. It is convenient to introduce a basis λakl , a = 1, ..., N 2 of N × N matrices and
rewrite a string state in the form
|kl, p i ≡ λakl |a, p i. (3.115)
The appearance of N 2 massless vectors signals an enhancement of gauge symmetry to non-
abelian gauge symmetry.
We observe that N 2 is the dimension of the adjoint representation of U (N ). Indeed as we will
see later the gauge interactions are consistent if λa = (λa )† , a = 1, ..., N 2 , i.e. the λa span the
Lie algebra of U (N ).
Remarks:
• Note that moving the N D-branes apart breaks U (N ) → U (1)N as only N massless vectors
remain. This process of breaking a non-abelian gauge group to its abelian subgroups is
called moving along the Coulomb branch. It is realized here by giving a vacuum expectation
value (VEV) to those scalars stretched between the N branes as these indicate the relative
position of the branes. Indeed, as these scalars are charged under the non-abelian generators
of U (N ) a nonzero VEV breaks U (N ) → U (1)N .
• As this simple example shows the physics of D-branes ”knows” a lot about gauge theories.
This has lead to a modern way to think about gauge theories by thinking of brane dynamics
instead and resulted in deep insights into the geometric structure behind Yang-Mills theory.
• Also gauge groups different from U (N ) can be realized in D-brane theories. In the tutoral
we discuss the concept of an orientifold: In such theories the possible gauge groups include
also SO(N ) and the symplectic group Sp(2N ). In non-perturbative string theories also
the exceptional gauge groups E6 , E7 , E8 and more exotic ones occur.
i j
• At the first excited level (N = Ñ = 1) we encounter a massless state ξij α̃−1 α−1 |0, p i, i, j =
1, ..., 24.
One can decompose the polarisation two-tensor ξij into irreducible representations7 of the
little group SO(24)
ξij = ξ(ij) + ξ[ij] + ξ (0) (3.116)
|{z} |{z} |{z}
symmetric traceless antisymmetric trace part
·
i.e.
1 1 ij k k
i j i j j i
α̃−1 α−1 |0, p i = α̃−1 α−1 + α̃−1 α−1 − δ α̃−1 α−1 |0, p i
2 d−2
[i j]
+α̃−1 α−1 |0, p i
1 ij k k
+ δ α̃−1 α−1 |0, p i.
d−2
Interpretation:
While we will have much more to say about each of these states, we give here a short overview
of their physical interpretation.
i) ξ(ij) describes a massless, transversely polarised spin 2 particle.
As we know from the treatment of gravitational waves in General Relativity these are pre-
cisely the correct degrees of freedom expected from the graviton. Indeed, a clasical gravi-
tational wave in direction k = (k, 0, . . . , 0, k) consists in a propagating perturbation of the
spacetime metric δgij with i, j = 1, . . . , d − 2 with δgij = δgji and δg i i = 0.8 By a general
theorem of Weinberg, every such transverse symmetric traceless massless tensor field must
couple to the conserved energy momentum tensor in the way expected from Einstein Gravity
and thus describes, in the quantum theory, a graviton.
In fact an explicit analysis of interactions of this massless closed string spin 2 state confirms
this interpretation. Later in this course we will be able to derive General Relativity as an
outcome of string theory with the ξ(ij) state playing the role of the graviton.
ii) ξ[ij] ≡ Bij describes the degrees of freedom of an extra antisymmetric tensor field called the
Kalb-Ramond field.
This antisymmetric 2-tensor Bij plays an important role in that it can be thought of as a
generalised (i.e. higher-rank) gauge potential.
• As we know from field theory, a gauge potential Aµ describes a 1-form potential A ≡
Aµ dxµ . The associated field strength is a 2-form F = dA = ∂µ Aν dxµ ∧ dxν which is
invariant under the gauge symmetry A → A + dχ with χ a 0-form.
• In perfect analogy the higher rank antisymmetric tensor Bij describes a 2-form potential
1
B≡ Bij dxi ∧ dxj (3.117)
2!
One can define a corresponding field strength
1
H = dB = ∂i Bjk dxi ∧ dxj ∧ dxk
2!
7 The space of symmetric traceless 2-tensors forms a vector space invariant under the action of the Lorentz
B → B + dΛ (3.118)
with Λ a 1-form.
iii) ξ (0) represents a scalar field, denoted usually by φ. It is called the dilaton and will be of
crucial importance in the context of string interactions.
The string spectrum is neatly encoded in the partition function, which will be derived via
methods familiar from statistical mechanics in the tutorials. As we will see as a result of a
saddle-point approximation, the high degeneracy of the string spectrum at high excitation levels
leads to to the notion of the the Hagedorn temperature as a maximal possible temperature
in a stringy universe.
Adapting the same logic one can define the amplitude between an initial string state |i i and a
final state |f i as the path integral
Z
hf |ii = DX Dh ei SP [X,h] . (3.120)
| {z }
sum over all WS with
boundaries |i i, |f i
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 54
In principle the initial and final state are accounted for by considering only those worldsheets
which correspond the respective states at past and present infinity. The special structure of
the worldsheet theory allows for a different procedure in which we consider trivial boundary
conditions in the path integral (corresponding to the vacuum). The initial and final states
will instead be incorporated by inclusion of so-called vertex operators. Before discussing these
vertex operators and the actual computation of scattering amplitudes, however, we take it easy
and first compute the unnormalised partition function, corresponding to the path integral with
trivial boundary conditions and no operator insertion,
Z
Z= DX Dh ei SP [X,h] ,
Z
√ (3.121)
1
SP = − 0
dτ dσ −h hab ∂a X µ ∂b X ν ηµν .
4πα
X µ 7→ X µ + a ∂a X µ , (3.122)
hab 7→ hab + (P · )ab + 2 Λ̃ hab (3.123)
with
with
c c
Pab = δ(b ∇a) − hab ∇c . (3.127)
This overcounting of gauge equivalent configurations is a standard problem in the path integral
quantization of gauge theories. The general solution is to isolate the integral over the gauge pa-
rameters and divide by the volume of the gauge group. In the case at hand this can be achieved
by converting the integral over all worldsheet metrics into an integral over all diffeomorphisms
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 55
a
a and Weyl rescalings Λ that take us to the gauge transformed ĥ( , Λ)
starting from some fixed ĥ.
From our earlier discussion of gauge fixing on the worldsheet we know the following: At least
locally, if for fixed ĥab the parameters ζ = (a , Λ) run over all diffeomorphisms and Weyl rescal-
ings then ĥζ = ĥ + δ ĥ runs over all metrics.
R
Therefore, given some functional of the metric, F [h], we can rewrite the path integral Dh F [h]
as follows,
∂(P · , Λ̃)
Z Z Z
ζ
Dh F [h] = D(P · ) DΛ̃ F [ĥ ] = D DΛ} F [ĥζ ] det (3.128)
| {z ∂(, Λ)
≡Dζ | {z }
Jacobian = Faddeev-
Popov determinant
c c
with the differential operator Pab = δ(b ∇a) − ĥab ∇c defined in terms of the reference metric ĥ. In
the last step we have introduced the Jacobian for the transition of the integral over D(P · ) DΛ̃,
which is what appears in δh, to an integral over the gauge parameters ζ. This Jacobian is the
Faddeev-Popov determinant and can be further massaged as
∂(P · , Λ̃)
P 0
= = det P. (3.129)
∂(, Λ) ∗ 1
of diffeomorphisms and Weyl rescalings, which was our goal. Omitting this overall factor we
arrive at Z
Z= DX det P ei SP [X,ĥ]
(3.132)
ĥ : arbitrary reference metric.
found in the original paper ’Quantum geometry of bosonic strings’ , Phys. Lett. B103, 207, 1981 by Polyakov.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 56
• The above procedure assumes that every metric h can be written as h = ĥζ for precisely
one ζ. There is a double mismatch though: First, the conformal Killing transformations
are residual gauge symmetries not fixed above. These extra parametrisations must not be
included in the path integral in order to avoid overcounting. Indeed we will be careful to
fix this extra residual gauge freedom when computing scattering amplitudes. Second there
are caveats related to global properties of the WS in that for worldhseets of complicated
topology the metric contains extra parameters, so-called moduli, not accounted for by local
gauge transformations ζ. We must therefore sum over these moduli separately. We ignore
both these issues now and will come back to them in great detail when discussing the
moduli space of Riemann surfaces.
we try to rewrite det P in a similar manner as an integral. For this, however, we need to define
Grassmann variables as anti-commuting (i.e. fermionic ) variables. E.g. define the
variables Θ, ψ with the properties
Θ ψ = −ψ Θ, Θ2 = 0 = ψ 2 . (3.134)
We furthermore define the notion of Berezin integration over Grassmann variables by setting
Z Z
dΘ = 0 , dΘ Θ = 1. (3.135)
Θi : Θi Θj = −Θj Θi (3.137)
we deduce
Z
dn Θ Θi1 . . . Θin = i1 ...in . (3.139)
Then, given a bosonic matrix Mij its determinant can be expressed as a Grassmann integral
n
Z Y
dψi dΘi exp(Θi Mij ψj ) ∼
= det M. (3.140)
i=1
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 57
As a final technical step we note that we are interested in the determinant of a differential operator
P . For this we generalise the above formulae to functional integrals over Grassmann-valued fields
by promoting
M → operator, Θi → Θ(ξ a ) , ψi → ψ(ξ a ). (3.141)
Applied to our operator
c c
Pab = δ(b ∇a) − hab ∇c (3.142)
this procedure yields10
Z 1 Z q
det P ∼
= d
Db(ab) Dc exp 2
d ξ −ĥ b · (P · c) (3.143)
4π
Z 1 Z q
≡ Db(ab) Dcd exp d2 ξ −ĥ bab Pab
d
cd . (3.144)
4π
Here b(ab) (ξ a ) transforms as a symmetric traceless tensor on the worldsheet and cd (ξ a ) as a
vector. Both are anti-commuting, fermionic fields. cd and b(ab) are called Faddeev-Popov (FP)
ghosts and anti-ghost, respectively. They are fermionic objects with integer spin. A priori they
will lead to negative norm states, but we will see how to deal with them.
So as a result we have (after integration by parts in the ghost action)
Z
Z∼= DX Db Dc ei (SX +Sg ) ,
Z q
1 2
SX = − d ξ −ĥ ∂ a X · ∂a X, (3.145)
4πα0
Z q
i
Sg = − d2 ξ −ĥ ĥab cd ∇a b(bd) .
2π
Note:
• The equation of motion for ca is given by P · c = 0. Therefore the normalisable
solutions for ca are in one-to-one correspondence with the conformal Killing
vectors, which are the generators of the residual symmetry.
• The equation of motion for b(ab) is
∇a bab = 0. (3.146)
We will understand the geometric meaning of these equations when discussing the moduli
space of Riemann surfaces.
Tracelessness of bab translates into b+− ≡ 0 ≡ b−+ . The equations of motion for the (anti-)ghosts
take the simple form
∂+ b−− = 0 = ∂− b++ ,
∂+ c− = 0 = ∂− c+
provided the boundary terms proportional to dτ (c+ δb++ − c− δb−− )|`σ=0 that we pick in the
R
and
∞
` X 2π i
c+ (τ, σ) = c̃n e− ` n (τ +σ) , (3.151)
2π n=−∞
∞
− ` X 2π i
c (τ, σ) = cn e− ` n (τ −σ) . (3.152)
2π n=−∞
As for the X-fields we have an independent set of left- and right-movers. The normalisation
is chosen such as to lead to nice expressions for the anti-commutator in the quantum theory.
2) Open string:
For the open string the boundary terms must vanish at σ = 0 and σ = ` separately. Out of
the various possible boundary conditions compatible with this we consider the following,
c+ (ξ + ) = c− (ξ − ) and b++ (ξ + ) = b−− (ξ − ) . (3.153)
σ=0, ` σ=0, ` σ=0, ` σ=0, `
As expected the boundary conditions identify the left and right-moving oscillators.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 59
Quantisation
The conjugate momentum of the anti-ghost field b±± follows from the action as
δ Sg [b, c] i ±
Πb±± = = c (3.156)
δ ∂τ b±± 2π
with canonical Poisson-bracket relation b±± (τ, σ), Πb±± (τ, σ 0 ) P.B. = δ(σ −σ 0 ). To quantise this
system we must take into account the fermionic nature of the b and c-fields. As is well-known
from quantisation of fermions in QFT, the correct procedure is to replace the Poisson-bracket
by 1i times the anti-commutator, defined for operators A, B as {A, B} = AB + BA. Thus,
One can verfiy that this corresponds to the anti-commutator relations for the modes
with the same relations obeyed in addition by c̃n0 , b̃n for the closed string.
Ghost Virasoro-Algebra
The ghost-energy momentum tensor T (g) follows from the full non-gauge fixed action as
(g) 4π δ Sg [b, c, h]
Tab = √ . (3.160)
−h δ hab
In lightcone gauge its non-vanishing components are
(g)
T++ = −i(2b++ ∂+ c+ + (∂+ b++ )c+ ), (3.161)
(g) − −
T−− = −i(2b−− ∂− c + (∂− b−− )c ) (3.162)
and similar formulae for the open string. It is not hard to check that in terms of the modes this
gives, classically,
∞
X
L(g)
m = (m − n) bm+n c−n (classically). (3.165)
n=−∞
At the quantum level the Virasoro operators are defined as the normal ordered analgue of this
classical expression. Normal ordering is again defined by putting lower-level modes to the left.
Due to the anti-commuting nature of the modes, we pick up a minus sign in this process if we
have to change the order of the modes, i.e.
bm bn , if m ≤ n
: bm bn := (3.166)
−bn bm , if n < m
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 60
Note:
1) For example for the zero-level Virasoro generator application of the normal ordering prescrip-
tion yields
(g) P−1 P∞
L0 = n=−∞ (−n) : bn c−n : + n=1 (−n) : bn c−n :, (3.168)
| {z } | {z }
=bn c−n =−c−n bn
(g) P∞
L0 = n=1 n(b−n cn + c−n bn ). (3.169)
2) Note the slightly different normalization factors compared to the X-field Virasoro generators
(X)
Lm = 21 n : αm+n α−n :. In particular the zero-modes b0 , c0 do not appear in L0 .
P
A computation very similar to the one performed to deduce the Virasoro algebra of the matter-,
i.e. X µ fields, yields the Ghost Virasoro-algebra
(g) 1
[L(g) (g) 3
m , Ln ] = (m − n)Lm+n + (m − 13m )δm+n,0 . (3.170)
6
(g)
Note that the generators Lm are bilinears in the fermionic ghost modes and thus bosonic. This
is why they indeed satisfy commutator (as opposed to anti-commutator) relations.
The algebra of the conformal transformations of the full action S = SX + Sg is generated by the
combined Virasoro generators
where we conventionally include a total normal ordering constant atot into the definition of Ltot
m .
It is the sum of the normal ordering constant for the X and for the ghost fields,
The different sign compared to the X-sector is a consequence of the anti-commuting nature
(g)
of the ghost field and technically results from the specific form of Lm . Note also the absence
(g)
of a factor of 12 in the normalization of Lm .
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 61
• Therefore
d−2 2 1 d−2
atot = + − = ≡ a. (3.174)
24 24 12 24
The ghost system cancels the contribution from the unphysical non-transverse polarisations,
a feature that we will encounter again in the framework of BRST quantisation.
One may verify that the combined Virasoro generators satisfy the commutation relations
ctot
[Ltot tot tot
m , Ln ] = (m − n) Lm+n + δm+n,0 (m3 − m) + 2m(a − 1) (3.175)
12
ctot = c(X) + c(g) , c(X) = d (for propagation in R1,d−1 ), c(g) = −26. (3.176)
The presence of the central term ctot is equivalent to a Weyl anomaly of the full action SX + Sg ,
or equivalently to a Weyl anomaly in the path integral
Z
DXei SX (det P ). (3.177)
The central term and thus also the Weyl anomaly of the path integral is absent iff
d = 26 , a = 1. (3.178)
This gives us a final interpretation of the meaning of criticality: It is the requirement that the
X-theory cancels the conformal anomaly of the ghost system,
!
0 = c(X) + c(g) = c(X) − 26 (3.179)
so that the anomaly of the full quantum theory is absent. What is actually fixed is not the
number of spacetime dimensions, but the central extension c(X) .
Note that the transformations of X µ are just the conformal Killing transformations with param-
eter c± . Here c± does depend on ξ ± as in c± (ξ ± ), but the fermionic parameter is independent
of ξ ± . It is in this sense that the residual symmetry is global. This symmetry is named BRST
symmetry (after Becchi, Rouet, Stora, Tyutin).
Comment:
Here were are considering the gauge fixed action SX +Sg obtained by explicitly plugging ĥab = ηab
into the action. Alternatively one can implement the gauge fixing condition as an extra Gaus-
sian factor in the path integral by introducing a set of auxiliary fields whose equations of motion
would classically enforce the gauge fixing condition. In this formulation the transformation of
the X µ -fields is a fermonic version of the full original gauge symmetry (here diffeomorphisms and
Weyl rescalings). It is only in the above gauge fixed formulation that the BRST transformation
of X µ reduces merely to the residual symmetry (here the conformal Killing transformations).
We compare these two formulations in detail in the tutorial.
Via Noether’s theorem one can define a BRST charge operator QB as the conserved charge
associated with a suitable BRST current.
As always, this charge will then generate the underlying symmetry. Explicit application of the
Noether procedure confirms that the BRST charge is fermonic as expected. It generates the
BRST symmetry in the sense that
δ X µ =[QB , X µ ], (3.181)
δ c± = QB , c± ,
δ b±± = {QB , b±± } . (3.182)
Note the appearance of the commutator for the action of the fermonic BRST operator on a
bosonic field, but of the anti-commutator for its action on the fermonic ghost fields.
One can show explicitly that (for open strings)
∞
(X) (g)
X
QB = : (L−m + 12 L−m − a δm,0 )cm : (3.183)
m=−∞
does the job (and analogously for the left- and right-moving charges in the closed string). In
particular
Q†B = QB . (3.184)
11
An important property of the BRST symmetry is that it is nilpotent ,
δ δ0 Φ = 0 for Φ ∈ {X µ , b, c}. (3.185)
This must translate into the crucial relation
Q2B = 0. (3.186)
1
In the quantum theory, evaluation of Q2B
= {QB , QB } is complicated by normal ordering
2
subtleties. An explicit computation, which again we are not performing here, yields
∞
X
Q2B = 1
2 {QB , QB } = 1
2 ([Ltot tot tot
m , Ln ] + (m − n)Lm+n )c−m c−n . (3.187)
m,n=−∞
11 This manifestly holds in the more general formulation discussed in the tutorial in which the concrete gauge-
choice is implemented with the help of an auxiliary field, and is true in the simplified gauge-fixed formulation
here up to equations of motion.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 63
This vanishes if and only if the full Virasoro algebra is non-anomalous, which in turn is the case
for the critical string with (d = 26, a = 1):
Consistency of the BRST symmetry is equivalent to absence of the total Weyl anomaly.
The actual significance of the BRST symmetry is that it gives the correct physical state condition.
A physical state must be gauge invariant. Given the relation between the gauge transformations
and the BRST symmetry it is therefore reasonable to expect that a physical state must be in-
variant under a BRST transformation. Indeed, in the tutorials we will give a formal argument
for this assertion in the more general, non-gauge fixed formulation alluded to above. The argu-
ment departs from the requirement that the physical Hilbert space must be independent of the
concrete gauge fixing condition - i.e. in our case the concrete choice of reference metric ĥab . Let
us therefore borrow the result that a necessary condition for a state to be physical is that
QB |phys i = 0. (3.188)
Indeed since QB acts on X as the (residual) symmetry this implements in particular the
constraints resulting from gauge fixing (here the Virasoro constraints).
This, however, is not enough. Namely there exists a large set of trivially physical states given by
QB |χ i = Q2B |Ψ i = 0.
These states are null, i.e. they are orthogonal to all physical states including themselves,
An at this stage necessary condition for a physical state is that it is a non-trivial element of
Hclosed
HBRST = ≡ cohomology of QB . (3.192)
Hexact
States differing by elements of Hexact are in the same equivalence class = cohomology class:
|Ψ i ∼
= |Ψ i + QB |χ i. (3.193)
Comments:
• We will momentarily find that only a subset of HBRST defined by another condition really
corresponds to the physical states in the sense of participating in the amplitudes.
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 64
• One can formally prove that the space HBRST modulo this extra condition is of positive
norm. For this we refer to [P], volume 1, section 4.4. Instead of going through this formal
proof we demonstrate below that the BRST-cohomology correctly implements the Virasoro
constraints.
• The concept of a cohomology as the kernel over the image is defined in mathematics for
every nilpotent operator. The probably most famous example is the exterior derivative d
that maps a p-form to a p + 1-form. In this context the p-th cohomology group is defined
as
closed p-forms
Hp = . (3.194)
exact p-forms
Representation theory
To make all of this explicit we need to define a vacuum |0tot i = 0(X) i ⊗ 0(g) i for the full theory
defined by S tot = S (X) + S (g) , act with creation operators associated with X, b and c on each
factor and then implement the physical state condition. Recall that in the X-sector 0(X) i is
µ (X)
defined by α|m| 0 i = 0 for m 6= 0 together with a suitable action of the zero mode operator
µ µ
α0 ' p . This action is defined by taking (X)theµ vacuumµas an eigenstate of α0µ . More precisely,
(X)
the vacuum carries a continuous label 0 , p i and α0 0 , pµ i ' pµ 0(X) , pµ i. Similarly in
the ghost sector a sensible assignment is to declare that
• c−n , b−n , n > 0 act as creators,
• cn , bn , n > 0 act as annihilators.
This is consistent with the normal ordering prescription (”creators to the left”) and with the
form of the zero-level Virasoro generator
∞
(g)
X
L0 = n b−n cn + n c−n bn . (3.195)
n=1
(g)
Since the ghost Hamiltonian H (g) ∝ L0 we are reassured that b−n , c−n take the role of creators.
What remains is to determine the action of the ghost zero modes c0 , b0 on the vacuum. From
the anti-commutation relations we deduce that the zero-modes c0 , b0 form an algebra defined by
n o
c20 = 0 = b20 , c0 , b0 = 1. (3.196)
A state in the ghost sector must furnish a representation of this algebra, i.e. the action of
c0 and b0 on the vacuum must be compatible with the relations of the algebra. The smallest
representation contains two states |↑ i, |↓ i such that
c0 |↓ i = |↑ i , b0 |↑ i = |↓ i , c0 |↑ i = 0 , b0 |↓ i = 0. (3.197)
To see that we need at least two states let us try our luck with only a single state |Ψ i. Then
c0 |Ψ i = α |Ψ i, b0 |Ψ i = β |Ψ i, for some α, β ∈ C. (3.198)
It is now easy to construct a contradiction because
|Ψ i = (c0 b0 + b0 c0 ) |Ψ i = 2αβ |Ψ i,
but 0 = c20 |Ψ i = α2 |Ψ i. (3.199)
We therefore stick to the above simplest non-trivial representation given by |↑ i, |↓ i . A priori
we could make two inequivalent choices for the full vacuum:
CHAPTER 3. QUANTISATION OF THE BOSONIC STRING 65
1.) |0tot i = 0(X) i ⊗ |↑ i ≡ |0, ↑ i
The vacuum is annihilated by c0 and by αn , cn , bn with n > 0.
2.) |0tot i = 0(X) i ⊗ |↓ i ≡ |0, ↓ i
The vacuum is annihilated by b0 and αn , cn , bn with n > 0.
Note: For a point particle the physical state condition is simply the mass shell condition p2 +m2 = 0. Q-
closed states of the form |p i⊗|↓ i satisfy
this and are thus sensible physical states, in the same manner as
Q-closed states of the special form Ψ(X) i⊗|↓ i automatically satisfy the Virasoro constraints. In addition
one can convince oneself that Q-closed modulo Q-exact states of the form |p i ⊗ |↑ i, i.e. constructed
from the first vacuum, give another copy of physical, i.e. on-shell states; however, these can be shown to
decouple from all scattering amplitudes and so must be discarded. For a derivation of these assertions
see [P], volume 1, p.129-131.
For the string theory the same logic goes through even though the details are technically more involved
due to the oscillator degrees of freedom. It is still true that a consideration of scattering amplitudes re-
veals that only BRST closed (modulo exact) states built from Ψ(X) i ⊗ |↓ i can contribute to amplitudes
(see [P], volume 1, Chapter 9). In addition one must impose the constraint b0 |Ψ i = 0, which generalizes
the defining property b0 |0, ↓ i = 0 of the vacuum.
In the course of the proof of this theorem one also finds that every non-trivial QB -cohomomology
class contains one representative of the form
|ψ iX ⊗ |↓ i. (3.203)
On Assignment 7 we will work out the constraints and find the following structure:
i) From b0 |Ψ i = 0 we deduce 0 = {QB , b0 } |Ψ i = Ltot
0 |Ψ i. This yields the mass shell
condition p2 = 0.
ii) QB |Ψ i = 0 leads to
!
((p · ξ)c−1 + βp · α−1 ) 0tot i
0 =
⇒ p · ξ = 0 & β = 0. (3.205)
Requiring Q-closedness therefore removes the unphysical anti-ghost excitations as well as all
polarisations that are not orthogonal to the momentum, thereby eliminating 2 out the 26+2
original states.
This shows that c−1 |0tot i is BRST exact and the polarisation vector is only defined up to
the equivalence
ξ∼
= ξ + β 0 p, β 0 ∈ C. (3.206)
(Note that this is consistent with the conditions i) and ii).)
Conformal symmetry is, loosely speaking, invariance under rescaling. Conformally invariant
systems possess no intrinsic length, mass or energy scale. In particular there exists no notion of
massive particles or massive excitations as these would induce a reference scale.
Conformal invariance plays an important role in many physical systems such as
• string theory, where the worldsheet theory is a two-dimensional conformal field theory;
• at fixed points of the renormalisation group (RG) equations in QFT, at which a theory
becomes scale invariant;
• near critical points in condensed matter or statistical physics, at which the correlation
length diverges, leaving us again with a scale invariant theory;
• the AdS/CFT correspondence, which relates gravity on AdS space with a CFT on its
boundary.
The treatment of such conformally invariant theories necessarily differs from the treatment of
non-conformal systems in usual QFT. Two-dimensional conformal field theories are even more
special because in two dimensions the group of infinitesimal conformal transformations is infinite.
This is large enough as to sometimes allow us to solve the theory exactly and completely. Such
theories are called integrable and the search for integrable structures also in higher dimensional
theories, e.g. for certain field theories in four dimensions (N =4 Super-Yang-Mills theory), has
become an important challenge in theoretical physics. The treatment of two-dimensional CFTs
makes use of powerful methods of holomorphic analysis and has developed into an independent
field of mathematical physics.
In the sequel we consider flat d-dimensional space of arbitrary signature, i.e. Rm,n with m+n = d.
A conformal transformation is then a diffeomorphism x → x0 (x) under which the metric ηαβ
transforms like
∂xα ∂xβ
ηµν → ηαβ 0µ 0ν = Λ(x)ηµν (4.1)
∂x x
67
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 68
for some conformal factor Λ(x). Infinitesimally with x0µ = xµ −µ (x)+O(2 ) and Λ(x) = eω(x) =
1 + ω(x) + . . . this gives
∂µ ν + ∂ν µ = ω(x)ηµν . (4.2)
Further elementary manipulations carried out on Assignment 7 yield the following set of equations
satisfied by ω(x),
2
ω(x) = ∂ · ,
d
ηµν ∂ 2 + (d − 2)∂µ ∂ν ω(x) = 0,
(4.3)
2
(d − 1)∂ ω(x) = 0.
Technically this is the origin why we must distinguish the cases d = 2 and d ≥ 3: For d = 2 the
second equation is vacuous.
• dilatations x → x0 = (1 + α)x,
• special conformal transformations (SCT) x → x0 = x + 2(x · b)x − (x · x)b.
The global version of the special conformal transformations is
x0 x
= − b. (4.4)
(x0 · x0 ) (x · x)
x
This can be understood as a successive application of an inversion x → x2 , a translation
and another inversion.
x − (x · x)b
x0 = .
1 − 2(b · x) + (b · b)(x · x)
This is infinite at those points where the denominator vanishes. We conclude that in order
for special conformal transformations to be globally defined we must consider the conformal
compactification Rn,m ∪ ∞.
This shows that we must carefully distinguish between
a) the group of globally defined conformal diffeomorphisms, called conformal group and its alge-
bra, the conformal algebra and
b) the group of infinitesimal conformal transformations.
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 69
In particular the conformal group depends on the topology of the space we consider as seen above.
E.g. for Rn,m ∪ ∞ and d = n + m ≥ 3 the conformal group has 12 (d + 1)(d + 2) parameters.
Indeed one can prove the following theorem:
∂µ ν + ∂ν µ = (∂ · ) ηµν . (4.5)
In the sequel we consider R2 with Euclidean signature ηµν = δµν and complex variables
z = x0 + ix1 , z = 0 + i1 ≡ ,
z̄ = x0 − ix1 , ¯z̄ = 0 − i1 ≡ ¯,
1 1
∂z = (∂0 − i∂1 ), ∂z̄ = (∂0 + i∂1 ),
2 2
1
d2 x = dx0 dx1 = dzdz̄.
2
We have thus established that the group of infinitesimal conformal transformations in Eu-
clidean 2 dimensions is generated by all meromorphic functions (z) and anti-meromorphic
functions ¯(z). Note that we say meromorphic, not holomorphic because for infinitesimal con-
formal transformations we do allow for singularities outside the open set under consideration.
The (anti-)meromorphic generators can be expanded in a Laurent series as
X
z → z 0 = z + (z) = z + n z n+1 , (4.7)
n∈Z
X
0
z̄ → z̄ = z̄ + ¯(z̄) = z̄ + ¯n z̄ n+1 . (4.8)
n∈Z
Even if we restrict to S 2 not all generators ln are well-defined globally, i.e. at all points.
• At z = 0 ln = −z n+1 ∂z is well-defined only for n ≥ −1.
1
• To analyse the behaviour at z = ∞ we introduce the variable w = z and consider the
bahaviour at w = 0 via
1
∂z = − ∂w = −w2 ∂w ⇒ ln = w−(n+1) w2 ∂w = w1−n ∂w . (4.13)
z2
Thus ln is well-defined at z = ∞ for n ≤ 1.
The group of finite conformal diffeomorphisms on S 2 is generated by l−1 , l0 , l1 and ¯l−1 , ¯l0 , ¯l1 .
Geometric interpretation:
• l−1 = −∂z is the generator of rigid translations z 7→ z + b, b ∈ C.
• l0 = −z∂z is the generator of complex dilatations z 7→ az, a ∈ C.
These are best analysed in polar coordinates z = reiϕ , in terms of which l0 = − 2r ∂r + 2i ∂ϕ
and ¯l0 = − 2r ∂r − 2i ∂ϕ . Thus
l0 + ¯l0 = −r∂r generates dilatations, (4.14)
i(l0 − ¯l0 ) = −∂ϕ generates rotations. (4.15)
The group of conformal diffeomorphisms on S 2 is the Möbius group SL(2, C)/Z2 = PSL(2, C).
An important property of PSL(2, C) is that it maps any 3 distinct points to any other 3 distinct
points. This will be discussed in the exercises.
For closed strings we had defined the theory on the cylinder with coordinates and metric
± −1 0
(τ, σ), ξ = τ ± σ, η = . (4.18)
0 1
To relate this to the Euclidean theory on S 2 we first perform a Wick rotation τ = −iτ 0 and
relabel τ 0 → τ . The new metric in the Euclidean coordinates (τ, σ) is
1 0
η= . (4.19)
0 1
We then define the coordinates
The map
2π 2π
ω 7→ z(ω) = e ` ω =e ` (τ −iσ) (4.21)
In particular it maps
τ = −∞ −→ z=0 (4.22)
τ = +∞ −→ z = ∞. (4.23)
This property will be crucial when considering asymptotically in- or outgoing states in scatter-
ing amplitudes and is the basis for the famous operator-state-correspondence in CFTs, to be
discussed later.
We can furthermore identify the transformations
2π
τ 7→ τ + a ←→ z 7→ e ` a z (dilatation), (4.24)
−i 2π
` b
σ 7→ σ + b ←→ z 7→ e z (rotation). (4.25)
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 72
The geometric action of l0 + ¯l0 and i(l0 − ¯l0 ) is in perfect agreement with their relation to the
Hamiltonian and the momentum operator as the generators of time and spatial translations,
2π
l0 + ¯l0 : dilatation ↔H= (L0 + L̄0 ), (4.26)
`
2π
i(l0 − ¯l0 ) : rotation ↔ P = − i(L0 − L̄0 ). (4.27)
`
b.) Open strings on the strip
For open strings we have considered the worldsheet in coordinates (τ, σ) with the topology of a
strip with boundaries at σ = 0 and σ = `. By a similar conformal mapping as (4.20), but with
adjusted periodicities,
π
(τ + iσ) 7→ e ` (τ +iσ) , (4.28)
this is mapped to the upper half plane. Note that we are have changed the sign in front of σ to
ensure the conventional choice that the open string is defined on the upper as opposed to lower
half-plane. The boundary of the strip is mapped to the real line Im(z) = 0, with the half-lines
z > 0 and z < 0 corresponding to the two boundaries at σ = 0 and σ = `, respectively. The
boundary conditions now become reflection conditions for the conformal fields on the real line.
This gives rise to the concept of boundary CFT, which has developed into a rich subfield by
itself. Sadly we do not have the time to dig into this topic in more detail and will mostly be
working with CFTs on the sphere, corresponding to closed string worldsheets, in what follows.
Even though the definition of a CFT is much more general, let us first take the lagrangian
perspective, whose logic is familiar from the definition of general QFTs:
• Our starting point is a classical theory defined by an action S[φi (x)] with the specific
requirement that this action is invariant under infinitesimal conformal transformations.
• The basic objects of this theory are the fields Oi (x). By this we mean, by slight abuse of
notation, any local expression built out of the φi (x) appearing in the action and derivatives
thereof. Local fields are e.g. products or power series such as exponentials of φi (x). These
Oi (x) are also called local operators.
Importantly, the expression inside h. . .i is always time-ordered as is familiar from the treat-
ment of correlation functions in usual QFTs.
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 73
• In writing equations involving the local Oi we will always think of operator equations in
the full quantum theory, i.e. think of the operators as inserted into a time-ordered path
integral as above. For instance an equation of the form
is shorthand for
Since in this course we are mainly interested in the applications two-dimensional CFTs to string
theory we restrict the following discussion, unless states otherwise, to a d = 2 CFT
on S 2 = C ∪ ∞, with general fields of the form O(z, z̄).
Virasoro algebra is infinite-dimensional. In higher dimensional CFTs the computation of all correlators in terms
of finite data is possible in principle, but much harder in practice due to the lack of this extra symmetry.
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 74
Expanding f (z) = z + (z) + . . . gives the infinitesimal scaling behaviour for primary fields
δ,¯ Φ(z, z̄) = −(h∂z + ∂z + h̄∂z̄ ¯ + ¯∂z̄ )Φ(z, z̄). (4.35)
3) A quasi-primary field satisfies (4.33) for f ∈ P SL(2, C). In particular every primary is a
quasi-primary, but not the other way round.
Before we proceed let us define the mode expansion of two-dimensional primaries. Consider the
transformation from the worldsheet on the cylinder to S 2 = C ∪ ∞.
Suppose on the cylinder a field Φ is purely left-moving and has the mode expansion
X −
ΦL (ξ − ) = φn e−i nξ ( 2π h
` ) . (4.36)
n
See Ass. 8 for a proof. The generalisation to fields with chiral and anti-chiral pieces is obvious.
The modes φn can be obtained with the help of the residue theorem as
I
1
φn = dz Φ(z) z n+h−1 . (4.38)
2πi
The second important concept in a CFT is that of the operator product expansion (OPE).
In a general (Lorentz-invariant) QFT, the OPE is defined as an approximative expansion of two
operators Oi (xi ) and Oj (xj ) valid in the limit xi − xj → 0,
X
k
Oi (xi )Oj (xj ) = Cij (|xi − xj |) Ok (xk ). (4.39)
k
| {z }
functions in C
2 Note that in many texts on higher-dimensional CFTs the term primary is used for what we call quasi-primary.
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 75
OPEs of the above type are defined generally in QFT as convergent series in a certain open
neighbourhood of the operators.
In a d-dimensional CFT the structure of the OPE is much more powerful. This is because the
OPE In a d-dimensional CFT satisfies three key properties that rely on conformal invariance,
which we state here without proof:
• In a d-dimensional CFT the OPE of two quasi-primaries involves only other quasi-primaries
and their derivatives, the so-called descendent fields.
k
• The functional dependence of the Cij (|xi − xj |) is completely fixed by conformal invariance.
• The OPE is an exact expression, i.e. an asymptotic series with radius of convergence the
distance to the next field insertion when viewed as an operator equation.
To illustrate this let us specify to a general d = 2 CFT. It can be shown that the OPE of two
quasi-primaries φi (z) and φj (w) (taken to be chiral for brevity) can be written as
X anijk 1
φi (z)φj (w) = Cij k ∂ n φk (w), (4.40)
n! (z − w) +hj −hk −n
hi
k,n≥0
−1
2hk + n − 1 hk + hi − hj + n − 1
anijk = , (4.41)
n n
where the sum over k on the right involves only quasi-primaries. For a proof see e.g. [BP],
Chapter 2.6.3. What is important for us is the appearance of the so-called structure con-
k
stants Cij . The structure constants directly determine the 3-point functions of the CFT. Then,
by successive application of the OPE we have a chance of reducing all higher n-point functions
to lower correlators. This is the idea behind defining the CFT in terms of a finite amount of data.
Suppose furthermore that the symmetry is non-anomalous, i.e. also the measure is invariant,
because we just changed the integration variable. Note that this is not a contradiction to
the statement that the transformation with replaced by (x) is no longer a symmetry of
the theory, because S[φ0 ] and the measure Dφ0 are not invariant independently. Therefore
Z
1
Dφ e−S[φ] ∂α J α (x) = h∂α J α (x)i = 0. (4.48)
Z
To show that this indeed holds as an operator equation in the above sense we consider the
correlator Z
1
hO1 (x1 ) . . . On (xn )i = Dφe−S[φ] O1 (x1 ) . . . On (xn ). (4.49)
Z
3 The so-defined J α receives contributions both the classical action S and, in general, from the transformation
Oi → Oi + δOi . (4.50)
We now promote → (x) such that (x) vanishes at the insertion of the operators in the
correlator, (x) = 0.
x=xi
The same steps as before yield 0 = h∂α J α (x)O1 (x1 ) . . . On (xn )i i.e.
To avoid confusion with what comes next, we hasten to stress that this should really be
read as the statement that 0 = h B ∂α J α (x)O1 (x1 ) . . . On (xn )i for an arbitrary region B
R
i.e.
Z
1
− ∂α J α (x) O1 (x1 ) = δO1 (x1 ) . . . as an operator equation. (4.54)
2π B
This is the Ward-Takahashi identity, which gives a tool to compute the transformation
of a local operator by an integral over a certain operator product.
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 78
• We finally specialise to a 2d QFT, for which the Ward identitiesR can be rewritten in
a particularly neat manner. By Stoke’s theorem we can evaluate B ∂α J α (x) as a line
integral over the boundary of B ,
Z I
α
∂α J (x) = Jα n̂α . (4.55)
B ∂B
The tangential and normal line element in two dimensions take the form
dx1 dx2
t̂α = , n̂ α
= . (4.56)
dx2 −dx1
Jz = J1 + i J2 , J z̄ = J 1 − i J 2 (4.58)
z 1 1
Jz̄ = gz̄z J = 2 (J1 + i J2 ), Jz = 2 (J1 − i J2 ) (4.59)
and therefore
Z I
∂α J α (x) = −i (dz Jz − dz̄ Jz̄ ), Jz = Jz (z, z̄), Jz̄ = Jz̄ (z, z̄). (4.60)
B ∂B
Altogether the Ward-Takahashi identities for a 2-dimensional QFT take the form
I
1
δO(w, w̄) = − (dz Jz (z, z̄) − dz̄ Jz̄ (z, z̄))O(w, w̄), (4.61)
2π i ∂B
where it is important that w lies within the region B , i.e. is encircled by the contour
integral.
• Recall that in the context of the free boson on the cylinder we have established the gen-
eral result that Noether currents of conformal transformations are related to the energy-
momentum tensor. In lightcone gauge on the cylinder its non-vanishing components are
and the Noether current for a conformal transformation z → z + (z) and z̄ → z̄ + ¯(z̄) is
with the contour integral counter-clockwise both in z and in z̄ (thereby explaining the sign
difference of the second term compared to (4.61)).
Note: T (z)O(w, w̄) and T̄ (z̄)O(w, w̄) are radially ordered, i.e. |z| > |w|, |z̄| > |w̄|. This
corresponds to time-ordering inside the path integral Dφ e−S[φ] .
R
• Important conclusion:
The information about conformal transformations is encoded in the residua of the OPE
with the energy-momentum tensor T (z), T̄ (z̄)!
Let us evaluate this for primary fields of dimension (h, h̄), thereby deriving their OPE with the
energy-momentum tensor.
• From (4.35) we recall the form of the infinitesimal conformal transformation of a primary
field,
δ,¯ φ(w, w̄) = −(h∂w (w)φ(w, w̄) + (w)∂w φ(w, w̄)) − (h̄∂w̄ ¯(w̄)φ(w, w̄) + ¯(w̄)∂w̄ φ(w, w̄)).
(4.66)
This stands on the lefthand side of eq. (4.65).
4 For a proof see Di Francesco et al., Conformal Field Theory, p. 121.
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 80
h 1
T (z)φ(w, w̄) = 2
φ(w, w̄) + ∂w φ(w, w̄) + terms regular at z = w
(z − w) z−w
(4.69)
h̄ 1
T̄ (z̄)φ(w, w̄) = 2
φ(w, w̄) + ∂w̄ φ(w, w̄) + . . .
(z̄ − w̄) z̄ − w̄
• To see that T (z) has scaling dimensionR h = 2 we note that the Hamiltonian is related to
the energy-momentum tensor via H ∼ dσ T. Thus T has mass dimension 2, [T ] = [E 2 ].
• Even we do not know yet if T (z) is a primary field - in fact we will see that it is not - we
define its modes as in (4.37) via T (z) = n∈Z z −n−2 Ln , i.e.
P
I
1
Ln = dz z n+1 T (z). (4.70)
2π i
• The OPE T (z)T (w) can be computed from the known expression for the commutator
[Lm , Ln ] as
c
2 2 T (w) ∂w T (w)
T (z)T (w) = 4
+ 2
+ + .... (4.71)
(z − w) (z − w) z−w
Comment:
The computation leading to (4.71) is important by itself: After plugging the contour integral
(4.70) into the commutator one can deform the contour and read off the residue. This is discussed
on Assignment 8. This procedure holds more generally:
The information of the OPE is equivalent to the information in the commutators of the modes.
• With the help of the same type of computations one can use the OPE for T (z)φ(w) for a
primary φ(w) to derive the commutators
[Lm , φn ] = (h − 1)m − n φm+n , [Lm , φ(z)] = z m z∂z + (m + 1)h φ(z). (4.72)
• With the help of the conformal Ward identities we can now use the OPE of the energy-
momentum with itself to compute its transformations under conformal transformations:
With a little more work one can show that indeed the infinitesimal transformation (4.73)
together with the correct behaviour with respect to composition of two transformations
uniquely fixes S(z̃, z) to be of this form. For a proof see e.g. [BLT], Chapter 2.1.
• In the exercises we evaluate the Schwarzian derivative for the conformal map from the
2π 2π
cylinder to the complex plane, given by z = e ` w = e ` (τ −i σ) . This allows us to relate the
energy momentum tensor on the cyclinder and on the complex plane as
2
2π c
Tcylinder (w) = z 2 Tplane (z) − . (4.77)
` 24
The above transformation rule provides a very simple and efficient derivation of the Casimir
energy on the cylinder in terms of the central extension c of the Virasoro algebra. The starting
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 82
point is the intuitive assertion that on the complex plane the Casimir energy vanishes.5 Thus,
in view of the relation between the Hamiltonian and the energy-momentum tensor this implies
that the one-point function on the plane is zero, hTplane i = 0. Therefore
2
c 2π
hTcyl. i(w) = − . (4.78)
24 `
This beautifully matches with our earlier computation of the vacuum energy if we remember that
w = iξ − , w̄ = iξ + in terms of the Minkowski signature lightcone coordinates. This gives an extra
factor of −1 in relating the one-point function of Tcyl. (w) to the physical value of the vacuum
energy on the Minkowski signature cylinder. Altogether one finds with H = 2π ` (L0 + L̃0 ) and
`
R` − `
R` +
L0 = − 4π2 0 dσT−− (ξ ), L̃0 = − 4π2 0 dσT++ (ξ ) that the vacuum energy associated with a
single string field in Minkowski signature is
2π Z `
` 2π c
hHcyl. i = (−1) − 2 dσ(hTcyl. (w)i + hT̄cyl. (w̄)i) = − . (4.79)
` 4π 0 ` 12
Taking into account that a single string field has a conformal anomaly c = 1, this agrees with
the result hHi = 2π 1
` (−a − ã) with a = 24 for an integer-moded boson.
We have already pointed out several times that c 6= 0 signals an anomaly of the conformal
symmetry of a CFT. The precise statement is that for a 2-dimensional CFT the conformal
anomaly is given by the vacuum expectation value of the trace of the energy-momentum tensor.
In lightcone gauge this corresponds to a non-zero expectation value of T+− or, in complex
coordinates, of Tzz̄ . In (τ, σ) coordinates the statement is that
c (2)
hT a a i = R . (4.80)
12
Here R(2) the Ricci-scalar of the two-dimensional spacetime on which the CFT is defined. Since
classical conformal invariance implies T a a = 0 this indicates a Weyl/conformal anomaly.6
While for a precise proof of this important theorem we refer to [P], Chapter 3.4., we can intu-
itively understand that hT a a i must be proportional to c and to R(2) : The proportionality to c
follows from our above result that c 6= 0 is equivalent to the presence of a vacuum-energy, which
breaks scale invariance. Furthermore, non-vanishing curvature implies the notion of a typical
length scale in the theory, which again breaks scale invariance.
5 More precisely, the zero-point energy vanishes for a CFT on R2 , which is just flat infinitely extended spacetime.
This follows from the analysis in section 3.2.3. R2 is isomorphic to the complex plane C including the origin, but
without the point at infinity included. The latter would compactify C to S 2 . i.e. to a compact, curved space
on which the Casimir energy is non-zero. The complex plane C including the origin is mapped conformally to
the ’cylinder’ with the slice at τ = −∞ included, but the slice at τ = ∞ excluded. This space, which should
more precisely be called a ’cigar’, has one boundary. It is on this space that (4.78) holds. Indeed this version of
the ’cylinder’ is really the one to which our previous computation of the Casimir energy in section (4.78) applied
because when talking about the vacuum energy, we secretly choose a vacuum to begin with, i.e. include the
vacuum state at τ = −∞.
6 This is not in contradiction with (4.78) because, as explained in the previous footnote, we are really considering
the cigar with only one boundary. While for the proper cylinder R = 0, this is not true for the cigar because we
cannot choose flat coordinates globally.
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 83
Note:
By methods similar to those leading to the formal proof of (4.80) one can show that if c 6= c̃
for the left and right-moving Virasoro algebras, the theory suffers from a gravitational anomaly,
i.e. an anomaly of diffeomorphism invariance in σ because then hL0 − L̃0 i 6= 0 to shift. This
is unacceptable and must be excluded, leading to the level matching condition postulated earlier.
• To each primary field Φ(z, z̄) we can associate a state as follows7 : We again postulate that
the action of
X
Φ(z) = φn z −n−h (4.83)
n
• From the relation [Lm , φn ] = (m(h − 1) − n)φm+n for primary fields of dimension h we
deduce the following action of the Virasoro generators on the primary state |φ i = φ(0) |0 i:
i) |φ i is eigenstate of L0 with eigenvalue h,
L0 |φ i = h |φ i , Ln |φ i = 0 ∀n > 0. (4.88)
Ln as anihilators,
(4.90)
L−n as raising operators w.r.t. eigenstates of L0 .
States with the properties (4.88) and (4.89) are called highest weight states.
This establishes the important isomorphism in a 2-dimensional CFT between
While we have shown in which sense every primary operator defines a highest weight state,
the other direction follows by constructing the modes φn backwards given a state |φ i:
φ−h is defined via |φ i = φ−h |0 i and the remaining modes are constructed via [Lm , φn ] =
(m(h − 1) − n)φm+n . This automatically gives a primary field.
• The complete Hilbert space is obtained by acting with L−n , n > 0 on all highest weight
states |φj i where j labels all primary fields.
Definition 4.1. The Verma module Vhj is the span of all states of the form
k1 ···km
φj i = L−k1 . . . L−km |φj i , ki > 0 (4.91)
Pm
of conformal weight h = hj + i ki .
One can show that the states φkj 1 ···km i with k1 ≥ k2 ≥ . . . km are linearly independent.
By the operator-state correspondence one can in turn define a conformal field associated
with a general state in the Verma module Vhj . These fields are not primary themselves.
Definition 4.2. The state φkj 1 ···km i is created by a secondary = descendent field φkj 1 ···km (z)
Important lesson:
• In a general QFT, states and local fields are not equivalent. While a field is by defini-
tion local, a state carries non-local information about a full field configuration. E.g. in
the Schrödinger representation the states Ψ(φ(x), t) correspond to functionals of the field
configuration.8
8 Background on the Schrödinger representation in general Quantum Field Theory can be found e.g. in Chapter
10 of the book ’Quantum Field Theory of Point Particles and Strings’ by Brian Hatfield.
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 85
• In a CFT, on the other hand, we can map the entire spatial slice τ = −∞ to the point z = 0
In the path integral information about the state corresponding to a field configuration at
τ = −∞ is thus encoded in the insertion of an arbitrary local operator O(z) at z = 0. This
is the reason why the operator-state mapping is intimately related to conformal symmetry.
For more information about the Schrödinger representation and a path integral formulation of
the state-operator mapping we refer to [P], Chapter 2.8 and 2.9 and especially to [T], Chapter 4.6.
We have seen that the Hilbert space of a 2-dimensional CFT is specified by the spectrum of
primary fields φi and their conformal dimensions (hi , h̄i ).
If the theory is unitary, the conformal anomaly c and the spectrum is subject to the following
constraints:
• c ≥ 0,
• hj ≥ 0,
• hφ = 0 ↔ φ = 1. The only state with associated conformal dimension h = 0 is the
P SL(2, C) invariant vacuum.
This completely fixes the spacetime-dependence of one-, two- or three-point functions for
quasi-primary fields and constraints the higher correlators as follows:
i) The one-point function must vanish,
hφ(z)i = 0, (4.93)
unless hφ = 0, i.e. φ = 1.
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 86
ii) The two-point function of quasi-primaries is non-zero only if the conformal dimensions agree,
dij
hφi (zi )φj (zj )i = δhi ,hj . (4.94)
(zi − zj )2hi
If dij is non-degenerate, the fields can be normalised such that dij = δij .
iii) The three-point function is completely fixed up to the appearance of a structure constant
Cijk ,
C123
hφ1 (z1 )φ2 (z2 )φ3 (z3 )i = h1 +h2 −h3 h2 +h3 −h1 h1 +h3 −h2
. (4.95)
z12 z23 z13
These structure constants are related to the coefficients Cij k in the OPE of two quasi-
primaries given in eq. (4.40) as
Cijk = Cij l dlk . (4.96)
iv) All higher n-point functions are functions of (n − 3) P SL(2, C) invariant cross-ratios. This
is because we can use P SL(2, C) transformations, which map any three points on the sphere
to any other three points, to eliminate the spacetime dependence of the correlator to (n − 3)
combinations of coordinates, which must in addition be invariant. The cross-ratios are
discussed on Assignment 8.
In fact, with the help of the OPE and exploiting the associative structure of the correlation func-
tions one can reduce any higher n−point correlator to data involving the 3-point correlators and
so-called conformal blocks, which depend only on the conformal anomaly c and the conformal
dimensions (hi h̄i ) of the quasi-primaries involved (see e.g. [BP], Chapter 2.12 and 2.13 for more
information and references). In a 2-dimensional CFT these conformal blocks can be evaluated
very explicitly, even though this may be hard in practice. This explicit evaluation makes use
of the infinite-dimensional Virasoro algebra. Combined with the results from section (4.6) on
the structure of the Hilbert space of a 2-dimensional CFT this is summarised in the remarkable
theorem:
A 2-dimensional CFT is completely specified by its conformal anomaly c, the spectrum of primary
fields φi (z, z̄) of dimensions {hj , h̄j } and their OPE coefficients Cij k .
In particular, the definition of a 2-dimensional CFT need not involve a Lagrangian. While many
examples of 2-dimensional CFTs even without an action have been found, a complete classifica-
tion of all 2-dimensional CFTs is, to date, not known.
In QFT normal ordering is usually defined as moving all creation operators to the left.
Indeed one can rigorously prove that this notion of normal ordering is equivalent to picking out
the non-singular term in the radially ordered OPE, i.e.
The proof can be found e.g. in [BP], Chapter 2.7. and will not be presented in this course.
As in a general QFT one can inductively use this to relate time-ordered and normal-ordered
products of more than two fields by replacing any pair of them by their two-point correlator, e.g.
: φ1 (z1 )φ2 (z2 )φ3 (z3 ) : = φ1 (z1 )φ2 (z2 )φ3 (z3 )
−φ1 (z1 ) hφ2 (z2 )φ3 (z3 )i − φ2 (z2 ) hφ1 (z1 )φ3 (z3 )i (4.99)
−φ3 (z3 ) hφ1 (z1 )φ2 (z2 )i
X
≡ φ1 (z1 )φ2 (z2 )φ3 (z3 ) − subtractions,
where the subtractions are obtained by successively taking all pairs of fields and replacing their
product by its expectation value.
¯
• Let us first check that the classical equation of motion ∂ ∂X(z, z̄) = 0 holds
R at the
δ
quantum
level as an operator equation inside the path integral. Indeed, since DX δX ... is the
integral over a total derivative, it vanishes and we conclude
Z Z
1 δ −S 1 δS 1
¯
DXe−S
0= DX e =− = 0
∂ ∂X(z, z̄) . (4.101)
Z δX Z δX πα
• From the decomposition X(z, z̄) ≡ X(z) + X̄(z̄) we find the conserved chiral and anti-
chiral worldsheet currents j(z) := i∂X(z) and j̄(z̄) := i∂¯X̄(z̄). From a CFT perspec-
tives these are well-behaved fields.
• In fact, X(z, z̄) is not a (quasi-) primary field. This is evident already from the form
of its two-point function. To compute this we first show that
α0
hX(z, z̄)X(w, w̄)i = − log(|z − w|2 ). (4.104)
2
This is familiar result that the Green’s function in two dimensions is logarithmic. Obviously
this two-point correlator is not of the form (4.94) as would be required for a quasi-primary.
In other words, X(z, z̄) does not satisfy the defining property (4.34) for a primary field.
• Correspondingly, the chiral correlators take the form
α0
α0
hX(z)X(w)i = − log(z − w), X̄(z̄)X̄(w̄) = − log(z̄ − w̄). (4.105)
2 2
• In the quantum theory the energy-momentum tensor is defined as the normal ordered
expression
1
T (z) := − 0 : ∂X(z)∂X(z) : =⇒ hT (z)i = 0. (4.106)
α
• The currents ∂X(z), ∂¯X̄(z̄) are primary fields of conformal dimension (1, 0) and (0, 1)
respectively.
10 To see this we note that ∂z z̄1 = 0 away from the origin, while at the same time we can compute d2 z ∂z z̄1
R
via Stoke’s theorem (4.60). Using d z = 2 dx dx the latter reads 2 d x ∂α J = d z (∂z J + ∂z̄ J z̄ ) =
2 1 2
R 2 α
R 2 z
−i (dzJ z̄ − dz̄J z ). Then with J z = z̄1 , J z̄ = 0 and taking into account the opposite orientiation for the anti-
H
Note that [Lm , αn ] = −nαm+n , which had been derived previously, is the commutator
version of the statement that h = 1.
• The same methods of exploiting Wick’s theorem yield the OPE of the energy-momentum
tensor with itself, as spelled out on Assignment 9,
1/2 2T (w) ∂T (w)
T (z)T (w) = + + + ... (4.113)
(z − w)4 (z − w)2 (z − w)
This confirms our earlier finding that c = 1 for one integer-moded real boson.
• Another important primary field in the X-CFT is the exponential
Fk =: eikX(z,z̄) : = : eikX(z) eikX̄(z̄) : . (4.114)
By Wick’s theorem one computes the following OPE by expanding the exponential, as
performed again in Assignment 9,
α0 1
∂X(z) : eikX(w) : = −i k : eikX(w) : + ..., (4.115)
2 (z − w)
0 2
α k /4 ∂w
T (z) : eikX(w) : = 2
+ : eikX(w) : +..., (4.116)
(z − w) (z − w)
0
: eiαX(z) :: eiβX(w) : = (z − w)α (αβ) : ei(αX(z)+βX(w)) : (1 + O((z − w))) .(4.117)
α0 2
The OPE with T (z) proves that : eikX(z,z̄) : is primary with h = 4 k = h̄.
CHAPTER 4. CONFORMAL FIELD THEORY (CFT) 90
The ghost field cz (z) is a worldsheet vector, i.e. a spin 1 current. Its conformal dimension is
h = −1 as this corresponds to the mass dimension of a vector.
Correspondingly the anti-ghost bzz (z) is two-tensor current (spin 2) with h = 2.
More generally, one considers the so-called (bc)-CFT with action
Z
1
d2 z b(z)∂¯z̄ c(z) + anti-chiral .
Sbc = (4.119)
2π
It is easy to see that this defines a CFT if the fields are of the following nature: b(z) is primary
of weight hb = λ, c(z) is primary of weight hc = 1 − λ, for some λ ∈ R. By the usual methods
one finds the energy-momentum tensor
The OPE of T (z) with itself shows that the (bc)-central charge is
(and similarly for the anti-chiral piece). See Assignemnt 10 for more details. The string theoretic
ghost-system is therefore the special case λ = 2, c = −26 of the bc-CFT.
• We are now in a position to take a more abstract perspective: The requirement ctot = 0
can also be met by considering more general CFTs and replacing (some of) the 26 copies
of the X-CFT therewith. The non-free CFTs are called ”internal” sectors. E.g. one can
take the tensor product of only 4 copies of the X-CFT (corresponding to propagation of
the string in R1,3 ) and a tensor product of more complicated CFTs with c = 22. Later
on we will discuss the idea of compactification by considering as target space not flat
26 dimensions, but a space-time of the form R1,3 × M with M some internal compact
manifold (here of dimension 22). The ”internal” CFT can then be thought of as describing
the string propagation on this internal manifold M. Celebrated examples of such CFTs
include so-called Gepner models, which are known to describe the string propagation on
certain Calabi-Yau manifolds appearing compactifications of the superstring.
Even though this is not yet apparent from what we have learned, the secret of the worldsheet
approach to string theory is the insight that space-time is only a manifestation of an abstract
CFT on the worldsheet. What is important is not that space-time is well-defined in the sense of a
smooth manifold, but that the CFT that describes the propagation of the string on that space is
well-defined. This implies that strings can consistenly propagate even on certain singular spaces,
e.g. orbifolds of the form M/G with G the action of a finite group, as long as the underlying CFT
is non-singular. If you want to learn more about this fascinating way to think about the nature
of space-time within string theory, you can try already at this stage to read to the introduction
to Brian Greene, String Theory on Calabi-Yau manifolds, http://arXiv.org/pdf/hep-th/9702155,
even though you might wish to wait until we have introduced the superstring later in this course.
• For the X-CFT the requirement of BRST-invariance gives the physical state condition
Lm |φ i = 0, L̃m |φ i = 0, ∀m > 0 (4.123)
(L0 − 1) |φ i = 0, (L̃0 − 1) |φ i = 0. (4.124)
This establishes the central insight:
µ
• The field : eikµ X (z,z̄)
: is always primary as shown above.
4
• In order to satisfy h = 1 we need k 2 = −m2 = α0 . This gives the mass shell condition
for the lowest-lying state.
Indeed one can rigorously show that the so-defined state |k i is the momentum eigenstate
with momentum k,
r I
µ 2 dz ν
α0 |k i = i ∂X µ (z) : eikν X (0,0) : |0 i
α0 2πi
r I
OPE 2 dz i 0 µ1 ν
= i − αk : eikν X (0,0) : |0 i
α0 2πi 2 z
r
α0 µ
= k |k i. (4.126)
2
Here we made use of the OPE (4.115).
ii) The fields at the first excited level are created by the following vertex operator:
Summary:
String Interactions
• The basic object to compute in string perturbation theory is the S-matrix, defined as
the amplitude for the scattering of asymptotic in- and out-states. E.g. scattering of two
in-states into two out-states is described by worldsheets of the following form for the closed
and open string, respectively:
• Just from drawing the worldsheets we note a key property of string scattering - the ab-
sence of definite local interaction vertices. This fundamentally distinguishes string
scattering from the scattering of point particles in QFT as is evident by comparing the
above worldsheets with a 2-to-2 Feynman graph, e.g. in QFT. The string worldsheet
always looks locally like the worldsheet of a freely propagating string, and only global
properties of the worldsheet capture interactions.
Put differently, the string interactions are encoded already in the free two-dimensional CFT
without adding arbitrary further terms in the worldsheet action.
This crucial difference compared to point particle QFTs in target space cannot be overes-
timated - after all the specification of interactions by a QFT Lagrangian adds a degree of
arbitrariness into the theory that makes it hard to accept this as a fundamental theory.
• In the following we consider the path integral with a Euclidean metric on the worldsheet.
In fact, the only worldsheets for which a globally non-singular Lorentzian signature metric
exists are the torus T 2 , which has no boundaries, or the cylinder. This is because a
globally-defined Lorentzian metric requires a globally non-singular Killing vector field that
93
CHAPTER 5. STRING INTERACTIONS 94
distinguishes the time coordinate from the spatial ones. Such Killing vector fields exist only
for the mentioned surfaces. Consider e.g. the surfaces above arising in 2-to-2 scattering:
Due the merging and splitting of the in- and out-going pants there is a bifurcation of the
”time”-coordinate and thus no globally defined time-like Killing vector field.
• By means of the operator-state correspondence - the central lesson from the previous CFT
chapter - the in- and out-states are encoded in the path integral via insertion of the corre-
sponding vertex operators on the worldsheet.
As the simplest example consider the worldsheet describing 1-to-1 closed string scattering,
with Euclidean coordinates and metric
w = τ − iσ, ds2 = dw dw̄. (5.1)
It has the topology of a cylinder, with the spatial slices at τ = ±∞ corresponding to the
in- and out-states:
2π
The conformal map z = e ` w maps this to a sphere, with the in- and out-states inserted
at the two poles, or via the stereographic projection to C ∪ ∞ with insertions at the origin
and at z = ∞:
∼
=
• By similar conformal maps the above closed 2-to-2 scattering process can be mapped to an
S 2 with 4 marked points corresponding to the insertion of the 4 vertex operators.
Analogously for open strings the scattering worldsheet is mapped to a disk with insertions
on the boundary:
CHAPTER 5. STRING INTERACTIONS 95
Equivalently we can consider the upper half plane with 4 vertex operators inserted on the
real line.
Summary: By conformal symmetry string scattering is described by compact worldsheets
with insertions of vertex operators for all in- and out-states.
• Our notation will be to describe by Vj (k) the vertex operator associated with the j-th state
µ µ
with momentum kin = (E, ~k) or, equivalently, kout = −(E, ~k).
• The above examples include only the simplest compact worldsheets with 4 insertions, but
in the path integral we must sum over all possible topologies.
In the oriented string all worldsheets are orientable.1 In characterising the types of
worldsheets we need to consider we make use of the following
Theorem 5.1. Every compact, connected, oriented2 two-dimensional manifold is topolog-
ically equivalent to a sphere with g handles and b holes representing the boundaries.
As some examples consider the following closed worldsheets
or open worldsheets
Note that the disk is topologically equivalent to a sphere S 2 with one hole, i.e. with one
boundary,
∼
=
1 By contrast in orientifold theories we include non-oriented worldsheets. Recall that such unoriented string
and likewise the cylinder can be viewed as a sphere with two holes etc.
• A topological invariant of two-dimensional oriented surfaces3 is the
Euler number χ = 2 − 2g − b. (5.2)
By the famous Riemann-Roch-theorem this topological invariant is computed by the
expression
1
Z
2
√ (2) 1
Z
χ= d ξ hR + ds k (5.3)
4π Σ 2π ∂Σ
with R(2) the Ricci scalar of the surface and k the geodesic curvature of the boundary.
R
1
√ 1
d2 ξ hR + 2π
R
• Recall that we can add to the string action the term λ 4π Σ ∂Σ
ds k with
λ ∈ R without affecting the dynamics. This term then keeps track of the topology of the
worldsheet in the path integral.
Putting everything together we arrive at the following heuristic expression for the S-matrix
describing the scattering of n string states (viewed as an expression before gauge fixing):
R n
X DXDh −SX −λχ Y
Sj1 ...jn (k1 , . . . , kn ) = e Vji (ki ). (5.4)
Voldiff.×Weyl i=1
compact topologies
Note that we divide by the volume of the group of diffeomorphisms and Weyl transformations
as this group will factor out in the process of the Faddeev-Popov procedure. The particulars of
this gauge fixing, however, have to be reconsidered in the presence of vertex operators.
Comments:
1) Let us define the quantity
gs = eλ . (5.5)
Then the expansion in terms of worldsheets of different topology is governed by factors of
−(2−2g−b) −(2−2g−b−c)
gs−χ = gs (for the oriented case and correspondingly gs−χ = gs for the
non-oriented theory) in the path integral. For λ << 0 we observe that gs << 1. Then the
sum over topologies defines a perturbative series.
2) Consider a closed string worldsheet and add a handle to it, e.g.
3) Similarly add a boundary to an open worldsheet, thereby decreasing the Euler number by 1,
The physical interpretation - emission and reabsorption on an open string - indentifies the
Integration over the insertion of the vertex operator, d2 zi , ensures invariance of the full
R
1) First, as stressed several times by now, for the subset of diffeomorphisms and Weyl rescalings
given by the conformal Killing vectors the change of the metric under the diffeomorphism can
be undone by the Weyl rescaling and thus does not lead to a new metric. These conformal
Killing vectors are in the kernel of the differential operator P , i.e. they satisfy
P · = 0. (5.12)
Recall furthermore that these are in 1-to-1 correspondence with the normalisable zero modes
of the Faddeev-Popov ghosts.
To avoid overcounting in the path integral one must not integrate over such conformal Killing
vectors. In the presence of vertex operator insertions one can impose a further gauge fixing
condition by fixing the position of these vertices on the worldsheet. Depending on the number
of vertex operators this partially or completely removes the residual symmetry.
CHAPTER 5. STRING INTERACTIONS 98
2) For 2-dimensional surfaces of non-trivial topology not every metric hab can be reached from
a given reference metric ĥab by the transformation ĥ → ĥζ . Consider the operator
This is the adjoint of P with respect to the positive definite measure induced by the inner
products
√
Z
(2)
(δh |δh ) = d2 ξ −hhab hcd δh(1)
(1) (2)
ac δhbd (5.14)
and
√
Z
(1) (2) (2)
hξ ,ξ i= d2 ξ −hhab ξa(1) ξb . (5.15)
Now suppose the exists a symmetric traceless 2-tensor t0 in the kernel of P † , i.e. such that
P † t0 = 0. Then for all vectors ξ a
Since P · ξ is orthogonal to t0 ∀ξ, no ξ a can be found such that P · ξ = t0 . Such t0 are called
metric moduli.
Definition 5.1. Deformations of the metric of a differentiable manifold that cannot be ab-
sorbed by a diffeomorphism or Weyl rescaling are called metric moduli.
Comparison with the equations of motion (3.146) of the Faddeev-Popov anti-ghosts reveals
that the metric moduli are in 1-to-1 correspondence with the normalisable zero-modes of the
anti-ghosts.
In the path integral, the sum over the metric moduli must be carried out extra.
Note:
µ = dim(ker P † ), (5.18)
κ = dim(ker P ) (5.19)
the number of metric moduli and conformal Killing vectors, respectively4 . Then5
µ − κ = −3χ = 6g + 3b − 6. (5.20)
Furthermore,
The proof can be found e.g. in [BLT], Chapter 6.2. or in [P], Chapter 5.3.
Examples:
1) The Riemann surface of maximal Euler number is the sphere S 2 with χ = 2. From the
Riemann-Roch theorem we read off that µ = 0, i.e. every S 2 is conformally diffeomorphic
to flat space. Furthermore κ = 6 = dimR (P SL(2, C)), in agreement with the fact that
the conformal group of S 2 is P SL(2, C) if we treat the holomorphic and anti-holomorphic
coordinates z and z̄ as complex conjugates (as we do in the geometry of Riemann surfaces).
2) As the next important example consider a torus T 2 with Euler number χ = 0. There are
many representations of the torus. The most intuitive one is as T 2 = S 1 × S 1 .
(σ 1 , σ 2 ) ∼
= (σ 1 , σ 2 ) + 2π(m, n) m, n ∈ Z. (5.23)
With not too much work one can show that modulo diffeomorphism and Weyl rescalings the
most general metric on T 2 can be brought into the form
The complex number τ is the modulus. Since we count real degrees of freedom we conclude
that µ = 2.
Since χ = 0, Riemann-Roch implies that κ = µ, i.e. we expect two real conformal Killing
vectors.
In fact the globally defined global transformation σ a → σ a + v a leaves the metric and period-
icity of the coordinates invariant. We have thus established that the conformal group of T 2
is given by U (1) × U (1).
In the tutorials we will see that the shape of a torus does not change under a P SL(2, Z)-
transformation
aτ + b
τ→ . (5.25)
cτ + d
This restricts the inequivalent values of τ to the so-called fundamental domain. A convenient
choice of the fundamental domain is |τ | ≥ 1, − 21 ≤ <(τ ) ≤ 21 .
The integral over the degrees of freedom of the metric must therefore include also an integral
over the possible values of the moduli, i.e. their fundamental domain F .
Definition 5.3. The quantity
1 bd
µα,a b = h ∂tα had (5.28)
2
is called Beltrami differential.
• To avoid overcounting we impose an extra gauge fixing condition to fix the residual confor-
mal Killing vector transformations. In the presence of a sufficient number of vertex operator
insertions it is convenient to use the κ Killing vectors to fix κ positions of vertex operators.
Remark:
Alternatively one can divide the non-gauge fixed expression by the volume of the conformal
group. In particular if there are not enough vertex operators to fix the conformal Killing
transformations completely one divides by the volume of the remaining subgroup of the
conformal group. If the volume of the conformal group or a subgroup by which we divide is
CHAPTER 5. STRING INTERACTIONS 101
infinite, then the corresponding string correlator vanishes. E.g. on the sphere the conformal
group is P SL(2, C) and has infinite volume. Thus, the oriented closed string 0-point, 1-
point and 2-point function vanishes at tree-level, corresponding to the absence of a vacuum
energy, tadpole and, respectively, mass renormalisation at tree-level. For the oriented open
string, the conformal group on the disk is P SL(2, R) and the same statements hold for the
open 1- and 2-point function at tree-level. On the other hand, the closed string 1-point
function on the disk need not vanish as insertion of a closed string vertex operator in the
bulk of the disk only leaves a finite volume U(1) subgroup of P SL(2, R) unfixed. Thus
there can (and in fact will) be closed string tadpoles in the presence of D-branes.
with κ positions ξi fixed at ξˆi . More precisely one has to compute the modified Faddeev-Popov
determinant ∆FP .
via insertion of
Z
1 = ∆F P (h) Dζ δ(h − ĥζ ). (5.31)
R
Performing the Dh integration and exploiting gauge invariance as in section (3.3.1) this becomes
Z
Z = DX Dζ ei SP [X,ĥ] ∆F P (ĥ). (5.32)
the help of the integral representation of the delta-function and the shorthand notation (β|P · ) =
With p
R 2
d ξ ĥ βab (P · )ab this is
Z Z
∆F P (ĥ)−1 = Da DΛ Dβab e2πı(β|−P ·−2Λ̃ĥ) (5.34)
Z Z
0
0
= Da Dβab e−2πi(β |P ·) , (5.35)
0
where the integration over Λ restricts βab to be symmetric and traceless.
Finally we apply the general rule that if the replace the integration variables in the above expression for
∆F P (ĥ)−1 by (suitably normalised) Grassmann-valued fields,
0
a → ca , βab → bab , (5.36)
CHAPTER 5. STRING INTERACTIONS 102
we obtain ∆F P (ĥ) as
Z 1 Z q
∆F P (ĥ) = Db(ab) Dcd exp d2 ξ −ĥ b · (P · c) . (5.37)
4π
Now we consider the S-matrix with vertex operator insertions and a moduli dependent metric. According
the discussion above the gauge fixing factor to be inserted into (5.26) is
Z Z Y
1 = ∆F P (ĥ, ξˆia ) dµ t Dζ δ(ĥ − ĥ(t)ζ ) δ(ξˆia − (ξˆiζ )a ). (5.38)
(a,i)∈f
The last insertion fixes the position of κ vertex operators to the position (ξˆiζ )a , which depends on the
particular gauge choice, and
µ
X
ĥ(t)ζ = ĥ + δtα ∂tα ĥ + P · + 2Λ̃ h. (5.39)
α=1
xa,i a (ξ̂ia )
P
×e2πi (a,i)∈f . (5.41)
Again we replace the integration variables by suitably normalised Grassmann fields,
0
a → ca , βab → bab , xa,i → ηa,i , δtα → γ α (5.42)
and deduce
Z Z
α
1 ∂tα ĥ)+ (a,i) ηa,i ca (ξia )
P
∆F P (ĥ, ξˆia ) = Db Dc Dµ γ Dκ η e− 4π (b|P ·c−γ . (5.43)
Dµ γ Dκ η.
R
All that is left is to perform the Grassmann integral
where
p
d2 ξ ĥ bab (∂α ĥ)ab in terms of the gauge fixed metric and ∂α ĥ := ∂tα ĥ and
R
• (b|∂α ĥ) =
• (a, i) ∈ f refers to the set of fixed vertex operator positions.
In total the gauge fixed S-matrix takes the form
µ
XZ Y Z
Sj1 ...jn (k1 , · · · , kn ) = dt α
DX Db Dc e−SX −Sgh −λχ × (5.45)
top. α=1
Y Z µ n q
Y 1 Y
b ˆ
Y
dξia (b|∂α ĥ) c (ξj ) ĥ(ξi )Vji (ki , ξi ).
α=1
4π i=1
(a,i)∈f
/ (b,j)∈f
This looks more scary than it is - after all, what we have done can simply be summarised as the
following take-home message:
CHAPTER 5. STRING INTERACTIONS 103
• For each conformal Killing vector we place one vertex at ξˆi : Vji (ki , ξˆi ) together with a
ghost field ca (ξˆi ) inserted, without integrating over the position ξˆi . Alternatively we can
keep the integral over the positions, dξˆia Vji (ki , ξˆi )ca (ξˆi ), but divide by the volume of the
R
CKV group.
1
(b|∂α ĥ) and integrate over the fundamental domain F dtα .
R
• For each modulus we insert 4π
1
Note that the insertion 4π (b|∂α ĥ) can be written in terms of the Beltrami differentials
introduced above as
Z
1 1
(b|∂α ĥ) = d2 zbzz µα,z z̄ + bz̄z̄ µα,z̄ z . (5.46)
4π 4π
More on the use of Beltrami differentials and the philosophy behind the gauge fixing can
found e.g. in [P], Chapter 5.4.
Thus the S-matrix describing the scattering four closed string tachyons at tree-level is
Z 3
Y
S(k1 , k2 , k3 , k4 ) = gc4 e−2λ d2 z4 h : c̃ c ei ki X : (zi , z̄i ) : ei k4 X : (z4 , z̄4 )iS 2 , (5.48)
C2 i=1
where as always the zi inside hi are radially ordered. Since the X-CFT and the (bc)-CFT are
independent the problem factorises in the computation of the following two correlators,
i) h: ei k1 X(zi ,z̄i ) : . . . : ei k4 X(z4 ,z̄4 ) :iS 2 and
ii) h: c̃ c(zi , z̄i ) : . . . : c̃ c(z3 , z̄3 ) :iS 2 .
ad i) The first correlator reduces to a Gaussian path integral with the result
m m
Y X Y 0
h ei ki X(zi .z̄i ) i = const. × δ( ki ) |zj − zl |α kj ·kl . (5.49)
i=1 i=1 j<l
While a more through derivation is reserved to the tutorials, we can understand the
structure by bringing the correlator into the form
Ym Z 1 Z
h ei ki X(zi ,z̄i ) i = DX exp d 2
z X(z, z̄) ∂ ¯ X(z, z̄) + iJ(z, z̄) X(z, z̄) ,
∂
i=1
2πα0
X
J(z, z̄) = ki δ (2) (z − zi , z̄ − z̄i ). (5.50)
i
This follows from general expression for 3-point correlator in CFT together with h = −1
for c,
C123
hc(z1 ) c(z2 ) c(z3 )i = −1−1+1 −1−1+1 −1−1+1 . (5.54)
z12 z13 z23
CHAPTER 5. STRING INTERACTIONS 105
In combination these two results give the following zi dependence of the integrand appearing in
S(k1 , k2 , k3 , k4 ),
0 0 0 0 0 0
|z12 |2+α k1 ·k2 |z13 |2+α k1 ·k3 |z23 |2+α k2 ·k3 |z34 |α k3 ·k4 |z14 |α k1 ·k4 |z24 |α k2 ·k4 . (5.55)
By P SL(2, C)-invariance of the final amplitude we can fix z1 , z2 , z3 to convenient positions, e.g.
z1 = 0, z2 = 1, z3 = ∞.
In particular in the limit z3 → ∞ all terms involving z3 cancel with the help of the kinematic
relations k1 + k2 + k3 + k4 = 0 and ki2 = α40 .
What remains is therefore the non-trivial integral
Z
0 0
I = d2 z4 |z4 |α k1 ·k4 |1 − z4 |α k2 ·k4 . (5.56)
These satisfy
4 4
X X for 4 tachyons 16
s+t+u=− ki2 = Mi2 ≡ − . (5.58)
i=1 i=1
α0
Therefore the integral can be expressed as
Z
0u 0t
I = d2 z|z|−α 2 −4 |1 − z|−α 2 −4 ≡ J(s, t, u) (5.59)
and we find
X
S(k1 , k2 , k3 , k4 ) = i gc4 CS2 (2π)26 δ (26) ( ki )J(s, t, u). (5.60)
i
The constant prefactor CS2 comprises all constants which we have swept under the rug in the
computation and will be fixed later by unitarity.
The function J(s, t, u) appearing in the integrand can be represented via Euler Γ-functions
Z ∞
Γ(z) = dt tz−1 e−t , z ∈ C. (5.61)
0
From standard texts on complex analysis we quote the following properties of the Γ-function:
• Γ(z) is convergent for <(z) > 0 and has a unique analytic continuation to C.
• From Γ(.z +1) = z Γ(z), Γ(1) = 1, which is easily derived via integration by parts, it follows
that the Γ-function coinicides with the factorial for natural numbers, Γ(n) = (n − 1)! for
n ∈ N.
CHAPTER 5. STRING INTERACTIONS 106
α0
Of physical importance are the poles of Γ(−1 − 4 s), located at
α0 4
−1− s = −n, i.e. s= (n − 1) ∀n ∈ N0 . (5.66)
4 α0
As is well-familiar from scattering theory in QFT, these are the resonances due to exchange
of string states of mass m2 = α40 (n − 1), with the poles resulting from the propagator of
the intermediate states,
1
∼ . (5.67)
s − m2
That the full tower of string excitations appears in the S-matrix, c.f. (5.66), just means
that we sum over infinitely many exchanged particles,
1
R∞ 2
6 This can be derived via the trick |z|2a−2 = Γ(1−a) 0 dt t−a e−|z| t. Together with the analogous expression
for|1−z|2b−2 the integral can be written as a Gaussian integral in the coordinates x, y for z = x+iy. Evalutation of
Γ(x)Γ(y)
the Gaussian then leads to the quoted result if we recognize on the way the Euler Beta-function B(a, b) = Γ(x+y) ,
R1 x−1 y−1
which in turn has the representation B(x, y) = 0 dtt (1 − t) .
CHAPTER 5. STRING INTERACTIONS 107
In other words, the amplitude knows about the entire spectrum of string excitations, a fact
which is quite remarkable and a highly non-trivial consistency check of the framework.
• By inspection the Virasoro-Shapiro amplitude is symmetric in t and s (and u). So it also
allows an expansion for fixed s in t, corresponding to the t-channel:
• The Virasoro-Shapiro amplitude can therefore be written as a sum over infinitely many
s-channel poles or over infinitely many t-channel poles. This property is called duality. It
holds more generally for string amplitudes and distinguishes string amplitudes from point
particle QFT amplitudes in the following sense. In QFT one has to sum over finitely many
s- and t-channels,
(5.70)
In string theory, one single string diagram at genus g corresponds to what would be described
by several Feynman graphs at a given perturbative order of different topologies.
A closer look in particular at the functional determinants in the X-sector, see the tutorial, reveals
that CS 2 is a universal constant valid for all (3 + n)-point functions on the sphere. In particular
it is the same constant that appears also in the 3-point function for scattering of 3 tachyons.
This amplitude is easily computed with our methods,
X
SS2 (k1 , k2 , k3 ) = i gc3 CS2 (2π)26 δ (26) ( ki ). (5.72)
i
Unitarity now allows us to fix CS 2 by demanding that each pole in the s-channel of the 4-point
function give the same amplitude as two 3-point amplitudes. Consider the first pole at s = − α40 .
Interpretating the 4-point function at s = − α40 as a sequence of two 3-point functions is equivalent
to the ansatz
d26 k SS2 (k1 , k2 , k) SS2 (−k, k3 , k4 )
Z
4
S(k1 , k2 , k3 , k4 ) = i 26 2 4 + terms analytic at 0 (5.73)
(2π) −k + α0 + i α
CHAPTER 5. STRING INTERACTIONS 108
Near the pole s = − α40 the 4-point function takes the form
8π i CS2 gc4
S(k1 , k2 , k3 , k4 ) = − (2π)26 δ (26) (k1 + k2 + k3 + k4 ). (5.74)
α0 s + 4
This is most easily seen directly from the representation (5.56): The pole in s comes from the
behaviour of z → ∞. There the integral can be evaluated with the help of the residue theorem.
Plugging (5.74) into our factorisation ansatz (5.73) we deduce
8π 1
CS2 = . (5.75)
α0 gc2
Ultraviolet behaviour
Of special interest is the ultraviolet behaviour of the string scattering amplitude as this is the
regime that probes the stringy nature of the excitations. Kinematically this is the limit
s
s → ∞, t → ∞, fixed, (5.76)
t
corresponding to scattering at high energies and at fixed angle θ.
E.g. for massless particles scattering at fixed
angels would be described by the following
choice of momenta:
√
s
k1 = (1, 1, 0, . . . , 0),
√2
s
k2 = (1, −1, 0, . . . , 0),
√2
s
k3 = (1, cos(θ), sin(θ), 0, . . . , 0),
√2
s
k4 = 2 (1, − cos(θ), − sin(θ), 0, . . . , 0).
This limit is called “hard-scattering” limit.
To describe the behaviour of the amplitude in this regime we make us of the asymptotic behaviour
of the Γ-function,
and deduce
α0
→ S(k1 , k2 , k3 , k4 ) u exp(− (s ln s + t ln t + u ln u)) as |s|, |t| → ∞ and s/t fixed. (5.78)
2
This establishes an exponential fall-off of the amplitude.
Lesson:
String amplitudes fall off much faster than point-particle amplitudes in QFT.
For comparison, the amplitude for exchange of a spin-J particle in QFT falls off like a power-law,
tJ
A∼ . (5.79)
s − M2
CHAPTER 5. STRING INTERACTIONS 109
• The exponential fall-off of string amplitude is consistent with the s-channel picture (i.e.
the power-law behaviour near the zeroes of the propagator) because we sum over infinitely
many states.
• It is (partially) responsible for UV finiteness when considering strings running in the loop.
√
• Strings behave differently because high-energy processes probe the string length α0 . In
this regime the string is non-local due to its extended structure.
One can now perform a systematic analysis of the closed string scattering amplitudes at tree-level,
in particular of the massless graviton gµν , the B-field Bµν and the dilaton φ. The interactions
can be compared with the vertices from a low-energy effective action in the 26-dimensional
ambient spacetime. This effective action describes the low-energy point particle regime of string
theory. In order to describe the interactions well below the string scale Ms we include only the
massless excitations. In the bosonic theory we could also include the tachyon, but in the full
superstring theory this excitation is absent anyway so including the tachyon is only for reasons
of demonstration. In this fashion one can explicitly confirm at the level of interactions the claim
that the spin-two excitation gµν describes the graviton of Einstein gravity. We will soon find an
alternative method to arrive at the same conclusion.
• Oriented open string amplitudes at tree-level are described by correlators on the disk D2
with (g, b) = (0, 1), which is conformally equivalent to the upper half plane. The conformal
group is P SL(2, R).
• The open string vertex operators are inserted on the boundary of D2 or, respectively, on
the real line, which forms the boundary of the upper half plane. They depend on the real
variable y parametrizing, say, the real line.
• An important difference to the closed string sector is that the boundary of D2 admits
the notion of ordering of the vertex operator insertions. We must therefore sum over all
possible orderings of the vertex operators (up to one overall permutation symmetry).
• For open strings on a stack of N coincident D-branes the full vertex operator carries the
Chan-Paton labels. Recall that an open string at oscillation level n with both ends on a
stack of N coincident D-branes is characterised by
N
X
|k; n; a i = |k; n; ij iλaij , λaij = (λaij )† , a = 1, . . . , N 2 . (5.80)
i,j=1
CHAPTER 5. STRING INTERACTIONS 110
Following this procedure the 4-tachyon amplitude amplitude can be computed, mutatis mutan-
dis, in a manner similar to its closed string counterpart. The resulting Veneziano amplitude
takes the form
One can now systematically compute the scattering amplitudes involving the level-one states,
i.e. the gauge bosons along the D-brane, and the tachyonic ground state as well the massive
string excitations. Taking into account the ordering prescription for the vertex operators and
the Chan-Paton structure one finds explicitly that the interactions agree with the structure
of a U (N ) gauge theory with extra matter in suitable representations of the gauge group. In
particular, the tachyonic and positive-mass excitations from open strings with both ends on the
stack of D-branes give rise to states in the adjoint representation of U (N ).
E.g. the scattering amplitude involving one gauge boson with momentum k1 and polarisation
vector ζ1 and two open tachyons with momenta k2 and k3 takes the form
S(k1 , ζ1 ; k2 , k3 ) ' (2π)(26) δ (26) (k1 + k2 + k3 ) Tr(λ1 [λ2 , λ3 ]). (5.83)
This corresponds to the cubic interaction vertex derived from an effective action in the 26-
dimensional ambient spacetime of the form
Z
1
− Tr(Dµ ϕ Dµ ϕ) (5.84)
R1,25 2
where
ϕ ≡ ϕa λa (5.85)
describes the tachyon in the adjoint of U (N ) with covariant derivative
Dµ ϕ = ∂µ − i[Aµ , ϕ], Aµ = (Aµ )a λa . (5.86)
Similarly one can reconstruct the other interaction terms. The spacetime effective action for the
gauge boson and the tachyonic ground state at string tree-level and to first order in the momenta
takes the form
r
2α0
Z
1 µ 1 2 1 2 1
− Tr(Dµ ϕ D ϕ) + 0 Tr(ϕ ) + Tr(ϕ3 ) − Tr(Fµν F µν ). (5.87)
go2 R1,25 2 2α 3 α0 4
CHAPTER 5. STRING INTERACTIONS 111
From its representation as a lattice one can deduce that a T 2 is shape-invariant under a
PSL(2, Z) transformation
aτ + b
τ→ , ad − bc = 1, (a, b, c, d) ∼
= (−a, −b, −c, −d) ∈ Z. (5.89)
cτ + d
The set of PSL(2, Z) transformations define the modular group of the torus. In fact these are
generated by the transformations
1
T : τ → τ + 1, S:τ →− . (5.90)
τ
The fundamental domain F0 , i.e. the domain of inequivalent values of τ after modding out
by the action of the modular group, is:
Furthermore the torus enjoys the additional discrete symmetry w → −w. For further details
of these assertions see Assignment 10.
Consequences for path integral: Following the general discussion of the gauge-fixed S-
matrix we insert a factor of
1 1
B B̄ = (b|∂τ ĝ) · b̄|∂τ̄ ĝ (5.91)
4π 4π
and integrate over the amplitude over 12 F0 d2 τ . The factor 21 is due to the extra Z2 symmetry
R
w → −w.
CHAPTER 5. STRING INTERACTIONS 112
1
The factor of 2 is due to the conversion from complex to real coordinates.
Altogether the n-point amplitude takes the form
Z * Z n Z +
(n) dτ dτ̄ 1 2
Y 1
ST 2 = B B̄ d w1 : cc̄V1 (w1 , w¯1 ) : dwi dw̄i Vi (wi , w̄i ) . (5.94)
F0 4τ2 4π 2 i=2
2
T2
To keep things as simple as possible we now compute the 1-loop vacuum amplitude
Z
dτ dτ̄
ZT 2 := h1iτ,⊗X i · h ghost insertions iτ,(bc) . (5.95)
F0 4τ2
As we will see, this amplitude has a very important physical interpretation. It is furthermore
sufficient to demonstrate the key properties of string-loop amplitudes.
The vacuum amplitude splits into a correlator in the X- and the bc-CFT and an integral over
the moduli space. Consider first the X-CFT piece,
∼
=
CHAPTER 5. STRING INTERACTIONS 113
The path integral DXe−SX on a worldsheet given by the above cylinder with both ends
R
ii) To generalise this to a torus with modulus τ = τ1 + iτ2 we must in addition translate the
fields by 2πτ1 in spatial direction,
X
Z(τ ) = h1iτ,⊗X i = h n| e2πiτ1 P −2πτ2 H |n i
n
or more compactly
We now express L0 in terms of the momentum operator and the number operator,
α0 2 α0 2
L0 = k + N, L̄0 = k + N̄ , (5.100)
4 4
and express the trace as an integral over the momentum modes times the trace over the
oscillator part of a string state,
dd k
Z
α0 2
Tr q L0 q̄ L̄0 = Tr0 h k; N, N̄ (q q̄) 4 k q N q̄ N̄ k; N, N̄ i.
d
(5.101)
(2π) |{z}
trace over
oscillators
The inner product over the momentum state gives a factor of the spacetime volme hk|ki =
α0 2 α0 2
δ (d) (k − k) ≡ Vd , and with (q q̄) 4 k = (exp(4πτ2 )) 4 k we find
dd k −πτ2 α0 k2
Z
d
Z(τ ) = Vd (q q̄)− 24 e · Tr0 q N q̄ N̄ . (5.102)
(2π)d
CHAPTER 5. STRING INTERACTIONS 114
The computation of the trace was performed in detail on Assignment 6, to which we refer
for details. The result is
∞
Y
Tr0 q N q̄ N̄ = (1 − q n )−d (1 − q̄ n )−d . (5.103)
n=1
We finally perform a Wick rotation k → ik 0 to render the integral dd k finite and perform
0
R
the Gaussian integration. This yields the final expression for the partition function Z(τ ),
d
Z(τ ) = iVd (ZX (τ )) , (5.104)
2 0 − 21 −2
ZX (τ ) = (4π α τ2 ) · |η(τ )| with (5.105)
∞
1
Y
η(τ ) = q 24 (1 − q n ) the Dedekind η function. (5.106)
n=1
The next task is to compute the one-loop integral of the ghost insertions. For reasons of time
we do not present this computation here. It can be found e.g. in [P], Chapter 7, p. 212. We
merely quote the final result: The ghost sector yields a factor of |η(τ )2 |2 . Setting now d = 26
the one-loop amplitude is
Z
dτ dτ̄
Z(τ ) = iV26 (4π 2 α0 τ2 )−13 · |η(τ )|−48 . (5.107)
F0 4τ2
Note:
• The ghost contribution cancels the contribution from the 2 non-transverse polarisations
|η(τ )|−48 = | η(τ )−26 · η(τ )2 |2 . (5.108)
| {z } | {z }
X bc
This demonstrates nicely how the ghost sector restores unitarity by cancelling the non-
physical excitations. The underlying reason for this cancellation is the anti-commuting
nature of the ghost fields. Commuting and and anti-commuting fields contribute with
opposite sign in the loop, as is familiar from QFT with bosons and fermions.
• An important property of ZT 2 is modular invariance, i.e. invariance under P SL(2, Z)
transformations τ → aτ +b
cτ +d of the torus. The underlying reason is that the Dedekind-
function is an example of a modular form, i.e. a function of τ with definite transformation
under P SL(2, Z). Without proof we state that under S and T -transformations, which
generate the modular group, the Dedekind function transforms as
1 1 π
η(− ) = (−iτ ) 2 η(τ ) , η(τ + 1) = ei 12 η(τ ). (5.109)
τ
Modular invariance of ZT 2 follows because dττ dτ̄
2 and τ2 |η(τ )|4 are individually invariant, as
2
can be checked with the above and the P SL(2, Z) transformation
τ2 d2 τ
τ2 → , d2 τ → . (5.110)
|cτ + d|2 |cτ + d|4
This is an important consistency check. Note that modular invariance holds already for
ZX (τ ) defined above.
CHAPTER 5. STRING INTERACTIONS 115
Modular invariance is an important consistency condition for the defining data of a CFT.
Ultraviolet finiteness
To appreciate the properties of the stringy 1-loop amplitude we compare ZT 2 to its point particle
analogue. The partition function of a field theory describing a particle of mass m is given by the
sum over all particle paths with the topology of a circle,
Z ∞
dd k
Z
dl − 1 l·(k2 +m2 )
ZS 1 (m2 ) = Vd d
e 2 . (5.112)
(2π) 0 2l
This is easily understood from our derivation of the stringy partition function once we take into
account that
1 2
(k + m2 ) corresponds to the Hamiltonian,
2
l describes the circumference of S 1 ≡ the compact Euclidean time,
Z ∞
dl
takes into account division by the volume of Diff(S 1 ) and of the
0 2l
Z2 symmetry x → −x.
In fact we can bring this into a form very similar to the stringy expression ZT 2 . String theory
contains an infinite tower of states of mass
2
m2i = (Ni + N̄i − 2), Ni = N̄i . (5.113)
α0
2
The field theory analogue of ZT 2 therefore corresponds to summing R π dΘZSi(N
1 (m ) over the string
i
−N̄ )Θ
tower, where we include the level-mathcing condition via δN N̄ = −π 2π e . In this spirit
we find
Z ∞ Z π
X dl dΘ d
X l
ZS 1 (m2i ) = iVd (2πl)− 2 · e− α0 (Ni +N̄i −2)+i(Ni −N̄i )Θ ,
0 2l −π 2π
i∈H⊥ i
Z
dτ dτ̄ d
X
= iVd (4π 2 α0 τ2 )− 2 · q Ni −1 q̄ N̄i −1 (5.114)
R 4τ2 i
l 1
with 2πτ = Θ+i , q = e2πiτ , and integration region R : τ2 ≥ 0, |τ1 | ≤ .
α0 2
We notice a crucial difference of this field theory approach to the string theoretic result:
In ZT 2 we integrate over the fundamental domain F0 : |τ | ≥ 1, |τ1 | ≤ 21 , which is a subregion of
the particle integration domain R.
CHAPTER 5. STRING INTERACTIONS 116
The importance of this is the following: The limit τ2 → 0 describes the ultraviolet (UV) regime as
in this limit the Euclidean time becomes very small, corresponding to processes at high energies.
Indeed the integral over τ is divergent in this regime. The point is now that this UV divergent
region is absent in string theory due to modular invariance of the torus, but present in field
theory. Thus we have established the crucial result:
• Modular invariance is therefore the secret behind UV finiteness of the 1-loop amplitude.
While demonstrated only for the simplest example of a vacuum amplitude, the mechanism
of cutting out the UV divergent regent continues to work for n-point functions.
• To date, UV finiteness has been proven rigorously at 2-loop level in superstring theory.7
Beyond that, technicalities concerning the (super)moduli space of higher genus Riemann
surfaces hinder a general proof, but there are no indications that the situation changes at
higher loop order. In fact, using the pure spinor formalism examples of UV finite 5-loop
amplitudes have been computed. This serves as evidence for the widely accepted conjecture
of UV finiteness of string theory.
• It is important to appreciate that superstring theory is to date the only quantum theory
of gravity and Yang-Mills-theory that is believed to be UV-finite.8
Infrared behaviour
The IR regime corresponds to the limit τ2 → ∞, in which the torus (or cylinder with both ends
identified) becomes very long. In this regime we can expand the inegral over the η-function as
Z ∞ Z ∞ ∞
Y
d2 τ |η(τ )|−48 = d2 τ (q q̄)−1 | (1 − q n )|−48
n=1
1
Z 2
Z ∞
∼
= dτ1 dτ2 (q q̄)−1 (1 + 24q + . . .)(1 + 24q̄ + . . .)
−1
Z ∞2
∼
= dτ2 (q q̄)−1 + 242 + . . . ,
7 For the state of the art in this direction consult e.g. the review by D’Hoker and Phong,
http://arXiv.org/pdf/hep-th/0211111.
8 There are certainly nontrivial UV finite Yang-Mills theories such as N = 4 Super-Yang-Mills, and there are
speculations about the possible UV-finiteness of N = 8 supergravity, but none of these describes both particle
interactions and gravity at the same time.
CHAPTER 5. STRING INTERACTIONS 117
where terms of the type q + q̄ vanish upon performing the integral over the τ1 -coordinate. Thus
we deduce the following IR-behaviour
Z ∞
dτ2
iV26 (4π 2 α0 τ2 )−13 e|4πτ 242 + |{z}
{z } + |{z}
2
... (5.115)
2τ2
tachyon massless massive
modes modes
• The first term is divergent. This divergence, however, is an artefact due to the appearance
of the tachyon. Since the tachyon will be removed in the final superstring theory we can
safely ignore this nuisance.
• The next term is due to the massless states. The long-distance behaviour is therefore
governed by massless states. Their contribution to ZT 2 is finite.
Finally let us give the physical intepretation of the partition function. Consider again a particle
theory with mass m. As we have seen ZS 1 (m2 ) computes the amplitude of a single particle
running in one loop. The total vacuum amplitude, on the other hand, contains all disconnected
vacuum loops, weighted with combinatorial factors due to permutation symmetry,
+ 12 1
+ 3! +...
where T is the time in spacetime, and ρ0 the vacuum energy density. Thus
i
ρ0 = ZS 1 (m2 ). (5.116)
Vd
This analogy between ZS 1 (m2 ) and ZT 2 suggests therefore that also in string theory
i
ρ0 = ZT 2 . (5.117)
Vd
Thus ZT 2 computes the 1-loop correction to the vacuum energy, i.e. the 1-loop correction of the
spacetime cosmological constant. As we have seen, in the bosonic string this vacuum energy is
finite (if we ignore the artifical tachyon) and of order the string scale. On the other hand, in the
supersymmetric superstring theory one finds
ZT 2 ≡ 0
due to an exact cancellation between fermions and bosons running in the loop.
CHAPTER 5. STRING INTERACTIONS 118
∼
=
• The cylinder C2 is described by one real modulus t. Unlike the torus, there is no analogue
of the modular group action P SL(2, Z). Thus the modulus can take values in the full
regime 0 ≤ t ≤ ∞.
• The group of conformal Killing transformations consists of translations parallel to the σ 2 -
axis, i.e. such that they preserve the boundary of the strip at σ 1 = 0, π. Its volume is
2πt.
• As in the closed sector, the ghost contribution turns out to cancel the oscillator trace of
precisely two non-transverse directions. With this in mind the amplitude is
Z ∞
dt c
ZC2 = Tr e−2πt(L0 − 24 ) (5.118)
0 2t
Z ∞
dt 1
= iV26 (8π 2 α0 t)−13 Tr0⊗24 X i q L0 − 24 . (5.119)
0 2t i=1
• The IR-limit, t → ∞, works out like for the closed string: The only IR-divergent term is
due to the open tachyon, which is absent in the eventual superstring theory.
• The UV-limit t → 0, on the other hand, is different from the closed string sector: Unlike
on the torus, the UV-divergent region is not absent from the integral because there is no
analogous modular group action serving as an intrinsic regulator.
CHAPTER 5. STRING INTERACTIONS 119
Thus, it might seem that we do face a UV divergence, contrary to our previous claim that string
theory is UV finite. To see why the divergence as t → 0 is not in contradiction with UV finiteness
we need to discuss the worldsheet duality between the open and closed string channel.
• Technically, the two viewpoints are related by interchanging the role of the Euclidean time
and the spatial coordinate on the worldsheet. From our analysis of P SL(2, Z) transforma-
tions of the torus on Assignment 10 we recall that an S-duality transformation τ → − τ1
exchanges the coordinates σ 1 and σ 2 . The same applies to the cylinder with it taking the
role of τ . Including a conventional rescaling of the spatial coordinate the transition from
the open to the closed string channel is accomplished by
π
t −→ s = . (5.121)
t
With the help of the transformation of the Dedekind function
1
i s 12 is
η(it) = t− 2 η = η (5.122)
t π π
the annulus amplitude in closed string channel is
Z ∞ is −24
1
ZC2 = iV26 N 2 2 0 13
ds η . (5.123)
2π(8π α ) 0 π
• The UV limit t → 0 in the open channel has translated in the IR limit s → ∞ of the closed
channel. This describes a closed string tree-level process with the string propagating over
long Euclidean time. Thus we have reinterpreted the UV-divergence as an IR-divergence.
This is in fact a general feature of string amplitudes:
• In fact, we can make the propagation of the closed strings visible in the limit s → ∞ by
expanding
is −24
η = |{z} 24 +O(e−2s ).
e2s + |{z} (5.124)
π
tachyon massless
CHAPTER 5. STRING INTERACTIONS 120
The tachyonic term is again an artifact of the bosonic theory. Of importance is the second
term. It shows that the IR divergence is due to the exchange of massless closed
string states at zero momentum.
Tadpoles in string theory and field theory
A diagram where a state - here a closed string state - is created from the vacuum is called a
tadpole.
• The IR divergence is the k12 divergence from joining two tadpoles by the propagator of a
massless state with k 2 = 0.
• The tadpole diagram as such is computed by the 1-point function of a single closed string
operator inserted in the interior of the disk. Note that such a diagram is in general non-zero
even though the 1-point function on the sphere and the open 1-point function on the disk
vanish - see the remark after (5.28).
• In QFT a tadpole diagram results from a term linear in the field in the lagrangian as this
is what gives rise to a single field vertex. Tadpoles therefore signal an instability of
the vacuum, which is defined as the locus in field space that satisfies V 0 (φ) = 0. For
example in the presence of a tadpole for a bosonic field,
Z
1
S = − (∂φ)2 + Λφ (5.125)
2
the locus φ = 0 does not correspond to the true vacuum. If we set out at φ = 0 the field
configuration will change. In the presence of higher terms there may be a new vacuum at
φ 6= 0 and the theory will flow to that correct vacuum. In the above action, by contrast,
there is no such vacuum and the theory is entirely unstable.
• To see how to deal with the tadpole in string theory we need to include also unoriented
worldsheets.
Klein bottle, annulus and Möbius amplitude the total IR divergence in the closed channel
can be written as a perfect square and is proportional to
Z ∞
(213 ± N )2 ds, (5.126)
0
where N is the number of spacetime-filling coincident D-branes and the two signs depend
on the details of the orientifold projection.
• This means that the theory is tadpole free if we choose the projection such that the lower
sign arises and take N = 213 = 8192. With this orientifold projection the gauge group on
the spacetime-filling branes is
SO(8192). (5.127)
1
Z √
SP = 0
d2 ξ h hab ∂a X µ ∂b X ν ηµν . (5.128)
4πα
To extend the theory to string propagation in a curved target spacetime with metric Gµν (X) we
generalise the Polyakov action to
1
Z √
Sσ = 0
d2 ξ h hab ∂a X µ (ξ) ∂b X ν (ξ) Gµν (X(ξ)) . (5.129)
4πα
CHAPTER 5. STRING INTERACTIONS 122
The curved metric Gµν (X(ξ)) can be understood as a coherent state of gravitons describing
the fluctuations of the metric around ηµν . To appreaciate this let us consider as an analogy a
laser field in quantum optics. We set out in perturbative QED to quantize the electromagnetic
vacuum and describing its fluctuations by photons. A coherent state of these vacuum fluctuations
represents a non-trivial field configuration, in this case a laser field. Likewise, the gravitational
field as encoded in Gµν (X(ξ)) can be viewed as a coherent excitation of gravitons. This statement
can be made more precise as follows:
Suppose Gµν (X) describes a close-to-flat metric so that we can expand
The string propagates in a background described by a coherent state of its own massless fluctu-
ations!
Once we have realised that propagation in curved spacetime corresponds to coupling the string
fields to the graviton sector of its massless excitations, we are naturally lead to including also
the other massless fields. In the closed sector these are
A natural generalisation of the closed Polyakov action is therefore the closed σ-model action
1
Z √ n o
d2 ξ h hab Gµν (X) + iab Bµν ∂a X µ ∂b X ν + α0 R(2) Φ(X) .
Sσ = (5.134)
4πα0 Σ
Lesson:
In string theory there are no dimensionless coupling constants. All couplings are determined by
VEVs (vacuum expectation values) of dynamical fields.
The string therefore carries ”charge” under this symmetry. Indeed the coupling
Z √
d2 ξ hab Bµν ∂a X µ ∂b X ν (5.138)
For open strings the transformation (5.136) leads to boundary terms. These vanish if we include
a coupling of the background gauge field Aµ (X) to the string endpoints along with a suitable
transformation of Aµ . This is discussed in detail in Assignment 11, to which we refer for more
details.
It is instructive to expand √
X µ (ξ) ≡ X0µ + α0 Y µ (ξ) (5.140)
√
into a ξ-independent background value X0µ and the fluctuations Y µ (ξ). The factor of α0 renders
these dimensionless. A Taylor expansion of Gµν (X) in the action,
√
Gµν (X)∂X µ ∂X ν = α0 Gµν (X0 ) + α0 Gµν,ρ (X0 )Y ρ (ξ)
α0
+ Gµν,ρτ Y ρ (ξ)Y τ (ξ) + ... ∂Y µ ∂Y ν , (5.141)
2
yields an infinite number of couplings in the worldsheet theory with the following properties:
∂G 1
• If the target space has typical radius Rc then ∂X ∝ Rc , and the effective dimensionless
√
α0
coupling constant is of the order Rc. Thus the worldsheet theory is weakly coupled if
√
α0
Rc << 1. Indeed the extended nature of the string becomes important for Rc ∼ = ls , i.e.
when the σ-model is strongly coupled.
• This establishes the following important concept: String perturbation theory really involves
a double expansion:
g 2 = eΦ ⇔ loop expan-
sion from spacetime per-
spective
√
α0
Rc ⇔ loop expansion on
the worldsheet
√
α0
• From the spacetime perspective, the expansion in Rc will be interpreted as an expansion
in higher derivatives of the (background) metric.
√
0
• For Rαc → 1 there exists no accurate point particle description of the effective theory
because the variation of the metric over distances of the string is big. This leads to the
concept of ”stringy geometry”: A string probes the target space geometry very differ-
ently from a point particle. E.g. string theory can be perfectly-well defined on backgrounds
which contain certain singularities. While point particle theory would be inconsistent in
such a background, string theory can effectively resolve these geometries.
Conformal invariance
The central condition in order to define a well-defined quantum string theory is, as we have seen,
conformal invariance on the worldsheet, i.e. the constraint c(tot) = c(X) + c(ghost) = 0.
• For the free theory of strings propagating in flat spacetime R1,d−1 , where the string coor-
dinates are simply described by a copy of d X-CFTs with c = 1, this translates into the
constraint d = 26.
CHAPTER 5. STRING INTERACTIONS 125
• The interacting worldsheet theory corresponding to string propagating in the most general
curved background cannot be solved exactly at the quantum level, i.e. it is in general not
known√ how to find the exact spectrum of string states etc.10 However, for backgrounds
0
with Rαc << 1 we can treat the worldsheet interactions perturbatively. As in conventional
QFT we start from
√
the free theory and compute deviations order by order in the coupling,
0
here given by Rαc .
• From the logic of the path integral conformal invariance continues to be a consistency con-
dition for the so-defined quantum theory. However, we need to check if extra constraints
arise from requiring conformal invariance in addition to the constraint that d = 26. Put dif-
ferently we need to analyze if the interactions on the worldsheet induce new contributions
to the Weyl anomaly of SX .
• For a general QFT, conformal invariance implies scale invariance. It is not known whether
the converse is also true in general. However, for a 2-dimensional unitary QFT with com-
pact spatial dimensions (a requirement shared by our worldsheet theory), scale invariance
does imply full conformal invariance11 . It is therefore sufficient to analyze possible devi-
ations from scale invariance due to the worldsheet interactions. In QFT such a deviation
is captured by the β-function. We thus seek to compute the β-function of the space-time
metric
∂
βνρ (G) = µ Gνρ (X; µ), with µ ≡ the energy scale. (5.142)
∂µ
Absence of a Weyl anomaly is equivalent to
propagation of the superstring on a certain class of Calabi-Yau manifolds can be described by Gepner models,
which are modular invariant tensor products of minimal models for which an exact solution is known.
11 See the seminal paper by J. Polchinski, ”Scale and Conformal Invariance In Quantum Field Theory”, Nucl.
• Locally around X0 we choose Riemann normal coordinates familiar from General Rel-
ativity. In these the Levi-Civita metric takes the form
α0
Gµν (X) = δµν − Rµλνκ (X0 )Y λ Y κ + O(Y 3 ) (5.144)
3
(5.145)
so that
√ α0
Z
1 2 a µ ν λ κ a µ ν
S = d ξ h δµν ∂ Y ∂a Y − Rµλνκ (X0 )Y Y ∂ Y ∂a Y + ... (5.146)
4π 3
• This leads to a quartic interaction vertex with the following Feynman rule:
Here kaµ denotes the the 2-dimensional worldsheet momentum of the scalar field Y µ and
appears due to the two derivatives in (5.146).
• There is thus a one-loop correction to the kinetic term of the scalar fields from the diagram
• This integral is divergent from the p → ∞ region as can be anticipated already from the
logarithmic divergence ξ → ξ 0 of the propagator in position space,
1
Y (ξ)Y κ (ξ 0 ) = − δ λκ log(|ξ − ξ 0 |2 ).
λ
(5.148)
2
• We can easily extract the divergence by dimensional regularisation. Setting d = 2 + the
divergent piece of the integral is isolated as
Z 2+ Z 2+ λκ
1 δ λκ
Z
d p
λ κ d pδ 1
dp p−1 '
2
Y (p)Y (p) = 2 2
= . (5.149)
(2π) (2π) p 2π 2π
The counterterm for this divergence is proportional to
1
− Rµν ∂Y µ ∂Y ν in Sσ . (5.150)
CHAPTER 5. STRING INTERACTIONS 127
This is a spectacular result: The above equation is nothing other than the Einstein equation for
the vacuum. Indeed since we have set all other fields, such as Φ and B to zero in our computation,
the target space is precisely described by the vacuum, i.e. pure geometry with no matter.
√
0
To first order in Rαc consistency of the σ-model yields the Einstein equation for
background metric.
We have just derived the dynamical laws of Einstein gravity as a corollary from worldsheet
consistency of a string propagating in the corresponding target space. This confirms that string
theory indeed yields a quantum theory of gravity.
What is more, we can next compute the 2-loop β-function, with the result
1 !
(2)
βµν = α0 Rµν + α02 Rµλρσ Rνλρσ = 0. (5.152)
2
This way one can systematically find stringy higher curvature corrections to the
Einstein equations.
This logic generalises to the full σ-model including the coupling to Bµν and to Φ. Here we quote
the 1-loop β-functions:
α0 !
βµν (G) = α0 Rµν + 2α0 ∇µ ∇ν Φ − Hµλκ Hνλκ + O(α02 ) = 0, (5.153)
4
α0 γ !
βµν (B) = − ∇ Hγµν + α0 ∇γ ΦHγµν + O(α02 ) = 0,
2
d − 26 α0 2 α0 !
βµν (Φ) = − ∇ Φ + α0 ∇γ Φ∇γ Φ − Hµνγ H µνγ + O(α02 ) = 0.
6 2 24
The first term in βµν (Φ) can be viewed as the tree-level contribution in σ-model perturbation
theory.
The β-functions are solved e.g. for Φ = Φ0 ≡ const., d = 26 and Bµν = 0 = Rµν .
One can now deduce the low energy effective action for the fields Gµν , Bµν and Φ as the
target space action whose equations of motion reproduce the β-function equations order by order
in perturbation theory. The result can be found e.g. in [P], eq. (3.7.20), along with many more
illuminating explanations. See also Assignment 12 for a derivation of some of these facts.
Chapter 6
Superstring theory
As stressed several times the bosonic string theory, which we have analysed up to now, is merely
a toy model because of the following two major shortcomings:
• The tachyonic ground state signals a vacuum instability.
• The string spectrum contains only bosonic excitations. This lack of fermionic states is in
contrast to observations and makes the bosonic string unrealistic.
Both of these challenges are remedied in superstring theory. Concerning the tachyonic ground-
state, the basic idea is to realise that its appearance is due to the negative zero-point energy of
the bosonic string theory on the worldsheet. This suggests that one should modify the theory
by adding fermions on the worldsheet, hoping that their opposite statistics might cancel this
vacuum energy.1
In fact, we will see in this chapter that solving both abovementioned problems replaces the
bosonic string theory in d = 26 dimensions by a theory in d = 10 dimensions. All but one of the
resulting tachyon-free 10d string theories are supersymmetric.2 Supersymmetry is a symmetry
that exchanges bosons and fermions. The worldsheet superstring theory consists of a bosonic
and a fermionic sector. The bosonic sector is identical to the worldsheet theory of the bosonic
string. We can therefore view our efforts up to now as a preliminary study of one half of the
superstring theory.
There exist two major formulations of this superstring theory. Both theories enjoy supersymme-
try on the worldsheet and in spacetime, but they differ in the following respect:
• In the Ramond-Neveu-Schwarz (RNS) formulation, supersymmetry is manifest on the
worldsheet, but not in spacetime.
• In the Green-Schwarz (GS) formulation, supersymmetry is manifest in spacetime, but
not on the worldsheet.
More recently, the pure-spinor or Berkovits formulation has been developed as yet another
approach to the superstring.
In this course, we will only discuss the RNS formalism.
1 Indeed this will remove the tachyon at least in the so-called Ramond subsector of the superstring theory; in
the Neveu-Schwarz sector things turn out to be more complicated, but as we will see, consistent theories where
the tachyon is indeed absent can be found.
2 As we will see, there are five consistent, tachyon-free supersymmetric string theories in d = 10 called Type
IIA, Type IIB, Type I, heterotic E8 × E8 and heterotic SO(32), all related to each other by dualities, as well as
one non-supersymmetric tachyon-free 10d theory called heterotic SO(16) × SO(16).
128
CHAPTER 6. SUPERSTRING THEORY 129
where
CHAPTER 6. SUPERSTRING THEORY 130
µ
µ ψ+ µ
• ψA = µ with ψ± representing Grassmann valued spacetime vectors, and
ψ−
• ψ̄ = ψ † γ 0 = ψ T γ 0 = (−ψ− , ψ+ ).
In light-cone coordinates
S =SB + SF , (6.8)
Z
1
SB = d2 ξ α20 ∂+ X · ∂− X, (6.9)
2π
Z
1
SF = d2 ξ i (ψ+ · ∂− ψ+ + ψ− · ∂+ ψ− ). (6.10)
2π
Note that the mass dimensions of the fields are [X] = −1, [ψ] = 12 , explaining the relative factor
of α10 .
µ
Ignoring potential boundary terms, to be discussed later, the equation of motion for ψA is the
Dirac equation
γ α ∂α ψ = 0 or in components ∂+ ψ− = 0 , ∂− ψ+ = 0. (6.11)
Thus the Weyl spinors ψ± are also chiral in the sense that ψ± = ψ± (ξ± ).
As can be verified by brute force computation, the action SB + SF is invariant under the
fermionic symmetry
q
µ
2
¯ψ µ ,
α0 δX = i
q (6.12)
δψ µ = α20 12 γ α ∂α X µ · .
In order for (6.12) to be a symmetry of the full action, A (ξ) must obey
γ β γα ∂β (ξ) = 0. (6.14)
q
2 µ µ µ
α0 δX = i (−− ψ+ + + ψ − ),
q (6.15)
µ
δψ± = ± α20 ∓ ∂± X µ .
• The symmetry (6.12) relates the bosonic and fermionic degrees of freedom. This is the
characteristic property of a supersymmetry (SUSY).
CHAPTER 6. SUPERSTRING THEORY 131
∂+ + = 0, ∂− − = 0. (6.16)
• In the above formulation the symmetry closes only upon use of the e.o.m., i.e. it holds
on-shell.
Remarks:
• SUSY is a deep concept that extends (in some sense uniquely) the Poincaré symmetry.
While found for the first time in the context of the two-dimensional RNS theory, it has
become an important principle of more general physical systems.
• The supersymmetry generators QA are spinorial and can be shown to obey the typical
anti-commutation relations
QA , Q̄B ∼ α
= 2 γAB Pα , (6.17)
For brevity we do not discuss this supergravity in this course. The details can be found in [BLT],
Chapter 7.2. and 7.3. Suffice it here to state that the logic leading from the full action to the
gauge fixed action is as for the bosonic string and proceeds along the following lines:
• The full action enjoys local super-Weyl and diffeomorphism invariance. In particu-
lar, the supersymmetry parameter A = A (τ, σ) is unconstrained.
• After fixing the gauge to flat gauge we are left with a remnant super-conformal sym-
metry, where SUSY is only “chiral” (− = − (ξ + ), + = + (ξ − )) and diffeomorphism
invariance reduces to conformal symmetry.
• The generators of the super-conformal symmetry, i.e. their conserved currents are
CHAPTER 6. SUPERSTRING THEORY 132
– the energy-momentum-tensor,
1 i µ
T++ = − ∂+ X · ∂+ X − ψ ∂+ ψ+ µ , (6.18)
α0 2 +
1 i µ
T−− = − 0 ∂− X · ∂− X − ψ ∂− ψ− µ . (6.19)
α 2 −
Conformal symmetry implies T+− = 0 = T−+ , conservation of the energy-momentum
tensor means ∂+ T−− = 0 = ∂− T++ .
– the supercurrent, which can be found via Noether’s method as
Z r
2 α 1 2 µ
δSUSY S = d ξ (∂α ¯)J , J± = − ψ ∂± Xµ . (6.20)
2 α0 ±
To derive this form of J± certain conditions from local supersymmetry must be used,
see [BLT], Chapter 7.2 and 7.3. From this form of the supercurrent we see that
∂− J+ = 0, ∂+ J− = 0. (6.21)
• As we fix the gauge by integrating out the worldsheet metric and its superpartner, the
gravitino, one must keep their equations of motion in the form of generalised constraint
equations. These are the super-conformal Virasoro constraints
! !
T±± = 0, J± = 0, (6.22)
which must be imposed on solutions of the equations of motion if we use flat gauge RNS
action.
• The bosonic mode expansion and boundary conditions are just as in the bosonic string.
• The fermionic equations of motion follow from variation of
Z
i
SF = d2 ξ(ψ+ ∂− ψ+ + ψ− ∂+ ψ− ), (6.23)
2π
which yields
Z
δSF ∼= dτ [ψ+ δψ+ − ψ− δψ− ]σ=`
σ=0 + terms vanishing upon use of the e.o.m. (6.11) .(6.24)
a) Closed sector:
The boundary terms at σ = 0 and σ = ` cancel each other,
!
ψ+ δψ+ − ψ− δψ− = ψ+ δψ+ − ψ− δψ− . (6.25)
σ=0 σ=`
CHAPTER 6. SUPERSTRING THEORY 133
The most general boundary conditions that do not mix ψ+ and ψ− and respect spacetime
Poincaré symmetry are
µ µ
ψ+ (σ) = ±ψ+ (σ + `), (6.26)
µ µ
ψ− (σ) = ±ψ− (σ + `). (6.27)
Since ψ is a worldsheet spinor, the minus sign is possible as we go around the worldsheet
once, taking σ → σ + `. This was not possible for worldsheet scalars X µ .
Thus there are 4 independent sectors since for ψ± we can independently choose either sign,
In short the boundary conditions can be written as
i) The Ramond sector (R) corresponds to periodic boundary conditions with integer mode
expansion
r
µ
X 2π 2π
ψ− (τ, σ) = bµ e− ` i n(τ −σ) , (6.29)
` n
n∈Z
r
µ
X 2π 2π
ψ+ (τ, σ) = b̃µ e− ` i n(τ +σ) . (6.30)
` n
n∈Z
ii) The Neveu-Schwarz sector (NS) corresponds to anti-periodic boundary conditions with
half-integer mode expansion
r
µ
X 2π µ − 2π i r(τ −σ)
ψ− (τ, σ) = b e ` , (6.31)
1
` r
r∈Z+ 2
r
µ
X 2π µ − 2π i r(τ +σ)
ψ+ (τ, σ) = b̃ e ` . (6.32)
1
` r
r∈Z+ 2
b) Open sector:
The boundary terms at σ = 0 and σ = ` vanish individually. This relates ψ+ and ψ− as
µ µ
ψ+ (σ) = ±ψ− (σ) . (6.37)
boundary boundary
CHAPTER 6. SUPERSTRING THEORY 134
2 × |{z}
We are left with |{z} 2 sectors, of which two differ only by an insignificant overall sign.
± σ=0, `
i) The Ramond sector corresponds to periodic boundary conditions with integer modes:
r
µ
µ
µ π X µ − π i n(τ ±σ)
ψ+ (σ) = ψ− (σ) ⇒ ψ± (τ, σ) = bn e ` . (6.40)
σ=` σ=` `
n∈Z
ii) The Neveu-Schwarz sector corresponds to anti-periodic boundary conditions and half-
integer modes:
r
µ
µ
µ π X µ − π i r(τ ±σ)
ψ+ (σ) = −ψ− (σ) ⇒ ψ± (τ, σ) = br e l . (6.41)
σ=` σ=` ` 1
r∈Z+ 2
If we consider (DD) boundary conditions for X µ instead of (NN) we find the corresponding
solution for the superpartners by noting that a change of boundary conditions corresponds to a
sign flip for the rightmovers,
X+ → X+ , X− → −X− . (6.42)
ψ+ → ψ+ , ψ− → −ψ− . (6.43)
Since this only gives an overall sign for the boundary conditions at σ = 0 and σ = `, the modes
continue to be (half-)integer moved in the (NS)/R sector.
By contrast, mixed DN or ND boundary conditions correspond to a sign flip only at one of the
two boundaries. Therefore, the R-sector is now half-integer moved, and the NS-sector modes are
integer moved.
In the sequel, unless stated otherwise, we refer to (DD) or (NN) boundary conditions, i.e. the
NS sector is the half-integer one.
• The ground state of the Fock space is annihilated by the positive modes.
i) NS sector:
µ
αm |0 iNS = 0 ∀m > 0 (m ∈ Z) (6.48)
bµr |0 iNS = 0 ∀r > 0 (r ∈ Z + 1
2) (6.49)
(6.50)
µ
and similarly for α̃m , b̃µr for closed strings.
µ
The negative modes α−|m| , bµ−|r| create excited states from this ground state. All
states in the NS sector are thus spacetime bosons.
ii) Ramond sector: The ground state is defined by
µ
αm |0 iR = bµn |0 iR = 0, ∀ m, n > 0 (m, n ∈ Z). (6.51)
Unlike in the NS sector, this does not uniquely specify the ground state. The reason
is that the state bµ0 |0 iR is not zero, but is likewise annihilated by all positive modes.
In fact we will see below that |0 iR and bµ0 |0 iR have the same mass, i.e. they are
degenerate. Therefore |0 iR is a degenerate ground state.
To describe the ground state further we observe that the Ramond zero-modes sat-
isfy the (ambient spacetime) Clifford algebra because the anti-commutation relations
(6.47) imply
{bµ0 , bν0 } = η µν . (6.52)
Compared with the space-time Clifford-algebra {Γµ , Γν } = 2η µν satisfied by d-dimensio-
nal Γ-matrices we identify
1
bµ0 = √ Γµ . (6.53)
2
CHAPTER 6. SUPERSTRING THEORY 136
This shows that the ground state |0 iR furnishes a representation of the d-dimensional
Clifford algebra.
|0 iR is a spinor in d-dimensions.
Γ0 ± = 12 (±Γ0 + Γ1 ),
(6.54)
Γa ± = 12 (Γ2a ± iΓ2a+1 ), a = 1, . . . , k.
Sa |s i = sa |s i. (6.59)
3 This is an abuse of notation. We really mean Spin(1, d − 1), the double cover of SO(1,d-1), of course.
CHAPTER 6. SUPERSTRING THEORY 137
• In an even number of dimensions, a Dirac spinor is not irreducible. Rather a Dirac spinor
can be reduced further into 2 Weyl spinors of opposite chirality. To this end we define
if an even number of sa = 12 ,
1
Γ |s i = (6.63)
−1 if an odd number of sa = 21 .
The eigenspinors with Γ eigenvalue ±1 are called positive and negative chirality Weyl
spinors. The Dirac spinor can be decomposed as
For example we will heavily use that in d = 10 dimensions, a Dirac spinor has 32 complex
components and be decomposed into 16-component Weyl spinors, [32]Dirac = [16] ⊕ [160 ].
• For d = 2k + 3, we can add Γ to the set of Γµ of one dimension less, i.e. of SO(1, d − 2).
Together these satisfy the Clifford algebra in d = 2k + 3 dimensions as follows from (6.61).
Thus the dimensionality of the Clifford algebra representation in d = 3 + 2k is the same
as in d = 2 + 2k. We still have 2k+1 × 2k+1 square matrices and we can still construct a
2k+1 -component Dirac spinor. Now Γ does not commute with Σµ,d−1 and thus the Dirac
spinor is irreducible. This just means that chirality is not an available concept in odd
dimensions.
• A Majorana spinor satisfies a certain reality condition. Without proof we note that this
is possible only if d = 0, 1, 2, 3, 4 mod 8. Spinors can be both Majorana and Weyl only if
d = 2 mod 8. for more information we strongly recommend Appendix B of [P], Volume 2.
Let us now return to the R-sector ground state |0 iR . Being a spinor in d dimensions it has 2[d/2]
complex components. However, the Majorana condition on bµ0 = (bµ0 )† implies that these 2[d/2]
components are real. We will find further reductions momentarily.
µ
Finally, all states in the R-sector are obtained by acting with the creation operators α−|m| and
µ
b−|m| on the vacuum |0 iR . They are therefore spacetime fermions.
We first define the modes of the super-Virasoro generators, focusing on open strings to avoid
double-writing.
CHAPTER 6. SUPERSTRING THEORY 138
Note that while the energy momentum tensor is always integer moded, the supercurrent
modes are integer in the Ramond sector and half-integer in the NS sector (for NN/DD
boundary conditions; for ND/DN this is reversed).
They form the Super-Virasoro-Algebra:
c
[Lm , Ln ] = (m − n) Lm+n + m(m2 − 2 φ)δm+n,0 ,
12
m
[Lm , Gr ] = ( − r) Gm+r , (6.72)
2
c
{Gr , Gs } = 2 Lr+s + (4r2 − 2 φ)δr+s,0
12
with
0 R
φ= 1 (6.73)
2 NS
This reflects the familiar fact that the degrees of freedom of two fermions count as one real boson.
Let us now evaluate the physical state conditions that follow from the super-Virasoro con-
straints T±± = 0 = J± .
CHAPTER 6. SUPERSTRING THEORY 139
The open string mass shell condition (focussing on NN boundary conditions for all dimen-
sions) thus reads
α0 M 2 = N − aNS (6.78)
(L0 − aR ) |φ i = 0, (6.79)
Lm |φ i = 0, m > 0, (6.80)
Gn |φ i = 0, n ≥ 0. (6.81)
!
aR = 0. (6.82)
We will confirm momentarily that this matches the explicit computation from ζ-function
regularisation.
Remark: The R-sector constraint 0 = G0 |φ i, expressed in terms of the modes, takes the
form
∞
" #
1 X
p·Γ+ √ ( α−n · bn + b−n · αn ) |φ i = 0. (6.83)
α0 n=1
Here we identified bµ0 = √12 Γµ . The zero mode piece is just the Dirac equation for a massless
space-time fermion. The costraint 0 = G0 |φ i thus furnishes the stringy generalisation of
the Dirac equation in the same manner as the Virasoro constraint (L0 − a) |φ i = 0 yields
the stringy form of the mass shell equation p2 + M 2 = 0.
• From the discussion of the bosonic string we recall the following reasoning that led to the
(b)
normal ordering constant of one periodic boson: From the definition of L0 as the
normal-ordered sum (6.67) given more explicitly by
∞ −1
(b) 1 2 1X 1 X
L0 = : α0 + α−n αn + α−n αn : (6.84)
2 2 n=1 2 n=−∞
CHAPTER 6. SUPERSTRING THEORY 140
with
−1 ∞ ∞ ∞
1 X 1X 1X 1X
α−n αn = αn α−n = α−n αn + n (6.85)
2 n=−∞ 2 n=1 2 n=1 2 n=1
| {z }
=−a
and conclude
1
a=− . (6.88)
24
• For anti-periodic bosons (upper sign) and anti-periodic fermions (lower sign), the normal
ordering constant is
∞
1 1X 1
a = ∓ ζ(−1, q)|q= 12 ≡ ∓ (n + q)−1 |q= 21 = ∓ . (6.89)
2 2 n=0 48
X + (τ, σ) = x+ + p+ τ (6.91)
in light-cone coordinates X ± = √1 (X 0
2
± X d−1 ).
CHAPTER 6. SUPERSTRING THEORY 141
µ
• In addition it is simple to see that the chiral SUSY transformations (6.15) on ψA allow us
to set
+
ψA (τ, σ) = 0. (6.92)
by a suitable choice of chiral SUSY parameter ∓ .
−
• One can then solve for X − (τ, σ) and ψA (τ, σ) by exploiting
−
• In particular one can solve for αm and b−
r in terms of (d − 2) transverse modes and plug
these into the Hamiltonian to find the mass formula for physical states.
i) NS-sector
The result of this procedure is the mass-shell condition
∞
X ∞
X
α0 M 2 = i
α−n αni + r bi−r bir −aNS . (6.94)
n=1 r= 12
| {z } | {z }
=:N (X)
=:N (ψ)
• The ground state |0; k iNS is a spacetime scalar state with momentum k µ and of mass
α0 M 2 = −aNS .
i
• The first level excitations arise by acting not with α−1 , but with bi− 1 on the vacuum,
2
with mass
1
α0 M 2 =
− aNS . (6.96)
2
This is a transverse vector of SO(d−2) and must thus be massless in a Lorentz invariant
theory. Therefore
1
aNS = . (6.97)
2
On the other hand, in the NS sector
1 1
aNS = (d − 2)( + ), (6.98)
24
|{z} 48
|{z}
X-CFT ψ-CFT
d = 10. (6.99)
Note that the ground state is still tachyonic. We will see how to construct a consis-
tent theory without the tachyon in the context of the GSO-projection the subsequent
chapters.
CHAPTER 6. SUPERSTRING THEORY 142
8
comprise 8 + 2 = 36 transverse components. Since this is a massive state of mass
1
α0 M 2 = (6.101)
2
it must organise into an irreducible representation of the little group SO(9). Indeed the
36-component representation of SO(9) is just the anti-symmetric as follows by counting
9
numbers of d.o.f. of antisymmetric of SO(9) = = 36. (6.102)
2
To summarise the first few level of the open NS-string tower consist of
• a tachyonic 1 of SO(9),
• a massless 8V of SO(8),
• massive bosons in tensor representation of SO(9).
ii) R-sector:
The mass-shell condition is
∞
X ∞
X
α0 M 2 = i
α−n αni + nbi−n bin . (6.103)
n=1 n=1
1
Indeed, as noted already, the normal ordering constant vanishes because aR = (d − 2)( 24 −
1
24 ) = 0.
1
0 = −2 k1 Γ0 (S0 − ). (6.109)
2
Thus the Dirac equation implies (S0 − 12 ) |0 iR = 0, i.e. only the components s0 = 1
2
are kept for the on-shell vacuum. In all, we have
|0 iR = ( 21 , 8) ⊕ ( 12 , 80 ). (6.110)
A consistent superstring theory is formed by combining various of these 10 sectors. The procedure
how to do so goes by the name of the GSO projection and will be discussed in the next section.
Before we come to this, we analyse the lowest-lying states contained in these 10 sectors.
• The lowest-lying state is in the NS− ⊗ NS− sector and given by the ground state
2
|0; k iN S ⊗ |0; k iN S , forming a 1 of SO(8) with m2 = − . (6.119)
α0
Again, the ground state is tachyonic.
• At the massless level we find the following possible states (up to interchange of left- and
right-movers):
sector state SO(8) statistics
(NS+ , NS+ ) bi− 1 |0 iN S ⊗ b̃i− 1 |0 iN S 8v ⊗ 8v boson
2 2
(R+ , R+ ) |+ iR ⊗ |+ iR 8s ⊗ 8s boson
(R+ , R− ) |+ iR ⊗ |− iR 8s ⊗ 8c boson
(R− , R− ) |− iR ⊗ |− iR 8c ⊗ 8c boson
(NS+ , R+ ) bi− 1 |0 iN S ⊗ |+ iR 8v ⊗ 8s fermion
2
(NS+ , R− ) bi− 1 |0 iN S ⊗ |− iR 8v ⊗ 8c fermion
2
b) The RR sector involves spinor bilinears. These are bosonic states as they arise as the
product of two fermions. It must therefore be possible to decompose them into irreducible
tensor representations of SO(8).
where
(n)
• [n] denotes a fully antisymmetric n-tensor, i.e. [n] ≡ C (n) with components C[µ1 ...µn ] ,
• [k + 1]+ denotes the self-dual part of the tensor with respect to Hodge ∗ duality.
(+) (+)
Cµ1 ...µn = ∗Cµ1 ...µn .
c) The mixed R-NS sector contains spinor ⊗ vector-bilinears. Such objects are spacetime
fermions.
A detailed representation theoretic analysis, which we do not carry out here, gives the follow-
ing decomposition:
CHAPTER 6. SUPERSTRING THEORY 146
(NS+ , R+ ) : 8v ⊗ 8 = 8’ + 56
spin 1/2 dilatino λa spin 3/2 gravitino ψai
(NS+ , R− ) : 8v ⊗ 80 = 8 + 56’
λ̃a ψ̃ai
The appearance and chirality of the dilatino can be seen as follows: Let |i, si be the state
8v ⊗ 8 with i a vector index of SO(8). Then one can form the combination Γi |i, si. This
is a spinor with ΓΓi |i, si = −Γi Γ|i, si = −Γi |i, si, corresponding to the 80 dilatino. The
µ
gravitino ψai - which should be confused with the worldsheet RNS fields ψA - assembles then
the remaining 56 degrees of freedom. It caries both a vector index i and a spinor index a. We
will say more about the physical interpretation of the gravitino at the end of the next section.
• To define the theory on the sphere, we perform a Wick rotation and introduce the coordinate
w = τ − iσ as in the bosonic theory. Along the way we switch to the notation ψ µ (w) and
µ
ψ̃ µ (w̄) instead of ψ± .
2π
• On the sphere with coordinate z = e ` w the mode expansion of the primary fields can
compactly be written as
X bµr X b̃µr
ψ µ (z) = r+ 1 , ψ̃ µ (z̄) = r+ 1 (6.124)
r∈Z+φ
z 2 r∈Z+φ
z̄ 2
From our general discussion of CFT, the OPE of the RNS theory is
η µν
ψ µ (z1 )ψ ν (z2 ) ' (6.126)
z1 − z2
and similarly for the anti-holomorphic fields. This translates into
1
ψ(z)ψ̄(0) ' , ψ(z)ψ(0) ' O(z) = ψ̄(z)ψ̄(0) (6.127)
z
for the complexified field.
The idea is now that this OPE can be reproduced in terms of a bosonic field H(z) with OPE
and similarly for the anti-holomorphic fields. Furthermore, it turns out that in all OPEs we identify
This formulation is useful e.g. in the construction of vertex operators. The vertex operators associated
with the Ramond vacuum |s0 , s1 , . . . , s4 i is the spin field
sa H a
P
ei a . (6.132)
To introduce more general vertex operators we need the superpartners of the bc-ghost system. These
commuting βγ ghosts and their bosonisation is described e.g. in [P], 10.4.
Let us now come back to our task of combining the different sectors into a consistent superstring
theory. In fact, there are the following sources for potential inconsistencies:
a) As motivated above, a vertex operator in the R-sector has a square-root branch cut. For
certain pairs of operators this results in a monodromy as they encircle each other. These
monodromies must be absent in a consistent theory so that OPEs are single-valued. This
imposes severe constraints on which sectors can be combined with each other into a consistent
theory.
b) If one computes superstring one-loop amplitudes by generalising the technology we got to
know in the bosonic theory for CFT computations on the torus, one notes that the result is
only modular invariant if there is at least one left- and one right-moving Ramond sector
in the theory.
One can show that these consistency conditions - together with closure of the OPE - imply that
only the following combinations of sectors lead to consistent theories (see [P], 10.6. for a proof):
In Type IIB theory the following four sectors are in the spectrum:
Thus the theory is chiral because left- and right-movers have the same chirality.
Important remarks:
• Type IIA and Type IIB both contain an equal number of bosonic and fermionic degrees
of freedom, e.g. 128 + 128 at the massless level. This is a necessary condition for space-
time supersymmetry, which exchanges bosonic and fermionic fields. Indeed, the Green-
Schwarz formalism makes this spacetime SUSY manifest.
• Both IIA/B contain two massless spin 3/2 fields ψaµ (ψ̃aµ ) called gravitinos.
In Type IIA, ψaµ , ψ̃aµ have opposite chirality.
In Type IIB, ψaµ , ψaµ have the same chirality.
The gravitino is the superpartner of the graviton. Just like the presence of a massless
vector boson in QFT implies a gauge symmetry since otherwise no consistent quantisation
is possible, the presence of the gravitino ψaµ implies that spacetime SUSY is local. The
low-energy limit of the Type II theories is therefore a supergravity.
CHAPTER 6. SUPERSTRING THEORY 149
The 10-dimensional low-energy effective action keeping only the massless modes for Type IIA
and Type IIB theory can be computed order by order in spacetime and worldsheet perturbation
theory, by generalising the methods we got to know in the bosonic theory. For completeness we
collect here the bosonic sector to lowest order in α0 and at string tree-level. As noted already,
these Type IIA/B supergravity actions have the maximal possible amount of supersymmetry in
ten dimensions. Their form is in fact completely fixed by supersymmetry.
The action takes the form
where SN S is the same for Type IIA/B and in fact coincides in form with the bosonic low-energy
effective action
√
Z
1 1
SN S = 2 d10 x −Ge−2Φ R + 4∂µ Φ∂ µ Φ − Hµνρ H µνρ (6.134)
2κ10 12
with H = dB the field strength of the Kalb-Ramond B-field. SR contains the kinetic terms of
the field strengths of the respective RR gauge potentials and SCS certain topological terms. In
Type IIA these are
Z
1
SR = − 2 F2 ∧ ∗F2 + F̃4 ∧ ∗F̃4 , (6.135)
4κ10
Z
1
SCS = − 2 B2 ∧ F4 ∧ F4 (6.136)
4κ10
with
with
More generally, given an n-dimensional manifold M, one can integrate a p-form over a p-dimensional
submanifold Γp of M as Γp C (p) .
R
Then the p-th cohomology group of the n-dimensional manifold M is defined as the quotient
closed p − forms
H p (M) = . (6.154)
exact p − forms
Exact forms are said to be cohomologically trivial.
The dimension of H p (M),
bp = dim H p (M), (6.155)
is called the p-th Betti number and is an important topological invariant of M. For M compact,
bp is finite.
• Stoke’s theorem expressed in form language takes the suggestive form
Z Z
dC (p) = C (p) , (6.156)
Γp+1 ∂Γp+1
where ∂Γp+1 denotes the p-dimensional boundary of the (p + 1)-dimensional submanifold Γ(p+1) .
• The operation of taking the boundary of a p-dimensional submanifold of M is therefore dual, in
the above sense, to taking the exterior derivative of a p-form. A p-fold with ∂Γp = 0 is called a p-
cycle, and a p-fold which is the boundary of another p + 1-dimensional submanifold, Γp = ∂Ωp+1 ,
is called a p-boundary. The object Ωp+1 is a p + 1-chain. One then defines the p-th homology
of M as the set
p − cycles
Hp (M) = , (6.157)
p − boundaries
with dimension bp = dimHp (M).
• The de Rham dual of a p-fold Γp is defined as the (n − p)-form δ (n−p) (Γp ) such that for each
p-form ω (p) one has Z Z
ω (p) = ω (p) ∧ δ (n−p) (Γp ). (6.158)
Γp M
bp = bp . (6.159)
• All quantities defined so far are topological in that they exist without reference to any metric on
M. By contrast, the Hodge ∗-operator makes use of a metric gµν , in the following sense: Define
first the antisymmetric tensor
±1 for (µ1 . . . µn ) even/odd perm. of (1, 2, . . . n)
µ1 ...µn = (6.160)
0 else
Then
• Hodge ∗-duality shows that in n dimensions, a (p + 1)-field strength F (p+1) = dC (p) describes the
same number of degrees of freedom as an (n − p − 1)-field strength F̃ (n−p−1) = dC̃ (n−p−2) . This
can be expressed as duality in the sense
where µp is the charge of Γp . This is the natural generalisation of the coupling of the 1-form
potential A(1) to a point particle.
On the string fields this symmetry is realised by the unitary operator Ω such that
The induced action on the closed string oscillators has already been discussed on Assignment 6
for the bosonic theory. Generalising the logic gives
One can therefore (preliminarily) define a new unoriented theory by taking the quotient
Type IIB
(Type I)closed := (6.176)
Ω
as follows:
1) Bosonic sector:
The action of Ω on the groundstate is
The minus sign in the R-R sector is due the fermionic nature.
i) The (NS, NS) sector contains, at the massless level the following fields: Bµν = −Bνµ
forming an antisymmetric 2-tensor of of SO(8). Therefore Bµν is Ω-odd and projected out
upon taking the quotient by Ω. The remaing fields (Φ, Gµν ) transform as the symmetric
representation of SO(8) with 36 degrees of freedom. They are Ω-even and and thus
projected in.
(2)
ii) In the (R, R)-sector the massless fields behave as follows: The 2-form C[µν] is in the
antisymmetric representation of SO(8), but due to the extra (-1) from the action of Ω on
the RR sector ground state, this field is effectively Ω-even. The remaining C (0) , C (4)+
contain 36 degrees of freedom and thus combine into the symmetric representation of
SO(8). They are in turn Ω-odd.
(2)
⇒ The bosonic sector of Type Iclosed contains, at the massless level, the fields Gµν , Φ, C[µν] .
2) Fermionic sector:
The action of Ω on the R-NS and NS-R groundstate is simply
i.e. it exchanges the NS-R and the R-NS sector. Thus the diagonal combination of the 2
copies of λa , ψaµ transforming as (8c , 56) of SO(8) remains in the spectrum.
Consequenctly, the fermionic sector contains, at the massless level, one copy of (λa , ψaµ )(NS-R + R-NS)
in the (8c , 56) of SO(8).
CHAPTER 6. SUPERSTRING THEORY 154
As a result, our preliminary Type Iclosed theory preserves only 1/2 of the SUSY of Type IIB and
thus realises N = 1 SUSY in 10D.
Due to the Ω-projection it must be checked anew if the theory is really fully consistent at the
level of interactions. We cannot go through these computations in detail for reasons of time, but
we can understand the logic and the consequences of this sanity check as follows.
i) Computation of the 1-loop amplitude requires summing over a torus amplitude together with
a Klein bottle amplitude, which is the unoriented Riemann surface at Euler characteristic
χ = 0 with no boundaries. As mentioned in section 5.5.3, the Klein bottle partition function
exhibits an infrared (IR) divergence. Thus, the preliminary Type Iclosed theory is
inconsistent at 1-loop level due to appearance of a tadpole.
ii) The closed string divergence can be cancelled in a Lorentz invaraint manner in ten dimen-
sions if we include open string degrees of freedom with NN boundary conditions in all 10
dimensions from the sectors (NS+ ) and (R+ ). In particular at massless level we must include
SUSY
Aµ vector boson ↔ ψa gaugino. (6.180)
Inclusion of open strings with NN boundary conditions in 10 dimensions means inclusion of
D9-branes.
iii) As in the bosonic theory the open unoriented theory contributes an annulus and Möbius
amplitude to the full partition function, each of which contain IR-divergences. Similar to
the bosonic discussion in section 5.5.3, for a stack of N coincident D9-branes the overall
tadpole turns out to be proportional to
Z ∞ Z ∞
(2d/2 ± N )2 ds = (25 ± N )2 ds. (6.181)
0 0
The two signs correspond to the two possible actions of Ω on the Chan-Paton labels for the
massless gauge bosons. For the projection corresponding to the upper sign, the surviving
gauge bosons must have a CP-matrix satisfying
M (λaij )T M = −λaij (6.182)
for M a symplectic matrix, while for the lower sign the gauge bosons have a CP matrix of
the form
(λaij )T = −λaij . (6.183)
This comes about as follows (for details see [P] I, 6.5, pg. 189-192):
A general open string state with CP labels ij transforms as
0
M2
Ω|k; iji = (−1)1+α γjj 0 |k; j 0 i0 iγi−1
0i . (6.184)
The sign factor results from the action of worldsheet parity on the open string oscillators. If we
restrict ourselves for simplicity to the bosonic string theory the action is
µ −1
Ω αn Ω = (−1)n αn
µ
. (6.185)
One can argue similarly in the superstring, where however some complications arise that we do
not discuss here. The γ-matrices, which are in general allowed, square to 1 because Ω2 = 1. This
requires
γ T = ±γ. (6.186)
CHAPTER 6. SUPERSTRING THEORY 155
For the upper sign, a U (N ) gauge transformation on the CP factors can be used to arrive at γ = 1.
In this case, the massless gauge bosons must have antisymmetric Chan-Paton factors with basis
For the lower sign, N must be even, N = 2k and a U (N ) gauge transformation can be used to bring
γ in the form of a symplectic matrix
0 1k×k
M =i . (6.188)
−1k×k 0
Eventually,
Such matrices define the adjoint representation of the symplectic group U Sp(k)
This defines Type I theory as the unoriented 10-dimensional theory by adding to Type Iclosed the
degrees of freedom from the R+ and NS+ open sector of 32 D9-branes subject to the orientifold
projection (6.181) with lower sign, for which (6.181) vanishes. Its gauge group is SO(32) (more
precisely Spin(32)/Z2 .)
• In addition, one can construct two variants of the so-called heterotic string theory in
ten dimensions, which owes its name to the fact that the left- and the right-moving sectors
consist of different chiral CFTs. Concretely one combines ten left-moving copies of the RNS
µ
CFT with fields XLi and ψL i
, i = 0, 1, . . . , 9 with a right-moving bosonic theory XR ,µ=
0, . . . , 25. Extra constraints arise by requiring modular-invariance of the 1-loop amplitudes.
Heterotic theory is a theory of closed strings only, but nonetheless gives rise to gauge
symmetry in 10 dimensions. The gauge symmetry is a consequence of compactification of
the bosonic sector along the additional 26 − 10 = 16 spatial dimensions, giving rise to a
rank 16 gauge group.4 There are two possible gauge symmetries respecting all consistency
conditions: The SO(32) heterotic string and the E8 × E8 heterotic string.
• Until 1995 it seemed that all these 5 consistent theories in 10 dimensions are independent.
As a consequence of the duality revolution it was realised, however, that they are related
by dualities. Thus they should be interpreted as different manifestations of one underlying
theory.
4 We will see in the next section that for toroidal compactifications, each compactified spacetime dimension
gives rise to one abelian gauge boson, with non-abelian enhancements at special radii.
Chapter 7
Compactification, T-duality,
D-branes
In the previous chapters we have learned how to formulate a fully consistent theory of quantum
gravity and Yang-Mills theory in 10 dimensions, unique up to dualities. This theory has all
the prerequisites one expects a theory of everything to have - except for one little detail: The
spacetime we live in does not exhibit 10 large dimensions.
If we are interested in making contact with experiment we have two options: Either we discard
superstring theory completely and start searching for a fundamental theory anew. So far this
search has not lead to anything comparable to string theory, which of course is not a proof that
this must remain so. On the other hand, if we restrict ourselves to the class of theories which
are already known to exist, we can make contact with observations by requiring that the extra
6 spatial dimensions be compact and small - so small that they have not been discovered in any
experiment so far. This strategy goes by the name of compactification and follows, in fact, an
old idea by Kaluza and Klein.
xd ≡ xd + 2πR. (7.1)
The compactified space - here S 1 - is in general called the internal space or the compactifi-
cation manifold.
For a general diffeomorphism invariant field theory this has 3 consequences:
156
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 157
which corresponds to expansion in a complete set of periodic functions in xd . Plugging this into
(7.3) yields
n2
∂µ ∂ µ φn (xµ ) = φn (xµ ) ∀n. (7.5)
R2
2
n
Thus, the n-th Fourier mode φn (xµ ) appears as a scalar field of mass m2n = R 2 from the per-
spective of the (D − 1)-dimensional theory. The collection of these massive scalars are called the
Kaluza-Klein (KK) tower of states. Note that the zero-mode φ0 is massless and independent
of xd .
As R → 0, the mass of the lowest-lying state m21 → ∞ and the KK tower disappears from the
low-energy spectrum. At energies E << R1 the theory looks (D − 1)-dimensional - we are in the
realm of the low-energy effective field theory.
Ad b):
(D)
The extra U (1) gauge potential arises from the components Gµd of the D-dimensional metric.
The most general metric ansatz is
(D) 2
ds2 = GM N dxM dxN = Gµν dxµ dxν + Gdd dxd + Aµ dxµ , (7.6)
i.e. we parametrise
(D)
Gµd = 2 Gdd Aµ . (7.7)
Consider for simplicity the zero modes of Gµν , Gdd , Aµ , i.e. let all components depend only
on xµ . The subgroup of diffeomorphisms in D spacetime dimensions compatible with the ansatz
(7.2) transforms as follows:
• Diffeomorphism invariance in (d − 1)-dimensions implies xµ → x0µ (xν ).
• Diffeomorphism invariance along the circle S 1 formed by xd implies xd → x0d = xd + λ(xµ ).
This entails
Aµ → A0µ = Aµ − ∂µ λ. (7.8)
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 158
Ad c):
The metric component Gdd is a scalar field from the perspective of the (D − 1)-dimensional
theory. It sets the volume of the internal space
Z 2πR p p
Vol(S 1 ) = dxd Gdd = Gdd · 2πR, (7.10)
0
i.e. the vacuum expectation value (VEV) of the scalar field Gdd determines a geometric property
of the internal space - here the volume of S 1 . The appearance of the scalar field Gdd in the D1
dimensional effective action follows by √ dimensional reduction, i.e. expansion of the D-dimensional
Einstein action. It turns out that Gdd is not constrained by a potential. One says that the
scalar field is flat. In particular, it is massless. Such flat scalar fields whose VEV determine
geometric properties of the compactification space are called moduli fields.
ii) In addition something new appears: We can have winding strings looping w times around
the compact S 1 .
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 159
String A is non-winding:
4 4
⇒ −pµ pµ = (pdL )2 + 0
(N − 1) = (pdR )2 + 0 (Ñ − 1). (7.20)
| {z } α α
µ=0,1,...,d−1
n2 ω 2 R2 2
m2 = −pµ pµ = 2
+ 02
+ 0 (N + Ñ − 2). (7.21)
R α α
The level-matching condition 0 = (L0 − L̃0 ) |φ i now relates the left- and right-moving oscillation
numbers as
N − Ñ = −n ω. (7.22)
We observe the following structure:
• The sector n = ω = 0 gives rise to the familiar states present also for R → ∞.
• The sector ω = 0, n 6= 0 ⇒ contains the KK tower of massive KK excitations present also
in point particle theory on an S 1 .
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 160
2 2
• The sector ω 6= 0 contains winding states of mass ω αR0 .
Note that the mass formula reflects the fact that winding costs energy due to the string
tension. The winding sector represents a truly string effect not present for point particles.
Consider now the limit R → 0.
i) The KK tower disappears from the low-energy spectrum. For a point particle theory this
would be the end of the story and we would conclude that the theory becomes effectively
(1 + (d − 1)) dimensional.
1 2 2
ii) However, the winding states become light because their mass scales as m2 ∼ α0 ω R .
We conclude that unlike a point particle theory, string theory on S 1 remains effectively (1 + (d −
1))-dimensional. We will further discuss this stunning observation below, but first let us analyze
in more detail the massless spectrum.
! ! !
For generic values of R the massless spectrum corresponds to the sectors n = ω = 0, N =
!
Ñ = 1. We find the following states:
µ ν
• α−1 α̃−1 |0, k i gives rise to G(µν) , B[µν] and Φ in the non-compact 1 + (d − 1) dimensions.
µ d d µ
• (α−1 α̃−1 + α−1 α̃−1 ) |0, k i corresponds to a vector from the perspective of the 1 + (d − 1)
(D)
non-compact dimensions. This is just the U (1) potential from Gµ d encountered also for a
point particle theory.
µ d d µ
• (α−1 α̃−1 − α−1 α̃−1 ) |0, k i gives another vector, cooresponding to the component Bµ d .
d d (D)
• α−1 α̃−1 |0, k i gives a scalar corresponding to the component Gdd .
Thus we find a U (1) × U (1) gauge symmetry and a modulus in the non-compact dimensions. X
√
At special values of R extra states appear. In particular for R = α0
1
pdL,R = √ (n ± ω). (7.23)
α0
Massless states, m2 = 0, now require
These√are in addition to the two gauge bosons present for generic values of R. This suggest that at
R = α0 the symmetry U (1)×U (1) is enhanced to SU (2)×SU (2), where each SU (2) factor
accounts for three gauge bosons. Indeed this assertion can be checked at the level of interactions.
Remarks:
√
• This appearance of non-abelian enhancements at Rc = α0 is a stringy effect not present
in field theory.
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 161
The compactified right-moving sector gives rise to gauge bosons in the ten-dimensional
theory - arising now from the right-moving closed sector. At generic radius the gauge
group would be U (1)16 , corresponding to 16 independent vector bosons (note that each
dimension yields only U (1) as opposed to U (1) × U (1) because only the right-moving sector
contributes.) However, modular invariance of the 1-loop partition function poses strong
constraints on the theory and in particular enforces that the radii of the T 16 be at their
critical value, for which one finds non-abelian enhancement of U (1)16 . The two consistent
ways to compactly T 16 turn out to lead to gauge groups
G = SO(32) or G = E8 × E8 , (7.27)
7.3 T-duality
Let us first consider closed superstrings of Type IIA or Type IIB type.
a) Bosonic sector
From the mass formula
n2 1 2 2 2
m2 = 2 0 2 R ω + 0 (N + Ñ − 2) (7.28)
R α α
for closed bosonic strings compactified on a circle of radius R we observe that the spectrum
is invariant under the operation
α0
n↔ω R ↔ R0 = , (7.29)
R
which exchanges the KK momentum and the winding momentum.
This is a truly stringy feature that relies on the extended, non-local nature of a string. The
transformation (7.29) is called T-duality; it extends to an exact symmetry of the closed
CFT, including interactions. To see this we note that exchanging n ↔ ω corresponds to the
transformation
pdL → pL pdR → −pdR . (7.30)
More generally, T-duality is defined by extending this to a fully fledged parity transformation
not only of the right-moving momenta, but of the full string field including the oscillations,
i.e. we map
Now, one can convince oneself that replacing X d → X 0d is indeed a symmetry of the X-CFT.
Physical conclusions:
Since the spectrum and all interactions are left invariant by the transformation (7.29) we have
established that in string theory
√ √
Physics at R < α0 ∼ = Physics at R > α0 . (7.33)
√
Consequently there is a minimal distance R = α0 , corresponding to the self-dual radius. It
does not make sense to define distances smaller than this minimal radius, to√the extent that
we can always map all processes at such distances back to radii bigger than α0 .
√
Note that precisely at the self-dual radius R = α0 we have gauge enhancement U (1)×U (1) →
SU (2) × SU (2).
∼ α0
Type IIB on S 1 with radius R = Type IIA on S̃ 1 with radius R̃ =
R
Indeed, an analysis of the vertex operators of the RR states confirms that T-duality removes
or adds a form index,
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 163
IIA IIB
Cµ1 µ2 µ3 → Cµ1 µ2 µ3 9 ,
Cµ1 µ2 9 → Cµ1 µ2 ,
Cµ → Cµ9 ,
C9 → C.
As established above, T-duality is nothing by parity on the right-movers. In a theory with open
string, this operation exchanges Neumann and Dirchlet boundary conditions. Suppose we start
with a theory in 10 dimensions with NN boundary conditions, i.e. with D9-branes. There is only
one consistent theory of this type, Type I theory, which is built from Type IIB theory in the
way described before. T-duality along x9 transforms Type IIB into Type IIA and leads to DD
boundary conditions in x9 . Thus we arrive at a variant of Type IIA theory with D8-branes.1
This process can be repeated, suggesting that that Type IIB theory contains Dp-branes with p
odd and Type IIA theory contains Dp-branes with p even:
We will now understand this feature better by taking a closer look at the dynamical nature of
D-branes.
By supersymmetry, they interact, of course, with the respective fermionic superpartners. In the
sequel we restrict ourselves to describing the bosonic interactions.
There is the following evidence for the claimed dynamical nature of D-branes:
i) In the full quantum theory the worldvolume of a Dp-brane is not static, but it undergoes
quantum fluctuations. These brane fluctuations in the normal directions are, in fact, de-
scribed by the light open-string excitations.
1 We say ’variant’ because we started from Type I, which includes quotienting by worldsheet parity Ω. Thus
n
The excitations ψ−1/2 |0, k i normal to the Dp-brane describe a massless scalar field prop-
agating along the Dp-brane. It is interpreted as a modulus field whose VEV determines
the position of the brane. Its quantum fluctuations describe brane fluctuations. This is
implied by the fact that there is non-zero momentum exchange between the DD string and
the D-brane, as can be checked explicitly for the DD-solution.
The necessity to include such quantum fluctuations can be understood by the following
analogy with the situation in the closed string sector:
• We start from a theory of closed strings in flat spacetime. This theory gives rise to
gravitons in its massless spectrum, which are nothing but the quantum fluctuations of
the dynamical metric.
• Similarly we start with an open string sector along an initially rigid hypersurface, which
gives rise to scalar fields. Their fluctuations represent the fluctuations of the dynamical
Dp-brane.
ii) A very direct argument was achieved in a seminal paper by Polchinski (1996), which com-
puted the tree-level exchange of RR and NS-NS closed strings between two Dp-branes by
considering instead a 1-loop open diagram.
∼
=
More precisely, this dynamics is captured by a low-energy effective action for the world-
volume of the Dp-brane of the form
• Here,
∂X µ ∂X ν
Gab = Gµν (X(ξ)) (7.39)
∂ξ a ∂ξ b
is the pullback of the ambient space metric onto the brane worldvolume. Note that ξ a
a = 0, 1, ..., p represent braneRcoordinates,
√ while X µ (ξ) describes the embedding of brane
p+1
world-volume in 10D. Thus, d ξ − det Gab is the higher-dimensional generalisation
of the Nambu-Goto action and appears naturally.
• The factor of e−Φ shows that closed strings couple at tree-level to the disk in the open-
closed CFT.
• The field strength of the U(1) gauge field propagating along a single Dp-brane, 2πα0 Fab ,
appears only in combination with the pullback of the Kalb-Ramond field,
∂X µ ∂X ν
Bab = Bµν (X(ξ)) . (7.40)
∂ξ a ∂ξ b
As we recall from Assignment 12, only the combination 2πα0 Fµν = 2πα0 Fµν + Bµν is
invariant under the closed string U(1) symmetry
1
δBµν = ∂µ ξν − ∂ν ξµ , δAµ = − ξµ (7.41)
2πα0
due to the worldsheet coupling
i
Z
2
√ ab µ ν
Z
d ξ h ∂a X ∂b X B µν + i dX µ Aµ . (7.42)
4πα0 Σ ∂Σ
Note that expanding the square root in the DBI action leads to the kinetic term of Yang-Mills
theory plus higher order curvature corrections. These match with an explicit computation of
scattering results.
b) Chern-Simons action
So far the massless RR-sector of Type II superstrings contains the following p-forms: Type
IIA: C (1) , C (3) Type IIB: C (0) , C (2) , C (4)+ .
By Hodge duality in 10 dimensions we can dualise the associated field strengths as
Note that in 10 dimensions the field strengths, not the potentials are dualised. Alternatively,
we can dualise the potentials in the 8 transverse dimensions of light-cone quantisation. Recall
that it was in this framework that we had found a self-dual 4-form.
In any case, the above argument shows that C (q) and C̃ (8−q) describe the same degrees of
freedom. Thus, we can switch to a so-called ”democratic formulation” of Type II supergravity
and consider the following field content in the massless RR sector,
Type IIA : C (1) , C (3) , C (5) , C (7) ,
(7.45)
Type IIB : C (0) , C (2) , C (4) , C (6) , C (8) .
Further curvature terms can be inferred, e.g., by T-duality. The charge of a Dp-brane under
C (p+1) is therefore
2π
µp = p+1 . (7.48)
`s
This explains the spectrum of D-branes observed at the end of the previous section:
IIB : D(2p + 1) ↔ C (2p+2) p = −1, 0, ..., 4 (7.49)
IIA : D(2p) ↔ C (2p+1) p = 0, ..., 4. (7.50)
Only those Dp-branes exist as stable objects which have the matching RR-forms available.
E.g. a D7-brane in IIB cannot decay because it carries C (8) charge; in IIA a D7-brane would
decay (at least in R1,9 ). In fact the dynamics between Dp-branes is a rich and exciting topic
by itself.
Remarks
• For a Dp-brane of the above type, the tension (mass) and charge coincide:
Tp = µp . (7.51)
Such objects are called BPS because they are extremely with respect to the Bogomolny’i-
Prasad-Sommerfeld (BPS) bound
M ≥Z (7.52)
with Z the charge.
• The description of D-branes with the help of open string+closed string CFT is adequate if
gs is small so that a perturbative expansion makes sense. For large gs the Dp-branes back-
react substantially on the geometry of the ambient spacetime due to their mass. They
form so-called black brane solutions in supergravity, which are higher-dimensional
generalisations of black hole solutions of 4-dimensional Einstein or Einstein-Maxwell theory.
In fact, these solutions had been known entirely form a SUGRA persepctive before it was
realised in 1996 by Polchinski that they describe the same objects as the hyperplanes
associated with DD boundary conditions.
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 167
The general idea can already be understood even without compactifying the extra six dimensions.
Various Dp-branes can extend along different dimensions and intersect along some subspace
that contains R1,3 . This way, interesting gauge theories and matter content arise along the
dimensions common to all branes. In fact, the structure we find is naturally that of the Standard
Model of Particle Physics! Thus, Intersecting Brane Worlds are important ingredients of string
phenomenology, the subfield of string theory that tries to make contact between string theory in
10 dimensions and our 4-dimensional world.
We will first be working in R1,9 and consider configurations of branes intersecting along R1,3 ,
temporarily ignoring complications due to compactification. Among the various possibilities we
choose as the probably simplest example a configuration of intersecting D6-branes in Type IIA
theory. Let DA and DB be two such D6-branes which fill the following dimensions:
Dimension 0 1 2 3 4 5 6 7 8 9
DA X X X X X - X - X -
DB X X X X - X - X - X
Remarks:
• The two branes intersect along R1,3 × xi = 0, i = 4, . . . , 9. We will be interested in the
physical theory along these common dimensions.
• Even though the two branes intersect along R1,3 , this setup is not yet a satisfactory ef-
fectively 4-dimensional theory. This is because all states propagating along DA and DB
propagate not only in 4 dimensions, but also in the remaining dimensions of the brane.
The effect of this is negligible to first order only if the extra dimensions are small. Indeed,
generalisations to models with 6 compact dimensions are simple.
D-Brane Models”, http://arXiv.org/abs/hep-th/0502005. A more advanced and very comprehensive text is also
”Four-dimensional String Compactifications with D-Branes, Orientifolds and Fluxes”, http://arXiv.org/abs/hep-
th/0610327.
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 168
some amount of SUSY must be broken. It turns out that a single Dp-brane in Type II
theories (of the appropriate type) preserves only 12 of the original amount of supercharges.
• If 2 branes intersect as above, they will in general preserve different supercharges. The
total amount of supersymmetry is then generated by the supercharges preserved by both
of them. The amount of SUSY depends on the sum of angles ϕi between the branes.
You can find a detailed discussion e.g. in [P], Chapter 13.4. In the case considered here,
supersymmetry is broken completely. This is just one example of how the theory in 4
dimensions - here arising as the common locus of the intersecting branes - can enjoy much
less supersymmetry than the original theory in 10 dimensions!
• We have not taken into account any of the various subtle consistency conditions that arise
at the quantum level and that are comparable to the tadpole cancellation conditions of
Type I theory. For compact models, these conditions severely constrain the allowed brane
setups. Unlike in pure field theory model building it is not possible to simply assemble
all ingredients one would like for phenomenological reasons into a model. Rather one
must show that the string equations of motion are satisfied. In other words, each model
corresponds to a new effectively 4-dimensional vacuum of the unique 10-dimensional theory.
Consider now stacks of NA and NB coincident branes of type DA and DB respectively. We have
the following 2 different sectors in the open string spectrum:
1) Strings starting and ending on the same brane (A − A sector and B − B sector)
These contain the massless gauge bosons of gauge group U (NA ) and U (NB ), respectively (plus
their superpartners, depending on the amount of SUSY). The important feature is that along
the dimensions common to DA and DB , both types of gauge bosons propagate! Therefore along
the common R1,3 × xi = 0, i = 4, . . . , 9 the gauge group is U (NA ) × U (NB ).
This sector is due to strings starting on A and ending on B (i.e. in the A → B sector) as well as
strings starting on B and ending on A (i.e. in the B → A sector).
• Due to their tension, these are localised at the intersection of the branes, i.e. they propagate
only along R1,3 .
• As can be seen from their Chan-Paton factors, they transforms as bi-fundamentals of
U (NA ) × U (NB ). The convention is that strings in A → B sector transform as (N̄A , NB ).
The difference between the fundamental and and the anti-fundamental is that they are
complex conjugates. We take N̄A to have charge −1A under the diagonal U (1)A in U (NA ) =
SU (NA ) × U (1)A (and NA to have charge +1A .) Then, the states in the sector B → A are
in representation (NA , N̄B ).
• To determine the details of the string spectrum we need to quantised an open string with
mixed boundary conditions. For example, for the setup at hand, these are in the A → B
sector:
σ=0 ∂σ X n (τ, σ = 0) = 0, n = 0, . . . 3, 4, 6, 8,
∂τ X m (τ, σ = 0) = 0, m = 5, 7, 9,
n (7.53)
σ=` ∂σ X (τ, σ = `) = 0, n = 0, . . . 3, 5, 7, 9,
∂τ X m (τ, σ = `) = 0, m = 4, 6, 8.
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 169
A stack of two branes DA and DB intersecting along R1,3 × pt. gives rise to a U (NA ) × U (NB )
Yang-Mills theory plus one chiral fermion transforming in the bi-fundamental (N̄A , NB ).
But wait a minute - this is just the structure of the Standard Model of Particle Physics (SM)!
Namely, the SM gauge group is the product SU (3) × SU (2) × U (1)Y and the particle content is
given by 3 generations of chiral fermions in various bifundamentals:
Our notation is that ucR etc. are the charge conjugate of the right-handed fields and thus left-
handed.
Very crudely, this can be realised by in terms of 3 intersecting brane stacks with NA = 3, NB = 2,
NC = 1.
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 170
Remarks:
• One notices that in the SM only SU (N ) groups appear, not U (N ) (apart from U (1)Y ). In
Intersecting Brane Worlds, the diagonal U (1) ⊂ U (N ) turns out to decouple - its gauge
boson is massive. In suitable configurations precisely one linear combination of U (1)s is
massless. This must be identified with U (1)Y .
• The remaining U(1)s remain as perturbative global symmetries and account for the presence
of accidental symmetries such as baryon and lepton number in the SM. This is particularly
attractive because in the SM no explanation for the existence of these symmetries can be
given.
• To account for the correct charges of all particles, more complicated configurations than
just the above 3-stack model are required. Indeed suitable brane setups can be classified.
Toroidal Intersecting Brane Worlds
So far we have been working in R1,9 . To obtain a truly 4 dimensional effective field theory, the
extra six dimensions must be compact. The logic behind this compactification will be discussed
in a more general context in the next chapter. Here let us focus on the simplest possibility and
make a toroidal compactification ansatz
• The 2 branes DA and DB now intersect in 3 points on T 6 . At each intersection point one
chiral bifundamental fermion ”lives”. Thus, in the effective theory in R1,3 we now find 3
chiral bifundamental fermions. This gives a beautiful way to think about family replication
- the fact that we have 3 chiral generations of bifundamental matter in the SM.
As alluded to above, not every brane configuration leads to a fully consistent CFT. As in Type
I theory one must check that the tadpoles of all 1-loop amplitudes cancel. This implies that we
must actually consider unoriented open strings (such that the Möbvious amplitudes can cancel
the tadpoles of the annulus amplitude). Such models are called orientifolds. Finding consistent
solutions which are compatible with the physics of the SM is an active field of modern day string
theory.
While the string consistency conditions single out a unique theory (up to dualities) in 10
dimensions, every 4-dimensional effective theory obtained from this by compactification
corresponds to a choice of vacuum, i.e. to a dynamical solution of the 10-dimensional
theory.
The uniqueness of the theory in ten dimensions is not in conflict with the existence of many
consistent M6 . Of course there is nothing surprising about the fact that a given theory - here
3 We strongly recommend [GSW], Vol II, Chapter 15 for further reading on Calabi-Yau compactifications.
A detailed review on flux compactifications is e.g. ”Flux compactifications in string theory: A Comprehensive
review”, http://arXiv.org/abs/hep-th/0509003.
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 172
superstring theory in 10 dimensions - can have many different solutions. Consider e.g. Einstein
gravity in 4 dimensions: It is one theory with many different solutions! Just as gravity theorists
cannot predict which of these solutions is relevant for our solar system - we must observe the
distance from the Earth to the sun, we cannot compute it from Einstein’s equations - in string
theory we must find the correct 4-dimensional solution corresponding to our world and then use
this solution to gain further insight e.g. about particle physics.
The set of 4-dimensional solutions of string theory is called the landscape of string vacua.
The most general solution of the equations of motion will break supersymmetry completely, i.e.
at the compactification scale. While this is fine in principle, for reasons of stability and of com-
putational control we try instead to preserve supersymmetry at the compactification scale; then
SUSY must be broken dynamically at a lower scale.
The condition for unbroken supersysmmetry is that the supersymmetry variation of all fields in
the vacuum must vanish. For bosonic fields this is automatic, because a boson b transforms into
a fermion f , δSUSY b = f and thus hδSUSY bi = hf i ≡ 0 as fermions have no VEV. The non-trivial
constraint is therefore that also
hδSUSY f i = 0. (7.59)
The supersymmetry charges of Type IIA/B supergravity form two independent supersymmetry
algebras. The SUSY variation associated with each of these algebras is expressed in terms of
one spacetime-dependent Majorana-Weyl spinor in 10 dimensions. From supergravity texts we
quote the following ten-dimensional SUSY variations of the fermonic fields:
For the most general SUSY vacuum the NSNS and RR field strengths will have a non-zero VEV,
hHi =6 0 6= hF p i. Vacua with such non-vanishing field strengths are called flux vacua and have
gained a lot of attention in recent years. For simplicity, however, let us consider the special case
hHi = 0 = hF p i. The dilation variation implies Φ = const. and the SUSY conditions are
˜ µ (i) = 0 = ∇m (i) .
∇ (7.64)
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 173
In general the existence of a covariantly constant spinor poses strong conditions because it implies
This is because it implies the conditions [∇µ , ∇ν ](i) = − 21 (∇m A) (∇m A) Γµν i , where ∇µ is with
respect to the maximally symmetric metric gµν . For these spaces we have [∇µ , ∇ν ](i) = λ2 Γµν (i)
with λ < 0 for AdS, λ = 0 for Minkowski and λ > 0 for dS. Thus k + ∇m A∇m A = 0, but the
only constant value for (∇m A)(∇m A) on the compact internal space is zero.
Thus, supersymmetric compactifications to AdS are possible only in the presence of fluxes (de-
Sitter space breaks supersymmetry anyways and more elaborate techniques are required to con-
struct vacua with positive cosmological constant). What remains is to analyze the condition that
0 = ∇m (i) .
In Type IIA, (1) transforms as a 16-component chiral Majorana Weyl spinor 16 of SO(1, 9) and
(2) as the anti-chiral 160 , while in Type IIB both spinors are chiral. In view of the decomposition
∇m η+ = 0. (7.70)
The spinor η− is just the conjugate of η+ . Thus, for each covariantly constant spinor η+ we
obtain 4 + 4 supercharges in 4 dimensions (because to each component of the 4-dimensional
(i) (i)
SUSY parameters + and − we associate one Noether charge). This corresponds to N = 2
SUSY in 4 dimensions.
In fact, the existence of a covariantly constant spinor on M6 is equivalent to the statement that
M6 has SU(3) holonomy. Let us recall what this means: Consider a general Riemannian
6-fold M6 . Such a space has SO(6) holonomy: If we transport a vector field vm around a closed
loop γ, the field transforms as
0
vm → vm = (Uγ · v)m , Uγ ∈ SO(6). (7.71)
The existence of a covariantly constant vm implies that vm = (U ·v)m . This reduces the holonomy
group to a subgroup of SO(6).
Now, it is useful to consider the isomorphism SO(6) ' SU (4) (as always we really mean: Spin(6)
because we care about spinors). A chiral Weyl spinor 4 of SO(6) corresponds to the vector
representation 4 of SU(4) (with 40 corresponding to the conjugate 4̄). This is similar to the
familiar SO(1, 3) ' SU (2)L × SU (2)R and the associated representation of the chiral and anti-
chiral Weyl spinors in terms of vectors under SU (2)L/R .
CHAPTER 7. COMPACTIFICATION, T-DUALITY, D-BRANES 174
The existence of a covariantly constant spinor therefore requires that the holonomy be reduced
from SU (4) to SU (3). Then the spinor in question is
η0
0
η= 0 .
(7.72)
0
Manifolds of SU(3) holonomy are famous:
Definition 7.1. A 2n-dimensional manifold of holonomy SU (n) is called a Calabi-Yau n-fold.
One can also characterise a Calabi-Yau manifold as follows: First make the
Definition 7.2. A Kähler manifold is a complex manifold whose metric is hermitian (i.e. the
only non-vanishing metric components are gij̄ ) and can be derived from Kähler potential K as
gij̄ = ∂i ∂j̄ K.
One can show
Theorem 7.1. A manifold is Calabi-Yau if and only if it is Ricci flat and Kähler.
In particular, a Calabi-Yau manifold automatically satisfies the vacuum Einstein equations.
Thus, our supersymmetric compactification solves the equations of motion.
The explicit construction of compact Ricci flat Calabi-Yau metrics is very hard. But according
to a famous theorem conjectured by Calabi and proven by Yau, one can check a much simpler
algebraic criterion to determine if a given space allows for such a Ricci flat metric:
Theorem 7.2. A Kähler manifold is Calabi-Yau if and only if the first Chern class of the tangent
space vanishes, i.e. c1 (M6 ) = 0.
The study of Calabi-Yau manifolds is a typical subject of algebraic geometry, which provides
many tools of significant importance to model builders.
Note that the simplest example of a Calabi-Yau 3-fold space is indeed a torus T 6 . This justifies
in retrospect our toroidal ansatz of the previous section. However, the holonomy group of a T 6
is trivial, i.e. it is contained in SU (3). Therefore compactification of Type II string theory on
T 6 gives a theory with all 32 supercharges, corresponding to N = 8 supergravity.
So far we have only been dealing with the closed string sector. To arrive at interesting theories
including gauge dynamics one can combine the idea of Intersecting Brane Worlds with compact-
ification on a genuine Calabi-Yau 3-fold. To stick with our example of Type II A theory with
D6-branes, the latter fill R1,3 and wrap an internal 3-cycle Σ, i.e. a submanifold with ∂Σ = 0 and
Σ 6= ∂Γ. In the presence of a brane the amount of supersymmetry is at best 1/2 of the original
SUSY. This corresponds to 4 conserved supercharges in 4 dimensions, i.e. N = 1 supersymmetry.
For this N = 1 SUSY to be actually preserved, the 3-cycle must itself satisfy certain geometric
conditions.
This way realistic gauge theories can be obtained in a systematic manner from string compactifi-
cations. A detailed study of the landscape of string vacua is the subject of string phenomenol-
ogy.