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

Probleem en Motivatie

Tangent categorieën bieden een minimaal semantisch kader voor het bestuderen van differentiaalgeometrische redeneringen, oorspronkelijk ontwikkeld door Rosický en later uitgebreid door Cockett en Crittwell. Hoewel de theorie succesvol is toegepast op gladde variëteiten, algebraïsche meetkunde, commutatieve algebra en Cartesian differential categories (CDCs), ontbrak een systematisch begrip van hoe fundamentele klassen van morfismen—specifiek immersies, submersies, lokale diffeomorfismen en onramified (niet-vertakte) afbeeldingen—zich over deze diverse omgevingen heen gedragen.

Vorig werk stelde definities vast voor submersies en lokale diffeomorfismen in de context van gladde variëteiten, maar hun karakterisering in andere kritieke tangent categorieën, zoals affienische schema's of commutatieve algebra's, bleef onduidelijk. Bovendien vereiste de relatie tussen deze klassen en het concept van "unramified" afbeeldingen (die samenvallen met immersies in de differentiaalmeetkunde, maar kunnen verschillen in algemene tangent categorieën) een verenigde, categorische behandeling. Het artikel adresseert de behoefte om deze concepten binnen het abstracte kader van tangent categorieën te formaliseren, hun stabiliteits- en permanentie-eigenschappen te bestuderen, en hun concrete realisaties in specifieke wiskundige domeinen toe te lichten.

Methodologie

De auteurs hanteren een systematische, categorie-theoretische benadering die geworteld is in de axioma's van tangent categorieën. De kernmethodologie omvat:

1. Horizontale Descent (Afname): Een centraal technisch instrument dat wordt geïntroduceerd is de "horizontale descent" $\theta_f$ van een morfisme $f: X \to Y$. Dit wordt gedefinieerd als de unieke afbeelding van de tangent bundle $TX$ naar de pullback van de tangent bundle $TY$ langs $f$ (de "horizontale bundle"), mits de pullback bestaat. Het artikel onderzoekt de eigenschappen van $\theta_f$ uitgebreid, waarbij het wordt gebruikt om de definities en karakteriseringen van diverse morfismeklassen te vereenvoudigen.
2. Carrable Morfismen: De studie steunt op het begrip "carrable" morfismen (afbeeldingen die pullbacks toestaan langs differentiaal-bundle projecties die behouden worden door de tangent functor). Specifiek focussen de auteurs op $p$-carrable (pullback langs de tangent projectie) en $0$-carrable (pullback langs de nul-sectie) morfismen om de existentie van noodzakelijke structuren zoals de horizontale bundle en de relatieve tangent bundle te waarborgen.
3. Relatieve Cotangente Sequentie: Door de horizontale descent te combineren met de relatieve tangent bundle (gedefinieerd via een $0$-carrable pullback), construeren de auteurs een "relatieve cotangente sequentie" in een willekeurige tangent categorie. Deze sequentie generaliseert de klassieke exacte sequentie van Kähler-differentiaal in de algebraïsche meetkunde.
4. Linearisatie: De auteurs maken een onderscheid tussen "sterke" definities (gebaseerd op algemene categorische eigenschappen zoals prepullbacks) en "lineaire" definities (gebaseerd op de categorie van differentiaal-bundles, $DBun(X)$). Zij maken gebruik van de verrijking van $DBun(X)$ in commutatieve monoiden (en Abelse groepen in Rosický tangent categorieën) om monomorfismen te relateren aan triviale kernen.

Belangrijkste Bijdragen en Resultaten

Het artikel biedt een uitgebreide classificatie en karakterisering van vier primaire klassen van morfismen in tangent categorieën:

• T-Immersies:

  • Sterke T-Immersies: Gedefinieerd als afbeeldingen waarbij het naturaliteitsvierkant van de tangent projectie een "T-prepullback" is. In gladde variëteiten ($SMan$) komen deze overeen met standaard immersies. In algebraïsche meetkunde ($CAlg_R^{op}$) komen ze overeen met formeel unramified morfismen.
  • T-Immersies (Lineair): Gedefinieerd als $p$-carrable afbeeldingen waarbij de horizontale descent $\theta_f$ een lineaire T-monomorfisme is in $DBun(X)$.
  • Kernresultaat: In een Rosický tangent categorie (één met negatie) vallen de begrippen sterke T-immersie, T-immersie en T-unramified morfisme samen. In algemene tangent categorieën zonder negatie zijn deze klassen verschillend (bijv. in de categorie van commutatieve monoiden kan een afbeelding T-unramified zijn maar geen sterke T-immersie).

• T-Submersies:

  • Gedefinieerd als $p$- en $0$-carrable afbeeldingen waarbij de horizontale descent $\theta_f$ een lineaire T-coequalizer (reguliere T-epimorfisme) is in $DBun(X)$. Dit vangt het idee op van een "lokaal surjectieve differentiaal".
  • Split T-Submersies: Gedefinieerd via het feit dat het naturaliteitsvierkant een "T-weak pullback" is. Het artikel bewijst dat voor $p$-carrable afbeeldingen, het een split T-submersion zijn equivalent is aan het feit dat $\theta_f$ een sectie bezit.
  • Kernresultaat: In Rosický tangent categorieën en categorieën van schema's, bezit een split T-submersion een lineaire sectie, niet slechts een verzamelingstheoretische. Dit verbindt de categorische definitie met de splitting van de relatieve cotangente sequentie.

• T-Étale Afbeeldingen (Lokale Diffeomorfismen):

  • Gedefinieerd als afbeeldingen waarbij het naturaliteitsvierkant van de tangent projectie een T-pullback is.
  • Kernresultaat: Een afbeelding is T-étale indien en slechts indien het zowel een sterke T-immersie als een split T-submersion is. Voor $p$-carrable afbeeldingen is dit equivalent aan het feit dat de horizontale descent $\theta_f$ een isomorfisme is.
  • Onderscheid: Het artikel verheldert dat T-étale afbeeldingen in de algebraïsche meetkunde niet identiek zijn aan formeel étale afbeeldingen. Hoewel formeel étale afbeeldingen T-étale zijn, bestaan er T-étale afbeeldingen (bijv. bepaalde gesloten immersies in schema's) die niet formeel étale zijn.

• De Relatieve Cotangente Sequentie:

  • Het artikel construeert een de Rham relatieve cotangente sequentie $X \to TX/Y \to TX \to f^*(TY)$ in elke tangent categorie waar $f$ $0$- en $p$-carrable is.
  • Er wordt aangetoond dat deze sequentie exact is in $DBun(X)$, wat een verenigd kader biedt dat de klassieke cotangente sequenties voor gladde variëteiten en schema's herstelt.

Concrete Karakteriseringen

Het artikel brengt deze abstracte definities expliciet in kaart naar specifieke categorieën:

• Gladde Variëteiten ($SMan$): T-immersies zijn standaard immersies; T-submersies zijn standaard submersies; T-étale afbeeldingen zijn lokale diffeomorfismen.
• Commutatieve Algebra's ($CAlg_R$): T-immersies zijn injectieve algebra-homomorfismen; T-submersies zijn surjectieve homomorfismen met lineaire secties; T-étale afbeeldingen zijn isomorfismen.
• Affiene Schema's ($CAlg_R^{op}$): T-immersies zijn formeel unramified morfismen; T-submersies komen overeen met formeel gladde morfismen relatief aan de basisring; T-étale afbeeldingen komen overeen met formeel unramified en formeel gladde relatieve afbeeldingen (anders dan formeel étale).
• Cartesian Differential Categories (CDCs): T-immersies zijn afbeeldingen met injectieve derivaten (en hogere derivaten); T-submersies zijn afbeeldingen met surjectieve derivaten (retracten); T-étale afbeeldingen zijn afbeeldingen met inverteerbare derivaten.

Betekenis en Claims

De auteurs beweren dat dit werk een "diepgaande en systematische studie" biedt die het begrip van differentiaalgeometrische concepten over de algebraïsche meetkunde, de differentiaalmeetkunde en de informatica heen verenigt. De betekenis ligt in:

1. Unificatie: Het demonstreert hoe dezelfde categorische machinerie (horizontale descent, relatieve cotangente sequenties) de juiste, bekende definities oplevert in specifieke contexten, terwijl het subtiele verschillen in algemene settings blootlegt (bijv. de divergentie tussen immersies en unramified afbeeldingen in niet-Rosický categorieën).
2. Nieuwe Instrumenten: De introductie van horizontale descent als primair instrument vereenvoudigt de verificatie van submersion en immersion eigenschappen, waarbij complexe weak pullback condities worden vervangen door sectie- of monomorfisme condities op $\theta_f$.
3. Fundament voor Toekomstig Werk: Het artikel positioneert deze resultaten als essentiële voorwaarden voor toekomstig onderzoek, waarbij specifiek wordt verwezen naar een aankomend project om "schema's" in tangent categorieën te definiëren en te bestuderen, evenals het bestaan van een Zariski-topologie voor families van tangent categorieën. De auteurs merken op dat het begrijpen van deze morfismeklassen cruciaal is omdat open immersies in de algebraïsche meetkunde in het bijzonder T-monische T-étale afbeeldingen zijn.

Het artikel stelt geen nieuwe experimentele toepassingen of toekomstige implicaties voor buiten de gestelde theoretische doelen van het verfijnen van de tangent categorie theorie en het mogelijk maken van de studie van schema's binnen dit kader. Het blijft een rigoureus theoretisch bijdrage aan de categorie-theorie en haar toepassingen op de meetkunde.