Version originale en anglais sur giftheory.substack.com

Orientation, pas ontologie

Postscript spéculatif à GIFT.

Note préalable

Ce qui suit ne fait pas partie de GIFT. Le cadre théorique, ses prédictions et ses revendications falsifiables tiennent ou tombent sur leurs seuls mérites techniques, indépendamment de quoi que ce soit dans cet essai. Ce que je propose ici, c’est l’orientation personnelle qui a motivé le travail, une posture philosophique spéculative qui nourrit mon goût pour les problèmes, pas le contenu de mes résultats.

À lire comme commentaire d’auteur, non comme revendication théorique. Si vous êtes venus chercher de la physique, les articles sont ailleurs. Si vous êtes venus chercher de la métaphysique, vous trouverez ici une esquisse honnête mais aucun système.

Pourquoi cet essai existe

Au cours des derniers mois, plusieurs lecteurs attentifs de GIFT ont soulevé une question que les articles eux-mêmes n’abordent pas : pourquoi cette structure plutôt qu’une autre ? Pourquoi une variété compacte de dimension 7 à holonomie G₂, pourquoi les nombres de Betti spécifiques (b₂, b₃) = (21, 77), pourquoi E₈ × E₈ ?

Les articles n’apportent pas de réponse à cette question parce qu’ils ne le peuvent pas. Aucune théorie physique à ma connaissance ne répond pleinement à sa propre question de sélection. Le Modèle Standard n’explique pas son groupe de jauge. La théorie des cordes a son problème de paysage. La relativité générale ne dérive pas la dimensionnalité de l’espace-temps. La question de la sélection est structurelle à la physique fondamentale, pas spécifique à un cadre particulier.

Mais j’ai une orientation (pas une réponse, une orientation) qui a guidé les choix que j’ai faits tout au long du développement. Ce serait malhonnête de publier un travail technique sans jamais reconnaître qu’une telle orientation existe. Cet essai en propose donc l’esquisse, étant explicitement entendu que rien de ce qui suit ne peut être invoqué contre les articles techniques, parce que rien de ce qui suit n’est offert comme théorie.

La lignée des outils mathématiques

Une première observation, philosophiquement modeste mais lourde de conséquences.

Les outils mathématiques que nous utilisons pour décrire la physique n’arrivent pas tous d’un coup. Ils forment une lignée historique de raffinement progressif : calcul différentiel, géométrie différentielle, analyse fonctionnelle, topologie, théorie des représentations, holonomie exceptionnelle, vérification computationnelle. Chacun affine différents aspects de ce qui peut être interrogé. Aucun ne remplace les autres ; chacun ajoute de la discrimination à une couche particulière.

Cela importe parce que cela dissout une question tentante. Quand je travaille avec l’holonomie G₂ et les algèbres de Lie exceptionnelles, je ne prétends pas que ces structures spécifiques correspondent à des traits profonds de la réalité. J’utilise les outils les plus discriminants actuellement disponibles pour les questions que j’essaie de poser. Dans cinquante ou deux cents ans, des outils plus fins existeront, qui feront paraître G₂ aussi primitif que l’arithmétique nous semble aujourd’hui.

Cette position est humble sans être déflationniste. Je ne crois pas que la lignée converge vers rien, ni qu’elle aille dans des directions aléatoires. Je crois qu’elle est façonnée par quelque chose: par la réalité physique elle-même, par les contraintes qu’elle impose à ce qui peut fonctionner comme outil, et par d’autres contraintes encore qu’il nous reste à découvrir. Mais je n’ai pas besoin d’une métaphysique de ce façonnage pour faire le travail. Il me suffit de reconnaître que les outils que j’utilise sont temporairement tranchants et fondamentalement provisoires.

Le pari ontologique

S’il y a un pari ontologique derrière GIFT, ce n’est pas que la réalité « est » une variété G₂, une structure E₈ × E₈, ou tout autre objet mathématique présent. Les objets mathématiques sont des outils, et les outils évoluent.

Le pari est plus modeste, et plus difficile à déloger : la loi physique pourrait être le résidu visible de contraintes profondes d’auto-cohérence, et la topologie enregistrerait la part de ces contraintes qui survit à la déformation.

L’auto-cohérence, ici, n’est pas une opération mathématique unique. Elle apparaît à plusieurs échelles, et c’est leur convergence qui m’intéresse plus que chacune prise isolément.

Au niveau local, elle se manifeste comme holonomie. Quand on transporte un vecteur le long d’une boucle fermée sur une variété riemannienne, il revient à son point de départ avec une rotation qui dépend de la géométrie locale traversée. Pour les variétés à holonomie G₂, cette rotation est contrainte d’appartenir à un groupe exceptionnel de dimension 14, pas SO(7) générique de dimension 21, mais un sous-groupe rigide dont la structure ne peut être déformée sans détruire la propriété de calibration de la 3-forme. C’est une auto-cohérence géométrique : la manière dont l’espace se courbe localement doit être compatible avec elle-même quand on referme la boucle.

Au niveau algébrique, elle se manifeste comme rigidité des structures exceptionnelles. Les algèbres de Lie classiques se déclinent en familles infinies indexées par le rang. Les algèbres exceptionnelles (G₂, F₄, E₆, E₇, E₈) sont au contraire en nombre fini (la classification de Killing-Cartan en identifie exactement cinq, et aucune ne peut être obtenue comme cas limite ou extension naturelle des autres. E₈ a 248 dimensions, ni 247 ni 249) ce nombre n’est pas négociable au sein de la classification. C’est une auto-cohérence algébrique : les contraintes internes verrouillent les paramètres globaux de la structure sans qu’aucun ajustement libre ne soit possible dans le cadre de la classification.

Au niveau global, elle se manifeste comme stabilité topologique sous variation continue. Les nombres de Betti d’une variété compacte ne changent pas sous déformation différentiable. La signature d’une 4-variété est un invariant cobordisme. La caractéristique d’Euler résiste à toute manipulation locale. Ces invariants survivent précisément parce qu’ils encodent des propriétés que la variété possède en tant que tout, pas en tant qu’agrégat de pièces locales. C’est une auto-cohérence globale : ce qui caractérise l’objet ne peut être altéré par modification de ses parties.

Aucune de ces opérations n’est exotique prise isolément. Ce qui est intéressant, c’est que les structures dont la physique fondamentale tire profit de manière récurrente tendent à satisfaire plusieurs d’entre elles simultanément. Une variété G₂ avec ses Betti numbers spécifiques empile les trois : holonomie locale rigide, lien à des algèbres exceptionnelles via les groupes de symétrie, invariants topologiques globaux fixés. C’est cette convergence, et non l’une quelconque des trois propriétés isolément, qui motive la conviction qu’on capture là quelque chose qui n’est pas un artefact de description.

Cette observation ne sélectionne pas une variété. Elle ne dérive pas une constante. Elle ne justifie pas une prédiction. Ce qu’elle fait, c’est expliquer un biais de recherche : en cherchant des compressions d’observables physiques, je tends à faire confiance aux structures contraintes sur plusieurs axes, celles qu’on ne peut déformer désinvoltement sans leur faire perdre leurs propriétés constitutives, plutôt qu’aux structures qui ne sont que localement rigides ou que globalement stables.

Le pari, en dernière analyse, c’est que plus une structure satisfait de couches d’auto-cohérence, moins il est probable qu’elle soit un artefact de la manière dont nous avons choisi de décrire le problème, et plus il est probable que quelque chose de physique soit capturé. C’est un pari, pas un théorème. Je tiens à être très clair là-dessus.

Filiation philosophique

Cette orientation n’est pas inventée par moi. Elle s’inscrit, à ma connaissance, dans une tradition philosophique relativement bien identifiée : le réalisme structurel (structural realism), programme contemporain en philosophie de la physique qui a sa bibliographie, ses débats internes et ses critiques.

La formulation moderne du réalisme structurel est généralement attribuée à John Worrall, dans un article de 1989 (Structural Realism: The Best of Both Worlds, Dialectica). Worrall y répondait à une difficulté classique de la philosophie des sciences : l’argument du « pessimisme méta-inductif » de Larry Laudan, selon lequel l’histoire des sciences montrerait que les théories successives postulent des entités fondamentalement différentes (l’éther de Fresnel, le champ électromagnétique de Maxwell, les photons de la mécanique quantique), ce qui devrait nous rendre sceptiques quant à la réalité des entités postulées par nos théories actuelles. La réponse de Worrall : ce qui se préserve à travers les changements théoriques, ce n’est pas la nature des entités, mais les relations structurelles: les équations, les invariants, les rapports mathématiques. Ce qui survit, c’est la structure ; ce qui change, c’est l’interprétation des relata.

Cette position a depuis donné lieu à deux familles, distinguées par James Ladyman dans un article fondateur de 1998 (What is Structural Realism?, Studies in History and Philosophy of Science). Le réalisme structurel épistémique (ESR) soutient une thèse modeste : nous ne pouvons connaître que la structure du monde, pas la nature intrinsèque des objets qui la portent. Le réalisme structurel ontique (OSR), développé notamment par Ladyman et Don Ross dans Every Thing Must Go (2007) et par Steven French dans The Structure of the World (2014), pousse plus loin : la structure n’est pas seulement ce que nous pouvons connaître, c’est ce qu’il y a. Les objets ne sont pas premiers, supportant secondairement des relations, ce sont les relations qui sont premières, et les objets sont des nœuds dans la structure relationnelle.

L’orientation décrite dans cet essai est plus proche de l’OSR modérée que de l’ESR. Quand je dis que la loi physique pourrait être le résidu visible de contraintes d’auto-cohérence, et que la topologie enregistre ce qui survit à la déformation, je dis quelque chose qui présuppose que les contraintes structurelles ont un statut ontologique propre et qu’elles ne sont pas seulement notre meilleure description, mais qu’elles capturent quelque chose de la manière dont la réalité est articulée. Cela me place dans la famille OSR, sans m’engager sur ses formulations les plus radicales.

Cette filiation a ses critiques sérieuses, et il serait malhonnête de les ignorer. L’objection de Newman (formalisée par M.H.A. Newman en 1928 contre Russell, et réactualisée contre l’ESR par Demopoulos et Friedman en 1985) souligne que connaître seulement la « structure » du monde au sens purement formel est presque trivial : pour tout ensemble d’objets de cardinalité suffisante, on peut définir des relations qui satisfont n’importe quelle structure abstraite donnée. Le réalisme structurel doit donc préciser ce qu’il entend par « structure » d’une manière qui dépasse la pure satisfaction logique. Stathis Psillos a développé une critique systématique de l’ESR (notamment dans Scientific Realism: How Science Tracks Truth, 1999), arguant que la distinction structure/nature est intenable et que la structure ne peut être maintenue indépendamment d’une certaine compréhension de ce qu’elle structure. Ces objections sont vivantes ; elles n’ont pas été refermées par le débat.

GIFT n’a pas vocation à arbitrer entre ces positions. L’orientation décrite ici opère dans un cadre où le réalisme structurel ontique est pris au sérieux comme programme de recherche en philosophie de la physique, et où l’enjeu de capturer des invariants topologiques et des structures algébriques exceptionnelles est compris non comme une coquetterie esthétique, mais comme une stratégie cohérente avec ce programme. Que ce programme soit ultimement défendable est une question ouverte pour la philosophie, pas pour les articles techniques de GIFT.

Ce que cette orientation produit, et ce qu’elle ne produit pas

Cette orientation a un périmètre précis. Soyons explicites sur ce qu’elle fait et ne fait pas.

Cela produit un goût pour les structures à auto-cohérence multi-couches, pour les invariants topologiques (ce qui survit à toute déformation continue est plus probablement structurel qu’incident), et pour les configurations exceptionnelles (les structures rares sont plus probablement sélectionnées que les génériques). Cela produit une disposition à prendre au sérieux la question de savoir pourquoi certaines structures mathématiques spécifiques continuent d’apparaître en physique, sans avoir besoin d’y répondre.

Cela ne produit aucune des prédictions de GIFT. Celles-ci proviennent d’invariants topologiques spécifiques et de combinaisons algébriques, calculables indépendamment de toute orientation. Cela ne produit aucune des techniques des diagnostics Newton–Kantorovich, des calculs de géométrie spectrale, ou de la vérification Lean 4. Cela ne produit aucune des revendications falsifiables qui distinguent GIFT de la spéculation.

Le travail technique tient sur ses propres pieds. Cet essai l’accompagne. Les deux doivent être jugés séparément.

Coda

Mes articles sont techniques. Cet essai ne l’est pas. Je les garde séparés parce qu’ils doivent être jugés séparément.

Mais l’honnêteté impose de reconnaître que le travail technique est façonné par une orientation qu’il ne nomme pas. Prétendre le contraire, publier des articles comme s’ils émergeaient d’une pure manipulation formelle, sans intuition sous-jacente, serait une distorsion plus sérieuse que d’admettre, ici, dans un espace clairement étiqueté, ce qu’est cette intuition.

Les articles disent ce qui peut être défendu. Cet essai dit ce qui est vrai sur la manière dont j’en suis venu à les écrire. Le travail continue…

Références indicatives

Pour le lecteur qui souhaiterait explorer la filiation philosophique mentionnée :