Reconstructing the Goldberg-Palatini Action from Noether Identities

Resumen Técnico: Reconstrucción de la Acción de Goldberg–Palatini a partir de las Identidades de Noether

Planteamiento del Problema
El artículo aborda hasta qué punto la dinámica gravitatoria puede recuperarse únicamente a partir de la consistencia de un campo masivo de espín dos interactuante, específicamente dentro de un formalismo de primer orden. Mientras que el enfoque de "autocoplamiento" (Feynman, Descer) reconstruye con éxito la Relatividad General al acoplar iterativamente el campo a su propio tensor de energía-momento, este método introduce ambigüedades respecto a la elección del tensor de energía-momento y requiere el manejo de expansiones infinitas en la formulación métrica. Los autores buscan una formulación donde las restricciones impuestas por la simetría de gauge (invariancia por difeomorfismos) se examinen directamente mediante el segundo teorema de Noether, evitando la construcción explícita de un tensor de energía-momento y determinando la acción de forma única dentro de una clase especificada de interacciones polinómicas.

Metodología
Los autores emplean una estrategia que invierte el cálculo estándar: en lugar de derivar las identidades de Noether a partir de una acción conocida, utilizan las identidades asociadas a leyes de transformación de campos prescritas para determinar los coeficientes de interacción desconocidos de una acción local y polinómica.

1. Variables y Transformaciones: Los campos independientes se definen como:

   • $\phi_{\mu\nu}$: Una perturbación simétrica de la densidad métrica contravariante.
   • $G^\lambda_{\mu\nu}$: Una conexión afín ajustada por la traza (variable de Palatini), tratada como un campo independiente.
   • Las leyes de transformación bajo difeomorfismos infinitesimales están prescritas, dividiéndose en una parte independiente del campo $\delta^{(0)}$ y una parte lineal en $\kappa$ respecto al campo $\delta^{(1)}$.

2. Análisis Dimensional y Restricción de Sectores:

   • Se asume que la acción es un polinomio local en $\phi$ y $G$, con la constante de acoplamiento gravitatorio $\kappa$ como la única constante con dimensión.
   • Se aplica un difeomorfismo específico, una dilatación de coordenadas ($x^\mu \to (1-\kappa\epsilon)x^\mu$). Al analizar los pesos de escala de los campos y las derivadas, los autores demuestran que para $d > 2$, cualquier acción polinómica de este tipo debe terminar, como máximo, en orden cúbico.
   • Crucialmente, este análisis prueba que el único término cúbico permitido es un vértice sin derivadas de la forma $\phi GG$. Términos como $\phi\phi\phi$ o $\phi\phi G$ quedan excluidos por la simetría de dilatación.

3. Expansión de la Base Tensorial:

   • Los autores construyen un ansatz general para la acción hasta orden cúbico, expandiendo los núcleos de interacción ($K_{\phi\phi}, K_{\phi G}, K_{GG}, K_{\phi GG}$) en bases de tensores construidos a partir de la métrica plana $\eta_{\mu\nu}$ y los momentos.
   • Para $d \ge 4$, esto resulta en un sistema de 31 coeficientes desconocidos.

4. Restricciones de las Identidades de Noether:

   • Las identidades de Noether (fuera de la hoja o off-shell) se imponen orden por orden en los campos. Estas identidades relacionan los núcleos de los sectores cuadráticos y cúbicos.
   • Las identidades se descomponen en sectores de campos específicos ($\phi\phi$, $\phi G$, $GG$, $\phi GG$) y se proyectan sobre bases tensoriales para generar un sistema de ecuaciones algebraicas lineales.
   • El sistema se resuelve simbólicamente, eliminando coeficientes paso a paso.

Resultados Clave

• Unicidad de la Acción: La imposición de las identidades de Noether reduce los 31 coeficientes libres a una única constante de normalización global. La solución es única dentro de la clase especificada de acciones polinómicas.
• Recuperación de Goldberg–Palatini: La acción resultante se identifica como la acción de Goldberg–Palatini (equivalente a la acción de Einstein-Hilbert de primer orden), escrita como:
  $$S = \int d^dx \left[ -G^\lambda_{\mu\nu}\partial_\lambda\phi^{\mu\nu} + (\eta + \kappa\phi)^{\mu\nu} \left( -\text{tr}(G_\mu G_\nu) + \frac{1}{d-1}g_\mu g_\nu \right) \right]$$
• Vanecimiento del Núcleo $\phi\phi$: Las identidades fuerzan a que el núcleo cuadrático puramente métrico ($K_{\phi\phi}$) sea nulo. Esto implica que la dinámica de la perturbación métrica es transportada enteramente por su acoplamiento con la conexión, en lugar de por un término cinético de Fierz-Pauli independiente.
• Reducción a la Formulación Métrica: Dado que la ecuación de movimiento para la conexión $G$ es algebraica, esta puede eliminarse exactamente. Esto recupera la acción completa de Einstein-Hilbert de segundo orden en términos de la densidad métrica, incluyendo el conjunto infinito de vértices de gravitones. Se muestra que los términos cuadráticos y cúbicos de esta expansión coinciden con los resultados existentes en la literatura (Capper, Leibbrandt y Ramón Medrano) salvo por derivadas totales.

Significado y Reivindicaciones
El artículo afirma proporcionar una derivación directa de la acción gravitatoria de primer orden sin las ambigüedades asociadas al enfoque de autocoplamiento (específicamente, la elección del tensor de energía-momento). El significado radica en:

1. Imposición Directa de Simetría: La construcción se basa únicamente en las identidades de Noether off-shell de las transformaciones prescritas, manteniendo la entrada geométrica dentro de las propias leyes de transformación.
2. Determinación Finita: Al utilizar variables de primer orden, el problema de reconstruir la acción no lineal se reduce a un sistema finito de restricciones lineales sobre los coeficientes tensoriales, evitando la expansión infinita típica de las formulaciones métricas.
3. Derivación de la Terminación: Se demuestra que la terminación de la acción en orden cúbico es una consecuencia necesaria de la polinomialidad y la simetría de dilatación, en lugar de ser un supuesto.
4. Alcance y Limitaciones: El resultado de unicidad es válido para $d \ge 4$ y para acciones polinómicas en los campos con la asignación específica de potencia de acoplamiento. Los autores declaran explícitamente que el resultado no pretende afirmar que la invariancia por difeomorfismos seleccione por sí sola la gravedad de Einstein entre todas las teorías gravitatorias locales (por ejemplo, aquellas con términos de derivadas superiores o diferentes asignaciones de acoplamiento), sino que selecciona únicamente la acción de Goldberg–Palatini dentro de la clase polinómica definida. La construcción es clásica; no se aborda la equivalencia cuántica más allá del nivel de árboles.