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

Cet article clarifie la distinction entre l'existence d'une géométrie alternative et le théorème de Reichenbach, réfutant l'existence d'un théorème d'impossibilité fort qui soutiendrait ce dernier, tout en démontrant que la preuve de Weatherall et Manchak peut être généralisée aux espaces-temps à torsion pour mieux explorer l'espace des théories alternatives.

L'essentiel

Le titre de l'histoire : La carte, le terrain et le mensonge universel

Imaginez que vous essayez de dessiner la carte du monde. En physique, cette carte s'appelle la géométrie de l'espace-temps. C'est la structure invisible qui dicte comment les objets se déplacent (comme la Terre autour du Soleil).

Il y a un vieux débat parmi les philosophes et les physiciens : La carte est-elle une vérité absolue, ou est-ce juste une convention ?

C'est là qu'intervient un philosophe nommé Reichenbach avec une idée folle, qu'on appelle le « Théorème Theta ».

L'idée de Reichenbach : Peu importe la carte que vous choisissez (plate, courbe, tordue), vous pouvez toujours la rendre vraie en ajoutant une « force magique » invisible qui pousse les objets exactement là où ils doivent aller.

L'analogie : Imaginez que vous dessinez une route droite sur une carte. En réalité, la route est en réalité une boucle. Reichenbach dit : « Ce n'est pas grave ! Si je suppose qu'il y a un vent invisible (une force universelle) qui pousse les voitures pour qu'elles suivent ma route droite, alors ma carte est aussi bonne que la vraie. » Selon lui, on ne peut jamais prouver quelle carte est la « vraie ».

Le défi des mathématiciens (Weatherall et Manchak)

En 2014, deux chercheurs, Weatherall et Manchak, ont dit : « Attendez une minute. Dans la théorie de la Relativité Générale d'Einstein (notre meilleure carte actuelle), cela ne marche pas toujours. »

Ils ont prouvé mathématiquement que si vous essayez de changer la carte (la géométrie) en ajoutant une force standard (comme le vent), vous ne pouvez pas toujours faire en sorte que tout corresponde.

• Le résultat : La Relativité Générale est plus rigide que la gravité de Newton. On ne peut pas dire « n'importe quelle carte est aussi bonne que l'autre ». Il y a une vérité géométrique.

La contre-attaque (Dürr et Ben-Menahem)

D'autres philosophes, Dürr et Ben-Menahem, ont répondu : « Vous avez triché ! Vous avez mis trop de conditions sur cette « force magique ». Si on change les règles du jeu (par exemple, si on autorise des forces étranges ou des espaces avec torsion), on peut encore sauver l'idée de Reichenbach. »

Ils ont dit que la preuve de Weatherall et Manchak n'était qu'un « non-go » (un mur) basé sur des hypothèses trop restrictives.

La solution de Ruward Mulder (Notre héros)

C'est ici que l'auteur de l'article, Ruward Mulder, intervient pour clarifier le débat. Il dit : « Arrêtons de nous battre sur les détails et regardons ce qui se passe vraiment. »

Il fait deux découvertes importantes :

1. Il faut distinguer deux types de mensonges

Mulder explique qu'il y a deux façons de comprendre la théorie de Reichenbach, et que les chercheurs confondaient souvent les deux :

• Le mensonge de l'existence (Est-ce qu'il existe au moins une autre carte ?) : Peut-être que pour une carte donnée, on peut en trouver une autre qui fonctionne.
• Le mensonge de l'universalité (Est-ce que n'importe quelle carte fonctionne ?) : C'est la version forte de Reichenbach. Il dit que n'importe quelle carte, aussi bizarre soit-elle, peut remplacer la vraie si on ajoute la bonne force.

La conclusion de Mulder : La preuve de Weatherall et Manchak tue le mensonge de l'universalité. Même si on change les règles, on ne peut pas dire que n'importe quelle géométrie est aussi bonne que l'autre. Le « Théorème Theta » est mort.

2. L'exploration du territoire (Le programme)

Au lieu de voir la preuve de Weatherall comme un mur qui bloque la recherche, Mulder propose de la voir comme une boussole.

Il dit : « Regardons les règles que Weatherall a utilisées (comme "l'espace doit être lisse", "pas de torsion", etc.). Si on enlève une règle à la fois, que se passe-t-il ? »

• Analogie du jeu de construction : Imaginez que vous construisez une tour avec des blocs. Weatherall a dit : « Si vous utilisez des blocs lisses et ronds, vous ne pouvez pas construire une tour qui ressemble à celle-ci avec une autre forme. »
• Mulder dit : « D'accord. Mais si on utilise des blocs avec des crochets (torsion), ou si on change la taille des pièces (topologie), peut-on encore construire une tour équivalente ? »

Il montre que même en changeant ces règles (en ajoutant de la "torsion" à l'espace), on ne parvient toujours pas à sauver l'idée que n'importe quelle géométrie est possible.

En résumé : Que retenir de tout cela ?

1. La vérité géométrique existe : Dans notre univers, il n'est pas possible de dire que "toutes les cartes sont égales". La géométrie de l'espace-temps a une réalité qui ne dépend pas de nos choix de convention.
2. Le débat est plus riche : Au lieu de simplement dire "Reichenbach a tort", nous pouvons utiliser ces preuves pour explorer toutes les théories possibles. C'est comme explorer un vaste archipel d'îles (des théories alternatives).
3. La méthode : Plutôt que de chercher à détruire la preuve, Mulder suggère de l'utiliser pour cartographier systématiquement ce qui est possible et ce qui ne l'est pas en physique.

La métaphore finale :
Imaginez que vous essayez de décrire un objet avec des mots. Reichenbach disait : « Peu importe les mots que vous choisissez, vous pouvez toujours les rendre vrais en inventant un nouveau sens pour chaque mot. »
Weatherall et Manchak ont dit : « Non, avec les règles de la grammaire moderne (Relativité Générale), ça ne marche pas. »
Mulder dit : « Ils ont raison, on ne peut pas utiliser n'importe quels mots. Mais en regardant quelles règles de grammaire on peut briser, on découvre de nouveaux langages et de nouvelles façons de voir le monde, sans pour autant tomber dans le chaos total. »

L'article nous invite donc à arrêter de chercher une seule "vraie" carte, mais à utiliser les mathématiques pour explorer rigoureusement toutes les cartes possibles, tout en sachant que certaines sont simplement impossibles.

Résumé technique

1. Le Problème : La Conventionnalité de la Géométrie en Relativité Générale

L'article s'inscrit dans le débat épistémologique sur la conventionnalité de la géométrie, une thèse associée à Poincaré, Reichenbach et d'autres, selon laquelle la détermination de la géométrie physique du monde nécessite un choix conventionnel (une « ancre ») qui ne peut être justifié empiriquement.

Le cœur du problème réside dans la possibilité de rendre deux théories spatiales-temps différentes empiriquement équivalentes en introduisant des forces universelles (ou effets universels) qui compensent les différences géométriques.

• La thèse de Reichenbach (Théorème $\theta$) : Pour n'importe quelle géométrie $G'$, on peut imaginer une force universelle $F$ qui déforme les instruments de mesure de telle sorte que la géométrie réelle soit une géométrie arbitraire $G$, et que les écarts observés soient dus à cette déformation. C'est une affirmation de universalité ($\forall g, \forall \tilde{g}$).
• La contribution de Weatherall et Manchak (W&M, 2014) : Ils ont démontré que, dans le cadre de la Relativité Générale (RG), il est impossible de relier les géodésiques de deux métriques conformes par un champ de force de type tensoriel de rang 2, sous certaines hypothèses raisonnables. Cela suggère que la RG est moins sujette à la sous-détermination que la gravité newtonienne.
• La critique de Dür et Ben-Menahem (D&BM, 2022) : Ils soutiennent que les hypothèses de W&M sont trop restrictives et constituent des « échappatoires » (loopholes). Ils présentent la preuve de W&M comme un théorème d'impossibilité (no-go theorem) dont on peut contourner la conclusion en rejetant l'une de ses prémisses, préservant ainsi la conventionnalité.

Mulder vise à clarifier ce débat en distinguant deux types de sous-détermination et en évaluant rigoureusement la portée des preuves.

2. Méthodologie

L'auteur adopte une approche formelle et logique, s'appuyant sur l'analyse des preuves mathématiques existantes et la généralisation de celles-ci :

1. Distinction Logique : Mulder dissocie deux cibles souvent confondues dans la littérature :
   • L'affirmation d'existence (UDT-$\forall g \exists \tilde{g}$) : Pour une métrique donnée, existe-t-il au moins une autre métrique équivalente empiriquement ?
   • L'affirmation d'universalité (UDT-$\forall g \forall \tilde{g}$) : N'importe quelle métrique peut-elle remplacer n'importe quelle autre ? (C'est la version forte du Théorème $\theta$).
2. Analyse des Hypothèses : L'article décompose la preuve de W&M en un ensemble de prémisses mutuellement incompatibles si l'on ajoute la thèse conventionnaliste forte. Les hypothèses clés sont :
   • (CONF) : Les métriques alternatives sont conformes ($\tilde{g}_{ab} = \Omega^2 g_{ab}$).
   • (NORM) : Les vecteurs tangents sont normalisés (norme unitaire).
   • (FORCE) : L'effet universel doit s'exprimer sous la forme d'une loi de force standard (champ tensoriel de rang 2 agissant sur l'accélération).
   • (RIEM) : La géométrie est riemannienne (connexion sans torsion et compatible avec la métrique).
   • (TOPO) : La topologie (dimension, propriété de Hausdorff) reste inchangée.
3. Généralisation Mathématique : L'auteur étend la preuve de W&M au cas des espaces-temps avec torsion (connexions non symétriques), en utilisant le formalisme des tenseurs de différence et de contorsion.
4. Programme de Recherche : Au lieu de simplement rejeter ou accepter la preuve, Mulder propose d'utiliser les hypothèses comme outils pour cartographier systématiquement l'espace des théories de l'espace-temps alternatives.

3. Contributions Clés et Résultats

A. Clarification de la Cible de la Preuve

Mulder démontre que la preuve de W&M (Proposition 2) réfute principalement l'affirmation d'universalité (Théorème $\theta$), et non nécessairement l'affirmation d'existence faible.

• Si l'on accepte l'hypothèse (FORCE) (les effets universels se comportent comme des champs de force standards), alors le Théorème $\theta$ est faux, même si l'on rejette d'autres hypothèses comme (CONF) ou (RIEM).
• Rejeter (CONF) (en considérant des métriques non conformes) élargit l'espace des modèles possibles, mais ne sauve pas le Théorème $\theta$ : la preuve de W&M reste valide pour la classe restreinte des métriques conformes, et son invalidité dans cette sous-classe suffit à invalider l'affirmation d'universalité globale.

B. Généralisation aux Espaces avec Torsion (Proposition 3)

L'auteur prouve que le résultat de W&M s'étend aux connexions avec torsion (théories de la gravité téléparallèle, etc.).

• Résultat : Même en autorisant des connexions non symétriques (torsion), il n'existe aucun champ tensoriel de rang 2 $F_{ab}$ capable de relier les géodésiques de deux métriques conformes distinctes dans un espace-temps avec torsion.
• Implication : La torsion ne peut pas être interprétée comme une « force » au sens standard de l'équation géodésique (elle n'agit pas comme un terme de force conservatif de rang 2). Cela renforce l'idée que la RG est structurellement rigide face à la conventionnalité si l'on maintient la définition standard de la force.

C. Réévaluation des « Échappatoires » (Loopholes)

L'article examine systématiquement ce qui se passe si l'on rejette chaque hypothèse (Section 5) :

• Rejet de (TOPO) : Changer la topologie (ex: espaces non-Hausdorff, dimensions supplémentaires) peut créer des modèles équivalents, mais cela sort du cadre de la RG standard et introduit des problèmes de complétude physique.
• Rejet de (RIEM) : L'utilisation de la « trinité géométrique » de la gravité (courbure, torsion, non-métricité) montre que des théories équivalentes existent, mais elles ne satisfont pas la condition (FORCE) stricte de W&M. La torsion et la non-métricité agissent comme des effets géométriques, pas comme des forces tensorielles de rang 2.
• Rejet de (FORCE) : Si l'on permet des effets universels qui ne sont pas des forces (ex: déformation des instruments, champs scalaires modifiant les horloges sans dévier les particules), le Théorème $\theta$ pourrait survivre, mais cela revient à abandonner la définition physique standard de la force en RG.

4. Signification et Conclusion

L'article apporte une contribution majeure à la philosophie de la physique en :

1. Démêlant le débat : Il montre que la controverse entre W&M et D&BM repose souvent sur une confusion entre la sous-détermination d'existence (une alternative existe-t-elle ?) et la sous-détermination d'universalité (toutes les géométries sont-elles interchangeables ?).
2. Validant la rigueur de W&M : Il confirme que, sous des hypothèses standard (notamment la définition de la force comme champ tensoriel de rang 2), le Théorème $\theta$ de Reichenbach est faux en Relativité Générale. Il n'existe pas de « riche théorème d'impossibilité » qui sauve le conventionnalisme fort.
3. Proposant un Programme Constructif : Au lieu de voir la preuve de W&M comme une fin, Mulder la propose comme point de départ d'un programme de recherche. En rejetant systématiquement les hypothèses (topologie, connexion, définition de la force), les physiciens peuvent cartographier l'espace formel des théories alternatives de l'espace-temps. Cela permet de transformer un débat négatif (« ce n'est pas possible ici ») en une exploration positive de l'espace des théories (« quelles conditions sont nécessaires pour qu'une alternative soit possible ? »).

En résumé, Mulder conclut que la RG impose des contraintes structurelles fortes qui limitent sévèrement la conventionnalité géométrique, à moins de sacrifier des concepts physiques fondamentaux comme la nature des forces ou la topologie de l'espace-temps. La preuve de W&M ne détruit pas tout le conventionnalisme, mais elle le contraint à des formes beaucoup plus spécifiques et moins générales que celles imaginées par Reichenbach.