Gravedad Canónica y Bucles

C. M. Barriuso, D. Borrajo, S. Quizhpi

Universidad Complutense de Madrid - Master de Fı́sica Teórica
Referencias
Si pudiésemos formular la Relatividad General (RG) como una teorı́a Yang-Mills, tendrı́amos a nuestra disposición un arsenal de técnicas ya conocidas
que nos permitirı́an abordar su cuantización de manera deseable. Este camino pasa por reformular la RG canónicamente, para lo cual recurriremos a su
formulación Hamiltoniana (3+1). Tratándose de un sistema ligado, deberemos encontrar unas variables canónicas que nos permitan expresar las ligaduras
de manera sencilla de cara a su promoción como operadores en espacios de Hilbert. Todo esto nos llevará a preferir formulaciones en las cuales las variables
fundamentales sean conexiones de espı́n y tétradas, en lugar de la métrica. Estas serán muy convenientes a la hora de pasar a la representación en bucles
de Wilson. Además de para cuantizar, las técnicas desarolladas también tienen aplicaciones clásicas importantes, por ejemplo en relatividad numérica.

Formalismo Hamiltoniano Variables de Ashtekar El formalismo de bucles

La relatividad General es la teorı́a donde la interacción gravitacional es La acción de Palatini provee una formulación simple de la RG 3+1 Vamos a introducir el formalismo necesario para poder cuantizar de
explicada por la deformación del espacio tiempo, teniendo la métrica basada en triadas y conexiones SO(3) en Σ, además sirve como intro- forma canónica la gravedad con las variables de Ashtekar que hemos
gab como su variable fundamental. La acción de la teorı́a es invariante ducción para la acción auto-dual. En lo que sigue los ı́ndices µ, ν, ... obtenido.
bajo difeomorfismos de la variedad espacio-tiempo y cambios de coor- se refieren a T M ; a, b, ... al espacio tangente a Σ; I, J, ... al grupo de
denadas, viene dada por: Lorentz interno e i, j, ... son ı́ndices de SO(3). Holonomı́as. Dada una conexión (o equivalentemente un cam-
Z Z
√ √ po vectorial) con simetrı́a gauge U (1), su circulación alrededor de una
S = d4x −gR(gab) + d4x −gLmatter (1) Tetradas. Sea una base ortonormal local (e0, e1, e2, e3) de curva cerrada γ(t) nos proporciona una cantidad invariante gauge. Por
µ
T M . Definimos la tetrada eI como las componentes de la base en el teorema de Stokes:
Las ecuaciones de Einstein serán las ecuaciones de movimiento: µ
un sistema de coordenadas local, eI = eI ∂µ. La métrica de M se Z Z
δS 1 δSmatter
= 0 : Rab − Rgab = ab
. escribe, gµν = eIµeJν ηIJ , donde ηIJ es la métrica de Minkowski y A · ds = (∇ × A) · n d2x;
δgab 2 δg
√ γ S
e = det eIµ = −g. Las tetradas nos permiten intercambiar los ı́ndi-
Formulación 3+1. Separamos el tiempo y el espacio para formu- ces I y µ: proporcionan un isomorfismo entre TpM y el espacio interno Para el término de la izquierda, notemos que una transformación gauge
lar la teorı́a de forma canónica. Este formalismo rompe la convarianza fijado. consiste en añadir el gradiente de un campo escalar cuya contribución
de las ecuaciones pero será retomada por ciertas relaciones que apa- a la integral consiste únicamente en evaluarla en sus extremos; pero si
recerán más tarde. Consideramos un espacio-tiempo M , con métrica Acción de Palatini. Las variables dinámicas serán tetradas eµI es una curva cerrada entonces esta contribución es idénticamente nula.
gab, de topologı́a 3Σ × R donde 3Σ es una superficie de tipo espacio y conexiones de Lorentz (o de espı́n) ωµIJ (el campo gauge generado por Para el término de la derecha, sabemos que el rotacional del campo
respecto a gab. Suponemos que 3Σ es una superficie de Cauchy, es de- transformaciones de Lorentz locales). Cuando pasemos a la descripción es proporcional al tensor electromagnético, que por supuesto es inva-
ij
cir, los conos de luz que emanen de ella abarcan todo su espaciotiempo 3+1, definiremos triadas Eia en Σ y consideraremos una conexión ωa riante gauge. Esto deja de ser cierto para una conexión no abeliana
futuro. Asociamos a la foliación el vector ta y una función del espacio- (el campo gauge generado por rotaciones locales, de ahı́ que hablemos como SU (2), entre otras cosas debido a los términos no lineales. Para
tiempo t de manera que las superficies de nivel coincidan con 3Σ y tal de SO(3)). La acción se construye, en ausencia de materia, expresando generalizar la noción de circulación vamos a recurrir al concepto de ho-
µ
que ta∂at = 1. Podemos interpretar este campo vectorial como el flujo (1) en función de las tetradas, donde R = eI eνJ Rµν IJ y sustituyendo lonomı́a: vamos a realizar un transporte paralelo de las variables
del tiempo a través de las hojas de la foliación. Introducimos el campo RµνIJ por ΩIJ , el tensor de curvatura asociado a la conexión de espı́n Eia a lo largo de la curva γ:
µν
vectorial unitario na normal a la foliación, que en combinación con gab ωµIJ = eIν (∂µeνJ + ΓνσµeσJ ) que nos dice como transportar objetos con
induce una métrica espacial en la sección tridimensional 3Σ tal que: ı́ndices internos. Z γ̇ a(t)DaE b = 0,
qab = gab + nanb. De esta manera podemos descomponer ta es sus µ
Sp(e, ω) = e eI eνJ ΩIJ
µν . (4) con E b := Eibσ i y Da la derivada covariante de Yang-Mills. Equivalen-
componentes normal y tangencial a 3Σ, M
temente:
ta = N n a + N a . Realizando la descomposición 3+1 y haciendo la transformación de
Legendre, se obtienen ligaduras que siguen sin ser polinómicas en las γ̇ a(t)∂aE b(t) = −ig γ̇ a(t)Aa(t)E b(t).
Llamamos al escalar N el lapso y al vector N a el desplazamiento variables canónicas, por tanto se pierde la semejanza con una teorı́a Dada una conexión y una curva, la solución única a esta ecuación puede
(o shift). Podemos escoger coordenadas (t, xi), en las que la métrica Yang-Mills y la posibilidad de cuantizar canónicamente. escribirse como
adopta la forma:
( Z t )
ds2 = −N adt2 + qij (dxi + N idt)(dxi + N j dt), Acción auto-dual. La idea es tomar conexiones de Lorentz
1 M N IJ E b(t) = P exp −ig γ̇ aAa(t)dt E b(0),
complejas AIJ µ auto-duales en los ı́ndices internos: 2 ǫIJ Aµ = 0
Una cantidad importante en la descripción canónica es la curvatura
extrı́nseca de la superficie 3Σ, que se define por: iAM N
µ . La acción auto-dual se escribe igual que en (4) pero sustitu-
yendo Ω por su parte auto-dual, que coincide con la curvatura de AIJ con P el producto ordenado por camino de las conexiones. Notemos que
µ .
Kab := qac qdb ∇cnd Al realizar la descomposición 3+1 la variable de configuración este operador, conocido como el propagador paralelo es en reali-
resultará ser la conexión AIJ IJ dad una matriz. Esto quiere decir que podemos asociarle una traza, que
La curvatura extrı́nseca mide el cambio de la métrica espacial a lo largo µ restringida a Σ, Aa . Para obtener el
de la congruencia definida por na, es decir, Kab = 12 L~nqab. Esencial- momento conjugado ΠaM N tomamos la parte auto-dual de la tria- vamos a denotar
( ( ))
mente Kab contiene la información sobre la derivada temporal de qab, da −iEIaǫIM N que aparece en la transformada de Legendre tras pro- Z t
µ
yectar eI a Σ mediante EIa = qbaebI . Donde ǫIJK = ǫIJKLnL, siendo Wγ [A] := Tr P exp −ig γ̇ aAa(t)dt . (5)
q̇ab := L~tqab = 2N Kab + LN~ qab. 0
nI = eνI nν el vector “interno” inducido por nµ, la normal a Σ. Resulta
Por tanto, estas variables parecen apropiadas para una formulación que el álgebra de Lorentz auto-dual es isomorfa al álgebra de SO(3)
canónica. En función suya la acción de Einstein-Hilbert se escri- Esta cantidad es un escalar auténtico y se le conoce como bucle de
complejizado: descomponemos el espacio interno en parte espacial y Wilson. Además, es invariante gauge, en virtud del teorema de
be, temporal, fijando nI = δI0 (gauge temporal), ası́ las transformaciones
Z Z Giles:
3 √ 3 ab 2
 de Lorentz internas se reducen a rotaciones espaciales internas (perpen-
S = dtL, L = d xN g R + KabK − K , Dada una variedad M y una conexión A, la información
diculares a nI ). Por tanto, y gracias a la auto-dualidad, las variables
de Ashtekar, quedan determinadas por Aia = iA0I a a invariante de gauge contenida en esta conexión puede
donde 3R es la curvatura intrı́nseca de qab y K := Kabq ab. Ahora a y Ei = Π0I .
Su corchete de Poisson es, reconstruirse a partir del bucle de Wilson a través de todas las
la acción tiene una forma tal que permite una formulación canónica. posibles curvas cerradas en M .
n o
Tomamos como variable de configuración la 3-métrica qab y cal- Aa(x), Ej (y) = iδab δji δ 3(x − y).
i b
culamos su momento conjugado:
Gravedad cuántica. Para finalizar vamos a tratar brevemen-
δL √ Para relaciones canónicas más complejas es difı́cil encontrar una repre- te la cuantización canónica de la relatividad general con las variables
π
eab := = q(K ab − Kq ab)
q̇ab sentación en espacio de Hilbert que convierta el corchete de Poisson en de Ashtekar. La geometrı́a viene dada por una función de onda de la
Las variables N y N a tienen momento conjugado nulo, esto implica un conmutador, de ahı́ la utilidad de estas variables. conexión Ψ[A]. También debemos promover las variables a operadores
que la formulación tiene ligaduras. Ası́, obtenemos el Hamiltoniano de Cabe resaltar, que las componentes auto-dual y antiauto-dual del que satisfagan
la teorı́a: álgebra de Lorentz se corresponden con las componentes zurda y dies-
Z " !# tra de un 4-espinor, por tanto, la conexión de Ashtekar nos dice cómo δΨ[A]
√ π
e 2 ÂiaΨ[A] = AiaΨ[A], ÊiaΨ[A] = −i ,
H(e π , q) = N − qR + q −1/2 π eabπ
eab − − 2N bDaπeba transportar paralelamente espinores zurdos por el espacio. δAia
3Σ 2
 
Ligaduras. El Hamiltoniano resultante es una combinación de la con la relación de conmutación canónica Âia(y), Êia(x) =
Donde π eabqab y Da es la derivada covariante compatible con qab.
e=π j
siguientes ligaduras (la traza es sobre los ı́ndices internos), iδbaδi δ (3)(x − y). La parte más complicada de la cuantización reside
en promover las ligaduras a operadores. En particular nos interesa la
Ligaduras. En la acción no aparecen las derivadas temporales Gi = DaEia = 0 (Gauss), ley de Gauss:
del lapso ni del shift, por lo que su momento conjugado es cero, lo que
Va = Tr E bFab = 0 (difeo. + gauge), δΨ[A]
implica la presencia de ligaduras, tenemos: Ĝ iΨ[A] = −iDa ,
Z Z ! H = Tr E aE bFab = 0 (Hamiltoniana), δAia
π
e 2
S = dt eabq̇ ab + N −qR + π
π eabπ
eab − − 2N bDaπ eab i es la curvatura asociada a la conexión de Ashtekar Ai .
que nos impone una restricción importante sobre las posibles funciones
3Σ ∼ 2 donde Fab a de onda que podemos tener: deben ser funciones invariantes de gauge
La primera refleja la libertad de elegir el sistema de referencia local de la conexión. Una opción para asegurar esta condición es trabajar en
Si variamos la acción respecto a N = q −1/2N y N b para obtener sus Euclı́deo definido por la triada y tiene exactamente la forma de una
∼ la representación de bucles: vamos a expandir la función de onda
respectivas ecuaciones de movimiento, obtenemos 4 expresiones, fun- ley de Gauss para una teorı́a Yang-Mills. La segunda está relacionada en la base de bucles de Wilson:
ciones de π
e y q, que deberı́an anularse idénticamente en cada sección con la invarianza ante difeomorfismos espaciales (siendo equivalente X
espacial: a (2) la combinación Va − AiaGi). La tercera expresa la invarianza ante Ψ[A] = Ψ[γ]Wγ [A], (6)
reparametrizaciones temporales (análoga a (3)). Como vemos, γ
ea(π, q) = 2Dbπ
C eb a = 0, (2)
2
todas ellas son polinómicas en las variables canónicas y cerradas
e q) = −e ab π
e bajo corchete de Poisson, lo cual hace que el formalismo sea apto para donde la suma se toma sobre todos los bucles cerrados posibles. En
H(π, qR + π
e π eab − = 0. (3)
2 la cuantización canónica. esta representación también se resuelve fácilmente la ligadura de difeo-
Estas ecuaciones tienen el mismo carácter que la ley de Gauss tiene morfismo si nuestras funciones son los invariantes de nudos: los bucles
para el electromagnetismo, como consecuencia de la invarianza U (1) de Condiciones de realidad. Dado que hemos tomado varia- pueden deformarse de manera infinitesimal y suave, pero el número de
las ecuaciones de Maxwell. Ası́ como la ley de Gauss es un generador bles dinámicas complejas, debemos imponer condiciones de realidad nudos o de enlaces entre ellos es un invariante topológico: si por ejemplo
infinitesimal de transformaciones Gauge, aquı́ la ligadura C ea es el ge- para recuperar la RG real. Basta con imponer que la métrica espacial hay un nudo entre dos bucles, el invariante de nudos es 1. Más general-
nerador infinitesimal de difeomorfismos espaciales. La ligadura H e esta y su derivada sean reales, lo cual se traduce en, mente, una colección de bucles genera una red de espines con estado
relacionada con la invarianza bajo reparametrizaciones temporales de h i ψs sobre el que podemos definir operadores geométricos de área
la teorı́a, y se puede ver que no es polinómica en las variables canóni- ab a bi (a
q = Ei E ∈ R y tr E Dc E , E ∈ R. |c| b) y de volumen con espectro discreto. La ligadura hamiltoniana por su
cas debido a la dependencia de R en la inversa de qab, esto supone un parte nos proporciona la evolución de la red de espines, pero su tra-
callejón sin salida a la hora de cuantizar canónicamente. Condiciones que no se ha probado que se satisfagan en general. tamiento es mucho más complicado y es uno de los problemas abiertos
de la gravedad cuántica de bucles.