Capítulo 6 ¿Cuál es la naturaleza de la gravedad? — Teoría de la relatividad general¶
Resumen de los capítulos anteriores: En Cap. 5, tras organizar los puntos clave de la relatividad especial, introdujimos las coordenadas del cono de luz propias de la teoría de cuerdas. Sin embargo, la relatividad especial solo trata sistemas inerciales (observadores en movimiento rectilíneo uniforme) y no incluye aceleración ni gravedad. Los problemas planteados en Cap. 1 —"la gravedad de Newton no explica por qué los cuerpos se atraen" y "la gravedad se transmite instantáneamente"— siguen sin resolver.
Objetivo de este capítulo
- Ofrecer una visión panorámica de los resultados de la relatividad general (Cap.5–Cap.14) desarrollados en detalle en Relatividad General, y reunir solo los elementos esenciales necesarios para la teoría de cuerdas
- Concretamente, cubrir tres puntos: (1) la transición desde el principio de equivalencia a "gravedad = geometría del espaciotiempo", (2) la división de roles entre tensor métrico, ecuación geodésica, curvatura y ecuaciones de Einstein, (3) el uso de la solución de Schwarzschild
- Al mismo tiempo, poner énfasis en los puntos de conexión con la teoría de cuerdas — la "forma conveniente" de la acción de la partícula se extiende directamente a la acción de la cuerda (Cap. 13), las ecuaciones de Einstein se rederivan como teoría efectiva de baja energía de la teoría de cuerdas (Cap. 15), y la existencia de singularidades hace necesaria la gravedad cuántica (Cap. 12)
Cómo leer este capítulo
Todas las derivaciones y cálculos se trataron con detalle en Relatividad General Cap. 5. Este capítulo se centra en el inventario de puntos clave y en explicitar las conexiones con la teoría de cuerdas. Se recomienda a los lectores primerizos leer primero Relatividad General completo y luego volver a este capítulo. Para quienes ya leyeron Relatividad General, este capítulo sirve como una revisión de la relatividad general desde la perspectiva de "qué es relevante en la teoría de cuerdas".
%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart TD
A["Principio de equivalencia\nAceleración ≡ Gravedad (local)"] --> B["Gravedad = Geometría del espaciotiempo"]
B --> C["Tensor métrico g_μν"]
C --> D["Ecuación geodésica\nMovimiento de partículas"]
C --> E["Curvatura · Ecuaciones de Einstein\nDinámica del espaciotiempo"]
D --> F["<b>Acción conveniente S_useful</b>\nPreparación para la teoría de cuerdas"]
F --> G["Acción de la cuerda\n(Capítulo 13)"]
E --> H["Solución de Schwarzschild"]
H --> I["Precesión del perihelio de Mercurio 43 segundos de arco"]
H --> J["Singularidad → Gravedad cuántica\n(Capítulos 10-12)"]Fig. 6.1: Camino desde la relatividad general hacia la teoría de cuerdas y la resolución del problema de la gravedad cuántica
6.1 Revisión de la motivación — Principio de equivalencia y "gravedad = geometría del espaciotiempo"¶
🟡 Lina: Al final de Cap. 5, hablamos sobre el ascensor. Dentro de un ascensor acelerado se siente como si la gravedad fuera más fuerte, y en un ascensor en caída libre se experimenta ingravidez.
🔵 Kai: Era aquello de que la aceleración y la gravedad no se pueden distinguir, ¿verdad?
🟡 Lina: Exacto, este es el principio de equivalencia (equivalence principle). Einstein lo llamó "el pensamiento más feliz de mi vida". Su contenido tiene 3 niveles:
- Masa inercial = masa gravitacional (\(m_I = m_G\), confirmado experimentalmente con precisión de \(10^{-14}\))
- Principio de equivalencia débil: Un sistema en reposo dentro de un campo gravitatorio uniforme y un sistema acelerado en el espacio sin gravedad son localmente indistinguibles
- Principio de equivalencia de Einstein: Dentro de un pequeño laboratorio en caída libre, ningún experimento puede detectar la presencia del campo gravitatorio — allí la relatividad especial se cumple tal cual
Como consecuencia, la gravedad debe describirse no como una "fuerza" sino como una "propiedad geométrica del espaciotiempo" — este es el punto de partida de la relatividad general. Mira la Fig. 6.2「Ilustración del principio de equivalencia」. (A) Un ascensor en reposo en un campo gravitatorio y (B) un ascensor acelerando en el espacio exterior producen exactamente los mismos resultados experimentales. Por otro lado, (C) un ascensor en caída libre está en ingravidez — estos no se pueden distinguir localmente.
Fig. 6.2: Ilustración del principio de equivalencia. (A) Reposo en un campo gravitatorio y (B) aceleración hacia arriba en el espacio son localmente indistinguibles. (C) En caída libre hay ingravidez, claramente diferente de (A)/(B).
⚪ Mei: Lina, me llama la atención la condición de "localmente" — si observamos una región amplia, el campo gravitatorio varía de un lugar a otro, así que se podría distinguir de la aceleración, ¿no?
🟡 Lina: Exactamente. Esa "inhomogeneidad del campo gravitatorio" se llama fuerza de marea. Y la fuerza de marea es precisamente lo que se manifiesta como curvatura del espaciotiempo. Los componentes que se pueden eliminar con el principio de equivalencia (derivadas de primer orden de la métrica = símbolos de Christoffel) y los que no se pueden eliminar (derivadas de segundo orden de la métrica = curvatura de Riemann) — esta distinción es el corazón de la estructura matemática de la relatividad general.
📖 Conexión con Relatividad General: El principio de equivalencia, la equivalencia entre masa inercial y gravitacional, el experimento mental del ascensor en detalle, las fuerzas de marea y el corrimiento al rojo gravitacional (experimento de Pound-Rebka) se trataron con detalle en Relatividad General Cap. 5.
✅ Verificación de comprensión: ¿Cómo se llama el principio que establece que localmente no se puede distinguir entre aceleración y gravedad?
Respuesta
Principio de equivalencia (equivalence principle). Como consecuencia, la gravedad se describe no como una "fuerza" sino como una propiedad geométrica del espaciotiempo.
6.2 Resumen de los puntos clave de la relatividad general (lo que se usa en la teoría de cuerdas)¶
🟡 Lina: Hagamos un inventario de las herramientas preparadas en Relatividad General Cap. 5, presentándolas en la forma que se usa en la teoría de cuerdas.
Sistema de unidades de este capítulo
En la relatividad general, hay muchas situaciones donde se compara con aplicaciones cotidianas como el límite newtoniano o el GPS, así que en este capítulo volvemos a escribir \(c\) explícitamente, más cercano al sistema SI. En el libro en general, usamos \(c = 1\) (relatividad), \(\hbar = c = 1\) (QFT · teoría de cuerdas) o unidades SI (aplicaciones cotidianas) según la situación. Si es necesario, consulta la tabla de correspondencia de sistemas de unidades en Relatividad General Cap. 4.
Tensor métrico \(g_{\mu\nu}\) (Relatividad General Cap. 6)¶
El tensor métrico es la generalización de la métrica de Minkowski \(\eta_{\mu\nu}\) de Cap. 5:
\(g_{\mu\nu}\) es una matriz simétrica 4×4 en cada punto (\(g_{\mu\nu} = g_{\nu\mu}\), así que de las 16 componentes de 4×4, las de arriba y abajo de la diagonal son iguales, quedando 4 en la diagonal + 6 en el triángulo superior = 10 independientes), y es función de las coordenadas. "Que la regla de medir cambie según el lugar" es la expresión matemática de "que el espaciotiempo está curvado". En un campo gravitatorio débil, con el potencial gravitatorio newtoniano \(\Phi\) (que en un punto a distancia \(r\) de un cuerpo de masa \(M\) vale \(\Phi = -GM/r\), introducido en Cap. 1):
se establece la conexión (el potencial gravitatorio es parte de la métrica).
🔵 Kai: ¿En serio el potencial de Newton entra directamente como componente de la métrica?
🟡 Lina: Así es. \(g_{00}\) es la "regla de medir" en la dirección temporal, y para un reloj en reposo (\(dx^i = 0\)), el elemento de línea queda solo como \(ds^2 = g_{00}\,c^2 dt^2\). La convención de signos \((-,+,+,+)\) significa que los signos de las componentes diagonales de la métrica son (tiempo, espacio, espacio, espacio) = (\(-\), \(+\), \(+\), \(+\)). Por ejemplo, en la métrica de Minkowski del espaciotiempo plano teníamos \(\eta_{00} = -1\), \(\eta_{11} = \eta_{22} = \eta_{33} = +1\) (Cap. 5). En el caso general también se mantiene \(g_{00} < 0\), así que \(ds^2 = g_{00}\,c^2 dt^2 < 0\) — esta es la señal de un "intervalo temporal".
El tiempo propio \(\tau\) es "el tiempo que marca el propio reloj", y en Relatividad General Cap. 4 se definió como \(d\tau^2 = -ds^2/c^2\) (en el sistema de unidades \(c = 1\) es \(d\tau^2 = -ds^2\)). En este capítulo usamos el sistema de unidades donde \(c\) es explícito, y tomamos las coordenadas \(x^0 = ct\), \(x^i = (x, y, z)\) (la convención de multiplicar la coordenada temporal por \(c\) para igualar las dimensiones a longitud — ver Relatividad General Cap. 4). Como \(x^0 = ct\), la variación infinitesimal es \(dx^0 = c\,dt\). Entonces el elemento de línea es \(ds^2 = g_{\mu\nu}\,dx^\mu dx^\nu\), y para un reloj en reposo (\(dx^i = 0\)) queda solo \(ds^2 = g_{00}\,(dx^0)^2 = g_{00}\,c^2 dt^2\). Aquí el tiempo propio \(\tau\) es "el tiempo que marca el propio reloj", definido como \(d\tau^2 = -ds^2/c^2\) (¿por qué el signo menos? Porque para una línea de mundo temporal \(ds^2 < 0\), así que \(-ds^2 > 0\) lo convierte en una cantidad positiva — ver Relatividad General Cap. 4). Sustituyendo \(ds^2 = g_{00}\,c^2 dt^2\) obtenemos \(d\tau^2 = -g_{00}\,dt^2\). Como \(g_{00} < 0\), tenemos \(-g_{00} > 0\), y tomando \(d\tau > 0\) (el tiempo avanza hacia adelante) se obtiene \(d\tau = \sqrt{-g_{00}}\,dt\).
⚪ Mei: Es decir, cuanto más fuerte es la gravedad, menor es \(-g_{00}\), y \(d\tau < dt\) — el reloj se atrasa.
🟡 Lina: Exacto. En un campo gravitatorio débil, \(g_{00} \approx -(1 + 2\Phi/c^2)\) con \(|\Phi/c^2| \ll 1\), así que \(-g_{00} \approx 1 + 2\Phi/c^2 < 1\) (\(\Phi < 0\)). Cuando \(0 < -g_{00} < 1\), tenemos \(\sqrt{-g_{00}} < 1\), y por tanto \(d\tau = \sqrt{-g_{00}}\,dt < dt\) — cuanto más fuerte es la gravedad (mayor \(|\Phi|\)), más lentamente avanza el reloj. Las demás componentes (direcciones espaciales) también cambian estrictamente, pero en un campo gravitatorio débil el cambio de \(g_{00}\) es dominante.
¿Cuánto se atrasa un reloj cerca del Sol?
En la superficie solar (\(r = R_\odot \approx 7.0 \times 10^8\) m), sustituyendo \(\Phi = -GM_\odot/r\) en la aproximación de campo débil \(g_{00} \approx -(1 + 2\Phi/c^2)\) se obtiene \(g_{00} \approx -(1 - 2GM_\odot/(c^2 r))\). Con \(2GM_\odot/c^2 \approx 3.0\) km (que corresponde al radio de Schwarzschild \(r_s\) que aparecerá después):
El reloj en la superficie solar avanza 4,3 millonésimas más lento que un reloj lejano. En los satélites GPS, un efecto similar en el campo gravitatorio terrestre alcanza 45 microsegundos por día. Como el GPS mide distancias a partir del tiempo de llegada de ondas de radio que viajan a la velocidad de la luz, si el tiempo se desvía 45 μs, la distancia se desvía \(c \times 45\,\mu\text{s} \approx 3 \times 10^8 \times 45 \times 10^{-6}\,\text{m} \approx 13.5\,\text{km}\) — sin corrección, se produciría un error de posición del orden de 10 km por día. La relatividad general está integrada en la tecnología cotidiana.
Ecuación geodésica (Relatividad General Cap. 8)¶
🟡 Lina: Los objetos siguen geodésicas en el espaciotiempo curvo — las trayectorias "más rectas" posibles en el espaciotiempo. La ecuación de movimiento es:
\(\Gamma^\mu_{\alpha\beta}\) son los símbolos de Christoffel (cantidades construidas combinando derivadas de primer orden de la métrica \(g_{\mu\nu}\)). Intuitivamente representan el coeficiente de "cuánto se curvan los ejes coordenados en ese lugar", y en un campo gravitatorio débil \(\Gamma^i_{00} \approx \frac{1}{c^2}\frac{\partial \Phi}{\partial x^i}\), lo que corresponde a la aceleración gravitatoria newtoniana \(\mathbf{g} = -\nabla\Phi\). En un espaciotiempo plano son todos cero, es decir, la versión relativista de la primera ley de Newton. En un espaciotiempo curvo \(\Gamma \neq 0\), y la descripción de la relatividad general es que no es que algo sea "atraído por una fuerza" sino que "sigue la trayectoria natural en un espaciotiempo curvo".
🔵 Kai: Ya veo, lo "natural" es caer sin sentir gravedad, y lo "antinatural" es mantenerse firme con un cohete.
🟡 Lina: Exactamente. Dicho al revés, un objeto que se mantiene estático resistiendo la gravedad con propulsión de cohete es el que "se desvía de la geodésica" — es decir, está acelerando (Fig. 6.3「Concepto de geodésica」).
Fig. 6.3: Concepto de geodésica. Izquierda: En un espacio plano, el camino más corto es una recta. Centro: En una esfera, los círculos máximos son geodésicas. Derecha: En un diagrama espaciotemporal con campo gravitatorio, un objeto en caída libre sigue una geodésica, mientras que un objeto estacionario por propulsión de cohete se desvía de la geodésica.
Curvatura y tensor de Riemann (Relatividad General Cap. 13)¶
Lo que mide "la curvatura real que no se puede eliminar con un cambio de coordenadas" es el tensor de curvatura de Riemann \(R^\rho{}_{\sigma\mu\nu}\) (derivadas de segundo orden de la métrica). Intuitivamente es "la cantidad en que se desvía la dirección de una flecha (vector) cuando se la transporta sobre una superficie curva sin cambiar su orientación (esto se llama transporte paralelo), dando una vuelta completa y regresando al punto de partida". Por ejemplo, si colocas una flecha apuntando al norte en el polo norte de un globo terráqueo, la bajas por un meridiano hasta el ecuador, la mueves 90° al este por el ecuador, y la vuelves a subir por un meridiano hasta el polo norte, la flecha habrá rotado 90° respecto a su orientación inicial — esto no ocurre en una superficie plana, así que es la prueba de que "está curvada". En 4 dimensiones, las restricciones de simetría reducen las componentes independientes a 20 (un tensor con 4 índices tendría originalmente \(4^4 = 256\) componentes, pero hay muchas simetrías como "intercambiar los dos primeros índices cambia el signo" o "intercambiar el primer par con el segundo par no cambia el valor", lo que las reduce drásticamente — ver Relatividad General Cap. 13 para los detalles. Aquí basta con llevarse el resultado "20 componentes").
🔵 Kai: ¿256 componentes se reducen a 20? La simetría es realmente poderosa…
🟡 Lina: Así es. Y mediante la contracción — la operación de elegir un par de índices del tensor y "sumarlos para condensarlos" — se crea el tensor de Ricci \(R_{\mu\nu}\) y el escalar de curvatura \(R\) con la información comprimida. La contracción consiste en superponer el mismo índice arriba y abajo y sumar de 0 a 3 (la convención de suma de Einstein introducida en Cap. 5). Para recordar, \(A^\mu B_\mu = A^0 B_0 + A^1 B_1 + A^2 B_2 + A^3 B_3\) — cuando la misma letra aparece arriba y abajo se suma automáticamente. Concretamente:
En el lado derecho, en \(R^\lambda{}_{\mu\lambda\nu}\), \(\lambda\) aparece arriba (posición 1) y abajo (posición 3) — este es el ejemplo concreto de contracción "sumar sobre \(\lambda\) de 0 a 3". De manera similar, en \(R = g^{\mu\nu}R_{\mu\nu}\) se contraen tanto \(\mu\) como \(\nu\), reduciendo el tensor a un escalar (un simple número). Aquí \(g^{\mu\nu}\) es la matriz inversa de la métrica \(g_{\mu\nu}\). Igual que multiplicar una matriz \(A\) por su inversa \(A^{-1}\) da la matriz identidad \(I\), se cumple \(g^{\mu\alpha}g_{\alpha\nu} = \delta^\mu_\nu\). \(\delta^\mu_\nu\) es la delta de Kronecker — una cantidad que vale 1 cuando \(\mu = \nu\) y 0 cuando \(\mu \neq \nu\), exactamente las componentes de la matriz identidad. Usando \(g^{\mu\nu}\) se puede crear \(A^\mu = g^{\mu\nu}A_\nu\) a partir de un tensor con índice inferior \(A_\mu\) — esto se llama "subir el índice".
⚪ Mei: Subir y bajar índices es tarea de la matriz inversa \(g^{\mu\nu}\), y la contracción reduce el rango del tensor sumando — combinando ambas operaciones, se puede comprimir la información del tensor de Riemann de 20 componentes hasta llegar a un solo escalar.
Ecuaciones de Einstein (Relatividad General Cap. 14)¶
Cómo se curva el espaciotiempo está determinado por la distribución de materia y energía:
El lado izquierdo \(G_{\mu\nu} \equiv R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R\) es el tensor de Einstein (la curvatura del espaciotiempo), y el lado derecho \(T_{\mu\nu}\) es el tensor de energía-momento (la cantidad que representa cuánta energía, momento y presión existe en cada punto). La famosa frase de Wheeler:
El espaciotiempo le dice a la materia cómo moverse, y la materia le dice al espaciotiempo cómo curvarse.
🟡 Lina: Resumiendo las herramientas hasta aquí: \(g_{\mu\nu}\) es la "regla de medir", la ecuación geodésica es "el movimiento sobre esa regla", y las ecuaciones de Einstein son "cómo se determina la regla misma". Es una estructura de tres capas.
⚪ Mei: Entiendo — la ecuación que determina la regla de medir y la ecuación de cómo se mueven los objetos sobre esa regla existen por separado.
🔵 Kai: Si el lado izquierdo es la curvatura del espaciotiempo y el derecho es la materia… ¿entonces el espaciotiempo puede curvarse incluso sin materia? ¿Puede haber soluciones con el lado izquierdo no nulo aunque \(T_{\mu\nu} = 0\)? Además, ¿cómo aparece esta ecuación en la teoría de cuerdas?
🟡 Lina: Buenas preguntas. Primero la primera parte — incluso con \(T_{\mu\nu} = 0\) (vacío), existen soluciones no triviales que satisfacen \(R_{\mu\nu} = 0\). De hecho, la solución de Schwarzschild que veremos enseguida es exactamente eso. Las ondas gravitacionales también son un tipo de solución de vacío. Incluso sin materia, el espaciotiempo mismo puede "ondular".
Respecto a la relación con la teoría de cuerdas, cuando en Cap. 15 examinamos los modos de vibración de masa cero de la cuerda, encontramos que contiene un modo de espín 2, y a partir de su acción efectiva de baja energía las ecuaciones de Einstein se rederivan automáticamente. La relatividad general está contenida como aproximación de la teoría de cuerdas — esta es una de las razones principales por las que la teoría de cuerdas se considera seriamente como candidata a gravedad cuántica.
✅ Verificación de comprensión: Describe la relación entre la teoría de cuerdas y las ecuaciones de Einstein. ¿Por qué esto constituye un argumento a favor de la teoría de cuerdas como candidata a gravedad cuántica?
Respuesta
A partir de la acción efectiva de baja energía del modo de vibración de masa cero de la cuerda (espín 2), las ecuaciones de Einstein se rederivan automáticamente. Es decir, la relatividad general está contenida como aproximación de la teoría de cuerdas, lo que muestra que la teoría de cuerdas puede describir la gravedad de forma natural.
📖 Referencia a temas ya estudiados: El significado del tensor métrico en Relatividad General Cap. 6, la derivación variacional de la ecuación geodésica y el cálculo concreto de los símbolos de Christoffel en Relatividad General Cap. 8, el significado geométrico del tensor de Riemann en Relatividad General Cap. 13, la derivación de las ecuaciones de Einstein por variación de la acción de Einstein-Hilbert y la cuestión de prioridad entre Einstein y Hilbert en Relatividad General Cap. 14.
✅ Verificación de comprensión: ¿Cómo se describe la "gravedad" en la relatividad general?
Respuesta
Como curvatura del espaciotiempo (variación del tensor métrico \(g_{\mu\nu}\) según el lugar). Las partículas no reciben una fuerza, sino que se mueven a lo largo de geodésicas del espaciotiempo curvo.
6.3 De la acción de la partícula a la acción de la cuerda — Aparición de la acción conveniente¶
🟡 Lina: A partir de aquí viene el contenido propio de este capítulo. En el proceso de derivación de la ecuación geodésica de la relatividad general, se esconde una estructura importante que se extiende directamente a la teoría de cuerdas (Cap. 13). Primero confirmemos la forma de la acción de la partícula y luego veamos la extensión a cuerdas.
Acción de la partícula: longitud de la línea de mundo¶
🟡 Lina: Cuando una partícula de masa \(m\) se mueve en un espaciotiempo curvo, su acción es la integral del tiempo propio a lo largo de la línea de mundo — es decir, proporcional a la longitud de la línea de mundo:
Aquí \(\lambda\) es un parámetro arbitrario que especifica la línea de mundo — la misma idea que en matemáticas de bachillerato cuando se representa una curva como \((x(t), y(t))\) con el parámetro \(t\): una etiqueta que indica "qué punto" de la línea de mundo (un parámetro general que no tiene por qué ser el tiempo propio). Para una línea de mundo temporal, \(g_{\mu\nu}dx^\mu dx^\nu < 0\) (bajo la convención de signos \((-,+,+,+)\)), así que \(-g_{\mu\nu}dx^\mu dx^\nu > 0\) y se puede tomar la raíz cuadrada. Aquí definimos \(ds \equiv \sqrt{-g_{\mu\nu}dx^\mu dx^\nu}\) (también existe la convención de escribir \(ds^2 = -g_{\mu\nu}dx^\mu dx^\nu\)). En particular, si elegimos \(\lambda\) como el tiempo propio \(\tau\), entonces \(ds = c\,d\tau\). Esta acción da el mismo valor independientemente de la elección de \(\lambda\) (invariancia bajo reparametrización). Variando esta acción se obtiene la ecuación geodésica (ver Relatividad General Cap. 8).
🔵 Kai: La raíz cuadrada parece que hace los cálculos complicados.
Acción conveniente: forma equivalente sin raíz cuadrada¶
🟡 Lina: Precisamente, queremos evitar la raíz cuadrada. La idea es simple: "si ponemos directamente el contenido de la raíz cuadrada como lagrangiano, ¿no dará la misma trayectoria?". La conclusión, adelantándola, es que existe una acción que da la misma geodésica pero sin raíz cuadrada, más manejable. Eso sí, se añade un convenio: "elegir el parámetro \(\tau\) como tiempo propio" — explicaré el significado de este convenio después de la fórmula:
(El contenido original bajo la raíz cuadrada era \(-g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\), pero para una línea de mundo temporal \(g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu < 0\), así que \(-g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu > 0\). Aquí usamos \(g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\) directamente como integrando, con un prefactor global \(m/2 > 0\). La diferencia de signo no afecta las soluciones de la condición de estacionariedad.)
Esta acción tiene una forma diferente de la original \(S_{\text{partícula}}\) (no tiene raíz cuadrada), pero se puede demostrar que da la misma geodésica. Primero sobre los prefactores \(m\) y \(c\) — multiplicar toda la acción por una constante no cambia "la trayectoria que hace estacionaria la acción". Lo que determina la forma de la trayectoria por variación es la condición \(\delta S = 0\), así que las constantes multiplicativas son irrelevantes. Por ejemplo, la trayectoria que minimiza \(S\) y la que minimiza \(3S\) son la misma, ¿verdad? Por eso \(m\) se omite frecuentemente, pero aquí lo mantenemos para facilitar la comparación con la acción de la cuerda más adelante.
⚪ Mei: Es decir, \(m\) solo fija la "escala" de la acción y no afecta la forma de la trayectoria.
🟡 Lina: Exacto. Ahora sobre la ausencia de raíz cuadrada — variando esta acción se obtiene la ecuación geodésica. Además, el integrando de esta acción (la cantidad que corresponde al lagrangiano) no depende explícitamente de \(\tau\) mismo (\(\tau\) no aparece directamente en la fórmula, solo entra a través de \(x^\mu(\tau)\)). En física de bachillerato aprendiste que "si las únicas fuerzas son conservativas, la energía se conserva". Eso es en realidad un caso especial de un principio más general: "si las leyes del sistema no cambian con el tiempo, existe una cantidad conservada". Aquí ocurre lo mismo — si miras el integrando de \(S_{\text{useful}}\), \(\frac{m}{2}g_{\mu\nu}(x)\dot{x}^\mu\dot{x}^\nu\), \(g_{\mu\nu}\) es función de \(x\), \(\dot{x}^\mu\) también es función de \(x\) y \(\tau\), pero no hay ningún término donde \(\tau\) aparezca directamente (como \(\tau^2\) o \(\sin\tau\)). Cuando esto ocurre — cuando el lagrangiano no contiene explícitamente \(\tau\) (es decir, "la ley es la misma en cualquier momento de \(\tau\)") — existe automáticamente una cantidad cuyo valor no cambia a lo largo de las ecuaciones de movimiento (constante de movimiento).
🔵 Kai: Es la generalización de la conservación de la energía que vimos en Cap. 1. "Si el tiempo no aparece directamente, hay una cantidad conservada" — ¿esa idea se usa aquí también?
🟡 Lina: Exactamente. En Cap. 1 aprendiste "simetría de traslación temporal → conservación de la energía". Entonces la cantidad conservada tenía la forma \(H = p\dot{q} - L\). Aquí se aplica la misma lógica, con \(\tau\) haciendo el papel del tiempo, así que aparece una cantidad conservada. El lagrangiano de \(S_{\text{useful}}\) es \(L = \frac{m}{2}g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\), que es una forma cuadrática homogénea en \(\dot{x}^\mu\) — es decir, todos los términos contienen exactamente dos factores de \(\dot{x}\) (como \(g_{00}(\dot{x}^0)^2\) o \(g_{01}\dot{x}^0\dot{x}^1\); no existen términos con solo un \(\dot{x}\) ni términos sin \(\dot{x}\)). Recuerda la definición de momento canónico que aprendiste en Cap. 1 — era \(p = \partial L/\partial\dot{q}\). Aquí hay 4 coordenadas (\(x^0, x^1, x^2, x^3\)), así que para cada componente se define \(p_\mu = \partial L/\partial\dot{x}^\mu\). Cuando derivamos \(L = \frac{m}{2}g_{\alpha\beta}\dot{x}^\alpha\dot{x}^\beta\) respecto a \(\dot{x}^\mu\), en la suma hay dos tipos de términos donde aparece \(\dot{x}^\mu\): cuando \(\alpha = \mu\) y cuando \(\beta = \mu\). Por la simetría de \(g_{\alpha\beta}\) (\(g_{\alpha\beta} = g_{\beta\alpha}\)), estas dos contribuciones tienen el mismo valor, así que juntas dan un factor 2 que se cancela con el \(\frac{1}{2}\) del prefactor, obteniendo \(p_\mu = m\,g_{\mu\nu}\dot{x}^\nu\) (sumando sobre \(\nu\)) (ver Relatividad General Cap. 8 para los detalles del cálculo). Entonces \(p_\mu\dot{x}^\mu = m\,g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu = 2L\). La fórmula de la cantidad conservada que aprendiste en Cap. 1 era \(H = p\dot{q} - L\). Con 4 coordenadas se extiende a \(H = p_\mu\dot{x}^\mu - L\) (sumando sobre \(\mu\) de 0 a 3). Sustituyendo: \(H = 2L - L = L\) — es decir, \(L = \frac{m}{2}g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\) es constante (derivación rigurosa en Relatividad General Cap. 8). La constante de movimiento en este caso es:
🔵 Kai: Oh, sale limpiamente — \(H = 2L - L = L\) y el propio lagrangiano es la cantidad conservada.
🟡 Lina: Esto sale automáticamente. Elegir esta constante como \(-c^2\) corresponde a "tomar \(\tau\) como tiempo propio". De este modo se puede demostrar que se obtienen las mismas geodésicas que con la acción original con raíz cuadrada. Intuitivamente, bajo la parametrización por tiempo propio se cumple \(g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu = -c^2\) (constante). Entonces el integrando de la acción original \(\sqrt{-g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu} = c\) también es constante, así que al variar no hay que considerar "el efecto del cambio del contenido bajo la raíz cuadrada", y como resultado se obtiene la misma ecuación de Euler-Lagrange (= ecuación geodésica) que la variación de la acción conveniente. En Relatividad General Cap. 8 se trató este hecho con la convención de que "al elegir \(\tau\) como tiempo propio, el contenido bajo la raíz cuadrada se vuelve la constante \(L=1\)".
⚪ Mei: Es decir, ambas acciones dan la misma trayectoria (geodésica), pero la acción conveniente necesita el convenio adicional de ajustar la escala de \(\tau\) al tiempo propio.
🔵 Kai: ¿Y aun con ese convenio adicional es "conveniente"?
🟡 Lina: Eliminar la raíz cuadrada simplifica drásticamente el cálculo variacional. Tener un convenio más sobre el parámetro es un precio pequeño comparado con ese beneficio.
🔵 Kai: Eliminar la raíz cuadrada a cambio de un convenio sobre el parámetro… no sé si se gana o se pierde. Pero, ¿esta forma es solo para este capítulo? ¿O vuelve a aparecer después?
🟡 Lina: Buena pregunta. El punto es que esta forma de acción conveniente se generaliza directamente a la teoría de cuerdas.
Extensión a cuerdas (adelanto del Capítulo 13)¶
🟡 Lina: Al pasar de una partícula puntual a una cuerda, la "línea de mundo" se convierte en una "hoja de mundo (worldsheet)", y la "longitud" se convierte en "área". La acción natural es la acción de Nambu-Goto — el área de la hoja de mundo:
Aquí \(\int d^2\sigma\) es la integral bidimensional sobre la hoja de mundo (\(\int d\tau\,d\sigma\)). \(\det\) es el determinante (para una matriz 2×2 \(\begin{pmatrix}a & b\\c & d\end{pmatrix}\) es \(ad - bc\)). \(T\) es la tensión de la cuerda — la energía por unidad de longitud de la cuerda (es decir, una constante que representa cuán "difícil de estirar" es la cuerda, con las mismas dimensiones que la tensión de un hilo cotidiano). \(\sigma^a = (\tau, \sigma)\) son los dos parámetros de la hoja de mundo, \(X^\mu(\sigma^a)\) es la posición de la cuerda en el espaciotiempo. Nota: Aquí \(\tau\) y \(\sigma\) son los dos parámetros de la hoja de mundo, diferentes del tiempo propio \(\tau\) usado para la línea de mundo de la partícula en la sección anterior — es el mismo símbolo pero el contexto ha cambiado. Aquí aparece la notación \(\partial_a X^\mu \equiv \partial X^\mu/\partial\sigma^a\), que es la derivada parcial — \(X^\mu\) depende de dos variables \(\tau\) y \(\sigma\), y la operación de fijar una (por ejemplo \(\sigma\)) y derivar solo respecto a la otra (\(\tau\)). La \(dx/dt\) que aprendiste en bachillerato es la derivada cuando hay una sola variable, pero cuando hay varias variables y "derivamos respecto a una sola sin mover las demás", eso es la derivada parcial. Se usa el símbolo \(\partial\) (de parcial) para distinguirla del \(d\) ordinario.
🔵 Kai: En la partícula había un solo parámetro (\(\tau\)), pero en la cuerda hay dos (\(\tau, \sigma\)), así que se necesitan derivadas parciales.
🟡 Lina: Exacto. Con esta notación podemos escribir la definición de \(\gamma_{ab}\), pero la explicación que sigue a partir de aquí es la motivación de "por qué aparece esta cantidad" — incluso si no puedes seguir el cálculo con índices, basta con llevarse la conclusión final (\(\gamma_{ab}\) es la regla de medir sobre la hoja de mundo).
¿Por qué se necesita \(\gamma_{ab}\) además de \(g_{\mu\nu}\)? Porque \(g_{\mu\nu}\) es la regla de medir de todo el espaciotiempo 4-dimensional, pero la hoja de mundo de la cuerda es una "lámina" bidimensional, así que necesitamos extraer solo las distancias sobre esa superficie 2D. Los índices 4-dimensionales \(\mu, \nu\) toman valores de 0 a 3, pero la hoja de mundo es 2-dimensional, así que los índices de la hoja de mundo \(a, b\) solo toman dos valores: 0 y 1 (\(\sigma^0 = \tau\), \(\sigma^1 = \sigma\)). Es decir, \(\gamma_{ab}\) es una matriz 2×2.
La definición es \(\gamma_{ab} \equiv \partial_a X^\mu\,\partial_b X^\nu\,g_{\mu\nu}\), y se llama métrica inducida. El significado es simple — cuando variamos infinitesimalmente los parámetros sobre la hoja de mundo, la posición espaciotemporal de la cuerda cambia en \(dX^\mu = \partial_a X^\mu\,d\sigma^a\) (por la convención de suma sobre \(a\), se expande como \(= \frac{\partial X^\mu}{\partial\tau}d\tau + \frac{\partial X^\mu}{\partial\sigma}d\sigma\)), así que la distancia sobre la hoja de mundo medida con la métrica del espaciotiempo es:
Expandiendo: \(ds^2_{\text{hoja de mundo}} = \gamma_{00}\,d\tau^2 + 2\gamma_{01}\,d\tau\,d\sigma + \gamma_{11}\,d\sigma^2\), donde \(\gamma_{00}\) es "el cuadrado de la distancia espaciotemporal al moverse un poco en la dirección \(\tau\)", \(\gamma_{11}\) es "el cuadrado de la distancia espaciotemporal al moverse un poco en la dirección \(\sigma\)", y \(\gamma_{01}\) es "el término cruzado cuando las dos direcciones no son ortogonales" — exactamente la misma estructura que \(g_{\mu\nu}\) determinando distancias en cada dirección en 4D, pero reducida a 2D. Es decir, \(\gamma_{ab}\) es "la regla de medir sobre la hoja de mundo" — la regla de medir 4-dimensional \(g_{\mu\nu}\) restringida a la superficie 2D. \(\sqrt{-\det(\gamma_{ab})}\) da el elemento de área de la hoja de mundo. Los detalles se tratan en Cap. 13. Al igual que la acción con raíz cuadrada de la partícula, esta forma también es difícil de manejar.
Así que, con la misma idea que en el caso de la partícula, se usa una acción equivalente sin raíz cuadrada — la acción de Polyakov:
Aquí \(h_{ab}\) es una métrica auxiliar 2×2 introducida sobre la hoja de mundo, una "herramienta" que hace la fórmula más manejable sin añadir grados de libertad físicos. Puede parecer extraño que al introducir una nueva variable no aumenten los grados de libertad, pero la ecuación de movimiento de \(h_{ab}\) (la condición obtenida al variar \(S_P\) respecto a \(h_{ab}\)) exige \(h_{ab} = \gamma_{ab}\), así que \(h_{ab}\) no es un grado de libertad independiente sino que está completamente determinado por las otras variables. Con la misma idea de que en el caso de la partícula "se eliminó la raíz cuadrada a cambio de un convenio sobre el parámetro", en la cuerda se introduce \(h_{ab}\) a cambio de su ecuación de movimiento como condición adicional — pero el beneficio de eliminar la raíz cuadrada es mayor. \(h^{ab}\) es su matriz inversa, \(h = \det(h_{ab})\) es su determinante. Como la hoja de mundo también tiene una dirección temporal, \(h_{ab}\) tiene signatura minkowskiana y el determinante \(h\) es negativo — por eso se toma \(-h > 0\) y \(\sqrt{-h}\) (por la misma razón que escribimos \(\sqrt{-g}\) para \(g_{\mu\nu}\) en 4D). \(\sqrt{-h}\) es el factor que mide correctamente el "elemento de área" sobre la hoja de mundo. Resolviendo la ecuación de movimiento de \(h_{ab}\) se obtiene la condición \(h_{ab} = \gamma_{ab}\), y sustituyéndola se recupera la acción de Nambu-Goto original — es decir, se eliminó la raíz cuadrada a cambio de una condición adicional, pero el contenido físico es el mismo. Y gracias a la ausencia de raíz cuadrada, la cuantización se hace posible.
🔵 Kai: Se parece mucho en estructura a \(S_{\text{useful}} = \frac{m}{2}\int d\tau\,g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\) de la partícula. Pero en la partícula la masa \(m\) estaba delante, y en la cuerda se ha convertido en la tensión \(T\) — ¿la masa y la tensión no son cosas físicamente completamente diferentes?
🟡 Lina: Buen ojo. La masa \(m\) de la partícula es "resistencia al movimiento", la tensión \(T\) de la cuerda es "resistencia al estiramiento" — efectivamente sus significados físicos son diferentes. Pero en la estructura de la acción, ambas se sientan en la misma posición como "constante que determina la inercia del movimiento". Esto lo veremos con más profundidad en Cap. 13. Estructuralmente es exactamente la misma idea — la extensión partícula puntual → cuerda es simplemente reemplazar "longitud de la línea de mundo" por "área de la hoja de mundo", \(\dot{x}^\mu \dot{x}^\nu\) por \(\partial_a X^\mu \partial_b X^\nu\). La técnica de la acción conveniente de la relatividad general se reutiliza directamente en la teoría de cuerdas — este es el esqueleto de la acción de la cuerda que se trata en detalle en Cap. 13 (Fig. 6.4「Extensión de la partícula puntual a la cuerda」).
Fig. 6.4: Extensión de la partícula puntual a la cuerda. Izquierda: Línea de mundo de la partícula puntual (1 parámetro \(\tau\)). Centro: Hoja de mundo de una cuerda cerrada (2 parámetros \((\tau, \sigma)\)). Derecha: Resumen de correspondencias. La misma idea (eliminación de la raíz cuadrada) se usa repetidamente.
🟡 Lina: El principio de acción como lenguaje común atraviesa de un solo hilo desde la mecánica de Newton (Cap. 1) hasta la relatividad general y la teoría de cuerdas — esa es la belleza de la física. En la mecánica de Newton \(S = \int L\,dt\), en la relatividad de la partícula puntual \(S = -mc\int ds\) (longitud de la línea de mundo), en la cuerda \(S_{\text{NG}} = -T\int dA\) (área de la hoja de mundo) — cada vez que la dimensión del objeto sube, se extiende de "longitud → área", pero el principio de "hacer estacionaria la acción" sigue siendo el mismo. Es decir, solo cambia "qué volumen se mide", pero el marco del principio variacional en sí permanece invariante.
⚪ Mei: Entiendo — para la partícula es longitud, para la cuerda es área, pero el esqueleto de "hacer estacionaria la acción" es siempre el mismo.
Tabla 6.1: Estructura unificada del principio de acción: desde la mecánica de Newton hasta la teoría de cuerdas
| Objeto | Dimensión | Trayectoria | Acción (geométrica) | Acción (forma conveniente) |
|---|---|---|---|---|
| Partícula newtoniana | 0 | Órbita \(x(t)\) | \(\int L\,dt\) | \(\int \frac{1}{2}m\dot{x}^2 dt\) |
| Partícula relativista | 0 | Línea de mundo | \(-mc\int ds\) (longitud) | \(\frac{m}{2}\int g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu d\tau\) |
| Cuerda | 1 | Hoja de mundo | \(-T\int dA\) (área, NG) | Acción de Polyakov (con \(h_{ab}\)) |
| Membrana (p-brana) | \(p\) | Volumen de mundo | \(-T_p\int d^{p+1}\text{Vol}\) | (Aparece en supercuerdas) |
📖 Conexión con Relatividad General: Los detalles de la derivación de la ecuación geodésica con los símbolos de Christoffel a partir de la acción con raíz cuadrada de la partícula están en Relatividad General Cap. 8. El truco de elegir el tiempo propio como parámetro se trató en el mismo capítulo.
✅ Verificación de comprensión: ¿Cómo se extiende la "acción conveniente" de la partícula \(S_{\text{useful}} = \frac{m}{2}\int d\tau\,g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\) a la teoría de cuerdas?
Respuesta
Se extiende a la acción de Polyakov mediante la sustitución línea de mundo → hoja de mundo, \(\dot{x}^\mu\dot{x}^\nu \to \partial_a X^\mu\partial_b X^\nu\). La ventaja de tener una forma sin raíz cuadrada que permite la cuantización es la misma. Los detalles se tratan en Cap. 13.
6.4 Solución de Schwarzschild y la precesión del perihelio de Mercurio (solo resultados)¶
🟡 Lina: Resolviendo las ecuaciones de Einstein para simetría esférica y vacío (\(T_{\mu\nu} = 0\)), se obtiene la métrica de Schwarzschild:
Aquí \((r, \theta, \phi)\) son coordenadas esféricas — \(r\) es la distancia al centro, \(\theta\) es el ángulo desde el polo norte (\(0\) a \(\pi\)), \(\phi\) es el ángulo en la dirección de la longitud (\(0\) a \(2\pi\)). \(r^2(d\theta^2 + \sin^2\theta\,d\phi^2)\) es la parte que representa cómo se miden distancias sobre la esfera. \(r_s = 2GM/c^2\) es el radio de Schwarzschild (la misma cantidad que apareció en Cap. 4 — a partir de este capítulo usamos la notación estándar \(r_s\) de la relatividad general). Este juega un papel importante también en la teoría de cuerdas — reaparece por todas partes: soluciones de agujeros negros con D-branas en Cap. 10, termodinámica de agujeros negros en Cap. 18, paradoja de la información del agujero negro en Cap. 20, etc.
🔵 Kai: Parece que en \(r = r_s\), \(g_{00}\) se anula y \(g_{rr}\) diverge, ¿qué ocurre ahí?
🟡 Lina: Buen ojo. \(r = r_s\) se llama el horizonte de eventos, y aunque parece una singularidad, en realidad la divergencia se debe a la elección de coordenadas — cambiando a otro sistema de coordenadas (por ejemplo, las coordenadas de Eddington-Finkelstein) se puede atravesar suavemente. La verdadera singularidad está en \(r = 0\) — eso lo veremos después.
✅ Verificación de comprensión: ¿Bajo qué condiciones se resolvieron las ecuaciones de Einstein para obtener la métrica de Schwarzschild? ¿Cuál es la definición del radio de Schwarzschild \(r_s\)?
Respuesta
Se resolvieron bajo las condiciones de simetría esférica y vacío (\(T_{\mu\nu} = 0\)). El radio de Schwarzschild se define como \(r_s = 2GM/c^2\) y proporciona una escala característica para un cuerpo de masa \(M\).
Precesión del perihelio de Mercurio¶
🟡 Lina: Resolviendo la ecuación geodésica en la métrica de Schwarzschild mediante expansión perturbativa (un método que calcula la desviación respecto a la mecánica newtoniana como una corrección pequeña por etapas), se demuestra que el perihelio de la órbita planetaria — el punto de máximo acercamiento al Sol en la órbita elíptica — rota ligeramente en cada revolución. Aquí \(a\) es el semieje mayor de la elipse (el radio mayor), \(e\) es la excentricidad (medida de cuán aplastada está la elipse: 0 para un círculo, cercano a 1 para muy alargada). Usando el semilatus rectum \(p = a(1-e^2)\), el ángulo de rotación es:
(Fig. 6.5「Precesión del perihelio de Mercurio」). Sustituyamos los elementos orbitales de Mercurio (\(a = 5.79 \times 10^{10}\) m, \(e = 0.2056\), periodo \(\approx 88\) días). \(p = a(1-e^2) \approx 5.55 \times 10^{10}\) m, \(GM_\odot/c^2 \approx 1.48 \times 10^3\) m (la mitad del radio de Schwarzschild), así que por revolución \(\delta\phi = 6\pi \times 1.48 \times 10^3 / (5.55 \times 10^{10}) \approx 5.0 \times 10^{-7}\) rad.
⚪ Mei: Por revolución es un ángulo pequeño, pero se acumula.
🟡 Lina: Exacto. 100 años son unas 415 revoluciones, así que \(415 \times 5.0 \times 10^{-7} \approx 2.1 \times 10^{-4}\) rad \(\approx 43\) segundos de arco — coincide perfectamente con la observación sin ningún parámetro ajustable. El propio Einstein dijo que "el corazón le palpitó" al obtener este resultado.
Fig. 6.5: Precesión del perihelio de Mercurio. Izquierda: En la mecánica newtoniana, la órbita es una elipse cerrada. Derecha: En la relatividad general, el eje mayor de la elipse (dirección del perihelio) rota ligeramente con cada revolución (precesión). En la figura el ángulo de precesión está exagerado.
🔵 Kai: Que salgan 43 segundos de arco sin parámetros ajustables es increíble… Pero dicho al revés, si el valor observado no fuera 43 segundos de arco, ¿la relatividad general estaría descartada de inmediato?
🟡 Lina: Exactamente. Que no haya parámetros adicionales significa que si la observación no coincide, la teoría queda refutada inmediatamente — la esencia de la "falsabilidad" del prólogo. Este fue el primer triunfo experimental de la relatividad general y una de las bases por las que el modelo actual se trata como "la mejor hipótesis".
📖 Conexión con Relatividad General: La derivación de la métrica de Schwarzschild está en Relatividad General Cap. 9. El cálculo perturbativo y la evaluación numérica de la precesión del perihelio de Mercurio, la deflexión de la luz y el retardo de Shapiro se trataron en detalle en Relatividad General Cap. 10.
✅ Verificación de comprensión: En la predicción de la relatividad general para la precesión del perihelio de Mercurio \(\delta\phi = 6\pi GM/[c^2 a(1-e^2)]\), ¿qué significa "sin parámetros ajustables"?
Respuesta
\(G\), \(c\), \(M_\odot\) y los elementos orbitales de Mercurio son todos valores medidos independientemente, y la teoría no tiene ni una sola constante libre. Si el valor observado se desviara del predicho, la relatividad general quedaría inmediatamente refutada. Este es el núcleo de la falsabilidad.
6.5 La pregunta pendiente — Singularidades y la puerta a la gravedad cuántica¶
🟡 Lina: Las predicciones de la relatividad general se han confirmado una tras otra — la precesión del perihelio de Mercurio, la deflexión de la luz (observación del eclipse de 1919), la corrección temporal del GPS, y las ondas gravitacionales. Las ondas gravitacionales son el fenómeno de ondulaciones del propio espaciotiempo propagándose a la velocidad de la luz — predichas como solución de vacío de las ecuaciones de Einstein, generadas por el movimiento acelerado de masas enormes (como la revolución de sistemas binarios) (Fig. 6.6「Forma de onda gravitacional de la fusión de agujeros negros binarios (diagrama conceptual de GW150914). Arriba: Serie temporal de la deformación \(h(t)\)」). Las principales verificaciones experimentales se resumen así:
Tabla 6.2: Principales verificaciones experimentales de la relatividad general
| Verificación | Época | Valor predicho | Precisión |
|---|---|---|---|
| Precesión del perihelio de Mercurio | 1915 | 43 segundos de arco/siglo | Coincidencia sin parámetros |
| Deflexión de la luz | 1919 | 1,75 segundos de arco (borde solar) | \(10^{-4}\) con VLBI |
| Corrimiento al rojo gravitacional | 1960 (Pound-Rebka) | \(\Delta f/f = gh/c^2\) | \(10^{-4}\) → \(10^{-14}\) (moderna) |
| Corrección temporal del GPS | 1990s~ | 45 \(\mu\)s/día | Integrado en tecnología cotidiana |
| Detección directa de ondas gravitacionales | 2015 (LIGO) | Coincidencia con plantilla de forma de onda | SNR > 24 |
En 2015, LIGO detectó por primera vez GW150914, la forma de onda producida por la fusión de un sistema binario de agujeros negros (Fig. 6.6「Forma de onda gravitacional de la fusión de agujeros negros binarios (diagrama conceptual de GW150914). Arriba: Serie temporal de la deformación \(h(t)\)」).
Fig. 6.6: Forma de onda gravitacional de la fusión de agujeros negros binarios (diagrama conceptual de GW150914). Arriba: Serie temporal de la deformación \(h(t)\) — forma de onda "chirp" donde la amplitud y frecuencia aumentan rápidamente justo antes de la fusión. Abajo: Frecuencia instantánea \(f(t)\) — en la etapa de inspiral sigue \(f \propto (t_{\text{merge}} - t)^{-3/8}\), sube hasta ~250 Hz en la fusión y luego decae rápidamente (ringdown). La forma de onda predicha por la relatividad general y la observada por LIGO coinciden con precisión mediante comparación con millones de plantillas de relatividad numérica.
🔵 Kai: ¿Qué es un chirp? He oído el nombre pero…
🟡 Lina: Es una forma de onda cuya amplitud y frecuencia aumentan cada vez más a medida que se acerca la fusión. Se llama así porque se parece al trino de un pájaro (chirp). Si miras el panel inferior de Fig. 6.6「Forma de onda gravitacional de la fusión de agujeros negros binarios (diagrama conceptual de GW150914). Arriba: Serie temporal de la deformación \(h(t)\)」, puedes ver cómo la frecuencia antes de la fusión sube drásticamente — según la predicción de la relatividad general, sigue una ley de potencias \(f \propto (t_{\text{merge}} - t)^{-3/8}\). Esta plantilla de forma de onda coincidió con precisión con los datos observados por LIGO — esta es la verificación más dramática de las ecuaciones de Einstein. Pero queda un problema grave.
🔵 Kai: ¿Coincidencia de la forma de onda? ¿Con qué precisión coincide? Si hay la más mínima desviación, ¿eso significaría que la relatividad general es incorrecta?
🟡 Lina: Se comparó con millones de plantillas calculadas por relatividad numérica con una relación señal-ruido de más de 24 — es decir, la probabilidad de una "coincidencia casual" es insignificantemente pequeña. Si hubiera desviación, efectivamente se necesitaría una modificación de la relatividad general. Pero por ahora, el problema grave está en otro lugar.
🔵 Kai: ¿Qué problema?
🟡 Lina: Las singularidades.
🔵 Kai: ¿Singularidades…? ¿Significa que algo se vuelve infinito?
🟡 Lina: Así es. En la métrica de Schwarzschild en \(r = 0\), un invariante de curvatura que no se puede eliminar por cambio de coordenadas (llamado escalar de Kretschner — la suma de los cuadrados de todas las componentes del tensor de Riemann, una cantidad que mide la "intensidad de la curvatura" independientemente de la elección de coordenadas)
diverge. Una singularidad real. Los teoremas de singularidad de Penrose y Hawking (década de 1960) demostraron que bajo condiciones muy generales, la formación de singularidades es inevitable.
🔵 Kai: La relatividad general predice su propia ruptura… Pero, ¿no podría ser que matemáticamente diverge pero físicamente ocurre algo diferente?
🟡 Lina: Buena duda. En realidad, la divergencia en \(r = r_s\) (horizonte de eventos) se debe a la elección de coordenadas y se puede eliminar con un cambio de coordenadas — es una singularidad aparente. Pero la de \(r = 0\) tiene un invariante de curvatura (cantidad independiente de coordenadas) que diverge, así que no se puede eliminar con ningún cambio de coordenadas: es una singularidad real. Y en sus cercanías la curvatura alcanza la escala de Planck \(\ell_P = \sqrt{\hbar G/c^3} \approx 10^{-35}\) m, donde los efectos cuánticos no se pueden ignorar. Es decir, se necesita una teoría de gravedad cuántica que integre la relatividad general y la mecánica cuántica — este es el problema de la gravedad cuántica que se trata en la Parte III de El Desafío de la Gravedad Cuántica (Capítulos 10-12).
🔵 Kai: Entonces, ¿cómo resuelve la teoría de cuerdas este problema?
🟡 Lina: Adelantando solo lo esencial: una partícula puntual tiene tamaño cero, así que no puede evitar la situación de "energía infinita concentrada en un punto". Pero la cuerda tiene una longitud finita \(\ell_s \sim 10^{-34}\) m, así que cuando se intenta explorar "puntos" por debajo de la escala de Planck, la extensión de la cuerda actúa como un cutoff natural. Los detalles los veremos en la Parte IV (Cap. 13~).
🔵 Kai: ¿Cutoff…? ¿Significa algo como "no se pueden ver escalas más pequeñas que esto"? Me pregunto si la singularidad desaparece o simplemente deja de ser visible.
🟡 Lina: Buena pregunta. "Cutoff" es un término en física que significa "la frontera por debajo de la cual la descripción de la teoría cambia". Tu intuición es correcta, Kai: en la teoría de cuerdas, por debajo de \(\ell_s\) la propia descripción del espaciotiempo cambia, así que la situación de "colapsar a un punto" simplemente no ocurre — la singularidad no se "vuelve invisible" sino que se resuelve. Sin embargo, el mecanismo concreto lo iremos viendo por etapas a partir de Cap. 13.
🔵 Kai: Ya veo… no es que "no se ve" sino que "no ocurre". Pero espera — la longitud de la cuerda \(\ell_s\) es del mismo orden que la longitud de Planck \(\ell_P\), ¿verdad? Entonces, ¿la propia cuerda no podría ser arrastrada por la singularidad?
🟡 Lina: Agudo. \(\ell_s\) y \(\ell_P\) son efectivamente de orden similar, pero el punto clave es que la descripción misma de "una cuerda cayendo en una singularidad" no se sostiene. Si fuera una partícula puntual, llegaría al "lugar" \(r = 0\), pero la cuerda tiene extensión finita, así que por debajo de \(\ell_s\) la propia descripción del espaciotiempo que define "\(r = 0\) como lugar" se reescribe. Para dar una analogía, no es que la resolución del mapa sea tan baja que no pueda dibujar un "punto", sino que el propio mapa se transforma en un tipo diferente de mapa — el "destino al que caer" simplemente deja de existir. El mecanismo concreto lo veremos a partir de Cap. 13.
⚪ Mei: Resumiendo — en la teoría de partículas puntuales, "energía infinita se concentra en un punto de tamaño cero" y la singularidad es inevitable. En la teoría de cuerdas, la longitud de la cuerda \(\ell_s\) se convierte en una escala mínima natural, por debajo de la cual el concepto mismo de "punto" desaparece. Por eso la singularidad se "resuelve" — no es que deje de ser visible, sino que el escenario donde ocurriría deja de existir.
🟡 Lina: Exacto, un resumen perfecto. También resumamos el flujo de todo el capítulo hasta aquí —
⚪ Mei: Partimos del principio de equivalencia y llegamos a "gravedad = geometría del espaciotiempo", pudimos describir la dinámica del espaciotiempo con las ecuaciones de Einstein. Pero esas mismas ecuaciones predicen singularidades — su "propia ruptura". Por eso se necesita gravedad cuántica, y la candidata es la teoría de cuerdas — ese es el camino.
🟡 Lina: Un resumen perfecto. Concretamente:
- Cap. 10: Agujero negro de Schwarzschild y horizonte de eventos
- Cap. 11: Cosmología del Big Bang y singularidad inicial
- Cap. 12: Fracaso del intento ingenuo de cuantizar la gravedad
- Cap. 13: Enfoque de introducir cuerdas para evitar las divergencias ultravioletas
- Cap. 20: Derivación microscópica de la entropía del agujero negro mediante D-branas y la paradoja de la información del agujero negro
Nota de filosofía de la ciencia: La relatividad general no es una "ley" sino un modelo — simplemente la mejor hipótesis no refutada por experimentos. La aparición de singularidades indica claramente los límites de aplicabilidad de este modelo. Es una señal desde la física de que se necesita un modelo mejor (gravedad cuántica). Los modelos de la física son siempre provisionales y pueden ser reemplazados por modelos más precisos. No olvides la actitud de juzgar por ti mismo.
📖 Conexión con Relatividad General: Los detalles sobre agujeros negros en Relatividad General Cap. 16, la cosmología y el Big Bang en Relatividad General Cap. 21, y las perspectivas sobre gravedad cuántica en Relatividad General Cap. 25.
✅ Verificación de comprensión: ¿Qué ocurre en \(r = 0\) de la métrica de Schwarzschild? ¿Qué significa esto para la relatividad general?
Respuesta
Aparece una "singularidad real" donde el invariante de curvatura \(R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}\) diverge. Esta es una señal de los límites de aplicabilidad de la propia relatividad general, y significa que se necesita una teoría de gravedad cuántica.
Adelanto del próximo capítulo¶
Cap. 7「Capítulo 7 ¿Por qué son estables los átomos? — El nacimiento de la mecánica cuántica」 — Según la electrodinámica clásica, el electrón debería perder energía radiando ondas electromagnéticas y caer instantáneamente al núcleo atómico. Sin embargo, los átomos reales existen de forma estable. Para resolver esta contradicción fatal, la física necesitó un marco completamente nuevo — la mecánica cuántica. Seguiremos la historia de su nacimiento. Esto también sirve como puente hacia Mecánica Cuántica.
Problemas de práctica¶
Para los problemas de práctica correspondientes al contenido de este capítulo, consulta los problemas al final de cada capítulo en Relatividad General. La correspondencia con la acción de la teoría de cuerdas se trata en los problemas de práctica de Cap. 13.
Referencias¶
- Relatividad General Cap. 5 ¿Son indistinguibles la aceleración y la gravedad? — Detalles del principio de equivalencia
- Relatividad General Cap. 6 — Tensor métrico y espaciotiempo curvo
- Relatividad General Cap. 8 ¿Qué significa 'recto' en un espaciotiempo curvo? — Derivación variacional de la ecuación geodésica
- Relatividad General Cap. 9 — Derivación de la solución de Schwarzschild
- Relatividad General Cap. 10 — Precesión del perihelio de Mercurio · deflexión de la luz · retardo de Shapiro
- Relatividad General Cap. 13 — Tensor de curvatura de Riemann
- Relatividad General Cap. 14 ¿Cuál es la ecuación que describe cómo la materia curva el espaciotiempo? — Derivación desde la acción de Einstein-Hilbert · cuestión de prioridad entre Einstein y Hilbert
- Relatividad General Cap. 16 — Agujeros negros y singularidades
- Relatividad General Cap. 25 — El desafío del problema de la gravedad cuántica
- David Tong, Lectures on General Relativity — Formulación moderna de la relatividad general
- Barton Zwiebach, A First Course in String Theory, Ch.3, 6 — Extensión de la acción de la partícula puntual a la acción de la cuerda
Feedback on this page
Let us know if something was unclear, incorrect, or could be improved.