Jie 2014

Formalismo can onico para la teora autodual de spin 2
masivo en D=2+1
Po J. Arias
Centro de Fsica Teorica y Computacional
Facultad de Ciencias
Universidad Central de Venezuela
pio.arias@ciens.ucv.ve
May 13, 2014
Po J. Arias (UCV) Formalismo canonico para la teora autodual... May 13, 2014 1 / 25
Plan del seminario
1
Motivacion
2
El modelo autodual de spin 2 masivo
Otras formulaciones autoduales
Cinematica del modelo audotual de spin 2 masivo
3
Formalismo canonico
Descomposicion 2+1 y vnculos primarios
Conservacion de los vnculos
Algebra de los vnculos

4
Accion reducida
Motivaci on
Interes reciente en teoras de gravedad masiva (Bergshoe, Hohm,
Townsend)
Estudio de teoras con spines altos
Trabajar en D = 2 + 1 es mas sencillo como laboratorios para
entender los problemas en dimensiones mayores.
Los modelos minimales autoduales masivos en D = 2 + 1 tienen
ecuaciones de primer orden.
Motivaci on
Particularidades en 2+1 dimensiones
En 2 + 1 dimensiones el tensor de momento angular M
es dual a un
pseudo-vector J
as los operadores de Casimir del Grupo de Poincare

son P
= m
2
y P
= ms, con m la masa y s el spin de la

excitacion, identicada con su helicidad.
Las acciones que describen una sola excitacion masiva son sensibles a
P y T.
Para tener modelos invariantes bajo P y T, es necesario que hayan
dos excitaciones con la misma masa y helicidades opuestas.
Motivaci on
Modelo autodual vectorial
Los modelos autoduales masivos son generalizaciones del modelo autodual
vectorial introducido por P. K. Townsend et al.. En este modelo las
ecuaciones de movimiento son relacionan al vector con su rotor
A
=
1
m
(1)
Esta ecuacion se escribe como
[(P
1
) msI]
= 0, (2)
(con s = 1), y
(P
= i
, (J
1
)
(P
+ i
(3)
Que satisfacen el agebra de Poincare cuando act uan sobre vectores.
Motivaci on
Si tomamos A
= a
e
imt
+ a
e
imt
con a
constante obtenemos que

A
0
= 0 y que
a
i
= i
ij
a
j
, (4)
as a
i
es autodual y a
i
anti-autodual. De ah la denominacion de la teora
como autodual.
Motivaci on
La accion que tiene como ecuacion de movimiento la condicion de
autodualidad es la llamada accion autodual
S
SD
=
ms
2
d
3
x(V
+ msV
), (5)
con s = 1
Motivaci on
El modelo topologico masivo (TM) (o modelo de Maxwell
Chern-simons )
La ecuacion autodual dice que V
es transverso.

Esta condicion la
satisface el dual de la intensidad de campo f

(a) =
. La ecuacion
sera ahora
[(P
1
) msI]
f

(a) = 0, (6)
(con s = 1), y la accion correspondiente se corresponde a la del modelo
topologico masivo
S
TM
=
d
3
x(
1
4
F
(a)F
(a) +
ms
2
a
) (7)
with s = 1
Motivaci on
Hechos
El modelo TM y el autodual estan conectados de distinta manera en
la literatura.
Hay modelos vectoriales con dos excitaciones masivas. Uno es el
modelo de Proca que describe dos excitaciones masivas con
helicidades opuestas y es invariante bajo P y T. Puede verse que
dicho modelo se descompone en dos acciones autoduales con igual
masa. Otro es el modelo de Proca Chern-Simons model, que es
sensible a P y T, y que se descompone en dos acciones autoduales de
masas distintas.
Motivaci on
Proca se desacopla en 2 decoupled modelos autoduales
S
P
=
d
3
x(
1
2
b
m
2
2
a
), (8)
S
P
=
m
2
d
3
x[
a
1
a
1
+ ma
1
a
1
+
+
a
2
a
2
+ ma
2
a
2
], (9)
luego del cambio
a
=
1
2
(a
1
+ a
2
), (a)
b
=
m
2
(a
1
a
2
), (b) (10)
Motivaci on
Proca se desacopla en 2 decoupled modelos autoduales
S
P
=
d
3
x(
1
2
b
m
2
2
a
), (8)
S
P
=
m
2
d
3
x[
a
1
a
1
+ ma
1
a
1
+
+
a
2
a
2
+ ma
2
a
2
], (9)
luego del cambio
a
=
1
2
(a
1
+ a
2
), (a)
b
=
m
2
(a
1
a
2
), (b) (10)
The selfdual spin 2 model
Lo que hemos visto para los modelos vectoriales puede generalizarse para
excitaciones de spin 2. La descripcion minimal para una teora de spin 2
nos lleva a la ecuacion de movimiento
h
Tt
=
1
m
h
Tt
(11)
con
h
Tt
un tensor simetrico, transverso y sin traza

(h
Tt
= h
Tt
h
Tt
a
= 0, h
Tt
a
= 0) que asociamos con la
desviacion lineal del dreibein e
a
.
Esta ecuacion puede escribirse para un tensor general simetrico, transverso
y sin traza, V
Tt
como
1
2
[(P
2
) msI]
V
Tt
= 0, (12)
with s = 2.
P
es el operador momentum y J
2
esta dado por
(J
2
)
= i
(I
s
)
+
i
2
(
+ +
) (13)

(P
+ (j
, (14)
con (I
s
)
=
1
2
(
), que satisfacen el algebra de Poincare.

La accion autodual
Si V
Tt
la identicamos con las parte de spin 2 de la desviacion lineal del

Dreibein h
, las ecuaciones que este objeto cumple, coinciden con las de

la accion autodual, luego de eliminar las componentes esp urias de h. La
accion autodual de spin 2 masivo es
S
SD1
=
m
2
d
3
x [h
m(h
)]
1
2
d
3
x h
a
K
1
2
d
3
x hK
h. (15)
TEl signo esta relacionado con el spin 2 de las excitaciones.
Como en el caso vectorial hay otros objetos simetricos, transversos y
sin traza que pueden aparecer en la ecuacion autodual, que
corresponden a otras formulaciones. Hay modelos que corresponden a
acciones de orden 2, 3 y 4.
Estos modelos son equivalentes como en el caso vectorial y se han
establecido distintas relaciones entre ellos.
Hay un modelo invariante bajo P y T con dos excitaciones con igual
masa y helicidad opuesta.

Este es el modelo de Fierz-Pauli y puede
tambien desacoplarse en dos modelos autoduales.
Tambien hay un modelo con dos excitaciones con masas distintas que
se descopla en dos modelos autoduales.



Cinematica del modelo autodual
Ecuaciones de movimiento
Las ecuaciones de movimiento que surge de la accion autodual de spin 2
son
m
m
2
(h
) = 0 (16)
Si tomamos la divergencia de esta ecuacion, su traza y su parte
antisimetrica obtendremos que sobre las ecuaciones de movimiento
h
|
onshell
= h
Tt
, as la ecuacion se transforma en (11). Un vector

simetrico, transverso y sin traza tiene dos componentes independientes.
Se puede probar que se propaga solo una de las helicidades. Si cambio m
por m se propaga la otra.
Si se hace la descomposicion h
= H
, con H
simetrico se
observa que la parte antisimetrica absorbe a la componente de spin 1
del tensor simetrico.
Hacemos la descomposicion 2 + 1 de la accion
S =
d
3
x
m
2
h
i 0
ij
h
j 0
m
2
h
i
k
ij
h
jk

m
2
2
(h
ij
h
ji
h
ii
h
jj
)+
+mh
00
(
ij
i
h
j 0
mh
ii
) + mh
0k
(mh
k0
ij
i
h
jk
)
(17)
observamos que h
00
y h
0k
son no dinamicas. Obtenemos el Routhiano
h
i 0
=
m
2

ij
h
j 0
,
ij
h
ij
=
m
2

ik
h
kj
(18)
Asi H p q L, h
00
y h
0i
aparecen como multiplicadores de Lagrange...
H =
m
2
2
(h
ij
h
ji
h
ii
h
jj
) + mh
00
+ mh
0k
k
+
i
i
+
ij
ij
(19)
con
= mh
ii

ij
i
h
j 0
,
k
=
ij
i
h
jk
mh
k0
(20)
y
i
=
i
m
2

ij
h
j 0
,
ij
=
ij
+
m
2

ik
h
kj
(21)
i
y
ij
son estrictamente vnculos primarios.
y
k
seram vnculos secundarios si tomamos a h
00
y h
0k
como
variables dinamicas. Aca son vnculos que resultan de las ecuaciones
Routhianas.
H =
m
2
2
(h
ij
h
ji
h
ii
h
jj
) + mh
00
+ mh
0k
k
+
i
i
+
ij
ij
(19)
con
= mh
ii

ij
i
h
j 0
,
k
=
ij
i
h
jk
mh
k0
(20)
y
i
=
i
m
2

ij
h
j 0
,
ij
=
ij
+
m
2

ik
h
kj
(21)
i
y
ij
y
k
00
y h
0k
como
Routhianas.
H =
m
2
2
(h
ij
h
ji
h
ii
h
jj
) + mh
00
+ mh
0k
k
+
i
i
+
ij
ij
(19)
con
= mh
ii

ij
i
h
j 0
,
k
=
ij
i
h
jk
mh
k0
(20)
y
i
=
i
m
2

ij
h
j 0
,
ij
=
ij
+
m
2

ik
h
kj
(21)
i
y
ij
y
k
00
y h
0k
como
Routhianas.
Conservaci on de los vnculos
La variedad de los vnculos corresponden a
a
= 0 con
a
{,
k
,
i
,
ij
}. As la evolucion temporal la denimos como
F = {F.H} |
a
=0
(22)
para lo cual los corchetes fundamentales a tiempos iguales
{h
i 0
(x),
j
(y)} =
j
i
2
(x y) , {h
ij
(x),
kl
(y)} =
k
i

l
j
2
(x y) (23)
y exigimos que

a
= 0
i
= 0 y

ij
= 0 permiten despejar los
s, con esto en la conservacion de

y
k
obtenemos h
0i
= h
i 0
y el vnculo
= m
ij
h
ij
(24)
la presevacion de este nos permite despejar el ultimo multiplicador
h
00
= h
ii
.
Conteo de grados de libertad:
h
i 0
, h
ij
corresponden a 6 2 = 12 en el espacio de fases, los
a
mas son
10. As tenemos un solo grado de libertad (12 10 = 1 2).
Como pudimos despejar todos los multiplicadores, estos corresponden a
vnculos de segunda clase.
i
= 0 y

ij
= 0 permiten despejar los
s, con esto en la conservacion de

y
k
obtenemos h
0i
= h
i 0
y el vnculo
= m
ij
h
ij
(24)
la presevacion de este nos permite despejar el ultimo multiplicador
h
00
= h
ii
.
Conteo de grados de libertad:
h
i 0
, h
ij
corresponden a 6 2 = 12 en el espacio de fases, los
a
mas son
10. As tenemos un solo grado de libertad (12 10 = 1 2).
Como pudimos despejar todos los multiplicadores, estos corresponden a
vnculos de segunda clase.
Algebra de los vnculos, matriz C

AB
(x, y)
El conjunto total de vnculos lo agrupamos como
A
A
= {
a
, }
= {, ,
i
,
i
,
ij
} (25)
Calculando el algebra de Poisson entre ellos construmos la matriz
C
AB
(x, y) {
A
(x),
B
(x)} (26)
donde los corchetes se calculan a tiempos iguales.

Matriz C
AB
(x, y)
C
AB
(x, y) =
0 0 0
km
m
m
kl
0 0 0 0 m
kl
0 0 0 m
ik
il
km
im
m
0 m
ik
m
ik
0
m
ij
m
ij
jk
im
m
0 m
ik
jl
2
(xy)
C
AB
(x, y) =
1
(2)
2
d
2
kC
AB
(
k)e
i
k(xy)

Matriz C
AB
(x, y)
C
AB
(x, y) =
0 0 0
km
m
m
kl
0 0 0 0 m
kl
0 0 0 m
ik
il
km
im
m
0 m
ik
m
ik
0
m
ij
m
ij
jk
im
m
0 m
ik
jl
2
(xy)
C
AB
(x, y) =
1
(2)
2
d
2
kC
AB
(
k)e
i
k(xy)
Algebra de Dirac
Matriz C
AB
(x, y)
Los corchetes de Dirac se denen como
{F(x), G(y)}
= {F(x), G(y)}
d
2
xd
2
y{F(x),
A
(z)}C
AB
(z, w){
B
(w), G(y)}
con

d
2
yC
AB
(x, y)C
BC
(y, z) =
B
A
2
(x z) (27)
que satisfacen
{F(x),
A
(y)}
= 0 (28)
Algebra de Dirac
Matriz C
AB
(x, y)
Los corchetes de Dirac se denen como
{F(x), G(y)}
= {F(x), G(y)}
d
2
xd
2
y{F(x),
A
(z)}C
AB
(z, w){
B
(w), G(y)}
con

d
2
yC
AB
(x, y)C
BC
(y, z) =
B
A
2
(x z) (27)
que satisfacen
{F(x),
A
(y)}
= 0 (28)
Algebra de Dirac
Algebra entre los campos

El algebra entre los campos es
{h
i 0
(x), h
k0
(y)}
=
1
2m
3
(
im
k

km
i
)
2
(x y), (29)
{h
i 0
(x), h
kl
(y)}
=
1
2m
2
(P
ik
l
+ P
il
k
P
kl
i
)
2
(x y), (30)
{h
ij
(x), h
kl
(y)}
=
1
2m
(
il
P
jk
+
jk
P
il
)
2
(x y) (31)
con P
ij

ij

i
j
m
2
Podemos sustituir los vnculos.
Acci on reducida
Si en la accion original hacemos la sustitucion
h
00
= N , h
0i
= N
i
(32)
h
i 0
= M
i
, h
ij
= H
ij
+
ij
v (33)
con
H
ij
= (
ij

i
j
)H
T
+
i
j
H
L
+
+(
ik
j
+
jk
i
)H
TL
(34)
S =
d
3
x[2m

H
T
H
TL
+ H
T
(m
2
)H
T
m
2
H
TL
H
TL
+ m
2
vv] (35)
Acci on reducida
Si en la accion original hacemos la sustitucion
h
00
= N , h
0i
= N
i
(32)
h
i 0
= M
i
, h
ij
= H
ij
+
ij
v (33)
con
H
ij
= (
ij

i
j
)H
T
+
i
j
H
L
+
+(
ik
j
+
jk
i
)H
TL
(34)
S =
d
3
x[2m

H
T
H
TL
+ H
T
(m
2
)H
T
m
2
H
TL
H
TL
+ m
2
vv] (35)
Acci on reducida
Tomamos Q =
2H
T
y P =
2mH
TL
la accion pasa a
S =
d
3
x[P

Q
1
2
PP
1
2
Q( + m
2
)Q] (36)
Corchetes fundamentales
{Q(x), P(y)} =
2
(x y) (37)
Se construyen los h
en funcion de P y Q y se reobtiene el algebra de

Dirac.
Acci on reducida
Tomamos Q =
2H
T
y P =
2mH
TL
la accion pasa a
S =
d
3
x[P

Q
1
2
PP
1
2
Q( + m
2
)Q] (36)
Corchetes fundamentales
{Q(x), P(y)} =
2
(x y) (37)
Se construyen los h
en funcion de P y Q y se reobtiene el algebra de

Dirac.
Gracias

Jie 2014

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Jie 2014

Uploaded by

Copyright:

Available Formats

Formalismo can onico para la teora autodual de spin 2

Algebra de los vnculos

as los operadores de Casimir del Grupo de Poincare

= ms, con m la masa y s el spin de la

constante obtenemos que

un tensor simetrico, transverso y sin traza

), que satisfacen el algebra de Poincare.

la identicamos con las parte de spin 2 de la desviacion lineal del

, las ecuaciones que este objeto cumple, coinciden con las de

, as la ecuacion se transforma en (11). Un vector

s, con esto en la conservacion de

s, con esto en la conservacion de

Algebra de los vnculos

Algebra de los vnculos, matriz C

Algebra de los vnculos

Algebra de los vnculos

Algebra entre los campos

en funcion de P y Q y se reobtiene el algebra de

en funcion de P y Q y se reobtiene el algebra de

You might also like