Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories

Problème et Motivation

Les catégories tangentes fournissent un cadre sémantique minimal pour l'étude du raisonnement de géométrie différentielle, initialement développé par Rosický et plus tard étendu par Cockett et Crittenden. Bien que la théorie ait été appliquée avec succès aux variétés différentiables, à la géométrie algébrique, à l'algèbre commutative et aux catégories différentielles cartésiennes (CDC), une compréhension systématique de la manière dont les classes fondamentales de morphismes — spécifiquement les immersions, les submersion, les difféomorphismes locaux et les applications non ramifiées — se comportent à travers ces divers contextes manquait.

Des travaux antérieurs ont établi des définitions pour les submersion et les difféomorphismes locaux dans le contexte des variétés différentiables, mais leur caractérisation dans d'autres catégories tangentes critiques, telles que les schémas affines ou les algèbres commutatives, restait obscure. De plus, la relation entre ces classes de morphismes et le concept d'applications « non ramifiées » (qui coïncident avec les immersions en géométrie différentielle mais peuvent différer dans les catégories tangentes générales) nécessitait un traitement catégorique unifié. L'article répond au besoin de formaliser ces concepts dans le cadre abstrait des catégories tangentes, d'étudier leurs propriétés de stabilité et de permanence, et d'élucider leurs réalisations concrètes dans des domaines mathématiques spécifiques.

Méthodologie

Les auteurs emploient une approche systématique, de nature catégorique, fondée sur les axiomes des catégories tangentes. La méthodologie centrale implique :

1. Descente horizontale : Un outil technique central introduit est la « descente horizontale » $\theta_f$ d'un morphisme $f: X \to Y$. Elle est définie comme l'application unique du fibré tangent $TX$ vers le produit tiré du fibré tangent $TY$ le long de $f$ (le « fibré horizontal »), sous réserve que le produit tiré existe. L'article étudie de manière approfondie les propriétés de $\theta_f$, l'utilisant pour simplifier les définitions et les caractérisations de diverses classes de morphismes.
2. Morphismes carrabiles : L'étude repose sur la notion de morphismes « carrabiles » (des applications qui admettent des produits tirés le long des projections de fibrés différentiels qui sont préservés par le foncteur tangent). Plus précisément, les auteurs se concentrent sur les morphismes $p$-carrables (produit tiré le long de la projection tangente) et $0$-carrables (produit tiré le long de la section nulle) pour assurer l'existence des structures nécessaires telles que le fibré horizontal et le fibré tangent relatif.
3. Séquence cotangente relative : En combinant la descente horizontale avec le fibré tangent relatif (défini via un produit tiré $0$-carrable), les auteurs construisent une « séquence cotangente relative » dans une catégorie tangente arbitraire. Cette séquence généralise la séquence exacte classique des différentielles de Kähler en géométrie algébrique.
4. Linéarisation : Les auteurs distinguent entre les définitions « fortes » (basées sur des propriétés catégoriques générales comme les pré-produits tirés) et les définitions « linéaires » (basées sur la catégorie des fibrés différentiels, $DBun(X)$). Ils utilisent l'enrichissement de $DBun(X)$ en monoïdes commutatifs (et en groupes abéliens dans les catégories tangentes de type Rosický) pour relier les monomorphismes aux noyaux triviaux.

Contributions Clés et Résultats

L'article fournit une classification et une caractérisation complètes de quatre classes primaires de morphismes dans les catégories tangentes :

• T-Immersions :

  • T-Immersions Fortes : Définies comme des applications où le carré de naturalité de la projection tangente est un « T-pré-produit tiré ». Dans les variétés différentiables ($SMan$), elles correspondent aux immersions standards. En géométrie algébrique ($CAlg_R^{op}$), elles correspondent aux morphismes formellement non ramifiés.
  • T-Immersions (Linéaires) : Définies comme des applications $p$-carrables où la descente horizontale $\theta_f$ est un T-monomorphisme linéaire dans $DBun(X)$.
  • Résultat Clé : Dans une catégorie tangente de Rosický (une catégorie possédant la négation), les notions de T-immersion forte, de T-immersion et de morphisme T-non ramifié coïncident. Dans les catégories tangentes générales sans négation, ces classes sont distinctes (par exemple, dans la catégorie des monoïdes commutatifs, une application peut être T-non ramifiée mais pas une T-immersion forte).

• T-Submersions :

  • Définies comme des applications $p$- et $0$-carrables où la descente horizontale $\theta_f$ est un T-co-égaliseur linéaire (T-épimorphisme régulier) dans $DBun(X)$. Cela capture l'idée d'une « différentielle localement surjective ».
  • T-Submersions Scindées : Définies via le fait que le carré de naturalité est un « T-produit tiré faible ». L'article prouve que pour les applications $p$-carrables, être une T-submersion scindée est équivalent au fait que $\theta_f$ admet une section.
  • Résultat Clé : Dans les catégories tangentes de Rosický et les catégories de schémas, une T-submersion scindée admet une section linéaire, et non seulement une section de l'ensemble. Cela relie la définition catégorique à l'éclatement de la séquence cotangente relative.

• Morphismes T-Étales (Difféomorphismes Locaux) :

  • Définis comme des applications où le carré de naturalité de la projection tangente est un T-produit tiré.
  • Résultat Clé : Une application est T-étale si et seulement si elle est à la fois une T-immersion forte et une T-submersion scindée. Pour les applications $p$-carrables, cela équivaut au fait que la descente horizontale $\theta_f$ est un isomorphisme.
  • Distinction : L'article précise que les applications T-étales en géométrie algébrique ne sont pas identiques aux applications formellement étales. Bien que les applications formellement étales soient T-étales, il existe des applications T-étales (par exemple, certaines immersions fermées dans les schémas) qui ne sont pas formellement étales.

• La Séquence Cotangente Relative :

  • L'article construit une séquence cotangente relative de de Rham $X \to TX/Y \to TX \to f^*(TY)$ dans toute catégorie tangente où $f$ est $0$- et $p$-carrable.
  • Il est démontré que cette séquence est exacte dans $DBun(X)$, fournissant un cadre unifié qui récupère les séquences cotangentes classiques pour les variétés différentiables et les schémas.

Caractérisations Concrètes

L'article associe explicitement ces définitions abstraites à des catégories spécifiques :

• Variétés Différentiables ($SMan$) : Les T-immersions sont les immersions standards ; les T-submersions sont les submersion standards ; les applications T-étales sont les difféomorphismes locaux.
• Algèbres Commutatives ($CAlg_R$) : Les T-immersions sont des homomorphismes d'algèbres injectifs ; les T-submersions sont des homomorphismes surjectifs avec des sections linéaires ; les applications T-étales sont des isomorphismes.
• Schémas Affines ($CAlg_R^{op}$) : Les T-immersions sont des morphismes formellement non ramifiés ; les T-submersions correspondent aux morphismes formellement lisses par rapport à l'anneau de base ; les applications T-étales correspondent aux morphismes qui sont à la fois formellement non ramifiés et formellement lisses (distincts des morphismes formellement étales).
• Catégories Différentielles Cartésiennes (CDC) : Les T-immersions sont des applications ayant des dérivées (et des dérivées d'ordre supérieur) injectives ; les T-submersions sont des applications ayant des dérivées surjectives (rétractations) ; les applications T-étales sont des applications ayant des dérivées inversibles.

Signification et Revendications

Les auteurs affirment que ce travail constitue une « étude profonde et systématique » qui unifie la compréhension des concepts de géométrie différentielle à travers la géométrie algébrique, la géométrie différentielle et l'informatique. La signification réside dans :

1. Unification : Il démontre comment la même machinerie catégorique (descente horizontale, séquences cotangentes relatives) produit les définitions connues et correctes dans des contextes spécifiques, tout en révélant des distinctions subtiles dans des contextes généraux (par exemple, la divergence entre les immersions et les applications non ramifiées dans les catégories non de type Rosický).
2. Nouveaux Outils : L'introduction de la descente horizontale comme outil primaire simplifie la vérification des propriétés de submersion et d'immersion, remplaçant les conditions complexes de produit tiré faible par des conditions de section ou de monomorphisme sur $\theta_f$.
3. Fondation pour des Travaux Futurs : L'article positionne ces résultats comme des prérequis essentiels pour des recherches futures, mentionnant spécifiquement un projet à venir pour définir et étudier les « schémas » dans les catégories tangentes et l'existence d'une topologie de Zariski pour les familles de catégories tangentes. Les auteurs notent que la compréhension de ces classes de morphismes est critique car les immersions ouvertes en géométrie algébrique sont, en particulier, des applications T-mono T-étales.

L'article ne propose pas de nouvelles applications expérimentales ou d'implications futures au-delà des objectifs théoriques énoncés de raffinement de la théorie des catégories tangentes et de permettre l'étude des schémas dans ce cadre. Il demeure une contribution théorique rigoureuse à la théorie des catégories et à ses applications à la géométrie.