Une reformulation catégorique et axiomatique de la géométrie différentielle où les infinitésimaux sont représentés par des éléments nilpotents à l’intérieur d’un topos ou d’un cadre algébrique approprié ; dérivées et vecteurs tangents se traitent algébriquement via des axiomes (p. ex. Kock–Lawvere) plutôt que comme limites, permettant des manipulations lisses sans coordonnées.

Principe

Postuler un topos lisse contenant un objet d’« infinitésimaux » portant des éléments nilpotents et adopter des axiomes qui rendent l’approximation linéaire exacte sur les extensions infinitésimales ; utiliser la logique interne du topos (souvent intuitionniste) pour que les constructions différentielles deviennent algébriques et fonctorielles plutôt que fondées sur des limites.

Démonstration

Dans ce cadre la dérivée d’une application f en x est l’unique application linéaire coïncidant avec f sur les extensions infinitésimales du premier ordre : pour un nilpotent ε tel que ε^2=0 on écrit f(x+ε)=f(x)+f'(x)·ε, et les démonstrations de la règle de la chaîne ou de l’existence du fibré tangent se réalisent par manipulations algébriques de ces développements infinitésimaux sans recourir aux limites ε–δ.

Mauvaise application

Traiter les infinitésimaux nilpotents comme des nombres réels effectifs dans le sens usuel de l’ensemble, ou utiliser le tiers exclu classique à l’intérieur d’un topos où il échoue, rend les axiomes invalides ; tenter d’importer des résultats synthétiques dans Set sans modèle approprié perd souvent le comportement nilpotent et brise les constructions.

Conséquence

Fournit des définitions conceptuelles, sans coordonnées, des jets, fibrés tangents, champs de vecteurs et flotings, simplifiant souvent les manipulations formelles et les formulations catégoriques de la géométrie différentielle ; il révèle aussi des liens profonds entre logique, théorie des catégories et calcul différentiel et sert pour des traitements synthétiques en physique et géométrie.

Inversion

La géométrie différentielle classique reconstruit dérivées et espaces tangents à partir de limites des quotient de différences, cartes et atlas ; inverser le point de vue synthétique montre comment les constructions basées sur les limites peuvent être encodées dans des modèles des axiomes synthétiques, mais l’image intuitive des infinitésimaux nilpotents peut s’y perdre.

Limite

Exige un topos ou un modèle catégorique supportant des infinitésimaux nilpotents et généralement une logique interne intuitionniste ; ce n’est pas une reformulation directe dans le Set classique sans construire des modèles spécialisés (p. ex. modèles de faisceaux ou lieux lisses), et certains phénomènes singuliers ou analytiques demandent des précautions ou hypothèses supplémentaires.

Tension sémantique

Souvent comparée à l’analyse non standard : les deux restaurent l’intuition infinitésimale, mais l’analyse non standard utilise des infinitésimaux inversibles effectifs dans des corps étendus tandis que la géométrie différentielle synthétique emploie des infinitésimaux nilpotents dans un topos et généralement la logique intuitionniste — les approches divergent techniquement et philosophiquement.

Synthèse

La Géométrie Différentielle Synthétique remplace le calcul fondé sur les limites par des axiomes algébriques pour des infinitésimaux nilpotents dans un cadre catégorique approprié : elle offre des formulations élégantes et sans coordonnées des notions différentielles et une commodité de calcul dans ses modèles, tout en reposant sur une infrastructure catégorique et logique absente des traitements naïfs ensemblistes.