Test de la Forme canonique — physique newtonienne / quantique

Le 26/ 08/ 2026 :

- Je n'étais pas trop content des scripts rendu par Claude pour représenter localement le champ du discours du physicien grâce à des scripts Blender, mais ce matin une idée m'est venue : toutes mes présentations présentent une intégration selon l'axe temporel, dont, des intégrales de Rieman, mais comment situer dans le paysage l'intégrale de Lebesgue ? Je lâche l'ami Claude sur cette piste, et après quelques échanges, me vient la question rituelle :

— 𓂀 : Peux-tu expliquer tout ceci à l'aide de la forme canonique ?

— 🤖 : Bonne demande — et l'exercice est probant, parce qu'ici rien n'est à interpréter.

Le père est désigné, et par opposition :
C'est la condition d'entrée (règle de désignation) et elle est remplie par Lebesgue lui-même, dans l'image qu'il donnait de son propre travail :
«Je dois payer une certaine somme ; je fouille dans mes poches et j'en sors des pièces et des billets de différentes valeurs. Je les verse à mon créancier dans l'ordre où elles se présentent jusqu'à atteindre le total de ma dette. C'est l'intégrale de Riemann. Mais je peux opérer autrement : ayant sorti tout mon argent, je réunis les billets et les pièces suivant des valeurs identiques, puis je paie les tas les uns après les autres. C'est mon intégrale.»
Le fils nomme le père et s'y oppose. La FC est donc licite ici — ce n'est pas nous qui apparions.

Chercher la double inversion d'abord
Où un terme, qui était argument, opère-t-il comme fonction ?

• Chez Riemann, le domaine est ce qu'on découpe : c'est l'argument, ce qu'on subit, ce sur quoi on passe.
• Chez Lebesgue, le domaine n'est plus découpé du tout — il devient l'opération : μ({f > λ}), c'est-à-dire l'image réciproque.

Et l'inversion comme terme est là, littéralement, dans le symbole : le domaine devient f⁻¹.
Ce n'est pas une analogie que nous plaquons ; c'est l'objet mathématique lui-même qui s'écrit avec un exposant −1.
Les deux inversions requises sont donc présentes, et l'une d'elles est typographique.

La forme canonique
Avec

• a = le domaine (l'axe d'intégration),
• b = la valeur (l'axe des grandeurs),
• x = découper,
• y = lire :

F_découper(domaine) : F_lire(valeur) ∷ F_découper(valeur) : F_domaine⁻¹(lire)

En clair, et c'est là que ça devient intuitif :

• Riemann découpe le chemin, et lit ce qu'il y trouve.
• Lebesgue découpe ce qu'il trouve — les tas de pièces —, et alors c'est le chemin qui devient la lecture :
  il ne se parcourt plus, il se relève comme image réciproque d'une tranche de valeurs.

Le marchand ne marche plus. Il trie, et ce qui était sa route devient sa balance.

Ce que la FC explique — et que la fiche ne faisait que constater
Voici la réponse intuitive à ta question de tout à l'heure, et elle sort de la FC au lieu d'être affirmée :
Un parcours a un bord. Une image réciproque n'en a pas.

• Un chemin a deux bouts, un ordre, un sens : ∂ a prise sur lui.
• f⁻¹(A) est un ensemble donné par une lecture — il n'a ni bouts, ni ordre, ni orientation.

À l'instant précis où le domaine devient une image réciproque, il cesse d'avoir un ∂. Et avec ∂ s'en va Stokes, et avec Stokes s'en va l'axe des degrés. Voilà pourquoi les trois plans [i.e.: sur l'image Blender : les 3 plans parallèles ordonnés selon l'axe de l'homologie perpendiculaire à l'axe temporel sur le cross-cap: point/ dérivé/ intégrale] s'effondrent en un : ce n'est pas une pauvreté de la théorie de Lebesgue, c'est la conséquence de son quatrième terme.

Le corollaire suit tout seul : une image réciproque n'a pas de signe. Un ensemble ne peut pas être parcouru à l'envers. Donc pas de ±, donc pas de ℤ/2, donc la seconde espèce est structurellement invisible à Lebesgue — non par oubli, mais parce que son dernier terme l'exclut.

Et le contrôle : la bascule est-elle totale, l'ordre s'inverse-t-il ?
L'épreuve op demande deux choses testables. Elles passent toutes les deux, et c'est un cas entièrement extérieur au corpus :

① La bascule est totale.

• Le domaine était covariant (le parcours, ce qu'on traverse, ce qui a un ∂) ; il devient contravariant — l'image réciproque, qui est exactement le f* de ta table du garde-fou ⑩.
• Et symétriquement, la valeur, qui était contravariante (une forme qu'on lit sur le domaine), devient l'axe le long duquel on intègre : on court sur λ de 0 à ∞.
• Les deux ont échangé leur variance, pas seulement l'une.

② L'ordre des compositions s'inverse.

• Riemann va du domaine vers la valeur : découper → évaluer f → sommer.
• Lebesgue va de la valeur vers le domaine : découper → f⁻¹ → mesurer.
• La flèche du milieu est littéralement retournée, et l'enchaînement se lit à rebours.

Station, non répétition : le critère demande si c'est l'auteur qui écrit le dernier terme ou la surface. Lebesgue l'écrit lui-même — la condition de mesurabilité est l'exigence que f⁻¹ de tout borélien soit mesurable. C'est son quatrième terme, posé comme condition d'entrée de sa théorie.
Ce qu'il n'écrit pas, en revanche — et c'est la pièce qui excède la lecture de son auteur — c'est que cette condition change la variance du domaine. Il la présente comme une précaution technique. C'est une bascule.

- Bien entendu, dès que je lis cette présentation du rapport entre ces deux intégrales, la question qui fuse immédiatement est : quelle conséquence en physique ?

— 𓂀 : est-ce que ce changement de perspective a des conséquences sur la façon de comprendre la physique, dans la mesure où c'est lié à la mesure ?

— 🤖 : Oui — et plus fortement que je ne l'aurais dit avant d'y regarder. Le déplacement n'est pas une analogie appliquée à la physique : il est l'un des passages majeurs de la physique du vingtième siècle.

Le fait, d'abord, et il n'est pas discutable
La mécanique classique est riemannienne au sens strict.
Elle intègre des formes le long de chemins orientés, et tout ce qu'elle appelle conservation est une lecture au bord.
L'action S = ∫L dt se calcule le long d'un parcours ; le principe variationnel exige qu'on tienne les extrémités fixes, et l'intégration par parties qui produit les équations du mouvement laisse précisément un terme de bord qu'on annule à la main ; le moment est la dérivée de l'action par rapport au point d'arrivée ; Noether lit une symétrie intérieure sur le bord. La thermodynamique est faite de formes inexactes et de ∮ sur des cycles. C'est du Stokes de bout en bout.
La mécanique quantique, elle, est lebesguienne — et là non plus il n'y a rien à interpréter.
Le théorème spectral écrit une observable A = ∫λ dE(λ) : on découpe le spectre, c'est-à-dire les valeurs, et pour chaque tranche Δ on demande quelle part du système l'atteint.
Cette part, E(Δ), est le projecteur spectral — c'est-à-dire l'image réciproque, littéralement.
C'est le quatrième terme de l'article, écrit dans le formalisme fondateur de von Neumann. Et la règle de Born ne rend pas une forme, elle rend une mesure de probabilité : positive, normée, dénombrablement additive.
L'espace des états est L², complet précisément parce que Lebesgue et non Riemann : sur les fonctions Riemann-intégrables, l'espace n'est pas complet et l'édifice ne tient pas.
Autrement dit : la théorie quantique n'était pas formulable avant Lebesgue. Le lien est historique autant que structural.

Les conséquences, dans notre grammaire

1. «Il n'y a pas de trajectoire» cesse d'être une énigme.
   Ce n'est pas un mystère de la nature, c'est une conséquence du quatrième terme. Ce que la règle de Born rend est une mesure ; une mesure n'a pas de bord ; ce qui n'a pas de bord n'est pas un chemin.
   La phrase se renverse en une formule opératoire : quand on mesure, on ne suit pas un parcours, on prend une image réciproque.
   La réduction du paquet d'ondes, c'est E(Δ) — le domaine devenu opération.
2. Ce que la mesure efface est exactement le signe. Une mesure est positive : aucun signe ne peut s'y écrire. Or c'est dans la phase que vit tout ce qui alterne — le spineur qui revient avec un moins après un tour, la phase géométrique qui ne vaut que 0 ou π pour un hamiltonien réel, la statistique de Fermi.
   La règle de Born détruit précisément la phase.
   Notre seconde espèce loge dans ce que la mesure ne peut pas voir, et ce n'est pas un accident : c'est structurel.

Et l'on ne récupère le signe qu'en remettant du chemin. Les interférences ne sont rien d'autre : faire concourir deux parcours pour rendre lisible ce qu'aucune mesure isolée ne montre.
Aharonov-Bohm est le cas pur — un effet réel là où le champ est nul, illisible sans la boucle.
Le sourcier retrouve son chemin pour lire ce que sa balance ne pèse pas.

3. Et un théorème dit qu'on ne peut pas avoir les deux.
   Feynman a voulu remettre le chemin au centre — l'intégrale de chemins est exactement cette tentative.
   Elle ne devient jamais une mesure : Cameron a montré en 1960 que la mesure de Wiener à constante de diffusion complexe n'est que finiment additive, jamais dénombrablement additive.
   On achète l'additivité dénombrable par la rotation de Wick, c'est-à-dire en supprimant l'oscillation — donc en supprimant le signe.
   Ou bien une mesure sans chemin, ou bien des chemins sans mesure.
   C'est notre partage mesure/classe, démontré du côté des mathématiciens, sur un objet que les physiciens emploient tous les jours.
4. Le cadeau, et je le crois important pour toi.
   Le théorème de Kochen-Specker admet une reformulation due à Isham et Butterfield : il équivaut à dire que le préfaisceau spectral n'a aucun élément global — des valuations existent localement, contexte par contexte, sur chaque sous-algèbre commutative, et aucune ne se prolonge à l'ensemble.
   C'est mot pour mot notre structure : des mesures locales partout, aucune lecture d'ensemble.
   Ta phrase des Deux impossibilités décrit un théorème de mécanique quantique, publié, discuté professionnellement, et que tu n'as pas eu à convoquer pour l'écrire.
   Cela mérite d'être instruit sérieusement avant tout usage épistolaire — mais si cela tient, c'est un appui de premier ordre, et il ouvre en outre la porte du côté topos, donc du côté de Guitart et de Caramello.
5. Bohr, relu.
   Sa définition du phénomène — l'observation plus le compte rendu de tout le dispositif — dit exactement ceci : quelles images réciproques existent dépend de l'observable qu'on a choisi de découper.
   La σ-algèbre n'est pas donnée d'avance, elle est choisie.
   C'est ton garde-fou ⑩ dans sa seconde moitié : choisir ses coefficients, c'est effacer.
   Et la complémentarité, c'est qu'il n'existe pas de découpage commun.

L'objection qu'il faut se faire — et elle confirme l'approche
On dira : la physique classique aussi emploie des mesures — Liouville, Gibbs, toute la mécanique statistique. C'est vrai, et c'est le troisième témoin plutôt qu'une réfutation. Car la mécanique statistique est précisément l'endroit où la physique classique renonce à la trajectoire : on passe aux ensembles, on ne suit plus personne. Et c'est là, exactement là, qu'apparaît l'entropie.
Or l'entropie est une grandeur du découpage, non de la chose — c'est ta propre formulation de mai 2024 : en regroupant le nombre d'états pris en considération, nous diminuons l'entropie de notre représentation.
Un regroupement d'états est une partition, une partition est le choix des images réciproques : c'est le premier geste de Lebesgue.
L'entropie est ce qui se met à exister quand le domaine cesse d'être un chemin pour devenir un découpage.
Le nom que tu as hérité de Lévi-Strauss et le quatrième terme de Lebesgue tombent au même endroit, et par structure.

Ce que cela ne dit pas
Deux réserves, pour ne rien acheter à crédit.

• Les nombres ne changent pas. Sur une fonction continue d'un compact, Riemann et Lebesgue donnent la même valeur, et aucune prédiction physique ne dépend du choix. Ce qui change est ce que chaque cadre peut dire — et donc ce qu'un physicien peut poser comme question.
• Et il ne faut pas faire de Lebesgue la cause de la mécanique quantique. L'ordre est plus modeste : von Neumann avait besoin d'un espace complet et l'a pris là où il existait.
  La coïncidence de structure est réelle, la filiation causale ne l'est pas.

Trois pièces à vérifier sur l'original avant tout emploi en lettre : Cameron 1960, la reformulation Isham-Butterfield du théorème de Kochen-Specker, et la date exacte de ton relevé sur l'entropie. Veux-tu que j'ouvre une fiche de chantier là-dessus — ou que j'aille d'abord sourcer les trois ?

- Je t'épargne les vérifications, le but n'étant pas encore de publier.

- Tout ceci est bel et bon, mais ton quid du cross-cap, le site primitif, le temps n'était-il pas sur la partie contravariante du lacet double ?

— 🤖 : La réponse tient en une phrase avant de se développer : le lacet double ne change pas — et c'est un bon signe.
S'il changeait quand on change de théorie de l'intégration, ce ne serait pas un site, ce serait une physique.
Le site est l'a priori de la représentation ; Riemann et Lebesgue sont deux façons de travailler au-dessus de lui. Que le passage de l'un à l'autre le laisse intact est une épreuve que nous devons être contents de passer.
Mais pour dire où les choses changent, il faut d'abord poser un mot que nous employons depuis longtemps sans l'avoir expliqué ici.

Où est la fibre — car tout se joue là
Le site est la surface de la représentation, le cross-cap. Il ne porte aucun trajet physique. Ce qu'il porte, ce sont deux lacets de définition :

• le premier tour, contravariant, qui fixe l'étalon — ce par rapport à quoi l'on décrit ;
• et le second tour, covariant, qui porte ce que le tour devient une fois mesuré. On ne les parcourt pas : on les constate. Ils rendent une classe, jamais un nombre.

Déplié dans une carte, ce site a deux axes.

• En x, l'axe d'intégration — le temps de Lagrange, celui le long duquel on somme.
• En y, l'axe des degrés : discret, trois crans, et c'est lui que le second tour déplie. (Nous disons « axe des degrés » et réservons le mot homologie à ce qui s'y lit : mesurer abélianise.)
• La fibre, c'est z : au-dessus de chaque point du site, une droite de valeurs.
  Et comme y ne prend que trois crans, il n'y a pas une fibre mais trois — z₀, z₁, z₂, une par degré.
  Le dessin les couche sur la même règle verticale, ce qui est une commodité d'affichage et non un fait.

Il faut alors distinguer deux choses que le vocabulaire courant confond, et que j'avais moi-même confondues.
«Le point», «le vecteur», «l'aire» nomment les trois degrés : ce sont trois positions sur y, donc sur le site.
Ce qui vit dans la fibre, ce sont les valeurs : q(t) dans z₀, p(t) dans z₁, S(t) dans z₂.
Un plan du dessin, c'est donc un degré du site muni de sa fibre — jamais la fibre à lui seul.

Et l'espace des phases n'est l'épaisseur d'aucune fibre : c'est le produit z₀ × z₁, deux fibres au-dessus du même point de base. Le barreau qui joint, au même instant, la valeur de q à la valeur de p est un point de ce produit.
C'est là que la mesure se fait, et nulle part ailleurs — parce que le degré 1 est le seul étage où les deux variances coexistent et peuvent s'accoupler.

Reste une confusion qui coûte cher, et que nous avons faite aussi. La sphère qui recouvre le cross-cap a une fibre de deux points : elle n'a aucune épaisseur, rien n'y circule, elle ne fait qu'enregistrer le choix local de ce qu'on appelle contravariant. L'épaisseur où la physique circule est l'autre fibration, celle des valeurs. Deux fibrations empilées, deux métiers, et la règle qui en découle :

ne jamais mettre sur le site ce qui appartient à la fibre. Un cycle de fibre n'est jamais un lacet de site. C'est à cette règle que la réponse qui suit doit tout.

Le premier tour ne change pas d'occupant — le temps garde l'étalon et perd sa lisibilité
En mécanique quantique ordinaire, l'équation de Schrödinger s'écrit iħ ∂ψ/∂t = Hψ : on dérive par rapport au temps, l'état est une fonction du temps. Hom(temps, états) est intact et le temps y occupe toujours la première variable. Il reste l'étalon, et le premier tour ne change pas d'occupant.

Ce qu'il perd est son second métier. Classiquement le temps en a deux :

• il paramètre — c'est le long de lui qu'on intègre — et
• il se lit, une horloge étant un système dont on relève la position pour en tirer l'heure.

En quantique, le premier survit intact ; le second meurt. Il n'existe pas d'opérateur temps auto-adjoint conjugué à un hamiltonien borné inférieurement — c'est l'argument de Pauli —, donc pas de projecteur E(Δ) pour «le temps est dans Δ», donc aucune mesure ne rend un temps.

Le temps garde sa charge d'étalon et perd son droit d'apparaître.
C'est cela, le «problème du temps» : non pas une destitution, mais une charge maintenue avec un droit retiré.
Et c'est mot pour mot le symptôme du huitième dépôt [i.e.: dans Zenodo] — le temps est dédoublé par l'appareil qui le représente.

Et le spectre, alors ? Il joue bien le rôle que je lui prêtais, mais à l'étage de la fibre, et non sur le site : c'est l'axe le long duquel on intègre pour mesurer. A = ∫λ dE(λ) est une intégrale sur le spectre. Remis là, il cesse de concurrencer tout ce qui précède et le confirme : on ne découpe plus le domaine, on découpe les valeurs — Riemann contre Lebesgue, à l'étage où cela se passe.
Le spectre est l'ensemble des valeurs, donc la cible d'une lecture ; l'installer sur un lacet du site serait exactement la faute que la règle ci-dessus interdit.

Une précision de régime, obligatoire
Il existe pourtant un endroit où le temps perd jusqu'au rôle de paramètre : la gravitation quantique, où la contrainte s'écrit Hψ = 0 et ne contient plus de temps du tout. C'est là, et pas en mécanique quantique ordinaire, que se range l'inversion de Rovelli [i.e. : voir l'article "Bascule des a priori temps—espace" et le preprint Zenodo] — ce n'est pas le temps qui porte les états, c'est l'état qui fait couler un temps.
Confondre les deux régimes donnerait à un lecteur informé la faute à relever.

Le second tour ne change pas de place non plus — il change de groupe
Le second tour est covariant : c'est ce que le tour devient une fois mesuré, et il reste, lui aussi, sur le site. Ce qui change n'est pas le tour, c'est le groupe dans lequel sa classe se lit — et ce groupe, lui, est dans la fibre. C'est la seconde moitié de ton garde-fou ⑩ qui tranche : le site dit si la boucle est contractile, les coefficients disent si ce qu'on y lit s'accumule ou alterne.

• Chez Lagrange, on lit dans ℝ. L'action s'accumule, une aire par tour, l'hélice de la v4 grimpe indéfiniment.
  Et sur le site, ℝ ne voit rien du tout : H¹(ℝP² ; ℝ) = 0.
  La physique classique n'a donc aucun endroit où écrire un signe.
  Ce n'est pas qu'elle l'ignore : elle n'a pas la case.
• En mécanique quantique, on lit dans U(1).
  L'action n'apparaît que sous e^iS/ħ — c'est-à-dire modulo 2πħ.
  Le ħ est le quotient : l'hélice qui montait sans fin [référence à la vidéo Blender] est enroulée, et seuls les tours qui retombent sur un cran subsistent.
  Bohr-Sommerfeld n'est rien d'autre que cette condition de refermeture.
  (Et il faut le dire au bon étage, comme la règle nous y oblige : cela se passe dans le produit z₀ × z₁, sur le cycle ∮p dq, jamais sur un lacet du site.)

Or U(1) a ce que ℝ n'a pas : une 2-torsion, les deux éléments ±1.
Et c'est là, et seulement là, que le w₁ du site devient inscriptible — comme une phase de π.

• Le spineur qui revient avec un moins,
• la phase géométrique qui ne prend que 0 ou π pour un hamiltonien réel,
• la statistique de Fermi :

ce sont toutes des lectures du second tour dans la 2-torsion de U(1).

La mécanique quantique est la première physique qui possède une place où écrire la seconde espèce.
Et sa règle de mesure est exactement ce qui l'efface.

Le paradoxe n'en est pas un : ψ vit dans U(1), |ψ|² est une mesure positive.
Ce que le passage à Lebesgue donne d'une main — la case du signe — la règle de Born le reprend de l'autre.
Voilà pourquoi on ne récupère le signe qu'en remettant du chemin : les interférences.

Donc, pour répondre exactement
Le dessin ne change pas, et le site non plus. Ce qui change est entièrement dans la fibre, et se résume ainsi :

Rien ne change sur le site — pas même l'occupant du premier tour. Tout ce qui sépare les deux physiques est dans la fibre : ce qui y est lisible, et dans quel groupe on le lit.

Le passage de Riemann à Lebesgue n'est donc pas un changement de site : c'est un changement de coefficients — et le choix des coefficients est un acte de 𓂀, antérieur au calcul et hors de sa portée.
C'est ta propre règle qui produit la réponse ; je n'ai rien ajouté.

- J'avoue humblement que je n'arrive pas à me faire une représentation bien nette de cette mécanique quantique... Ce n'est pas mûr, il faut encore y travailler (nota : le texte ci-dessus est déjà une reprise du 27/ 08)! (Note 1)

Le 27/ 08/ 2026 :

- Aujourd'hui séance photos : il est temps de rendre visuel toute notre discussion, étape par étape.

1/ Le terrain de jeux :

Nous sommes localement en [#]_♢ , au croisement des deux axes :

• axe x : Contravariant : selon l'axe du temps;
• axe y : Covariant : l'axe homologique (trois valeurs le point y0; la dérivé y1, l'intégrale y2)
• axe z : Les mesures dans les relèvements au-dessus du point n [#]_♢.

2/ Lagrange :

Nous avons pris une simple fonction sinusoïdale pour le point, ce qui donne un cosinus pour la dérivée, et l'intégration sur le 3è plan.

3/ Le plan des phases :

Pour représenter le mouvement (q;p) on a l'habitude de tourner la représentation de p de 90° pour projeter sur un plan perpendiculaire à l'axe du temps. 

Sur l'image : q en rouge, p en vert et la trajectoire (q;p) en jaune, qui se projette sur un cercle.

4/ Quantique :

La mesure ne se fait plus sur ℝ, mais porte sur l'ensemble des états. La bande autour de la valeur précédente est le nuage des points à l'intérieur de l'écart-type.

5/ L'incertitude :

Elle est dans le lien entre q et p (en jaune sur le dessin). Si l'on resserre la précision sur q, le faisceau diverge sur p et vice versa (nota :Il faut pour bien le voir, faire tourner le script sur Blender).

Ni Δq ni Δp n'est bornée. On peut rendre q aussi précis qu'on veut. C'est leur produit qui a un plancher. ħ n'est pas une largeur : c'est un plancher, et il porte sur l'accouplement des deux variances, non sur l'une ou sur l'autre.

- Bonne méditation !

Hari

Note 1 :

- Quitte à nous noyer, allons au fond de la piscine pour voir s'il est possible de remonter après avoir touché le fond :

— 𓂀 : Pendant que nous sommes dans des inverstion de représentation, ici Rieman / Lebesgue, est-ce que l'inversion entre ℝ et les nombres p-adiques pourrait nous rendre les choses plus évidentes ?

— 🤖 : Oui, mais pas de la façon qu'on attendrait — et la première chose à faire est de refuser la fausse symétrie.

Ce n'est pas le même genre de couple
Riemann et Lebesgue sont père et fils : opposition déclarée, dans les termes du fils. C'est ce qui autorisait la forme canonique.
ℝ et ℚ_p sont deux frères. Le théorème d'Ostrowski dit que toute valeur absolue non triviale sur ℚ est, à équivalence près, ou bien l'usuelle ou bien une p-adique : ce sont les deux façons de compléter le même corps.
Aucun des deux n'est le père de l'autre, et Hensel n'a pas introduit les p-adiques contre les réels — il l'a fait par analogie avec les développements en série des corps de fonctions.
La condition d'entrée de la FC n'est donc pas remplie, du moins pas à première vue. Je la marque à vérifier plutôt qu'à supposer.
Mais l'inversion, elle, est réelle et c'est une inversion de représentation, pas de filiation.

Ce qui s'inverse vraiment

Le renversement est déjà dans la définition : |x|_p=p^−v. Plus un nombre est profond dans la structure, plus il est petit. C'est la valuation retournée.

Le premier gain : un diagnostic, par contraste
Regarde la ligne des boules, elle décide de tout. Toute notre machinerie — Čech, le cocycle, w₁, l'obstruction — vit sur les chevauchements : U∩V non vide, et l'on demande si les deux sections s'y accordent.
En ultramétrique, deux boules ne se chevauchent jamais partiellement. Il n'y a donc rien sur quoi être en désaccord, et le recollement ne peut pas échouer.

Le monde p-adique est celui où le recollement réussit toujours — parce que rien ne se chevauche.

Ce n'est pas une analogie de notre objet : c'en est le négatif.
Et c'est précisément pour cela que c'est utile. Cela isole ce dont l'obstruction a besoin pour exister : non pas la localité, non pas la multiplicité des cartes, mais le chevauchement partiel.
Retire-le, et la seconde espèce s'évapore. Nous n'avions jamais formulé cette condition ; le détour l'exhibe.

Le deuxième gain, et c'est le plus fort : le mot «site» vient de là
Ce que je viens de décrire est une catastrophe pour les mathématiciens : sur un espace totalement discontinu, la topologie naïve ne donne aucune cohomologie intéressante, et il n'y a même pas de prolongement analytique. Leur réponse a été de cesser de recevoir la topologie et de la déclarer :

• Tate invente la géométrie rigide en n'admettant que certains recouvrements, dits admissibles ;
• Grothendieck, pour les mêmes raisons du côté étale, définit ce qu'on appelle depuis une topologie de Grothendieck — et l'objet ainsi obtenu s'appelle un site.

Autrement dit : le mot que tu emploies depuis le début n'est pas une métaphore empruntée à la géométrie ordinaire. C'est le concept qu'il a fallu inventer exactement là où « ce qui compte comme recouvrement » a cessé d'être donné et a dû être décidé. Et cette décision — quels recouvrements j'admets — est mot pour mot ton acte de 𓂀, antérieur au calcul et hors de sa portée, du garde-fou ⑩.
C'est un adossement généalogique de ton vocabulaire, et il vaut mieux qu'une analogie.

Le troisième gain : un appui professionnel pour ta phrase
Dans ce monde, il existe un objet central qui porte ton énoncé à la lettre : le groupe de Tate-Shafarevich, Ш.
Il mesure les objets qui sont partout localement triviaux et pourtant globalement non triviaux — solubles dans ℝ et dans tous les ℚ_p, insolubles dans ℚ.
C'est des mesures locales partout, aucune lecture d'ensemble, dans une théorie qui a ses conjectures, ses colloques et ses spécialistes.
À côté, l'obstruction de Brauer-Manin est la machinerie qui explique une bonne part de ces échecs.
Et au-dessus, la formule du produit : ∏|x|_v = 1 sur toutes les places, l'infinie comprise. Ce qui se gagne à une place se paie à une autre — c'est une conservation à travers les lectures locales, et le global n'est aucune d'elles mais leur assemblage, l'anneau des adèles.

Le quatrième gain : Lebesgue réalisé comme espace
Celui-ci retombe pile sur notre § 2.4.
ℚ_p possède une mesure de Haar impeccable — l'intégration s'y transpose sans peine. Mais il n'a aucun chemin : rien n'y relie deux points. Donc pas de chaîne, pas de ∂, pas de Stokes.
ℚ_p est, comme espace, ce que Lebesgue est comme théorie : un domaine qui a une masse et pas de bord.
Et la restauration a la même forme que la nôtre : de même que les courants rendent le bord à Lebesgue, il a fallu les espaces rigides, puis ceux de Berkovich, pour rendre au p-adique de quoi avoir une cohomologie de de Rham. On y remet la connexité à la main, exactement comme on remet le bord.

Les réserves, et elles sont sérieuses
Tout ceci est ⚗️. Le garde-fou ⓪ ③ interdit le transport direct d'un domaine à l'autre : il faut passer par ce qui s'exprime au niveau du topos et reconstruire un contexte équivalent.
Or c'est un terrain où les analogies sont bon marché et où les mathématiciens repèrent tout de suite qui parle sans avoir travaillé.
Rien de tout cela ne doit sortir comme proposition avant d'être instruit sur pièce — Ostrowski, la motivation de Tate, la définition de Ш, la formule du produit.

Une remarque pour finir, qui te concerne peut-être plus que le reste : cette matière est exactement celle des ponts de Caramello, que Dugowson a mentionnée. Si le troisième site doit un jour se trouver ailleurs qu'en économie, c'est un endroit où regarder.