10.12.2012 Views

String Theory and M-Theory

String Theory and M-Theory

String Theory and M-Theory

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

72 Conformal field theory <strong>and</strong> string interactions<br />

which is the desired result. The first nontrivial case is m = 1, which has<br />

c = 1/2. It has been proved that these are all of the unitary representations<br />

of the Virasoro algebra with c < 1.<br />

To underst<strong>and</strong> the structure of these unitary minimal models, one should<br />

also determine all of their highest-weight states. Equivalently, one can identify<br />

the primary fields that give rise to the highest-weight states by acting<br />

on the conformal vacuum |0〉. Since |0〉, itself, is a highest-weight state, the<br />

identity operator I is a primary field (with h = 0). Using the known SU(2)k<br />

representations, one can work out all of the primary fields of these minimal<br />

models. The result is a collection of conformal fields φpq with conformal<br />

dimensions hpq given by<br />

hpq = [(m + 3)p − (m + 2)q]2 − 1<br />

, 1 ≤ p ≤ m + 1 <strong>and</strong> 1 ≤ q ≤ p.<br />

4(m + 2)(m + 3)<br />

(3.75)<br />

Because of the symmetry (p, q) → (m + 2 − p, m + 3 − q), an equivalent<br />

labeling is to allow 1 ≤ p ≤ m + 1, 1 ≤ q ≤ m + 2 <strong>and</strong> to restrict p − q to<br />

even values. For example, the m = 1 theory, with c = 1/2, describes the<br />

two-dimensional Ising model at the critical point. It has primary fields with<br />

dimensions h11 = 0 (the identity operator), h21 = 1/2 (a free fermion), <strong>and</strong><br />

h22 = 1/16 (a spin field).<br />

Note that the minimal models have c < 1 <strong>and</strong> accumulate at c = 1.<br />

This limiting value c = 1 can be realized by a free boson X. There are<br />

actually a continuously infinite number of possibilities for c = 1 unitary<br />

representations, since the coordinate X can describe a circle of any radius. 7<br />

EXERCISES<br />

EXERCISE 3.1<br />

Use the oscillator expansion in Eq. (3.21) to derive the OPE:<br />

SOLUTION<br />

∂X µ (z)∂X ν (w) = − 1 η<br />

4<br />

µν<br />

+ . . .<br />

(z − w) 2<br />

Since the singular part of the OPE of the two fields ∂X µ (z) <strong>and</strong> ∂X ν (w)<br />

7 Chapter 6 shows that radius R <strong>and</strong> radius α ′ /R are equivalent.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!