Accessibility and Gorenstein injective envelopes

Resumo Técnico: Acessibilidade e Envelopes Gorenstein Injetivos

Declaração do Problema
O artigo aborda um problema fundamental em aberto na álgebra homológica Gorenstein referente à existência de envelopes Gorenstein injetivos em categorias de Grothendieck gerais. Embora a existência de envelopes Gorenstein injetivos tenha sido recentemente estabelecida para categorias de módulos ($R$-Mod) por Šaroch e Šťovíček [SS20], a extensão para categorias de Grothendieck arbitrárias $\mathcal{G}$ permanecia sem resolução. Especificamente, os autores investigam as condições sob as quais a classe de objetos Gorenstein injetivos, denotada $\mathcal{GI}$, forma a metade direita de um par de cotorsão perfeito $(^\perp\mathcal{GI}, \mathcal{GI})$. Um par de cotorsão perfeito implica que $\mathcal{GI}$ é envelopante (todo objeto possui um envelope Gorenstein injetivo) e que sua classe ortogonal à esquerda é cobrante. Resultados anteriores, como os de Krause [Kra05], limitavam-se a categorias localmente noetherianas com categorias derivadas compactamente geradas ou categorias possuidoras de geradores projetivos pequenos. A questão central é: sob quais condições essa estrutura vale para categorias de Grothendieck gerais, potencialmente sem projetivos suficientes?

Metodologia
Os autores empregam uma metodologia enraizada na teoria de categorias acessíveis e localmente apresentáveis, explorando especificamente o conceito de acessibilidade para analisar classes de cotorsão. A inovação técnica central é a aplicação de resultados de Adámek e Rosický [AR94] à álgebra homológica, uma conexão que os autores observam ter sido subutilizada no campo.

A estratégia de prova procede da seguinte forma:

1. Acessibilidade de Classes de Cotorsão à Direita: Os autores estabelecem que, para qualquer conjunto de objetos $S$ em uma categoria aditiva acessível, a classe Ext-ortogonal à direita $B := S^\perp$ é uma subcategoria acessível e acessivelmente embutida. Isso é formalizado no Teorema 2.5, que prova que tais classes são fechadas sob limites diretos suficientemente grandes e possuem um conjunto de geradores apresentáveis.
2. Construção de Estrutura de Modelo: Utilizando a acessibilidade dessas classes, os autores constroem estruturas de modelo abelianas cofibrantemente geradas na categoria de complexos de cadeia $\text{Ch}(\mathcal{G})$. Eles definem classes específicas de complexos "acíclicos" (por exemplo, complexos $A$-acíclicos de injetivos) e mostram que essas classes coincidem com os objetos fibrantes dessas estruturas de modelo.
3. Geradores Triviais de Tate: Os autores introduzem o conceito de "geradores triviais de Tate" (Definição 5.3). Um conjunto de geradores $U$ para $\mathcal{G}$ é chamado $B$-trivial de Tate se todo objeto em $U$ for "trivial" em relação à estrutura de modelo Gorenstein $B$-injetiva (ou seja, $U \subseteq {}^\perp \mathcal{GIB}$).
4. Equivalência de Quillen: O artigo estabelece uma equivalência de Quillen entre a estrutura de modelo Gorenstein $B$-injetiva em $\mathcal{G}$ e uma estrutura de modelo "exata $B$-acíclica" em $\text{Ch}(\mathcal{G})$. Essa equivalência é mediada pelo functor esfera $S_0(-)$ e pelo functor de 0-ciclo $Z_0(-)$.

Principais Contribuições e Resultados
O artigo fornece uma caracterização completa de quando pares de cotorsão Gorenstein injetivos são perfeitos em categorias de Grothendieck.

• Teorema Principal (Corolário 6.3 / Teorema 5.5): Seja $\mathcal{G}$ uma categoria de Grothendieck e $B := S^\perp$ para um conjunto $S$. O par de cotorsão $(^\perp \mathcal{GIB}, \mathcal{GIB})$ é perfeito (e, portanto, $\mathcal{GIB}$ é envelopante) se e somente se $\mathcal{G}$ admitir um conjunto de geradores $B$-triviais de Tate.
  • No caso específico em que $B$ é a classe de todos os injetivos, o par $(^\perp \mathcal{GI}, \mathcal{GI})$ é perfeito se e somente se $\mathcal{G}$ admitir um conjunto de geradores triviais de Tate.
• Categorias Localmente de Dimensão Finita: Os autores definem uma categoria de Grothendieck como localmente de dimensão finita se admitir um conjunto gerador de objetos com dimensão projetiva finita. Eles provam (Lema 4.4) que, nessas categorias, a condição de possuir geradores triviais de Tate é automaticamente satisfeita. Consequentemente, envelopes Gorenstein injetivos existem em todas as categorias de Grothendieck localmente de dimensão finita.
• Generalização para Objetos Gorenstein Relativos: O arcabouço é estendido para objetos "Gorenstein $B$-injetivos", objetos "Ding injetivos", objetos "Gorenstein AC-injetivos" e objetos "Gorenstein $FP_n$-injetivos". O artigo prova que envelopes existem para todas essas classes em qualquer categoria de Grothendieck que admita um conjunto de geradores análogo à condição trivial de Tate (por exemplo, dimensão projetiva finita).
• Propriedades da Estrutura de Modelo: As estruturas de modelo resultantes são mostradas como injetivas, cofibrantemente geradas e "melhores possíveis" no sentido de que anulam a classe $B$ na categoria homotópica e são mínimas entre as estruturas de modelo injetivas com essa propriedade.

Significado e Aplicações
O artigo afirma resolver a existência de envelopes Gorenstein injetivos em uma ampla classe de categorias anteriormente inacessíveis a esses métodos, especificamente aquelas sem projetivos suficientes.

• Feixes Quase-Coerentes: Uma aplicação primária é a categoria de feixes quase-coerentes, $\text{Qco}(X)$, sobre um esquema $X$ quasi-compacto e semi-separado. Os autores demonstram que $\text{Qco}(X)$ é localmente de dimensão finita (admitindo geradores de dimensão projetiva finita via feixes muito planos), garantindo assim a existência de envelopes Gorenstein injetivos para todos os feixes quase-coerentes em tais esquemas. Isso fortalece resultados anteriores que se limitavam a esquemas noetherianos semi-separados.
• Álgebra Homológica Relativa: Os resultados unificam e generalizam a existência de envelopes para Ding injetivos e Gorenstein $FP_n$-injetivos, removendo a necessidade de a categoria ser $n$-coerente ou localmente coerente, desde que a condição de gerador seja satisfeita.
• Unificação Teórica: Ao identificar a acessibilidade das classes de cotorsão à direita como o mecanismo chave, o artigo fornece uma abordagem unificada para a construção de estruturas de modelo e a prova da existência de envelopes, sem depender de propriedades específicas de anéis ou da existência de geradores projetivos.

Os autores observam que, embora seus resultados cubram uma vasta gama de exemplos, não reivindicam universalidade para todas as categorias de Grothendieck; eles citam o exemplo de Neeman [Nee14] de uma categoria localmente noetheriana que não admite um conjunto de geradores triviais de Tate, indicando que a condição é não trivial e necessária.