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.

3.2 BRST quantization 79<br />

in differential geometry d2 = 0. 9 In that case one considers various types<br />

of differential forms ω. Ones that satisfy dω = 0 are called closed, <strong>and</strong><br />

ones that can be written in the form ω = dρ are called exact. Nilpotency<br />

of d implies that every exact form is closed. If there are closed forms that<br />

are not exact, this encodes topological information about the manifold M<br />

on which the differential forms are defined. One defines equivalence classes<br />

of closed forms by declaring two closed forms to be equivalent if <strong>and</strong> only<br />

if their difference is exact. These equivalence classes then define elements<br />

of the cohomology of M. More specifically, an equivalence class of closed<br />

n-forms is an element of the nth cohomology group H n (M).<br />

The idea is now clear. Physical string states are identified as BRST cohomology<br />

classes. Thus, in the enlarged Fock space that includes the b <strong>and</strong><br />

c oscillators in addition to the α oscillators, one requires that a physical<br />

on-shell string state is annihilated by the operator QB, that is, it is BRST<br />

closed. Furthermore, if the difference of two BRST-closed states is BRST<br />

exact, so that it is given as QB applied to some state, then the two BRSTclosed<br />

states represent the same physical state. In the case of closed strings,<br />

this applies to the holomorphic <strong>and</strong> antiholomorphic sectors separately.<br />

Because of the ghost zero modes, b0 <strong>and</strong> c0, the ground state is doubly<br />

degenerate. Denoting the two states by | ↑〉 <strong>and</strong> | ↓〉, c0| ↓〉 = | ↑〉 <strong>and</strong><br />

b0| ↑〉 = | ↓〉. Also, c0| ↑〉 = b0| ↓〉 = 0. The ghost number assigned to one<br />

of these two states is a matter of convention. The other is then determined.<br />

The most symmetrical choice is to assign the values ±1/2, which is what we<br />

do. This resolves the ambiguity of a constant in the ghost-number operator<br />

U = 1<br />

2πi<br />

<br />

: c(z)b(z) : dz = 1<br />

2 (c0b0 − b0c0) +<br />

∞<br />

(c−nbn − b−ncn). (3.89)<br />

Which one of the two degenerate ground states corresponds to the physical<br />

ground state (the tachyon)? The fields b <strong>and</strong> c are not on a symmetrical footing,<br />

so there is a definite answer, namely | ↓〉, as will become clear shortly.<br />

The definition of physical states can now be made precise: they correspond<br />

to BRST cohomology classes with ghost number equal to −1/2. In the case<br />

of open strings, this is the whole story. In the case of closed strings, this<br />

construction has to be carried out for the holomorphic (right-moving) <strong>and</strong><br />

antiholomorphic (left-moving) sectors separately. The two sectors are then<br />

tensored with one another in the usual manner.<br />

To make contact with the results of Chapter 2, let us construct a unique<br />

9 This is the proper analogy for open strings. In the case of closed strings, the better analogy<br />

relates QB <strong>and</strong> eQB to the holomorphic <strong>and</strong> antiholomorphic differential operators ∂ <strong>and</strong> ¯ ∂ of<br />

complex differential geometry.<br />

n=1

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

Saved successfully!

Ooh no, something went wrong!