Consistent Canonical Quantization of Gravity: Recovery of Classical GR from BRST-invariant Coherent States

Resumen Técnico: Cuantización Canónica Consistente de la Gravedad: Recuperación de la Relatividad General Clásica a partir de Estados Coherentes BRST-invariantes

Planteamiento del Problema
El artículo aborda las dificultades persistentes en la cuantización canónica de la Relatividad General (RG), específicamente el "problema del tiempo" y la aparente anulación del Hamiltoniano en los estados físicos. En la cuantización canónica tradicional (como la cuantización de Wheeler-DeWitt), la restricción del Hamiltoniano $\hat{H}|\text{phys}\rangle = 0$ implica que los estados físicos son estáticos, lo que aparentemente impide una evolución temporal no trivial y la recuperación de la dinámica clásica. Además, los tratamientos semiclásicos estándar, que cuantizan campos sobre fondos clásicos fijos, fallan cuando la retroalimentación cuántica (back-reaction) se vuelve significativa (por ejemplo, en la física de agujeros negros o cosmología). Los autores buscan una cuantización canónica consistente de la RG como una teoría de campo efectivo de baja energía que recupere la dinámica de la RG clásica, incluyendo la evolución temporal, sin depender de un fondo clásico preexistente.

Metodología
Los autores emplean un marco de cuantización canónica BRST-invariante, distinto del enfoque de Wheeler-DeWitt. La metodología procede a través de los siguientes pasos:

1. Selección del Vacío y Fijación de Calibre: La teoría se cuantiza de una vez por todas alrededor del vacío de Minkowski ($\eta_{\mu\nu}$). A diferencia de los enfoques que tratan el fondo como un dato clásico, los autores postulan que el vacío de Minkowski es el único candidato consistente para el estado de vacío de la teoría. La cuantización se realiza utilizando el Lagrangiano BRST-invariante, que incluye el término de Einstein-Hilbert, términos de fijación de calibre (introduciendo un campo auxiliar $b_\mu$) y términos de fantasmas de Faddeev-Popov ($c_\mu, \bar{c}_\mu$).
2. Formalismo Canónico: Los autores utilizan el formalismo ADM pero redefinen las variables canónicas para incluir los componentes temporales de la métrica ($A_\mu \equiv \sqrt{-g}g_{0\mu}$) y la métrica espacial $\gamma_{ij}$. La introducción del campo auxiliar $b_\mu$ asegura que los componentes temporales adquieran momentos conjugados canónicos, resolviendo los problemas donde las derivadas temporales están ausentes en la formulación invariante de calibre.
3. Carga BRST y Estados Físicos: El espacio de Hilbert físico se define como el conjunto de estados anulados por la carga BRST ($\hat{Q}|\text{phys}\rangle = 0$) con número de fantasma nulo. Esto reemplaza la imposición ingenua de las restricciones $\hat{H}|\text{phys}\rangle = 0$ y $\hat{P}_i|\text{phys}\rangle = 0$ directamente sobre los vectores de estado.
4. Estados Coherentes como Fondos: Las geometrías del espacio-tiempo clásicas (por ejemplo, fondos cosmológicos o de agujeros negros) no se tratan como fondos fijos, sino como estados coherentes BRST-invariantes construidos sobre el vacío de Minkowski.
5. Reparametrización: Los autores analizan las reparametrizaciones de coordenadas (por ejemplo, de Minkowski a Rindler o FLRW) ajustando las condiciones de fijación de calibre para asegurar que el valor de expectativa de un punto de la métrica mantenga la forma clásica deseada.

Contribuciones Clave y Resultados

• Recuperación de la Dinámica Clásica: El artículo demuestra que las propiedades clásicas de la RG, incluyendo la anulación del Hamiltoniano de volumen (modulo contribuciones de frontera) y la existencia de la evolución temporal, se recuperan como valores de expectativa en los estados físicos apropiados. Específicamente, aunque el operador $\hat{H}$ no necesariamente anula los estados físicos (a diferencia de la cuantización de restricciones ingenua), su valor de expectativa $\langle \text{phys} | \hat{H} | \text{phys} \rangle$ se anula en el límite clásico ($\hbar \to 0$) para los estados que satisfacen las restricciones.
• Evolución Temporal No Trivial: Crucialmente, el marco BRST permite una evolución temporal no trivial de las funciones de correlación. Las restricciones se realizan dinámicamente entre estados físicos (análogo a la condición de Gupta-Bleuler en QED) en lugar de como ecuaciones de operador que anulan el estado. Esto permite que $\partial_t \langle \hat{\Pi}_{mn} \rangle \neq 0$, recuperando las ecuaciones de Einstein clásicas para las funciones de un punto de la métrica.
• Consistencia de la Matriz S: Los autores establecen una correspondencia entre la matriz S de baja energía de los gravitones y el formalismo Hamiltoniano canónico. Muestran que la acción efectiva clásica para fuentes se recupera a partir del valor de expectativa del operador de la matriz S sobre estados coherentes. Esto valida la existencia de un flujo Hamiltoniano bien definido consistente con la teoría de dispersión de los gravitones.
• Independencia de Fondo vía Estados Coherentes: El marco trata los espacios-tiempo no triviales (como de Sitter o FLRW) como estados coherentes del campo cuantizado. Esto resuelve el problema de la "independencia de fondo" al cuantizar la teoría sobre un vacío fijo (Minkowski) y generar otros fondos como estados cuánticos, en lugar de cuantizar sobre un fondo curvo preexistente.
• Sensibilidad al Corte y Energía del Vacío: La cuantización sobre el vacío exacto de Minkowski impone una condición de consistencia que el la energía del vacío $\Lambda$ debe ser exactamente cero. Un cambio hacia vacíos de de Sitter o Anti-de Sitter (AdS) haría que el esquema fuera contradictorio. Esto se alinea con los argumentos de la matriz S que excluyen los vacíos de de Sitter eternos.
• Motivación de la Supersimetría: El artículo argumenta que el requisito de la invariancia de Poincaré exacta del vacío de Minkowski (necesaria para la consistencia de la cuantización y la matriz S) proporciona una fuerte motivación para la supersimetría espontáneamente rota. Específicamente, la supersimetría es necesaria para evitar la violación de la invariancia de Poincaré por instantones gravitacionales (como los instantones de Eguchi-Hanson), que de otro modo generarían un continuo de estados de de Sitter.

Significancia y Reivindicaciones
Los autores afirman que este trabajo proporciona una cuantización canónica consistente de la RG como una teoría de campo efectivo que recupera con éxito la dinámica de la RG clásica, incluyendo la evolución temporal, que a menudo queda oscurecida en otros enfoques. Al tratar los fondos clásicos como estados coherentes del campo cuantizado, el marco ofrece una descripción unificada donde la "democracia" de la RG (tratar cualquier métrica como un vacío válido) emerge como una propiedad de los estados coherentes en el límite apropiado, en lugar de ser una característica fundamental del procedimiento de cuantización mismo.

El artículo sostiene que este enfoque descubre características invisibles para los tratamientos semiclásicos, como el "tiempo de ruptura cuántica" del espacio de de Sitter, implicando que el de Sitter eterno no es un vacío válido de la gravedad cuántica. Además, el marco proporciona una base teórica para la necesidad de la supersimetría para estabilizar el vacío de Minkowski contra violaciones no perturbativas de la simetría de Poincaré, sugiriendo que la teoría efectiva de baja energía por debajo de la escala de masa del gravitino es la gravedad de Einstein con un vacío exacto invariante de Poincaré. El trabajo se presenta como una motivación para la supersimetría derivada de los requisitos de consistencia de la gravedad cuántica canónica, más que como una propuesta experimental.