26.01.2014 Views

arXiv:hep-th/9304011 v1 Apr 5 1993

arXiv:hep-th/9304011 v1 Apr 5 1993

arXiv:hep-th/9304011 v1 Apr 5 1993

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Quite generally, <strong>th</strong>e operator product algebra of <strong>th</strong>e chiral operators in a conformal<br />

field <strong>th</strong>eory defines an example of a ma<strong>th</strong>ematical object known as a vertex operator algebra<br />

[162]. Indeed much of <strong>th</strong>e work on conformal field <strong>th</strong>eory (especially RCFT) has been an<br />

investigation of <strong>th</strong>ese algebraic structures [163,164].<br />

In string <strong>th</strong>eory, where <strong>th</strong>ere is a<br />

BRST operator Q, additional structures arise. This is nicely illustrated in <strong>th</strong>e example of<br />

<strong>th</strong>e operator product algebra of <strong>th</strong>e 2D string.<br />

First let us consider <strong>th</strong>e absolute chiral cohomology at <strong>th</strong>e self-dual radius. As we<br />

have described in chapt. 5, <strong>th</strong>is is spanned by operators at ghost numbers G = 0, 1, 2 for<br />

<strong>th</strong>e (+)-states:<br />

G = 0<br />

O j,,m<br />

G = 1 aO j,,m Y +<br />

j,m<br />

(14.16)<br />

G = 2 aY +<br />

j,m ,<br />

toge<strong>th</strong>er wi<strong>th</strong> <strong>th</strong>e (−)-states at ghost numbers 3,2,1, which are dual via <strong>th</strong>e tildeconjugation.<br />

The operator product of <strong>th</strong>e ground ring operators O ∈ G can be restricted to <strong>th</strong>e<br />

BRST cohomology:<br />

O 1 (x) O 2 (y) ∼ O 3 (y) mod{Q, ∗} , (14.17)<br />

since <strong>th</strong>e operator product is nonsingular and and ghost number is additive. Thus, <strong>th</strong>e<br />

ground ring operators form a ring. One can show <strong>th</strong>at <strong>th</strong>e BRST reduction of <strong>th</strong>e operator<br />

product algebra is [67]:<br />

O j1 ,m 1<br />

(x) O j2 ,m 2<br />

(y) = O j1 +j 2 ,m 1 +m 2<br />

(y) mod{Q, ∗} . (14.18)<br />

This result almost follows simply from consideration of ghost and momentum quantum<br />

numbers. The fact <strong>th</strong>at <strong>th</strong>e structure constant is unity requires more detailed analysis<br />

[67]. Wi<strong>th</strong> <strong>th</strong>e identifications x ≡ O 1/2,1/2 , y ≡ O 1/2,−1/2 , we identify <strong>th</strong>e chiral ground<br />

ring wi<strong>th</strong> <strong>th</strong>e algebra of polynomials in x and y, denoted C[x, y].<br />

Of course, <strong>th</strong>e existence of a ring in <strong>th</strong>e OPA of <strong>th</strong>e BRST cohomology does not require<br />

us to restrict to ghost number G = 0. To describe <strong>th</strong>e full operator product algebra, we<br />

first introduced some geometry.<br />

Geometry of <strong>th</strong>e BRST operator product algebra<br />

An old observation [165] is <strong>th</strong>at <strong>th</strong>e BRST cohomology of string <strong>th</strong>eory resembles<br />

cohomological structures of manifolds. The operator product algebra of <strong>th</strong>e 26-dimensional<br />

string has proven too complicated to pursue <strong>th</strong>is line of <strong>th</strong>ought very far, but <strong>th</strong>e 2D string<br />

180

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

Saved successfully!

Ooh no, something went wrong!