D-partculas

Diego Vidal Cruzprieto

October 9, 2013
Abstract
Se trabaja con un modelo donde las coordenadas son discretizadas
mediante ndices internos; la acci on en este caso hace que surjan constric-
ciones del tipo Yang-Mills. En este texto se busca encontrar un Hamil-
toniano can onico que sea lo sucientemente general cumpliendo a su vez
con la condici on de que debe ser una cantidad de primera clase.
La accion de las D-partculas es la siguiente
S =
_
dt P
a

X
a
H
c

a
G
a
(1)
Donde P
a
es el momento canonico conjugado a X
a
; H
c
es el hamiltoniano
canonico;
a
es el multiplicador de Lagrange asociado a la cosntriccion G
a
. Las
constricciones para esta teora tienen las siguiente estructura
G
a
= f
abc
X

b
P
c
(2)
Las constantes de estructura f
abc
no son necesariamente antisimetricas en todos
los ndices, ya que para esto se requiere que el grupo de Lie sea semisimple.
1 Hamiltoniano
1.1 Requisitos generales
Se busca que el Hamiltoniano sea una cantidad de primera clase, i.e.,
{H
c
, G
a
} = V
a
b
G
b
(3)
Bajo esto, veamos cual es el Hamiltoniano mas general que podemos construir
H
c
=
ab
g

P
a
P
b
+V (x, p) (4)
Pidamos que el Hamiltoniano canonico sea una cantidad de primera clase, es
decir
{
ab
g

P
a
P
b
+V (X, P), G
d
} = V
d
e
G
e
(5)
{
ab
g

P
a
P
b
, G
d
} +{V (X, P), G
d
} = V
d
e
G
e
(6)
1
Analicemos independientemente los dos sumandos del lado izquierdo de (6),
tenemos

ab
f
def
_
g

c
P
a
P
b
X

cf
2g

ae
P
b
P
f
_
(7)
f
def
g

f
P
a
P
b
X

e
(8)
El segundo termino se anula si suponemos que el grupo de Lie es semisimple,
ya que tendramos a un tensor simetrco contrayendo con uno antisimetrico. Se
pueden pedir varias condiciones sobre la metrica, en particular
g

X
a
X
a
(9)
Concluimos que
g

f
= 2

X
f
(10)
Con lo cual (8) nos da
f
def
g

f
P
a
P
b
X

e
= 2

f
def
X
f
P
a
P
b
X

e
= 0 (11)
Para el segundo sumando de (6) tenemos
f
def
{V, X

e
P
f
} = V
d
a
f
abc
X

b
P
c
(12)
f
def
_
V
X

f
X

e

V
P
e
P
f
_
= V
d
a
f
abc
X

b
P
c
(13)
f
def
_
V
X

f
X

e

V
P
e
P
f
_
= V
d
a
G
a
(14)
La evolucion temporal de la constriccion esta dada por

G
a
= {G
a
, H
c
+
b
G
b
} = V
a
c
G
c
+
b
f
abc
G
c
(15)
V
a
c
G
c
=
b
f
bac
G
c
(16)
f
aef
_
V
X

f
X

e

V
P
e
P
f
_
=
b
f
bac
G
c
(17)
Finalmente obtenemos las ecuaciones de movimiento del sistema
S =
_
dt
_

X

a
P
a

1
2m
P
a
P

a
V
a
G
a
_
(18)
S =
_
dt
_
(

X

a
P
a
)
1
m
P

a
P
a

V
X

b
X

b

V
P
c
P
c

a
G
a

a
G
a
_
(19)
=
_
dt
_
P
a

a
+

X

a
P
a

1
m
P

a
P
a

V
X

b
X

b

V
P
c
P
c
(20)

a
f
abc
X

b
P
c

a
(f
abc
X

b
P
c
))
=
_
dt
_
(

P
b

a
f
abc
P
c
)X

b

V
X

b
X

b

V
P
c
P
c
(21)
+(

X

c

1
m
P

c

a
f
abc
X

b
)P
c
(f
abc
X

b
P
c
)
a
_
2
Dado que X

b
, P
c
,
a
son linealmente independientes y la variacion debe de
anularse, concluimos que

P
b
+
a
f
abc
P
c
+
V
X

b
= 0 (22a)

c

1
m
P

c

V
P
c

a
f
abc
X

b
= 0 (22b)
f
abc
X

b
P
c
= 0 (22c)
1.2 Partcula libre
En el caso de la partcula libre el potencial es V = 0, las cantidades V
d
a
son nulas.
Podemos despejar los momentos en funcion de las velocidades de la (22b) para
formular la teora en el espacio de conguracion
P

c
= m
_

X

c

a
f
abc
X

b
_
(23)
S =
_
dt
m
2
_

X

a

X
a

a
f
abc
X

X
c
+
a
f
abc

d
f
dec
X

b
X
e
_
(24)
Haciendo la variacion respecto al multiplicador de Lagrange obtenemos su
ecuacion de movimiento

a
f
abc
X

X
c
+
a

d
f
abc
f
dec
X

b
X
e
+
d

a
f
abc
f
dec
X

b
X
e
= 0 (25)

d
f
abc
f
dec
X

b
X
e
=
1
2
f
abc
X

X
c
(26)
Usando la ecuacion de movimiento en (24) llegamos a
S =
_
dt
m
2
_

X

a

X
a

1
2

a
f
abc
X

X
c
_
(27)
Con lo que nos percatamos que eso no ja la norma del todo, calculamos el
momento para el multiplicador, el cual es una constriccion primaria de primera
clase

a

L

a
= 0 (28)
Mientras que el momento canonico conjugado a X

a
es
P
c
=
m
2
_
2

X
c

1
2

a
f
abc
X

b
_
(29)
Aplicando las ecuaciones de Euler-Lagrange llegamos a

X
c

a
2
f
abc
X
b
+

a
2

X
b
(f
acb
f
abc
) = 0 (30a)
f
abc
X

X
c
= 0 (30b)
Tomamos la norma donde

a
= 0, si el grupo es semisimple de dimension n
3
entonces

X
c
=
a
f
abc

X
b
(30c)

X
c
=
a
f
abc
X
b
(30d)

c

X
c
=
a
f
abc
X
b

X
c
(30e)
0 =
_
(

X
0
1
)
2
+ (

X
0
2
)
2
+ + (

X
0
n
)
2
_
+

X
i
a

X
ia
(30f)
Para llegar a la ultima ecuaci on se uso la metrica de Killing. Se puede apreciar
que es una partcula de tipo luz y que tenemos n direcciones temporales. Para
llegar a este resultado se uso (30b); si el grupo no es semisimple

X
c
+

a
2
X
b
(f
acb
f
abc
) = 0 (30g)

c

X
c
+

a
2
X
b
f
acb

X
c
= 0 (30h)

X
c
=

a
2
f
acb
X
b
(30i)
Como se puede notar, esto no es de mucha utilidad, trataremos otro enfoque:
despejar el multiplicador de Lagrange directamente. La posicion de una d-
partcula en el plano ( = 0, 1, 2) y con 3 generadores innitesimales (a = 1, 2, 3)
del grupo SU(2) esta representada por la siguiente matrix
1
2
(X

a
(t) (X

a
(t))
T
_
= 0 (31)
_
_
X
0
1
X
0
2
X
0
3
X
1
1
X
1
2
X
1
3
X
2
1
X
2
2
X
2
3
_
_

_
_
X
0
1
X
1
1
X
2
1
X
0
2
X
1
2
X
2
2
X
0
3
X
1
3
X
2
3
_
_
= 0 (32)

1
= X
0
2
X
1
1
(33)

2
= X
0
3
X
2
1
(34)

3
= X
1
3
X
2
2
(35)
Donde
i
es una condicion de norma. La matriz {
d
, G
a
} esta dada por
{
d
, G
a
} = f
abc
X

b
{
d
, P
c
} (36)
=
_
_
X
0
3
X
1
3
X
0
1
+X
1
2
X
0
2
(X
0
1
+X
2
3
) X
2
2
X
1
2
+X
2
3
X
1
1
X
1
2
_
_
(37)
La inversa es
det{
d
, G
a
} = X
1
1
(X
1
1
(X
0
1
+X
1
2
) +X
2
1
X
2
2
) (38)
+ (X
1
2
+X
2
3
)
_
(X
0
1
+X
1
2
)(X
0
1
+X
2
3
) (X
2
2
)
2
_
(39)
X
2
1
(X
1
1
X
2
2
+X
2
1
(X
0
1
+X
2
3
)) (40)
{
d
, Ga}
1
=
1

X
1
1
X
2
2
+X
2
1
(X
0
1
+X
2
3
) X
1
1
(X
0
1
+X
1
2
)+X
2
1
X
2
2
(X
0
1
+X
1
2
)(X
0
1
+X
2
3
)(X
2
2
)
2
X
1
1
X
2
1
+X
2
2
(X
1
2
+X
2
3
) (X
2
1
)
2
(X
0
1
+X
1
2
)(X
1
2
+X
2
3
) X
1
1
(X
0
1
+X
1
2
)+X
2
1
X
2
2
(X
0
1
X
2
3
)(X
1
2
+X
2
3
)(X
1
1
)
2
X
1
1
X
2
1
+X
2
2
(X
1
2
+X
2
3
) X
1
1
X
2
2
+X
2
1
(X
0
1
+X
2
3
)

(41)
4
Por lo que el multiplicador de lagrange queda despejado y es

d
= {
d
, G
a
}
1
{
a
, H
c
} (42)

d
= (m)
1

(P
0
2
P
1
1
)(X
1
1
X
2
2
+X
2
1
(X
0
1
+X
2
3
))+(P
0
3
P
2
1
)(X
1
1
(X
0
1
+X
1
2
)+X
2
1
X
2
2
)(P
1
3
P
2
2
)((X
0
1
+X
1
2
)(X
0
1
+X
2
3
)(X
2
2
)
2
)
(P
0
2
P
1
1
)(X
1
1
X
2
1
+X
2
2
(X
1
2
+X
2
3
))(P
0
3
P
2
1
)((X
2
1
)
2
(X
0
1
+X
1
2
)(X
1
2
+X
2
3
))(P
1
3
P
2
2
)(X
1
1
(X
0
1
+X
1
2
)+X
2
1
X
2
2
)
(P
0
2
P
1
1
)((X
0
1
+X
2
3
)(X
1
2
+X
2
3
)(X
1
1
)
2
)+(P
0
3
P
2
1
)(X
1
1
X
2
1
+X
2
2
(X
1
2
+X
2
3
))(P
1
3
P
2
2
)(X
1
1
X
2
2
+X
2
1
(X
0
1
+X
2
3
))

(43)
2 Una teora con m ultiples tiempos
La ecuacion (30f) nos muestra que la teora puede llegar a tener m ultiples di-
recciones temporales, de hecho, el intervalo queda denido como
ds
2
=

dx

a
dx

a
(44)
De nuevo tenemos evidencia de varias direcciones temporales; Itzhak Bars creo
uan teora con dos tiempos exigiendo que la simetra de norma fuera Sp(2), es
decir, el pidio simetra entre las coordendas y los momentos del espacio fase.
2.1 Lagrangiana de dos tiempos
La teora de Bars es
S
B
=
_
dt
_
1
A
22
(

X

2A
12
X

(A
12
)
2
4
X

)
A
11
2
X

_
(45)
Nuestra lagrangiana, recordando la ecuacion (24) es
S =
_
dt
m
2
_

X

a

X
a

a
f
abc
X

X
c
+
a
f
abc

d
f
dec
X

b
X
e
_
(46)
Notamos que nuestra lagrangiana es equivalente si
A
22
= 1 (47)
A
11
= 0 (48)
X

A
12
=
a
f
abc
(49)
2.2 Constricciones
Nosotros podemos plantear un Hamiltoniano que sea cuasisimetrico, el del os-
cilador armonico
H
c
=

ab
(aP

a
P

b
+bX

a
X

b
) (50)
La evolucion de la constriccion genera otra

G
a
= {H
c
, G
a
} = f
abc
{aP

d
P
d
+bX

d
X
d
, X

b
P
c
} (51a)
= 2f
abc
(bX

b
X
c
aP

b
P
c
) (51b)
H
a
f
abc
(bX

b
X
c
aP

b
P
c
) (51c)
5
La cual a su vez origina una nueva constriccion

H
a
= 2abf
abc
(2X

c
P
b
+ 2X

b
P
c
) (52a)
= 4ab (f
abc
P
b
X

c
+G
a
) (52b)
I
a
f
abc
P
b
X

c
(52c)
Cuya evolucion temporal es debilmente cero
{H
c
, I
a
} = 2H
a
(53)
El algebra de constricciones es
{G
a
, G
b
} = f
abc
G
c
(54a)
{G
a
, I
d
} = (f
aec
f
deb
f
abe
f
dce
)X

b
P
c
(54b)
J
ad
(f
aec
f
deb
f
abe
f
dce
)X

b
P
c
(54c)
K
ad
(f
abe
f
dce
f
aec
f
deb
)P
b
X

c
(54d)
{G
a
, H
d
} = (bf
abe
(f
dec
+f
dce
)X

b
X
c
+af
aec
(f
dbe
+f
deb
)P
b
P

c
) (54e)
L
ad
bf
abe
(f
dec
+f
dce
)X

b
X
c
+af
aec
(f
dbe
+f
deb
)P
b
P

c
(54f)
{I
a
, I
b
} = f
abc
I
c
(55a)
{I
a
, H
d
} = (bf
abe
(f
dec
+f
dce
)P

b
P
c
+af
aec
(f
dbe
+f
deb
)X
b
X

c
) (55b)
M
ad
af
abe
(f
dec
+f
dce
)P

b
P
c
+bf
aec
(f
dbe
+f
deb
)X
b
X

c
(55c)
{H
a
, H
d
} = ab ((f
abe
f
dec
+f
abe
f
dce
)X

b
P
c
+ (f
aec
f
deb
+f
aec
f
dbe
)P
b
X

c
(f
abe
f
dec
+f
abe
f
dce
)X

b
P
c
(f
aec
f
deb
+f
aec
f
dbe
)P
b
X

c
) (56a)
= ab (f
abe
(f
dec
+f
dce
) f
aec
(f
deb
+f
dbe
)) (X

b
P
c
P
b
X

c
)
(56b)
= abJ
ad
+ab (f
abe
(f
dec
+f
dce
) f
aec
(f
deb
+f
dbe
)) P
b
X

c
+ab(f
aec
f
dbe
f
abe
f
dec
)X

b
P
c
(56c)
= abJ
ad
abf
ade
G
e
+ab (f
dae
f
ebc
)) P
b
X

c +abK
ad
(56d)
= ab(J
ad
+K
ad
+f
ade
(I
e
G
e
)) (56e)
2.3 El caso mas sencillo: GL(2)
Claramente las constricciones H
a
, I
a
desaparecen si el grupo de norma es semisim-
ple, por lo cual a continuacion se analizara el grupo de norma no semisimple
mas sencillo posible, el cual es GL(2) cuyas constantes de estructura son
f
122
= 1 f
133
= 1 f
231
= 1 (57)
f
234
= 1 f
242
= 1 f
343
= 1 (58)
Entonces, las constricciones son
G
1
= X

2
P
2
X

3
P
3
(59)
G
2
= X

3
(P
1
P
4
) +P
2
(X

4
X

1
) (60)
G
3
= X

2
(P
4
P
1
) +P
3
(X

1
X

4
) (61)
G
4
= X

2
P
2
+X

3
P
3
= G
1
(62)
6
I
1
= X

2
P
2
X

3
P
3
= G
1
(63)
I
2
= P

3
(X
1
X
4
) +X
2
(P

4
P

1
) = G
3
(64)
I
3
= P

2
(X
4
X
1
) +X
3
(P

1
P

4
) = G
2
(65)
I
4
= X

2
P
2
+X

3
P
3
= I
1
(66)
J
ab
= K
ab
= f
abe
G
e
(67)
H
1
= b(X

2
X
2
X

3
X
3
) a(P

2
P
2
P

3
P
3
) (68)
H
2
= b(X

2
X

3
)(X
4
X
1
) a(P

2
P

3
)(P
4
P
1
) (69)
H
3
= b(X

2
X

3
)(X
4
X
1
) a(P

2
P

3
)(P
4
P
1
) = H
2
(70)
H
4
= H
1
(71)
El algebra entre las ultimas constricciones es
{H
1
, H
2
} = ab((X

2
+X

3
)(P
4
P
1
) (P
2
+P
3
)(X

4
X

1
)) (72)
= 2ab(G
3
I
3
) (73)
= 2ab(G
3
G
2
) (74)
M
ab
= 0 (75)
L
11
= b(X

3
X
3
+X

2
X
2
) +a(P

3
P
3
+P

2
P
2
) (76)
= bX

3
X
3
+aP

2
P
2
O
1
(77)
= bX

2
X
2
+aP

3
P
3
O
2
(78)
L
12
= b(X

3
(X
4
X
1
) +X

2
(X
4
X
1
)) (79)
+a(P
2
(P

4
P

1
) +P
3
(P

4
P

1
)) (80)
= bX

3
(X
4
X
1
) +aP
2
(P

4
P

1
) O
3
(81)
= bX

2
(X
4
X
1
) +aP
3
(P

4
P

1
) O
4
(82)
L
22
= a(P
4
P
1
)
2
b(X

4
X

1
)
2
+ 2bX

3
X
2
+ 2aP
2
P

3
O
5
(83)
Para O
1
, O
2
se hizo dura la constriccion H
1
, para O
3
, O
4
se uso H
2
. Cuya
algebra es identicamente cero excepto en los siguientes casos
{O
1
, O
4
} = 2abG
3
(84)
{O
1
, O
2
} = 4abG
1
(85)
{O
2
, O
3
} = 2abG
3
(86)
{O
3
, O
5
} = 6abG
2
(87)
{O
4
, O
5
} = 6abG
3
(88)
El algebra que forma con las otras constricciones es
{G
1
, O
1
} = 2O
1
{G
1
, O
2
} = 2O
2
(89)
{G
1
, O
3
} = O
3
{G
1
, O
4
} = O
4
(90)
{G
2
, O
2
} = 2O
4
{G
2
, O
3
} = 2O
1
(91)
{G
2
, O
4
} = O
5
{G
2
, O
5
} = 6O
3
(92)
{G
3
, O
1
} = O
3
{G
3
, O
3
} = O
5
(93)
{G
3
, O
4
} = 2O
2
{G
3
, O
5
} = 2O
4
(94)
7
{H
1
, O
1
} = 4abG
1
{H
1
, O
2
} = 4abG
1
(95)
{H
1
, O
3
} = 2abG
3
{H
1
, O
4
} = 2abG
2
(96)
{H
2
, O
1
} = 2abG
2
{H
2
, O
2
} = 2abG
3
(97)
{H
2
, O
3
} = abG
1
{H
2
, O
4
} = abG
1
(98)
{H
2
, O
5
} = 4ab((P
3
P
2
)(X

4
X

1
) (X

2
X

3
)(P
4
P
1
)) (99)
= (G
2
+G
3
) (100)
Si nuestro espacio tiempo es de dimension d y considerando que nuestras con-
stricciones son (G
1
, G
2
, G
3
, H
1
, H
2
, O
1
, O
2
, O
3
, O
4
, O
5
), entonces los grados de
libertad f estan dados por
f = 4d 10 (101)
Por lo que nuestro sistema necesariamente debe tener al menos tres dimensiones
espacio temporales, la accion es
S =
_
dt

X

a
P
a
aP
a
P

a
bX

a
X
a

1
G
1

2
G
2

3
G
3

1
H
1

2
H
2

1
O
1

2
O
2

3
O
3

4
O
4

5
O
5
(102)
Las transformaciones de norma son las siguientes

1
=
2
X

3

3
X

2
+a
5
(P

2
P

3
) a
8
P

2
a
9
P

3
+ 2a
10
(P

4
P

1
)
(103a)

2
=
1
X

2
+
2
(X

4
X

1
) 2a
4
P

2
a
5
(P

4
P

1
) + 2a
6
P

2
+a
8
(P

4
P

1
) + 2a
10
P

3
(103b)

3
=
1
X

3

3
(X

4
X

1
) + 2a
4
P

3
+a
5
(P

4
P

1
) + 2a
7
P

3
+a
9
(P

4
P

1
) + 2a
10
P

2
(103c)

4
=

1
(103d)

1
=
2
P

2

3
P

3
+b
5
(X

2
X

3
) +b
8
X

3
+b
9
X

2
2b
10
(X

4
X

1
)
(104a)

2
=
1
P

2

3
(P

4
P

1
) 2b
4
X

2
b
5
(X

4
X

1
) 2b
7
X

2
b
9
(X

4
X

1
) 2b
10
X

3
(104b)

3
=
1
P

3
+
2
(P

4
P

1
) + 2b
4
X

3
+b
5
(X

4
X

1
) 2b
6
X

3
b
8
(X

4
X

1
) 2b
10
X

2
(104c)

4
=

1
(104d)
3 Propagador para la teora en SU(2)
De la accion podemos notar que las ecuaciones de movimiento para los momentos
y las posiciones son las siguientes

c
2aP

c

a
f
abc
X

b
= 0 (105)

P
b
+ 2bX
b
+
a
f
abc
P
c
(106)
8
Denimos la derivada covariante de norma para las posiciones como
D
t
X

c

d
dt
X

c

a
f
abc
X

b
(107)
Para los momentos como
D
t
P
c

d
dt
P
c

a
f
abc
P
b
(108)
Es decir, en general
D
t

c

d
dt

a
f
abc

b
(109)
Con estas consideraciones procederemos a cuantizar con el formalismo BRST,
la carga asociada es
= C
a
G
a
iP
a

a
+
i
2
_
P
1
(P
2

C
3
P
3

C
2
) +P
2
(P
3

C
1
P
1

C
3
)
+P
3
(P
1

C
2
P
2

C
1
)
_
(110)
En general
= iP
a

a
+C
a
G
a
+
1
2
C
a
C
b
f
abc

P
c
(111)
La condicion de nilpotencia resulta en
{, } =
1
4
{C
a
C
b

P
c
, C
e
C
h

P
g
} (112)
Denimos la condicion de norma fermionica como
=

C
a

a
+

P
a

a
(113)
Que con la carga nos da
{, } =

C
a
C
b
G
ab
i
b

b
+
i
2
f
abc
(
a
P
b
+
b
P
a
)C
c

a
G
a
i

P
a
P
a

i
2
f
abc
P
a
P
b

c
(114)
=

C
a
C
b
G
ab
i
b

b

a
G
a
i

P
a
P
a

i
2
f
abc
P
a
P
b

c
(115)
Donde el tercer termino se fue por ser la contraccion de un tensor simetrico con
uno antisimetrico. La condicion de norma que usaremos es

a


X
0
a
c
a
(116)
Por ello, llegamos a
{, } =

C
a
C
b
G
ab
i(

X
0
a
c
a
)
a

a
G
a
i

P
a
P
a

i
2
f
abc
P
a
P
b

c
(117)
G
ab
= {G
a
,

X
0
b
c
b
} (118)
= {G
a
, {H, X
0
b
}} (119)
= 2a{G
a
, P
0b
} (120)
= 2af
abc
P
0c
(121)
{, } = 2af
abc

C
a
C
b
P
0c
i(

X
0
a
c
a
)
a

a
G
a
i

P
a
P
a

i
2
f
abc
P
a
P
b

c
(122)
9
En nuestro caso
H
BRST
= H
0
(123)
H
eff
= aP
a
P

a
+bX

a
X
a

C
a
C
b
G
ab
+i
b

b
+
a
G
a
+i

P
a
P
a
+
i
2
f
abc
P
a
P
b

c
(124)
= aP
a
P

a
+bX

a
X
a
+ 2af
abc

C
a
C
b
P
0c
+i(

X
0
a
c
a
)
a
+
a
G
a
+i

P
a
P
a
+
i
2
f
abc
P
a
P
b

c
(125)
S
eff
=
_
2
1
d
_

X

a
P
a

a

a
P
a

C
a
+

C
a

P
a
aP
a
P

a
bX

a
X
a
2af
abc

C
a
C
b
P
0c
i(

X
0
a
c
a
)
a

a
G
a
i

P
a
P
a

i
2
f
abc
P
a
P
b

c
_
(126)
Z =
_
De
iS
eff
(127)
D = DP
a
D

P
a
DC
b
D

C
b
D
c
D
c
DP
d
DX

d
(128)
10