Two discs and a missing triangle: the maximally extended Kerr black hole revisited

Resumen Técnico: "Dos discos y un triángulo faltante: la revisión de la extensión máxima del agujero negro de Kerr"

Planteamiento del Problema
El artículo aborda ambigüedades y omisiones específicas en la representación estándar de la Extensión Analítica Máxima (MAE, por sus siglas en inglés) de la solución del agujero negro de Kerr. Si bien la estructura global de la geometría de Kerr está bien establecida en la literatura (notablemente por Carter, Boyer y Lindquist), el autor identifica dos problemas conceptuales persistentes:

1. La naturaleza de la superficie bidimensional que abarca la singularidad de anillo ($r=0, \theta=\pi/2$) se describe a menudo como un único disco, mientras que la geometría consta en realidad de dos discos planos distintos e isométricos.
2. Los diagramas conformes estándar utilizados para representar la MAE para el plano ecuatorial ($\theta = \pi/2$) están incompletos. No logran representar la región donde $r < 0$ dentro del plano ecuatorial, "perdiendo" efectivamente una región triangular de espacio-tiempo que existe en la extensión completa.

Metodología
El autor emplea un análisis riguroso de la métrica de Kerr en coordenadas de Boyer-Lindquist, centráéndose en el comportamiento de la métrica en $r=0$ y la topología de las superficies definidas por coordenadas constantes.

• Análisis de la Métrica: El artículo utiliza la métrica de Kerr estándar (Ec. 1) y examina la métrica inducida en la superficie $r=0, t=\text{constante}$. Al definir $\chi = a \sin \theta$, el autor demuestra que la métrica en esta superficie se reduce a $d\chi^2 + \chi^2 d\phi^2$, que es la métrica de un disco euclídeo plano.
• Examen del Rango de Coordenadas: El autor analiza el mapeo de la coordenada angular $\theta \in (0, \pi)$ al radio $\chi$. Se demuestra que el rango $\theta \in (0, \pi/2)$ y $\theta \in (\pi/2, \pi)$ mapean cada uno al rango completo $\chi \in [0, a)$, revelando así que la superficie $r=0$ consta de dos discos separados que se encuentran en la singularidad de anillo ($\chi=a$), en lugar de una única superficie continua.
• Comparación con la Literatura: El artículo revisa críticamente las representaciones existentes, incluyendo el trabajo de Carter de 1966 sobre el eje de simetría, las descripciones de Boyer-Lindquist sobre superficies de coordenadas constantes, y críticas posteriores de García-Compeán y Manko respecto a la geometría de la singularidad (específicamente la hipótesis del "dicono").
• Reconstrucción del Diagrama Conforme: Al trazar curvas cerradas en el plano $(r, \theta)$ que rodean la singularidad, el autor demuestra que una trayectoria no puede permanecer en $\theta = \pi/2$ mientras cruza de $r > 0$ a $r < 0$ sin pasar por una singularidad. Esto requiere una modificación del diagrama conforme estándar para el plano ecuatorial para incluir la región faltante.

Contribuciones Clave y Resultados

1. La Estructura de los Dos Discos: El artículo establece que la superficie que abarca la singularidad de anillo no es un único disco topológico, sino un par de discos planos e isométricos. Cada disco corresponde a un hemisferio de la coordenada $\theta$ ($0 \le \theta < \pi/2$ y $\pi/2 < \theta \le \pi$). El autor refuta la interpretación del "dicono" (un par de conos) propuesta por algunos autores, probando mediante el cálculo de la métrica que la geometría intrínseca es plana (la relación entre circunferencia y radio es $2\pi$), no cónica.
2. El "Triángulo Faltante": El autor demuestra que el diagrama de Penrose-Carter estándar para la hoja de mundo definida por $\theta = \pi/2$ y $\phi$ constante está incompleto. Mientras que los diagramas para $\theta \neq \pi/2$ muestran correctamente las regiones en forma de diamante y las extensiones de $r < 0$, el caso ecuatorial ($\theta = \pi/2$) es singular en $r=0$. Por consiguiente, la región $r < 0$ para $\theta = \pi/2$ no está representada en el diagrama estándar. El autor propone que esta región faltante debería representarse como un triángulo (o múltiples copias de este) unido al diagrama estándar, representando la extensión ecuatorial hacia el dominio de $r$ negativo.
3. Clarificación de la Interpretación de $r < 0$: El artículo aclara que la región $r < 0$ en la solución de Kerr con masa $m > 0$ es isométrica a la región $r > 0$ de una solución de Kerr con masa $m < 0$ (bajo la transformación $r' = -r$). Sin embargo, el autor argumenta que describir la MAE como el "pegado" de dos soluciones separadas ($m>0$ y $m<0$) es engañoso, ya que representan diferentes cartas de coordenadas en el mismo vecindad de la carta subyacente.
4. Refutación de Reclamaciones de Curvatura: El autor rebate los argumentos de que la superficie $r=0$ en la solución de Kerr es una superficie curva (como una esfera o pseudoesfera) o un cono, confirmando que para la solución de vacío de Kerr, la superficie es estrictamente plana.

Significado
El artículo sirve como un adendo correctivo a la literatura establecida sobre el agujero negro de Kerr. Su importancia radica en:

• Precisión en la Topología: Corregir la creencia errónea común de que la singularidad es abarcada por un solo disco, aclarando en su lugar que es una estructura de doble disco.
• Integridad de los Diagramas: Identificar una brecha específica en la representación conforme estándar del plano ecuatorial del espacio-tiempo de Kerr. Al añadir el "triángulo faltante", el autor proporciona una representación visual más precisa de la extensión analítica máxima para el caso específico de $\theta = \pi/2$.
• Claridad Pedagógica: El trabajo tiene como objetivo resolver la confusión derivada de las diversas interpretaciones de la superficie $r=0$ (disco plano vs. cono vs. superficie curva) y la relación entre las interpretaciones de masa positiva y negativa en el contexto de la carta de Boyer-Lindquist.

El autor enmarca modestamente su trabajo no como una revolución en la teoría de los agujeros negros de Kerr, sino como una aclaración necesaria de detalles que han sido oscurecidos u omitidos en los tratamientos y libros de texto estándar, asegurando que las propiedades geométricas y topológicas de la MAE estén representadas con precisión.