Quillen equivalence for chain homotopy categories induced by balanced pairs

Probleemstelling

Het artikel adresseert de vraag onder welke voorwaarden de keten-homotopie categorieën $K(\mathcal{X})$ en $K(\mathcal{Y})$, geassocieerd met een gebalanceerd paar $(\mathcal{X}, \mathcal{Y})$ in een abelse categorie $\mathcal{A}$, trianguleer equivalent zijn.

Een gebalanceerd paar $(\mathcal{X}, \mathcal{Y})$ bestaat uit twee additieve subcategorieën waarbij elk object in $\mathcal{A}$ een $\mathcal{X}$-resolutie en een $\mathcal{Y}$-coresolutie toelaat die respectievelijk acyclisch zijn na toepassing van $\text{Hom}(-, \mathcal{Y})$ en $\text{Hom}(\mathcal{X}, -)$.
Hoewel Chen [5] reeds een trianguleer equivalentie $K(\mathcal{X}) \simeq K(\mathcal{Y})$ bewees voor toelaatbare (admissible) gebalanceerde paren van eindige dimensie, bleef de vraag open voor paren van oneindige dimensie. Bestaande voorbeelden, zoals paren van pure projectieve en pure injectieve objecten over ringen met oneindige pure globale dimensie, suggereren dat de equivalentie ook onder bredere voorwaarden kan gelden. De auteurs zoeken naar voldoende voorwaarden die deze equivalentie garanderen zonder de beperking van eindige dimensie.

Methodologie

De auteurs hanteren een model-categorie-theoretische aanpak, in tegenstelling tot de eerdere benadering van Chen die gebaseerd was op het vergelijken van relatieve afgeleide categorieën.

1. Realisatie als Homotopie Categorieën:
   De auteurs realiseren de keten-homotopie categorieën $K(\mathcal{X})$ en $K(\mathcal{Y})$ als de homotopie categorieën van specifieke modelstructuren op de categorie van complexen $\text{Ch}(\mathcal{A}, \mathcal{E})$, waarbij $\mathcal{E}$ de klasse is van korte exacte rijen die behouden blijven onder $\text{Hom}(\mathcal{X}, -)$.

2. Hovey Drietallen en Cotorsie Paren:
   Gebruikmakend van de correspondentie tussen modelstructuren en Hovey-drietallen (Hovey triples) in exacte categorieën, construeren de auteurs twee specifieke modelstructuren:

   • $M_{dw\mathcal{X}} = (\mathcal{E}\text{-}dw\tilde{\mathcal{X}}, (\mathcal{E}\text{-}dw\tilde{\mathcal{X}})^\perp, \text{Ch}(\mathcal{A}, \mathcal{E}))$
   • $M_{dw\mathcal{Y}} = (\text{Ch}(\mathcal{A}, \mathcal{E}), {}^\perp(\mathcal{E}\text{-}dw\tilde{\mathcal{Y}}), \mathcal{E}\text{-}dw\tilde{\mathcal{Y}})$

   Hierbij staat de prefix "dw" voor "degree-wise" (gradewijze) en "E" voor de relatieve context binnen de exacte categorie. De klassen $\mathcal{E}\text{-}dw\tilde{\mathcal{X}}$ en $\mathcal{E}\text{-}dw\tilde{\mathcal{Y}}$ bestaan uit complexen waarvan alle componenten in respectievelijk $\mathcal{X}$ en $\mathcal{Y}$ liggen.

3. Quillen Equivalentie:
   De kern van de methode is het aantonen dat onder bepaalde voorwaarden deze twee modelstructuren Quillen-equivalent zijn. Een Quillen-equivalentie tussen modelcategorieën induceert automatisch een trianguleer equivalentie tussen hun homotopie categorieën.

Belangrijkste Bijdragen en Resultaten

1. Constructie van Modelstructuren (Stelling 4.9):
De auteurs bewijzen dat onder zachte voorwaarden (namelijk dat de orthogonale klasse $(\mathcal{E}\text{-}dw\tilde{\mathcal{X}})^\perp$ gesloten is onder directe sommen, en ${}^\perp(\mathcal{E}\text{-}dw\tilde{\mathcal{Y}})$ gesloten is onder directe producten), de bovenstaande Hovey-drietallen geldige modelstructuren definiëren. De homotopie categorieën van deze structuren zijn trianguleer equivalent aan $K(\mathcal{X})$ en $K(\mathcal{Y})$.

2. Hoofdstelling over Trianguleer Equivalentie (Stelling 4.10):
De centrale stelling luidt:

Als $(\mathcal{E}\text{-}dw\tilde{\mathcal{X}})^\perp = {}^\perp(\mathcal{E}\text{-}dw\tilde{\mathcal{Y}})$, dan bestaat er een trianguleer equivalentie $K(\mathcal{X}) \simeq K(\mathcal{Y})$.

Deze voorwaarde is minder restrictief dan de eis van eindige dimensie. Het betekent dat de klasse van "triviale objecten" (zwakke equivalenties) in beide modelstructuren identiek is, wat de Quillen-equivalentie garandeert.

3. Toepassingen en Generalisaties:
De theorie wordt toegepast op diverse belangrijke gevallen in de representatietheorie en homologische algebra:

• Cotorsion Triples: Voor een complete en erfelijke cotorsion triple $(\mathcal{X}, \mathcal{Z}, \mathcal{Y})$ wordt aangetoond dat de equivalentie $K(\mathcal{X}) \simeq K(\mathcal{Y})$ restrictie geeft tot $K(\mathcal{P}) \simeq K(\mathcal{I})$ (projectieve en injectieve objecten), mits aan bepaalde gelijkheidsvoorwaarden wordt voldaan.
• Gorenstein Projectieve en Injectieve Modulen:
  • Voor linker-virtueel Gorenstein ringen die voldoen aan specifieke gelijkheden tussen gradewijze en relatief gradewijze complexen, wordt de equivalentie $K(\mathcal{GP}) \simeq K(\mathcal{GI})$ bewezen.
  • Dit herwint en generaliseert eerdere resultaten van Chen [5] en Wang & Estrada [33] voor ringen met eindige Gorenstein globale dimensie en eindige Gorenstein zwakke globale dimensie, maar dan via een nieuwe, model-categorie-theoretische weg.
• Pure Projectieve en Injectieve Objecten:
  • Voor lokaal eindig gepresenteerde Grothendieck-categorieën wordt bewezen dat het paar $(\mathcal{PP}, \mathcal{PI})$ een toelaatbaar gebalanceerd paar vormt.
  • De auteurs tonen aan dat $(\mathcal{E}\text{-}dw\tilde{\mathcal{PP}})^\perp = {}^\perp(\mathcal{E}\text{-}dw\tilde{\mathcal{PI}})$, wat leidt tot een trianguleer equivalentie $K(\mathcal{PP}) \simeq K(\mathcal{PI})$.
  • Dit resultaat verfijnt een observatie van Chen, die de equivalentie alleen bewees onder de extra aanname van een eindige pure globale dimensie. Het artikel toont aan dat deze equivalentie geldt zonder deze dimensie-beperking.

Betekenis en Impact

• Methodologische Innovatie: Het artikel introduceert een krachtige nieuwe methode om trianguleer equivalenties tussen keten-homotopie categorieën te bewijzen door gebruik te maken van Quillen-equivalenties van modelstructuren. Dit biedt een alternatief voor de traditionele benadering via relatieve afgeleide categorieën.
• Verwijdering van Dimensie-beperkingen: De belangrijkste theoretische bijdrage is het verwijderen van de eis van "eindige dimensie" voor gebalanceerde paren. Dit opent de deur voor het bestuderen van equivalenties in situaties met oneindige globale dimensies, zoals bij ringen met oneindige pure globale dimensie.
• Unificatie: De resultaten verenigen diverse bekende equivalenties (zoals die voor Gorenstein ringen en pure homologie) onder één algemeen raamwerk gebaseerd op de eigenschappen van orthogonale klassen in de context van exacte categorieën.
• Toepasbaarheid: De theorie is direct toepasbaar op belangrijke klassen van objecten in de module-theorie, waaronder Gorenstein projectieve/injectieve modulen en pure projectieve/injectieve objecten, en biedt nieuwe inzichten in de structuur van hun homotopie categorieën.

Samenvattend biedt dit artikel een robuust model-categorie-theoretisch kader dat de bestaande theorie over gebalanceerde paren aanzienlijk uitbreidt en verfijnt, met name door de beperkingen op de globale dimensie van de onderliggende ringen of categorieën op te heffen.