Una reformulación categórica y axiomática de la geometría diferencial en la que los infinitesimales se representan por elementos nilpotentes dentro de un topos o marco algebraico apropiado; derivadas y vectores tangentes se tratan algebraicamente mediante axiomas (p. ej. Kock–Lawvere) en lugar de mediante límites, permitiendo manipulaciones lisas y sin coordenadas.

Principio

Postular un topos 'suave' que contenga un objeto de «infinitesimales» con elementos nilpotentes y adoptar axiomas que hagan exacta la aproximación lineal en extensiones infinitesimales; usar la lógica interna del topos (a menudo intuicionista) para que las construcciones diferenciales sean algebraicas y functoriales en lugar de basarse en límites.

Demostración

En este marco la derivada de una aplicación f en x es la única aplicación lineal que coincide con f en extensiones infinitesimales de primer orden: para un nilpotente ε con ε^2=0 se escribe f(x+ε)=f(x)+f'(x)·ε, y las pruebas de la regla de la cadena o de la existencia de fibrados tangentes se realizan mediante manipulaciones algebraicas de estas expansiones infinitesimales sin recurrir a límites ε–δ.

Aplicación incorrecta

Tratar los infinitesimales nilpotentes como números reales en sentido clásico, o aplicar el tercero excluido clásico dentro de un topos donde no vale, invalida los axiomas; intentar importar resultados sintéticos a Set sin un modelo adecuado suele perder el comportamiento nilpotente y romper las construcciones.

Consecuencia

Proporciona definiciones conceptuales y sin coordenadas de jets, fibrados tangentes, campos de vectores y flujos, simplificando a menudo las manipulaciones formales y las formulaciones categóricas de la geometría diferencial; también pone de manifiesto vínculos profundos entre lógica, teoría de categorías y cálculo suave y resulta útil en tratamientos sintéticos de la física y la geometría.

Inversión

La geometría diferencial clásica reconstruye derivadas y espacios tangentes a partir de límites de cocientes de diferencias, cartas y atlas; invertir la perspectiva sintética muestra cómo las construcciones basadas en límites pueden codificarse en modelos de los axiomas sintéticos, aunque la imagen intuitiva de los infinitesimales nilpotentes puede perderse en esa traducción.

Límite

Requiere un topos u otro modelo categórico que admita infinitesimales nilpotentes y típicamente lógica interna intuicionista; no es una reformulación directa dentro del Set clásico sin construir modelos especializados (p. ej. modelos de haces o loci suaves), y ciertos fenómenos singulares o analíticos necesitan cuidado o hipótesis adicionales.

Tensión semántica

Suele compararse con el análisis no estándar: ambos restauran la intuición infinitesimal, pero el análisis no estándar emplea infinitesimales invertibles reales en cuerpos extendidos mientras que la geometría diferencial sintética usa infinitesimales nilpotentes en un topos y normalmente lógica intuicionista — las dos aproximaciones son técnicamente y filosóficamente distintas.

Síntesis

La Geometría Diferencial Sintética sustituye el cálculo basado en límites por axiomas algebraicos para infinitesimales nilpotentes en un marco categórico apropiado: ofrece formulaciones elegantes y sin coordenadas de nociones diferenciales y conveniencias de cálculo dentro de sus modelos, pese a depender de infraestructura categórica y lógica ausente en tratamientos ensemblistas ingenuos.