FISICA TEORICA

REVISTA MEXICANA DE F ISICA S 52 (3) 133136

MAYO 2006

Dualidad masiva en 7 dimensiones

M. Betancourt y A. Khoudeir Centro de Astrofsica Te rica, Universidad de los Andes, o M rida 5101, Venezuela e
Recibido el 24 de noviembre de 2003; aceptado el 24 de abril de 2004 Este trabajo se estudia las teoras masiva topol gica y auto dual en siete dimensiones y se muestra la equivalencia dual entre ellas. o Descriptores: Teora de campos de calibre; t rminos de Chern-Simons. e We will show the dual equivalence between the massive topologically and self dual theories in seven dimensions. Keywords: Gauge eld theory; Chern-Simons term. PACS: 11.10.-z

1.

Introducci n o

En tres dimensiones, tenemos la posibilidad de introducir t rminos de Chern Simons para la construcci n de teoras e o masivas invariantes de calibre de espn 1 y espn 2[1]. Adem s es posible construir teoras no invariantes de calibre a de espn 1 [2] y espn 2 [3], conocidas como teoras autodua les. Es bien conocido que ambas descripciones son equivalentes por dualidad [4,5]. En este trabajo, se presentan las formulaciones masiva topol gica y auto dual para un campo antisim trico de tero e cer orden Cmnp en siete dimensiones. Se muestra la equivalencia de ambas teoras desde un punto de vista can nico, o despu s de realizar los respectivos an lisis hamiltonianos. La e a equivalencia dual puede ser vista covariantemente a trav s de e la existencia de una acci n maestra. Es de resaltar que eso ta equivalencia es local y, si uno considera una variedad con una estructura topol gica no trivial, se deben esperar alguo nas diferencias en la equivalencia [6], como ocurre en tres dimensiones [7] y en la equivalencia dual de campos masivos antisim tricos en cuatro dimensiones [8]. e

Ahora procedemos con el an lisis hamiltoniano. Los momena tos can nicos son o 1 ijk = (Cijk + i Cj0k + j C0ik + k Ci0j ) 6 1 ijklmn Clmn , (4) 72 L 0ij = = 0 1ij . (5) C0ij Este ultimo es un vnculo primario. El hamiltoniano can nico o tomando en cuenta el vnculo primario es H= d6 y(H + ij 1ij ). (6)

Preservando el vnculo primario 1ij : 1ij = {1ij , H} 0, se obtiene 1 0jk = 3i ijk ijklmn i Clmn 0 2jk ; (7) 24 es decir, aparece un vnculo secundario. La preservaci n de o este vnculo da como resultado 2ij = {2ij , H} 0, (8)

2.

Teora masiva topol gica o

La acci n de segundo orden para la teora masiva topol gica o o en 7 dimensiones es IM T = d7 x 1 Gmnpq Gmnpq 48 mnpqrst Cmnp q Crst , 72

(1)

donde Gmnpq = (m Cnpq + n Cpmq + p Cmnq + q Cnmp ) (2) y es invariante bajo transformaciones de calibre Cmnp = m np + n pm + p mn . (3)

lo que indica que no aparecen m s vnculos. La densidad haa miltoniana extendida con vnculos es 1 HM T = 3ijk ijk + 2 Clmn Clmn 48 1 1 + Gijkl Gijkl + ijklmn Clmn ijk 48 12 1 ijklmn + ij (3k ijk Clmn ) + ij 0ij , (9) 24 donde ij y ij son los multiplicadores de Lagrange asociados a los vnculos 2ij y 1ij , respectivamente. Las ecuaciones can nicas de movimiento son o C0jk = {C0jk (x), H(y)} = jk , (10)

1 Cijk = {Cijk (x), H(y)} = 6ijk + ijklmn Clmn 12 (i jk + j ki + k ij ), (11)

134 ijk = {ijk (x), H(y)}

M. BETANCOURT Y A. KHOUDEIR

1 2 Cijk + ijklmn lmn 24 12 1 ijklmn 1 + l mn + l Glijk (12) 24 6

3.

Teora Auto Dual

La acci n de la teora auto dual es de primer orden y est dada o a por ISD = d7 x 1 mnpqrst Cmnp q Crst 72 1 Cmnp C mnp . 12 (20)

y 0jk = {0jk (x), H(y)} = 0. (13)

El algebra de los vnculos encontrados es de primera clase. Ahora procedemos a jar calibre. Usaremos el calibre de radiaci n, denido por las siguientes condiciones: o 3jk C0jk = 0, 4ij k Cijk = 0. (14) (15)

Esta acci n no es invariante de calibre. Los momentos o can nicos son o ijk = 0ij = LSD 1 ijklmn = Clmn , ijk 72 C LSD = 0, C0ij (21) (22)

Ahora, podemos considerar los vnculos y las jaciones de calibre como un conjunto de vnculos de segunda clase que permitir n resolver los vnculos y determinar los multiplicaa dores. Los unicos par ntesis de Dirac relevantes son e
ij {C0ij (x), 0lm (y)}D = lm 6 (x y), ijk {Cijk (x), lmn (y)}D = lmn 6 (x y)

Entonces, tenemos los siguientes vnculos primarios: ijk = ijk 1 ijklmn Clmn 0, 72 (23) (24)

(16)

ij = 0ij 0. La densidad hamiltoniana extendida es, entonces,

2 xi yj

1 3 |x y|4

(17) H = HSD + ijk ijk + ij ij . Preservando el vnculo primario ij se obtiene 1 ij = 6k ijk C0ij ij 0, 2 (26) (25)

De la Ec. (10) se obtiene que ij = 0. Realizando una descomposici n transversa longitudinal o (Aij = AT + i AT j AT ij j i y
T T T T Bijk = Bijk + i Bjk j Bik + k Bij ,

es decir, se encuentra un vnculo secundario. Preservando el otro vnculo primario ijk , obtenemos la ecuaci n o 1 1 ijklmn ijk = Cijk + n C0lm 6 12 + 1 ijklmn lmn = 0, 36 (27)

donde i =i / 2 ), a la ecuaci n can nica de o o movimiento (11), se determina el otro multipliT T cador, T = 6ij (1/12)ijklmn k Clmn . Ahoij ra procedemos a resolver 2ij 0 y obtenemos T ij = (1/72)ijklmn k Clmn . T T El vnculo (15) nos dice que Cijk = Cijk y Cij = 0. T T Determinados ij , T , ij y Cij el lagrangiano se reduce a ij
T T T T L = ijk Cijk 3ijk ijk

la cual nos permite determinar el multiplicador pqr = (1/6)pqrijk Cijk (p C0qr + q C0rp + r C0pq ). Preservando el vnculo secundario se encuentra el otro multiplicador ij = k Cijk . Se han resuelto dos de los vnculos, ya que son de segunda clase. En efecto, el algebra de los vnculos es {ijk (x), lmn (y)} = {lm (x), ijk (y)} = {lm (x), ij (y)} = 1 ijklmn 6 (x y), 36 (28) (29) (30)

1 2 T T 1 Cijk Cijk + cT 12 12 ijk

T Cijk .

(18)

T Variaciones con respecto a las variables independientes Cijk T y ijk originan la ecuaci n de movimiento o

1 ijklmn n 6 (x y), 72 1 lm 6 (x y). 12 ij

T 2 )Cijk = 0,

(19)

mostrando que la teora propaga 10 grados de libertad conte T nidos en Cijk .

Ahora, resolvemos el vnculo ijk 0. La parte longitudinal T T de este vnculo permite determinar ij en t rminos de Cijk : e

Rev. Mex. Fs. S 52 (3) (2006) 133136

DUALIDAD MASIVA EN 7 DIMENSIONES

T T jk = (1/72)ijklmn i Clmn . Mientras que la parte transT T versa nos permite obtener Cij = (2/)ijklmn k lmn . El lagrangiano para la teora auto dual se reduce a

135

Es f cil ver que ambos hamiltonianos est n relacionados de a a la siguiente manera: HM T = HSD + 3ijk (ijk + ijklmn Clmn ). 18 (39)

1 T T T T LSD = 2ijk Cijk 2 Cijk Cijk 12 1 T T T T 12ijk ijk 2 Cijk Cijk . 12

(31)

T T Variaciones con respecto a ijk y Cijk dan las ecuaci n de o movimiento, T ( 2 )Cijk = 0.

(32)

Resultando el mismo n mero de grados de libertad que la u Teora Masiva Topol gica. o

Es decir, que dieren por una combinaci n de los vnculos de o segunda clase de la teora auto dual. As que uno puede con siderar que la teora auto dual es una versi n jada de calibre o de la masiva topol gica, como ocurre en tres dimensiones[5]. o La equivalencia fsica que hemos presentado puede ser vista desde un punto de vista covariante, por medio de una acci n maestra. En efecto, se puede mostrar la equivalencia o considerando la siguiente acci n o IM = d7 x[ 1 mnp Cmnp mnp Cmnp 36 72 donde mnp = mnpqrst q Crst . (41) 1 Cmnp C mnp ], 12 (40)

4.

Equivalencia entre las teoras masiva to pol gica y la auto Dual o

Hemos realizado el estudio hamiltoniano de la teora masiva topol gica y la auto dual en siete dimensiones. Ahora podeo mos mostrar la equivalencia can nica entre ellas. Tenemos o que la densidad hamiltoniana para la teora masiva topol gi o ca es: HM T = 3ijk ijk + + 2 1 Cijk Cijk + Gijkl Gijkl 48 48 (33)

ijklmn Clmn ijk , 12

con el siguiente conjunto de vnculos de primera clase: 1ij = oij 0, 2ij = 3i ijk 1 ijkpqr i Cpqr 0. 24 (34)

En esta acci n, Cmnp y C mnp son campos independientes. o Si se realiza variaciones con respecto a la variable Cmnp se obtiene que Cmnp = (1/6)mnp y sustituyendo en la acci n o maestra se obtiene la teora masiva topol gica. o Por otro lado, variaciones independientes con respecto a Cmnp , nos dice que mnpqrst (q Crst Crst ) = 0, la cual puede ser resuelta localmente como Cmnp = 1 Cmnp + m Anp + n Apm + p Amn .

Sustituyendo en la acci n maestra, se obtiene la acci n auto o o dual.

Mientras para la teora auto dual, la densidad hamiltoniana HSD = 1 2 (ijklmn k Clmn )2 + Cijk Cijk , 12,12 12 1 ij = 6k ijk C0ij 0, 2 ij = 0ij 0 ijk = ijk 1 ijklmn Clmn , 0. 72 (35)

5.

Conclusiones

con los vnculos de segunda clase, (36) (37) (38)

En este trabajo, se ha presentado el an lisis din mico haa a miltoniano de las teoras masiva topol gica y auto dual en o siete dimensiones. Ambas teoras describen la propagaci n o din mica y local de diez grados de libertad. Despu s de haa e ber obtenido los hamiltonianos, se pudo establecer una relaci n entre ellas, mostrando as la equivalencia dual entre o estas teoras. Esta equivalencia tambi n se reeja a trav s de e e la acci n maestra(40). La equivalencia establecida es local. o

Rev. Mex. Fs. S 52 (3) (2006) 133136

136

M. BETANCOURT Y A. KHOUDEIR

1. S.J. Deser y R.S. Templeton, Phys. Rev. Lett. 48 (1982) 975; Ann of Phys. 140 (1982) 372; Erratum Ann of Phys. 185 (1988) 406. 2. P.K. Townsend, K. Pilch y Van Nieuwenhuizen, Phys. Lett. B 136 (1984) 38. 3. C. Aragone y A. Khoudeir, Phys. Lett. B 173 (1986) 141. 4. S.J. Deser, Phys. Rev. Lett. B 139 (1984) 371.

5. R. Gianvittorio, A. Restuccia y J. Stephany, Mod. Phys. Lett. A 6 2121 (1991); J. Stephany, Phys. Lett. B 390 (1997) 128; J. Stephany y P.J. Arias J. Math. Phys. 36 1968 (1995). 6. M. Caicedo, I. Martin y A. Restuccia, Ann of Phys. 300 (2002) 32. 7. P.J. Arias y A. Restuccia, Phys Lett. B347 (1995) 241. 8. P.J. Arias y L. Leal, Phys Lett. B404 (1997) 49.

Rev. Mex. Fs. S 52 (3) (2006) 133136