Static axisymmetric Einstein spaces with a cosmological constant and the limitation of canonical Weyl coordinates

Este artículo demuestra que la elección canónica de coordenadas de Weyl es incompatible con una constante cosmológica no nula debido a que la función de área deja de ser armónica, aclarando así que la restricción sobre las métricas de Weyl se aplica específicamente al sistema de coordenadas y no a los espacios de Einstein axiales estáticos en general.

Lo esencial

Imagina el universo como una gigantesca tela elástica. Los físicos usan las matemáticas para describir cómo los objetos pesados (como las estrellas) deforman esta tela. Durante mucho tiempo, cuando estudiaban un tipo de deformación específica —una que es perfectamente estática y se ve igual sin importar hacia dónde gires a su alrededor (axisimétrica)— usaron un mapa muy específico y conveniente llamado Coordenadas Canónicas de Weyl.

Piensa en estas coordenadas como un cuadrícula de papel milimetrado perfectamente recta y cuadrada dibujada sobre una hoja de papel gráfico. Es increíblemente fácil hacer cálculos en esta cuadrícula porque las líneas son rectas y están espaciadas uniformemente.

La Regla Antigua

Durante mucho tiempo, los científicos creyeron que si querías usar este "mapa de cuadrícula cuadrada perfecta" para mapear la gravedad alrededor de un objeto estático y giratorio, el universo debía estar vacío de una cierta energía misteriosa llamada Constante Cosmológica (llamémosla "Empuje Cósmico").

El artículo argumenta que esta creencia era en realidad un malentendido del mapa, no una regla del universo.

El Nuevo Descubrimiento

El autor, Sheref Nasereldin, dice: "El problema no es que el universo no pueda tener este Empuje Cósmico. El problema es que la 'cuadrícula cuadrada perfecta' deja de funcionar cuando el Empuje se activa".

Aquí está el desglose usando analogías simples:

1. La "Función de Área" (La Regla)
En estos mapas gravitacionales, hay un número especial llamado "Función de Área". Puedes pensar en esto como una regla que mide qué tan grandes son los círculos de rotación alrededor del objeto.

• En un universo vacío (Sin Empuje Cósmico): Esta regla se comporta perfectamente. Sigue las reglas de un lago plano y tranquilo. Debido a que se comporta tan bien, puedes usar la propia regla como una de las líneas de tu cuadrícula. Esto crea el mapa "Canónico de Weyl".
• En un universo con Empuje Cósmico: La regla se distorsiona. Es como intentar usar una regla de goma sobre una superficie rugosa y vibrante. Ya no sigue las reglas simples y rectas. Tiene un "término fuente", que es solo una forma elegante de decir que "está siendo empujada por una fuerza externa".

**2. La "Cuadrícula Cuadrada" frente al "Mapa Rugoso"
El artículo demuestra que solo puedes usar la cuadrícula cuadrada "Canónica de Weyl" (donde la regla es perfectamente recta) si el Empuje Cósmico es cero.

• Si el Empuje es Cero: La regla es recta. Puedes usar la cuadrícula.
• Si el Empuje NO es Cero: La regla se curva. Si intentas forzar a la regla a permanecer recta (al insistir en las coordenadas Canónicas de Weyl), las matemáticas se rompen. Es como intentar forzar una clavija cuadrada en un agujero redondo; el universo simplemente no lo permitirá.

La Prueba: La Métrica de Kottler

Para probar esto, el autor observa la métrica de Kottler. Piensa en esto como el ejemplo del "Estándar de Oro" de un objeto estático y giratorio en un universo con Empuje Cósmico (es básicamente el famoso agujero negro de Schwarzschild, pero con el Empuje Cósmico añadido).

• Cuando el autor calcula la "regla" (la Función de Área) para este objeto, encuentra que no es recta. Está curvada por el Empuje Cósmico.
• Esto confirma que la cuadrícula "Canónica de Weyl" (que exige una regla recta) simplemente no puede existir para este objeto.
• ¡Sin embargo, el objeto sí existe! Solo necesita un tipo de mapa diferente (uno más general) que permita que la regla sea curva.

La Conclusión

El artículo corrige un error común.

• Pensamiento Antiguo: "Las métricas de Weyl (los mapas de cuadrícula cuadrada) no funcionan si el universo tiene una Constante Cosmológica".
• Nueva Verdad: "Las métricas de Weyl sí funcionan, pero solo si las defines estrictamente como mapas donde la regla es perfectamente recta. Si el universo tiene una Constante Cosmológica, la regla debe curvarse, por lo que tienes que dejar de usar la definición de 'regla perfectamente recta' y usar un mapa más flexible".

En resumen: El universo con una Constante Cosmológica es real y existe. Solo que se niega a encajar en la caja específica y rígida de "cuadrícula cuadrada" que a los físicos tanto les gustaba. Tienes que usar un mapa más flexible y curvo para describirlo.

Resumen técnico

Resumen Técnico: Espacios de Einstein Estáticos Axisimétricos y la Limitación de las Coordenadas de Weyl Canónicas

Planteamiento del Problema
La métrica de Weyl clásica proporciona la forma local general para el campo de vacío exterior de una fuente gravitatoria estática y axialmente simétrica en cuatro dimensiones. En su forma canónica, la métrica se construye identificando la función de área de las dos órbitas de Killing ($W = \sqrt{-\det(g_{AB})}$) con una coordenada armónica ($\rho$) en el espacio de órbitas bidimensional. Aunque esta construcción está bien establecida para espaciotiempos de vacío de Ricci nulos ($R_{ab}=0$), no está claro si esta forma canónica sigue siendo válida para espacios de Einstein con una constante cosmológica no nula ($\Lambda \neq 0$), como la familia de Kottler (Schwarzschild-de Sitter). La cuestión central es si la restricción a las coordenadas de Weyl canónicas es una obstrucción fundamental para la existencia de espacios de Einstein estáticos y axisimétricos con $\Lambda \neq 0$, o simplemente una limitación de esa elección de coordenadas específica.

Metodología
Los autores trabajan localmente dentro del sector ortogonalmente transitivo de espaciotiempos estáticos y axisimétricos. Para desacoplar la especialización de las coordenadas de la existencia física del espaciotiempo, emplean un elemento de línea generalizado que retiene la función de área $W(\rho, z)$ como una función métrica arbitraria en lugar de fijarla a $\rho$ inmediatamente:
$$ds^2 = -e^{2U}dt^2 + e^{-2U} \left[ e^{2\nu}(d\rho^2 + dz^2) + W(\rho, z)^2 d\phi^2 \right].$$
Utilizando las ecuaciones de campo de Einstein-$\Lambda$ ($R_{ab} = \Lambda g_{ab}$), los autores realizan una reducción dimensional. Mediante el uso de técnicas de reescalado conforme en las hipersuperficies espaciales ortogonales al vector de Killing temporal, derivan las ecuaciones de campo reducidas que gobiernan los potenciales $U$, $\nu$ y la función de área $W$ en el espacio de órbitas bidimensional.

Contribuciones Clave y Resultados

1. Derivación de las Ecuaciones Reducidas: El artículo deriva el sistema completo de Einstein-$\Lambda$ reducido para la métrica estática axisimétrica generalizada. Las ecuaciones clave que gobiernan la función de área $W$ y el potencial $U$ en el espacio de órbitas son:

   • $\Delta_q W = -2\Lambda e^{-2U} W$
   • $\Delta_q U + W^{-1}\nabla W \cdot \nabla U = -\Lambda e^{-2U}$
     donde $\Delta_q$ es el Laplaciano asociado a la métrica del espacio de órbitas $q$.

2. Demostración de la Incompatibilidad para Coordenadas Canónicas: Los autores demuestran que la elección de Weyl canónica, definida por establecer $W = \rho$, es localmente admisible en una región alejada del eje de simetría ($\rho > 0$) si y solo si $\Lambda = 0$.

   • Si se impone $W = \rho$, la ecuación reducida para $W$ se convierte en $0 = -2\Lambda e^{2\nu - 2U} \rho$.
   • Dado que el factor exponencial y $\rho$ son no nulos, esta ecuación fuerza a que $\Lambda = 0$.
   • Por el contrario, si $\Lambda = 0$, la ecuación para $W$ se reduce a la ecuación de Laplace del espacio plano ($\Delta W = 0$), permitiendo que $W$ sea utilizada como una coordenada armónica.

3. Clarificación de la "Limitación de la Métrica de Weyl": El artículo establece que la afirmación "las métricas de Weyl no permiten $\Lambda \neq 0$" es precisa únicamente cuando "métrica de Weyl" se interpreta estrictamente como la métrica en coordenadas canónicas donde la función de área se identifica con la coordenada radial. La limitación no se debe a la estaticidad o la axisimetría del espaciotiempo en sí, sino al hecho de que para $\Lambda \neq 0$, la función de área $W$ ya no es armónica; satisface una ecuación diferencial con fuente.

4. Verificación Explícita mediante la Métrica de Kottler: La métrica de Kottler (Schwarzschild-de Sitter) se presenta como el ejemplo explícito más simple. Los autores muestran que para la solución de Kottler con $\Lambda \neq 0$, la función de área $W = r \sin\theta \sqrt{f(r)}$ satisface la ecuación con fuente $\Delta_q W = -2\Lambda e^{-2U} W$, confirmando que no puede transformarse en la forma de Weyl canónica ($W=\rho$). En el límite $\Lambda \to 0$, la solución se reduce a Schwarzschild, donde $W$ se vuelve armónica, recuperando las coordenadas de Weyl canónicas estándar.

Significancia y Reivindicaciones
El artículo afirma proporcionar una declaración local precisa que clarifica el alcance de las coordenadas de Weyl canónicas. Argumenta que el fallo de la forma de Weyl canónica para $\Lambda \neq 0$ está controlado directamente por la ecuación diferencial que satisface la función de área. Los autores enfatizan que este resultado no debe verse como una obstrucción global a la existencia de espacios de Einstein estáticos y axisimétricos con una constante cosmológica; tales espacios existen, pero deben describirse mediante el elemento de línea generalizado (4) donde la función de área no se identifica con la coordenada $\rho$. El trabajo sirve para distinguir entre las propiedades geométricas del espaciotiempo y las elecciones de coordenadas específicas utilizadas para representarlo.