Accessibility and Gorenstein injective envelopes

Resumen Técnico: Accesibilidad y Envoltorios Inyectivos de Gorenstein

Enunciado del Problema
El artículo aborda un problema abierto fundamental en el álgebra homológica de Gorenstein relativo a la existencia de envoltorios inyectivos de Gorenstein en categorías de Grothendieck generales. Si bien la existencia de envoltorios inyectivos de Gorenstein fue establecida recientemente para categorías de módulos ($R$-Mod) por Šaroch y Šťovíček [SS20], la extensión a categorías de Grothendieck arbitrarias $\mathcal{G}$ permaneció sin resolver. Específicamente, los autores investigan las condiciones bajo las cuales la clase de objetos inyectivos de Gorenstein, denotada $\mathcal{GI}$, forma la mitad derecha de un par de cotorsión perfecto $(^\perp\mathcal{GI}, \mathcal{GI})$. Un par de cotorsión perfecto implica que $\mathcal{GI}$ es envolvente (cada objeto tiene un envoltorio inyectivo de Gorenstein) y que su clase ortogonal izquierda es cubriente. Resultados anteriores, como los de Krause [Kra05], se limitaban a categorías localmente noetherianas con categorías derivadas generadas compactamente o categorías que poseen generadores proyectivos pequeños. La pregunta central es: ¿bajo qué condiciones se mantiene esta estructura para categorías de Grothendieck generales, que potencialmente carecen de suficientes proyectivos?

Metodología
Los autores emplean una metodología arraigada en la teoría de categorías accesibles y localmente presentables, aprovechando específicamente el concepto de accesibilidad para analizar clases de cotorsión. La innovación técnica central es la aplicación de resultados de Adámek y Rosický [AR94] al álgebra homológica, una conexión que los autores señalan ha sido subutilizada en el campo.

La estrategia de prueba procede de la siguiente manera:

1. Accesibilidad de las Clases de Cotorsión Derechas: Los autores establecen que para cualquier conjunto de objetos $S$ en una categoría aditiva accesible, la clase Ext-ortogonal derecha $B := S^\perp$ es una subcategoría accesible y accesiblemente embebida. Esto se formaliza en el Teorema 2.5, que demuestra que tales clases son cerradas bajo límites directos suficientemente grandes y poseen un conjunto de generadores presentables.
2. Construcción de Estructuras de Modelo: Utilizando la accesibilidad de estas clases, los autores construyen estructuras de modelo abelianas cofibrantemente generadas en la categoría de complejos de cadenas $\text{Ch}(\mathcal{G})$. Definen clases específicas de complejos "acyclicos" (por ejemplo, complejos $A$-acyclicos de inyectivos) y demuestran que estas clases coinciden con los objetos fibrantes de dichas estructuras de modelo.
3. Generadores Triviales de Tate: Los autores introducen el concepto de "generadores triviales de Tate" (Definición 5.3). Un conjunto de generadores $U$ para $\mathcal{G}$ se denomina $B$-trivial de Tate si cada objeto en $U$ es "trivial" con respecto a la estructura de modelo inyectiva de Gorenstein $B$ (es decir, $U \subseteq {}^\perp \mathcal{GIB}$).
4. Equivalencia de Quillen: El artículo establece una equivalencia de Quillen entre la estructura de modelo inyectiva de Gorenstein $B$ en $\mathcal{G}$ y una estructura de modelo "exacta $B$-acyclica" en $\text{Ch}(\mathcal{G})$. Esta equivalencia está mediada por el functor esfera $S_0(-)$ y el functor de 0-ciclo $Z_0(-)$.

Contribuciones y Resultados Clave
El artículo proporciona una caracterización completa de cuándo los pares de cotorsión inyectivos de Gorenstein son perfectos en categorías de Grothendieck.

• Teorema Principal (Corolario 6.3 / Teorema 5.5): Sea $\mathcal{G}$ una categoría de Grothendieck y $B := S^\perp$ para un conjunto $S$. El par de cotorsión $(^\perp \mathcal{GIB}, \mathcal{GIB})$ es perfecto (y por tanto $\mathcal{GIB}$ es envolvente) si y solo si $\mathcal{G}$ admite un conjunto de generadores $B$-triviales de Tate.
  • En el caso específico donde $B$ es la clase de todos los inyectivos, el par $(^\perp \mathcal{GI}, \mathcal{GI})$ es perfecto si y solo si $\mathcal{G}$ admite un conjunto de generadores triviales de Tate.
• Categorías de Dimensión Finita Localmente: Los autores definen una categoría de Grothendieck como localmente de dimensión finita si admite un conjunto generador de objetos con dimensión proyectiva finita. Demuestran (Lema 4.4) que en tales categorías, la condición de tener generadores triviales de Tate se satisface automáticamente. En consecuencia, los envoltorios inyectivos de Gorenstein existen en todas las categorías de Grothendieck localmente de dimensión finita.
• Generalización a Objetos Relativos de Gorenstein: El marco se extiende a objetos "inyectivos de Gorenstein $B$", objetos "inyectivos de Ding", objetos "inyectivos de Gorenstein $AC$" y objetos "inyectivos de Gorenstein $FP_n$". El artículo demuestra que los envoltorios existen para todas estas clases en cualquier categoría de Grothendieck que admita un conjunto de generadores análogo a la condición trivial de Tate (por ejemplo, dimensión proyectiva finita).
• Propiedades de las Estructuras de Modelo: Se demuestra que las estructuras de modelo resultantes son inyectivas, cofibrantemente generadas y "óptimas" en el sentido de que anulan la clase $B$ en la categoría homotópica y son mínimas entre las estructuras de modelo inyectivas con esta propiedad.

Significado y Aplicaciones
El artículo afirma resolver la existencia de envoltorios inyectivos de Gorenstein en una amplia clase de categorías previamente inaccesibles a estos métodos, específicamente aquellas sin suficientes proyectivos.

• Haces Cuasi-Coherentes: Una aplicación principal es la categoría de haces cuasi-coherentes, $\text{Qco}(X)$, sobre un esquema $X$ cuasi-compacto y semi-separado. Los autores demuestran que $\text{Qco}(X)$ es localmente de dimensión finita (admitiendo generadores de dimensión proyectiva finita mediante haces muy planos), garantizando así la existencia de envoltorios inyectivos de Gorenstein para todos los haces cuasi-coherentes en dichos esquemas. Esto fortalece resultados anteriores que se limitaban a esquemas noetherianos semi-separados.
• Álgebra Homológica Relativa: Los resultados unifican y generalizan la existencia de envoltorios para inyectivos de Ding e inyectivos de Gorenstein $FP_n$, eliminando la necesidad de que la categoría sea $n$-coherente o localmente coherente, siempre que se cumpla la condición de generadores.
• Unificación Teórica: Al identificar la accesibilidad de las clases de cotorsión derechas como el mecanismo clave, el artículo proporciona un enfoque unificado para construir estructuras de modelo y demostrar la existencia de envoltorios sin depender de propiedades específicas de teoría de anillos o de la existencia de generadores proyectivos.

Los autores señalan que, aunque sus resultados cubren una vasta array de ejemplos, no afirman universalidad para todas las categorías de Grothendieck; citan el ejemplo de Neeman [Nee14] de una categoría localmente noetheriana que no admite un conjunto de generadores triviales de Tate, indicando que la condición es no trivial y necesaria.