The trace-free Einstein tensor is not variational for the metric as field variable

El artículo demuestra que el tensor de Einstein sin traza no puede derivarse de la variación de ninguna acción local, incluso sin asumir invariancia bajo difeomorfismos, cuando se utiliza la métrica como variable de campo.

Lo esencial

Imagina que el universo es un escenario gigante y la gravedad es el director de escena que decide cómo se mueven los actores (la materia y la energía). Durante años, los físicos han usado un "guion" muy famoso, las Ecuaciones de Einstein, para describir cómo este director toma sus decisiones.

Este guion tiene una regla de oro: todo lo que sucede en el escenario debe poder explicarse como el resultado de un "principio de mínima acción". Piensa en esto como si el universo fuera un jugador de golf que siempre elige el camino más eficiente para llegar al hoyo. Si algo en la física no puede explicarse como un "camino eficiente" derivado de un guion (una acción), entonces, matemáticamente, no encaja en la lógica estándar de cómo funciona el universo.

El misterio del "Einstein sin huellas"

En este artículo, los autores (Arian, Domenico y Philip) hablan de una versión modificada de las ecuaciones de Einstein llamada Tensor de Einstein sin traza.

Para entenderlo con una analogía simple:
Imagina que las ecuaciones normales de Einstein son como una balanza perfecta. Si pones un peso a un lado (materia), la balanza se inclina exactamente de la manera predicha. Esta balanza tiene una propiedad especial: si sumas todos los pesos de un lado y los comparas con el otro, el total es cero (es "sin traza" o balanceado de una forma muy específica).

Los físicos han pensado: "¿Y si usamos solo la parte de la ecuación que se refiere a la forma de la balanza, ignorando el peso total?". Esto es lo que llaman las ecuaciones sin traza. Es interesante porque, curiosamente, si usas estas ecuaciones, el "peso total" (una constante llamada $\Lambda$ o energía oscura) no tiene que ser fijo; puede cambiar dependiendo de la solución que encuentres, como si el universo decidiera su propio peso al final de la película.

El problema: ¿De dónde sale este guion?

Aquí es donde entra el descubrimiento de este paper. Los autores se preguntaron:
"¿Podemos escribir este 'guion sin traza' como si fuera una ley fundamental que el universo sigue para elegir su camino (un principio variacional)?"

La respuesta corta es: No.

Los autores demuestran que, aunque las ecuaciones sin traza funcionan muy bien para describir la gravedad, no pueden originarse de un "guion" o acción local si usamos la métrica (la forma del espacio-tiempo) como la variable principal.

La analogía de la "Receta de Cocina"

Imagina que quieres cocinar un plato delicioso (la gravedad).

1. La receta normal (Einstein estándar): Tienes una lista de ingredientes (la acción) y sigues los pasos. Al final, obtienes un plato que sabe exactamente como la gravedad debe saber. Es una receta válida.
2. La receta "sin traza": Quieres un plato que sea igual de delicioso, pero que tenga una característica extra: que no tenga sal (la traza).
   • Los autores dicen: "Puedes cocinar el plato sin sal, ¡pero no puedes escribir una receta que diga 'mezcla estos ingredientes para obtener un plato sin sal' de forma directa!".

Si intentas escribir esa receta (la acción) y la sigues al pie de la letra, el resultado matemático no será el plato sin sal que esperabas, sino algo diferente (o cero).

¿Cómo lo demostraron? (El truco matemático)

Usaron una herramienta matemática llamada el Lagrangiano de Vainberg-Tonti.
Piensa en esto como una máquina de retroceso.

• Si tienes un resultado final (las ecuaciones sin traza), metes ese resultado en la máquina para ver si puedes reconstruir la receta original (la acción).
• Si la máquina funciona, obtienes la receta.
• Si la máquina se atasca y te devuelve un resultado de "cero" o "nada", significa que no existe tal receta.

En el caso de las ecuaciones sin traza, cuando metieron el resultado en la máquina, esta les devolvió un "cero". Esto significa que, matemáticamente, es imposible que esas ecuaciones sean el resultado de un principio de "camino más eficiente" basado en la métrica del espacio-tiempo.

¿Por qué importa esto?

1. No es un desastre: Que no tengan una "receta" (acción) no significa que las ecuaciones sean incorrectas o inútiles. Significa simplemente que la gravedad "sin traza" es un poco más rebelde de lo que pensábamos. No sigue la regla de "elegir el camino más corto" de la misma manera que la gravedad normal.
2. Gravedad Unimodular: Este resultado es crucial para una teoría llamada "Gravedad Unimodular", que intenta explicar por qué el universo se expande aceleradamente. El paper confirma que, aunque esta teoría es interesante, no se puede formular de la manera más simple y directa que muchos esperaban.
3. La métrica es la clave: El resultado es muy específico: si cambias las reglas del juego y usas otras variables (no solo la métrica), quizás sí puedas encontrar una receta. Pero si te atienes a la métrica (la forma del espacio), la receta no existe.

En resumen

El universo tiene una versión de las leyes de la gravedad que es muy elegante y que permite que la energía oscura sea una variable flexible. Sin embargo, los autores nos han dado una noticia importante: esta versión elegante no puede escribirse como un "guion" fundamental si usamos las herramientas habituales. Es como si el universo pudiera actuar de esa manera, pero no porque esté siguiendo una receta escrita en un libro de leyes, sino por alguna otra razón más profunda que aún no hemos descifrado.

Es un recordatorio de que, en la física, a veces las ecuaciones que funcionan perfectamente para describir la realidad, no necesariamente tienen una "historia de origen" simple y hermosa.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "The trace-free Einstein tensor is not variational for the metric as field variable" de von Blanckenburg, Giulini y Schwartz, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda una cuestión fundamental en la formulación de la gravedad: la variacionalidad de las ecuaciones de Einstein sin traza (trace-free Einstein equations).

• Contexto: Las ecuaciones de Einstein sin traza se escriben como $R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu} = \kappa (T_{\mu\nu} - \frac{1}{n} T g_{\mu\nu})$. Estas ecuaciones son una modificación interesante de la Relatividad General estándar, ya que, bajo la conservación de la energía ($\nabla_\mu T^{\mu\nu} = 0$), implican las ecuaciones de Einstein estándar con una constante cosmológica $\Lambda$ que surge como una constante de integración (y no como un parámetro fijo).
• La Duda: Es bien conocido que el tensor de Einstein sin traza ($G^{tf}_{\mu\nu}$) no puede derivarse de un funcional de acción local invariante bajo difeomorfismos si la variable de campo es la métrica (o su inversa). Esto se debe a que la invariancia bajo difeomorfismos exige que la divergencia covariante de la variación sea idénticamente cero, mientras que el tensor de Einstein sin traza no es divergente libremente para $n \geq 3$.
• La Pregunta Central: ¿Permanece cierta esta afirmación si se elimina la suposición de invariancia bajo difeomorfismos? Es decir, ¿puede existir algún funcional de acción local (incluso no invariante) cuya variación respecto a la métrica produzca el tensor de Einstein sin traza?

2. Metodología

Los autores utilizan métodos del cálculo inverso de variaciones, específicamente el método de completación variacional canónica (o método de Vainberg-Tonti).

• Definición del Funcional: Consideran una expresión tensorial densitizada $\tilde{G}^{tf}_{\mu\nu}$ que depende de la métrica inversa $g^{\mu\nu}$ y sus derivadas.
• Lagrangiano de Vainberg-Tonti: Para determinar si una expresión $E_A[y^B]$ es variacional (es decir, si proviene de un Lagrangiano), se construye un Lagrangiano asociado definido por una integral unidimensional:
  $$\mathcal{L}[y^A] := y^B \int_a^1 E_B[u y^A] \, du$$
  donde $a$ es un límite inferior tal que $\lim_{u \to a} u E_A[u y^B] = 0$.
• Teorema Clave (Teorema 3): Si el Lagrangiano de Vainberg-Tonti asociado existe y la variación de la acción correspondiente $\int \mathcal{L} \, d^n x$ respecto a la variable de campo $y^A$ no devuelve la expresión original $E_A[y^B]$, entonces $E_A[y^B]$ no es localmente variacional.
• Análisis de Escalamiento: Para aplicar este teorema al tensor de Einstein sin traza, los autores analizan cómo se comporta la expresión bajo un escalamiento de la métrica inversa ($g^{\mu\nu} \to u g^{\mu\nu}$).

3. Contribuciones Clave

1. Generalización del Resultado: Demuestran que la no-variacionalidad del tensor de Einstein sin traza es una propiedad intrínseca de la estructura del tensor y la elección de la métrica como variable de campo, independientemente de si la acción es invariante bajo difeomorfismos o no.
2. Aplicación Rigurosa del Método de Vainberg-Tonti: Aplican formalmente el método de completación variacional para probar la imposibilidad de derivar estas ecuaciones directamente de una acción local estándar.
3. Clarificación sobre la Gravedad Unimodular: Aclaran la relación entre la gravedad unimodular y las ecuaciones sin traza, demostrando que, aunque la gravedad unimodular utiliza principios variacionales, las ecuaciones de Einstein sin traza no surgen directamente como ecuaciones de Euler-Lagrange respecto a la métrica en dichas formulaciones, sino que surgen indirectamente a través de multiplicadores de Lagrange o restricciones de volumen.

4. Resultados Principales

El resultado central se formaliza en el Teorema 1:

Para $n \geq 3$, el tensor de Einstein sin traza densitizado $\tilde{G}^{tf}_{\mu\nu}$ no puede surgir de la variación de ningún funcional de acción local con respecto a la métrica inversa.

Desarrollo de la Prueba:

1. Escalamiento: Al escalar la métrica inversa por un factor $u$, el tensor de Ricci $R_{\mu\nu}$ permanece invariante (los símbolos de Christoffel son invariantes bajo este escalamiento específico), pero el escalar de Ricci $R = g^{\mu\nu}R_{\mu\nu}$ escala como $u$. El factor de densidad $\sqrt{|\det g|}$ escala como $|u|^{-n/2}$.
2. Comportamiento del Tensor: La expresión densitizada escala como:
   $$\tilde{G}^{tf}_{\mu\nu}[u g^{\rho\sigma}] = |u|^{-n/2} \tilde{G}^{tf}_{\mu\nu}[g^{\rho\sigma}]$$
3. Cálculo del Lagrangiano: Al integrar para encontrar el Lagrangiano de Vainberg-Tonti, el límite inferior $a$ debe ser $\infty$ (para que el término $u \cdot u^{-n/2}$ se anule, dado que $n \geq 3$).
   $$\mathcal{L} = g^{\rho\sigma} \int_{\infty}^1 \tilde{G}^{tf}_{\rho\sigma}[u g^{\mu\nu}] \, du$$
4. Resultado de la Integral: La integral converge y el resultado es proporcional a la traza del tensor de Einstein sin traza. Dado que por definición el tensor es sin traza ($g^{\mu\nu} \tilde{G}^{tf}_{\mu\nu} = 0$), el Lagrangiano resultante es identicamente cero.
5. Conclusión: Si el Lagrangiano es cero, su variación es cero. Como la expresión original $\tilde{G}^{tf}_{\mu\nu}$ no es cero, la expresión original no puede ser la variación de ese Lagrangiano. Por el Teorema 3, la expresión no es variacional.

El resultado se mantiene incluso si se considera el tensor contravariante o si se cambia la variable de campo a la métrica covariante $g_{\mu\nu}$.

5. Significado e Implicaciones

• Limitación de Formulación Variacional: El trabajo establece un límite fundamental: no se puede construir una teoría de gravedad basada puramente en las ecuaciones de Einstein sin traza utilizando un principio de acción estándar donde la métrica es la única variable dinámica.
• Necesidad de Campos Auxiliares: Para formular las ecuaciones sin traza en un marco variacional, es necesario introducir variables de campo adicionales (como en las formulaciones recientes citadas [5-7]) o reformular las variables fundamentales.
• Interpretación de la Gravedad Unimodular: Refuerza la comprensión de que en la gravedad unimodular, la constante cosmológica surge de la restricción de volumen y no directamente de la variación del tensor sin traza. Las ecuaciones de Einstein completas (con $\Lambda$) son las que surgen de la variación, y las ecuaciones sin traza son una consecuencia, no la ecuación de movimiento directa de la métrica.
• Robustez Teórica: Al eliminar la suposición de invariancia bajo difeomorfismos, el resultado es más fuerte y general, indicando que la obstrucción es puramente algebraica y estructural respecto a la dependencia de la métrica, y no solo una consecuencia de simetrías.

En resumen, el artículo demuestra matemáticamente que el tensor de Einstein sin traza es "no variacional" para la métrica, cerrando la puerta a formulaciones directas de acción para estas ecuaciones sin modificar el conjunto de variables dinámicas.