Ce texte – écrit sous la forme du résumé d’un article plus important – propose un déplacement spéculatif : regarder les objets mathématiques non comme des entités premières, déjà données dans un ciel abstrait, mais comme les effets stabilisés de transformations.
Il ne s’agit pas ici de prétendre résoudre une question mathématique ouverte, ni de réduire trop vite les nombres, les structures ou les espaces à une intuition poétique.Il s’agit plutôt d’explorer un geste : partir des verbes avant les noms, des opérations avant les objets, des passages avant les formes. Cette hypothèse rejoint directement le travail du plus-que-présent. Dans celui-ci, un verbe d’action peut devenir un verbe d’état lorsqu’il cesse d’être seulement orienté vers un résultat pour devenir une manière d’habiter le temps. Respirer, marcher, attendre, se souvenir, construire ou se transformer ne sont alors plus de simples actions : ce sont des régimes d’existence, des stabilisations sensibles, des façons d’ouvrir un monde. De même, en mathématiques, on peut se demander si certains objets ne naissent pas de transformations suffisamment conservées, répétées, projetées ou rendues opératoires pour recevoir un nom.
Le point commun n’est donc pas une identité stricte entre expérience vécue et formalisme mathématique, mais une même intuition directrice : la transformation d’un verbe en monde. Un objet, comme un état, serait alors moins une chose immobile qu’un passage devenu habitable, manipulable et transmissible. On devine alors, en retour, ce que cette hypothèse offre au plus-que-présent : si même les objets mathématiques – les plus stables, les plus impersonnels de nos objets – peuvent se lire comme des transformations devenues habitables, alors le présent et ses artefacts peuvent eux aussi être pensés comme le résultat stabilisé d’un monde plus ouvert (le plus-que-présent).
Les objets mathématiques sont-ils des stabilisations ? Nombres, projections, émergence et altérité
Préface
Cet article propose une hypothèse spéculative : les objets mathématiques ne seraient peut-être pas les unités premières du discours mathématique. Ils pourraient être compris comme des stabilisations issues de régimes de transformation plus primitifs. Les nombres, loin d’être seulement des quantités données d’avance, seraient alors des formes émergentes d’équivalence, devenues suffisamment robustes pour être détachées de leurs supports, transportées entre des contextes hétérogènes, puis opérées. Les nombres premiers, quant à eux, ne seraient pas nécessairement des atomes absolus de l’arithmétique, mais peut-être les traces visibles d’une structure plus profonde, projetée dans l’espace arithmétique ordinaire.
L’article ne prétend pas démontrer cette hypothèse. Il ne propose ni nouvelle théorie des nombres premiers, ni fondation alternative complète des mathématiques. Il cherche plutôt à formuler un programme de clarification : dans quelles conditions des transformations produisent-elles des stabilités, des stabilités deviennent-elles objets, et des objets deviennent-ils invariants ou nombres ?
La thèse centrale peut être résumée ainsi :
Altérité
→ Transformations
→ Compatibilités
→ Stabilisations
→ Objets
→ Invariants
→ Nombres
Cette hiérarchie ne remplace pas les fondements existants. Elle propose une lecture transversale de plusieurs mouvements déjà visibles dans les mathématiques modernes : passage des objets aux structures, des structures aux morphismes, des morphismes aux transformations de transformations ; géométrisation de l’arithmétique ; rôle croissant des invariants, des foncteurs, des cohomologies, des projections, des traces et des changements de niveau.
La proposition n’est donc pas : “les nombres premiers cachent une géométrie”. Cette idée existe déjà sous des formes puissantes. La proposition est plus générale : les nombres premiers pourraient être un cas particulièrement visible d’un phénomène plus profond, celui de l’apparition d’objets mathématiques par projection et stabilisation.
1. Les nombres premiers comme symptôme, non comme point de départ absolu
L’article part des nombres premiers, mais refuse d’en faire immédiatement l’objet ultime. Les premiers sont pris comme un symptôme : ils montrent qu’un objet très simple à définir peut résister à une compréhension profonde.
Un nombre premier est classiquement défini comme un entier divisible seulement par 1 et par lui-même. Cette définition est élémentaire, mais elle est aussi négative : elle décrit une impossibilité de décomposition dans le cadre multiplicatif ordinaire. Or la distribution des premiers manifeste une tension persistante entre régularité globale et irrégularité locale. Globalement, les premiers obéissent à des lois asymptotiques profondes ; localement, ils semblent échapper à toute prédiction simple.
Cette tension peut être interprétée de deux manières. La première consiste à y voir une forme d’aléa arithmétique. La seconde, explorée ici, consiste à se demander si l’irrégularité apparente ne vient pas de l’espace d’observation lui-même. Ce qui paraît dispersé dans une projection peut être structuré dans un espace plus riche.
L’intuition directrice est donc la suivante : les nombres premiers pourraient être les ombres d’un objet, d’un espace, d’une dynamique ou d’une structure encore mal identifiée, projetée dans l’arithmétique ordinaire.
Mais cette intuition est immédiatement limitée : elle n’est pas neuve sous cette forme générale. Une grande partie de la théorie moderne des nombres cherche déjà à replacer les premiers dans des structures géométriques, cohomologiques, spectrales ou dynamiques plus profondes. L’intérêt de l’article n’est donc pas de répéter que les premiers cachent une géométrie, mais de demander si cette situation n’est pas un exemple d’un mécanisme plus général : l’apparition d’objets visibles par projection, perte d’information et stabilisation.
2. Ce qui existe déjà : la géométrisation des nombres premiers
La deuxième partie situe l’intuition dans le paysage mathématique existant.
Dans la géométrie algébrique, les nombres premiers apparaissent déjà comme des points. Les points fermés de Spec(Z) correspondent aux idéaux premiers (p). Le premier n’est donc plus seulement un entier : il devient un lieu géométrique.
Dans les fonctions zêta et les fonctions L, les premiers apparaissent comme facteurs locaux. Le produit eulérien de la fonction zêta condense l’ensemble des premiers dans un objet analytique global. Ce passage du local au global est déjà une forme d’organisation des premiers par une structure plus vaste.
Dans les représentations galoisiennes et le programme de Langlands, les premiers non ramifiés sont associés à des classes de Frobenius. Le premier devient alors un point d’accès à une symétrie profonde. Il n’est plus seulement observé comme nombre, mais comme trace d’une action.
Dans les analogies dynamiques, notamment chez Deninger, les premiers ressemblent à des orbites périodiques primitives de longueur log p. Cette précision est importante : dans les lectures spectrales inspirées de Hilbert-Pólya, ce sont plutôt les zéros de la fonction zêta qui ressemblent à des valeurs propres ou à un spectre, tandis que les premiers jouent le rôle d’orbites périodiques. Ainsi, l’image “premier = attracteur” doit être corrigée. Une formulation plus exacte serait : premier = orbite primitive, trace périodique ou contribution locale dans une formule globale.
Dans la géométrie non commutative, notamment chez Connes, les formules explicites de la théorie des nombres sont interprétées à travers des espaces non commutatifs, des adèles, des traces et des spectres. Les premiers y interviennent comme données géométriques ou dynamiques d’un espace qui n’est plus un espace classique.
Dans les approches du corps à un élément, l’idée est de comprendre Spec(Z) comme une sorte de courbe absolue. Cette perspective cherche à donner un cadre géométrique plus fondamental à l’arithmétique des entiers.
Cette partie établit donc un point décisif : l’idée que les premiers seraient les traces d’une structure plus profonde est déjà bien présente. Ce que l’article peut apporter ne se situe pas là. Il se situe dans une question plus générale : peut-on comparer ces différentes apparitions des premiers comme des cas particuliers d’un schéma projection → trace → stabilisation → objet visible ?
3. Le déplacement central : des objets vers les transformations
La troisième partie décrit le mouvement historique et conceptuel qui rend l’hypothèse plausible.
Les mathématiques classiques commencent souvent par des objets : nombres, ensembles, points, espaces, fonctions. Ces objets sont ensuite reliés, transformés, comparés, mesurés. La hiérarchie implicite est :
Objets
→ Relations
→ Transformations
Or une grande partie des mathématiques modernes a progressivement déplacé ce centre de gravité.
La théorie des structures a montré que les objets importent moins isolément que par les relations qui les organisent. La théorie des catégories a déplacé l’attention vers les morphismes. Le lemme de Yoneda exprime de manière profonde qu’un objet est déterminé par la manière dont il se relie aux autres objets. Les catégories supérieures poursuivent ce déplacement : il ne s’agit plus seulement de morphismes entre objets, mais de morphismes entre morphismes, puis de transformations entre transformations.
On peut donc lire une partie des mathématiques modernes selon la trajectoire suivante :
Objets
→ Structures
→ Morphismes
→ Transformations de transformations
L’article propose de pousser cette trajectoire jusqu’à son point spéculatif : si les objets sont de plus en plus compris par leurs transformations, peut-être faut-il envisager que les objets eux-mêmes soient des dérivés.
La question devient alors :
Et si les objets mathématiques n’étaient pas ce par quoi les mathématiques commencent, mais ce qui apparaît lorsque certaines transformations se stabilisent ?
4. Les objets comme dérivés : transformation, stabilisation, objectivation
Cette partie constitue le cœur de l’article.
L’hypothèse proposée est la suivante :
Transformations
→ Stabilisations
→ Objets
Un objet n’est plus défini comme une entité première sur laquelle agissent des opérations. Il est compris comme le résultat d’un régime de transformations ayant produit une stabilité suffisamment robuste pour être reconnue, nommée, transportée et manipulée.
Il faut toutefois préciser le mot “stabilisation”, pour éviter qu’il ne devienne un terme trop vague. Une stabilisation n’est pas simplement un invariant, une limite, un point fixe, une classe d’équivalence ou une orbite. Ces notions peuvent être des cas particuliers de stabilisation, mais elles ne sont pas identiques.
Dans cet article, on appellera stabilisation le processus par lequel une régularité issue d’un régime de transformations devient suffisamment robuste pour être traitée comme un objet.
La stabilisation comporte donc plusieurs dimensions :
- une dimension transformationnelle : elle suppose un ensemble de passages, de variations ou d’opérations ;
- une dimension de conservation : quelque chose demeure à travers ces variations ;
- une dimension d’observabilité : cette conservation devient repérable ;
- une dimension de détachement : la régularité peut être séparée de ses occurrences particulières ;
- une dimension opératoire : elle peut ensuite être nommée, manipulée, composée ou transportée.
Ainsi, un invariant est ce qui demeure sous certaines transformations. Une stabilisation est plus large : c’est le processus par lequel ce qui demeure devient disponible comme objet. L’objet stabilisé n’est donc pas seulement conservé ; il est objectivé.
Cette distinction est centrale. Sans elle, “stabilisation” ne ferait que renommer des notions existantes. Avec elle, le terme désigne le passage du processus à l’objet.
5. L’altérité : avant la dualité, la possibilité de la différence
La cinquième partie expose l’idée la plus radicale et la plus fragile du texte : l’altérité pourrait précéder l’objet lui-même.
Il ne s’agit pas de dire qu’il existe deux objets différents. La dualité suppose déjà deux termes identifiés. L’altérité désigne quelque chose de plus primitif : la possibilité qu’une différence advienne avant même que les pôles de cette différence soient stabilisés comme objets.
L’article propose donc de ne pas commencer par : Soit un objet.
Ni même par : Soient deux objets.
Mais par : Qu’il y ait différence.
Cette formule ne constitue pas une axiomatique. Elle indique un problème limite. Peut-on penser une différence pré-objectale ? Peut-on définir un régime de distinction dans lequel les objets n’apparaissent qu’ensuite, comme stabilisations de différences ?
Cette partie est assumée comme spéculative. Elle n’est pas encore mathématiquement établie. Elle doit même être protégée contre une réduction trop rapide. Si l’on dit immédiatement que l’altérité est une relation binaire, un préordre, un espace relationnel ou une flèche catégorique, on risque de réintroduire les objets que l’on cherchait précisément à faire émerger.
Certains cadres peuvent néanmoins servir de lieux d’exploration : théories homotopiques des types, types d’identité, chemins, univalence, espaces relationnels, logique linéaire, théorie de l’information, topos, catégories sans objets explicites. Mais aucun ne résout immédiatement le problème. En particulier, les approches “morphismes seuls” de la théorie des catégories ne suffisent pas à elles seules à fonder un avant de l’objet, car les identités y jouent souvent le rôle d’objets déguisés.
Le statut de l’altérité est donc clair : c’est le point maximal de radicalité du programme, non son résultat acquis.
6. Les verbes avant les noms
La sixième partie reformule la thèse sous une forme linguistique et conceptuelle : les mathématiques pourraient être pensées comme une science des verbes avant d’être une science des noms.
Les noms mathématiques sont : nombre, ensemble, espace, point, fonction, objet, structure.
Les verbes mathématiques sont : distinguer, transformer, composer, stabiliser, transporter, projeter, quotienter, oublier, relever, déformer, compter, représenter.
La proposition n’est pas poétique. Elle est structurelle. Les objets mathématiques pourraient être compris comme des substantivations de processus. Un objet serait le stabilisé d’une stabilisation, le projeté d’une projection, l’invariant d’un transport, le composé d’une composition, le représenté d’une représentation.
Cette idée rejoint partiellement la théorie des catégories, mais elle ne s’y réduit pas. La théorie des catégories montre qu’un objet est largement déterminé par ses morphismes. L’article propose une question plus radicale : peut-on penser des régimes de transformation dans lesquels les objets apparaissent seulement après coup, comme pôles stabilisés de composition ?
La formule centrale de cette partie est : Les objets sont des noms donnés à des verbes qui se sont stabilisés.
Cette section redonne au texte son intuition initiale : les mathématiques pourraient ne pas être d’abord une ontologie de choses, mais une grammaire de passages.
7. Émergence et objets mathématiques
La septième partie élargit le propos en examinant l’émergence.
L’émergence est déjà étudiée mathématiquement dans plusieurs domaines : systèmes dynamiques, théorie de l’information, émergence causale, information intégrée, coarse-graining, réseaux complexes, hyperstructures, théorie des catégories, cohomologie, décatégorification, passages micro-macro.
Ces approches montrent qu’un niveau supérieur peut parfois faire apparaître des propriétés qui ne sont pas directement lisibles au niveau inférieur. Un macro-état peut être plus explicatif qu’un micro-état. Un coarse-graining peut perdre de l’information tout en faisant apparaître une structure plus stable ou plus pertinente. Une cohomologie peut extraire une obstruction globale invisible localement. Une hyperstructure peut organiser plusieurs niveaux successifs de composition.
L’article ne prétend pas unifier ces théories. Il pose plutôt une question :
Existe-t-il une théorie générale des mécanismes d’émergence eux-mêmes ?
Autrement dit, peut-on décrire de manière abstraite les conditions sous lesquelles :
- des différences deviennent transformations ;
- des transformations deviennent compatibles ;
- des compatibilités se stabilisent ;
- des stabilisations deviennent objets ;
- des objets deviennent invariants ;
- des invariants deviennent nombres ?
Le point décisif est que l’émergence ne concernerait pas seulement des phénomènes physiques, biologiques ou cognitifs. Elle pourrait concerner les objets mathématiques eux-mêmes.
L’article propose ainsi de déplacer la question de l’émergence : non plus seulement “comment des propriétés émergent-elles dans un système ?”,
mais : “comment des objets émergent-ils dans un langage mathématique ?”
8. Les nombres comme émergences, et non comme simples invariants
La huitième partie revient aux nombres.
Dire que les nombres sont des invariants transportables est juste, mais insuffisant. Une telle formulation risque de réduire l’intuition à une version dynamique de la cardinalité classique.
L’article propose une thèse plus ambitieuse : les nombres émergent lorsque certaines formes d’équivalence deviennent détachables de leurs supports.
Le nombre “trois” n’est pas seulement le point commun entre trois pommes, trois sons, trois gestes ou trois étoiles. Il est le résultat d’une stabilisation plus profonde : une certaine organisation devient reconnaissable indépendamment de la nature de ce qui la porte. Elle peut alors être transportée, comparée, composée, écrite, calculée, transmise.
Le comptage n’est donc pas l’origine absolue du nombre. Il suppose déjà que quelque chose comme du nombre ait émergé : la possibilité de distinguer des unités, de stabiliser leur répétition, de transporter cette stabilité entre contextes et de l’opérer.
Ainsi, le nombre n’est pas d’abord une quantité. Il est une forme stabilisée d’équivalence opératoire.
Les entiers naturels apparaissent alors comme des objets extrêmement robustes : ils sont si stabilisés, si transportables, si opératoires, qu’ils donnent l’impression d’être premiers. Mais cette évidence pourrait être l’effet même de leur stabilisation maximale.
Dans cette perspective, les nombres apparaissent tardivement dans la hiérarchie :
Altérité
→ Transformations
→ Compatibilités
→ Stabilisations
→ Objets
→ Invariants
→ Nombres
Le nombre n’est donc pas le commencement du discours. Il est l’un de ses résultats les plus stables.
9. Les nombres premiers comme orbites, traces ou ombres stabilisées
La neuvième partie revient aux nombres premiers à partir de cette nouvelle conception du nombre.
Si les nombres eux-mêmes peuvent être compris comme des émergences stabilisées, alors les nombres premiers ne doivent pas être considérés trop vite comme des atomes absolus. Ils sont premiers dans un cadre donné : celui de l’arithmétique ordinaire et de la décomposition multiplicative. Leur primalité est donc relative à une opération visible, la multiplication.
L’article corrige ici l’image trop vague des premiers comme “attracteurs”. Dans les analogies spectrales et dynamiques, il est plus précis de dire que les premiers ressemblent à des orbites périodiques primitives, tandis que les zéros de zêta ressemblent davantage à des valeurs propres ou à un spectre. Le premier ne doit donc pas être pensé d’abord comme attracteur, mais comme orbite primitive, trace périodique, facteur local, point géométrique, classe de Frobenius ou singularité de projection selon le cadre considéré.
La question devient alors : Les nombres premiers sont-ils les objets visibles d’une projection arithmétique ?
Une ombre suppose trois éléments : une structure projetée, une opération de projection et une surface de réception. Transposée aux mathématiques, cette image oblige à préciser :
- quelle est la structure profonde ?
- quelle est la projection ?
- qu’est-ce qui est perdu dans la projection ?
- qu’est-ce qui se stabilise malgré cette perte ?
- pourquoi les images remarquables sont-elles les nombres premiers ?
La phrase “les premiers sont les ombres d’un espace inconnu” devient ainsi une question techniquement disciplinée. Elle ne vaut que si l’on peut identifier l’espace, la projection et la stabilité produite.
Cette partie insiste aussi sur un point peut-être plus prometteur : les nombres premiers sont définis multiplicativement, mais beaucoup de grands problèmes les mettent en jeu additivement. Cette tension entre addition et multiplication pourrait être le vrai lieu où chercher une structure plus profonde.
Les premiers seraient alors moins des objets isolés que des points de friction entre deux régimes opératoires.
10. Questions ouvertes : vers une théorie des projections, stabilisations et objets émergents
La dernière partie transforme l’essai en programme de recherche.
10.1. Peut-on formaliser l’altérité sans présupposer l’objet ?
La première question porte sur l’altérité pré-objectale. Peut-on définir une différence sans commencer par deux termes déjà constitués ? Peut-on penser une distinction avant les pôles de la distinction ? Les théories de l’identité, les chemins en théorie homotopique des types, l’univalence ou certains cadres relationnels peuvent servir de pistes, mais le problème reste ouvert.
Critère de sérieux : produire un modèle où les objets apparaissent après les différences, et non l’inverse.
10.2. Peut-on définir des transformations avant les objets ?
Une transformation est habituellement une application entre objets. Si les objets sont dérivés, il faut penser la transformation autrement : comme passage, composition, modification locale, régime de variation ou contrainte opératoire.
Critère de sérieux : construire un cadre où les objets émergent comme pôles stables de composition, et ne sont pas introduits dès le départ sous forme déguisée.
10.3. Qu’est-ce qu’une stabilisation ?
Il faut distinguer stabilisation, invariant, limite, point fixe, orbite et classe d’équivalence. Une stabilisation désigne ici le processus par lequel une régularité devient objectivable.
Critère de sérieux : montrer que cette notion permet de comparer plusieurs domaines sans se réduire à un simple synonyme d’invariant.
10.4. Les nombres naturels peuvent-ils être reconstruits comme émergences ?
Peut-on reconstruire les entiers à partir d’équivalences transportables, sans poser immédiatement la cardinalité comme donnée ? Peut-on retrouver addition, multiplication et lois de Peano comme stabilisations opératoires ?
Critère de sérieux : produire une reconstruction non circulaire des nombres naturels.
10.5. Addition et multiplication sont-elles deux projections d’une structure plus générale ?
Cette question est peut-être la plus prometteuse mathématiquement. Les nombres premiers sont définis par la multiplication, mais leur distribution est souvent étudiée à travers des phénomènes additifs. Goldbach, les sommes de premiers, la conjecture abc, les fonctions L et les structures de corps ou d’anneaux témoignent de cette tension.
Les anneaux articulent addition et multiplication par la distributivité, mais ils ne disent pas nécessairement pourquoi ces deux opérations coexistent ainsi. Existe-t-il une structure plus profonde dont addition et multiplication seraient deux projections, deux ombres ou deux stabilisations ?
Le modèle jouet des idempotents (10.10) éclaire partiellement cette question.
Une fois les nombres apparus comme objets — les ensembles finis, indexés par leur rang —, deux manières canoniques de les combiner se présentent, et elles ne sont pas arbitraires. Le coproduit (la réunion disjointe) de deux objets a pour rang la somme des rangs ; le produit (le produit cartésien) a pour rang le produit des rangs. Addition et multiplication apparaissent ainsi comme deux constructions universelles distinctes sur les objets stabilisés : non pas deux opérations posées côte à côte, mais les deux façons fondamentales d’assembler des formes émergentes — les réunir, ou les croiser.
Cette lecture donne un sens précis à l’intuition de départ. Les deux opérations sont bien deux projections d’une structure plus générale : la structure bicartésienne, ou distributive, de la catégorie des objets émergents. Et la distributivité, que les anneaux postulent sans l’expliquer, cesse d’être un axiome arbitraire : elle est l’interaction forcée entre le coproduit et le produit dans une catégorie distributive — la trace catégorielle de la loi a × (b + c) = a × b + a × c.
Il faut toutefois marquer nettement la limite, car c’est là que se joue l’honnêteté du programme. Dans ce cadre, la primalité réapparaît : un objet de rang ≥ 2 est premier lorsqu’on ne peut l’écrire comme produit de deux objets de rang ≥ 2, et ces objets multiplicativement indécomposables sont exactement les nombres premiers (le rang 1, unité multiplicative, n’est pas premier — comme il se doit). Mais cette réapparition est tautologique : elle ne fait que retrouver la définition des premiers, sans rien dire de leur distribution, de leur irrégularité, ni de la raison pour laquelle le squelette multiplicatif s’inscrit si irrégulièrement dans la droite additive. Le modèle réalise donc la forme de la question 10.5 — deux opérations comme deux constructions universelles d’un même tout — mais il en laisse intact le contenu arithmétique profond. C’est précisément cet écart, entre une primalité tautologique et la primalité arithmétique réelle, qui demeure l’horizon ouvert du programme.
Critère de sérieux : construire un modèle où addition et multiplication apparaissent comme deux manifestations non arbitraires d’un même régime plus fondamental.
10.6. En quel sens les nombres premiers pourraient-ils être des projections ?
Les premiers sont-ils des points, des orbites primitives, des classes de Frobenius, des facteurs locaux, des traces, des singularités ou des nœuds ? Peut-on comparer ces interprétations dans un même schéma formel ?
Critère de sérieux : reformuler au moins trois lectures existantes des premiers comme instances d’un même mécanisme de projection.
10.7. Faut-il abandonner l’image des premiers comme attracteurs ?
Le mot “attracteur” n’est pas interdit, mais il est dangereux. Il exige une dynamique, un espace, une notion de convergence. Dans les analogies connues, les premiers ressemblent davantage à des orbites périodiques primitives qu’à des attracteurs.
Critère de sérieux : si l’on veut parler d’attracteur, définir explicitement la dynamique et montrer que les premiers apparaissent sans être codés d’avance.
10.8. Existe-t-il une théorie générale des projections mathématiques ?
De nombreuses opérations mathématiques peuvent être lues comme des projections : quotient, foncteur oubli, passage aux invariants, trace, réduction modulo p, réalisation cohomologique, tropicalisation, décatégorification, coarse-graining.
Critère de sérieux : classifier ces projections selon ce qu’elles oublient, ce qu’elles conservent et les objets qu’elles font apparaître.
10.9. Le programme ajoute-t-il quelque chose aux cadres existants ?
Il faut éviter de simplement renommer la théorie des catégories, la géométrie algébrique, les motifs, la géométrie non commutative ou le programme de Langlands. Le programme doit identifier une question que ces cadres ne posent pas directement.
Cette question pourrait être : Qu’est-ce qu’un objet mathématique émergent ?
Critère de sérieux : montrer que projection, stabilisation et objectivation forment un schéma transversal utile, et non un vocabulaire décoratif.
10.10. Quel modèle jouet pourrait tester l’hypothèse ?
La question du modèle jouet n’est pas entièrement ouverte. Il existe déjà un cas mathématique élémentaire où l’on voit se produire exactement le passage :
Transformations
→ Stabilisations
→ Objets
Ce cas est celui des idempotents et de la complétion idempotente, aussi appelée enveloppe de Karoubi.
Un idempotent est une transformation e telle que : e o e = e
Autrement dit, appliquer deux fois la transformation ne produit rien de plus que l’appliquer une fois. La transformation s’est stabilisée sous sa propre répétition. Elle n’est pas seulement une action ; elle devient un régime stable.
C’est un premier modèle précis de ce que l’article appelle un “verbe d’état”. Une transformation ordinaire modifie encore quelque chose lorsqu’on la répète. Une transformation idempotente, au contraire, a atteint un état dans lequel sa répétition ne crée plus de différence nouvelle. Elle agit, puis elle maintient. Elle transforme, puis elle conserve le contexte qu’elle a elle-même produit.
Cette structure donne un sens mathématique minimal à l’intuition : un verbe peut se stabiliser.
Mais le point décisif vient ensuite. Dans une catégorie, un idempotent peut exister comme flèche sans que l’objet correspondant à son “image” soit explicitement présent. La complétion idempotente consiste précisément à ajouter les objets qui correspondent à ces idempotents. Autrement dit, elle transforme des stabilisations implicites en objets explicites.
Plus formellement, si C est une catégorie, son enveloppe de Karoubi Kar(C) est une catégorie dont :
- les objets sont les paires (X,e), où X est un objet de C et e: X -> X est un idempotent ;
- un morphisme de (X,e) vers (Y,f) est une flèche g : X -> Y de C telle que : f o g o e = g
- l’identité de l’objet (X,e) est l’idempotent e lui-même.
Ainsi, un idempotent cesse d’être seulement une flèche interne à un objet déjà donné. Il devient le support d’un nouvel objet. La transformation stabilisée se scinde et fait apparaître un domaine propre.
Ce mécanisme réalise littéralement, dans un cadre mathématique standard, l’intuition centrale de l’article : les objets peuvent être les noms donnés à des transformations qui se sont stabilisées.
Exemple minimal
Prenons un monoïde de transformations sur un ensemble à deux états {0,1}. On considère quatre transformations :
- id : ne rien changer ;
- v : inverser 0 et 1
- k₀ : envoyer tout état vers 0 ;
- k₁ envoyer tout état vers 1
Ces transformations forment un petit monoïde par composition.
On observe alors :
- id ∘ id = id
- k₀ ∘ k₀ = k₀
- k₁ ∘ k₁ = k₁
- v ∘ v = id
Les transformations id, k₀ et k₁ sont idempotentes. La transformation v, elle, ne l’est pas : elle ne se stabilise pas sous sa propre répétition, puisqu’elle inverse l’état à chaque application et ne revient à l’identité qu’après deux étapes.
Dans la catégorie à un seul objet associée à ce monoïde, il n’y a au départ qu’un seul objet explicite. Les quatre transformations sont seulement des flèches de cet objet vers lui-même.
Mais dans l’enveloppe de Karoubi, chaque idempotent donne naissance à un objet :
- l’objet associé à id
- l’objet associé à k₀
- l’objet associé à k₁
Les transformations k₀ et k₁, qui n’étaient que des verbes du type « stabiliser vers 0 » et « stabiliser vers 1 », donnent naissance à des objets dans la catégorie complétée. Comme paires formelles, (X, k₀) et (X, k₁) sont bien deux objets ; mais il faut être précis sur leur statut : dans l’enveloppe de Karoubi, ils sont isomorphes. La vérification est immédiate.
Posons g = k₁, vue comme flèche de (X, k₀) vers (X, k₁) : la condition k₁ ∘ g ∘ k₀ = g est satisfaite, car k₁ ∘ k₁ ∘ k₀ = k₁. Posons de même h = k₀, flèche de (X, k₁) vers (X, k₀) : on a k₀ ∘ h ∘ k₁ = k₀ = h. Or les composées redonnent les identités : h ∘ g = k₀ ∘ k₁ = k₀ = id₍ₓ,ₖ₀₎ et g ∘ h = k₁ ∘ k₀ = k₁ = id₍ₓ,ₖ₁₎. Donc (X, k₀) ≅ (X, k₁).
Loin d’affaiblir la thèse, ce fait la précise. « Stabiliser vers 0 » et « stabiliser vers 1 » sont deux verbes distincts, mais ils produisent une seule et même forme stabilisée : l’objet à un point. L’objet émergent n’est pas l’étiquette du point fixe ; c’est la forme de point fixe elle-même — ce qui se conserve, indépendamment du support. La catégorie complétée contient donc, à isomorphisme près, exactement deux objets : l’objet à deux points (issu de id) et l’objet à un point (issu de k₀ ≅ k₁).
On voit donc apparaître, sur un exemple très pauvre mais entièrement rigoureux, le mécanisme recherché :
- on part d’un monde de transformations ;
- certaines transformations se stabilisent par répétition ;
- ces stabilisations sont reconnues comme idempotents ;
- la complétion idempotente ajoute les objets correspondant à ces stabilisations ;
- les objets apparaissent comme les formes scindées de verbes stabilisés.
Le rang d’un idempotent comme nombre émergent. Ce même exemple, à peine généralisé, fait apparaître davantage qu’on ne lui demandait : il fait émerger les nombres eux-mêmes.
Remplaçons l’ensemble à deux états {0, 1} par un ensemble à n éléments, et prenons le monoïde de toutes ses transformations. Les idempotents sont alors exactement les applications qui fixent leur image point par point : les rétractions sur un sous-ensemble. À chaque idempotent e est attachée son image, et la complétion idempotente scinde e en faisant apparaître cette image comme objet.
Deux idempotents donnent des objets isomorphes dans l’enveloppe de Karoubi si et seulement si leurs images ont le même cardinal. La taille de l’image — le rang de l’idempotent — est donc un invariant de l’objet scindé. Les classes d’isomorphisme des objets obtenus sont par conséquent en bijection avec {1, 2, …, n} : à chaque entier correspond une forme stabilisée, l’objet « à r points », et réciproquement.
Sur l’exemple initial (n = 2), on retrouve exactement deux classes : l’objet à un point (rang 1, issu des constantes) et l’objet à deux points (rang 2, issu de l’identité) — c’est-à-dire les nombres 1 et 2. En laissant croître n, ou en partant directement de la catégorie des ensembles finis, on obtient ainsi tous les entiers positifs. (Le zéro correspondrait à l’ensemble vide, l’objet initial, si on l’admet ; les entiers naturellement produits ici sont les entiers de comptage.)
Le point décisif est que ce nombre n’a pas été posé au départ. On n’a donné qu’un monde de transformations. Le rang n’apparaît qu’après coup, comme invariant des objets que la complétion fait émerger. C’est exactement ce que demandait la question 10.4 : reconstruire les entiers comme émergences d’équivalences transportables, sans poser la cardinalité comme donnée première. Sur ce modèle pauvre, l’entier naturel est littéralement le nom donné à une classe de verbes stabilisés.
Ce modèle reconstruit déjà une notion d’entier — le rang. Il ne dit encore rien des nombres premiers, ni ne formalise l’altérité pré-objectale. Mais il donne une première réponse rigoureuse à la question centrale : existe-t-il un cadre où des objets apparaissent à partir de transformations stabilisées ?
Oui : la complétion idempotente en donne un exemple minimal.
Le rôle de ce modèle jouet est donc décisif. Il ne prouve pas toute la thèse de l’article, mais il empêche celle-ci de rester purement métaphorique. Il montre que le passage :
verbe
→ verbe stabilisé
→ objet
n’est pas seulement une image. C’est déjà une construction mathématique connue.
À partir de ce modèle, les questions suivantes deviennent plus précises :
- peut-on généraliser la stabilisation au-delà des seuls idempotents ?
- peut-on définir d’autres formes de verbes stabilisés : périodiques, limites, projectifs, cohomologiques ?
- peut-on construire des catégories où les objets émergents portent ensuite des invariants numériques ?
- peut-on définir une forme de primalité relative, non pas donnée au départ, mais produite après complétion, projection ou décatégorification ?
- peut-on interpréter certains objets arithmétiques comme les images visibles de stabilisations plus profondes ?
Le modèle jouet des idempotents ne clôt donc pas le programme. Il en donne le premier sol ferme.
Il montre que la phrase : les objets sont des noms donnés à des verbes qui se sont stabilisés
possède au moins une réalisation mathématique précise.
Conclusion générale
L’article ne prétend pas résoudre le mystère des nombres premiers. Il ne prétend pas non plus fonder une nouvelle branche des mathématiques. Il propose une lecture et un programme.
La lecture est la suivante : les mathématiques modernes ont progressivement déplacé leur attention des objets vers les structures, des structures vers les morphismes, des morphismes vers les transformations de transformations. Ce déplacement pourrait être poussé plus loin : les objets eux-mêmes pourraient être pensés comme des dérivés.
Le programme est le suivant : comprendre comment des transformations produisent des stabilisations, comment des stabilisations deviennent objets, comment des objets deviennent invariants, et comment certains invariants deviennent nombres.
Dans cette perspective, les nombres premiers ne seraient pas seulement des atomes de l’arithmétique. Ils pourraient être des traces, des orbites primitives, des facteurs locaux ou des ombres stabilisées d’une structure plus profonde. Mais l’intérêt véritable du programme ne réside pas seulement dans les premiers. Il réside dans la question plus générale qu’ils rendent visible : les objets mathématiques sont-ils premiers, ou sont-ils les noms donnés à des transformations qui se sont stabilisées ?
Le fichier PDF : Des_verbes_avant_les_noms