Dejo una imagen que pueda aclarar un poco esto de las foliaciones, que es importante visualizarlo para entender la parte clásica de estas teorias:
Doy ahora también mas detalles de la descomposición de los vectores tangentes a cada foliacion en términos de los vectores lapso y desplazamiento, es decir, un vector arbitrario en el espaciotiempo de cuatro dimensiones (T), lo podemos descomponer del siguiente modo:
a) En cada punto de la hoja tridimensional definimos el vector ortogonal y unitario a la hoja (n). Y un vector tangente Sa
Así cualquier vector se puede descomponer en:
Donde N es la función Lapso, la que nos indica como pasamos de una hoja a otra y
(La notación difiere de la de la figura pero no es dificil reescribirla)
Voy a poner algunas expresiones explicitas de las fórmulas propias del formalismo ADM porque en la LQG aparecerán de distinta manera. Si alguien se marea con las fórmulas tranquilidad, que intentaré discutir el significado intuitivo de las mismas para que se pueda seguir la argumentación sin depender (demasiado) de ellas:
Aquí D es una diferencial covariante compatible con qab, la métrica en el slice (corte) M. Y los P´s son los momentos canónicos definidos por:
Esta es la ligadura de difeomorfismos espaciales. Representa la invariancia de teoría bajo cambios de coordenadas.
En términos de estas dos ligaduras el hamiltoniano queda:
Aquí los varios P´s que aparecen son los momentos conjugados a qab, N y Ua. Las λ son multiplicadores de Legendre que sirven para implementar las ligaduras (es algo similar a los multiplicadores de legendre que aparecen en problemas de minimización de funciones sometidas a una condición). Se puede ver que las Ua y N juegan también un papel cómo ligaduras. De hecho debo decir que esta fórmula esta tomada de uno de los reviews clásicos de la LQG, el de Thieman, y en este punto resulta algo confuso, la relación con formas mas habituales de este hamiltoninao puede verse del siguiente modo: lo que ocurre es que esas P's están relacionadas con las ligaduras C y V, de hecho son ellas mismas cambiadas de signo, con lo cual se eliminan del analisis efectuado sobre la base de las ligaduras de primera clase, y al final solo te queda el Hamiltoniano dependiendo de C y V, siendo la función lapso y el vector desplazamiento multiplicadores de Lagrange, y así se obtiene el Hamiltoniano empleado.
A modo de resumen rescato lo más importante de lo introducido en este formalismo. Tenemos las variables que juegan el papel de "coordenadas", las qab y sus momentos conjugados Pab. Cómo no se pueden "despejar" unos en función de otros en el formalismo hamiltoniano aparecen dos ligaduras. Una, V, que representa la invariancia bajo difeomorfismos y otra, C, que representa la dinámica del sistema y por eso se conce cómo ligadura hamiltoniana. Esta ligadura es la que, cómo dije en la entrega anterior, se conoce cómo ecuación de Wheeler-de Witt, bueno, para ser mas exactos la "version cuántica" de esta ligadura, ya explicaré al final este matiz.
Cómo avancé la LQG era una especie de "cambio de variables" para el formalismo hamiltoniano. Para entrar en LQG necesitamos introducir el formalismo del vielbein:
Este formalismo (también conocido cómo el de la tétrada) fue introducido por Elie Cartán. Entre otras cosas permite introducir fermiones en la relatividad general, algo muy útil, pero aquí no haré hincapié en ese aspecto.
La tétrada eui, o vielbein, es (así le gusta decir a la gente) una especie de raíz cuadrada la métrica (en realidad es un sistema de referencia orto-normal, bueno algo así), las ecs. que cumple son:
η= métrica de Lorentz.
La verdad es que este formalismo del vielbein al principio es algo anti-intuitivo, intentaré dar una pequeño feeling de su uso y sentido.
Recordemos que una métrica puede verse del siguiente modo:
dónde las ettas son los vectores tangentes a la variedad. Pués bien, por el principio de equivalencia sabemso que hay un sistema de coordenadas localmente inercial cuyos componentes, vecotres tangentes en un punto dado, denoto por em. Pués bien, la relación de la métrica con el vielbein puede verse cómo una relación entre estos vectores tangentes:
Esta construcción vale también para la métrica tridimensional q definida en los cortes M de la foliación del espacio-tiempo en MxR.
Asociada al vielbein de esta la conexión de spin:
dónde
Aprovecho para indicar que en el formalismo de la tétrada hay un aspecto interesante, la posibilidad de considerar la conexión, y no la métrica cómo el campo básico que describe la gravitación, formalmente esto quiere decir que aplicamos el principio de mínima acción a este campo y no a la métrica. Es este detalle el que permite que en LQG haya la posibilidad de tenr gij=0, es decir, que no haya espacio, mientras que en el formalismo normal la ausencia de gravedad indica que tenemos η cómo vacío.
Pero sigamos, vamos a introducir una nueva cantidad A. Esta cantidad va a jugar un papel similar a un campo gauge SU(2), pero con matizaciones que ya iremos viendo. Uno se puede preguntar, con toda la razón del mundo, ¿que pinta aquí un grupo SU(2)? Voy a intentar aclararlo un poco.
Es importante de que no detallé mucho a cómo se introducía la conexión, bien, esa conexión se puede asociar con un grupo, el grupo de la fibre bundle. El caso es que aquí pasamos a trabajar en un slice tipo ADM.
Por tanto tenemos una 3-variedad, y con esa 3 variedad construimos un fibrado. ¿Que grupo tiene ese fibrado?, pués el grupo de invarianzas locales. Puesto que estamos en un slice riemaniano ese grupo es el SO(3), es decir, localmente el espacio es euclideo y tiene invarianza bajo rotaciones euclideas. SO(3) tiene de grupo recubirdor SU(2), así que ya hemos llegado a puerto.Si no trabajaramos con el slice tendríamos una 4-variedad y el grupo sería SO(3,1) (Correspondencia al la invarianza lorentz local).
Para quien no sepa nada de fibrados intentaré explicarlo de otro modo. A muchos os sonará el siguiente"experimento mental" de Einstein del que surge el principio de equivalencia. Una persona en caida libre dentro de un campo gravitatorio no experimenta ninguna fuerza. Sin embargo si esa misma persona se ve parada en su caida por algún tipo de superficie notará que el campo gravitatorio le empuja contra la superficie. Es decir en ese punto tenemos dos posibilidades, estar enciada libre y no sentir ningún campo gravitatorio y estar sometido a una fuerza gravitatoria. En términos matemáticos eso significa que localmente siempre podemos encontrar un sistema de referencia, el de caida libre, en el que el campo gravitatorio no existe. Pero un sistema sin campo gravitatorio se describe por la relatividad espacial, que tiene el grupo SO(3,1) com invariante). Ahora bien, esto puede hacerse sólo localmente. Para dos puntos cercanos el sistema "libre" de uno no lo será para otro. Lo que se puede, sin embargo, es asociar a cada punto del espacio tiempo un sistema de referencia en caida libre (sistema de referencia inercial). Bien, eso es una fibración. Y en este caso cóm cada punto de la fibra (cada sistema de referencia inercial) tiene un grupo de invarianza tenemso un fibrado principal en el que el grupo actua sobre cada fibra. Sí, vale, imagino que este intento de explicacion "fácil" no es muy compresnsible, pero es que los fibrados no son la cosa más sencilla delmundo.
Bien, tras esta explicación pongo la expresion de A.
Aquí Kij es la curvatura extrínseca, β es un parámetro libre de la teoria conocido cómo parámetro de barbero-Inmirizzi y ya iremos viendo que juega un papel importantísimo en la teoria. Puede tomar cualquier valor complejo distinto de 0. En la formulacion inicial de Astekhar este parámetro tomaba el valor i (raiz de -1). Con este valor la forma de la ligadura hamiltoniana (que ya veremos) tomaba una forma muy sencilla. Para este valor el SU(2) asociado es un SU(2) complejo y por tanto no compacto. Sin embargo si se toman valores reales el SU(2) es real y por tanto compacto. Esto facilita muchas cosas, pero no en particular la forma de la ligadura hamiltoniana que en general tendrá una forma complicada, pero ya digo que iremos viendo cosas varias de este parámetro a lo largo del tema.
Ya tenemos unas nueva variables, cómo aduje que era nuestra intencion buscar, Las A´s ("campo gauge") y las E´s (tétrada densitizada, i.e. dividada por la raíz de la métrica). Se puede expresar el lagrangiano de la RG en estas variables y se pueden calcular los momentos canónicos asociados. Cómo era de esperar aparecen ligaduras. Y supongo que no es de extrañar que las ligaduras en lsa nuevas variables guarden similitud en su significado a las ligaduras en las otras variables, así pués las denotamos igual y tenemos:
Aquí F es el análogo al tensor que en los campos gauge juega el papel de tensor campo electromagnético y tiene la expresion:
La "ligadura hamiltoninana" tiene la forma:
Dónde "Más" indica términos adicionales de similar factura.
En este formalismo sin embargo aparece una nueva ligadura. Cóm he dicho La A juega el papel de un campo gauge y se sabe que los campos gauge tiene una ligadura, la ley de Gauss:
Lo interesante es que ahora todas las ligaduras son polinómicas en los campos, en contraste con le caso ADM en que no lo son. Por tanto son más sencillas de resolver. Más sencilas, evidentemente, no quiere decir sencillas, de hecho son dificilísimas de resolver, pero al menos se puede hacer algo con ellas. Todo el programa de la LQG canónica consiste, en realidad, en "pelearse" con estos malos bichos. Ya iremos viendo cómo se hace, pero voy a dar algunos matices más necesarios paa entender por dónde iremos.
Lo primero es señalar que puede que no os hayais dado cuenta pero hasta ahora todo lo que se ha hecho en este post es RG clásica. Todos los campos son clásicos. LAs ecuaciones de ligadura pueden tratarse y resolverse de manera puramente clásica mediante, por ejemplo, el programas de Dirac, que consiste en cambiar los corchetes de Posisoson por "corchetes de Dirac" que seleccionan los estados físicos y tal y cuál. Pero en LQG se va a intentar hacer relatividad cuántica. Así pués, siguiendo los pasos habituales, se van a sustituir las "posiciones" y los "momentos" por operadores cuánticos. Aquí las "posiciones" eran las qab y los "momentos" Las E´s. Pués bien, siguiendo el procedimiento habitual en QFT se convierten estos campos clásicos en operadores que actuan sobre un espacio de Hilbert. Ahora bien, las constraints se expresan en términos de estos campos ¿cómo se van a expresar en la version cuántica? Pues del mismo modo que se hace con las teorias gauge normales. Se impone que los estados físicos sean anulados por las ligaduras, es decir:
L|φ>=0
Donde estoy denotando por L una ligadura arbitraria y |φ> representa el estado cuántico. Bien, ahora ya he explicado con más detalle matemático el programa de la LQG y he introducido su parte clásica. No voy a analizar en este post, ya lo dije antes, cómo se resuelven las ligaduras, pero al menos si voy a explicar de dónde viene el nombre de loop quantum gravity.
En las toerias gauge ordinarias, basadas en un campo gauge A, se construyen los "wilson loops" correspondientes. ¿Que es un Wilson loop? la definción matemática es esta:
dónde C es un contorno (curva cerrada) y P es el "path-ordering" que no definiré pués no me voy a meter a fondo con los wilson loops. En teorías gauge ordinarias los wilson loops permiten reconstruir, a nivel clásico, la conexion gauge. A nivel cuántico son operadores que crean excitaciones del campo gauge localizadas en el lopp (el conctorno C).
Eso en teorias gauge "ordinarias" ¿que papel juegan en LQG?. Bien, más o menos la idea es que también se convierten en operadores. Recordemos que los operadores en mecánica cuántica tienen autoestados. Pués bien, los autoestados asociados a los Wilson loops generan estados cuánticos que satisfacen dos de las ligaduras anteriores, la ley de gauge y la V de los difeomorfismos. Aparte de eso tienen otros significados intuitivos relacionados con áreas y demás. Pero ya anticipé que no son la mejor base posible para la LQG y han sido abandonados en favor de unos nuevos tipos de estados construidos a partir de grafos (con ciertas relaciones de equivalencia metidas por ahí en medio), las spin networks que también resuelven las dos ecuaciones de ligadura y que nos dan el espacio de hilbert "kinemático". Pero eso para una próxima entrega.
Por cierto ¿habeis visto alguna pega hasta aquí? No, ¿verdad? Pués vereis, resulta que se aduce que este cambio de variables es de algún modo local (imagino que se refieren a que hay que hacrlo carta por carta-hablando en términos de variedades diferenciables-). El caso es que, anticipo ya, uno de los resultados de la LQG es que el operador área actuando sobre los esados de las redes de spintienun espectro discreto, es decir, que el área esta discretizada en LQG. Pué bien, se critica que esa discretizacion se debe exclusivamente a ese carazter local del cambio de variables. Yo particularmente es algo que no veo nada claro (no he visto el desarrollo pormenorizado de esa crítica). Pero la verdad es que es algo absolutamente crucial para todo el programa de la LQG, tanto el canónico cómo el resto. En la LQG canónica porque varios de sus éxitos dependen de ello. Muy asociada a la LQG estan la teorias de double special relativity que imponiendo la la relatividad especial de Einstein la existencia de una longitud mínima (algo razonable si existe un área mínima) implican que la velocidad de la luz en el vacio depende de su frecuencia (algo que podría ser constatado experimentalmente dentro de no mucho si es cierto). Las DSR tiene sus propiso problemillas, pero sin ese resultado de cuantizacion del área pierden su mas fuerte motivación. Pero es más grave aún, algunos puntos de partida para teorias tipo LQG (triangulaciones dinámcias, cálculo cuántico de Regge) parten de un espacio-tiempo discretizado. Aunque hay motivos heurísticos para considerar pausible esa discretización la verdad es que ese resultado de que el operador área tiene espectro discreto es un resultado mucho más potente que da mucho más crédito a todos esos programas. Si ese resultado esta mal, es decir, es un producto de la elección de variables y no refleja ninguna verdad "profunda" la LQG pierde bastante de su sentido.
No comments:
Post a Comment