Accessibility and Gorenstein injective envelopes

Sintesi Tecnica: Accessibilità e Inviluppi Gorenstein Iniettivi

Enunciato del Problema
Il lavoro affronta un problema fondamentale aperto nell'algebra omologica Gorenstein riguardante l'esistenza di inviluppi Gorenstein iniettivi in categorie di Grothendieck generali. Sebbene l'esistenza di inviluppi Gorenstein iniettivi sia stata recentemente stabilita per le categorie di moduli ($R$-Mod) da Šaroch e Šťovíček [SS20], l'estensione a categorie di Grothendieck arbitrarie $\mathcal{G}$ rimaneva irrisolta. Nello specifico, gli autori investigano le condizioni sotto le quali la classe degli oggetti Gorenstein iniettivi, denotata $\mathcal{GI}$, forma la metà destra di una coppia di cotorsione perfetta $(^\perp\mathcal{GI}, \mathcal{GI})$. Una coppia di cotorsione perfetta implica che $\mathcal{GI}$ sia avvolgente (ogni oggetto possiede un inviluppo Gorenstein iniettivo) e che la sua classe ortogonale sinistra sia ricoprente. Risultati precedenti, come quelli di Krause [Kra05], erano limitati a categorie localmente noetheriane con categorie derivate generate da compatti o categorie dotate di generatori proiettivi piccoli. La domanda centrale è: sotto quali condizioni questa struttura vale per categorie di Grothendieck generali, potenzialmente prive di sufficienti proiettivi?

Metodologia
Gli autori impiegano una metodologia radicata nella teoria delle categorie accessibili e localmente presentabili, sfruttando specificamente il concetto di accessibilità per analizzare le classi di cotorsione. L'innovazione tecnica di base è l'applicazione di risultati di Adámek e Rosický [AR94] all'algebra omologica, una connessione che gli autori notano essere stata sottoutilizzata nel campo.

La strategia di dimostrazione procede come segue:

1. Accessibilità delle Classi di Cotorsione Destre: Gli autori stabiliscono che per qualsiasi insieme di oggetti $S$ in una categoria additiva accessibile, la classe ortogonale destra Ext $B := S^\perp$ è una sottocategoria accessibile e accessibilmente immersa. Ciò è formalizzato nel Teorema 2.5, che dimostra che tali classi sono chiuse rispetto a limiti diretti sufficientemente grandi e possiedono un insieme di generatori presentabili.
2. Costruzione di Strutture Modello: Sfruttando l'accessibilità di queste classi, gli autori costruiscono strutture modello abeliane cofibrantemente generate sulla categoria dei complessi di catene $\text{Ch}(\mathcal{G})$. Definiscono classi specifiche di complessi "acilci" (ad esempio, complessi $A$-acilci di iniettivi) e dimostrano che queste classi coincidono con gli oggetti fibranti di tali strutture modello.
3. Generatori Triviali di Tate: Gli autori introducono il concetto di "generatori triviali di Tate" (Definizione 5.3). Un insieme di generatori $U$ per $\mathcal{G}$ è detto $B$-triviale di Tate se ogni oggetto in $U$ è "triviale" rispetto alla struttura modello Gorenstein $B$-iniettiva (cioè, $U \subseteq {}^\perp \mathcal{GIB}$).
4. Equivalenza di Quillen: Il lavoro stabilisce un'equivalenza di Quillen tra la struttura modello Gorenstein $B$-iniettiva su $\mathcal{G}$ e una struttura modello "esattamente $B$-acilca" su $\text{Ch}(\mathcal{G})$. Tale equivalenza è mediata dal funtore sfera $S_0(-)$ e dal funtore 0-ciclo $Z_0(-)$.

Contributi e Risultati Chiave
Il lavoro fornisce una caratterizzazione completa di quando le coppie di cotorsione Gorenstein iniettive sono perfette nelle categorie di Grothendieck.

• Teorema Principale (Corollario 6.3 / Teorema 5.5): Sia $\mathcal{G}$ una categoria di Grothendieck e $B := S^\perp$ per un insieme $S$. La coppia di cotorsione $(^\perp \mathcal{GIB}, \mathcal{GIB})$ è perfetta (e quindi $\mathcal{GIB}$ è avvolgente) se e solo se $\mathcal{G}$ ammette un insieme di generatori $B$-triviali di Tate.
  • Nel caso specifico in cui $B$ è la classe di tutti gli iniettivi, la coppia $(^\perp \mathcal{GI}, \mathcal{GI})$ è perfetta se e solo se $\mathcal{G}$ ammette un insieme di generatori triviali di Tate.
• Categorie Localmente a Dimensione Finita: Gli autori definiscono una categoria di Grothendieck localmente a dimensione finita se ammette un insieme generatore di oggetti con dimensione proiettiva finita. Dimostrano (Lemma 4.4) che in tali categorie, la condizione di avere generatori triviali di Tate è automaticamente soddisfatta. Di conseguenza, gli inviluppi Gorenstein iniettivi esistono in tutte le categorie di Grothendieck localmente a dimensione finita.
• Generalizzazione agli Oggetti Gorenstein Relativi: Il quadro teorico è esteso agli oggetti "Gorenstein $B$-iniettivi", agli oggetti "Ding iniettivi", agli oggetti "Gorenstein AC-iniettivi" e agli oggetti "Gorenstein $FP_n$-iniettivi". Il lavoro dimostra che gli inviluppi esistono per tutte queste classi in qualsiasi categoria di Grothendieck che ammetta un insieme di generatori analogo alla condizione triviale di Tate (ad esempio, dimensione proiettiva finita).
• Proprietà delle Strutture Modello: Le strutture modello risultanti sono mostrate essere iniettive, cofibrantemente generate e "migliori possibili" nel senso che annullano la classe $B$ nella categoria omotopica e sono minime tra le strutture modello iniettive con questa proprietà.

Significato e Applicazioni
Il lavoro afferma di risolvere l'esistenza di inviluppi Gorenstein iniettivi in una vasta classe di categorie precedentemente inaccessibili a questi metodi, specificamente quelle prive di sufficienti proiettivi.

• Fasci Quasi-Coerenti: Una applicazione primaria è la categoria dei fasci quasi-coerenti, $\text{Qco}(X)$, su uno schema $X$ quasi-compatto e semi-separato. Gli autori dimostrano che $\text{Qco}(X)$ è localmente a dimensione finita (ammettendo generatori di dimensione proiettiva finita tramite fasci molto piatti), garantendo così l'esistenza di inviluppi Gorenstein iniettivi per tutti i fasci quasi-coerenti su tali schemi. Ciò rafforza risultati precedenti limitati a schemi noetheriani semi-separati.
• Algebra Omologica Relativa: I risultati unificano e generalizzano l'esistenza di inviluppi per Ding iniettivi e Gorenstein $FP_n$-iniettivi, rimuovendo la necessità che la categoria sia $n$-coerente o localmente coerente, purché sia soddisfatta la condizione sui generatori.
• Unificazione Teorica: Identificando l'accessibilità delle classi di cotorsione destre come il meccanismo chiave, il lavoro fornisce un approccio unificato alla costruzione di strutture modello e alla dimostrazione dell'esistenza di inviluppi senza fare affidamento su proprietà specifiche della teoria degli anelli o sull'esistenza di generatori proiettivi.

Gli autori notano che, sebbene i loro risultati coprano una vasta gamma di esempi, non rivendicano universalità per tutte le categorie di Grothendieck; citano l'esempio di Neeman [Nee14] di una categoria localmente noetheriana che non ammette un insieme di generatori triviali di Tate, indicando che la condizione è non banale e necessaria.