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

Problema e Motivazione

Le categorie tangenti forniscono un quadro semantico minimo per lo studio del ragionamento geometrico differenziale, sviluppato originariamente da Rosický e successivamente ampliato da Cockett e Cruttwell. Sebbene la teoria sia stata applicata con successo ai foglietti differenziabili (smooth manifolds), alla geometria algebrica, all'algebra commutativa e alle categorie differenziali cartesiane (CDC), è mancata una comprensione sistematica di come le classi fondamentali di morfismi — specificamente immersioni, submersioni, diffeomorfismi locali e mappe non ramificate — si comportino attraverso questi diversi contesti.

Lavori precedenti hanno stabilito definizioni per submersioni e diffeomorfismi locali nel contesto dei foglietti differenziabili, ma la loro caratterizzazione in altre categorie tangenti critiche, come gli schemi affini o le algebre commutative, rimaneva poco chiara. Inoltre, la relazione tra queste classi e il concetto di mappe "non ramificate" (che coincidono con le immersioni nella geometria differenziale ma possono differire in categorie tangenti generali) richiedeva un trattamento categorico unificato. Il saggio affronta la necessità di formalizzare questi concietti all'interno del quadro astratto delle categorie tangenti, studiarne le proprietà di stabilità e permanenza, ed elucidarne le realizzazioni concrete in specifici domini matematici.

Metodologia

Gli autori impiegano un approccio sistematico, di tipo categoriale, basato sugli assiomi delle categorie tangenti. La metodologia centrale prevede:

1. Discesa Orizzontale: Uno strumento tecnico centrale introdotto è la "discesa orizzontale" $\theta_f$ di un morfismo $f: X \to Y$. Questa è definita come l'unica mappa dal fibrato tangente $TX$ al pullback del fibrato tangente $TY$ lungo $f$ (il "fibrato orizzontale"), a condizione che il pullback esista. Il saggio investiga estensivamente le proprietà di $\theta_f$, utilizzandola per semplificare le definizioni e le caratterizzazioni di varie classi di morfismi.
2. Morfismi Carrabili: Lo studio si basa sulla nozione di morfismi "carrabili" (mappe che ammettono pullback lungo le proiezioni dei fibrati differenziali che sono preservati dal funtore tangente). Nello specifico, gli autori si concentrano sui morfismi $p$-carrabili (pullback lungo la proiezione tangente) e $0$-carrabili (pullback lungo la sezione zero) per garantire l'esistenza delle strutture necessarie come il fibrato orizzontale e il fibrato tangente relativo.
3. Sequenza Cotangente Relativa: Combinando la discesa orizzontale con il fibrato tangente relativo (definito tramite un pullback $0$-carrabile), gli autori costruiscono una "sequenza cotangente relativa" in una categoria tangente arbitraria. Questa sequenza generalizza la classica sequenza esatta dei differenziali di Kähler trovata nella geometria algebrica.
4. Linearizzazione: Gli autori distinguono tra definizioni "forti" (basate su proprietà categoriali generali come i prepullback) e definizioni "lineari" (basate sulla categoria dei fibrati differenziali, $DBun(X)$). Essi utilizzano l'arricchimento di $DBun(X)$ in monoidi commutativi (e gruppi abeliani nelle categorie tangenti di Rosický) per relazionare i monomorfismi ai nuclei triviali.

Contributi Chiave e Risultati

Il saggio fornisce una classificazione e caratterizzazione esaustiva di quattro classi primarie di morfismi nelle categorie tangenti:

• T-Immersioni:

  • T-Immersioni Forti: Definite come mappe in cui il quadrato di naturalità della proiezione tangente è un "T-prepullback". Nei foglietti differenziabili ($SMan$), esse corrispondono alle immersioni standard. Nella geometria algebrica ($CAlg_R^{op}$), corrispondono a morfismi formalmente non ramificati.
  • T-Immersioni (Lineari): Definite come mappe $p$-carrabili in cui la discesa orizzontale $\theta_f$ è un T-monomorfismo lineare in $DBun(X)$.
  • Risultato Chiave: In una categoria tangente di Rosický (una con negazione), le nozioni di T-immersione forte, T-immersione e morfismo T-non ramificato coincidono. In categorie tangenti generali senza negazione, queste classi sono distinte (ad esempio, in la categoria dei monoidi commutativi, una mappa può essere T-non ramificata ma non una T-immersione forte).

• T-Submersioni:

  • Definite come mappe $p$- e $0$-carrabili in cui la discesa orizzontale $\theta_f$ è un T-coequale lineare (T-epimorfismo regolare) in $DBun(X)$. Ciò cattura l'idea di una "suriettiva differenziale locale".
  • T-Submersioni Spaccate: Definite tramite il quadrato di naturalità come un "T-debole pullback". Il saggio dimostra che per le mappe $p$-carrabili, essere una T-submersioni spaccata è equivalente al fatto che $\theta_f$ ammetta una sezione.
  • Risultato Chiave: Nelle categorie tangenti di Rosický e nelle categorie di schemi, una T-submersioni spaccata ammette una sezione lineare, non solo una sezione dell'insieme. Questo collega la definizione categoriale alla scissione della sequenza cotangente relativa.

• Morfismi T-Etali (Diffeomorfismi Locali):

  • Definiti come mappe in cui il quadrato di naturalità della proiezione tangente è un T-pullback.
  • Risultato Chiave: Una mappa è T-etala se e solo se è sia una T-immersione forte che una T-submersioni spaccata. Per le mappe $p$-carrabili, ciò è equivalente al fatto che la discesa orizzontale $\theta_f$ sia un isomorfismo.
  • Distinzione: Il saggio chiarisce che le mappe T-etale nella geometria algebrica non sono identiche alle mappe formalmente etale. Mentre le mappe formalmente etale sono T-etale, esistono mappe T-etale (ad esempio, certe immersioni chiuse negli schemi) che non sono formalmente etale.

• La Sequenza Cotangente Relativa:

  • Il saggio costruisce una sequenza cotangente relativa di de Rham $X \to TX/Y \to TX \to f^*(TY)$ in qualsiasi categoria tangente dove $f$ sia $0$- e$p$-carrabile.
  • Si dimostra che questa sequenza è esatta in $DBun(X)$, fornendo un quadro unificato che recupera le classiche sequenze cotangenti per i foglietti differenziabili e per gli schemi.

Caratterizzazioni Concrete

Il saggio mappa esplicitamente queste definizioni astratte in categorie specifiche:

• Foglietti Differenziabili ($SMan$): Le T-immersioni sono le immersioni standard; le T-submersioni sono le submersioni standard; le mappe T-etale sono i diffeomorfismi locali.
• Alge Commutative ($CAlg_R$): Le T-immersioni sono omoformismi algebrici iniettivi; le T-submersioni sono omoformismi suriettivi con sezioni lineari; le mappe T-etale sono isomorfismi.
• Schemi Affini ($CAlg_R^{op}$): Le T-immersioni sono morfismi formalmente non ramificati; le T-submersioni corrispondono ai morfismi formalmente lisci rispetto alla base; le mappe T-etale corrispondono a mappe formalmente non ramificate e formalmente lisce (distinte da quelle formalmente etale).
• Categorie Differenziali Cartesiane (CDC): Le T-immersioni sono mappe con derivate iniettive (e derivate di ordine superiore); le T-submersioni sono mappe con derivate suriettive (ritratti); le mappe T-etale sono mappe con derivate invertibili.

Significato e Rivendicazioni

Gli autori affermano che questo lavoro fornisce uno "studio profondo e sistematico" che unifica la comprensione dei concetti di geometria differenziale attraverso la geometria algebrica, la geometria differenziale e l'informatica. La significatività risiede in:

1. Unificazione: Dimostra come lo stesso apparato categoriale (discesa orizzontale, sequenze cotangenti relative) produca le definizioni corrette e note in contesti specifici, rivelando al contempo sottili distinzioni in contesti generali (ad esempio, la divergenza tra immersioni e mappe non ramificate in categorie non di Rosický).
2. Nuovi Strumenti: L'introduzione della discesa orizzontale come strumento primario semplifica la verifica delle proprietà di submersioni e immersioni, sostituendo le complesse condizioni di debole pullback con condizioni di sezione o monomorfismo su $\theta_f$.
3. Fondamentale per il Lavoro Futuro: Il saggio pone questi risultati come prerequisiti essenziali per la ricerca futura, menzionando specificamente un progetto imminente per definire e studiare gli "schemi" nelle categorie tangenti e l'esistenza di una topologia di Zariski per famiglie di categorie tangenti. Gli autori osservano che la comprensione di queste classi di morfismi è critica perché le immersioni aperte in geometria algebrica sono, in particolare, T-moniche e T-etale.

Il saggio non propone nuove applicazioni sperimentali o implicazioni future oltre agli obiettivi teorici dichiarati di raffinamento della teoria delle categorie tangenti e di abilitare lo studio degli schemi all'interno di questo quadro. Esso rimane un contributo teorico rigoroso alla teoria delle categorie e alle loro applicazioni alla geometria.