Conventionalism in general relativity?: formal existence proofs and Reichenbach's theorem {\theta} in context

El artículo disuelve la supuesta refutación del "teorema theta" de Reichenbach al distinguir entre la existencia de geometrías alternativas y la universalidad de su equivalencia, demostrando que no existe un teorema de imposibilidad que invalide la tesis convencionalista y proponiendo un enfoque programático para explorar rigurosamente teorías espaciotemporales alternativas.

Lo esencial

Imagina que el universo es un mapa gigante y que la gravedad es la forma en que los viajeros (las partículas y la luz) se mueven por él. Durante mucho tiempo, los filósofos y físicos se han preguntado: ¿Es la forma de este mapa una verdad absoluta que descubrimos, o es más bien una convención que elegimos, como decidir si medimos en metros o en pies?

Esta pregunta es el corazón del convencionalismo geométrico. La idea es que podríamos elegir un mapa con una forma diferente (digamos, curvado de otra manera) y simplemente añadir un "fuerza invisible" o un "truco" para que los viajeros sigan llegando al mismo lugar. Así, dos mapas muy diferentes parecerían iguales en la práctica.

El físico Hans Reichenbach, hace décadas, dijo algo muy fuerte: "Cualquier mapa puede funcionar como el mapa real, siempre que añadamos las fuerzas correctas". Llamó a esto el Teorema Theta. Básicamente, decía que la geometría del universo es totalmente flexible y que podemos cambiarla a nuestro gusto sin que la realidad física cambie.

El Desafío Moderno: Weatherall y Manchak

En 2014, dos investigadores, Weatherall y Manchak, decidieron poner a prueba esta idea con las matemáticas modernas de la Relatividad General (la teoría de Einstein).

Ellos dijeron: "Vamos a ver si podemos cambiar la geometría del mapa (la métrica) y compensarlo con una 'fuerza universal' (como un tensor de rango 2, que es una forma matemática específica de fuerza) para que todo siga funcionando igual".

Su resultado fue sorprendente: En la Relatividad General, no se puede hacer. A diferencia de la gravedad de Newton (donde sí se podía), en el universo de Einstein, si cambias la forma del mapa, no hay una "fuerza" estándar que pueda arreglarlo para que todo se vea igual. Es como intentar cambiar la forma de una carretera y esperar que un empujón mágico haga que los coches lleguen al mismo destino sin cambiar su velocidad ni su trayectoria. En la relatividad, eso es matemáticamente imposible.

Esto sugiere que la geometría del universo no es una elección libre; es una verdad física real.

La Respuesta de los Críticos: Dür y Ben-Menahem

Pero, como en todo buen debate, hubo críticos. Dür y Ben-Menahem dijeron: "¡Espera! No han probado nada importante porque han puesto demasiadas reglas en sus matemáticas. Si quitamos una de esas reglas, el truco vuelve a funcionar".

Ellos argumentan que Weatherall y Manchak asumieron cosas como:

1. Que el mapa debe ser de un tipo muy específico (Riemanniano).
2. Que la fuerza debe actuar de una manera muy estricta.
3. Que el espacio-tiempo tiene que tener una forma topológica fija.

Dijeron: "Si permitimos que la fuerza sea un poco más rara, o que el espacio tenga 'torsión' (giros extra), entonces el Teorema Theta vuelve a ser válido".

La Tesis de Ruward Mulder: El Autor de este Papel

Aquí es donde entra el autor de este documento, Ruward Mulder. Él dice que hay una confusión en el debate que nadie ha aclarado bien.

Imagina que hay dos tipos de apuestas:

1. La apuesta de la Existencia: "¿Existe al menos un mapa alternativo que funcione?" (Esto es lo que Weatherall y Manchak parecen estar atacando).
2. La apuesta de la Universalidad (El Teorema Theta): "¿Puede cualquier mapa imaginable reemplazar a cualquier otro?" (Esto es lo que Reichenbach defendía).

El punto clave de Mulder es:
Weatherall y Manchak han demostrado que la apuesta de la Universalidad es falsa, incluso si los críticos (Dür y Ben-Menahem) quitan algunas de las reglas.

Mulder explica que, aunque los críticos pueden encontrar "agujeros" (loopholes) en las reglas matemáticas para salvar la idea de que algunos mapas alternativos son posibles, no pueden salvar la idea de que cualquier mapa es posible.

La Analogía del "Cambio de Reglas"

Imagina que Weatherall y Manchak dicen: "No puedes cambiar las reglas del fútbol y esperar que el juego sea el mismo si solo usas un balón de baloncesto".
Los críticos dicen: "¡Pero si permitimos usar un balón de voleibol o cambiar el tamaño del campo, entonces sí se puede!".

Mulder responde: "Sí, si cambias tantas cosas (el balón, el campo, las reglas), quizás encuentres un juego que se parezca. Pero eso no significa que cualquier deporte (como el ajedrez o el ballet) pueda convertirse en fútbol simplemente cambiando las reglas. El Teorema Theta decía que cualquier cosa podía ser fútbol. Eso sigue siendo falso".

El Experimento Mental: Espacios con "Torsión"

Para demostrarlo, Mulder hace algo muy inteligente: toma la teoría de Weatherall y Manchak y la lleva a un terreno aún más extraño: espacios con torsión.

Imagina que el espacio-tiempo no solo se curva (como una sábana elástica), sino que también se retuerce (como una cinta de Moebius o un tornillo). En la física, esto se llama "torsión".
Mulder demuestra que, incluso en estos espacios retorcidos y extraños, sigue siendo imposible relacionar dos geometrías diferentes con una simple "fuerza" estándar.

Esto es importante porque una teoría famosa llamada "Teleparalelismo" (que es una alternativa a la Relatividad General) usa la torsión en lugar de la curvatura. Algunos pensaban que esta teoría podría ser la "salida" para salvar el convencionalismo. Mulder dice: "No, incluso ahí, la geometría sigue siendo real y no es una mera convención".

La Conclusión: Un Nuevo Camino

En lugar de ver este resultado como un "fin" para el convencionalismo, Mulder sugiere verlo como un mapa de exploración.

En lugar de discutir si el Teorema Theta es verdadero o falso en general, deberíamos usar las pruebas matemáticas para decir: "Aquí es donde la geometría es flexible, y aquí es donde es rígida".

• Si quitamos la regla de que el espacio debe ser "suave" (topología), ¿qué pasa?
• Si quitamos la regla de que la fuerza debe ser un tensor de rango 2, ¿qué pasa?

Mulder propone un programa de investigación: usar estas pruebas para mapear sistemáticamente todos los universos posibles. En lugar de decir "todo es convención" o "nada es convención", podemos decir: "En este tipo de universo, la geometría es una convención; en este otro, es una verdad absoluta".

En Resumen

1. El problema: ¿Podemos elegir la forma del universo y compensarla con fuerzas mágicas? (Teorema Theta).
2. El hallazgo: En la Relatividad General estándar, no. La geometría es real.
3. La crítica: "¡Pero si cambiamos las reglas matemáticas, sí se puede!"
4. La respuesta de Mulder: Cambiar las reglas puede permitir que algunos mapas alternativos funcionen, pero nunca permitirá que cualquier mapa funcione. El Teorema Theta (la idea de que todo es intercambiable) sigue muerto.
5. El futuro: No debemos dejar de investigar. Debemos usar estas pruebas matemáticas para explorar qué tipos de universos permiten la flexibilidad y cuáles no, creando un "atlas" de las teorías del espacio-tiempo.

Es como si hubiéramos descubierto que no podemos convertir un gato en un perro simplemente pintándolo de verde. Pero al estudiar por qué no se puede, aprendemos mucho más sobre la naturaleza de los gatos, los perros y la pintura.

Resumen técnico

1. El Problema: Convencionalismo Geométrico y Subdeterminación en Relatividad General

El artículo aborda el debate epistemológico sobre el convencionalismo geométrico, la tesis (asociada a Poincaré, Reichenbach y otros) de que la geometría del mundo no puede determinarse empíricamente sin una elección convencional. Históricamente, esto se ha defendido mediante la idea de que diferentes estructuras geométricas pueden ser empíricamente indistinguibles si se introducen "fuerzas universales" que compensan las diferencias geométricas.

El problema central se centra en la respuesta de Weatherall y Manchak (W&M, 2014), quienes demostraron que, a diferencia de la gravedad newtoniana, la Relatividad General (RG) no admite tal subdeterminación bajo ciertas restricciones. W&M probaron que no existe un tensor de fuerza de rango 2 que relacione las geodésicas de dos métricas conformemente relacionadas en un espacio-tiempo relativista.

Sin embargo, Dürr y Ben-Menahem (D&BM, 2022) criticaron este resultado, argumentando que las suposiciones de W&M son demasiado restrictivas y que el teorema puede evadirse rechazando dichas premisas, lo que sugiere que el convencionalismo sigue siendo viable. Mulder identifica una ambigüedad en este debate: la confusión entre una afirmación de existencia (¿existe alguna geometría alternativa?) y una afirmación de universalidad (¿cualquier geometría puede reemplazar a cualquier otra?).

2. Metodología

El autor emplea un enfoque riguroso de filosofía de la física y lógica formal:

• Análisis de Premisas: Desglosa la demostración de W&M en un conjunto de premisas mutuamente inconsistentes cuando se añade la tesis convencionalista. Identifica y clasifica las suposiciones clave:
  • (CONF): La métrica alternativa es conformemente relacionada ($\tilde{g}_{ab} = \Omega^2 g_{ab}$).
  • (NORM): Los vectores tangentes están normalizados a unidad.
  • (FORCE): La fuerza universal debe tener la forma estándar de ley de fuerza (tensor de rango 2 en la ecuación geodésica).
  • (RIEM): La geometría es riemanniana (conexión simétrica y compatible con la métrica).
  • (TOPO): Las alternativas se construyen sobre la misma variedad (misma topología y dimensión).
• Distinción Lógica: Separa claramente dos tipos de subdeterminación (UDT):
  • Existencia (UDT-∀g∃g̃): Para cada métrica, existe al menos una alternativa.
  • Universalidad (Teorema θ de Reichenbach) (UDT-∀g∀g̃): Cualquier métrica puede reemplazar a cualquier otra.
• Generalización Formal: Extiende la demostración de W&M más allá de las conexiones de Levi-Civita (sin torsión) hacia espacio-tiempos con torsión (conexiones no simétricas), utilizando tensores de diferencia generalizados.
• Programa de Investigación: Propone tratar las negaciones de las suposiciones no como "loopholes" (salidas) para salvar el convencionalismo, sino como herramientas para mapear sistemáticamente el espacio de teorías de espacio-tiempo alternativas.

3. Contribuciones Clave

1. Clarificación Conceptual: El autor disuelve la confusión entre la existencia de alguna alternativa y la universalidad de las alternativas. Argumenta que W&M refutan exitosamente la Universalidad (Teorema θ) bajo la suposición estándar de fuerzas, incluso si no refutan la existencia de alguna alternativa específica en todos los casos.
2. Refutación de las "Salidas" (Loopholes): Demuestra que rechazar las suposiciones de W&M (como la restricción conformal o la geometría riemanniana) no salva el Teorema θ. Por ejemplo, negar la restricción conformal simplemente amplía el espacio de búsqueda, pero la prueba de que no existe un tensor de fuerza que relacione las geodésicas sigue siendo válida en el subconjunto original y se generaliza al espacio más amplio.
3. Generalización a Espacio-Tiempos con Torsión: Presenta la Proposición 3, que extiende el resultado de W&M a conexiones con torsión (como en la gravedad teleparalela). Demuestra que incluso en este contexto más general, no existe un tensor de fuerza de rango 2 que relacione las geodésicas de dos conexiones conformemente equivalentes si la función de escala $\Omega$ no es constante.
4. Reencuadre del Debate: Propone cambiar la actitud de "refutar el teorema" a un programa de investigación constructivo. En lugar de intentar derribar la prueba, se deben usar sus suposiciones para formular proposiciones más fuertes y explorar sistemáticamente el espacio de teorías alternativas (geometría métrica, métrica-affine, topologías no-Hausdorff, etc.).

4. Resultados Principales

• El Teorema θ es falso en RG: Bajo la interpretación estándar de las fuerzas universales (como campos de fuerza de rango 2 en la ecuación geodésica), la afirmación de Reichenbach de que "cualquier geometría puede reemplazar a cualquier otra" es falsa. No se puede construir un modelo empíricamente equivalente para cualquier par de métricas mediante la adición de una fuerza universal estándar.
• La Torsión no es una "Fuerza" en este sentido: Al generalizar la prueba a conexiones con torsión, se concluye que la desviación de las geodésicas causada por la torsión (en teorías como la Teleparalela) no satisface la condición de ser una fuerza conservativa representada por un tensor de rango 2 en la forma estándar. Por lo tanto, la torsión no actúa como una "fuerza universal" que permita el convencionalismo geométrico bajo las reglas de W&M.
• Las suposiciones no son "loopholes": Rechazar suposiciones como (CONF), (RIEM) o (TOPO) no permite salvar el Teorema θ. Por el contrario, estas negaciones definen regiones específicas en el "espacio de teorías de espacio-tiempo" donde la subdeterminación podría (o no) ser posible, pero no restauran la universalidad absoluta.
• Distinción entre Existencia y Universalidad: Se establece que, aunque W&M no han probado que ninguna geometría alternativa sea posible (la afirmación de existencia $\forall g \exists \tilde{g}$ sigue abierta en ciertos casos), sí han demostrado que la afirmación de universalidad ($\forall g \forall \tilde{g}$) es insostenible.

5. Significado e Implicaciones

El artículo tiene un impacto significativo en la filosofía de la física y la epistemología de la geometría:

• Defensa del Realismo Estructural: Al desmantelar la versión fuerte del convencionalismo (Teorema θ), el trabajo apoya una visión más realista de la estructura del espacio-tiempo en la Relatividad General, sugiriendo que la geometría no es meramente una convención encubierta por fuerzas ad hoc.
• Metodología Rigurosa: Proporciona un marco formal para evaluar el convencionalismo, alejándose de los argumentos conceptuales vagos hacia demostraciones matemáticas precisas sobre la existencia (o no) de tensores de fuerza que relacionen teorías.
• Nueva Agenda de Investigación: Transforma el "teorema de imposibilidad" (no-go theorem) en una herramienta heurística. En lugar de ver la prueba como un callejón sin salida, Mulder sugiere usarla para cartografiar sistemáticamente las teorías alternativas (como la trinidad geométrica de la gravedad: curvatura, torsión y no-metricidad).
• Clarificación Histórica: Aclara que los debates históricos sobre el convencionalismo a menudo mezclaban diferentes tipos de afirmaciones (existencia vs. universalidad), lo que ha llevado a malentendidos sobre el alcance de los resultados de W&M y la viabilidad del proyecto de Reichenbach.

En resumen, Mulder demuestra que, bajo condiciones físicamente razonables y formalmente precisas, la Relatividad General es mucho menos susceptible a la subdeterminación convencionalista de lo que se creía, y que la única vía para salvar el convencionalismo radical es rechazar la definición estándar de "fuerza", lo que a su vez abre un programa fértil para explorar las fronteras de las teorías de la gravedad.