Coderived and contraderived categories for a cotorsion pair, flat-type cotorsion pairs, and relative periodicity

Resumo Técnico: Categorias Coderivadas e Contraderivadas para um Par de Cotorsão, Pares de Tipo Plano e Periodicidade Relativa

Enunciado do Problema
O artigo aborda a relação estrutural entre categorias derivadas de segunda espécie (especificamente as categorias coderivada de Becker e contraderivada de Becker) e as categorias derivadas clássicas no contexto de pares de cotorsão hereditários completos em categorias de Grothendieck. Uma motivação central é a investigação de fenômenos de "periodicidade": sob quais condições os complexos áclicos de objetos específicos (por exemplo, módulos planos, projetivos ou de cotorsão) possuem cociclos que permanecem dentro da mesma classe? O artigo busca generalizar teoremas de periodicidade conhecidos (como os de Benson–Goodearl, Neeman e Bazzoni et al.) para configurações relativas envolvendo homomorfismos de anéis $R \to A$ e feixes quase coerentes em esquemas. Especificamente, ele formula e analisa duas conjecturas relativas a módulos "flaprojetivos" e "relativamente de cotorsão", visando fornecer reformulações equivalentes dessas conjecturas em termos de equivalências trianguladas entre categorias derivadas.

Metodologia
O autor utiliza uma combinação de álgebra homológica, teoria de categorias de modelos e a teoria de pares de cotorsão. A metodologia procede através de várias etapas fundamentais:

1. Construção de Pares de Cotorsão em Categorias de Complexos: Baseando-se no trabalho de Gillespie, o artigo constrói quatro pares de cotorsão hereditários completos específicos na categoria de complexos $\text{Com}(K)$ associados a um dado par de cotorsão $(A, B)$ em uma categoria de Grothendieck $K$. Esses pares relacionam-se a complexos de Becker-coacíclicos e Becker-contraacíclicos, permitindo que a categoria coderivada $D^{bco}(A)$ e a categoria contraderivada $D^{bctr}(B)$ sejam identificadas com a categoria de homotopia do núcleo $A \cap B$.
2. Pares de Cotorsão Aninhados e Adjunções: O artigo analisa pares de cotorsão "aninhados" $(A_1, B_1) \le (A_2, B_2)$ (onde $A_1 \subset A_2$ e $B_1 \supset B_2$). Ele demonstra que as inclusões das categorias exatas induzem funtores triangulados entre as correspondentes categorias coderivadas e contraderivadas. Crucialmente, prova que esses funtores formam um par adjunto, induzido por uma adjunção de Quillen entre as estruturas de modelo abelianas subjacentes em $\text{Com}(K)$.
3. Definição de Pares de Tipo Plano e de Tipo Muito Plano: O autor introduz as noções de pares de cotorsão de "tipo muito plano" (onde a classe à esquerda consiste de objetos com dimensão projetiva finita) e pares de "tipo plano". Um par de cotorsão $(Flat, Cot)$ é de tipo plano se estiver acima de um par de tipo muito plano $(VF, CA)$ e satisfizer condições específicas que garantem que os complexos áclicos, Becker-coacíclicos e Becker-contraacíclicos coincidam dentro das subcategorias relevantes.
4. Estruturas de Recollement: Para um par de cotorsão "sanduichado" $(F, C)$ situado entre um par de tipo muito plano e um par de tipo plano, o artigo constrói um recollement de categorias trianguladas envolvendo as categorias derivadas, coderivadas e contraderivadas de todos os três pares.

Principais Contribuições e Resultados

• Equivalência de Categorias Coderivadas e Contraderivadas: Para um par de cotorsão hereditário completo $(A, B)$ gerado por um conjunto em uma categoria de Grothendieck, o artigo estabelece uma equivalência triangulada natural:
  $$D^{bco}(A) \simeq \text{Hot}(A \cap B) \simeq D^{bctr}(B)$$
  Este resultado unifica a categoria coderivada da classe à esquerda com a categoria contraderivada da classe à direita através de sua interseção.

• Funtores Adjuntos para Pares Aninhados: O artigo prova que, para pares de cotorsão aninhados, o funtor induzido pela inclusão $D^{bco}(A_1) \to D^{bco}(A_2)$ é adjunto à esquerda de $D^{bctr}(B_2) \to D^{bctr}(B_1)$. Esta adjunção é mostrada como sendo originada de uma adjunção de Quillen identidade entre as estruturas de modelo associadas aos pares aninhados.

• Caracterização de Pares de Tipo Plano: O artigo fornece uma lista abrangente de condições equivalentes para que um par de cotorsão $(F, C)$, sanduichado entre um par de tipo muito plano e um par de tipo plano, seja ele próprio de "tipo plano". Essas condições incluem:

  • Equivalências trianguladas entre as categorias derivadas do par intermediário e os pares limites.
  • Preservação da Becker-coaciclidade e contraaciclidade sob inclusões.
  • A validade simultânea de duas propriedades de periodicidade: (a) os cociclos de complexos áclicos em $F$ com cociclos planos pertencem a $F$, e (b) os cociclos de complexos áclicos em $C$ pertencem a $C$.

• As Conjecturas Flaprojetiva e de Cotorsão Relativa: O artigo formula duas conjecturas específicas:

  1. Conjectura Flaprojetiva: Para um homomorfismo de anéis $R \to A$, se um complexo de módulos $A/R$-flaprojetivos possui cociclos planos, então os cociclos são $A/R$-flaprojetivos.
  2. Conjectura de Cotorsão Relativa: Se $A$ é um módulo projetivo sobre $R$, então em qualquer complexo áclico de módulos $A/R$-de cotorsão, os cociclos também são $A/R$-de cotorsão. O artigo prova que essas conjecturas são equivalentes à afirmação de que os pares de cotorsão associados são de "tipo plano". Além disso, demonstra que a Conjectura Flaprojetiva é verdadeira se todos os módulos planos sobre $R$ possuírem dimensões projetivas finitas (por exemplo, para anéis noetherianos de dimensão de Krull finita).

• Aplicações a Esquemas e Corings: A teoria é aplicada à categoria de feixes quase coerentes em esquemas quasi-compactos semi-separados (envolvendo feixes muito planos e contraajustados) e a categorias de comodulos sobre corings, mostrando que as equivalências estabelecidas e as propriedades de periodicidade ocorrem nesses contextos geométricos e algébricos.

Significância e Alegações
O artigo alega fornecer um arcabouço unificado para compreender as categorias derivadas de segunda espécie no contexto de pares de cotorsão. Ao vincular as propriedades estruturais dessas categorias (especificamente a coincidência de complexos áclicos e Becker-acíclicos) a teoremas de periodicidade, o trabalho oferece uma nova perspectiva sobre resultados clássicos.

A significância reside em:

1. Generalização: Estender os teoremas de periodicidade de configurações absolutas (módulos sobre um único anel) para configurações relativas (homomorfismos de anéis, esquemas, corings).
2. Reformulações de Equivalência: Fornecer um conjunto de condições equivalentes (envolvendo categorias derivadas, estruturas de modelos e periodicidade) para a validade dessas conjecturas. Isso permite que pesquisadores abordem as conjecturas por diferentes ângulos (por exemplo, via equivalências trianguladas em vez de cálculos homológicos diretos).
3. Conexão com Estruturas de Modelo: Conectar explicitamente as equivalências triangulares abstratas a adjunções de Quillen entre estruturas de modelos abelianos, fundamentando assim os resultados de categorias derivadas na teoria de categorias de modelos.

O autor nota modestamente que, embora a Conjectura Flaprojetiva seja provada sob condições de finitude específicas em $R$, o caso geral permanece aberto. Da mesma forma, a Conjectura de Cotorsão Relativa é apresentada como uma formulação cuja validade é equivalente à propriedade de "tipo plano" do par de cotorsão associado, sem que uma prova geral seja fornecida no texto. O artigo serve como uma fundação teórica e um conjunto de reformulações equivalentes, em vez de uma solução definitiva para todas as questões de periodicidade abertas.