Quillen equivalence for chain homotopy categories induced by balanced pairs

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo dell'algebra omologica e della teoria delle categorie, focalizzandosi sulla relazione tra le categorie di omotopia delle catene (chain homotopy categories) associate a diverse classi di oggetti in una categoria abeliana.

Storicamente, risultati fondamentali (come quelli di Iyengar-Krause e Chen) hanno stabilito equivalenze triangolate tra categorie di omotopia di complessi di moduli proiettivi ($K(P)$) e iniettivi ($K(I)$), o tra complessi di moduli Gorenstein proiettivi ($K(GP)$) e Gorenstein iniettivi ($K(GI)$), sotto specifiche ipotesi sulla dimensione globale o sulla natura dell'anello di base.
La domanda centrale affrontata dagli autori è: in quali condizioni generali una coppia bilanciata admissibile $(\mathcal{X}, \mathcal{Y})$ in una categoria abeliana induce un'equivalenza triangolata tra le categorie di omotopia $K(\mathcal{X})$ e $K(\mathcal{Y})$?

Mentre Chen aveva affrontato questo problema confrontando le categorie derivate relative, gli autori mirano a fornire una risposta attraverso la teoria dei modelli (model category theory), cercando condizioni sufficienti più ampie che non richiedano necessariamente dimensioni finite globali.

2. Metodologia

L'approccio metodologico si basa sulla realizzazione delle categorie di omotopia come categorie di omotopia di strutture di modello (model structures) su categorie esatte.

• Coppie Bilanciate (Balanced Pairs): Si parte da una coppia di sottocategorie additive $(\mathcal{X}, \mathcal{Y})$ in una categoria abeliana $\mathcal{A}$, che è "bilanciata" se ogni oggetto ammette una risoluzione $\mathcal{X}$-esatta e una co-risoluzione $\mathcal{Y}$-esatta che preservano l'acicità rispetto ai funtori Hom appropriati. La coppia è "admissibile" se le approssimazioni sono epi/mono.
• Categorie Esatte: Si definisce una classe $\mathcal{E}$ di successioni esatte brevi in $\mathcal{A}$ che rimangono esatte applicando $\text{Hom}_{\mathcal{A}}(\mathcal{X}, -)$. Questo rende $(\mathcal{A}, \mathcal{E})$ una categoria esatta. Di conseguenza, la categoria dei complessi $\text{Ch}(\mathcal{A}, \mathcal{E})$ è anch'essa una categoria esatta.
• Trasformazione in Strutture di Modello: Gli autori utilizzano la corrispondenza tra triple di Hovey e strutture di modello su categorie esatte (teorema di Gillespie/Hovey).
  • Costruiscono una struttura di modello $M_{dw}^{\mathcal{X}}$ su $\text{Ch}(\mathcal{A}, \mathcal{E})$ basata sulla coppia di cotorsione $(\mathcal{E}\text{-}dw\tilde{\mathcal{X}}, (\mathcal{E}\text{-}dw\tilde{\mathcal{X}})^\perp)$.
  • Costruiscono dualmente una struttura $M_{dw}^{\mathcal{Y}}$ basata su $(^\perp(\mathcal{E}\text{-}dw\tilde{\mathcal{Y}}), \mathcal{E}\text{-}dw\tilde{\mathcal{Y}})$.
  • Qui, $\mathcal{E}\text{-}dw\tilde{\mathcal{X}}$ denota la classe dei complessi con termini in $\mathcal{X}$, e l'ortogonalità è presa rispetto a $\text{Ext}^1_{\text{Ch}(\mathcal{E})}$.
• Equivalenza di Quillen: L'obiettivo è dimostrare che, sotto certe condizioni, queste due strutture di modello sono Quillen equivalenti. Poiché la categoria di omotopia di una struttura di modello è equivalente alla categoria di omotopia dei suoi oggetti cofibranti-fibranti, questo implica un'equivalenza triangolata tra $K(\mathcal{X})$ e $K(\mathcal{Y})$.

3. Contributi Chiave e Risultati Principali

A. Realizzazione Model-Categorical

Il primo contributo fondamentale è la dimostrazione che le categorie di omotopia $K(\mathcal{X})$ e $K(\mathcal{Y})$ possono essere identificate con le categorie di omotopia di strutture di modello specifiche su $\text{Ch}(\mathcal{A}, \mathcal{E})$, a condizione che le classi ortogonali siano chiuse rispetto a somme dirette (per $\mathcal{X}$) o prodotti diretti (per $\mathcal{Y}$).

• Teorema 4.9: Se $(\mathcal{E}\text{-}dw\tilde{\mathcal{X}})^\perp$ è chiuso per somme dirette, allora $M_{dw}^{\mathcal{X}}$ è una struttura di modello con $Ho(M_{dw}^{\mathcal{X}}) \simeq K(\mathcal{X})$. Un risultato duale vale per $\mathcal{Y}$.

B. Il Teorema di Equivalenza

Il risultato centrale è il seguente:

• Teorema 4.10: Se vale l'uguaglianza $(\mathcal{E}\text{-}dw\tilde{\mathcal{X}})^\perp = {}^\perp(\mathcal{E}\text{-}dw\tilde{\mathcal{Y}})$, allora esiste un'equivalenza triangolata:
  $$K(\mathcal{X}) \simeq K(\mathcal{Y})$$
  Questa condizione garantisce che le due strutture di modello condividano la stessa classe di oggetti "triviali" (debolmente equivalenti a zero), rendendole Quillen equivalenti.

C. Applicazioni Specifiche

Gli autori applicano il teorema generale a diversi contesti noti, recuperando e generalizzando risultati precedenti:

1. Coppie di Cotorsione (Cotorsion Triples):
   Se $(\mathcal{X}, \mathcal{Z}, \mathcal{Y})$ è una terna completa ed ereditaria di coppie di cotorsione, allora $(\mathcal{X}, \mathcal{Y})$ è una coppia bilanciata admissibile. Il teorema garantisce l'equivalenza $K(\mathcal{X}) \simeq K(\mathcal{Y})$. Inoltre, se le dimensioni di risoluzione sono finite, questa equivalenza si restringe agli oggetti proiettivi e iniettivi ($K(\mathcal{P}) \simeq K(\mathcal{I})$).

2. Moduli Gorenstein:
   Per un anello $R$ "left virtually Gorenstein" (dove $\mathcal{GP}^\perp = {}^\perp\mathcal{GI}$), e sotto ipotesi tecniche sulle classi di complessi ($E\text{-}dg\mathcal{GP} = E\text{-}dw\mathcal{GP}$ e analoghe per $\mathcal{GI}$), si ottiene:
   $$K(\mathcal{GP}) \simeq K(\mathcal{GI})$$
   Questo risultato generalizza e recupera i teoremi di Chen e Wang-Estrada, estendendoli a anelli con dimensione globale debole Gorenstein finita, senza richiedere la condizione di dimensione finita globale classica.

3. Oggetti Puri (Pure Projective/Injective):
   In una categoria di Grothendieck localmente finitamente presentata, la coppia $(\mathcal{PP}, \mathcal{PI})$ (oggetti puramente proiettivi e puramente iniettivi) forma una coppia bilanciata admissibile.

   • Corollario 5.11: Esiste un'equivalenza triangolata $K(\mathcal{PP}) \simeq K(\mathcal{PI})$.
   • Questo risultato raffina un lavoro precedente di Šťovíček e di Chen, rimuovendo l'ipotesi restrittiva che l'anello debba avere dimensione globale pura finita.

4. Significato e Impatto

• Unificazione Metodologica: Il lavoro dimostra la potenza dell'approccio tramite le categorie di modello (Quillen equivalences) per studiare le equivalenze triangolate, offrendo un'alternativa potente ai metodi basati sul confronto diretto delle categorie derivate relative.
• Generalizzazione delle Ipotesi: Le condizioni trovate sono meno restrittive rispetto alla letteratura precedente. In particolare, permettono di trattare coppie bilanciate di dimensione infinita (come nel caso degli oggetti puri su anelli regolari di von Neumann), un caso che i metodi tradizionali basati sulla dimensione finita non riuscivano a coprire in modo naturale.
• Struttura Teorica: Fornisce un quadro unificato per comprendere le relazioni tra diverse classi di oggetti (proiettivi, Gorenstein, puri) attraverso la lente delle coppie di cotorsione e delle triple ereditarie, collegando la teoria delle categorie esatte alla topologia algebrica (via le strutture di modello).

In sintesi, il paper stabilisce un ponte robusto tra la teoria delle coppie bilanciate e la teoria delle categorie di modello, fornendo criteri generali per l'esistenza di equivalenze triangolate che estendono significativamente la conoscenza attuale in algebra omologica.