Gravedad cuantica de bucles

Alejandro David Erazo Guachamin1, a)

Escuela Politecnica Nacional, Facultad de Ciencias
Esta teora ve el espacio-tiempo no como un escenario pasivo en el que se mueven las partculas tal como
lo interpreta la mecanica cuantica, ni un continuo como lo ve la relatividad general, sino que interpreta que
el espacio y el tiempo tienen unas medidas mnimas en la escala de longitud tiempo de plank, y en esa
escala se entrelazan las diferentes dimensiones, incluido el tiempo, y la forma en que se unen determinan
las caractersticas fsicas de ese espacio tiempo, y de esta forma la fuerza de la gravedad. El espacio y el
tiempo son meras consecuencias de las leyes de la fsica. La teora gravitatoria cuantica de bucles puede ser
visualizada, como su nombre indica, como una malla de rizos.
Keywords: Palabras a usar

I. INTRODUCCION la gravedad, que han conducido a varios for-

La gravedad cuantica de bucles o (LQG)
por sus siglas en ingles surge como una po-
sible teora que trata de enmarcar la teora
cuantica que explica de manera exitosa cier-
tos sucesos que ocurren a nivel atomico, y la
relatividad general de Eisntein que explica de
forma casi correcta los sucesos macroscopi-
cos. EL problema de estas dos teoras ocurre
cuando matematicamente de desea describir
un evento fsico en la cual estas dos teoras
dejan de ser validas. La gravedad cuantica
es la hipotetica teora que combinara en un
unico esquema conceptual los principios de la
mecanica cuantica con la teora gravitatoria.
Desde los inicios de la mecanica cuantica, so-
bre los anos 20 del pasado siglo, los cientfi-
cos se han preguntado como se incorporan las
ideas cuanticas en la teora de la gravedad. A
da de hoy no hay una teora confirmada que
lo haya logrado.1
malismos tales como:
Teoria de Cuerdas/Supercuerdas
Supergravedad
Ecuacion de Wheeler-deWitt
Gravedad Cuantica de Lazos
Gravedad Cuantica Euclidea
Geometras no conmutativas
Teoras Twistor
Gravedad Discreta Lorentziana
Gravedad Inducida de Sakharov
Calculo de Regge
Metrica acustica y otros modelos analogos
de gravedad Si bien ha habido un progreso
considerable en la cuantizacion de la grave-
dad, no existe aun un consenso general en la
comunidad cientfica sobre la forma final que
tendra la Teora Cuantica de la Relatividad
General. Sin embargo, el estado de las inves-
tigaciones deja claro que no es posible formu-
lar una teora completa sin un cambio funda-
mental en la manera en que estamos acostum-
brados a pensar sobre el espacio-tiempo. To-
dos los formalismos propuestos sugieren que
la unidades de longitud y tiempo de Planck
definen una escala mnima y, ciertamente, se
puede llegar a la misma conclusion usando ar-
gumentos bastante generales que se basan en
el principio de incertidumbre de Heisenberg
aplicado al campo metrico de RG.2
Un poco mas de introduccion res-
pecto ala matematica

II. PROBLEMAS QUE DIFICULTAN LA UNIFICACION

Figura 1. Bucles
A lo largo de los anos ha habido numero-
sos intentos de crear una teora cuantica de
a) Electronic mail: alejandro.erazo@epn.edu.ec
La mayor dificultad que enfrenta la unificacion de RG
con mecanica cuantica es que los puntos de partida de
ambas teoras son radicalmente diferentes. Por un lado,
la idea fundamental de la RG es que modela a la grave-
dad como un espacio-tiempo cuya curvatura esta deter-
minada por la distribucion de masa, es decir, no hay un
espacio-tiempo de fondo fijo como sucede en la mecani-
ca Newtoniana o en relatividad especial; la geometra del

espacio es dinamica: la curvatura (el tensor de Einstein
en un miembro) es debida a la presencia de masa y otras
formas de energa (el tensor energa-impulso en el otro
miembro).
Por otro lado, la teora cuantica esta formulada des-
de el principio sobre una estructura de fondo fijo (no
dinamico). En particular, la Teora de Campos Cuanti-
ca (TCC) describe campos de partculas embebidos en
el espacio-tiempo plano de relatividad especial, mientras
que la Teora de Campos en espacios curvos, aunque no
es de caracter cuantico, ha probado que algunas de las
suposiciones de TCC no se pueden extender de manera
natural a RG.
un poco de expolicion sobre el problema de la
unificacion Inconsciencias
Inconsistencia por la reaccion de materia
No se puede ignorar en la geometra debido a la presen-
cia de materia, consecuencia de las ecuaciones de Eins-
tein:
1 Descripcion clasica
R Rg = T [g] (1)
2
Dado que la materia esta sujeta a los principios de la
mecanica cuantica, el tensor energa impulso T [g] debe
tratarse como operador. Una posibilidad es conservar una
geometra clasica manteniendo el caracter cuantico de la
materia reemplazando T [g] por su valor de expectacion
hTb []i en un estado de vaco de Minkowski.
Sin embargo, la solucion de esta ecuacion nos dara
g 6= , que debera reinsertarse en la definicion del valor
de expectacion de vaco, etc. El problema es que la ite-
racion resultante generalmente no converge y el procedi-
miento descripto es inconsistente. Conclusion: mantener
la geometra clasica no es posible y es necesario cuan-
tizar tambien el campo gravitatorio. Eso conduce a las
Ecuaciones de Einstein Cuantica.4
b 1 Rb
R bg = Tb [b
g]
2 ca) y el espacio de soluciones es suma-mente complejo de
A. Generalidades de Gravedad Cuantica de Bucles
En esta seccion nos concentramos en la teora de LQG
ya que los captulos siguientes y los resultados presenta-
dos estan basados en este formalismo matematico.
LQG es un intento de definir una teora matemati-
camente rigurosa, no perturbativa e independiente de
la metrica de fondo, de Gravedad Cuantica en cuatro
dimensiones y se trata de un enfoque infinitecimal, en
el sentido de que simplemente analiza las consecuencias
logicas de combinar los principios basicos de RG con los
de mecanica cuantica.
Mas especficamente, LQG provee un marco general
para teoras de campo invariantes ante difeomorfismos,
dentro del cual se incluye la cuantizacion de la teora
de RG de Einstein (contando con los formalismos tanto
canonicos como de integral de caminos).
2
mas informacion
III. FORMALISMO MATEMATICO TEMA
PROVICIONAL
Teora de Einstein-Maxwell
Presentaremos en esta seccion un repaso de la formula-
cion canonica de RG acoplada al campo electromagnetico
en variables que se basan en las variables de Ashtekar-
Barbero. El procedimiento de cuantizacion consiste en-
tonces en promover las variables de configuracion y los
momentos a operadores en un espacio de estados cuanti-
cos (espacio de Hilbert) sujetos a relaciones de conmu-
tacion analogas a los corchetes de Poisson clasicos La
teora descrita recibe el nombre de geometra cuantica y,
dentro de los principales resultados de este enfoque, en-
contramos operadores geometricos bien definidos con un
espectro discreto.
Partimos de un espacio-tiempo en el que introducimos
una foliacion de hiper-superficies espaciales. De este mo-
do, asumimos que la variedad M tiene topologa x R,
con una 3-variedad Riemanniana, en la que definimos
una co-triada eia La 3-metrica inducida esta dada enton-
ces por qba = ij eia ejb . Una eleccion natural de variables
canonicas para el sector de gravedad esta dada por los
campos (Kai , Ebj ) definidos por:
Kab = sgn[det(ejc )]Kia ej b ij (3)
1 abc
Eia =  ijk ejb ekc (4)
2
donde Kab es la curvatura extrinseca de .
Sin embargo, con esta eleccion del par conjugado
el vnculo Hamiltoniano (Hamiltoniano de Wheeler-
(2)
DeWitt) tiene una forma muy complicada (no polinomi-
obtener.
En un famoso trabajo de A. Ashtekar que sirvio de base
a innumerables investigaciones posteriores, se mostro que
esto es posible si se efectua una transformacion canonica
en el espacio de fase gravitacional.3
El espacio de configuracion clasico es el espacio cocien-
te A/G de ambas conexiones (modulo sus transformacio-
nes de gauge). Con esto queda completa la descripcion
del espacio de fase clasico de la teora.
Cuantizacion
Una vez definido el espacio de fase clasico estamos en
condiciones de introducir un esquema de cuantizacion. El
procedimiento canonico consiste en promover las varia-
bles de configuracion y los momentos conjugados a ope-
radores cuanticos en un espacio de Hilbert, e imponer
relaciones de conmutacion canonicas entre ellos. Como
primer paso en este esquema es necesario definir el es-
pacio de Hilbert sobre el que actuaran los operadores
asociados a cantidades fsicas.

Analisis semi-clasico
Cuantizar una teora significa, en terminos generales,
construir un homomorfismo (fmorfismo)de la forma:
 
  [., .] b
: M, {., .}, O, () H, [., .], , O, () (5)
i~
donde(M, {., .}) representa la variedad simplectica de
la teora clasica con corchete de Poisson {., .} que actua
sobre funciones complejas. Al promover estas funcio-
nes a operadores cuanticos el homomorfismo mapea
una subalgebra O C del algebra de Poisson en una
subalgebra O b del algebra de operadores lineales L(H) en
un espacio de Hilbert Hcon producto interno < ., . >, de
manera que los corchetes de Poisson pasan a ser conmu-
tadores y tomar complejo conjugado se traduce en tomar
el operador adjunto.
Un conjunto de estados |m imM H es semiclasico
para la subalgebra de operadores O b L(H) si, para todo
b c 0
par de operadores O, O O generico m M, satisface
b La unidad se puede expresar como expansion de los
las siguientes propiedades:
i) Valor de expectacion del operador centrado en el
valor clasico
3
naturaleza cuantica del espacio-tiempo, mientras que pa-
ra distancias mucho mayores que L se recupera la geo-
metra clasica.
La segunda propuesta de estados semiclasicos se basa
en la construccion de estados coherentes para GC, que
satisfacen todas las propiedades deseadas (i, ii y iii) as
como la minimizacion del principio de incertidumbre de
Heisemberg y la posibilidad de construir operadores crea-
cion y aniquilacion con los correspondientes teoremas de
Ehrenfest.
Cuantizar una teora significa, en terminos generales,
construir un homomorismo.
Estados Coherentes La idea es construir estados
coherentes para Gravedad Cuantica
Definicion: Un conjunto de estados {|m i}mM inH
se llama coherente para la subalgebra de operadores
Ob L(H) si para cada par O, b Oc0 Ob y cualquier ele-
mento generico de M se cumplen, ademas de i)-iii), las
siguientes propiedades: iv) Condicion de completitud
estados |m i segun
Z
IH = d(m)|m ihm |(9)
M
para alguna medida enM.
 
 h |O|
 m b mi

1 << 1

(6) Existencia del operador aniquilacion
 O(m)

 Existe un sistema completo formado por operadores
elementales gb (llamados de aniquilacion) tales que
ii) Propiedad de Ehrenfest

  gb|m i = g(m)|m i (10)

 h |[O,
 m b O c0 ]|m i 
1 << 1

(7) vi) Minima incertidumbre Para los operadores auto-
 i~{O(m), O0 }

 adjuntos definidos a partir de los operadores creacion y
aniquilacion de acuerdo a
iii)fluctuaciones pequenas
gb + gb
  x
b= (11)
2
 m c2 |m i
 h |O 
1 << 1 (8)

 2
gb gb
 h |O|
b mi 
m
yb = (12)
2i
Si se  cumple estas  tres propiedades se di-
el principio de incertidumbre de Heisenberg se minimi-
ce que M, {., .}, O, (, ) es el limite clasico de za
 
H, [., .], [.,.] b y los estados |m i son llama-
i~ , O, ()
1
h(b xim )2 im = h(b
x hb y im )2 im =
y hb |h[b
x, yb]im | (13)
dos estados semiclasicos de la teora cuantica. 2
Estados Semi-clasicos +++++ Regularizacion del operador Hamiltoniano
Los primeros estados propuestos describen un espacio +++++++
continuo sobre la hipersuperficie (cuya geometra esta El Hamiltoniano efectivo
determinada por la 3-metrica qab ) a escalas grandes com- Mas informacion
paradas con lp (longitud de planck), pero evidencian la
estructura cuantica del espacio a distancias del orden de
lp . Este tipo de estados reciben el nombre de estados IV. CONCLUCIONES
weave y seconstruyen considerando una coleccion de la-
zos circulares de dimensiones Planckianas orientados al REFERENCIAS
azar. Los estados weave tienen una longitud caractersti-
ca L (supuesta grande en comparacion con lp ) tal que, 1 Revistacientifica NAUKAS: http://naukas.com/2011/08/08/
para longitudes menores que L se pone de manifiesto la gravedad-cuantica-de-lazos-la-prima-fea-de-la-gravedad-cuantica/
 4

2 http://francis.naukas.com/2015/09/22/ 3 http://RealAshtekarvariablesforLorentziansignaturespace-timespdf
4 En este punto estas ecuaciones son puramente formales y para que
resena-un-primer-curso-en-gravedad-cuantica-de-lazos-por-gambini-y-pullin/
tengan sentido debe definirse el espacio de Hilbert apropiado.