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

Este artigo esclarece a confusão entre a existência de geometrias alternativas e a "teorema theta" de Reichenbach, demonstrando que, ao generalizar a prova para espaços-tempo com torção, não há um teorema de impossibilidade que sustente a tese de que qualquer geometria possa substituir qualquer outra, sugerindo assim que o resultado deve ser usado para explorar rigorosamente o espaço de teorias de espaço-tempo alternativas.

O essencial

Imagine que você está tentando desenhar um mapa do mundo. Você tem duas opções:

1. Desenhar o mapa em uma folha de borracha esticada (a geometria "real" do espaço).
2. Desenhar o mapa em uma folha de borracha encolhida, mas adicionar uma "força invisível" que empurra todos os objetos para compensar o encolhimento, fazendo com que eles se movam exatamente como se estivessem na folha esticada.

A pergunta central deste artigo é: Podemos sempre trocar a forma do mapa (a geometria) por uma força invisível, sem que ninguém perceba a diferença?

O autor, Ruward Mulder, está discutindo um debate antigo na física e na filosofia sobre a "convenção" na Relatividade Geral (a teoria de Einstein). Vamos simplificar os conceitos principais usando analogias:

1. O Grande Debate: O Mapa ou a Força?

Há muito tempo, filósofos como Reichenbach diziam que a geometria do universo é, em parte, uma escolha nossa (uma "convenção"). A ideia era: "Podemos escolher qualquer forma de espaço que quisermos, desde que inventemos uma 'força universal' que corrija os erros e faça tudo parecer normal para quem mede."

Isso é como dizer: "Posso escolher desenhar a Terra como um cubo, desde que invente uma força mágica que empurre os aviões para que eles voem em linha reta como se a Terra fosse redonda."

2. A Descoberta de Weatherall e Manchak (Os "Detetives")

Dois pesquisadores, Weatherall e Manchak, fizeram uma prova matemática rigorosa. Eles disseram:

• Na física clássica (Newton), essa troca é possível. Você pode trocar a geometria por forças.
• Mas na Relatividade Geral (Einstein), isso não funciona sempre. Eles provaram que, se você tentar trocar a geometria do espaço-tempo por uma "força" comum (como o eletromagnetismo), a matemática quebra. Não existe uma força simples que consiga compensar qualquer mudança na forma do espaço-tempo.

Isso sugere que a geometria do universo não é apenas uma escolha nossa; ela é "real" e fixa.

3. A Resposta dos Críticos (Os "Advogados da Defesa")

Outros filósofos (Dürr e Ben-Menahem) disseram: "Ei, esperem! Vocês estão usando regras muito rígidas. Se você permitir que a força seja estranha, ou se mudar a topologia do espaço, a troca ainda é possível!" Eles viram "brechas" (loopholes) nas regras que Weatherall e Manchak usaram.

4. A Análise de Mulder (O "Juiz")

É aqui que entra o autor deste artigo, Ruward Mulder. Ele diz que há uma confusão no debate. Ele separa dois tipos de argumentos:

• O Argumento da Existência: "Existe pelo menos um outro mapa que funciona?" (Mulder diz: Talvez sim, talvez não, depende das regras).
• O Teorema Theta (A Alegoria da Universalidade): "Posso trocar qualquer mapa por qualquer outro mapa, desde que ajuste a força?" (Mulder diz: Não!).

A Analogia do Quebra-Cabeça:
Imagine que o Teorema Theta diz: "Você pode trocar qualquer peça de quebra-cabeça por qualquer outra, desde que pinte a nova peça de uma cor diferente."
Mulder mostra que, na Relatividade Geral, você não pode fazer isso. Não importa quanta tinta (força) você use, você não consegue transformar uma peça de céu azul em uma peça de chão verde e fazer o jogo funcionar perfeitamente. A estrutura do quebra-cabeça (a geometria) tem limites que a tinta não consegue esconder.

5. O Que Mulder Propõe (O "Plano de Jogo")

Em vez de apenas brigar sobre quem está certo ou errado, Mulder sugere usar essa prova como um mapa de exploração.

Ele diz: "Vamos usar as regras que quebraram a prova para descobrir o que é possível e o que é impossível."

• Se mudarmos a regra de que o espaço não tem "torção" (como um parafuso), ainda não conseguimos fazer a troca mágica.
• Se mudarmos a regra de que o espaço tem 4 dimensões, talvez consigamos.

Ele propõe que os cientistas usem essas "regras quebradas" para criar novos teoremas. Em vez de dizer "a convenção morreu", ele diz: "Agora sabemos exatamente onde a convenção pode e onde não pode viver."

Resumo em uma frase:

Este artigo mostra que, na Relatividade Geral, não podemos simplesmente "inventar" a forma do universo e compensar com forças mágicas (o Teorema Theta está errado), mas isso nos dá um mapa valioso para explorar quais teorias alternativas do espaço-tempo são matematicamente possíveis e quais são impossíveis.

A lição final: A geometria do universo é mais rígida do que pensávamos, mas essa rigidez nos ajuda a entender melhor as regras do jogo da física.

Resumo técnico

Resumo Técnico: Conventionalismo na Relatividade Geral

1. O Problema

O artigo aborda o debate filosófico sobre o conventionalismo geométrico na teoria da Relatividade Geral (RG). Historicamente, defensores como Hans Reichenbach argumentaram que a geometria do espaço-tempo não é determinada empiricamente de forma única, mas depende de escolhas convencionais (como a definição de "forças universais" que corrigem desvios geométricos).

• O Desafio de Weatherall e Manchak (W&M): Em 2014, W&M provaram que, na gravidade não-relativística, é possível postular forças universais para tornar diferentes geometrias empiricamente equivalentes. No entanto, na Relatividade Geral, sob certas suposições razoáveis (como a restrição a campos tensoriais de rank-2 na equação geodésica), tal equivalência não existe. Isso sugere que a RG é menos suscetível à subdeterminação do que a gravidade newtoniana.
• A Crítica de Dür e Ben-Menahem (D&BM): Em 2022, D&BM argumentaram que as suposições de W&M são "loopholes" (brechas) que podem ser exploradas para salvar o convencionalismo, transformando o resultado de W&M em um "teorema de impossibilidade" (no-go theorem) que apenas restringe, mas não elimina, o convencionalismo.
• A Questão Central: O artigo de Mulder investiga se é possível salvar a famosa Teorema $\theta$ de Reichenbach (a alegação de que qualquer geometria pode substituir qualquer outra) através da rejeição das suposições de W&M, e distingue entre alegações de existência de alternativas e alegações de universalidade.

2. Metodologia

O autor utiliza uma abordagem rigorosa de lógica formal e geometria diferencial, estruturada da seguinte forma:

1. Análise Lógica de Premissas: O autor decompõe o teorema de W&M em um conjunto de premissas mutuamente inconsistentes quando combinadas com a tese convencionalista. Ele classifica as suposições em:
   • Dentro da RG: Conformalidade (CONF), Normalização (NORM), Lei de Força Padrão (FORCE), Geometria Riemanniana (RIEM).
   • Além da RG: Topologia (TOPO), como dimensão e condição de Hausdorff.
2. Distinção de Tipos de Subdeterminação: O autor clarifica a confusão entre duas posições distintas:
   • Alegação de Existência (UDT-$\forall g \exists \tilde{g}$): Para cada métrica, existe pelo menos uma outra métrica alternativa empiricamente equivalente.
   • Alegação de Universalidade (UDT-$\forall g \forall \tilde{g}$): Qualquer métrica pode substituir qualquer outra (o Teorema $\theta$).
3. Generalização Formal: O autor estende a prova de W&M para espaços-tempo com torção (conexões não simétricas), provando um novo teorema (Proposição 3) que mantém a validade do resultado original mesmo fora da geometria Riemanniana estrita.
4. Programa de Pesquisa: Em vez de apenas refutar ou defender o convencionalismo, o autor propõe usar as negações das suposições de W&M como ferramentas para mapear sistematicamente o espaço de teorias de espaço-tempo alternativas.

3. Principais Contribuições

• Desambiguação de Objetivos: O autor demonstra que W&M e D&BM muitas vezes falam de "coisas diferentes". W&M refutam a Universalidade (Teorema $\theta$), mas não necessariamente a Existência de alguma alternativa. A prova de W&M é forte o suficiente para derrubar a alegação de que qualquer geometria pode ser trocada por qualquer outra via forças universais padrão.
• Refutação de "Loopholes": O artigo argumenta que rejeitar suposições como conformalidade (CONF) ou a estrutura Riemanniana (RIEM) não salva o Teorema $\theta$. Mesmo ao generalizar para conexões com torção, a impossibilidade de relacionar geodésicas de métricas conformemente equivalentes via um tensor de força de rank-2 permanece.
• Generalização para Torção (Proposição 3): O autor prova formalmente que, mesmo em teorias com torção (como a gravidade teleparalela), não existe um tensor de força $F^a_b$ que relacione as geodésicas de duas conexões conformemente equivalentes não triviais. Isso mostra que a torção não atua como uma "força" no sentido padrão de Reichenbach.
• Reenquadramento Programático: O autor propõe tratar o teorema de W&M não como um fim, mas como o ponto de partida de um programa de pesquisa. Ao negar sistematicamente cada premissa (ex: $\neg$TOPO, $\neg$RIEM, $\neg$FORCE), pode-se gerar proposições formais para explorar o espaço de teorias alternativas (incluindo aquelas fora da geometria diferencial, como álgebras de Einstein).

4. Resultados Chave

• O Teorema $\theta$ é Falso na RG Padrão: Sob a interpretação padrão de "força universal" (como um campo tensorial de rank-2 na equação geodésica), a alegação de Reichenbach de que qualquer geometria pode ser trocada por qualquer outra é falsa. A prova de W&M, e sua generalização por Mulder, mostra que não há "força" que possa compensar as diferenças geométricas entre métricas conformemente relacionadas na RG.
• Limites da Subdeterminação: Embora a prova não elimine todas as formas de subdeterminação (uma alegação de existência específica ainda pode ser possível em casos exóticos), ela restringe severamente o espaço de modelos alternativos viáveis.
• Torção não é Força: A análise mostra que a torção em teorias como a Teleparalela (TEGR) não pode ser interpretada como uma força universal no sentido de Reichenbach, pois não satisfaz a forma algébrica padrão de uma lei de força (rank-2) que relaciona acelerações.
• Validade das Suposições: A maioria das suposições de W&M (como conformalidade e normalização) não são "brechas" que salvam o Teorema $\theta$; ao contrário, a negação delas apenas expande o espaço de teorias, mas não restaura a universalidade total.

5. Significado e Implicações

• Para a Filosofia da Ciência: O artigo oferece uma análise mais matizada do debate sobre o convencionalismo. Ele sugere que o realismo geométrico na RG é mais defensável do que se pensava, desde que se aceite uma definição restrita de "força". O Teorema $\theta$ é desmantelado, mas a subdeterminação de existência (UDT-$\forall g \exists \tilde{g}$) permanece uma questão aberta e fértil para investigação.
• Para a Física Teórica: O trabalho fornece um mapa formal para explorar teorias de gravidade alternativas. Ao tratar as suposições de W&M como variáveis de um programa de pesquisa, os físicos podem sistematicamente investigar quais estruturas geométricas (torção, não-metricidade, topologias não-Hausdorff) podem ou não ser trocadas por efeitos dinâmicos.
• Metodológico: O autor demonstra como "teoremas de impossibilidade" (no-go theorems) podem ser reutilizados construtivamente. Em vez de ver a prova de W&M como um bloqueio, ela se torna uma ferramenta para delimitar e classificar o "espaço de teorias de espaço-tempo", permitindo uma exploração rigorosa de teorias não concebidas anteriormente.

Em suma, Mulder conclui que não há um "teorema de impossibilidade rico" que salve o Teorema $\theta$ de Reichenbach na Relatividade Geral. A prova de W&M, longe de ser um erro ou uma restrição excessiva, estabelece limites rigorosos que, se compreendidos corretamente, permitem uma exploração sistemática e rigorosa das alternativas teóricas à nossa compreensão atual do espaço-tempo.