Lecture Notes in Loop Quantum Gravity. LN4: Hamiltonian framework

Resumen Técnico: Notas de Clase en Gravedad Cuántica de Bucles, LN4: Marco Hamiltoniano

Planteamiento del Problema
El artículo aborda el desafío de establecer un marco hamiltoniano covariante para teorías de campos relativistas, particularmente aquellas con dinámicas degeneradas y grandes grupos de simetría (como la Relatividad General y la Gravedad Cuántica de Bucles). Mientras que en las notas anteriores (LN3) se discutió el entorno de Hamilton-Jacobi para la formulación de Holst de la RG, un método general y covariante para definir el formalismo hamiltoniano para teorías relativistas sigue siendo objeto de debate.

Los autores identifican dos fuentes primarias de dificultad en los formalismos hamiltonianos de teoría de campos:

1. Infinitud de dimensiones: Los estados físicos están parametrizados por campos de frontera en lugar de números discretos, lo que hace que el funcional principal de Hamilton sea un funcional en lugar de una función.
2. Degeneración y Simetría: Los lagrangianos en teorías como la Relatividad General y el Electromagnetismo a menudo dependen de la parte antisimétrica de las derivadas (curvatura), lo que impide una transformación de Legendre estándar. Además, las simetrías de gauge conducen a una "sobredeterminación", donde el problema de Cauchy está mal planteado sin restringir las condiciones iniciales a un subconjunto específico (restricciones).

El objetivo es revisar el formalismo hamiltoniano desde una perspectiva geométrica fundamental para comparar diferentes marcos, mantener la covarianza y caracterizar el espacio de soluciones (espacio de fase) de una teoría sin depender de espacios funcionales específicos.

Metodología
Los autores emplean un enfoque geomético, basado en la teoría de fibrados, para el cálculo variacional, evitando el análisis funcional en favor de mapas entre variedades de dimensión finita (fibrados).

1. Configuración Geométrica:

   • Las teorías de campos se modelan sobre un fibrado de configuración $[C \to M]$.
   • La dinámica se define sobre prolongaciones de jet $J^kC$, que dan cuenta de las derivadas parciales de las secciones (campos).
   • El principio variacional se formula utilizando mapas globales de fibrados, específicamente el operador de Euler-Lagrange $E$ y el término de frontera $F$ derivado de la fórmula de la primera variación.

2. Mapa de Legendre y Fibrados de Fase:

   • Se define un mapa de Legendre $F: J^1C \to P(C)$, que mapea el fibrado de jet a un fibrado de fase $P(C) = V^*(C) \otimes \Lambda^{m-1}(M)$, donde residen los momentos.
   • A diferencia de la mecánica regular, este mapa no tiene por qué ser invertible. Si tiene rango constante, su imagen $\Lambda \subset P(C)$ define la subvariedad de la restricción primaria.

3. Geometría Multisimpléctica:

   • Los autores introducen el fibrado multisimpléctico $Z(C)$, equipado con una forma de Liouville $\Theta$ canónica y una $(m+1)$-forma cerrada y no degenerada $\omega = d\Theta$.
   • Definen la forma de Poincaré-Cartan $\Theta_L$ en el fibrado de jet $J^1C$ a través del Lagrangiano $L$. Se demuestra que esta forma es la tracción (pull-back) de la forma de Liouville canónica en $Z(C)$ mediante un mapa $\Phi_L$.

4. Formulación Hamiltoniana:

   • La dinámica se reformula en la subvariedad de restricción $\Lambda$ utilizando una sección hamiltoniana $\tilde{\sigma}$.
   • Se construye un Lagrangiano de Helmholtz $L_H$ en $J^1(\Lambda)$, lo que permite recuperar las ecuaciones de Hamilton como las ecuaciones de Euler-Lagrange de este nuevo Lagrangiano. Esto establece la equivalencia entre las descripciones lagrangiana y hamiltoniana incluso en presencia de degeneración.

5. Casos de Estudio:
   El marco se aplica a teorías específicas para demostrar su manejo de restricciones y simetrías:

   • Mecánica Newtoniana: El caso regular donde la transformada de Legendre es invertible; el espacio de fase es $R \times T^*Q$.
   • Partícula Puntual Relativista: Un caso degenerado con invariancia de reparametrización. El Hamiltoniano desaparece identicamente ($H \equiv 0$), y la dinámica deja el parámetro de "energía" sin restringir, reflejando la simetría de gauge.
   • Campo Klein-Gordon: Una teoría de campos regular sin restricciones primarias; el problema de Cauchy está bien planteado.
   • Electromagnetismo: Una teoría degenerada donde los momentos dependen únicamente de la intensidad de campo antisimétrica. El funcional Hamiltoniano es independiente de la componente temporal $A_0$, lo que conduce a la restricción de Gauss ($D_a E^a = 0$) como una condición de frontera.
   • Gravedad de Ashtekar-Barbero-Immirzi (ABI): El marco se aplica a la acción de Holst de primer orden. La variación de la acción produce la restricción de Gauss, la restricción de difeomorfismo (momento) y la restrición hamiltoniana directamente a partir de los términos de frontera de la forma de Poincaré-Cartan.

Contribuciones Clave y Resultados

• Marco Hamiltoniano Covariante: El artículo proporciona una definición geométrica rigurosa del formalismo hamiltoniano para teorías de campos que preserva la general covarianza. Define el espacio de fase como una subvariedad del fibrado multisimpléctico, acomodando la dinámica degenerada sin romper la covarianza.
• Unificación de Formalismos: Al utilizar la forma de Poincaré-Cartan, los autores demuestran que las descripciones lagrangiana y hamiltoniana son formulaciones equivalentes de la misma dinámica. El funcional principal de Hamilton se deriva directamente de la integral de frontera de la forma de Poincaré-Cartan.
• Derivación de Restricciones: El método deriva con éxito las ecuaciones de restricción (Gauss, momento y hamiltoniana) como condiciones necesarias para que el funcional principal de Hamilton sea estacionario, surgiendo específicamente de los términos de frontera de la variación.
• Manejo de la Degeneración: El marco maneja explícitamente la no invertibilidad de la transformada de Legendre al restringir el espacio de fase a la imagen del mapa de Legendre ($\Lambda$), tratándolo como una superficie de restricción primaria.

Significancia y Reivindicaciones
Los autores afirman modestamente que este análisis no introduce nuevas restricciones físicas ni altera las ecuaciones fundamentales de las teorías discutidas (consistente con LN3). La significancia radica en:

1. Clarificación del Espacio de Soluciones: Ofrece una caracterización geométrica clara de los estados físicos como campos de frontera que satisfacen ecuaciones de frontera específicas, las cuales determinan de manera única la evolución (historia) del sistema.
2. Esquema de Cuantización: Desde una perspectiva cuántica, esto apoya un esquema de cuantización donde los "pre-configuraciones cuánticas" (campos de frontera que obedecen las ecuaciones de frontera) son los objetos a cuantizar.
3. Herramienta Comparativa: El marco sirve como una base covariante para comparar diferentes formalismos hamiltonianos y sus propiedades estructurales sin la ruptura a priori de la general covarianza que se observa a menudo en enfoques como el ADM.
4. Direcciones Futuras: El artículo sugiere que se necesita más investigación para establecer un vínculo directo entre estas ecuaciones de restricción de frontera y las leyes de conservación (corrientes) a nivel variacional, potencialmente generalizando estructuras como las identidades de Bianchi a ecuaciones de frontera.

El artículo concluye que, para la Gravedad Cuántica de Bucles (LQG), este marco consolida la comprensión del espacio de fase clásico antes de proceder a la cuantización de conexiones y redes de espín.