Professional Documents
Culture Documents
Jorge Pullin
La gravedad cuntica de lazos es uno de los enfoques que se estn estudiando para aplicar las reglas de
la mecnica cuntica al campo gravitatorio descrito por la teora de la Relatividad General de Einstein.
Presentamos un resumen introductorio de las principales ideas y resultados recientes.
Freepik
D
e acuerdo a nuestro entender moderno, existen cua- fsica. Cuando el objeto central de una teora es la geometra
tro interacciones fundamentales en la naturaleza: misma, los puntos del espacio-tiempo son indistinguibles en-
fuerte, dbil, electromagntica y gravitatoria. Las tre s hasta que uno asigna una geometra dada, debido a que
interacciones fuertes, dbiles y electromagnticas no hay manera de identificar los puntos en la ausencia de una
son importantes en el dominio atmico y subatmico. Sabe- geometra. Esto indica que este tipo de teoras es invariante
mos que en dichos dominios es necesario apelar a la teora ante redistribuciones (continuas) de los puntos. Esto se co-
cuntica para tener una descripcin correcta de la natura- noce tcnicamente como invariancia ante difeomorfismos.
leza. La fuerza gravitatoria, por otro lado, es irrelevante a Y es lo que subyace latente al hecho de que las ecuaciones
nivel atmico y subatmico. La misma es importante a nivel de la Relatividad General sean invariantes ante cambios ge-
macroscpico, en particular a nivel astronmico. En dichas nerales de coordenadas. Nunca antes habamos confrontado
escalas la descripcin clsica parece ser suficiente. Es por la cuantizacion de teoras invariantes ante difeomorfismos.
ende lcito preguntarse: hace falta cuantizar la gravedad? La Slo en las ultimas dos dcadas se ha experimentado con
respuesta es afirmativa, dado que no sabemos cmo acoplar teoras de este tipo, pero con ejemplos mucho ms sencillos
en forma consistente teoras clsicas y cunticas. Como es en su dinmica que la de la Relatividad General.
bien sabido, la imagen de la realidad provista por la teora Aun ignorando estos asuntos conceptuales, existen proble-
cuntica es muy distinta de la clsica. En particular, existen mas prcticos para cuantizar la gravedad. Las dos tcnicas ms
propiedades de sistemas que no estn definidas hasta que importantes que se usaron para cuantizar las interacciones
uno mide el sistema. Eso dificulta acoplar sistemas clsicos electrodbil y fuerte, el uso de teora de perturbaciones y el
y cunticos. Para mayores detalles ver el articulo de Carlip uso de teora de campos en el retculo, no funcionan en el caso
(2008). de la gravedad. Los retculos chocan con la invariancia bajo
O sea, que no hay necesidad experimental de cuantizar la difeomorfismos, dado que introducen una estructura rgida
gravedad pero s necesidad conceptual. Eso sugerira que de- a priori que impide reasignar los puntos del espacio(tiempo).
bera ser muy fcil proponer teoras cunticas de la gravedad, El enfoque perturbativo se enfrenta al problema de que la
dado que no hay evidencia experimental que les imponga constante de acoplamiento de la gravedad no es adimensio-
restricciones. Sin embargo, no es as. Han probado ser muy nal sino que tiene dimensiones de longitud al cuadrado (las
difciles de construir. La razn de ello es que el entendimiento dimensiones de la constante de Newton en unidades natu-
moderno de la gravedad, provisto por la teora de la Relativi- rales donde =c=1). Cuando uno hace perturbaciones apa-
dad General de Einstein, indica que la gravedad no es en reali- recen diagramas de Feynman que involucran integrales en
dad una fuerza sino una deformacin del espacio-tiempo. En momento. Para mantener las expresiones dimensionalmente
esta concepcin, la Luna no desarrolla una orbita alrededor homogneas, la presencia de una constante de acoplamiento
de la Tierra porque acta sobre ella una fuerza, sino porque la dimensional implica que las sucesivas integrales en las poten-
presencia de la Tierra distorsiona el espacio-tiempo en su ve- cias de la constante de acoplamiento en la serie perturbativa
cindad y la trayectoria ms natural no es una lnea recta sino requieren potencias del momento cada vez ms altas en el
una orbita como la que se observa. La Relatividad General es numerador, lo que las hace progresivamente ms y ms di-
extremadamente exitosa experimentalmente. Roger Penrose vergentes. Las divergencias en teora cuntica de campos se
(1996) ha observado que la prediccin de la orbita del pulsar suelen eliminar redefiniendo las constantes de acoplamiento
binario PSR1913+16 es de una parte en 1014, lo cual cons- a travs del procedimiento conocido como renormalizacin.
tituye la prediccin terica confirmada experimentalmente Sin embargo, debido al progresivo deterioro de las integra-
con mayor precisin en toda la fsica. O sea, que es inevitable les en el caso de la gravedad, uno rpidamente se queda sin
tomar la teora muy en serio a la hora de su cuantizacion. constantes para absorber las divergencias. Se podran agregar
Esto es lo que hace el problema de la gravedad cuntica tan contratrminos en la accin para corregir la situacin, pero
nico. Nunca antes nos habamos enfrentado con la cuantiza- requerira el uso de un numero infinito de los mismos, lo que
cion de una geometra. Siempre se haba confrontado el cuan- hace que la teora no tenga poder predictivo. Se requeriran
tizar fuerzas entre partculas que viven en una geometra infinitos experimentos para determinar todos los trminos.
Estos problemas llegaron a un punto muerto timas son generalizaciones del electromagnetismo
hacia la dcada de los 70, que llev a dos pers- con mltiples campos y potenciales vectores que
pectivas sobre el problema. Una porcin de fsicos interactan entre s. A travs de la conexin con
considera que los problemas indican que la teora Yang-Mills que Ashtekar planteo para la gravedad
de Einstein no es fundamental sino una aproxima- se pueden usar funciones de lazo para describir
cin a bajas energas de una teora ms fundamen- los estados cunticos de la gravedad. Los primeros
tal y es esta ltima la que es renormalizable. Un en proponer representaciones cunticas de este
ejemplo de esto es provisto por la teora de Fermi tipo fueron Gambini y Trias (en esa poca en Vene-
de las interacciones dbiles que tambin es no re- zuela) para las teoras de Yang-Mills al comienzo
normalizable y que resulta ser una aproximacin de los 80 y para la gravedad en trminos de va-
de bajas energas de la teora electrodbil, que riables de Ashtekar por Rovelli y Smolin en 1988.
s lo es. Este grupo de fsicos ha estado tratando Pero nuevamente el lector podr preguntarse:
durante las ultimas cuatro dcadas de encontrar esto es otro cambio de variables, qu puede apor-
dicha teora subyacente. El ejemplo moderno ms tar conceptualmente? En s, nada. Pero cambios
acabado de este enfoque son las teoras de (super) de variables suelen ofrecer nuevas perspectivas
cuerdas. sobre problemas. En primer lugar, es de hacer no-
Otro grupo de fsicos considera que es prematu- tar que debido a la simetra de la teora bajo di-
ro abandonar la teora de Einstein, fundamental- feomorfismos uno necesita considerar funciones
mente debido a lo distinta que es a todas las otras de lazos que sean invariantes bajo deformaciones
interacciones. Se considera que hay que exami- continuas de los lazos. Este tipo de funciones est
nar con ms cuidado las tcnicas de cuantizacin. bien estudiada matemticamente, se conocen
Hay varios ejemplos de este enfoque, por ejemplo, como invariantes de nudos. En segundo lugar,
gente que considera que hay que hacer teora de Ashtekar y Lewandowski (1995) introdujeron un
perturbaciones de forma distinta, en el enfoque producto interno en este espacio, tornndolo un
llamado Asymptotic Safety. O el uso de teoras en espacio de Hilbert. El producto interno escrito en
el retculo distintas a las usuales llamadas Causal trminos de funciones de lazos es muy sencillo.
Dynamical Triangulations. O el uso de conjuntos Dos estados son ortogonales si sus lazos no se
parcialmente ordenados, Partial Ordered Sets. La pueden deformar continuamente uno al otro. Y
Gravedad Cuntica de Lazos forma tambin parte su producto interno es uno si lo son. Esto puede
de este grupo de enfoques. De ella nos ocupare- parecer increblemente sencillo, pero Ashtekar y
mos en este artculo. Lewandowski mostraron que si uno traduce de
La Gravedad Cuntica de Lazos ve su origen vuelta al lenguaje de potenciales vectores, esto
cuando Abhay Ashtekar (1986) not que se po- define una medida en dicho espacio (tcnicamente
da reescribir la teora de Einstein en trminos conocido como el espacio de conexiones mdulo
de variables similares a las que se usan para des- transformaciones de gauge). Dichas medidas, par-
cribir las teoras de Yang-Mills que describen la ticularmente como esta que est dada en forma
interaccin fuerte y la electrodbil. Inicialmente cerrada, son muy raras. Ms an, Lewandowski,
esto llev a una gran esperanza de que las tcnicas Okolow, Sahlmann, Thiemann e independiente-
usadas para cuantizar dichas teoras se podran mente Fleischhack (teorema conocido por sus
importar de esta manera a la Relatividad General. iniciales como LOST-F) (2006) probaron que dada
Pero como argumentamos antes, dicha teora es invariancia bajo difeomorfismos y otras condicio-
muy distinta a las otras teoras aun cuando uno la nes muy generales dicha medida de integracin es
reescriba en trminos de variables parecidas. Al nica. Esto puede sorprender, dado lo poco que
final no muchas tcnicas pudieron ser importadas, aparentemente se ha presupuesto, pero requerir
pero una s lo fue: el uso de variables de lazos. invariancia bajo difeomorfismos es un requisito
La mayora de los fsicos no est acostumbrado importante y determina la unicidad. Algo pareci-
a tratar con funciones de lazos, lo cual puede llevar do pasa en teora de campos ordinaria, donde en
a confusin. La manera mas sencilla de entender principio hay infinitos vacos inequivalentes pero
los lazos es pensar en el teorema de Stokes. El mis- si uno impone invariancia ante transformaciones
mo nos dice que si uno conoce la circulacin de de Poincar esencialmente hay un nico vaco.
un potencial vector (una funcin de lazo en el Todo esto no est exento de controversia. Dado
sentido que depende de una curva cerrada) uno que nunca se haban usado espacios como este
conoce el flujo magntico en las reas que tienen para estudiar teoras cunticas de campos, hay
al lazo como frontera. No es difcil convencerse gente que es escptica. Algunos argumentan que
de que si uno supiera el valor de la circulacin para el espacio considerado es demasiado discreto y
todos los lazos posibles, uno puede reconstruir el hacen la analoga con considerar la recta real con
campo magntico (simplemente tmense lazos una topologa en la cual dos puntos estn cerca
pequeos para los que el flujo es proporcional al slo si coinciden. En dicha topologa toda funcin
campo en un punto). Resulta que existen resulta- es continua. Algunos argumentan que quiz esa
dos similares para teoras de Yang-Mills. Estas l- es la razn por la que la gravedad cuntica de