Une approche topologique de la physique

Ce que le schéma montre, en trois faits.
(1) Les noms prolongent la convention des deux chiffres : premier chiffre = nombre de pas selon x, second = supposition faite ou non (00, 10, 20, 30 en bas ; 01, 11, 21, 31 en haut) ; les arêtes sont nommées par leurs paires de coins.
(2) Les verticales ne sont pas quatre suppositions : c'est une seule supposition — un mouvement entier — lue à quatre instants, et c'est pourquoi leurs longueurs diffèrent (δq(t₁) = δq(t₀) + δq̇·dt : la supposition en t₁ est contrainte).
(3) Les verticales intérieures (t₁, t₂) sont chacune côté droit d'une cellule et côté gauche de la suivante : lues deux fois, écarts opposés, elles s'annulent — ne survivent que les deux verticales extrêmes, et leur lecture est p·δq aux deux bouts : le moment naît au bord.

Ce que « évident » veut dire ici

Ni facile, ni démontré. Une chose est évidente quand elle se voit depuis la place où l'on se tient — quand la position rend inutile de l'établir. Un même énoncé peut réclamer une démonstration d'un point de vue et n'en réclamer aucune d'un autre ; c'est ce déplacement de la charge, et lui seul, qui est en jeu.

Ce qui doit donc devenir évident — quatre points, nommés d'avance

Ils sont écrits ici pour que le lecteur les vérifie en chemin, et juge à la fin.

· que la force soit écrite sur l'arête, et l'énergie potentielle sur le point, sans qu'il faille en discuter ;
· que Lagrange troque l'une contre l'autre, et à quelle condition exactement il en a le droit ;
· que Newton et Lagrange aient la même portée, sans qu'on ait à démontrer une équivalence ;
· que Hamilton ne soit pas un quatrième principe, mais un second parcours d'une figure déjà là.

Route 1 — δq ∘ dt : on attend, puis on suppose l'état autre.

Route 2 — dt ∘ δq : on suppose l'état autre, puis on attend.

La composition se lit de droite à gauche : dans δq ∘ dt, c'est dt qui se fait d'abord. Les deux routes partent du même point et arrivent au même point ; ce qui les sépare n'est que l'ordre.

Le point focal : deux espèces de chemins d'arêtes

Les cycles — les chemins d'arêtes que le bord annule : ils se referment sur eux-mêmes, ils n'ont pas de bouts.

ker (∂ : Δ1 → Δ0)

Les bords — les chemins d'arêtes que le bord produit à partir d'un carreau : ce sont les contours, et quelque chose est tendu dedans.

im (∂ : Δ2 → Δ1)

Ce que le socle dit de ces deux espèces

Tout bord est un cycle. Prenez le contour d'un carreau, et cherchez-lui des bouts : vous appliquez le bord deux fois de suite.

∂ ∘ ∂ = 0

im (∂ : Δ2 → Δ1)  ⊆  ker (∂ : Δ1 → Δ0)

La réciproque n'est pas vraie en général — un chemin peut se refermer sans que rien soit tendu dedans. Elle le devient sur une carte, et c'est là tout ce dont ce texte se servira :

sur une carte :  im (∂ : Δ2 → Δ1)  =  ker (∂ : Δ1 → Δ0)
— autrement dit : tout cycle borde

Rien de tout cela ne parle de physique : ni force, ni énergie, ni nombre n'y sont encore intervenus.

Ce que cela donne pour la physique

Les concepts de la physique sont de ceux-là, et leur plan est leur degré : force, énergie potentielle, quantité de mouvement, énergie cinétique — chacun réclame une espèce de figure, et c'est ce qu'il réclame qui le définit.

Demander ce qu'est la force, l'énergie potentielle ou la quantité de mouvement, c'est donc demander sur quel plan chacune se définit. Il n'y a pas d'autre réponse à donner, et les trois positions qui viennent sont trois manières de la donner.

Ce qu'il faut retenir des deux paragraphes

Deux espèces de chemins d'arêtes — les cycles, qui se referment, et les bords, qui sont le contour d'un carreau. Tout bord est un cycle ; et sur une carte, tout cycle est un bord.

Et une seule manière de lire : sur le bord. C'est de ces deux phrases, et d'elles seules, que sortira tout ce qui suit.

Et c'est là que se décide tout le reste : un problème de mouvement est ramené à un problème d'équilibre

Un équilibre est un énoncé sans temps. Rien n'y avance, rien ne s'y écoule : c'est une condition tenue en un instant. D'Alembert prend un problème de mouvement, en retire ce qui bouge, et ce qui reste est une question de statique.

Cela commande l'instrument. On ne teste pas un équilibre en déplaçant vraiment les corps — s'ils se déplacent, il n'y a plus d'équilibre à constater. On le teste par des déplacements qu'on envisage sans les faire. La variation à temps constant n'est donc pas une commodité de calcul : c'est ce que la statique exige, et c'est le déplacement virtuel que Jean Bernoulli avait déjà pour l'équilibre. D'Alembert l'importe dans le mouvement.

Cela commande aussi le plan — et il faut distinguer deux choses qu'on confond facilement. D'Alembert lit sur des arêtes de fibre : c'est là que le travail virtuel se recueille, et il ne peut pas se recueillir ailleurs. Mais il ne lit pas sur une arête, il lit sur toutes celles qui partent d'un même point, et c'est l'exigence portée sur toutes qui fait le verdict.

on lit sur les arêtes ; on conclut sur le point

Un verdict qui ne tient que « pour toutes les arêtes issues d'ici » est un énoncé sur ici. Il ne peut tomber ni sur une arête — aucune n'est distinguée — ni sur un carreau, puisque rien n'est comparé. C'est pourquoi d'Alembert est le plan Δ0.

La même forme reviendra au §9, un degré plus haut : on éprouve sur toutes les secondes directions, et l'on conclut sur la première.

Ce que le troc lui rapporte : l'inégalité triangulaire, qui est l'assise du principe de moindre action

Une fois le carreau formé, les enchaînements se composent avec un poids, et ce poids obéit à l'inégalité triangulaire : aller directement ne pèse jamais plus que passer par un point intermédiaire.

C'est là que le principe de moindre action trouve son assise, et l'assise apprend quelque chose sur le principe. Prise pour elle-même, la formule « la nature choisit le moindre » ressemble à une préférence, et l'on se demande d'où viendrait ce goût. Sur le carreau, elle ne ressemble plus à rien de tel : elle dit que le moindre est une loi de composition — le poids du meilleur trajet qui mène à un état s'obtient à partir des meilleurs trajets qui mènent aux états précédents.

Deux choses se distinguent alors, et chacune porte un nom. 𝒮 est le poids d'un trajet donné, bon ou mauvais : ce que L pèse le long de ce trajet, et cela se lit sur un trajet. S est le poids du meilleur trajet qui mène à un état donné, à un instant donné : c'est un nombre par état, donc un concept de degré 0 — il se lit sur un point. C'est l'inégalité triangulaire, et elle seule, qui donne un sens à S.

Et l'inégalité est plus fondamentale que le minimum, non l'inverse

Trois choses sont en jeu ici, et les confondre fait passer pour un choix ce qui n'en est pas un.

· Les poids se composent le long d'un chemin. C'est ce qui fait qu'une arête pèse, et c'est ce qui autorise à additionner le long d'un trajet — donc à intégrer. Rien n'est choisi là.

· Les poids sont ordonnés, donc deux trajets parallèles se comparent. C'est ce qui fait de la composition une inégalité, et non une égalité.

· Le sens de l'ordre — le moindre plutôt que le plus grand. C'est le seul des trois qui soit un choix.

L'inégalité triangulaire tient donc aux deux premiers, et aucun des deux ne se déclare : elle est en dessous du minimum, non au-dessus. Ce que le choix ajoute n'est pas l'inégalité, c'est le sens dans lequel elle se lit. Retournez l'ordre, et vous avez encore une inégalité, dans l'autre sens ; retirez la composition des poids, et il ne reste rien à intégrer.

C'est aussi pourquoi « la nature choisit le moindre » se dissout. Il n'y a pas de goût pour le petit : il y a une composition, qui est structurale, et une orientation, qui est déclarée.

Cet énoncé est hors de portée de Newton, et non parce qu'il l'aurait manqué : il n'a pas de carreau, donc pas de troisième sommet, donc pas d'inégalité triangulaire à écrire. Ce n'est pas une omission, c'est une différence de plan.

Le troc de Lagrange est légitime, et sa condition n'est pas un fait de mécanique

Tout ce qui suit repose sur la phrase du §3, qui ne parle que de figures et où ni la force ni l'énergie n'apparaissent :

sur une carte, tout cycle borde

Voici comment cette phrase produit l'énergie potentielle, et l'on remarquera qu'à aucun moment on ne la suppose donnée : on la construit.

Soit une force dont le travail est nul sur tout tour fermé. On choisit un état de référence, et l'on décide que le nombre qu'on lui attache est zéro. Pour un état quelconque, on suit un chemin qui y mène et l'on recueille le travail le long de ce chemin.

Ce nombre ne dépend pas du chemin choisi, et c'est le seul point à vérifier. Deux chemins qui aboutissent au même état, mis bout à bout, forment un tour fermé — un cycle. Ils ne diffèrent donc que d'un cycle, sur lequel la force ne rend rien. Les deux chemins donnent le même nombre.

Ce nombre est l'énergie potentielle, et elle vient d'être fabriquée à partir de la force, non l'inverse. Le troc de Lagrange est donc légitime, et l'on voit exactement de quoi il dépend : que deux chemins ne diffèrent que par quelque chose sur quoi la force ne rende rien.

Et cette condition dit une seule chose : que le point soit un point

Un point, pris pour lui-même, n'est rien d'autre que son identité — la flèche qui va de lui à lui et qui ne fait rien. C'est ce qui le définit, et c'est ce que voulait dire, au §1, « un point porte un nombre, et rien ne s'y calcule ».

Or un cycle est aussi une flèche d'un point vers lui-même. Il part et il revient : même départ, même arrivée que l'identité. Mais il n'est pas l'identité — il a fait le tour.

La condition du troc dit donc exactement ceci :

pour le concept, tout cycle est indiscernable de l'identité du point

Revenir au point, c'est n'avoir rien fait. Le tour ne compte pas. Et c'est cela, et rien d'autre, qui permet de poser un nombre sur le point — car s'il fallait distinguer le point selon le chemin par lequel on y arrive, il ne porterait plus un nombre, mais autant qu'il y a de chemins.

On voit alors que le §1 et le §8 disaient la même chose à deux endroits. « Un point porte un nombre » n'était pas une convention de dessin : c'était déjà la condition sous laquelle l'énergie potentielle existe. Et là où elle tombe — le cas mis en annexe —, le tour se met à compter, et le point cesse d'être un point.

Et l'inverse est immédiat, par la formule de Stokes

Une force qui descend d'un nombre écrit sur les points ne rend jamais rien sur un tour fermé. Lire cette force sur le tour, c'est lire le nombre sur le bord du tour — et le bord d'un tour fermé est vide. C'est la formule de Stokes, et c'est elle qui force la fermeture.

Les deux espèces de forces coïncident donc sur une carte — celles qui ne rendent rien sur les tours fermés, et celles qui descendent d'un nombre écrit sur les points.

Mais cette coïncidence-là n'est pas l'énoncé : elle en est la conséquence. L'énoncé porte sur les figures, il ne parle ni de force ni d'énergie, et il est déjà écrit au §3 : sur une carte, les bords et les cycles sont les mêmes chemins — tout ce qui se referme est un contour.

Rien n'y est écrit, rien n'y est lu, aucune force n'y figure. Ce qui touche aux forces s'en déduit en lisant : sur ces figures-là, la construction ci-dessus aboutit. L'ordre est celui-ci et pas l'inverse.

Ce que les cours présentent comme l'équivalence de deux formalismes n'est donc pas un fait de mécanique. C'est une propriété des figures : sur une carte, tout tour fermé se remplit. Newton et Lagrange ont la même portée pour cette raison, et pour aucune autre.

Pour cette raison, et seulement là. Ce texte s'est déclaré local au §0 ; ce qui se passe lorsqu'un tour fermé ne se remplit pas est traité en annexe.

L'ordre des trois n'est pas historique, il est logique

d'Alembert installe la seconde dimension et fait tomber le verdict sur le point. Newton écrit sur l'arête, sans faire appel à un plan voisin. Lagrange compare sur le carreau, et pour cela emploie la sonde de d'Alembert et descend chercher sur le point ce que Newton laissait sur l'arête.

Et tout ce texte est sorti de là

· C'est ce constat qui sépare les cycles des bords, et qui met les seconds dans les premiers — un contour se referme, donc c'est un cycle (§3).

· C'est lui qui, une fois transporté sur les concepts, dit que le défaut d'un concept déjà monté d'un degré est nul.

· Et c'est lui qui fait qu'un contour se referme, donc qu'il n'a pas de bouts — ce dont la formule de Stokes se sert au §8.

La force est sur l'arête, l'énergie potentielle sur le point. Il n'y a rien à discuter : une force ne rend un nombre que si on lui donne une arête, et l'énergie potentielle se lit sans arête — donc sur un point. Le plan de chacune est fixé par ce qu'il lui faut pour rendre un nombre. Et l'espèce d'arête décide de ce que la force rend : le travail d'une variation sur l'arête de fibre, la variation de la quantité de mouvement sur l'arête de temps.

Le troc de Lagrange, et sa condition. Il remplace ce qui était donné sur l'arête par un nombre écrit sur le point, lu sur le bord de l'arête. Nous empruntons l'homologie pour descendre d'un plan à l'autre — c'est le bord, et c'est tout ce que ce texte emploie — et la cohomologie pour remonter ; celle-ci n'est pas détaillée ici, et elle est corrélative du changement de point de vue du §0, dont elle est l'ouverture. Et l'on voit du même coup ce que le troc gagne : le carreau, donc la comparaison, donc l'inégalité triangulaire — l'assise du principe de moindre action, qui s'y révèle être une loi de composition et non une préférence.

Newton et Lagrange ont la même portée, et il n'y a rien à démontrer. Sur une carte, deux chemins menant au même état ne diffèrent que d'un tour fermé, et tout tour fermé s'y remplit : l'énergie potentielle se construit donc à partir de la force, sans hypothèse supplémentaire. L'équivalence n'est pas un théorème de mécanique — c'est une propriété des figures du lieu où l'on travaille.

Hamilton n'est pas un quatrième principe. La figure est posée, et il y a deux manières d'en faire le tour : descendre sur son bord, ou chercher la direction avec laquelle l'ordre des deux enchaînements ne compte pas. Une fois qu'on tient la figure, les deux parcours sont là ensemble — c'est très exactement ce que le déplacement du §0 apporte, et rien d'autre ne le donnait.

Du chantier : reprendre la physique à partir de la topologie qui lui est sous-jacente, et rendre les équations de Lagrange et de Hamilton évidentes pour un Sujet 𓂀 situé en [#]♢. Fil déclaré : la forme canonique.

De cette consigne : qu'aucune règle d'écriture ne soit une décision isolée. Une règle dont on ne peut pas dire de quel niveau elle descend n'est pas une règle : c'est une habitude, et elle sort.

Le parti pris est une descente, et elle se dit en quatre mots :

catégories ⇒ topologie ⇒ simplexes ⇒ algèbre

Les niveaux du haut portent une autorité déclarée : un texte hors du chantier, auquel on se réfère et dont on reprend les termes. C'est ce qui garantit notre cohérence — nous n'inventons pas de vocabulaire, nous en héritons. Les deux niveaux du bas n'en portent pas, et n'en ont pas besoin : ce que l'algèbre ajoute est d'usage universel, et les conventions graphiques sont nôtres par définition — c'est même ce qui les définit.

Les simplexes sont entrés comme niveau 2 bis, pour ne pas décaler les suivants. Et l'analyse n'est plus un niveau : elle énonçait plus bas ce que les niveaux 1 et 2 énoncent plus haut — l'intégrale est l'axiome de composition, d et δ sont le cobord. Il n'en restait en propre que le continu, qui n'est pas un vocabulaire mais un cadre : il est déclaré au §3. C'était une infraction au corollaire (d), et le retrait la répare.

Les cinq corollaires — ce sont eux qui travaillent

(a) On ne renomme jamais ce qui porte déjà un nom au-dessus.
(b) On n'emprunte jamais un mot d'en bas pour dire une chose d'en haut.
(c) Un mot sans définition à aucun niveau est une métaphore : il se déclare, ou il sort.
(d) Énoncer toujours au plus haut. On dit la chose au niveau le plus général où elle est vraie ; l'écriture d'un niveau inférieur vient après, comme son expression, jamais à sa place. Écrire « on additionne » là où l'énoncé est « les flèches se composent », c'est descendre jusqu'en bas sans nécessité. Après la couture (§3), l'écriture algébrique est légitime — c'est ce que la physique vient dire ; avant elle, jamais.
(e) Une déclaration ne se fait qu'une fois. Un texte qui en dépend la cite ; il ne la rejoue pas. Deux énoncés d'une même déclaration divergent toujours, et l'ambiguïté qui en naît coûte plus que ce que la répétition fait gagner.

La règle du filtre (§11) n'est rien d'autre que ce corollaire appliqué : l'échafaudage est un énoncé de niveau 3 mis à la place d'un énoncé de niveau 1 ou 2.

La forme que prend un énoncé bien emboîté

Trois temps, dans cet ordre, et le troisième est facultatif : ce qui se passe (niveau 1 : des objets, des flèches, une composition, une commutation) · ce que la structure en fait (niveau 2 ou 2 bis : un degré, un bord, une différentielle, un axiome d'enrichissement) · ce que cela s'écrit (niveau 3 : un écart, une somme, un produit). Les tableaux de ce document sont bâtis sur ces trois colonnes ; une phrase qui commence par la troisième est à réécrire.

Ce que nous prenons — ces mots remplacent une périphrase

Ce que nous ne prenons pas — et c'est là que le vocabulaire s'appauvrit

La correspondance à déclarer une fois — corollaire (e)

Notre [1] est son 2 — « the two-object, three-map preorder » ; notre carreau est son 2 × 2 ; et il appelle 1, 2, 2 × 2 les « basic figure shapes » (App. I, pp. 369–370). Notre §1 n'invente donc rien : il emploie les formes de base d'un texte public, avec d'autres lettres. Et « une transformation naturelle est un foncteur sur C × [1] » est chez lui la définition : « a map in B^A is a functor A × 2 → B ; […] is called a natural transformation ».

Ce qui n'est pas chez lui — l'enrichissement — se prend dans son texte de 1973 ; ce qui n'est ni dans l'un ni dans l'autre — le bord, ∂∂ = 0, le degré, le simplexe — se prend chez Poincaré. Il n'y a pas d'autre source.

Le site est le cross-cap. Il n'est pas une surface géométrique : il représente l'Imaginaire, qui porte intrinsèquement une torsion, et c'est d'elle qu'il rend compte. La géométrie n'est donc pas dans le site — elle est portée par la fibre, et rapportée au temps.

Localement, le site n'est pas employé : la physique travaille sur un recouvrement — une carte, un lieu sans trou. Et c'est son approche qui l'y met : la physique est infinitésimale, elle ne regarde jamais qu'un voisinage — celui de [#]♢. L'entrée dans le local est donc une déclaration d'entrée, non un résultat. C'est pourquoi la torsion y est invisible, et elle l'est par théorème (Poincaré, Darboux), non par convention. Le cadre plat n'est pas une mise à l'écart : c'est une conséquence.

Distinction à ne jamais relâcher : revêtement (l'espace au-dessus, où naît la monodromie) n'est pas recouvrement (la famille de cartes).

✍ Le continu est déclaré ici, et il n'est pas un niveau. Le cadre est continu : on y passe à la limite, on y raffine un découpage, on y dérive. C'est ce qui autorise les mots qui en dépendent — dérivée partielle, limite — et eux seuls. Le continu n'entre pas dans l'emboîtement du vocabulaire (§1) parce qu'il ne fournit aucun mot que les niveaux 1 et 2 ne fournissent déjà : il fournit le terrain où ils valent.

⚗️ Perspective, pour plus tard et sans usage ici : Grothendieck tient le topos pour « ce "lit" […] où viennent s'épouser […] le monde du continu et celui des structures "discontinues" ou "discrètes" » (Récoltes et Semailles). Si la rencontre du discret et du continu devient un jour l'objet, c'est là qu'il faudra aller. Rien de ce qui suit n'en dépend.

Où nous sommes. 𓂀 est en [#]♢, qui n'est pas un lieu de plus : c'est le point d'appariement, la co-unité ε. 𓂀 est w₁, l'obstruction à globaliser un choix local de face ; il n'intervient pas dans la carte, il attend le tour global.

C'est-à-dire : le bord d'une figure est un cycle, et un cycle n'a pas de bord. On le voit en coupant — la coupure fait apparaître deux bouts, qui sont le bord de ce qu'on vient d'ouvrir, et qui s'annulent quand on raboute.

∂ descend, toujours  ·  ∂∂ = 0

Le point focal : le plan du milieu est découpé par ses deux voisins

Le bord ne sert pas une fois mais deux, dans deux rôles opposés :

ker ⊂ Δ1, défini par ∂ : Δ1 ↓ Δ0 — les cycles.
im ⊂ Δ1, défini par ∂ : Δ2 ↓ Δ1 — les bords.

Δ1 n'est donc pas « ce qui reste après restriction » : c'est ce que ses deux voisins découpent en lui. Et ce qui autorise le découpage est ∂∂ = 0, qui garantit im ⊆ ker. Le socle est la condition de possibilité du plan du milieu. Toute explication qui place quelque chose en Δ1 doit pouvoir dire par quelles deux flèches il y est découpé.

Ce que le local en fait — et c'est toute la physique disponible

Sur une carte, le lieu est sans trou : ker = im, tout cycle borde. Ce n'est pas une trivialité administrative — c'est exactement l'existence des potentiels. Ep et la fonction S sont ce que ce quotient nul rend disponible. « Le plan du milieu défini par ses deux voisins » et « il existe une primitive » sont la même phrase.

Nous employons donc la structure — ker, im, ∂∂ = 0. C'est le quotient qui est trivial au local, et cette trivialité est notre ressource.

Découper n'est pas restreindre — et les deux mots sont pris au niveau 1

Découper, c'est prendre le sous-objet où deux lectures coïncident. Au plus haut c'est l'égaliseur — le sous-objet des points où deux flèches s'accordent — et le noyau en est le cas où l'autre flèche est nulle. C'est une limite. ker et im sont donc des découpages, et rien d'autre.

Une équation, une forme linéaire, une cochaîne qu'on annule découpent ; elles ne restreignent pas. Confondre les deux ferait dire « restriction » là où l'énoncé est une limite — et l'on chercherait un adjoint là où il n'y en a pas.

Le plan Δn est le lieu des n-simplexes. Le mot Δ y désigne le simplexe, et non un plan : c'est ce qu'il contient qui nomme le plan.

Pourquoi ce langage : un ensemble simplicial est un préfaisceau sur Δ — ce n'est pas un rapprochement, c'est la définition. Et par Yoneda, les n-simplexes sont exactement les transformations naturelles Δⁿ ⇒ X : dire « δq est un 1-simplexe » et dire « δq est une transformation naturelle » est le même énoncé.

Le nerf donne l'étagement tel quel : 0-simplexes les objets, 1-simplexes les flèches, et un 2-simplexe est un triangle de composition — il porte deux flèches et leur composée.

✍ L'adéquation — la déclaration que le choix des simplexes appelle

Toute la construction identifie ce qu'elle représente à sa géométrie de figures sur les seuls simplexes [0], [1], [2]. Ce choix des formes est la restriction déclarée du §1 bis, avec son point de branchement ; ici est son prix. Et ce droit ne se démontre pas : il se déclare.

L'énoncé exact, au niveau 1. Le choix des formes donne un foncteur de restriction, et la propriété en jeu est sa pleine fidélité — c'est-à-dire la densité de la sous-catégorie des formes : « the corresponding restricted Yoneda embedding C → [S^op, Set] is fully faithful ». La formule de Lawvere — « every functor defined just for its F-figures and preserving shapes is induced by exactly one C-map » (App. I, p. 371) — en est le mot à mot : exactement une, c'est-à-dire au moins une (plein) et au plus une (fidèle). « Adéquat », au sens d'Isbell, est l'ancien nom de « dense » ; nous gardons adéquation comme nom de la déclaration, et densité comme son énoncé.

✍ nous déclarons que { [0], [1], [2] } est dense

Nous ne l'établissons pas. Mais ce que nous déclarons est désormais une phrase mathématique, non une intention — et la restriction (§1 bis) et l'adéquation cessent d'être deux énoncés qui se citent : ce sont un objet et sa propriété. L'un se fait, l'autre se déclare.

Le carreau n'est pas un 2-simplexe : c'est deux 2-simplexes recollés le long de la diagonale, et le carré commute quand les deux triangles ont la même diagonale. La diagonale est le déplacement incliné du mouvement réel : il cesse d'être hors du dessin, et aucun escalier n'est plus nécessaire.

Ce que la nature d'un objet doit à son plan : le plan est le contexte qui détermine ce que ses objets sont. Un point pris en Δ0 représente R — rien n'y est encore déterminé, et rien ne s'y calcule ; l'arête dont il est le bord le détermine. La restriction, elle, va vers le bas : c'est l'arête qui se restreint à ses bouts.

Un simplexe nu n'a pas de taille : la catégorie Δ ne connaît que l'ordre et la composition. Or la physique a besoin que chaque passage porte un nombre. C'est exactement ce qu'une catégorie enrichie ajoute : le Hom cesse d'être un ensemble et devient un objet d'une catégorie monoïdale V, et la composition devient une flèche de V.

l'arête ne fait plus que relier : elle pèse

L'axiome de composition est l'additivité le long d'un chemin. Le poids d'une composée est la composée des poids : c'est cela, et rien d'autre, qui autorise à additionner le long d'une chaîne — donc à intégrer.

Le choix de V franchit la couture (§3) — il ne l'est pas : la couture est un seuil, et c'est le second des deux actes qui le franchissent. Aux niveaux 1 et 2, tout est disponible et rien n'est choisi ; déclarer ce en quoi une arête pèse est ce geste-là.

Et le défaut cesse d'être une trouvaille : c'est la commutation devenue quantité

Dans une catégorie nue, un carré commute ou ne commute pas — c'est un oui ou un non. Enrichi, les deux routes pèsent, et leur différence est un nombre. L'équation ne dit plus « le carré commute » : elle dit le défaut est nul. D'où les trois régimes, qui sont trois enrichissements :

Quatre conséquences, à tenir dans tout le texte

(1) R est défini par la mesure elle-même : c'est l'objet où l'évaluation atterrit. Il cesse d'être un choix posé à côté. Et le passage au quantique ne touche pas la définition — R est un paramètre : on écrit ℂ au lieu de ℝ.

(2) La mesure a lieu à tous les degrés, puisqu'il suffit d'une figure et de ce qui est écrit pour elle. Ce qui est propre à Δ2 n'est donc pas de mesurer : c'est de comparer deux mesures — et cette comparaison a son nom, le défaut.

(3) Un poids n'est pas une mesure. Le poids d'une arête est son Hom, donc du côté de V ; la mesure est l'évaluation, donc du côté de R. Ec* est un poids ; L est un poids par unité de durée ; ni l'un ni l'autre n'est une mesure.

(4) Le lieu de la mesure n'est plus une assignation. Une évaluation est une co-unité, et ε est en [#]♢ (§3) : la mesure a donc sa place là, par ce qu'elle est. Réserve : que l'adjonction de l'évaluation soit littéralement celle dont le corpus tire son ε reste à établir ; ce qui est acquis, c'est que les deux sont des co-unités et que rien ne s'y oppose.

Même numéro de plan, définitions opposées. Une arête et ce qu'on lit dessus ne sont donc pas seulement duales : elles ne sont pas découpées par les mêmes flèches. Le plan dit lequel des deux versants on habite ; c'est lui, et non le nom, qui fait la différence.

Ce qui relie les deux versants, et c'est le seul lien :

⟨dα, c⟩ = ⟨α, ∂c⟩

Lire la cochaîne montée sur la figure, ou la lire sur le bord de la figure : le même nombre. Écrite avec le signe ∫, cette égalité s'écrit ∫_c dω = ∫_∂c ω — c'est Stokes.

Le degré d'une cochaîne est celui des chaînes sur lesquelles elle s'évalue : c'est ce qui lui donne son plan.

Les coefficients sont R (§5) : les cochaînes sont Hom(chaînes, R). Un groupe suffit à tout ce que fait Δ1 — la différence portée par l'arête, puis l'addition le long d'un chemin ; le produit exige une algèbre. C'est ce qui autorise le niveau 3, et rien d'autre.

Les quatre verrous

(1) Forme : un symbole nu change toujours de degré ; une dérivée — mot du continu (§3) — s'écrit toujours en fraction.
(2) Typage : ∂ nu ne s'applique qu'à des figures — « ∂L », « ∂q » nus sont des fautes de grammaire, pas des ambiguïtés à interpréter. L'opérande type l'opérateur.
(3) R ou V ? Avant d'écrire un nombre, dire s'il est le poids d'une flèche (V) ou le résultat d'une lecture (R). Contrôle : puis-je le soustraire ? — si oui, R. Les deux s'écrivent ℝ et ne se ressemblent que par là (§5 bis).
(4) δ : notre δ est la différentielle verticale — c'est la notation du domaine, vérifiée. Le cobord de la topologie algébrique se dit en toutes lettres et ne s'écrit jamais par ce symbole.

d et δ sont séparés par déclaration, non par la forme — c'est la couture du §3. En langage simplicial, la diagonale mêle les deux directions ; c'est la physique qui les distingue, et c'est là qu'elle entre.

Les arêtes se nomment par leur espèce : dt et δq — le temps, la fibre. Les coins ne servent qu'à étiqueter la figure, jamais à nommer une arête.

La lecture d'une arête rend un écart, arrivée moins départ : ⟨dS, dt⟩ = S(10) − S(00). La distinction arrivée / départ est portée par l'arête, jamais par le coin.

Une arête porte son poids (§5 bis) : « dt » et « δq » nomment l'arête et ce qu'elle pèse, parce que la catégorie est enrichie. C'est ce qui autorise à écrire p·δq sans sortir du dessin.

L'inventaire — ce qu'il est, et non pas seulement ce qu'il n'est pas. Le plan (q, v) est le catalogue des inclinaisons à instant figé : un lieu légitime, où des nombres se forment et s'ajoutent, et qui n'est pas un plan de la figure. E et L y sont formés (§9), puis lus sur les arêtes. Son emploi est déclaré avec Legendre — c'est le même acte : v n'est pas un axe, et c'est là qu'il vit. L'interdit ci-dessous ne fait qu'en interdire la confusion avec un plan.

Le temps est la base. Il est déclaré axe d'intégration : c'est le long de lui que se fait l'addition. Une intégration a un départ et une arrivée, donc une lecture y rend un écart, donc l'axe n'a qu'un sens. (Portée déclarée : la mécanique classique ; la révision pour le quantique se traite ailleurs.)

La fibre porte les états. On n'y intègre pas : on y suppose, on y dérive — et rien n'y impose d'orientation, donc l'arête de fibre se prend dans l'un ou l'autre sens.

Les données. Ep : un nombre sur un point — Δ0. p : ce qui se lit sur une arête — Δ1. Ec* = ½mv², la co-énergie : une forme quadratique, donc la face symétrique de Δ2 — car le degré 2 héberge les deux faces, Sym² et Λ², et la face antisymétrique est le défaut. (Un être de degré 1 n'a pas de carré sur ℝ : le produit n'est pas fabriqué en Δ1, il commence en Δ2.)

Δ1 n'a rien en propre : c'est le plan décisif. La physique l'encadre, elle ne l'habite pas.

Comparer commence en Δ2 — c'est ce que le plan a en propre. Où E et L s'écrivent est une autre question, et elle ne se déduit pas de celle-là : E et L sont formés sur l'inventaire (q, v), qui n'est pas un plan du dessin, et ils sont lus sur les arêtes. (L'énoncé antérieur — « E et L s'écrivent en Δ2 » — était un a priori non vérifié ; abandonné le 31/8/2026.)

✍ Ce que pèse chaque arête — l'acte dont sort tout l'aval

L'enrichissement (§5 bis) donne qu'une arête peut peser ; il ne dit pas combien. Ce que chaque espèce d'arête porte est déclaré, et c'est le second acte qui franchit la couture :

θ = p·δq − E·dt

Les deux nombres sont en J·s, et c'est l'unité de l'action. Ce qui vient ensuite — L, 𝒮, S, le défaut, dθ, Lagrange, Hamilton — n'emploie rien d'autre que cette ligne, le socle et Stokes. Elle était jusqu'ici écrite dans le texte seul, jamais dans la référence.

L'équation. La figure se referme toujours — c'est de la grammaire ; ce que la lecture rend est le nombre par lequel les deux routes diffèrent, et l'équation dit que ce nombre est nul. « Le défaut » est le nom que nous donnons à ce nombre, qui n'en a pas ailleurs.

Le défaut a un nom au niveau 2 : dθ. Ce qui se lit sur une figure de degré 2 à partir de ce qui est écrit sur ses arêtes est le cobord de θ. C'est la face antisymétrique de Δ2 ; la métrique en est la face symétrique.

Le mouvement est la direction où le défaut est aveugle. dθ est dégénéré d'exactement une direction, et cette direction est le mouvement — les deux équations de Hamilton sont cet énoncé, et rien de plus n'y est employé que θ, ∂∂ = 0 et Stokes. D'où la règle de lecture : Lagrange lit la figure par son bord, Hamilton par son noyau ; c'est une seule figure, lue deux fois.

La fonction S — nom gravé, en trois marches

1. Ce que rend un instant : L = Ec* − Ep (joules).
2. L'action d'un mouvement donné γ, bon ou mauvais : 𝒮[γ] = ∫(Ec* − Ep) dt le long de γ (joules·secondes).
3. Départ gelé (q₀, t₀) : S(q, t) = min des 𝒮[γ] sur les mouvements qui y mènent — le min est la composition dans (ℝ ∪ {∞}, min, +).

Ses deux dérivées partielles : ∂S/∂q = p · ∂S/∂t = −E. À ne jamais confondre : Ep(q) / S(q,t) / 𝒮[γ] ; 𝒮 est premier, S en dérive. S existe localement, départ gelé. Ce qui se passe hors de la carte n'est pas dit ici, et n'a pas à l'être : cela se pose avec [#]♢ et le point 0.

L'étage d'une intégrale est celui de la figure sur laquelle elle lit : définir 𝒮 est une affaire de Δ1, comparer est une affaire de Δ2.

Le texte de base est l'écriture minimale (claude/fiche_ecriture_minimale_v2_carre_naturalite_vers_lagrange). Elle va de la catégorie-intervalle à Lagrange, puis à Hamilton, et elle a convergé le 31/8/2026 : plus rien n'y est ouvert que les déclarations, et chacune y est nommée comme telle.

Ce qui s'appuie dessus ne le refait pas — corollaire (e) : on cite.

Les neuf actes déclarés — du plus général au plus particulier

Un seul registre ici : ce qui licencie. L'ordre est celui de la production — chaque acte suppose les précédents, aucun ne suppose les suivants. La dernière colonne est le test de nécessité : ce qui tombe si l'acte n'est pas posé.

Les trois noms — ils ne licencient rien, mais ils se fixent

Les trois conséquences — elles se dérivent, et sortent de ✍

Comparer commence en Δ2 : le produit exige une algèbre, disponible là seulement (§5). · Les catégories enrichies sont le cadre nécessaire à la physique : le §5 bis l'argumente — un simplexe nu n'a pas de taille ; ce qui se déclare est le choix de V, acte 6. · Le langage est simplicial : c'est le choix des formes, dont l'acte 2 est la propriété déclarée.

Ce qui est hors du cadre, et qu'on n'ouvre pas ici

Le global — ce qui ne borde pas, S multivaluée. Il se pose dans un autre contexte, celui de [#]♢ et du point 0. Deux clauses attendent au même endroit : le passage de R à ℂ (§5 bis), et le crochet de Poisson (§10). Aucune ne s'ouvre sans que la dégénérescence ou le semi-anneau devienne l'objet.

Le fil non encore repris : la forme canonique (§0).