Congre,o

Revista Mexicana de Fsica 34 No. 3(1988) 452-491

Enuanza

Introduccin a la teora de cuerdas: caso bosnico+

J.M. Lpez R., M.A. Rodrguez S., M. Socolovsky' y J.L. Vzquez B.
Departamento de Fsica, Centro de Investigacin y de Estudios Avanzados,
Instituto Politcnico Nacional, apartado postal 14-740, 07000 Mxico, D.F.
(recibido el17 de marzo de 1988; aceptado el2 de mayo de 1988)

Resumen.
Se presenta una introduccin a las teoras clsica y cuntica
de cuerdas bosnicas. La discusin se restringe al caso libre y princi.
palmente a cuerdas abiertas. La parte clsica incluye una descrpcin
detallada de simetras, unid.ades, ecuaciones de movimiento, soluciones
en normas conformes y ligaduras. Se describen la accin de Nambu y la
de Brink et al. En la parte cuntica se deriva el lgebra de Virasoro. Se
presenta una introduccin a la teora clsica de campos de cuerdas cova.
rante de norma a travs de la introduccin de campos de Stueckelberg,
y es en este contexto donde se menciona la dimensin crtica [26] para el
espacio-tiempo. Finalmente, se discute brevemente la funcional de vaco.
PACS: 11.10.Qr; 11.90.+1; 03.65.Ca

1. Introduccin
La teora de supercuerdas [1] ha surgido en aos recientes (fundamentalmente
desde
los trabajos de Green y Schwarz [2] sobre cancelacin de anomalas) como un fuerte
candidato a con~ituirse en una tcora cuntica de unificacin de las interacciones
hasta hoy conocidas en la Naturaleza: c1ectrodbiles y fuertes (que son las fuerzas
que intervienen en el modelo estndar [3]) y gravitacionales
[4]. La primera suge.
rencia de que sea una tcora de cuerdas una extensin multilocal natural de la relatividad general einsteniana data de 1974 por Scherk y Schwarz [5]' y est basada en
el modelo dual de Virasoro-Shapiro [6] (este modelo, asociado con cuerdas cerradas,
predice la existencia en la dimensin crtica De = 26 del espacio-tiempo de un campo
tensorial simtrico de rango 2 sin masa, que suele identificarse con el gravitn). La
escala de masas caracterstica de la teora pasa entonces del orden de 1 Ge V / e2 de
los modelos duales para hadrones y sus interacciones [7]' a 1019 GeV /e2 (masa de
Planck) correspondiente
a energas/partcula
elemental donde los cfectos cunticos
gravitacionales
no pueden ser despreciados (una forma sencilla de entender esto es
considerar la contribucin debido a las fluctuaciones cunticas que da la accin de
Einstein S E = (e3 /161rG N) Jo d4 X .=g R (donde R es el escalar de curvatura y 9 el
+Versin extendida del curso "Introduccin a la teora de cuerdas" presentado durante
Congreso Nacional de Fsica, Mrida, Yucatn, del 25 al 30 de octubre de 1987 .
Parcialmente apoyado por CONACyT, Mxico.

el XXX

!ntn)<illccin

el la teorz'a de cucrdu~: caso bMlliro

determinante de la mtrica) a la integral de camino

} al valor tpico de la integral en

L.:S

~((9J1I))1DglJllcISE/h
9w,

SE, resulta que ISE/1tI:;;

- JhC

LPland . =

_ 10

-35

.1.;:.
Liamand(1

1 sii

1Il.

En este trahajo se presenta una introduccin al caso ms sencillo, que es el PII_

ramente bosnico, y la discusi6n se restringe a cuerdas libres. El concept.o de teoras
covariantes bajo reparametrizaciolles (difcomorfismos) se introduce en la seccin 2
con la partcula relativista libre sil] espn. La introduccin de ulla mtrica intrnseca
a lo largo de la lnea de mundo permite reinterpretar la accin en trminos de D
campos escalares acoplados a una "gravedad" en una dimensin. La interpretcin
anloga en dos dimensiones se puede hacer para el caso de cuerdas "clsicas" que
se definen al comienzo de la seccin :l utilizando la accin de Nambu 18]. El anlisis
dimensional muestra que, a menos que se prefiera la introduccin de una longitud
fundamental, existe un nlmero infinito de normas en las que la introduccin de fl es
inevitable, por lo que pensamos quc una teora puramente clsica de cuerdas no es
posible. Se tiene aqu una diferencia clara con objetos puntuales: la formulacin de
una teora clsica de partculas interactuando con campos s es posible; el carcter
fsicamente no-cerrado de una tal teora (divergencias "incurables" dentro del marco
clsico) sobreviene a nivel d(~la.s soluciones [9]. En la seccin <1 se presenta una
deduccin detallada del lgebra de Virasoro [10] para el caso de la c\lerda abierta
enfatizando el carcter puramente cuntico del trmino anmalo [O(h2)], y en la
seccin 5 se introduce la tt-'Oracovariante de norma de campos de cuerdas, utili.
zando campos auxiliares de Stucckelberg [11]. El resultado es un conjunto infinito
de ecuaciones pata un nmero infinito de funcionales de campo: el campo de la
cuerda tP y los campos de Stucckelberg 4>~,p, q = 1,2,3, .... En este esquema se
discute brevemente la funcional de campo de vaco (12).
Finalmente deseamos mencionar que si bien en este trabajo no se hace referencia
a las interacciones entre cuerdas y, por lo tanto, en la presentacin del formalismo
de teora de campos no se introducen trminos explicitos de interaccin, en una
primera cuantizacin (13,14] hasada en lit accin de Namhu [S] o de Urink el al. [151
y Polyakov [16] mencionadas ell la seccin 3, las interacciones tienen un origen
puramente geomtrico y ningn trmino explcito que las describa aparece en la
accin. Este origen para las interacciones fue aplicado tambin a partculas por
Casalbuoni el al., en la referencia 17..

2. Partcula

relativista

libre

En esta seccin discutiremos algunos aspectos de la k"Oraclsica y cuntica de

una partcula relativista libre sin espn. La motivacin para ello es la existencia de
ciertas similitudes entre dicha teora y la teora de Nambu para una cuerda bosnica

454

J.M. Lpez el al.

que discutiremos en la prxima seccin. Es conveniente sealar desde un principio

que cuando nos referimos a una partcula relativista, consideramos a sta elemental,
y por lo tanto puntual, segn argumentos bien conocidos [9]. Tambin sealamos
que trabajaremos
en un espacio-tiempo D
d+ l-dimensional, donde d es el nmero
de, dimensiones espaciales.

2.1. Accin
Sea T E {Ta, Tb] e R1 (x unidad arbitraria) y sea x1J:
r 1-+ xJ'(r) una curva e E el (continuamente difercnciable)
tiene

[Ta, 1"bl

-+

R1,D-l,

tipo tiempo. Se

(1 )
con ry"" = diag(l.-l ... -l). X"(T) = dX"(T)/dT
y en cada T. '1""X"X" > o.
[XIl(T)]
== [longitud]; 1},,,, es UIIa mtrica de Lorcntz en R1,D-l. Usualmente se

e ;; J2

Jx

xx

2' T ), con 2 ;:
1J , XII = 11wX"'. long
escribe long
dT
f"-S tina funci~nal
J1
homognea de grado 1 de j;tl(T) por lo tanto [T) es arbitraria. Sea una partcula de
masa m > O. Se hace la asociacin C I-t S(C] dada por

SIC]'" -m~ long C '" S[x'(

T)1.

(2)

donde S[C] es la accin de la partcula asociada a la curva o "camino" C (las

comillas en "camino" se refieren al hecho de que C no necesariamente
es el camino
fsico clsico seguido por la partcula en su movimiento de xl'( Ta) a xP( Tb). el cual se
obtiene de extremar S con respecto a C). Notemos que IS] = [energa] x [tiempo] =
[hj. Es usual definir el langrangiano de la partcula a travs de

S[C] '"

1"

dT 1,( T).

(3 )

"

Para
Ejemplo:

la eleccin es al'bitmria. Elegir

norma del laboratorio

o de Coulomb

es, por definicin,

fijar la norma.

[18]:

(4 )
Se tiene entonces

:f0 = e, xi

dxi / dt y por 10 tanto

SIC= -me'l"

di JI

"

-Ixl'/e'.

(5 )

Introduccin a la teora de cuerdas: caso bosnico

2.2. Covariancia bajo reparamelrizacin

455

(= covariancia generalizada)

Consideremos la transformacin

-+ T'::;

r'(r)

r'h)

rb

(6)

Ir'(ra)::;

ra

con r'(r) difeomorfismo: diferenciable y con inversa diferenciablc. Resulta entonces

dr = ;-(r')dr' (;-(r') = drldr'), ,,"~ir) = dx"ldr';-'(r) = ,,"(r');-'(r))'
por lo tanto

SIC] =

-me

r;

Jr~

dr';-(r')T'(r)),,2(r')

-me

r;

Jr~

dr' ),,2(r')

(2a)

i.e., S(C] no cambia la forma de su dependencia funcional con Xii bajo difeomorfismos. Es fcil ver que el conjunto de difeomorfismos del intervalo [ra, Tbl que
dejan los extremos fijos es un grupo bajo composicin. En efecto: i) si r -+ T' ::; f( T)
l
Y r -. r/l = g(T') son difeomorfismos, entonces T" = 9 o f(T) ;;; h(r) tambin lo
es; ii) Jo (g o h) = (f o g) o h (asoeiatividad); iii) T'(T) = T, es decir, f = Id es
difcomorfismo con 9 o Id = Id o 9 ::; 9 para todo difoonlorfismo g; iv) T' ::; f(r)
difeomorfismo implica r ::; f-l(r')
difeomorfismo. QED. El grupo es no-abcliano
ya que Jo 9 .:. 9 o f en general. Vemos entonces que en la relatividad especial de
una partcula puntual clsica existe un grupo de simetra local, ya que salvo diferenciabilidad y existencia de inversa, el carribio r -+ T' es arbitrario en cad ..T. Esto
conduce a la posibilidad de interpretar a las D coordenadas .rll{ T) del espacio-tiempo
de Minkowski n1JD-l como D campos escalare .. (bajo el grupo de difeomorfismo:'l)
en un espacio-tiempo unidimensional T,

(7)

y a las transformaciones de Poincar como grupo de simet ra global interno,

(S)
(en todos los

la misma transformacin), con

(Sa)

El hecho de que atribuyamos a xJl( T) UJI carcter escalar bajo difeomorfismos

no contradice el cambio de las XJl(T) en (2a) ya que este ltimo es debido al cam.
bio en el argumento de la funcin. Para ver esto, considcremog un difeomorfismo

456

J.M. Lpez et al.

infinitesimal,

T'

T + '!(T),

1'1 1.

(6a)

Entonces X"'(T') = X"'(T + '!(T)) = X"'(T) + X"'(T)'!(T) + 0(,') = X'"(T) +

j;1t(T)tJ(T)
+ O(t2) = XII(T). Por lo tanto, el cambio de la funcin debido al cambio
de arugumento est dado por el negativo del cambio de la forma de la funcin en el
punto:

X"'(T) - X"(T) = -X"(T)'!(T),

i.e.

x"(T)5T = -(5X")(T).

2.3. Ecuacin de movimiento

La ecuacin del movimiento para la partcula descrita por la accin (2), i.e. en
una norma arbitraria, se obtiene igualando a cero la derivada funcional de S[Cl con
respecto a XA(T'), con T' E (To.,T):

0= e-r--( ,)5
vX

=-me

+me

el

-.me

1;

l.,
-1/'
."
5X"(T)
dT -(x (T))
2~,wx (T)e-r--( )
2

TlI

;
1
1"
;,

1.)
d "
dT =x"(T-5>.5(T-T
yX-(T)
dT

dT5(T-T)-d ,d(X>'(T))
=
T yX'(T)

')

=me

;
;,

vX

T'

d (X>'(T)
(
dT-d
=5T-T)
T yX'(T)

,)

es decir
-dd (

x>.
(T)
r:::It::\
Y

X'(T)

) -_ O

0.1

". A ( T ) J.'.' ( T ) -_ x.A ( T ) x'." ( T )'C.11/( T ) .

(9)

En la norma del laboratorio l'~o= el/cIxoc = O, x2 = c2 - Ixl2, Xi = d2xfdt2

y
por lo tanto de (9) resulta xx = O para ,\ = O, y para ,\ i' O, x(1 - ,,' le') = "O = O
que implica

x = O,

i.e.

x = ete.

pues j;2 > O. Por lo tanto, es en la norma del laboratorio donde el movimiento libre
es rectilneo y uniforme en otra norma el movimiento puede ser muy "complicado",
como lo muestra la ecuacin (9).

Introduccin a la teora de cuernas: caso oosnico

457

2.4. Afomento generalizado y hamiltoniano

Partiendo de la accin
conjugado al campo xP( r):

S[C),

ecuacin (2), definimos el momento

'll"p(r');: SI(C!)
= -me (" dr . ( ,)vxV(r)xv(r')
xJI r
JrA
Xii r

_ -me ~.

generalizado

(11)

x2(r/)

Resulta entonces

(12)
es decir, slo D - 1

7r/J son funcionalmente

independientes. Se tiene entonces una

de Dirac {19], es de primera
especie, ya que es vlida independientemente
de que se cumplan o no las ecuaciones
del movimiento. De lo anterior, para el harniltoniano se tiene

ecuacin de ligadura que, de acuerdo a la nomenclatura

H,;: 7I"p(r)xP(r) - L(r)

+ mcJx2(r)

-mcJx2(r)

O.

(13)

Obviamente el generador de la evaluacin temporal (en el tiempo r) del sistema no

es Ho ya que ste se anula. Es posible mostrar [19] que son las ligaduras las que
generan tal evolucin; pn el caso presente es el hamiltoniano

donde

.\( r) es una funcin arbitraria

de r. Este hecho no ocurre

en una norma

+ m2e4

es el generador

particular: por ejemplo, en la del laboratorio,

de la evolucin temporal (en el tiempo XO fe).

l/o

";p2c2

Es posible explicar el origen de la enorme simetra que tiene el sistema (grupo de

difeomorfismos del intervalo): el hecho de que un sistema posea ligaduras de primera
especie significa que matemticamente
el sistema se describe con ms grados de
libertad que los que realmente posee fsicamente. Por ejemplo, para el caso que
analizamos de una partcula en D dimensiones el nmero de grados de libertad
fsicos es
mientras que en el tratamiento matemtico describimos la partcula con
d + 1 campos xll(r). De ah el origen.de la simetra, que refleja la arbitrariedad en
la eleccin de una coordenada, que es una funcin de r.

d;

2.5. Cuantizacin

de la partcula libre

La eacuacin de Schrodinger de la. partcula. se obtiene a partir de la ecuacin

de ligadura imponiendo sta sobre los vectores de estado (funciones de onda pa.ra
simplificar): Se define t/J: Rl,D-l -+ el, xp 1-+ t/J(xP) y se impone 'Trp'TrJt/J
m2c21/J,

458

con

J.M. Lpez el al.

1rJ

-ih8/8xll

Se tiene entonces
(14)

que es la. ecuacin de Klein-Gordon (KG). Notemos que la ecuacin obtenida es

lineal en VJ, pero esto es claro: la ecuacin de Schrdinger siempre es lineal [20]. Si
se quiere describir interacciones, hay que introducir no-linealidades, pero entonces
el tratamiento cae fuera del dominio de la ecuacin de Schrodinger y entra dentro
del de la teora de campos, que discutiremos brevemente a continuacin (para el
caso libre).
La teora descrita hasta ahora describe una partcula. Para pasar a la teora de
campos, i.e., a una teora que describa u~ nmero arbitrario de partculas, se rein.
terpreta la ecuacin de KG como una ecuacin para un campo en el espacio-tiempo
D.dimensional y no como una ecuacin para una funcin de onda; se construye una
densidad lagragiana
(15 )
de la que resulta la ecuacin de KG va las ecuaciones de Euler.Lagrange y se
procede a construir una integral de camino para la funcional generatriz de funciones
de Green:

Z[J(x")j

D,pD,p' exp

*J

+ J(x),p(x) + e.e.).

dDx (.c

(16)

Para completar la descripcin del movimiento libre de la partcula en mecamca

cuntica, derivaremos la expresin del propagador o funcin de Green Ix - x') de
la ecuacin de KG, definido por
( 17)
(O.

a_a- y" = h/me).

Definiendo la transformada de Fourier de K,

I

J{(x - x)

=
_

dD P -

(21r)D k(p)

exp

1-'

p (x - x )_,

(18)

resulta
k(p) =

(he)'
(pe)' - m'c4 .

(19)

Introduccin

a la teona de cuerdas: caso bosnico

459

Excepto por el trmino it; en el denominador, (19) es la conocida expresin

del propagador. El trmino if aparece naturalmente en la formulacin de la integral de camino introduciendo en el integrando de (16) un factor de convergencia
(precisamente para definir la integral) a travs de la modificacin de la densidad
lagrangiana . ..... + if,p,p., que implica

([<]

[longitud]-2).

2.6. Formulacin alternativa para la descripcin clsica. Lmite

general en una dimensin

m ....O.

Relatividad

Consideremos nuevamente la curva

E el definida en 2.1. y sea g una funcin
g: [Ta, 'Tb] . R+, con 9 E k y k hasta donde las condiciones fsicas de diferenciabi.
lida.d lo requieran. Sea la funcional

A[xV(T),g(T)]

A[e) == -~

1:

dT Jg(T) [g-l(T)~.vX.(T)XV(T)

+ m2].

(20)

Notemos que esta funcional, a diferencia de SiC]: i) es cuadrtica en XJl(T); ii) tiene
lmite no-trivial (1: O) para m ....OYpor lo tanto permite una descripcin relativista
clsica de partculas sin masa.
La ecuacin de movimiento para g( T) es
DA

0=6g(T')=-'ilr.

e {ro

{l 1 '(

')19 l()
.V.. +m 2]
- T~.vXX

dT 'iJg(T)UT-T,

+ Jg(T)[-g-2(T)~.vx.xV6(T

- T')]

} = -e[

(T')

g(T')3/2

m]
+ g(T')l/2

i:e.,

(21)
Reemplazando

en (20),

A[xV(T),g(T)",]

S(XV(T)],

es decir, A(e] y S(C} son fsicamente equivalentes [obviamente la ecuacin de movi-

460

J.M. Lpez et al.

miento para x"(r) es (9) cuando se utiliza (21)]. Notemos que en el lmite m -> O,
existe sii '1Pl'x#Jxl' = 2 = O, si la partcula se 'mueve sobre el cono de luz.
Determinemos la transformacin de la funcin g( T) para que bajo difeomorfismos
r -> r' = r'(r) la cantidad g(r)(dr)~ sea covariante:

91 .

(ds)~;: g(r)(dr)2 = g(r(r'))(+(r'))2(dr')2;:

g'(r')(dr')2,
(23)

g(r)

->

g'(r')

(+(r'))2g(r(r')).

9(T) se transforma como una mtrica en un espacio. tiempo unidimensional.

Es fcil mostrar entonces que bajo difeomorfismos A(C) no cambia de forma como
funcional de 9(r) y xJl(r). Podemos dar por lo tanto la siguiente interpretacin:
el
movimiento libre de una partcula relativista clsica de masa meO) es equivalente a
la interaccin de D campos escalares XI-l(T) sin masa con la gravedad en un espaciotiempo unidimensional con mtrica 9(r) y constante cosmolgica m2(O).
Donde

Consideremos una norma en la que g(r)I", = cte. De (21), O = (d/dr)(cte.) =

y por lo tanto x"x" = O. De x2(r) > O, (9) implica x~(r) = O,
i.t. X~(T) = oPT + lI': el movimiento libre en estas normas es una lnea recta en el
espacio de Minkowski o bien est dado por un conjunto de campos que son funciones
lineales del espacio. tiempo unidimensional.

(2/m2)x"(r)x"(r)

Finalmente nolemos que independientemente

de que m2

> O o m2 = O,
(24)

(transformacin de WeylL no es una transformacin

A[el, ya que gl/2 -> eV2gl/2 y 9-1/2 -> e-~/2g-I/2.

de simetra para la forma de

3. Teora de Nambu para la cuerda relativista bosnica libre

3.1. Accin de Nambu
El objeto "extendido"

ms sencillo a partir de un punto material es un objeto

unidimensional: cuerda. As como a un punto material se le asocia una masa (que

puede ser nula), en una cuerda se asocia una tensin To a cada uno de sus puntos.

Es en este sentido que se puede pensar una cuerda como una coleccin "distinguida"
de puntos del espacio-tiempo, distinguida precisamente por la tensin asociada a
sus puntos. ([Tol = {fuerza]). Consideraremos cuerdas abiertas y cerradas. En su
evolucin una cuerda desarrolla una superficie llamada hoja de mundo (h.rn.). Esta
se parametriza por dos cantidades: (J y T; la primera tipo espacio y la segunda tipo
tiempo (vase Fig. 1). (Eligiremos en lo que sigue [r] = [ti, [,,] = [t)o.) En cada

Introduccin

a la leona de cuerdas: caso bosnico

461

,.

l'

(a )
( b)
FIGURA 1. Superficie generada por una cuerda ..,'abierta (a) y cerrada (b).

punto de la h.m. siempre es posible elegir dos vectores tangentes:

."( T,a ) _= ax"

8T

'"( ) _ ax"
x T,a = Ba

(temporal),

'

(25)
(espacial),

'

.t = O, 1,... , D -1, en la teora clsica es admisible un espacio-tiempo

minkowskiano
de dimensin arbitraria. De (25) el vector vI' == xl' + ).x'P, ). E RI, es tal que
v~v~= x2 + ).2X'2 + 2).xx' toma valores positivos, negativos o se anula variando
apropiadamente ..\. Por lo tanto,
(26)
sobre la superficie generada por la cuerda. Es usual la notacin (T,a) == (~O,e) ==
f:r, Q = O, l. Calcularemos la mtrica inducida en la superficie debido a que sta se
encuentra embedida en RI,D-l. Consideremos un intervalo infinitesimal ds sobre la
h.m.:

(27a)
"'IalJ

(") -=
""

~"~"

1]puUaX

det /'.p = x'x12

UIJX

[/'/'10
OO

(xx')' < o.

/'01] = [ x'
"'1]]

XX'

XX

x,2

']

(27b)

(27c)

As como la accin relativista de u_napartcula puntual de m'asa m es proporcio-

462

J.M. Lpez et al.

nal a longC, donde

es la lnea. de mundo (l.m.) que resulta de un desplazamiento
real o virtual de la partcula, Nambu propuso en 1970 [8] que la accin asociada
a un desplazamiento (real o virtual) de una cuerda relativista sea proporcional al
rea generada por tal movimiento..
Es fcil mostrar que en N dimensiones, si {qa}~=l es el conjunto de coordenadas
generalizadas y 9ab(q) es el tensor mtrico,

es un elemento de volumen invariante bajo difeomorfismos

preservan la orientacin (jacobiano J > O). En efecto,
dN

-dN'
a(ql, ... ,qN)
qq a( q '1 1" ','-JN)

q'o,

q/G( {q"})

que

JdNq'.,

para el cuadrado del intervalo se tiene

aqa 8q'd
al d q "d q 'd -= 9cd
, ( ') d "d 'd
(d s )' = 9ab ( q ) d q ad q b = 9ab ( q ) fJq'C
q
q q

con

Entonces, detg~b(q')
= J'det9ab(q)
y por lo tanto,
JdN q' )-21 detg~b(q')1 = dN q'
detg~b(q')I.

vi

En 2-dimensiones el volumen

s = ele.

('/ d,

Jr;

dNqVldetgab(q)1

rea; por lo tanto, segn Nambu,

jro d" J - det ').p(~7).= cte. Jr,('/

d,

r d" J(xx')'

Jo

- x'x" .

(28a)
La asignacin [0,11'"] pard. el dominio de a es arbitrariaj tambin 10 son las unidades de , y ". Como S es una accin, [ele.) = [energa] x [tiempo]lIlongitud]'
=
[fuerza]f[velocidad]. La convencin usual para la eleccin de la constante es cte. =
- To / c. Resulta entonces
(28b)

Introduccin

a la teora de cuernas: caso oosnico

463

donde

1:- =

_ To

[(xx')2 _ x2x'2]1/2,

(28e)

es una densidad langrangiana [1].

3.2. Simetras de la accin de Nambu
i) Covariancia general. SN es covariante bajo difeomorfismos con J > O(reparametrizaciones de la h.m.):
(r,<7) ~ (r'(r,<7),<7'(r,<7)),

(29)

y stas son transformaciones locales que forman un grupo. Anlogamente al caso

de la partcula puntual, las D coordenadas pseudoeuclideanas xl!(r,a)

considerar como D campos escalares, es decir,

se pueden

(30)
es un espacio-tiempo de 2-dimensiones (T,a). Veremos luego que estos "'campos"
son sin masa. EI'\ la teora cuntica es usual definir la cantidad a' (pendiente de
Regge) a travs de la relacin

To

:= 2m'ne'

Se tiene [a'] = [energaj-2 y en el lmite clsico h -+ O, a'

permanezca finita (To = 1/21ro' en el sistema h = e = 1).

(28d)

-+ 00

para que To

ii) Covariancia de Poincar. Las transformaciones de Poincar

(31)

Ae

donde
y al! son constantes y constituyen una simetra global interna para los
campos xll, con respecto a la h.rn. con coordenadas (T,O").

464

J.M. Lpex et al.

3.3. Ecuaciones

del movimiento

y condiciones

de borde; cantidades

conservadas;

ligaduras
Consideremos
los campos x~)

un cambio virtual arbitrario de la configuracin

X"(T,<1) ~ X"(T,<1)

de la cuerda (de

+ 6X"(T,<1).

el cambio de la accin. Del cambio en ,

y calcularemos

!!.-'"
+ aaL,
,vx '" _- a'aL
a vX + aaL.!!.-,"
' a vX
x Jl
xlJ T
X P

aL 6'"
v'L('"x, X'V) _- uxl'
o'
X
=

(J'

!!.( ac. 6x") + !!.(.!!!:....ax")

8i 8x
8a
IJ

8X'II

- 6x"

+ !!.- (.!!!:....)]

[.!!.(~)
(h ai

O Ox/p

"

resulta

(32)

i) Ecuaciones del movimiento y condiciones de borde. La trayectoria clsica xIJ(T,a)

es aquella para la cual V6x" oon 6X"(T,,<1) = 6X"(TJ,<1) = O es 6SN = O. Se tienen
entonces

las D ecuaciones

del movimiento

T, < T < TJ.

y las condiciones

<1

E [O,,,.]'

(33)

de borde

(34)
que para cuerda abierta

(c.a.) y cuerda cerrada (c,e.) son

Ti

<

<

TI

(34)

Introduccin a la teon'a de cuerdas: caso oosnico

Ti

< T < TI,

465

(34b)

respectivamente. La primera resulta de la arbitrariedad de XJJ(T,O") (en particular

en (T = 0,71") Y la segunda de la periodicidad X"(T,71") = X"(T,O).
Definiendo las cantidades (momentos conjugados a T y 0")

='

p~(T,(T)

To

(xx')x'JJ

V(i:x')' -

- x'2xJJ

(35)

:i:2x"

To (ix')i - x2x'I'
e V(:i:x')' - :i;'x" '

(36)

las ecuaciones del movimiento (33) resultan

es decir

f)

f)~.p'~=0, I,=O, ... ,D-i,

que son D ecuaciones de continuidad en 2.dimensiones para los D 2-vectores

(p~,p~); y las condiciones de borde (34) se escriben

(33a)

p{ =

p~(T,7I")

= p~(T,O) = O

(c.a.),

Ti

< T < TI,

(34')

p~(T,*)

= ~(T,O)

(c.c.),

Ti

< T < TI'

(34b')

Notemos que las ecuaciones del movimiento son muy complicadas en la forma dada,
es decir, sin "fijar la norma".
ii) Cantidades conservadas. Asociadas a la invariancia relativista de la accin (rovariancia de Poincar) se tienen las constantes del movimiento ent.:rga-momento
y momento angular, vinculadas respectivamente a la simetra bajo traslaciones y
rotaciones infinitesimales en el espacio-tiempo D-dimensional. Si se cumplen las
ecuaciones del movimiento y las ecua.cionesde borde se tiene

Consideremos los casos:

a) XJJ(T,O")

El'

cte.JJ (traslacin infinitesimal). La condicin SN

466

J.M. Lpez et al.

implica Y'(rf)

p"(ri) donde se ha definido el D-momento de la cuerda

. Jor

p"(r) ==

dup~(r,u).

(37)

Es fcil verificar explcitamente

que estas cantidades no dependen de T. Y constitu.
yen por lo tanto un conjunto de D constantes del movimiento. En efecto,
d

= dr Jo du~(r,u)

drP"(r)

= Jo du 8rP~(r,u)

8
= - Jo du 8up~(r,u)
= -[p~(r,1r) - (p~(r,O)] =
resultado

O,

vlido para ambas c.a. y c.C.

== wU1xJ), WlV = -WYjl

5SN = O implica M""(rf)

b) 6xtt(T,a)
infinitesimales).

M""(r) ==
es el tensor

l'

momento

Y D(D - 1)/2

= M""(ri)

du(p~x" - p~x") ==
angular

D(D - 1)/2 2-vectores lvIt'

l'

constantes (rotaciones

donde

du M~"(r,u)

-M""(r)

(48)

de la cuerda y M~HI su densidad. Definamos los

- p~xJ~.
Utilizando las

== (MfV, M:;lI) con M:;iI' = p~xv

ecuaciones del movimiento en su forma (33a) y las definiciones de p~ y p~ dadas

por (35) y (36) es fcil mostrar que 8,Mi'" = O, de donde
d

drM""(r)

('

= - Jo du 8uM:;"(r,u) = -(M:;"(r,1r) - M:;"(r,O)] =

por condiciones de borce (en el caso de la c.a.) y periodicidad (en el caso de la c.c.).
Se tienen por lo tanto

iii) Ligadums.
que se cumplan
ligadura

D(D -

1)/2 constantes

del movimiento.

Partiendo de las definiciones de p~ y p~ [que son independientes

las ecuaciones de movimiento (33)] se obtienen las ecuaciones

de
de

(39a)
p~i:1' ;:; 0,

(39b)
(39c)

Introduccin
2

-P.

a la teo,,'a de cuerdas: caso oosnico

+ (T~O)2

,2

O,

OY "

467
(39d)

Notemos lo siguiente~
a) Para la c,a, evaluemos (39d) en "

:i;2J

",=0,'"

11',

p.1 ",=0,'"

de

O resulta

=O

(40)

es decir, los extremos se mueven a la velocidad de la luz.

b) El momento generalizado conjugado al campo XP(T,U)
(35)_ La densidad hamiltoniana resulta
1

r. ('xx ')2 -x
=_ p,"
Pi -.c=-~
e -1('xx ')2 -

es P~(T,U)

dado por

'2-2
r.
x +~'(xx/)2-x2x/2=0
-'2-2
x x
c

= Jo'" du 1o = O}lo que implica que no es este hamiltoniano el

generador de la evolucin del sistema en el tiempo T (en la teora simtrica, esto es,
sin fijar la norma). As como en el caso de la partcula} es posible mostrar que este
papel lo desempean las ligaduras. Este hecho no ocurre en una norma particular.
por ejemplo la del laboratorio. En sta, T = xO le y
y por lo tanto} Ho

Ho

r d" J 2e2 + To'lx'12,

./0

con
p =

aL

ax

= Tolx'l

e2JI

x - (x' x'/lx'12)x'
- i Ix - (x' x'/lx'12)x'12

Sx="'tL,
t,

3.4. Solucin a las ecuaciones del movimiento en normas conformes

La mtrica inducida en la h.rn. (27b) tiene 3 componentes independientes que es
una matriz 2 x 2 simtrica. Dada la coval'iancia general es siempre posible elegir las
coordenadas (7",0") y por lo tanto el difeomol'fismo (39) (que involucra 2 funciones)
tal que
(11 )

468

J.M. Lpez el al.

en cada (T,O") de la h.rn. Un tal sistema de coordenadas se denomina conforme, y

la. mtrica resulta
1.P

., [1

=' x

(41a)

Notemos que las ecuaciones que definen una. norma conforme son invariantes de
Poincar.
es una cantidad constante con unidades de tiempo si [TI = tiempo] y 11 es
a.dimensiona.l. Estas unidades no son necesarias. (Por ejemplo, si [1"1= (tiempo]O es
usual lomar e = 1 Y la'mtrica es la de Minkowski en 2-dimensiones). Sin embargo,
existe UD conjunto infinito de normas en las que se emplean dichas unidades, en
particular la dellaboralorio. La presencia de 8 hace inevitable la introduccin de
en la teora si es que se prefiere mantener a la constante de Planck como constante
fundamental [21J a la introduccin de un tiempo o longitud fundamental [221. Esto
es as ya que es imposible construir una cantidad con unidades de tiempo a partir
decyTo.1
Es usual definir' [201

e=

-1l"cT '

(41b)

En normas conformes,
(35a)

~(T,l1) =

-~:x'",

t:. = _ Toe x'

(36a)
(28e)

y para. la densidad hamiltoniana

-v

f~O

se tiene

Toe., + --x
Toe.,
= o.
c

= ---x
c

Si se introduce la constanle de gravitacin de Newton CN, se tiene [GNTo];:: [C]4 y por 10 tanto,
la misma imp06ibilidad subsiste. Agradecemos a G. Cocho y M. Moreno por esta observacin.
'Es interesante observar que si se denne la longitud ..\ ==
y se tOlna .\ == 1O-3~m (longitud de

ce

Planck)

resulta

To == 10'44 Newlon.

Introduccin

a la teora de cuerdas: caso oosnico

469

Las ecuaciones del movimiento resultan

(33b)
que son D ecuaciones de onda para los campos sin masa xl'( T, a); las condiciones
de borde son
X'I'(T,,,)

X'"(T,O)

= X'I'(T,O)

X'"(T,O)

(c.a.),

ri<r<rf,

(c.c.),

Ti

y, para los pares de ligaduras (39,,), (39b) y (39c),

xx'
O Y 02 2 + x,2 ;;; O que son eqllivalel.ltcs a

< T < TI,

(34a")
(34b")

(39d) se tiene respectivamente

(0x:lo x')' = O.

(39')

La solucin general a (:nb) y (J.iu") (nos restringimos a la c.a.) se obtiene de

expandir J'JI(T,a) en serie de Fouricr
00

xll(T,a) == x~(r)cosna

(42)

ll=O

H(~cJllplazandoen (:~;~b), para las cantidades x::(r) se obtiene

WII

== n/0,

1';;; O, ... D - 1

(3.19)

que, excepto para n = O, corresponden a un sistema de infinitos osciladores arm-J

nicos independientes salvo por las ligaduras, que atn hay que imponerlas. Para el
modo cero se obtiene la ecuacin del movimiento libr~
r) ::; O cuya solucin es
X:;(T) ;;; qll + cJI(r - Ti). Las D constantes cll son proporcionales al D-momcnto
total de la cuerda P"(T): de Jo' da eosua = para u ~ 1, (37), (35a) y (42) resulta
di;;;
CP'I/1rTo0. La solucin para los osciladores (43) (n;::: 1) es

x:;(

donde las

(l~:y u::-

son constantes (datos iniciales).

([a~J ::; [a~-J = [longitud) x

3para ..\ dada ('n la Ilota 2 fI'~lllta WI = 6-1 ~ 3 X 1043 s-I; por lo tanto, las frecuencias
osciladorl's est<in dada.<; al'fOxill1ulamente por w" ~ 3" X 1043s-1.

de los

470

J.M. Lpez el al.

[fuerzajl/'

[longitud]'/'
x"(T,a)

Definiendo

x [masajl/' /[tiempoJ). La solucin general es

e?"
+ -e(T

q"

- T;j

"To

las coordenadas

del

(44)

ccntro de gravedad de la cuerda" por

14

X"(T,a) '" -1
"

l'

(45)

dax"(T,a)

resulta

X"(T,a) = q"

e?"
+ "Toe(T

- T;j,

es decir

Notemos que en el lmite de tensin infinita To -+

cero (a'

-+

O)

tiempo: x"(T,a)

en la teora cunticalla

q" = x"(T,a).

00

(45a)

[o de pendiente de Regge

cuerda se reduce a un punto del espacio-

....q" (lmite puntual).

3.5. Ligaduras
Nos restringiremos

en lo que sigue a la c.a. Hasta ahora hemos

h.rn. a travs de los mapeos xl': (Ti, T/1 x [0,11'") -+ R1,D-l.

D funciones iP;(Ti,T)
x (-11'",11'")-+ RI,D-t, con xP(T,-a);;;;

definido

la

Definamos ahora laS

il-'(T,a) = XP(T,O'),

%'"(T,-a) = -%'"(T,a) = -x'"(T,a),

i"(T,-a)
= i"(T,a) = x"(T,a), a E O,"J.
Es claro que ill es una continuacin analtica de xl' del dominio [0,11'"] al dominio
{-1r,7r]. Trabajaremos a continuacin en este dominio. Es fcil verificar que las dos
ecuaciones

de ligadura (39') se pueden expresar por

(8x

+ x')' =

(8x - x')'

O,

(39")

donde hemos llamado nuevamente x~ a i~. r...lostremosla primera posibilidad (la

segunda es anloga):

+ X"(.T,a) + 28x(T,a)z'(T,a) = O,
+ x"( T, -a) + 28x( T, -a )x'( T, -a) = O,
T, a) + x"( T, a) - 28x( T, a)x'( T, a) = O,

e'X'(T,a)
8'x'( T, -a)
8'i;'(

(a)
(b)
(e)

471

Introduccin a la teora de cuerdas: caso oosnico

+x"

Sumando (a) con (e) resnlta O'X'

= OY restando (e) de (a) resulta

xx'

= O.

QED
De la solucin general (44), tomando para simplificar

i:~(T,U)

+ tcosnu(O'~.einrje

~(O'~

Ti

0, resultan

+a~e-inrje)),

n=1

~
X'~(T,U)

_ O'=e-iRrj9),

isennu(a=.einrj6
n=1

donde se definieron

cp
n~l.

0'0 =---;:;::-,

"'o

(46)

Entonces,
o.JA
1'1=-00

-in(rj9+tI)

con
o.~1'I ==

0-:.,

n ~ 1

(46a)

y por lo tanto,

= (ex + x')' =

+00

+00

C>~

n=-oo
+00

C>m.e-.(n+m)(,e+.)

m=-oo
+00

.JI

00

~....

L- ....
n L- ....
r-n~

n=-OCl

e-ir(rj8+tI)

_
-

r=-OCl

-2c ~ e-ir(rje+tI)L
~
L;Ir

r=-OCl

con

'" ~+~
_ 1LIO
L r = -~
~

~
0nor_n~,

rE Z

(47)

n=-oo

([L,] = [energa) x [tiempo]

lineal de las exponenciales

[accin]

Lr = O,

[momento angular]). De la independencia

rE Z.

(47a)

472

J.M. Lpez et al.

Las ligaduras resultan entonces una conjunto infinito (numerable) de condiciones sobre los datos iniciales, los que por lo tanto no pueden ser arbitrarios. Es fcil
mostrar que en trminos de los a~ y pp. se tiene

n-1

- (1 -

6n.d~ L

J(n - m)ma~_mam.,

m=l

(48)
Para Lo, de (47) se obtiene

Lo

= --

",+~

11".10

2c

J.l

"n"-n. = -n=-oo

"'(

11".10

2c

en

~
(---;p) 2 P + 2 L
---;pan a,.) ,

1l".LO

p_

n=111".LO

y de (47 a) resulta la energa de la cuerda expresada en trminos de los datos iniciales:

2 2

pc

= -27rToCN,

N""

L na:'a,.
n=1

L n(la~12 -

a~. an).

(49)

n=1

3.6. Algebra de Poisson de ligaduras

En coordenadas conformes, xx' = OY Xl2 +e2i:2 representaban, en particular, a
las ligaduras (49a) y (49c), con (J' E [0,11"]. Definiendo las continuaciones analticas de
p~( 7,0-) Y xP( T, a) al intervalo cr E [-11" 111'"] con p~( T, -a) =: p~( T, a) y x'P( T, -a) ==
-X'P(T,o-) las dos ligaduras se pueden expresar en la forma

TO)2
( r:. + ---x

'P

:;;;:O

o.

TO)2
p; - ---x'P
= O.

(49"')

(Eligiremos la primera ecuacin, los resultados son independientes de esta eleccin).

Es fcil verificar que las transformadas de Fourier
n E Z,

(50)

cuando son evaluadas en coordenadas conformes y usando la solucin a las eCU3-

Introduccin

a la teoria de cuerdas: caso oosnico

473

ciones del movimiento, se reducen a los Lr dados por (47). El conjunto infinito de
ecuaciones
nEZ

(50a)

expresa, por lo tanto, las ligaduras del sistema en forma independiente de la eleccin
de coordenadas en la h.m.
El parntesis de Poisson (P.P.) 14a tiempos iguales" de dos cantidades atbitrarias
(salvo diferenciabilidad) A(T,a) y B(T,a) sobre la h.rn. se define por

,,[M(T,a) B(T,a')
{A(T,a),B(T,a) ,}_r
= J-. da p;(T,a")x,(T,a")

M(T,a)
B(T,a'l]
- x,(T,a")p;(T,a")

.
(51)

De sta se obtienen los P.P. fundamentales

= ,,""(a - a'),

{~(T,a),x"(T,a')}
{p~(T,a)p~(T,a')}

= O,

(52)

{x"(T,a),x"(T,a')}

(52a)

{p~(T,a),x"(T,a')}

= ~"" a~(al

- a).

(53)

Utilizando estos resultados y las propiedades usuales de los P.P., se obtiene

(llamando nuevamente Lr a las cantidades ir)

{Lm, Lo}

-(m - n}Lm+

n,m E Z.

(54)

Desde el punto de vista matemtico estos P.P. definen un lgebra de Poisson

oo-dimensional (la base del lgebra est dada por {Ln}nEZ) que a su vez es lgebra
de Lie, pues satisface anticonmutatividad y la identidad de Jacobi. A priori podra
pensarse que en la teora cuntica, donde las cantidades Ln se reemplazan por
operadores, se debiera efectuar slo el reemplazo de P.P. por conmutadores, esto es,
l/ih, como en el caso de coordenadas y momentos generalizados:
{pi,qj} = -bij -+ [Pi,qjl!ih = -6ij. Esto conducira al lgebra de Lie de conmutadores [Lm,l'n] = ft(m - n)Lm+n. Sin embargo, este no es el resultado correcto:
un anlisis detallado (Seccin 4) muestra que existe un trmino adicional en el m.d.
del conmutador (anomala) y lo que queda definida es el lgebra de Virasoro. Esta
lgebra hace imposible que los estados fsicos 1\I1} satisfagan Lnl\l1} = O, \In E Z,
lo que sera la traduccin cuntica naive de las ligaduras clsicas (50a).
{

474

J. M. Lpez el al.

3.7. Accin

de Brink

el al. [151

Consideraremos ahora una formulacin alternativa a la de Nambu para la accin

de la cuerda bosnica, que conduce.a una primera cuantizacin basada en la teora
de superficies de Riemann (14,16]. Esta formulacin en teora de cuerdas es anloga
a la 2.6 en teora de partculas.

Definamos la accin

donde en principio la matriz simtrica H == ha/3 tiene unidades arbitrarias,

Le.

h '" - det h.p < O,

6:

2.
(56)

Esta aceIon

puede interpretarse

como la que describe el acoplamiento

de D

campos xJJ no-masivos escalares bajo rcparametrizacin {Ees. (29) y (30)] con la
gravedad en dos dimensiones, representada esta ltima por el tensor mtrico haP(e),
que bajo difeomorfismos (29) se transforma segn

(57)

J'~..,fJiR, donde R = h.P R.p Y R.p

en la teora clsica ya que en dos dimensiones
el tensor de Einstein G.p '" R.p - (1/2)Rh.p es idnticamente nulo [23J y por lo
tanto, las ecuaciones del movimiento se reducen a igualar a cero el tensor energa
[el trmino de pura gravedad, constante x

es el tensor de Ricci, es irrelevante

momento de la "materia" (campos no-gravitacionales)].

La ecuacin de movimiento para hap est dada por

(58)

Sea !vI una matriz arbitraria. Se tiene: I det .MI = etrln

{) IdtMI

..
{)M1}

Id"M,-1
"ah

{)

{)M."
y

'
ha

Al

Introduccin a la teora de cuerdas: caso bosnico

475

En (58),
E:ap y!h({')

E({' - {) a(H~l)ap

= -~E({'

-2E({

I det(W1W'/'

{JI det(WI )[-3/'1 det(WI )IHpa

- {

hpa

,;

i (,

-2E

1det(H-I )11/'

{ - {) h hpa

Reemplazando en (58) resulta la ecuacin para la mtrica

(58a)
que implica
(58b)
donde ,ap es la mtrica inducida (27b) en la accin de Nambu. De (58b), ,ap =
(1/2)haP(h's"s)
Y por lo tanto, - det,ap = (i/4)h(h's"s)'.
Reemplazando en
S p el valor fsico clsico para haJ3 se obtiene
.

(59)
que es la accin de Nambu (28b). Por lo tanto, a nivel clsico, existe una completa
equivalencia entre la accin de Nambu y la accin de Polyakov (55). La misma
equivalencia existe a nivel cuntico, pero slo para D ;;;;:;
26 [14,16].
En teora de campos en dos dimensiones el tensor energa momento se define
por
2<

"O

'-dethapu

ES _ a"aX

'ha{J -

PXJ

ih

-2

h,sa

aIJ

"a

6XJ-

(60)

Se tiene
(60a)
y

(60b)

476

J.M. Lpezel al.

(Ta,8 = O es la ecuacin de movimiento para la mtrica hap). Mostremos ahora que

la ecuacin de movimiento de la mtrica hace imposible a nivel clsico tener un
"trmino cosmolgico" no-nulo. En efecto, consideremos el trmino adicional a la
accin SPI

Se = A

d'(v'h,

A = cte.,

(61)

Se agrega a la ecuacin de movimiento para hoB el trmino

y por lo tanto, en lugar de

(58a) se tiene
(58a')

O.

QED

(61a)

Notemos que la accin Sp, precisamente por inv?lucrar campos xJ.l{{) y haP({)
en dos dimensiones, es covariante [como funcional de hop(e)] bajo transformaciones
de Weyl:

(62)
donde ,X({) es una funcin arbitraria de las coordenadas (T,O') en la h.rn. Esto es
as ya que bajo (62), hap --+ e-),.h(J y h --+ eV'h. Es claro que una teora de membranas [24} o 14terronesll[25] (objetos bidimensionales y tridimensionales) descritos
por una accin semejante a (55) con dos (0'"1,0'2) y tres (0'1,0'210'3) coordenadas
tipo espacio respectivamente [(oxl'/80';)2
< 0 i = 1,2 o i = 1,2,3) carece de tal
simetra.
Mencionemos finalmente que en la teora esbozada hasta ahora, la mtrica del
espacio tiempo D-dimensional ("espacio de fondo" donde se propaga la cuerda)
se ha supuesto plana !'lIU' en (27b) y (55)). En principio es posible considerar la
propagacin de la cuerda en un espaci0 tiempo curvo de fondo arbitrario con mtrica
9IW(x) (26J. En ltima instancia, dado que de la teora de cuerdas debe obtenerse la
relatividad general (en el lmite puntual), es crucial la posibilidad de una formulacion
de la teora que no haga referencia a un espacio-tiempo de fondo (algunos trabajos
recientes en esta direccin se mencionan en la Re. 27).
1

Introduccin
4. Algebra de Virasoro

a la teQn'a de cuerdas: caso. oosnico

para la cuerda bosnica abierta

477

(10]

Como se mencion en el captulo 3, el conmutador [Lm, Ln] no se obtiene mediante el reemplaw { , } -> [ , J/i. Lo que se hace es definir los operadores
Ln Y calcular explcitamente el conmutador. Veremos a continuacin los detalles de
este clculo.
En la teora clsica se tiene

"

{an,am."} =

.""'(./n,m'

(63)

lTJ

El anlogo cuntico se logra haciendo

operadores

y usando la regla de Dirac

}->_[

,_1

Entonces,

(64)
Definamos ahora los campos de Fubini-Veneziano. Sea Z E

e, entonces

00

Q~(Z) == q~- 2ihc2a' p~In Z - i";2o'hc2

L Jn(a~"

Zn - a~Z-n),

(65a)

1\=1

L v' (a~" Zn + a~z-n).

00

P"( Z) " Z dZ Q"( Z) = 2a'c' P"

+ ';2a'c'

(65b)

1\=1

Si en particular

ei(r+o')

se tiene

(66)
donde xIJ. tiene la forma de la solucin para la cuerda bosnica clsica (abierta) en
coordenadas conformes y a;tp y a: son operadores; x" son operadores de posicin.
Asimismo, si evaluamos QP(eir) se encuentra
Q"(eiT)

= x"(r,O' = O).

(67)

478

J.M. Lpez et al.

Consideremos ahora las ligaduras. Clsicamente son
'h

L - _~

11 -

da

(P"(

in(T+17)

T,

(J'

)+

'"(T,G)) 21
,ft

21r'r

-r

(68)

coord. con!.

pero las podemos escribir como

(69)
donde PP es la versin" clsica del campo de Fuhini. Veneziano. Como Ln
todo

tenemos

Ln

1
= ----471'"1 2a'c
2

r.

d" e,"d(P"(e"))

411"

1
2o.'hc2

de Virasoro

r.
-lI"

O para

(70)

_'1"

Esto nos permite definir los operadores

Ln '" ----

. .

d"e'"':

P"(e")P

p.

(71)

(e"):

donde los puntos (: :) indican que deben tomarse el orden normal. Como T vara
de -11' a 11", Z = " vara desde e-iX" hasta eilr, por lo que la integral en u se puede
cambiar por una integral cerrada en z

-'21l'iz
!.:... z.n. P"() Z
L n -- _~_1_
22cx'hc2

con base en esto se definen los operadores

LI"':1 1(I)jdz
2<:,'0<:2

PJl

().

n E Z.

Z .,

generalizados

de Virasoro

"

2KiJ(z):

(72)

(73)

P (z)P,,(z):,

donde j(z) es cualquier funcin analtica de z con las posibles excepciones z = OY

z = oo. En particular si j(z) = _zn, con n entero, entonces LJ = L".
Ahora podemos calcular
[L

J,

g]

1'( 1 ) j

=-

40121i2c4

e(:)

x I(z)g(z')[:

j.

dz
--

27riz

dz'
27riz'
(74)

e(:')

P"(z)P,,(z):,:

PV(z')Pv(z'):

1;

479

Introduccin a la teora de cuerdas: caso bosnico

evaluando

(L

J,

el conmutador

L 1=

se obtiene

~4 ( 4a'2h2c'.
1
)

{f ~21riz f ~21riz'
c(.;)

x f(z)g(z')[:

c(.;')

PP(z)Pp(z)P"(z')p"(z'):

+ 4,PP(z)P"(z').=

-f

dz

271'"tz

c(z)

Pp(z )p"(z'): +2, PP(z)P"(z')"

Pp(z)p"(z')

Pp(z')p"(z)

J}

dz
2 7I'"IZ',f(z)g(z')[:PP(z')Pp(z')P"(z)p"(z):

c(.;')

+ 4,PP(z')P"(z)

,: Pp(z')P~(z): +2, PP(z')P"(z)"

(75)
donde la lnea inferior indica la contraccin
Necesitamos

de Dyson.Wick.

calcular

,PP(z)P"(z'),

= PP(z)P"(z')-:

Si usamos la forma explcita

de PIJ(z)

PP(z)P"(z'):.

hallamos,

(76)

despus de un poco de lgebra,

que

PP(z )P"(z') "" (2cr'hc2)2 PP P"

+ 2cr'hc2J2cr'hc2

00

[2: vm (PJ.la;;t z'm + PJ.la~z'-m)

m=l
00

+ 2: V(a~J.lpvzn

+a~pvz-n)]

(77)

n=l
00

+ (2a'hc2)

00

L 2: vnm(a~J.la~tzn/m

+ a~a~nz-nz'-m

n=l m=!

+ a~JLa~znz'-m + a~a~v z-nz1m)

Se puede formar ahora ,PJ.l(Z)PV(Z').,
restando a la relacin anterior su orden
normal. Al hacerlo se encuentra que vanos trminos se eliminan debido a que son
iguales a sus respectivos rdenes normales. Estos trminos son P/-i pv, PJ.la"/;t, PJ.la';,.,

480

J.M. Upez el al.

00

,PP(Z)PV(z').=2a.'hc2

00

L Jj(a~a~-:a~a;+;t:)z-nz'm.

(78)

n=1 m=l"

Reconocemos
lo que

en el parntesis

[a~ta;t/..] =

redondo al conmutador

,P"(z)P"(z'),

L n(~)
00

-(2,,'c')q""

-hT]IJl1n,ml

por

'"

(79)

n=1

Usando el resultado del clculo de variable compleja

1

00

"z"=-,
~
1-z

~nz

"-1

n=1

1 I
z<

(1-z)"

tenemos

,
,

P"(z)P"(/)

~ -(2,,'c")q""

zz
(z-z')'

,ii

1I1 < Izl;

(80)

con este resultado hallamos

")

- -4 2"c

zz
."(
,.
"
(z_z')"P
z)p"(z).+2(2"c)

"

2 '2

z z
D(z_z')'

,ii

Iz'l < Izl

(81a)

y tambin

4,P"(z')P"(z) ,:P,,(z')p"(z): +2 ,P"(z')P"(z)" p"(z')p"(z) ,

I

_
(
--42"

12 2

' ')
z z . 1J( ') ().
(
e (z'-z)"P
z P"z.+22"
.ii

Las restricciones

' ')''D
z z
e
(z'-z)'

(81b)

Izl < Iz'l.

sobre los mdulos

jzl y Iz'l se cumplen

eligiendo

adecuadamente

Introduccin a la teora le cuercla.~: caso

4~ 1

bo~THCO

los contornos de integracin, por lo tanto,

[L,LI=~
f

44a'2h2c4

(ff-ff){dZf(Z)dZ'g(z')
211'tz

e(.i) e(.i')

1'1>1"1

211'Iz'

e(.i) e(:')

1*1.'1
(82)

Hemos escrito simblicamente (f f - f f){

}, para iudicar
Cambiando el sentido de integracin hallamos

f f {

ff-ff=f(f-f)
e(.i) e(:')

1:1>1:'1

e(z) e(z')

e(:)

1:1<lz'l

e(.i')

e(:')

1:'1<1:1 1:'1>1:1

=f(f
e(:)

+
e(:')

f)=f
e(:')

f
e(:) f(z')

1.'1<1.1 1.'1>1'1
donde se han unido los contornos de integracin, vase la figura 2.

FIGURA 2. Contornos

de integracin

,(,'),

1,'1> 1,1

,(,'),

1.1> 1,'1

de la ecuacin (82a).

r(,')

) -

i .f {

J.M. Lpez el al.

482

Entonces,
1
[L ,L J = ~
l.
44a"h'e'

dz j(z)
2nz

dz' g(z') .[:P'(z)P'(z'):

2".z'

T(r)

el')

(83)

2 12

zz ')'. ..)
Z z
- 4(2" , he ') h ( z-z
P \z p. (').
z . +2 (2" ,he ")h D ( z-z
,),.
Sabemos

que

G(z') dz'

-2Jri Res[G(z')].

r(z-')

El primer trmino de la integral no tiene polos ni singularidades dentro de

por lo que su integral vale cero. Por lo tanto,
[L
f,

L J
9

dzj(z)
21ri

Res{_h_g(z'):P.(z)P.(z'):
2o:'hc2
(z'-z)2

_ h'D g(z')ZZ'}
2 (z-z')4

fez')

(84)
;'=.1"

c(z)

Para el segundo trmino de esta integral tenemos

h' D (')
zz'
Res [--2-g z (z' _ z)'
si se hace j(z)

= -z'

1 ,'=, = -12
h' D Z [ "'()
zg z

")1

+ 3g (z ;

y g(z) = _zm se tiene

dz j(z) Res [_ h' D g(z')

zz', ]
2n
2
(z - z)4 z'=.r

el')

= _ h'D
12

m(m' -1)

(85)

~z.+m-l
21fi

h'D n(n' - 1)8 _

12

c(z)

donde se ha usado

c(;r)

dz

21riZ

,-1

:;:;;0,,01

con

r enlero.

n,

Introduccin a la teora de cuerdas: caso bosnico

483

Para la otra integral se encuentra

f 2;i

h
2dh'

d'/(z)

Res

[9(Z').
, ]
(z' _ z)2:P (z)p"(z): ,'=,

,(,)

= --;.,
20 uC

dz

I(Z)Z9'(z): P"(z)p.(z):

(86)

1l'"JZ

c(.r)

+ 2d~c2

~~:/(z)9(z):

p.(z)zP~(z):

,(,)

siendo P~ = dP"/dz. Si I(z)

_zn

9(Z)

_zm entonces I(z)zg'(z)

mzn+m,

por lo que la primera integral resulta

2 o ~uc 2

dz
21l'"JZI(z)zg'(z): P"(z)p"(z):

c(.I')

-- (-2m )(-2) 2o'hch 2

(87)
dz n+m. P"()
()._
21l'"izZ
.
Z Pp. Z . -2mhLn+m.

c(.I')

Por otro lado tenemos

_h_
2cilu?

~i(
21l'"iz

que si f(z)

= _zn y

) ( ).P"( z )z P'(
).- _h_
p z._
2o'h2

z 9 z.

,(,)

f :!:....
~(_h_) f :!:....(
z n+m.

2o'h2

21!"i

P"( )P'( ). _~_h_

z

p. z.

22o'hc2

f:!:""

n+m.p"(
)P'(
).
.
z
p z.

21l'"iz

- - 2 2o!h'

2Jri n

f :!:....~[

21l"i dz Z

n+m.

P"( )P ( )'1
z

p. z .

,(,)

,(,)

_zm, entonces,

'('l

- _h_

9(Z)

+ miz. n+m-l.

"()

().

_ (

. P z p" z . - n

+ m ) L.+mh.

<)

Esto ltimo porque

Con esto tenemos

[L., Lml

Este conmutador

(88)

f dzdF(z)/dz = O.
qoe el conmutador

(n - m)hLn+m

[Ln, Lm]
D

es

+ h2 12n(n 2 - )S.,_m,

n,m E Z.

(89)

define el lgebra de Virasoro. Es fcil verificar que esta lKebra

484

J.M. Lpez el al.

es de Lie y no-semisimple.
sin dimensin, definiendo

Notemos que se puede escribir en trminos

Ln =: Ln/h.

de operadores

5. Teora de campos de cuerdas libres'

5.1. La funcional de campo de la cuerda y ecuaciones invariantes de norma [11]

La analoga entre la mecnica cuntica de una partcula puntual y la teora
del campo se aplica bien a la sutil transicin de la teora de cuerdas en primera
cuantizacin a la teora de campo de cuerdas. En mecnica cuntica trabajamos

con
(p' - m')I)

O,

(90)

= O:

(91)

y en teora del campo con

(O
trabajando con cuerdas construimos
que satisface

+ m')<;6(x)

una funcional

de campo real,

4>[xll),
(92)

(Lo - 1)<;6[xn = O,
Ln<;6[x"J

4>+[x~l

Vn 21,

= O,

+~
6<;6[x"J = LLnAn,

(93)
(94)

n=l

donde Ln son los operadores de Virasoro. La ecuacin (92) representa las ecuaciones
de movimiento para campos de cuerdas anlogo a la ecuacin de Klein-Gordon
en
teora del campo escalar. La ecuacin (93) representa la condicin de norma y la
ecuacin (94) la transformacin de norma.

(h

Consideremos las ecuaciones (92), (93) Y (94) Y tambin el lgebra de Vira,oro

1),

(L., Lml
veamos cmo cambian (92)

(n - m)Ln+m

(93) con (94)

+~

(Lo - 1)<;6 ~ (Lo -1)(<;6

Dn

+ 12(n

+ L LnAn)
n=l

- 1)6n,_m,

(95)

Introduccin a la teon'o de cuerdas: caso bosnico

485

+~
= (Lo - I)~

- 1 + n)An,

+ 2:>-n(Lo

(96)

n=1
+00

Ln~

->

Ln

+00

(~+I:r-pAP)

Ln~

+ Ln I>_pAP,

p=l

el segundo

(97)

p=1

trmino del miembro derecho de (97) se puede esc~ibir como

+CXl

+CXl

Ln L_pAP

Lp(LnAP

p=1

+ (2n + p)An+P)

p=l

n-1

+ (2n

- p)(LpAn-P

+ (p+

n)An) + 2n(Lo -1 + n)An

p=l

n-l

+ [ 1;

(n' - 1) + 2n - 2n' - (2n

- p)(p

+ n)j A

p=l

(Para n = 1 las sumas

Dn
-(n
12

:;:~se reemplazan
,

-1)+2n-2n

por cero). Es fcil probar que

(2n-p)(p+n)=--n(n

n-1

D-26
12

p=l

-1)
.'

Por lo tanto, las ecuaciones (92) y (93) cambian con (94) slo para D

26 de

la manera siguiente:

(Lo - I)~ -> (Lo - 1)~+

L_n(Lo

-1

+ n)An,

(98)

n=1

Ln~

->

Ln~

+ Lp(LnAP + (2n + p)An+P)

p=1
n-1

+ 2n(Lo - 1 + n)An

+ (n + p)(Ln_pAP + (2n

- plAn).

(99)

p=l

Si se introducen

campos ~

sn

cuyas variaciones

con An estn dadas por

(lOO)

486

J.AI. Lpez el al.

S" ~S"+fJS"
entonces

las ecuaciones

S" - (Lo -1 +n)\"

de movimiento

y las condiciones

(Lo - 1)<1>
+

(101)
de norma

L L"S" '= O,

(102)

71=1
n-l

00

L,,<I>+ L

L_p4t,.

+ p)<I>:_p+ 2nS" '= O,

+ L(n

son invariantes bajo las transformaciones

S"

= -

(91), (lOO) Y (101). De (103) se tiene

n-l

00

(L,,<I>+ L

L_p1l~

+ L(n

p=l

sustituyendo

(103)

p=l

p=l

+ 1') <I>:_p),

p=l

en (102) resulta
1

00

(Lo - 1)<1>
- L

2n

L,,(L,,</>+ L

71=1

Esta es la ecuacin

n-l

00

L_p<l>~+ L(n

p=l

de movimiento

+ p)<I>:-p)

= O.

(104)

p=l

invariante

d~ norma

para el campo 4> de la

cuerda.
A partir de las ecuaciones

(100) Y (101) se prueba fcilmente

Puesto que los campos Su y

hacer

L"SP

fJ~ estn

que

definidos por sus variaciones, podemos

+ (2n + p)S"+I' '= (Lo

-1

+ n + p)4t,..

Utilizando ahora la ecuacin (104) se llega a

-2~~:
:)

(105)
+00

{L,,+p</>+ ~

n+p-l

L,<I>:'+I'

+ ~

(n

+ l' + q)<I>~+p-,},

Introduccin a la teora de cuernas: roso bosnico

487

= 1,2,3, ... , que son las ecuaciones de movimiento para los campos de Stueckelberg 4?n (para p = 1 el tercer trmino del miembro derecho es nulo).
Dado que la evolucin de una cuerda abierta embebida en el espacio-tiempo
D.dimensional de Minkowski est dada por
fl,p

x"(a)

+=

q~cos(na),

(106)

n=-oo

expandemos la funcional de campo de cuerdas en trminos de los coeficientes

la ecuacin (106), esto - [121,
+00

.p[x"(a))

{.p(x")

+L

q: de

D-l

L 'I':;'(x")a~v

m=l ,=o
+00

+ L
m=1
=1

(107)

D-l

L<,O~Qn(x~)a;:;,a~Q+"'}<'oo({q~}~~L
=0
(>'=0

donde hemos separado el modo cero x~ := q~,ya que ste se interpreta como espaciotiempo ordinario D.dimensional. <po({q~}~~) define la funcional de vaco tal que
a,m <,00({

_
O,
qn'}+=)
'1=1
-

(108)

donde a~(atn) son los operadores de aniquilacin (creacin), que en )a represen.

tacin de coordeuadas
estn dados por

q:

(109a)

(109b)
Los operadores de creacin a~~ producen todos los estados posibles de la cuerda
con amplitudes dadas por <,O~~::.(x").Estos "coeficientes" son campos locales y
representan partculas de masa y espn creciente, cuyas ecuaciones de movimiento
se obtienen de las ecuaciones (102).
Una expansin anloga para los campos ~~ es
(110)

488

J.M. Lpez el al.

5.2. Ecuaciones de movimiento invariantes de norma pam campos puntuales

Tomando la expresin (48) para los Ln en trminos de los operadores de creacin
en la ecuacin de movimiento invariante de norma (104), se obtiene una combinacin lineal de los estados
excitados de la forma

y aniquilacin y las ecuaciones (107) y (108), al sustituirlas

lA + Brat + Cr:'ata;'. + ... J'I'O = O,

(111)

donde los coeficientes A, n, e"" son funciones de las coordenadas del centro de
cucrda Xl' (independientes de los operadores a). Puesto <lile una comhinacin lineal
igualada a cero de elementos linealmente independientes implica que cada uno de
los coeficientes

son cero, obtenemos

A = O,

(112)

Br = 0,

JL :;;

cr,~:;;O,

l,m=

1,2,,,.,

0,1, ...

jt, V ::::::
O,

1) - 1,

(113)

1, .. , ,D - 1,

(111)

etctera. Explcitamente para los primeros niveles se tiene que

(1 J 5)
para

1;:::

1;
(116)

para I

2;

n'l -= 0'1'," -

i iJ"( 1)
.'1', + vO'
r:::.'
'1'1 -

iJ"iJ.

2i iJ

r:::.'

vO"

,'1'" TJ

17'
2VO'

iJ" ,

'1'",

O,

(117)

La ecuacin (115) es la ecuacin de movimiento para el campo que describe

una partcula relativista con masa imaginaria (taquin). Su aparicin (en el ca.<;o
puramente bosnico) constituye en principio un problema para la teora.
Las ecuaciones (116) son las ('cuaciones de Maxwell escritas en forma covarialll'
en un espacio 26.dimensional si es que asociamos tp~l con el campo AJI del electro
magnetismo.

Introduccin

5.3. Funcional de vaco

(l

la teon'a de cuerdas: caso bosnico

489

[121

La forma explcita de la funcional de vaco para cuerdas bosnicas abiertas la

obtenemos al resolver en el espacio de coordenadas q~ las ecuaciones (108). Para
ello proponemos
+00

'i'o({q~}:~)

D-l

TI TI "'(q~).

(118)

"=1 ~=O

sustituyendo

las ecuaciones (1100) y (118) en (108) obtenemos

o'
( q~ - ---

iJ )

n aqn~

"'(q~) = O

(119)

cuya solucin es
(120)
donde A es una constante.
Por lo tanto, (5.29) tiene la forma explcita
+00

'i'o({q~}::) = A' expC~,

L nq~.).

(121)

"=1

donde
D-l

q~ = (q~)2 _

L (,f.)2

(122)

j=l

La funcional de vaco para cuerdas abiertas bosnicas es entonces un producto de

infinitas gaussianas en las variables ~ y de infinitas anti-gaussianas en las variables
q~y por lo tanto no es normalizable.

Agradecimientos
Los autores desean agradecer a los organizadores del XXX Congreso Nacional
de Fsica por su invitacin a presentar durante el evento el curso que dio origen a
este manuscrito. Uno de nosotros (M.S.) agradece tambin a la SMF por su apoyo
econmico adicional.

490

J. M. Lpez et al.

Referencias
1.
2.
3.

4.
5.
6.
7.
8.
9.
10.
11.
12.

13.
14.

J.Il. Schwaxz, Phys. Rep. C89 (1982) 223.

M.B. Green y J.Il. Schwarz, Phys. Lett. B149 (1984) 117; Phys. Lett. B1S1 (1985)
21.
M.A.B. Bg, "Seleeted Tapies in Gauge. Theories", en AlP Con/o Proceedings 143,
Mez. School o/ Particles and Fields, editado por J.L. Lucio, A. Zepeda y M. Moreno,
1984.
Quantum Theory o/ Gravity, editado por S.M. Christensen, Aclam Hilger Ltd. Dristo1,
GB 1984.
J. Scherk y J.H. Schwarz, Nuel. Phys. B81 (1974) 118; Phys. Lett. BS2 (1974) 347.
M.A. Virasoro, Phys. Rev. 177 (1969) 2309; J.A. Shapiro, Phys. Let!. B33 (1970)
361.
J. Scherk, Rev. Mod. Phys. 47 (1975) 123; M.S. Marinov, Sov. Phys. Usp. 20 (1977)
179.
Y. Nambu, Lectures al the Copenhagen Symposium, 1970.
L.D. Landau y E. Lifshitz, Teora Clsica de Campos, Revert, 1966.
M.A. Virasoro, Phys. Rev. D 1 (1970) 2933.
D. Pfeffer, P. Ramond y V.G.J. Rodgers, Nuel. Phys. D 276 (1986) 131.
S. Raby, R. Slansky y G. West, "Toward a covariant string field theory~ Lectures
presented al the Superstring Workshop, Lewis Center lor Physics, Univ. o/ Delaware,
del 8 al 12 de julio de 1985; J.L. Vzquez B., Funcional de onda de vaco para el
campo de cuadas bosnicas, Tesis de Maestra, Depto. de Fsica, CINVESTAV.IPN,
diciembre de 1987.
S. Mandelstam, Nuel. Phys. D 64 (1973) 205.
D.H. Friedan, "Introduction
to Polyakoy's String Model~' In Les Jlouches Summer
School, 1982, editado por'J.B. Zub~r y R. Stora, North Holland, Aml'terdam, 1984;
S. \Veinberg, "Covariant Path.lntegral
Approach tq String Theory~ Lectures at the
3m. Jerusalem Winter School o/ Theor. Phys., UTTG.17-87; P. Nelson, Phys. Rep.
149 (1987) 337.
L. Brink, P. Di Vecchia y P. Howe, Phys. Lett. B65 (1976) 471; S. Deser y n. Zumino,
Phys. Lett. B65 (1976) 369.
A.M. Po1yakov, Phys. Lett. 103B (1981) 207.
R. Casalbuoni, J. Gomil' y G. Longhi, Il Nuovo Cim. A24 (1974) 2.19.
M. Kaku, Int. Jour. Mod. Phys. A 2 (1987) 1.
r.A.M. Dirac, Can. J. Math 2 (1950) 129; Lectures on QUGfltum Mcchnnics, Yeshiva
University Academic Press, Nueva York, EUA 1966.
M.B. Green, J.H. Schwarz y E. Witten, Stlperstring Theory, Cambridge University
Press, GB 1987.
J.M. Lpez R., M.A. Rodrguez S., M. Socolovsky y J.L. Vzquez n., Do classical
strings exist?, CINVESTAV-IPN,
1988.
G. Veneziano, Europhys. Lcll. 2 (198G) 199.
S. Weinberg, Gmvitation and Cosmology: Princi]Jles and Applications o/ lhe General
Theory o/ Relalivily, J. Wiley, Nueva York, EVA 1972.
J. Dethlefsen, H.n. Nielsen y n.c. Tzc, Phys. Lelt. B48 (1974) 48.
J.A. Nieto, "A rela.tivistic 3-dimensional extended object: The terron~ Rev. Mex. Pis.
1988 (por publicarse).
M.B. Green, "Superstrings and the unification of forces and particles;' Proceedings o/
lhe [ni. Europhysics Con! on lligh Energy Phys., editado por 1. Nitti y G. Preparata,
Laterza Dari, Italia, del 18 al 24 de julio de 1985.

15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.

Introduccin

a la teora de cuerdas: caso bosnico

491

27. C.T. Horowitz, "String Theory without a Background Spacetime Geometry~ Spnog
School and Workshop 00 Superstrings, UCSBTH-86435, Trieste, Italia, del 1 al 15 de
abril de 1987.

Abstract. We present an introduction to the classical and quantum

theory of bosonic strings. The discussion is restricted to the free case and
mainly to open strings. The classical part ineludes a detailed description
of symmetries, units, solutions in conformal gauges and constraints.
Both the Nambu and the Brink et al. actions are described. In the
quantum part the Virasoro algebra is derived. An introduction to the
classical gauge covariant string field theory is presented througb the
introduction of Stueckelberg fields, and it is in this context where we
menton the critica! dmension (26) for space-time. Finally we brieny
discuss the vacuum functional.