FAC\LTAD DE CIECIAS FISICO-AATEATICAS DE

LA \IYEHSIDAD A\TOAA DE SIALOA

IHOCHAAA DE AAESTHIA
E FISICA
E DIHECCI A \A AECICA C\TICA E
{22)-DIAESIOES
1LSIS
paia cuLiii paicialmonlo los ioquisilos nocosaiios paia oLlonoi ol giaoo oo
MALS1IO LN FSICA
Iiosonla:
EAAA\EL HOHEHTO ESTHADA AC\AYO
Culiacan, Sinaloa, Moxico, FoLioio oo 2018
i
HES\AE oo la losis oo EAAA\EL HOHEHTO ESTHADA AC\AYO,
piosonlaoa como ioquisilo paicial paia la oLloncion ool giaoo oo MALS1IO LN
FSICA con oiionlacion on IAI1CULAS Y CAMIOS. Culiacan, Sinaloa, FoLioio
oo 2018.
E DIHECCI A \A AECICA C\TICA E
{22)-DIAESIOES
Iosumon apioLaoo poi:
Di. Juan Anlonio Niolo Gaica
Cooiiocloi oo 1osis
Di. Logai Alojanoio Loon Lspinoza
Cooiiocloi oo 1osis
Ln oslo liaLajo so piosonlan aspoclos cuanlicos oo un univoiso con una signaluia
, on conliaslo con la signaluia usual . So haco onfasis on ol foimalismo
Hamilloniano con consliiccionos foimulaoo poi Diiac, oo lal foima quo a Laso ool mismo
so consliuyon ocuacionos analogas a la Mocanica Cuanlica on -oimonsionos, poio
osla voz on ol caso oo la signaluia moncionaoa. Dospuos oo oLlonoi ocuacionos oo
Schioingoi, Kloin-Goioon y Diiac on , so implomonla un poloncial lipo oscilaooi
aimonico y so aigumonla la iolovancia quo puooo lonoi paia las looias cuanlicas. Ln
soguioa analizamos cuoslionos soLio simolias, on oonoo iosallamos la impoilancia ool
giupo oo simolia ospocial -& , quo apaioco oo manoia naluial on la looia. La
llima pailo oo oslo liaLajo so onfoca on una piopuosla paia camLio oo signaluia
como una liansfoimacion oo oualioao, quo puooo iosullai una alloinaliva aliacliva on
compaiacion a olias piopuoslas quo so oncuonlian on la liloialuia.
IaIaLras CIave: Fsica oo oos liompos, Simolias oo giupo, Dualioao ospacio-liompo.
ii
AHSTHACT of lho lhosis piosonloo Ly EAAA\EL HOHEHTO ESTHADA
AC\AYO, in pailial fullllmonl of lho ioquiiomonls of lho oogioo of MAS1LI IN
IHYSICS whil oiionlalion in IAI1ICLLS AND FILLDS. Culiacan, Sinaloa, FoLiuaiy
2018.
TOVAHDS A Q\AT\A AECHAICS I {22)-DIAESIOS
In lhis woik wo piosonl quanlum aspocls of a univoiso wilh a signaluio ,
in conliasl lo lho usual signaluio . Lmphasis is placoo on lho Hamillonian
consliainoo syslom oovolopoo Ly Diiac, in such a way lhal Lasoo on il, analogous
oqualions lo Quanlum Mochanics in -oimonsions aio consliucloo , Lul lhis limo
in lho caso of lho monlionoo signaluio. Afloi oLlaining Schioingoi, Kloin-Goioon ano
Diiac oqualions in , il is implomonloo a kino of haimonic oscillaloi polonlial
ano wo aiguo lho iolovanco lhal lhis may havo lo quanlum lhooiios. Following lhis,
wo analyzo issuos aLoul symmoliios, whoio wo highlighl lho impoilanco of lho spocial
symmoliy gioup -& , which occuis naluially in lho lhooiy. 1ho lasl pail of lhis
woik focusos on a pioposal lo chango signaluio as a oualily liansfoimalion, which can
Lo an alliaclivo alloinalivo compaioo lo olhois pioposals founo in lho liloialuio.
Keyvords: 2l-Ihysics, Gioup Symmoliy, Spaco-limo Dualily.
iii
AgradecInIentos
Agiaoozco piimoiamonlo al Consojo Nacional oo Cioncia y 1ocnologa poi ol apoyo
iociLioo on la ioalizacion ool posgiaoo, al Di. Golacio Alonoo IuLio poi su pionla y
coiiocla aominisliacion on la cooioinacion ool posgiaoo on fsica oo la facullao, a mis
asosoios, los oocloios Juan Anlonio Niolo y Logai Alojanoio Loon, poi su conslanlo
apoyo on oslo pioyoclo poisonal quo comonzo oosoo ol momonlo on quo inicio los osluoios
oo maoslia. Al Di. Juan Anlonio Niolo lo agiaoozco ospocialmonlo su asosoiamionlo
y consojos, los cualos no olvioaio y quo han sioo invaluaLlos paia mi oosaiiollo. Al Di.
Logai Alojanoio Loon lo agiaoozco su apoyo oo muy oislinlas manoias, as como su
pacioncia oonlio y fuoia oo las clasos. AmLos lionon mi aomiiacion y iospolo.
Ln sogunoo lugai a mi familia, poi su pacioncia y su apoyo inconoicional. Lspocial-
monlo monciono a mi amaoa osposa Iliana y mi maoio Iosaiio, ya quo mo han animaoo
conslanlo y posilivamonlo ouianlo looo ol pioyoclo.
iv
DedIco esta tesIs a...
`. nn:. Jnn.|.n j nn.j.
ndice
1. Introduccin 2
2. Sistema Hamiltoniano con Constricciones 4
2.1. Parntesis de Poisson y Cuantizacin . . . . . . . . . . . . . . . . . . . 4
2.2. Derivacin alternativa de la ecuacin de Schrdinger . . . . . . . . . . . 6
3. Mecnica Cuntica en una signatura (2 2) 10
3.1. Ecuacin tipo Schrdinger en (2 2)-dimensiones . . . . . . . . . . . . 10
3.1.1. Oscilador armnico en (2 2)-dimensiones . . . . . . . . . . . . 12
3.2. Ecuaciones tipo Klein-Gordon y Dirac para (2 2)-dimensiones . . . . 14
3.2.1. Ecuacin tipo Klein-Gordon . . . . . . . . . . . . . . . . . . . . 15
3.2.2. Ecuacin tipo Dirac . . . . . . . . . . . . . . . . . . . . . . . . . 16
4. Teorema de Noether y fsica de 2 + 2 Dimensiones 21
4.1. Teorema de Noether y transformaciones de norma . . . . . . . . . . . . 21
4.2. Teorema de Noether Hamiltoniano para Fsica de (2 2)-dimensiones . 27
5. Simetra o1(2. R) y el espacio fase geomtrico en (2 2)-dimensiones 33
5.1. Sistema Clsico Hamiltoniano o1(2. R) . . . . . . . . . . . . . . . . . . 33
5.2. Sistema cuntico Hamiltoniano o1(2. R) . . . . . . . . . . . . . . . . . 37
5.3. Espacio Fase Simplctico o1(2. R) . . . . . . . . . . . . . . . . . . . . . 41
5.4. Estructura Simplctica o1(2. R) y Signatura (2 2) . . . . . . . . . . . 42
6. Mecanismo de Cambio de Signatura 45
6.1. Lagrangiano para una partcula puntual en el espacio fase . . . . . . . . 45
6.2. Cambio de signatura. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
7. Conclusiones 49
1
1. Introduccin
Una de las ideas ms atractivas en la fsica consiste en que el universo puede ser descrito
por una teora unicada, la cual enmarque dentro de un mismo esquema a las cuatro
interacciones fundamentales: gravedad, electromagnetismo, fuerza dbil y fuerza fuerte
[1]. Al respecto, existe una teora que con el tiempo se ha convertido en un sustento
para distintas teoras gravitacionales: la teora de Kaluza-Klein [2][3] . En esta teora la
dimensionalidad del espacio-tiempo se considera mayor a la usual de (13) (tres espacios
y un tiempo). De hecho la teora de Kaluza-Klein es parte esencial de la teora de
cuerdas y supergravedad que, como se sabe, requieren aumentar o disminuir el nmero
de dimensiones espaciales [4][5].
Adems de las modicaciones en el nmero de las dimensiones del espacio, en las ltimas
dcadas tambin ha surgido un inters creciente en las implicaciones de una signatura
distinta a la Lorentziana (1. 1. 1. ...). De esta forma, la conjetura de la correspondencia
AdS/CFT, la teora-M, fsica de dos tiempos y formalismos de cambio de signatura,
han dado lugar a un nuevo panorama en la fsica terica en relacin no solo a la dimen-
sionalidad del espacio, sino tambin a su signatura [6]-[10]. En este sentido un escenario
de (2 2)-dimensiones se abre como un tpico fsicamente interesante para entender
objetos excepcionales tales como los agujeros negros y la materia oscura, entre otros
[11]. Cabe mencionar que la signatura (2 2) es la mnima signatura no trivial distinta
a la Lorentziana y a la Euclidiana. Ms an, a travs de la signatura (2 2) se pueden
explorar aspectos tericos fsicamente relevantes en diferentes escenarios, incluyendo
cosmologa y gravedad cuntica [12]-[14].
El presente trabajo de tesis tiene como tema prioritario considerar una mecnica cunti-
ca en (22)-dimensiones. Especcamente, se derivan ecuaciones relevantes a la mecni-
ca cuntica tradicional y a la teora cuntica de campos, revisando similitudes y difer-
encias con la signatura usual de (1 3)-dimensiones. En particular, se considera el caso
de un oscilador armnico en (2 2)-dimensiones. Ms an, se aborda el sistema Hamil-
toniano con constricciones, el cual permitir seguir un camino alternativo para deducir
2
la ecuacin de Schrdinger [16]. As, se procede a derivar tres ecuaciones, las cuales
son relevantes en la estructura de una teora cuntica relativista, a saber las ecuaciones
de Klein-Gordon y Dirac. Esto se realiza usando el mismo mtodo de sistemas con
constricciones, pero esta vez bajo la signatura espacio-tiempo de (2 2)-dimensiones.
En el caso de la ecuacin de Dirac se estudia la forma en que la signatura de (2 2)-
dimensiones conduce a una estructura simplctica asociada al grupo o1(2. R), relevante
en fsica de dos tiempos. La ltima parte de esta investigacin sobre un espacio de (22)-
dimensiones trata con un cambio de signatura va una transformacin de dualidad, tema
que puede tener relevancia tanto para mecnica cuntica como para cosmologa.
Esta tesis est organizada de la siguiente manera. En el Captulo 2 se revisa el sistema
Hamiltoniano con constricciones de Dirac y la manera en que dicho formalismo conduce
a la ecuacin de Schrdinger. En el Captulo 3 se investiga la forma en que se puede
denir una mecnica cuntica en (2 2)-dimensiones: se deduce una ecuacin tipo
Schrdinger y se resuelve para un potencial tipo oscilador armnico en tal signatura.
Tambin se derivan las ecuaciones anlogas a las de Klein-Gordon y de Dirac, revisando
el modo en que esta ltima se relaciona con la simetra del grupo o1(2. R). En el
Captulo 4 desarrollaremos el Teorema de Noether para la signatura (2 2). En el
Captulo 5 se revisan varias relaciones entre la simetra o1(2. R) y fsica de (2 2)-
dimensiones. Esto desde un punto de vista de una estructura simplctica. En el Captulo
6 se propone un mecanismo de cambio de signatura retomando algunos aspectos del
captulo 4 y 5. Este trabajo naliza con un captulo de conclusiones, en donde se resume
la investigacin realizada, al mismo tiempo que se mencionan futuros trabajos en (22)-
dimensiones.
3
2. Sistema Hamiltoniano con Constricciones
En este captulo se revisa brevemente el formalismo Hamiltoniano con constricciones
de Dirac [15]-[18]. La transicin de mecnica clsica a mecnica cuntica se realiza
mediante dos mtodos equivalentes. En el primer caso (seccin 1), la cuantizacin se
realiza cambiando las variables del espacio fase a operadores y los parntesis de Poisson a
conmutadores. Adems se postula que la dinmica de tales operadores est determinada
por una ecuacin en la representacin de Heisenberg, mientras que los estados fsicos se
determinan como solucin de la ecuacin de Schrdinger [19]-[20]. En el segundo caso
(seccin 2) se demuestra que no es necesario postular la ecuacin de Schrdinger, sino
que esta se puede derivar a partir de una constriccin de primera clase a travs del
formalismo Hamiltoniano con constricciones de Dirac.
2.1. Parntesis de Poisson y Cuantizacin
En esta seccin se revisarn los pasos tradicionales para cuantizar un sistema clsico.
Considrese un sistema fsico caracterizado por una accin funcional o[r[ denida en
trminos de las variables del espacio de conguracin. La accin es
o[r[ =
_
dt1(r.
dr
dt
). (2.1)
en donde 1 es el Lagrangiano denido en trminos de las coordenadas r
i
y las veloci-
dades correspondientes
oa
i
ot
, en donde i. , corren de 1 a :.
Se dene el momento cannico j
i
conjugado a r
i
por
j
i
=
J1
J(
oa
i
ot
)
. (2.2)
y el Hamiltoniano cannico H
c
(r. j) por la transformacin de Legendre
H
c
(r. j) =
dr
i
dt
j
i
1. (2.3)
Aqu se usa la convencin de sumatoria para ndices repetidos.
4
La expresin (2.3) permite reescribir la accin (2.1) en la forma
o[r. j[ =
_
dt(
dr
i
dt
j
i
H
c
). (2.4)
El parntesis de Poisson para las funciones arbitrarias ,(r. j) y q(r. j) se dene por
,. q =
J,
Jr
i
Jq
Jj
i

J,
Jj
i
Jq
Jr
i
. (2.5)
Utilizando (2.5) se encuentran los parntesis de Poisson bsicos
r
i
. r
)
= 0. (2.6)
j
i
. j
)
= 0. (2.7)
r
i
. j
)
= o
i
)
. (2.8)
Aqu el smbolo o
i
)
denota la delta de Kronecker.
Se puede demostrar a partir de la ecuaciones de movimiento, derivadas de (2.4), que
d,
dt
= ,. H
c
. (2.9)
La transicin a la mecnica cuntica se hace promoviendo las funciones a operadores.
En particular, para el Hamiltoniano H
c
se considera la transicin H
c
(r. j)

H
c
( r. j),
y adems la identicacin ,. q
1
i~
[

,. q[, en donde [

.

1[ =

1

1

, para dos
operadores arbitrarios

y

1. As, la evolucin temporal de un operador

se determina
por el anlogo de la ecuacin (2.9),
d

dt
=
1
i}
_

.

H
c
_
. (2.10)
Esta expresin corresponde a la representacion de Heisenberg de la mcanica cuntica.
Por otro lado, si se considera que los operadores cannicos actan sobre estados fsicos
[d que evolucionan en el tiempo se puede, en lugar de (2.10), postular la ecuacin de
Schrdinger:
5

H
c
[d(t) = i}
J
Jt
[d(t). (2.11)
Se puede demostrar que las formulaciones de la mecnica cuntica correspondientes a
(2.10) y (2.11) son equivalentes. Esto esencialmente se logra tomando en cuenta que los
estados fsicos [d(t) cambian con el tiempo en la forma
[d(t) = l(t. t
0
)[d(t
0
). (2.12)
donde t
0
es un tiempo incial y l(t. t
0
) es el operador unitario de evolucin temporal
(ver Refs. [19]-[20] para detalles).
Es importante destacar que en lugar de postular la ecuacin (2.11), esta se puede obtener
a partir de un sistema con constricciones clsico, tal como se ver en la siguiente seccin.
2.2. Derivacin alternativa de la ecuacin de Schrdinger
En esta seccin se deriva (2.11) con el mtodo de sistemas Hamiltoniano con constric-
ciones de Dirac. Primero se asume que el Lagrangiano 1(r.
oa
ot
) tiene la forma
1 =
1
2
:
0
_
dr
i
dt
_
2
\ (r
i
). (2.13)
En este caso la accin (2.1) toma la forma
o[r
i
.
dr
i
dt
[ =
_
dt
_
1
2
:
0
_
dr
i
dt
_
2
\ (r
i
)
_
. (2.14)
Si se introduce un parmetro arbitrario t de tal manera que r
0
= t(t), se encuentra
que (2.14) puede reescribirse como
o[r
0
. r
i
. ` r
0
. ` r
i
[ =
_
dt
_
1
2
:
0
_
` r
0
_
1
( ` r
i
)
2
` r
0
\ (r
i
)
_
. (2.15)
en donde ` r
i
=
oa
i
ot
. La expresin (2.15) sugiere la introduccin de un nuevo Lagrangiano
/ =
1
2
:
0
( ` r
0
)
1
( ` r
i
)
2
` r
0
\ (r). (2.16)
6
As, adems de la denicin del momento 1
i
dada por
1
i
=
J/
J( ` r
i
)
. (2.17)
tambin se puede considerar el momento
1
0
=
J/
J( ` r
0
)
. (2.18)
Utilizando (2.16) se ve que (2.17) y (2.18) se leen como
1
i
= :
0
( ` r
0
)
1
` r
i
(2.19)
y
1
0
=
1
2
:
0
( ` r
0
)
2
( ` r
i
)
2
\ (r
i
). (2.20)
respectivamente. En (2.19) se utiliz la propiedad 1
i
= o
i)
1
)
. Estas dos expresiones se
pueden combinar para obtener la constriccin de primera clase
1
0

1
i
1
i
2:
0
\ (r
i
) = 0. (2.21)
Tambin se puede demostrar utilizando (2.19) y (2.20) que el Hamiltoniano cannico
H
c
correspondiente a (2.16)
H
c
= ` r
0
1
0
` r
i
1
i
/. (2.22)
es idnticamente cero.
As, se encuentra que la accin funcional asociada con / puede ser escrita en el espacio
fase como
o[r
i
. ` r
0
. ` r
i
. 1
0
. 1
i
. `[ =
_
dt
_
` r
0
1
0
` r
i
1
i
`
_
1
0

1
i
1
i
2:
0
\ (r
i
)
__
. (2.23)
donde ` es un multiplicador de Lagrange. Deniendo
H = 1
0

1
i
1
i
2:
0
\ (r). (2.24)
7
se puede reescribir (2.23) como
o =
_
dt( ` r
0
1
0
` r
i
1
i
`H). (2.25)
Conviene subrayar que de acuerdo al formalismo Hamiltoniano con constricciones de
Dirac, H corresponde a una constriccin de primera clase [15]-[18].
El lgebra anloga a (2.6)-(2.8) es
r
j
. r
i
= 0. (2.26)
1
j
. 1
i
= 0. (2.27)
r
j
. 1
i
= o
j
i
. (2.28)
donde los ndices j. i corren de 0 a :. (Aqu es conveniente indicar que 1
0
= 1
0
y
por lo tanto se tiene 1
j
= j
ji
1
i
, donde j
ji
= dicq(1. 1. .... 1).)
Mediante la asociacin r
j
r
j
y 1
j


1
j
se asume que la constriccin

H asociada
con (2.24) determina los estados fsicos [d,

H[d = 0. (2.29)
Es til subrayar que el procedimiento anterior se puede generalizar al caso en el que
adems de H se introducen : nuevas constricciones de primera clase H

(r. j) - 0,
con = 1. 2.... :, en donde el smbolo - signica dbilmente igual a cero (ver Ref.
[16-17]). En efecto, en este caso (2.25) se generaliza en la forma
o[ ` r
0
. ` r
i
. 1
0
. 1
i
. `. `

[ =
_
t
f
t
i
dt( ` r
0
1
0
` r
i
1
i
`H`

). (2.30)
Los estados fsicos [d ahora debern satisfacer las condiciones

H[d = 0 (2.31)
8
y

[d = 0. (2.32)
Si se introduce el operador de energa

1 =

1
0
. (2.33)
se ve que (2.21) y (2.24) conducen a
(

1

1
2
2:
0


\ )[d = 0. (2.34)
En la representacin de coordenadas se hacen las identicaciones

1 i}
J
Jt
(2.35)
y

1
i
i}
J
Jr
i
. (2.36)
Sustituyendo (2.35) y (2.36) en (2.37) y utilizando la notacin
J
2
(Jr
i
)
2
=

\
2
. (2.37)
se obtiene la ecuacin
i}
J
Jt
[d =
_

}
2
2:
0

\
2
\
_
[d. (2.38)
la cual es la ecuacin de Schrodinger en su forma usual.
9
3. Mecnica Cuntica en una signatura (2 + 2)
En el captulo anterior se hizo la derivacin de la ecuacin de Schrdinger a travs
del formalismo Hamiltoniano con constricciones de Dirac [15]-[18]. En el desarrollo
Euclideano, el tiempo t se consider como una variable dinmica: esto es t es considerado
como funcin de un parmetro rbitrario t. El mismo procedimiento se aplicar en este
captulo para el caso Lorentziano.
En el proceso se ve que, con una signatura (2 2), la constriccin (2.21) se generaliza
en la forma
1
0

1
o
1
o
2:
0
\ (r
i
) = 0.
en donde ahora los ndices c, /, etc. se suben y bajan con la mtrica Minkowski j
ob
=
dicq(1. 1. 1). Obsrvese que se considera la transicin o
i)
j
ob
. Ntese adems que
se considera el caso en el que \ (r
i
) no depende de ` r
i
. Esto permitir derivar ecuaciones
tipo Schrdinger, Klein-Gordon y Dirac asociadas a una signatura (2 2).
3.1. Ecuacin tipo Schrdinger en (2 2)-dimensiones
Se considera un Lagrangiano de la siguiente forma:
1 =
1
2
:
0
dr
o
dt
dr
b
dt
j
ob
\. (3.1)
Aqu los ndices latinos c. / toman valores de 1 a 3 y la mtrica plana j
ob
tiene la forma
j
ob
= dicq(1. 1. 1). Al introducir un parmetro t, de manera que r
0
= t = t(t). La
accin o =
_
dt1 asociada con (3.1) se transforma como sigue
o[r[ =
_
dt
_
1
2
:
0
(
dr
0
dt
)
1
dr
o
dt
dr
b
dt
j
ob

dr
0
dt
\
_
. (3.2)
en donde se utiliz la regla de la cadena dr
0
=
oa
0
ot
dt y
oa
a
oa
0
= (
oa
0
ot
)
1 oa
a
ot
. La accin
(3.2) permite denir un nuevo Lagrangiano,
10
/ =
1
2
:
0
(
dr
0
dt
)
1
dr
o
dt
dr
b
dt
j
ob

dr
0
dt
\. (3.3)
Los momentos asociados con / se denen como
1
0
=
J/
J(
0a
0
0t
)
=
1
2
:
0
(
dr
0
dt
)
2
dr
o
dt
dr
b
dt
j
ob
\ (3.4)
y
1
o
=
J/
J(
0a
a
0t
)
= :
0
(
dr
0
dt
)
1
dr
o
dt
. (3.5)
Mientras tanto, el Hamiltoniano cannico es
H
c
=
dr
0
dt
1
0

dr
o
dt
1
b
j
ob
/. (3.6)
Se puede demostrar directamente utilizando (3.3), (3.4) y (3.5) que Hamiltoniano H
c
es identicamente igual cero.
Tambin se puede vericar directamente de (3.4) y (3.5) que los momento cannicos 1
0
y 1
o
estn relacionados por la constriccin de primera clase
1
0

1
o
1
b
j
ob
2:
0
\ = 0. (3.7)
La constriccin (3.7) sugiere proponer un nuevo Lagrangiano de primera clase
/
1
= ` r
o
1
o
`(1
0

1
o
1
b
j
ob
2:
0
\ ). (3.8)
donde ` denota un multiplicador de Lagrange. Al variar /
1
con respecto a ` obtenemos
precisamente la constriccin (3.7). Resulta conveniente introducir la denicin
H =1
0

1
o
1
b
j
ob
2:
0
\. (3.9)
Aqu H se puede identicar con un nuevo Hamiltoniano.
Los estados fsicos [d se obtienen al promover H

H, de tal forma que se satisfaga

la ecuacin

H[d = 0 =[

1
0


1
o

1
o
2:
0
\ [[d = 0. (3.10)
11
Aqu

1
0
y

1
o
son operadores que en la representacin de coordenadas tienen la forma

1
0
= i~
J
Jr
0
(3.11)
y

1
o
= i~
J
Jr
o
. (3.12)
Al sustituir (3.11) y (3.12) en (3.10) se obtiene
[i~
J
Jr
0

~
2
2:
0
j
ob
J
Jr
o
J
Jr
b
\ [ = 0. (3.13)
donde = (r
0
. r
o
) = r
o
[d. Renombrando las variables r
1
= n. r
2
= r y r
3
= , y
adems deniendo
\
2
=
J
2
Jr
2

J
2
J
2
. (3.14)
se encuentra que (3.13) se puede identicar como una ecuacin anloga a la de Schrdinger,
pero para una signatura de (2 2)-dimensiones, a saber
i~
J
Jt
=
_

~
2
2:
0
_

J
2
Jn
2
\
2
_
\
_
. (3.15)
A partir de (3.15) se pueden tener diferentes aplicaciones dependiendo del potencial
que se elija. En particular resulta interesante encontrar los estados fsicos correspon-
dientes a un potencial de oscilador armnico en (2 2)-dimensiones y compararlos con
los resultados de la mecnica cuntica tradicional.
3.1.1. Oscilador armnico en (2 2)-dimensiones
Considrese el siguiente potencial
\ =
c
2
(r
2
n
2
). (3.16)
Aqu c es una constante anloga a / = :.
2
para un oscilador armnico usual. Susti-
tuyendo (3.16) en (3.15) se obtiene:
i~
J
Jt
=
~
2
2:
0
_

J
2
Jn
2
\
2
_

c
2
(r
2
n
2
). (3.17)
12
Dada la forma del potencial (3.16) se puede elegir \
2

0
2
0a
2
.
Si se propone que la funcin de estado asociada a (3.17) (t. n. r) sea separable en la
forma
(t. n. r) = (t)j(n),(r). (3.18)
Al sustituir (3.18) en (3.17) se obtiene
i}
(t)
d
dt
(t) =
1
,(r)
_

}
2
2:
0
d
2
dr
2
cr
2
_
,(r)
1
j(n)
_
}
2
2:
0
d
2
dn
2
cn
2
_
j(n). (3.19)
Se nota que mientras el lado izquierdo depende del tiempo t el lado derecho no depende
de esta coordenada. De tal suerte que para que (3.19) sea consistente debemos tener
i}
(t)
d
dt
(t) = 1. (3.20)
donde 1 es una constante. Una solucin particular de (3.20) es
(t) = c
iEt
}
(3.21)
La ecuacion (3.19) resulta
1 =
1
,(r)
_

}
2
2:
0
d
2
dr
2

c
2
r
2
_
,(r)
1
j(n)
_
}
2
2:
0
d
2
dn
2

c
2
n
2
_
j(n). (3.22)
A partir de aqu se puede seguir un procedimiento similar al caso del oscilador armnico
usual. No es difcil ver de (3.22) que la regla de cuantizacin usual
1
a
= }.(:
1
2
). (3.23)
se generaliza en la forma
1
a
= }
_
(:
a

1
2
) (:
&

1
2
)
_
. (3.24)
donde
2
=
o
n
0
. Aqu :. :
a
y :
&
son enteros positivos. Es interesante comparar este
resultado con la expresin usual de cuantizacin de la energa del oscilador armnico
isotrpico en un plano
13
1
a
= }.
_
(:
a

1
2
) (:
j

1
2
)
_
. (3.25)
Se nota una diferencia importante entre (3.24) y (3.25). Mientras que en (3.24) la energa
del punto cero se anula, en la ecuacin (3.25) es diferente cero. Esto se puede entender
de dos formas diferentes. Primeramente, se puede pensar en un escenario de un campo
electromagntico uctuante. En este caso se tendra un numero innito de osciladores
y la ecuacin (3.24) podra ser til para evitar el problema de una energa innita
asociada al punto cero. Otra forma de entender tal resultado es asociar la formulacin
de (2 2)-dimensiones con un mundo a otras escalas. Por ejemplo, se podra pensar
en que dicho formalismo se aplica a escalas de de la longitud de Planck, tal como es el
caso de las supercuerdas. De hecho, cabe mencionar que ya se han estudiado relaciones
entre teoras (2 2) y supercuerdas [Ver Ref. [21] y [22].
3.2. Ecuaciones tipo Klein-Gordon y Dirac para (22)-dimensiones
Continuando con el sistema de constricciones Hamiltonianas ahora se considera el caso
de una partcula relativista, que se describe a partir de la accin
o = :
0
_
dt
_
` r
j
` r
i

ji
. (3.26)
En esta seccin utilizaremos la notacin ` r
j
=
o
ot
r
j
(t). La mtrica plana en este caso
es
ji
= dicq(1. 1. 1. 1). Partiendo del Lagrangiano asociado a (3.26), es decir,
/
1
= :
0
_
` r
j
` r
i

ji
_
12
. (3.27)
se obtienen los momentos cannicos a r
j
,
1
j
=
J/
1
J ` r
j
=
:
0
` r
i

ji
_
` r
c
` r
o

co
_
12
. (3.28)
De (3.28), se puede vericar la constriccin
H = 1
j
1
i

ji
:
2
0
= 0. (3.29)
14
donde
ji
= dicq(1. 1. 1. 1) es la mtrica inversa de
ji
. Si denimos el Hamiltoniano
cannico
H
c
= ` r
j
1
j
/
1
. (3.30)
vemos que la expresiones (3.27) y (3.28) implican que
H
c
= 0. (3.31)
De acuerdo con el formalismo con constricciones Hamiltonianas de Dirac, se puede
escribir el Hamiltoniano total como
H
T
= H
c
`H. (3.32)
donde ` es un multiplicador de Lagrange. Esto permite construir un Lagrangiano de
primer orden /
2
usando la constriccin (3.29) y teniendo en cuenta (3.31) y (3.32),
/
2
= ` r
j
1
j

`
2
(1
j
1
i

ji
:
2
0
). (3.33)
La constriccin (3.29) permitir derivar las ecuaciones de Klein-Gordon y Dirac en
(2 2)-dimensiones.
3.2.1. Ecuacin tipo Klein-Gordon
Escribiendo 1
j
1
i

ji
= 1
j
1
j
se ve que la constriccin (3.29) se puede reescribir en la
forma
1
j
1
j
:
2
0
= 0. (3.34)
Si en (3.34) se promueven los momentos 1
j
en trminos de operadores, es decir, 1
j

1
j
y se introduce un estado fsico [4, se obtiene que
(

1
j

1
j
:
2
0
)[4 = 0. (3.35)
En la representacin de coordenadas se tendra que

1
j
= i~
J
Jr
j
. (3.36)
15
As que al sustituir (3.36) en (3.35) se tiene
(~
2

ji
J
Jr
j
J
Jr
i
:
2
0
)[4 = 0. (3.37)
Se reconoce en (3.37) la ecuacin tipo Klein-Gordon. Note que el usual operador
DAlembertiano
2
es dado en este caso por
ji 0
0a

0
0a

.
La ecuacin (3.37) puede ser generalizada introduciendo un potencial \ = \ (r
j
), en
donde r
j
= (t. n. r. ). Aqu, las coordenadas (t. n) corresponden a variables tipo tiempo
mientras que (r. ) son variables tipo espacio. As que (3.37) se puede reescribir en la
forma
~
2
[
J
2
Jt
2

J
2
Jn
2

J
2
Jr
2

J
2
J
2
:
2
0
[[4 \ [4 = 0. (3.38)
Obsrve que en este contexto, el trmino :
2
0
se puede absorber en el potencial \ . Sera
interesante considerar (3.38) para el caso anlogo de un potencial central
~
2
[
J
2
Jt
2

J
2
Jn
2

J
2
Jr
2

J
2
J
2
:
2
0
[[4
c
2
j
[4 = 0. (3.39)
donde j
2
= r
2

2
.
3.2.2. Ecuacin tipo Dirac
Ahora se parte de la constriccin (3.29) y se construira una ecuacin tipo Dirac. En
este caso se escribe 1
j
1
j
=1
j
1
i

ji
con
ji
= dicq(1. 1. 1. 1). La cantidad
ji
es
una mtrica plana en (2 2)-dimensiones con los ndices j y i corriendo de 1 a 4. As,
la expresin (3.29) se puede escribir en la forma:
[

1
1

1
1

1
2

1
2


1
3

1
3


1
4

1
4
:
2
0
[[4 = 0. (3.40)
Considrense matrices j
o
de 2 2 tales que
j
o
j
b
j
b
j
o
= 2j
ob
1. (3.41)
16
Aqu, recordamos que la mtrica plana j
ob
est dada por j
ob
= dicq(1. 1. 1).y que los
ndices c. /. ... toman valores en el conjunto 2. 3. 4. Utilizando (3.41) se ve que (3.40)
se transforma en
[(

1
1
j
o

1
o
)(

1
1
j
b

1
b
) :
2
0
[[4 = 0. (3.42)
Ntese que (3.42) se puede obtener cambiando los momentos 1
j
por operadores

1
j
e
introduciendo un estado fsico 4 en constriccin
(1
1
j
o
1
o
)(1
1
j
b
1
b
) :
2
0
= 0. (3.43)
Ahora se dene dos componentes espinoriales
4
1
= 4 (3.44)
y
4
1
=
1
:
0
(

1
1
j
b

1
b
)4
1
. (3.45)
De manera explcita (3.45) resulta en
(

1
1
j
b

1
b
)4
1
:
0
4
1
= 0. (3.46)
mientras que (3.42), (3.44) y (3.45) conducen a
(

1
1
j
o

1
o
)4
1
:
0
4
1
= 0. (3.47)
Estas dos ecuaciones pueden ser expresadas en una forma matricial
_
_
_
_
0 1
1 0
_
_
1
1

_
_
0 j
o
j
o
0
_
_
1
o

_
_
1 0
0 1
_
_
:
0
_
_
_
_
4
1
4
1
_
_
= 0. (3.48)
en donde 1 = dicq(1. 1) es la matriz identidad en dos dimensiones. Ms an, se puede
expresar (3.48) como
(I
j

1
j
:
0
)d = 0. (3.49)
Aqu, se ha realizado las siguientes identicaciones
17
d =
_
_
4
1
4
1
_
_
. (3.50)
I
1
=
_
_
0 1
1 0
_
_
. (3.51)
I
o
=
_
_
0 j
o
j
o
0
_
_
. (3.52)
Una representacin explcita de las matrices j
1
y j
o
en (3.41) es
j
1
=
_
_
1 0
0 1
_
_
j
2
=
_
_
0 1
1 0
_
_
j
3
=
_
_
1 0
0 1
_
_
j
4
=
_
_
0 1
1 0
_
_
.
(3.53)
Si de nuevo se realiza la asociacin

1
j
i}J
j
, la ecuacin (3.49) implica que
i}I
j
J
j
d :
0
d = 0. (3.54)
Reconocemos esta ecuacin como una ecuacin tipo Dirac para una signatura de (22)-
dimensiones.
A continuacin mostraremos que (3.49) tiene una importante simetra bajo el grupo de
transformaciones o1(2. R). Ntese primero que el determinante de cada una de las ma-
trices en (3.53) es distinto de 0. Esto sugiere relacionarlas con grupo general G1(2. R).
En efecto, las matrices (3.53) se pueden considerar una base para la construccin de
una matriz general ` de la siguiente manera:
` =
_
_
1
C 1
_
_
= j
1
c j
2
/ j
3
c j
4
d. (3.55)
en donde
c =
1
2
( 1). / =
1
2
(1 C).
c =
1
2
( 1). d =
1
2
(1 C).
(3.56)
18
con c. /. c. d R. Explcitamente se tiene
` =
_
_
c c / d
/ d c c
_
_
. (3.57)
En trminos generales vemos que oci(`) ,= 0, por lo que ` estar contenida en el grupo
de Lie G1(2. R). Si adems imponemos la condicin de que oci(`) = 1 la matriz `
pertenecer al grupo de Lie o1(2. R).
Es interesante mencionar que podemos reescribir j
o
en notacin tensorial como sigue:

i)
= j
2
. j
i)
= j
3
. `
i)
= j
4
.
(3.58)
Esta notacin se utiliz en la construccin de un modelo gravitacional en 2 dimensiones
(ver Ref. [23] para detalles).
Reescribiendo (3.46) y (3.47) respectivamente como sigue:

1(

1
1
j
2

1
2
j
3

1
3
j
4

1
4
)4
1


1:
0
4
1
= 0. (3.59)
y

1(

1
1
j
2

1
2
j
3

1
3
j
4

1
4
)4
1


1:
0
4
1
= 0. (3.60)
se ve que en (3.59) y (3.60) se tiene un desarrollo similar al hecho en (3.55). Esto
signica que las dos ecuaciones anteriores se pueden indenticar con el grupo o1(2. R).
En efecto, tomando en cuenta (3.53), se ve que (3.59) y (3.60) se pueden reescribir como
_
_

1
1


1
3

1
2


1
4

1
2


1
4

1
1

1
3
_
_
4
1


1:
0
4
1
= 0. (3.61)
y
_
_

1
1

1
3

1
2

1
4

1
2

1
4

1
1


1
3
_
_
4
1


1:
0
4
1
= 0. (3.62)
respectivamente. Si se aprecia bien, (3.61) es una matriz de momentos muy parecida
a la matriz general (3.57). De manera anloga, se puede identicar a las matrices de
19
momentos contenidas en la expresiones (3.61) y (3.62) con el grupo de simetra o1(2. R).
Esto sugiere introducir una nueva matriz de momentos

=
1
:
0
_
_

1
1

1
3
(

1
2


1
4
)
(

1
2


1
4
)

1
1
(

1
3
_
_
. (3.63)
Consecuentemente, las ecuaciones (3.61) y (3.62) resultan

T
+
4
1
4
1
= 0 (3.64)
y

4
1
4
1
= 0. (3.65)
respectivamente. Ntese que tomando en cuenta la constriccin (3.40) se tiene que
oci

T

4
1,1
= 4
1,1
(3.66)
Simblicamente se puede considerar que
oci

T

= 1 (3.67)
Pero esto signica que ambos

T
+
y

T

son elementos de o1(2. R) y por lo tanto la

ecuacin tipo Dirac (3.49) tiene una estructura asociada con el grupo o1(2. R)
+

o1(2. R)

. Esto se puede entender considerando el isomorsmo oC(2. 2) ~ o1(2. R)

o1(2. R).
Como se sabe la ecuacin de Dirac describe partculas de espn
1
2
masivas. Cuando
la masa corresponde a la masa del electrn entonces la ecuacin de Dirac determina
correctamente los aspectos cunticos del electrn. Por otro lado la ecuacin tipo Dirac
(3.54) correspondiente a un espacio de signatura de (22)-dimensiones tambin describe
partculas de espn 1/2 masivas. Pero la diferencia es que en este caso el estado d no
esta asociado con un espinor de Dirac como es el caso del electrn. En efecto, en (22)-
dimensiones d se puede identicar como un espinor de Majorana-Weyl, mientras en el
caso de Dirac d es un espinor de Majorana o es un espinor de Weyl, pero no ambos
simultneamente.
20
4. Teorema de Noether y fsica de 2 + 2 Dimen-
siones
En este captulo se revisar el teorema de Noether [24] para sistemas con constricciones
Hamiltonianas [15]-[18]. En particular se presenta un nuevo mtodo, propuesto en [34],
para demostrar que las transformaciones de norma son generadas por las cantidades
conservadas asociadas con las constricciones de primera clase. Para este propsito ser
til dar un breve repaso del formalismo Hamiltoniano con constricciones (ver (2.1)-(2.9))
presentado en el Captulo 1.
Considrese la accin de primer orden,
o[r. j: `
c
[ =
_
t
f
t
i
dt[ ` r
i
j
i
H
c
(r. j: t) `
c
(t)c
c
(r. j: t)[. (4.1)
donde ` r
i
=
o
ot
r
i
y c = 1. 2. . . . . :. Las funciones c
c
(r. j: t) son constricciones de primera
clase para el sistema dinmico. Aqu `
c
(t) son multiplicadores de Lagrange, los cuales
no son grados de libertad dinmicos, sino variables auxiliares que parametrizan los
grados de libertad de norma del sistema. Cabe mencionar que si se consideran a los
multiplicadores de Lagrange como variables dinmicas, entonces sus momentos canni-
cos asociados son constricciones de primera clase [16]. Vamos a suponer que en este
formalismo Hamiltoniano fundamental slo las constricciones de primera clase estn
involucradas. Estos desarrollos sern aplicados a la fsica de (2 2)-dimensiones, donde
veremos que la correspondiente accin se puede escribir de tal forma que se manieeste
la simetra oculta oj(2. R) o la o1(2. R) (Ver Refs. [25]-[30]).
4.1. Teorema de Noether y transformaciones de norma
Primeramente se reescribe la accin (4.1) de la forma
o[r. j: `
c
[ =
_
t
f
t
i
dt
_
` r
i
j
i
H
T

. (4.2)
donde
21
H
T
= H
c
(r. j: t) `
c
(t)c
c
(r. j: t) (4.3)
denota el Hamiltoniano total. El objetivo en esta seccin es analizar las consecuen-
cias de la aplicacin de las variaciones totales a la accin (4.2) usando las siguientes
transformaciones
ot = t
0
(t) t. (4.4)
o
-
r
i
= r
0i
(t
0
) r
i
(t) = or
i
` r
i
ot. (4.5)
o
-
j
i
= j
0
i
(t
0
) j
i
(t) = oj
i
` j
i
ot (4.6)
y
o
-
`
c
= `
0c
(t
0
) `
c
(t) = o`
c

`
`
c
ot. (4.7)
Aqu se ha denido or
i
= r
0i
(t) r
i
(t). Se tienen expresiones similares para oj
i
y o`
c
.
En analoga con (4.5) se considera ` r
i
como variable independiente, de manera que se
tiene
o
-
` r
i
= o ` r
i
r
i
ot. (4.8)
Es importante sealar que o ` r
i
=
o
ot
or
i
pero o
-
` r
i
,=
o
ot
o
-
r
i
.
La invariancia de la accin (4.2) bajo las variaciones totales (4.4)-(4.8) signica que
o
-
o =
_
t
f
t
i
dt
d
dt
o
-
A(r. j). (4.9)
donde A(r. j) es una funcin arbitraria.
Por otro lado, utilizando las transformaciones (4.4)-(4.8) se obtiene
o
-
o =
_
t
f
t
i
dto
-
[ ` r
i
j
i
H
T
[
_
t
f
t
i
dt
oct
ot
[ ` r
i
j
i
H
T
[
=
_
t
f
t
i
dt
o
ot
o
-
A(r. j).
(4.10)
Se puede demostrar que la expresin (4.10) conduce a
22
_
t
f
t
i
dt
_
d
dt
Q ` r
i
o
-
j
i
` j
i
o
-
r
i
ot
`
H
T
o
-
H
T
_
= 0. (4.11)
Aqu, la variable Q = Q(r. j: t) est denida como
Q = o
-
r
i
j
i
otH
T
o
-
A. (4.12)
En virtud de las deniciones de las variaciones totales (4.4)-(4.8), se encuentra que la
relacin (4.11) tambin se puede escribir como
_
t
f
t
i
dt
_
d
dt
Q ` r
i
oj
i
` j
i
or
i
oH
T
_
= 0. (4.13)
Se escribir (4.13) en la forma
1 = 0. (4.14)
donde
=
_
t
f
t
i
dt
d
dt
Q (4.15)
y
1 =
_
t
f
t
i
dt
_
` r
i
oj
i
` j
i
or
i
oH
T
_
. (4.16)
Las expresiones (4.14) y (4.13) ofrecen tres posibilidades diferentes:
(1) Si = 0 entonces (4.13) implica que 1 = 0.
(2) Si 1 = 0 entonces (4.13) implica que = 0.
(3) Si y 1 son distintas de cero, entonces = 1.
Los dos primeros casos son bien conocidos, pero el tercero parece haber pasado de-
sapercibido. Con el n de aclarar estas observaciones, se analiza brevemente cada uno
de estos tres casos. En el primer caso, se supone que la cantidad Q satisface la expresin
Q [
t
f
t
i
= 0. (4.17)
que es equivalente a decir que
_
t
f
t
i
dt
o
ot
Q = 0 o = 0, gracias a (4.15). As, para
variaciones arbitrarias, or
i
. oj
i
y o`
c
, (4.13) resulta
23
_
t
f
t
i
dt( ` r
i

J
Jj
i
H
T
)oj
i
(` j
i

J
Jr
i
H
T
)or
i
o`
c
c
c
= 0. (4.18)
As, se obtienen las ecuaciones de Hamilton
` r
i
=
J
Jj
i
H
T
= r
i
. H
T
. (4.19)
` j
i
=
J
Jr
i
H
T
= j
i
. H
T
(4.20)
y
c
c
= 0. (4.21)
Adems, se satisfacen los parntesis de Poisson usuales, dados en (2.5).
En el segundo caso, se supone que el sistema dinmico satisface las ecuaciones de
movimiento (4.19)-(4.21). Esto signica que de (4.18) se sigue 1 = 0. Por lo tanto
(4.13) implica que
_
dt
d
dt
Q = 0. (4.22)
Dado que por hiptesis el intervalo t
)
t
i
es arbitrario, a partir de (4.22) tenemos
o
ot
Q = 0. Por lo tanto, se encuentra que Q es una cantidad conservada.
La ltima posibilidad surge si se supone que ni (4.18), ni (4.22) se cumplen, es decir,
se supone que y 1 son diferentes de cero. Se demuestra que en este caso la expresin
(4.13) implica que Q es el generador de transformaciones cannicas. Para ello se debe
primero calcular
o
ot
Q. De la forma funcional Q = Q(r. j: t), se tiene que
d
dt
Q =
JQ
Jr
i
` r
i

JQ
Jj
i
` j
i

JQ
Jt
. (4.23)
As, para un intervalo arbitrario t
)
t
i
. (4.13) se convierte en
_
dt
_
JQ
Jr
i
` r
i

JQ
Jj
i
` j
i

JQ
Jt
` r
i
oj
i
` j
i
or
i
oH
T
_
= 0. (4.24)
24
Esta expresin se puede reescribir como
_
dt
__
JQ
Jr
i
oj
i
_
` r
i

_
JQ
Jj
i
or
i
_
` j
i

JQ
Jt
oH
T
_
= 0. (4.25)
o
_ __
JQ
Jr
i
oj
i
_
dr
i

_
JQ
Jj
i
or
i
_
dj
i

_
JQ
Jt
oH
T
_
dt
_
= 0. (4.26)
Si ahora se dene la cantidad
! =
_
JQ
Jr
i
oj
i
_
dr
i

_
JQ
Jj
i
or
i
_
dj
i

_
JQ
Jt
oH
T
_
dt. (4.27)
se observa que (4.26) da
_
! = 0. (4.28)
A partir de (4.27) se observa que ! puede admitir una interpretacin de una 1-forma.
Por lo tanto, bajo los supuestos habituales (4.28) se permite considerar que ! es una
forma exacta. Esto signica que
! = d,. (4.29)
donde , es una 0-forma arbitraria (ver Ref. [33] ).
Se supondr que , = ,(r. j). A partir de (4.26) y (4.27) se ve que
JQ
Jt
oH
T
= 0. (4.30)
Por lo tanto, teniendo en cuenta (4.30), se descubre que las expresiones (4.26) y (4.29)
implican
_
JQ
0
Jr
i
oj
i
_
dr
i

_
JQ
0
Jj
i
or
i
_
dj
i
= 0. (4.31)
donde
25
Q
0
= Q,. (4.32)
Puesto que dr
i
y dj
i
son bases 1-forma, se encuentra con que (4.31) implica
or
i
=
JQ
0
Jj
i
=
_
r
i
. Q
0
_
(4.33)
y
oj
i
=
JQ
0
Jr
i
= j
i
. Q
0
. (4.34)
Por lo tanto, se demuestra que para una funcin arbitraria ,, Q es el generador de
transformaciones cannicas.
Con el n de aclarar el signicado de la expresin (4.30), se investigan las consecuencias
de invariancias bajo transformaciones de norma. Es decir, se considera el caso particular
Q
0
=
c
(t)c
c
(r. j: t). (4.35)
donde las cantidades
c
(t) son parmetros innitesimales asociados con las constric-
ciones de primera clase c
c
(r. j: t). Dado que se trata slo con constricciones de primera
clase, se puede escribir (ver Refs. [16], [17] y [31])
H
c
. c
c
= \
o
c
c
o
(4.36)
y
_
c
c
. c
o
_
= C

co
c

. (4.37)
Aqu \
o
c
y C

co
son constantes de estructura. Entonces, (4.30) y (4.33)-(4.37) conducen
a
o`
c
c
c
=
_
`

o
\
c
o

o
`

C
c
o
_
c
c
. (4.38)
Teniendo en cuenta que las constricciones de primera clase c
c
(r. j: t) son funciones
independientes, se ve que (4.38) implica
o`
c
=
`

o
\
c
o

o
`

C
c
o
. (4.39)
26
Este es el resultado habitual asociado con las transformaciones de los multiplicadores
de Lagrange `
c
bajo transformaciones de norma generados por las constricciones de
primera clase c
c
(r. j: t) (vanse las referencias [17], [18] y [34]).
4.2. Teorema de Noether Hamiltoniano para Fsica de (2 2)-
dimensiones
La fsica de dos tiempos puede ser descrita por la accin (Vense las Refs. [25]-[30] y
[35])
o =
_
t
f
t
i
dt
_
1
2

ob
` r
j
o
r
i
b

ji
H(r
j
o
)
_
. (4.40)
donde
ji
es una mtrica plana cuya signatura ser revelada ms adelante. Hasta una
derivada total, esta accin es equivalente a la accin de primer orden
o =
_
t
f
t
i
dt ( ` r
j
j
j
H(r. j)) . (4.41)
La conexin entre (4.40) y (4.41) se establece identicando
r
j
= r
j
1
.
j
j
= r
j
2
.
(4.42)
Para una partcula puntual relativista, se elige H como,
H = `(j
j
j
j
:
2
0
) (4.43)
lo que implica H = `j
j
j
j
. para el caso sin masa.
Se sabe que el primer trmino en la accin (4.40) posee una invariancia oj(2. R) (o
o1(2. R)) [34]. Esta invariancia no se tiene en (4.43). Resulta que la eleccin ms simple
posible para que H mantenga la simetra oj(2. R) es
H =
1
2
`
ob
r
j
o
r
i
b

ji
. (4.44)
27
donde `
ob
= `
bo
es un multiplicador de Lagrange. Tambin se puede pensar en el caso
con masa
H =
1
2
`
ob
(r
j
o
r
i
b

ji
:
2
ob
). (4.45)
con :
2
11
= 1
2
, :
2
22
= :
2
0
y :
2
12
= 0. Pero se puede demostrar que el trmino de masa
:
2
ob
rompe la simetra o1(2. R). En el Captulo 5 se retomar este estudio y se analizar
ms a fondo la utilidad de tal simetra subyacente.
Al considerar (4.44) la accin (4.40) resulta
o =
_
t
f
t
i
dt
_
1
2

ob
` r
j
o
r
i
b

ji

1
2
`
ob
r
j
o
r
i
b

ji
_
. (4.46)
Variaciones arbitrarias de `
ob
en (4.46) conducen a la constriccin
c
ob
= r
j
o
r
i
b

ji
= 0. (4.47)
la cual se puede demostrar es de primera clase.
En trminos de la notacin (4.42) se encuentra que la expresin (4.47) conduce a (ver
Referencia [32])
r
j
r
j
= 0. (4.48)
r
j
j
j
= 0 (4.49)
y
j
j
j
j
= 0. (4.50)
Mientras que en el caso con masa (4.45), se obtiene
r
j
r
j
1
2
= 0. (4.51)
28
r
j
j
j
= 0 (4.52)
y
j
j
j
j
:
2
0
= 0. (4.53)
Un punto clave en la fsica de 2 2 -dimensiones viene de la observacin de que si
ji
corresponde a un solo tiempo, es decir, si
ji
tiene la signatura
ji
= dicq(1. 1. .... 1)
entonces de (4.48)-(4.53) se deduce que j
j
es paralelo a r
j
y por lo tanto el momento
angular
1
ji
= r
j
j
i
r
i
j
j
(4.54)
asociado con la simetra de Lorentz de (4.54) se anula. Por lo tanto, si se impone la
condicin 1
ji
,= 0 y las constricciones (4.48)-(4.53) se encuentra con que la signatura
de
ji
debe ser al menos de la forma
ji
= dicq(1. 1. 1. .... 1). En otras palabras,
solo con dos tiempos las constricciones (4.48)-(4.53) son consistentes con el requisito
1
ji
,= 0. En principio, se puede suponer que el nmero de tiempos es mayor que 2, pero
entonces no se tienen constricciones sucientes para eliminar todos los posibles grados
de libertad no fsicos (los llamados fantasmas).
Con estas observaciones en la mano, se procede a generalizar la accin (4.2) en la forma
o[r
j
o
: `[ =
_
t
f
t
i
dt
_
1
2

ob
` r
j
o
r
i
b

ji
H
T
_
. (4.55)
donde
H
T
= H(r
j
o
: t) `
bc
(t)c
bc
(r
j
o
: t). (4.56)
Se asume que c
bc
= c
cb
.
Teniendo en cuenta las transformaciones
29
ot = t
0
(t) t.
o
-
r
j
o
= r
0j
o
(t
0
) r
j
o
(t) = or
j
o
` r
j
o
ot.
o
-
`
ob
= `
0
ob
(t
0
) `
ob
(t) = o`
ob

`
`
ob
ot.
(4.57)
donde or
j
o
= r
0j
o
(t) r
j
o
(t) y una expresin similar para o`
ob
, la expresin para o
-
r
j
o
implica que
o
-
` r
j
o
= o ` r
j
o
r
j
o
ot. (4.58)
Se encuentra que la invariancia de la accin (4.55) bajo las transformaciones (4.57) da
como resultado
o
-
o =
_
t
f
t
i
dto
-
_
1
2

ob
` r
j
o
r
i
b

ji
H
T

_
t
f
t
i
dt
oct
ot
_
1
2

ob
` r
j
o
r
i
b

ji
H
T

=
_
t
f
t
i
dt
o
ot
o
-
A(r
j
o
: t).
(4.59)
donde A(r
j
o
: t) es una funcin arbitraria. No es difcil demostrar que esta variacin de
la accin o puede reducirse a la forma:
_
t
f
t
i
dt
o
ot
_
1
2

ob
o
-
r
j
o
r
i
b

ji
otH
T
o
-
A

ob
` r
j
o
or
i
b

ji
ot
`
H
T
o
-
H
T
= 0.
(4.60)
Si ahora denimos la variable Q = Q(r
j
o
: t) donde
Q =
1
2

ob
o
-
r
j
o
r
i
b

ji
otH
T
o
-
A. (4.61)
encontramos con que (4.60) se puede escribir como
_
t
f
t
i
dt
_
d
dt
Q
ob
` r
j
o
o
-
r
i
b

ji
ot
`
H
T
o
-
H
T
_
= 0. (4.62)
30
o
_
t
f
t
i
dt
_
d
dt
Q
ob
` r
j
o
or
i
b

ji
oH
T
_
= 0. (4.63)
Estas expresiones son, por supuesto, el anlogo de (4.11) y (4.13) respectivamente. Con-
secuentemente, se puede demostrar que Q es el generador de transformaciones canni-
cas.
Aplicando estos resultados a un espacio de (2 2)-dimensiones. En primer lugar ob-
servamos que en trminos de coordenadas r
j
o
, la denicin (2.5) para los parentesis de
Poisson se puede escribir como
,. q =
ob
J,
Jr
j
o
Jq
Jr
bj
. (4.64)
para toda funcin cannica ,(r
j
o
) y q(r
j
o
). As, encontramos
r
j
o
. r
i
b
=
ob
j
ji
. (4.65)
A partir de este resultado es sencillo comprobar que la constriccin c
ob
dada en (4.47)
resulta
c
ob
. c
co
= C
c)
obco
c
c)
. (4.66)
donde las constantes de estructura C
c)
obco
estn dadas por
C
c)
obco
=
1
2

oc
(o
c
b
o
)
o
o
c
o
o
)
b
)
oo
(o
c
b
o
)
c
o
c
c
o
)
b
)

bc
(o
c
o
o
)
o
o
c
o
o
)
o
)
bo
(o
c
o
o
)
c
o
c
c
o
)
o
).
(4.67)
La expresin (4.66) establece que la constriccin c
ob
es de hecho una constriccin de
primera clase.
Ahora, considrese
Q =
ob
(t)c
ob
. (4.68)
31
donde
ob
=
bo
son parmetros innitesimales. La variable Q debe ser relacionada
con transformaciones de norma, dependiendo de si las ecuaciones de movimiento se
satisfacen o no. De hecho, utilizando la frmula
or
j
o
= r
j
o
. Q (4.69)
y
o
-
H
T

J
Jt
Q = 0. (4.70)
cuando las ecuaciones de movimiento no se satisfacen, se obtiene que la constriccn c
ob
genera las transformaciones
or
j
o
=
ob

bc
r
j
c
(4.71)
y
o`
ob
=
ob

c)
`
co
C
ob
c)co
. (4.72)
Reconocemos en la expresin (4.71) la transformacin innitesimal relacionada con el
grupo oj(2. R)
~
= o1(2. R), asociada a su vez con el parmetro innitesimal .
c
o
=
ob

bc
.
Por lo tanto, se ha demostrado que si la variacin de los multiplicadores de Lagrange
o`
ob
viene dada por (4.72), entonces la accin (4.46) es invariante bajo la transforma-
cin de norma (4.71) de oj(2. R). El hecho notable es que esta invariancia oj(2. R)
para la accin (4.46) se genera por la cantidad conservada (4.68) correspondiente a la
constriccin de primera clase c
ob
.
32
5. Simetra o1(2. R) y el espacio fase geomtrico en
(2 + 2)-dimensiones
En este Captulo se formalizar la matemtica subyacente a los desarrollos del Captulo
4. Para ello se propone una estructura geomtrica alternativa para un espacio fase
arbitrario. Este enfoque se basa principalmente en una simetra oculta o1(2. R) que
acta sobre el espacio fase, cambiando las coordenadas por momentos y viceversa. Se
demuestra que tal simetra est implcita en cualquier estructura simplctica. Tambin
se demuestra la necesidad de tener por lo menos una coordenada espacial y una temporal
o de ser necesario dos de cada una para una teora basada en esta simetra.
5.1. Sistema Clsico Hamiltoniano o1(2. R)
Recientemente, se descubri que en la accin
o[r[ =
_
t
f
t
i
dt1(r
i
. ` r
i
). (5.1)
existe una invariancia oculta del tipo o1(2. R) - oj(2. R) - ol(1. 1) la cual permite
trabajar en un espacio fase cannico unicado de coordenadas y momentos.Se analizar
cmo surge tal invariancia o1(2. R). Recordando que el Hamiltoniano cannico puede
escribirse de la forma
H
c
(r. j) = ` r
i
j
i
1. (5.2)
se puede reescribir la accin (5.1) como
o[r. j[ =
_
t
f
t
i
dt( ` r
i
j
i
H
c
(r. j)). (5.3)
Esta accin se puede generalizar si se consideran : constricciones Hamiltonianas de
primera clase H

(r. j) t 0, con = 1. 2. ... :. Aqu el smbolo t signica dbil-

mente igual a cero (ver detalles en [16], [17], [31]). En efecto, en este caso la accin (5.3)
33
se puede generalizar de la siguiente manera
o[r. j[ =
_
t
f
t
i
dt( ` r
i
j
i
H
c
`

). (5.4)
donde `

son multiplicadores de Lagrange. La invariancia oculta o1(2. R) surge de la

siguiente manera. Considerando el cambio de notacin
r
i
1
= r
i
. (5.5)
y
r
i
2
= j
i
. (5.6)
As se unican las coordenadas de espacios y momentos en un mismo esquema. El
siguiente paso es volver a escribir (5.3) en trminos de r
i
o
(c = 1. 2) en lugar de r
i
y j
i
.
Se encuentra que, hasta una derivada total, la accin (5.3) se convierte en (ver Refs. [7]
y [25])
o =
_
t
f
t
i
dt
_
1
2

ob
` r
i
o
r
)
b
o
i)
H(r
i
o
)
_
. (5.7)
Aqu, el smbolo o
i)
denota una delta Kronecker, mientras que
ob
=
bo
es la densidad
antisimtrica invariante del grupo o1(2. R), con
12
= 1. Adems, se ha denido
H(r
i
o
) = H
c
`

. (5.8)
De hecho, el Hamiltoniano H(r
i
o
) en (5.7) es un Hamiltoniano total, de acuerdo a la
terminologa del formalismo con constricciones de Dirac [15] (ver tambin las Refs [16]
y [17]). Ntese que la simetra o1(2. R) oculta en (5.3) ahora se maniesta en el primer
trmino de (5.7). Por lo tanto, es natural que se requiera la misma simetra o1(2. R)
para el Hamiltoniano H(r
i
o
).
Considerando el Hamiltoniano habitual para una partcula puntual libre no relativista
H =
j
i
j
)
o
i)
2:
. (5.9)
donde i 1. 2. 3, se ve que de acuerdo con la notacin (5.5)-(5.6), se tendra que
34
H =
r
i
2
r
)
2
o
i)
2:
. (5.10)
Este Hamiltoniano no es invariante ante el grupo o1(2. R), lo que no cambia si se aade
un potencial \ (r) en (5.10). En suma, el Hamiltoniano de la forma H =
j
i
j
j
c
ij
2n
\ (r)
no admite una formulacin invariante o1(2. R). La misma conclusin se obtiene cuando
se tiene el caso de la constriccin Hamiltoniana relativista H = j
i
j
i
:
2
= 0, donde
el ndice i corre de 0 a 4.
El ejemplo ms simple de Hamiltoniano bajo invariancia o1(2. R) es
H =
1
2
`
ob
r
i
o
r
)
b
j
i)
. (5.11)
que puede ser entendido como el Hamiltoniano asociado con un oscilador armnico en
el espacio fase relativista. En este caso, se supondra que `
ob
= `
bo
es un multiplicador
de Lagrange y j
i)
= dicq(1. 1. .... 1. 1...). Obsrvese que se est considerando una
signatura de tipo j = t:, en donde t y : denotan el nmero de variables tipo temporal
y tipo espacial, respectivamente. La razn de esta eleccin es que la simetra de o1(2. R)
requiere necesariamente t = 1 y : = 1 o t _ 2 y : _ 2 (ver Ref. [35]). Una demostracin
de este hecho se puede visualizar de la siguiente manera. Utilizando (5.11) se ve que
(5.7) se puede escribir en forma
o =
1
2
_
t
f
t
i
dt
_

ob
` r
i
o
r
)
b
o
i)
`
ob
H
ob
_
. (5.12)
donde
H
ob
= r
i
o
r
)
b
j
i)
. (5.13)
Por supuesto, H
ob
t 0 es la constriccin de primera clase que se est asumiendo en la
teora. Obsrvese que la constriccin H
ob
t 0 es simtrica en los indices c y / esto es,
H
ob
= H
bo
.
Usando las deniciones (5.5) y (5.6), se puede escribir el parntesis de Poisson para las
funciones arbitrarias ,(r. j) y q(r. j) de las variables cannicas r y j,
35
,. q =
J,
Jr
i
Jq
Jj
i

J,
Jj
i
Jq
Jr
i
. (5.14)
en la forma
,. q =
ob
j
i)
J,
Jr
i
o
Jq
Jr
)
b
. (5.15)
As, a partir de (5.15)
r
i
o
. r
)
b
=
ob
j
i)
. (5.16)
la cual es equivalente al lgebra del capitulo 2 dada por (2.6)-(2.8) [15]-[17].
Ahora, usando (5.16) es sencillo calcular el lgebra o1(2. R) parar
i
o
r
)
b
j
i)
. r
I
c
r
|
o
j
I|
y
para H
ob
. Explcitamente, nos encontramos con que
r
i
o
r
)
b
j
i)
. r
I
c
r
|
o
j
I|
=
= (r
i
o
. r
I
c
r
)
b
r
|
o
r
i
o
. r
|
o
r
)
b
r
I
c
r
)
b
. r
I
c
r
i
o
r
|
o
r
)
b
. r
|
o
r
i
o
r
I
c
)j
i)
j
I|
= (
oc
j
iI
r
)
b
r
|
o

oo
j
i|
r
)
b
r
I
c

bc
j
)I
r
i
o
r
|
o

bo
j
)|
r
i
o
r
I
c
)j
i)
j
I|
.
(5.17)
Esto demuestra que r
i
o
r
)
b
j
i)
puede ser tambin entendido como el generador de norma
de la simetra o1(2. R). De hecho se puede obtener el lgebra [37]
H
ob
. H
co
=
oc
H
bo

oo
H
bc

bc
H
oo

bo
H
oc
. (5.18)
Por otro lado, mediante el lgebra (5.18) se obtienen los siguientes parntesis no nulos
H
11
. H
22
= 4H
12
. (5.19)
H
11
. H
12
= 2H
11
(5.20)
y
H
12
. H
22
= 2H
22
. (5.21)
36
Al escribir o
3
=
1
2
H
12
. o
1
=
1
4
(H
11
H
22
) y o
2
=
1
4
(H
11
H
22
) se encuentra que
o
1
. o
2
= o
3
. (5.22)
o
3
. o
1
= o
2
. (5.23)
y
o
2
. o
3
= o
3
. (5.24)
Se puede reescribir (5.22)-(5.24) de manera concisa como
o
j
. o
i
= c
ji
c
o
c
. (5.25)
Ms an, (5.25) tambin puede verse como el desarrollo
o
ji
. o
co
= j
jc
o
io
j
jo
o
ic
j
io
o
jc
j
ic
o
jo
. (5.26)
donde j
ji
= dicq(1. 1. 1). Adems, hemos denido las cantidades antisimtricas o
ji
=
o
ij
mediante o
j
=
1
2
c
jic
o
ic
, con c
123
= 1 y c
123
= 1. Esto es una manera de ver
que el lgebra o1(2. R) es equivalente al lgebra oC(1. 2). De hecho, o1(2. R) es una
doble cubierta de oC(1. 2).
5.2. Sistema cuntico Hamiltoniano o1(2. R)
Gracias a la identicacin que realiz Dirac de la mecnica cuntica tradicional, una
forma de lograr cuantizar una teora clsica de una manera directa sera realizar la iden-
ticacin de funciones ,(r. j) y q(r. j) con los operadores

,(r. j) y q(r. j), y al mismo
tiempo hacer la transicin ,. q
1
i}
[

,. q[. As como el Hamiltoniano cannico H
c
dic-
ta la dinmica del sistema en el caso clsico,

H
c
es el generador de la dinmica cuntica.
Retomando las notaciones usadas en el capitulo 2 (2.26)-(2.32), especcamente, ante
la transicin mencionada, las relaciones (2.6)-(2.8) se convierten en
[ r
i
. r
)
[ = 0. (5.27)
[ j
i
. j
)
[ = 0. (5.28)
37
[ r
i
. j
)
[ = i}o
i)
. (5.29)
La determinacin de los estados fsicos se realiza mediante la ecuacin de Schrdinger,

H
c
[d(t) = i}
J
Jt
[d(t). (5.30)
Si adems tenemos un sistema con : constricciones Hamiltonianas de primera clase
H

, tales constricciones se imponen a los estados fsicos mediante

[d(t) = 0. (5.31)
Desde la misma perspectiva, el espacio fase descrito por el hamiltoniano (5.11) se con-
vierte en

H =
1
2
`
ob
r
i
o
r
)
b
j
i)
. (5.32)
Deniendo

H
ob
= r
i
o
r
)
b
j
i)
(5.33)
se puede escribir (5.32) en la forma

H =
1
2
`
ob

H
ob
. (5.34)
De acuerdo con (5.16), los conmutadores bsicos para r
i
o
ahora satisfacen
[ r
i
o
. r
)
b
[ = i}
ob
j
i)
. (5.35)
Dado que en este caso no hay un Hamiltoniano cannico

H
c
, los estados fsicos [d(t)
slo son obtenidos como una solucin de

H
ob
[d(t) = 0. (5.36)
Las lgebras (5.18) y (5.25) se pueden reescribir como
[

H
ob
.

H
co
[ = i}(
oc

H
bo

oo

H
bc

bc

H
oo

bo

H
oc
) (5.37)
y
[

o
j
.

o
i
[ = i}c
ji
c
o
c
. (5.38)
38
respectivamente. La expresin (5.37) nos llevar al lgebra
[

H
11
.

H
22
[ = 4i}

H
12
. (5.39)
[

H
11
.

H
12
[ = 2i}

H
11
(5.40)
y
[

H
12
.

H
22
[ = 2i}

H
22
. (5.41)
Por otro lado, la expresin (5.38) dar como resultado el lgebra
[

o
1
.

o
2
[ = i}

o
3
. (5.42)
[

o
3
.

o
1
[ = i}

o
2
(5.43)
y
[

o
2
.

o
3
[ = i}

o
1
. (5.44)
Las lgebras (5.39 - 5.41) y (5.42 - 5.44) estn relacionadas por medio de

o
1
=
1
4
(

H
11

H
22
),

o
2
=
1
4
(

H
11

H
22
) y

o
3
=
1
2

H
12
.
Por otro lado, si considerando las matrices de Pauli
o
1
=
_
_
0 1
1 0
_
_
.
o
2
=
_
_
0 i
i 0
_
_
.
o
3
=
_
_
1 0
0 1
_
_
.
(5.45)
y adems tomando en cuenta las expresiones

1
1
=
1
2
o
1
.

1
2
=
1
2
o
2
y

1
3
=
1
2
o
3
, se
obtiene el lgebra
[

1
1
.

1
2
[ = i}

1
3
. (5.46)
[

1
3
.

1
1
[ = i}

1
2
(5.47)
39
y
[

1
2
.

1
3
[ = i}

1
1
. (5.48)
Estas relaciones de conmutacin dieren del lgebra (5.42 - 5.44) solamente en el signo
de (5.44) y (5.48). Esto sugiere representar a

o
i
en la forma

o
1
=
1
2
o
1
. (5.49)

o
2
=
i
2
o
2
(5.50)
y

o
3
=
i
2
o
3
. (5.51)
Estas expresiones tambin permiten escribir una representacin para

H
ob
. De hecho,
considerando

H
11
= 2(

o
1


o
2
). (5.52)

H
22
= 2(

o
1

o
2
) (5.53)
y

H
12
= 2

o
3
. (5.54)
Se tiene que

H
11
= o
1
io
2
. (5.55)

H
22
= o
1
io
2
. (5.56)
y

H
12
= io
3
. (5.57)
Vale la pena mencionar que exactamente la misma lgebra (5.42 - 5.44) corresponde a
las lgebras o1(2. R). oC(1. 2). ol(1. 1) y o1(2). De hecho o1(2. R). ol(1. 1) y o1(2).
son una doble cubierta isomorfa a oC(1. 2).
40
5.3. Espacio Fase Simplctico o1(2. R)
Ahora se va establecer la correspondencia entre la estructura habitual simplctica y la
estructura simplctica o1(2. R), descrita por las ecuaciones (5.15) y (5.16). Tradicional-
mente, se considera un espacio fase en R
2a
de coordenadas Q
1
= (r
1
. r
2
. .... r
a
. j
1
. j
2
. .... j
a
).
Con esta notacin, el parntesis de Poisson (5.14) se convierte en
,. q = J
1J
J,
JQ
1
Jq
JQ
J
. (5.58)
donde
J
1J
=
_
_
0 1
1 0
_
_
. (5.59)
Aqu 1 denota la matriz unitaria . La matriz J
1J
es una matriz antisimtrica no dege-
nerada de orden 2:2:, con J
1J
= J
J1
y oci J
1J
,= 0. Resulta que por las operaciones
con matrices elementales se puede transformar (5.59) a la forma
J
1J

_
_
_
_
_
_
_
_
_
_
_
_
_
_
J
ob
0 ... 0 ... 0
... J
ob
... 0 ... 0
0 0 . 0 ... .
. . . . ... .
. . . . . .
0 . . . 0 J
ob
_
_
_
_
_
_
_
_
_
_
_
_
_
_
. (5.60)
donde J
ob
=
ob
. De hecho, esto es equivalente a escribir las coordenadas r
1
. r
2
. .... r
a
. j
1
. j
2
. .... j
a
en una ordenacin diferente de la forma r
1
. j
1
. r
2
. j
2
. .... r
a
. j
a
. Por lo tanto, se tiene la
transicin
J
1J
J
ob
o
i)
. (5.61)
Esto demuestra que (5.15) y (5.58) son estructuras simplcticas equivalentes. La prin-
cipal diferencia estriba en el hecho de que el grupo invariante o1(2. R) se pone de
maniesto en J
ob
j
i)
, mientras que en J
1J
no lo hace.
41
5.4. Estructura Simplctica o1(2. R) y Signatura (2 2)
Aplicando el procedimiento de Noether (5.1)-(5.25) a
o =
1
2
_
t
f
t
i
dt
_

ob
` r
i
o
r
)
b
o
i)
`
ob
H
ob
_
. (5.62)
se encuentra que el momento angular dado por
1
i)
= r
i
j
)
r
)
j
i
. (5.63)
o por
1
i)
=
ob
r
i
o
r
)
b
. (5.64)
es una variable dinmica conservada. Usando el lgebra
r
i
. r
)
= 0.
j
i
. j
)
= 0.
r
i
. j
)
= o
i
)
.
(5.65)
junto con (5.64), se puede demostrar que 1
i)
obedece al lgebra del grupo de Lorentz,
dado por
1
i)
. 1
I|
= j
iI
1
)|
j
i|
1
)I
j
)|
1
iI
j
)I
1
i|
. (5.66)
Mediante el uso de (5.16) y (5.64) se llega a este mismo resultado. Ahora se puede
escribir y probar la siguiente proposicin:
Proposicin: Sea (t :) la signatura de una mtrica plana j
i)
asociada a un espacio
fase que puede ser descrito por medio de las coordenadas r
i
o
, las cuales determinan la
estructura simplctica o1(2. R) propuesta por el parntesis de Poisson (5.15) entonces,
slo en los casos t = 1 y : = 1 o t _ 2 y : _ 2 existen las coordenadas r
i
o
diferentes de
cero tal que
H
ob
= 0 (5.67)
y
1
i)
,= 0. (5.68)
42
Prueba: Considrese una estructura simplctica tipo o1(2. R) como en (5.15). Para el
smbolo j
i)
se supondr el caso general de la signatura tipo (t :) correspondiente a los
t-tiempos y :-espacios para las coordenadas r
i
. Primero se observa que explcitamente
(5.67) conduce a
r
i
r
)
j
i)
= 0. (5.69)
r
i
j
)
j
i)
= 0 (5.70)
y
j
i
j
)
j
i)
= 0. (5.71)
Por supuesto, una teora con t = 0 y : = 0 es irrelevante. As que se va a suponer que
t ,= 0 y : ,= 0. De (5.66) y (5.68) se encuentra que si t = 0 y : ,= 0. Es decir, si j
i)
es Euclideano se tendr que r
i
= 0 y j
i
= 0, respectivamente. De esta manera, se ha
descubierto que se necesita al menos un tiempo, con la propiedad t 0. Teniendo en
cuenta que se puede multiplicar (5.69)-(5.71) por un signo menos y por lo tanto este
cambia la signatura j
i)
de t : a : t. Esto signica que si se supone que t ,= 0 y : = 0
se obtiene como resultado que la teora debe tener al menos un espacio, es decir, : 0.
Entonces, juntando estos dos resultados se tendr una solucin consistente con (5.69) -
(5.71) si y slo si t _ 1 y : _ 1.
Se demostrar que el caso t = 1 y : = 1 es un caso excepcional de (5.69)-(5.71). En
este caso, las expresiones (5.69)-(5.71) se convierten en:
(r
1
)
2
(r
2
)
2
= 0. (5.72)
r
1
j
1
r
2
j
2
= 0 (5.73)
y
(j
1
)
2
(j
2
)
2
= 0. (5.74)
respectivamente. Se puede comprobar, utilizando (5.72) y (5.74) que (5.73) es una
identidad. As (5.72) y (5.74) no conducen a ninguna relacin entre r y j y, por lo
tanto, en este caso se cumple la condicin (5.68) para el momento angular. Queda por
43
explorar la consistencia cuando t = 1 y : _ 2 ( o t _ 2 y : = 1 debido a la libertad
de signo en (5.69)-(5.71)). Un resultado bien conocido es que cuando t = 1 y : _ 2 dos
vectores ortogonales tipo luz son necesariamente paralelos. En este caso se obtiene la
expresin r
i
= j
i
, que segn (5.63) implica que 1
i)
= 0. Esto contradice la hiptesis
(5.68). El mismo resultado puede, por supuesto, obtenerse si t _ 2 y : = 1. Por lo tanto,
se ha demostrado que (5.67) y (5.68) slo tiene sentido cuando t = 1 y : = 1 o cuando
t _ 2 y : _ 2. Por lo tanto, ya que (5.68) est relacionado con la simetra oC(t. :) se
puede concluir que una teora consistente o1(2. R) slo se puede obtener en los casos
oC(1. 1) o oC(t _ 2. : _ 2). Desde la perspectiva de que oC(2. 2) es una alternativa
mnima se ha demostrado que las signaturas (1 1) y (2 2) son excepcionales. En
resumen, imponiendo la simetra o1(2. R) y la simetra de Lorentz oC(t. :) en la funcin
de Lagrange
o =
1
2
_
t
f
t
i
dt
_

ob
` r
i
o
r
)
b
o
i)
`
ob
H
ob
_
. (5.75)
se ha conrmado la existencia de un elemento denominado r
i
o
, consistente con estas
simetras slo en las signaturas (1 1) y (t _ 2 : _ 2).
Se ha demostrado con algn detalle que la simetra o1(2. R) y la simetra de Lorentz
oC(t. :) implica que las signaturas (11) y (22) son excepcionales. Hay motivo para
relacionar estos resultados con diferentes escenarios en fsica. La signatura (1 1) se
relaciona con la teora de cuerdas. Pero qu ocurre con la signatura (2 2)?. Para
responder esta pregunta se presenta en el siguiente Captulo un mecanismo de cambio
de signatura que requiere el empleo de una accin del tipo (5.75).
44
6. Mecanismo de Cambio de Signatura
En este Captulo se estudia una transformacin de dualidad que abre la posibilidad
de cambiar signatura del espacio-tiempo para una partcula puntual, basndose en
una estructura simplectica o1(2. R) y en el Teorema de Noether para dos tiempos. Se
propone un mecanismo de cambio de signatura consistente en una transformacin de una
coordenada espacial por una temporal y viceversa.Especcamente, tal transformacin
permite trasladar de una signatura (2 2) a una (1 3). Una herramienta til en este
desarrollo es el concepto de dualidad. Cabe mencionar que el uso de dualidades se ha
presentado como una herramienta en la fsica de altas energas, permitiendo ver que
dos teoras aparentemente distintas en realidad forman parte de una teora ms amplia.
La dualidad se ha utilizado relacionando acoplamientos dbil con fuerte en teoras de
campos, inversin de radio en teora de cuerdas y otras generalizaciones (ver Ref. [10]
y los trabajos que ah citan).
Por otro lado, el amplio uso que se da a las teoras de norma permite reconocer la impor-
tancia que las simetras locales imponen en la fenomenologa de los campos dinmicos.
Sin embargo, lo anterior no disminuye en ningn sentido la importancia de considerar
las simetras globales que una teora tiene [12]. De manera pertinente a todo el anlisis
que se ha realizado en los captulos anteriores, en esta seccin se realiza una propuesta
de cambio de signatura. Las propuestas de otros autores involucran el anlisis de cam-
bio de topologa [6][7], sin hacer nfasis en las relaciones entre las teoras que pueden
formularse en este tipo de universos. En este caso se ver que ocurre precisamente lo
contrario, pues se visualiza el cambio de signatura como una transformacin de dualidad
(ver [8] y [9] para un ejemplo de este tipo de propuesta pero en teoras de cuerdas).
6.1. Lagrangiano para una partcula puntual en el espacio fase
Con el propsito de aclarar el desarrollo de este Captulo se considera una vez ms el
caso de una partcula puntual relativista en 1 dimensiones. Algunas de las ecuaciones
presentadas sern repetidas con la idea de permitir una mejor claridad en el tema.
45
Considrese la accin
o = :
0
_
dt
_
` r
j
` r
i
j
ji
. (6.1)
Aqu, los ndices griegos j. i. ... corren de 1 a 1, mientras que los ndices latinos i. ,. ...
corren de 2 a 1. La mtrica plana en este caso es j
ji
= dicq(1. 1. 1. ...). Partiendo de
la densidad de Lagrange asociada a (6.1), es decir,
/
1
= :
0
_
` r
j
` r
i
j
ji
. (6.2)
se pueden denir los momentos cannicos de r
j
como
1
j
=
J/
1
J ` r
j
=
:
0
` r
i
j
ji
_
` r
j
` r
i
j
ji
. (6.3)
De (6.3), se puede vericar la constriccin
c = 1
j
1
i
j
ji
:
2
0
= 0. (6.4)
Si se dene el Hamiltoniano cannico como
H
c
= ` r
j
1
i
j
ji
/
1
. (6.5)
se ve que las deniciones (6.2) y (6.3) implican la identidad
H
c
= 0. (6.6)
De acuerdo con el formalismo Hamiltoniano con constricciones de Dirac, se puede es-
cribir el Hamiltoniano total como
H
T
= H
c
`c. (6.7)
donde ` es un multiplicador de Lagrange. Teniendo en cuenta (6.7), se puede escribir
el Lagrangiano de primer orden
/
2
= ` r
j
1
j

`
2
(1
j
1
j
:
2
0
). (6.8)
46
Al realizar variaciones respecto a 1
j
, se obtiene
1
j
= `
1
` r
i
j
ji
. (6.9)
Sustituyendo esto en (6.8), da origen a una tercera forma de Lagrangiano:
/
3
=
1
2
_
`
1
` r
j
` r
i
j
ji
`:
2
0
_
. (6.10)
Cada una de las densidades de Lagrange (6.2), (6.8) y (6.10) puede servir para diferentes
propsitos, pero los dos ltimos son ms apropiados para el caso sin masa. Tomando
nota de que se puede volver a escribir /
2
de una manera equivalente hasta una derivada
total
d
dt
(
1
2
` r
j
1
j
)
/
0
2
=
1
2
_
( ` r
j
1
i
1
j
r
i
) j
ji
`(1
j
1
j
:
2
0
)

. (6.11)
Entonces se tiene que, mediante la denicin de las coordenadas y momentos tal como
se vio en el teorema de Noether para (2 2)-dimensiones (4.42) y en la estructura
simplctica o1(2. R) (5.5)-(5.6),
r
j
1
= r
j
.
r
j
2
= 1
j
.
(6.12)
se puede renombrar /
0
2
unicando las coordenadas y momentos como
/
0
2
=
1
2
_

ob
` r
j
o
r
j
b
j
ji
`(r
j
2
r
i
2
j
ji
:
2
0
)

. (6.13)
donde
ob
es el smbolo antisimtrico en dos dimensiones y donde c y / corren de 1 a 2.
6.2. Cambio de signatura.
Para el caso de masa cero se puede extender (6.13) con el n de tener una forma ms
simtrica en el Lagrangiano. Considrese la mtrica inducida q
ob
en lugar en lugar del
multiplicador de Lagrange `. Se propone la generalizacin de (6.13),
47
/
3
=
1
2
_
c
ob
` r
j
o
r
i
b
q
ob
r
j
o
r
i
b
_

ji
. (6.14)
donde c
ob
es el tensor de Levi-Civita en dos dimensiones, relacionadas con
ob
mediante
c
ob
=
_
q
1

ob
y c
ob
=
_
q
ob
. Los ndices c. / suben y bajan por medio de q
ob
y
su inversa q
ob
, que tienen un determinante negativo. Tambin,
ji
es la mtrica plana
de la variedad que, aunque en principio podra tener cualquier signatura, se escoger

ji
= dicq(1. 1. 1. .... 1), por razones que sern evidentes ms adelante.
Se generalizar la accin (6.14), de la forma siguiente
/
3
=
1
2
_
c
ob
` r
j
o
r
i
b
q
ob
r
j
o
r
i
b
_

ji

o
(r
1
o
c
b
o

1
b
). (6.15)
donde
o
es un vector arbitrario y
1b
denota genricamente a las coordenadas duales
para r
1
o
, como se vera posteriormente. Al hacer variaciones respecto a
o
, se obtiene de
la accin original (6.14), ya que implica que
r
1
o
= c
b
o

1b
. (6.16)
En cambio, si se sustituye ` r
1
o
= c
b
o
`
1
b
en (6.16), recordando que i. , corren de 2 a 1 y
j
i)
= dicq(1. 1. 1...), se obtiene
/
1
=
1
2
_
c
ob
c
c
o
c
o
b
`
1
c

1o
q
ob
c
c
o
c
o
b

1c

1o
_

1
2
_
c
ob
` r
i
o
r
)
b
q
ob
r
i
o
r
)
b
_
j
i)
. (6.17)
Teniendo en cuenta que c
ob
c
c
o
c
o
b
= c
co
y q
ob
c
c
o
c
o
b
= q
co
, manipulando el nombre de
los ndices se tiene que
/
1
=
1
2
_
c
ob
`
1
o

1b
q
ob

1o

1b
_

1
2
_
c
ob
` r
i
o
r
)
b
q
ob
r
i
o
r
)
b
_
j
i)
. (6.18)
Cambiando el nombre de las coordenadas r
i
o

i
o
, se encuentra el Lagrangiano dual a
(6.14)
/
1
=
1
2
_
c
ob
`
j
o

i
b
q
ob

j
o

i
b
_
j
ji
. (6.19)
donde j
ji
= dicq(1. 1. 1...) es la mtrica plana diagonal en 1 dimensiones. Se observa
que la transicin
ji
j
ji
ha supuesto un cambio de signatura.
48
7. Conclusiones
En este trabajo se desarrollaron diferentes formulaciones tericas para un escenario
espacio-temporal de (2 2)-dimensiones. Como punto de partida, se revis la formu-
lacin Hamiltoniana con constricciones para obtener las ecuaciones de campo correspon-
dientes a un espacio-tiempo de (1 3)-dimensiones. Tal formalismo permiti aplicar un
mtodo similar a los casos de las ecuaciones Schrdinger, Klein-Gordon y Dirac en
(2 2)-dimensiones. Despus de eso se ha explorado la relevancia de la ecuacin de
Schrdinger en (2 2)-dimensiones considerando el caso de un oscilador armnico. Se
propuso que los correspondientes valores de las energas abren la posibilidad de anular
la energa del punto cero. Aunque este resultado diere de un oscilador armnico en
(1 3)-dimensiones, se considera que aun as puede ser interesante para aplicaciones
en teoras de campo.
En el caso de la ecuacin de Dirac en (2 2)-dimensiones se resalt el surgimiento de
una simetra asociada al grupo o1(2. R), el cual es de suma importancia en teoras de
dos tiempos.
Con el propsito de investigar la posibilidad de intercambiar una coordenada espacial
por una temporal, y de esa manera obtener una relacin entre las signaturas (2 2)
y (1 3), se realiz una breve revisin del teorema de Noether. En este aspecto se
demostr que, partiendo de una formulacin Hamiltoniana con constricciones para una
particula puntual muy similar a la utilizada en fsica dos tiempos, es posible lograr tal
intercambio. Se argumenta que este resultado podra permitir encontrar soluciones a las
ecuaciones en (2 2)-dimensiones y mediante una tranformacin dual transferir tales
soluciones a (1 3)-dimensiones. Como contraste, se pueden ver ejemplos de dualidad
para supergravedad cuntica en (2 2)-dimensiones en los trabajos de Sezgin (Ver Ref.
[13] y [14]).
Para futuras investigaciones sera interesante relacionar el presente trabajo con va-
rios escenarios fsicos. En particular, considerando que el oscilador armnico es un
concepto fundamental en la mcanica cuntica tradicional, se puede ver muy atractivo
49
profundizar ms en el caso de (22)-dimensiones. Por ejemplo, sera motivante estudiar
las implicaciones que un oscilador armnico en (2 2)-dimensiones tendra en teora
cuntica de campos. As mismo, en el caso de la ecuacin de Dirac en (22)-dimensiones
sera de particular inters investigar su relacin con espacios curvos o de ms altas
dimensiones. Finalmente el intercambio de signatura de (22) a (1 3) podra resultar
de mucha relevancia en el estudio de modelos cosmolgicos.
50
Referencias
[1] S. L. Glashow, Grand Unication: Tomorrows Physics, New Sci. 87 869 (1980).
[2] T. Appelquist, A. Chodos and P. G. O. Freund (eds.), Modern Kaluza-Klein theo-
ries (Addison-Wesley, 1987).
[3] J. M. Overduin and P. S. Wesson, Kaluza-Klein Gravity, Phys. Rept. 283 303
(1997); gr-qc/9805018.
[4] M. J. Du, "Kaluza-Klein Theory in Perspective", Talk given at The Oskar Klein
Centenary Symposium, 19 (Sep 1994); hep-th/9410046.
[5] J. Polschinski, String Theory.Vol. 1 (Cambridge University Press, 2001).
[6] F. Embacher, Actions for signature change, Phys. Rev. D51 6764(1995); gr-
qc/9501004.
[7] T. Dray, G. Ellis, C. Hellaby, C. A. Manogue, Gravity and signature change, Gen.
Rel. Grav. 29 591 (1997); gr-qc/9610063.
[8] C. M. Hull, Duality and the Signature of Space-Time, JHEP 9811, 017 (1998);
hep-th/9807127.
[9] C. M. Hull and R. R. Khuri, Branes, Times and Duality, Nucl. Phys. B536, 219
(1998); arXiv: 9808069.
[10] E. Witten, Anti-de Sitter space and holography, Adv. Theor. Math. Phys. 2 253
(1998); hep-th/9802150.
[11] J. A. Nieto and Carlos Castro On time-dependent black holes and cosmological
models from a Kaluza Klein mechanism, Int. J. Mod. Phys. A24 1383 (2009).
[12] P. S. Joshi, Global Aspects in Gravitation and Cosmology, (Oxford Science Publi-
cations, 1993).
51
[13] E. Bergshoe and E. Sezgin, Self-Dual Supergravity Theories in 2 + 2 Dimensions,
June (1992); arXiv:hep-th/9206101v1.
[14] E. Sezgin, Is There a Stringy Description of Self-Dual Supergravity in 2 + 2 Di-
mensions? Feb (1996); arXiv: hep-th/9602099.
[15] P. A. M. Dirac, Lectures on Quantum Mechanics (Yeshiva UP, 1964).
[16] J. Govaerts, Hamiltonian Quantisation and Constrained Dynamics (Leuven Uni-
versity Press, 1991).
[17] M. Henneaux and C. Teitelboim, Quantization of Gauge Systems (Princeton Uni-
versity Press, 1992).
[18] A. Hanson, T. Regge and C. Teitelboim, Constrained Hamiltonian Systems (Ac-
cademia Nazionale dei Lincei, 1976).
[19] Cohen-Tannoudji, Quantum Mechanics vol. I and II (Collection Enseignement des
sciences, 1973).
[20] J. J. Sakurai Modern Quantum Mechanics (Addison-Wesley Publishing Company,
1994)
[21] J. A. Nieto The 2+2-Signature and the 1+1-Matrix-Brane Mod. Phys. Lett. A22
2453, (2007); hep-th/0606219
[22] J. Moat, Noncommutative Quantum Gravity, Phys. Lett. B 491, 345 (2000); hep-
th/0007181.
[23] J. A. Nieto, E. A. Leon 2D, Gravity with Torsion, Oriented Matroids and 2+2
Dimensions, Braz. J. Phys. 40 383 (2010); arXiv:0905.3543.
[24] A. E. Noether, Invariante variations problems, Nachr. Knig. Gesell. Wissen. Gt-
tingen, Math. Phys. 235 (1918).
52
[25] I. Bars, Survey of Two-Time Physics Class. Quant. Grav. 18 3113 (2001); hep-
th/0008164.
[26] I. Bars, U*(1,1) Noncommutative Gauge Theory As The Foundation of 2T-Physics
in Field Theory Phys. Rev. D64, 126001 (2001); hep-th/0106013.
[27] I. Bars and C. Deliduman, High Spin Gauge Fields and Two-Time Physics Phys.
Rev. D64, 045004 (2001); hep-th/0103042.
[28] I. Bars, Two-Time Physics in Field Theory Phys. Rev. D62, 046007 (2000); hep-
th/0003100.
[29] I. Bars, Two-Time Physics with gravitational and gauge eld backgrounds Phys.
Rev. D62, 085015 (2000); hep-th/0002140.
[30] I. Bars and S. Rey, Noncommutative Sp(2,R) Gauge Theories - A Field Theory
Approach to Two-Time Physics, Phys. Rev. D64, 046005 (2001); hep-th/0104135.
[31] M. Henneaux, Hamiltonian Form of the Path Integral for Theories with a Gauge
Freedom, Phys. Rep. 126, 1 (1985).
[32] J. M. Romero and A. Zamora, Snyder noncommutative space-time from two-time
physics Phys. Rev. D 70, 105006 (2004); hep-th/0408193.
[33] C. Nash and S. Sen, Topology and Geometry for Physicists, 311 ( New. York Aca-
demic Press, 1983).
[34] V. M. Villanueva, J. A. Nieto, L. Ruiz and J. Silvas, Hamiltonian Noether the-
orem for gauge systems and two time physics, J. Phys. A 38, 7183 (2005); hep-
th/0503093.
[35] J. A. Nieto, Are 1+1 and 2+2 exceptional signatures? Nuovo Cim. B 120, 135
(2005); hep-th/0410003.
53
[36] S. Hwang, No ghost theorem for SU(1,1) string theories Nucl. Phys. B 354, 100
(1991).
[37] J. A. Nieto SL(2,R)-Symmetry and Noncommutative Phase Space in (2+2) Di-
mensions Sep (2008); arXiv:0809.3429.
54