Fundamentos matemáticos de la Relatividad Numérica

Simular la colisión de dos agujeros negros en una supercomputadora es, sin duda, uno de los mayores logros de la física moderna. Pero antes de escribir una sola línea de código para resolver las complejas Ecuaciones de Einstein, debemos hacernos una pregunta mucho más profunda: matemáticamente, ¿qué es exactamente el espaciotiempo?

Es posible que hayas escuchado hablar del espaciotiempo como una "malla" o un "tejido" continuo que se curva bajo el peso de la gravedad. Esta analogía teórica es muy útil, pero cuando intentamos introducir un universo dinámico en un ordenador, descubrimos que no basta con volcar fórmulas sobre una cuadrícula. Si la estructura geométrica que hay bajo esas ecuaciones no es absolutamente rigurosa, la simulación simplemente colapsa. Para que un universo virtual evolucione sin romperse, necesita cimientos matemáticos impecables.

En este curso, veremos cómo las simulaciones de Relatividad Numérica surgen de manera natural al aplicar los principios más puros de la geometría diferencial y la topología. Construiremos el andamiaje teórico que permite a los superordenadores calcular la gravedad de forma estable y causal.

En particular, comenzaremos explorando las reglas innegociables que debe cumplir el espaciotiempo —como las propiedades de Hausdorff y la paracompacidad— para entender por qué son imprescindibles para garantizar el determinismo físico y la estabilidad del cálculo. A continuación, dominaremos el verdadero lenguaje geométrico de la relatividad: espacios tangentes, 1-formas y derivadas de Lie. Incluso descubriremos el fascinante motivo por el que los símbolos de Christoffel no son verdaderos tensores, desvelando cómo este peculiar detalle matemático encapsula la esencia misma del Principio de Equivalencia.

A partir de ahí, derivaremos hacia la estructura causal del universo mediante la geometría Lorentziana. Conectaremos ideas profundamente teóricas, como los conos de luz y los horizontes de Cauchy, con los límites de la predictibilidad y las exigencias prácticas de la computación. También aprenderemos a interpretar los diagramas de Penrose-Carter, la herramienta que nos permite "extraer" las ondas gravitacionales en el infinito espacial.

Finalmente, abordaremos el desafío clave de la foliación 3+1. Exploraremos cómo teoremas fundamentales, como los de Geroch y Choquet-Bruhat, nos otorgan la validación matemática definitiva para "rebanar" el espaciotiempo continuo en capas tridimensionales y evolucionarlas en el tiempo hacia el futuro.

Aunque trataremos conceptos matemáticos profundos, el curso está diseñado para guiarte paso a paso, así que no necesitas conocimientos previos de geometría avanzada para seguir el hilo conceptual. ¿A qué esperas para dominar el verdadero lenguaje matemático del universo?