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

Resumen Técnico: Categorías Coderivadas y Contraderivadas para un Par de Cotorsión, Pares de Tipo Plano y Periodicidad Relativa

Planteamiento del Problema
El artículo aborda la relación estructural entre las categorías derivadas de segundo tipo (específicamente las categorías coderivadas y contraderivadas de Becker) y las categorías derivadas clásicas en el contexto de pares de cotorsión completos y herediteros en categorías de Grothendieck. Una motivación central es la investigación de los fenómenos de "periodicidad": bajo qué condiciones los complejos acíclicos de objetos específicos (por ejemplo, módulos planos, proyectivos o de cotorsión) poseen cociclos que permanecen dentro de la misma clase. El artículo busca generalizar teoremas de periodicidad conocidos (tales como los de Benson–Goodearl, Neeman y Bazzoni et al.) a entornos relativos que involucran homomorfismos de anillos $R \to A$ y haces coherentes cuasicoherentes en esquemas. Específicamente, formula y analiza dos conjeturas relativas a módulos "flaproyectivos" y "relativamente de cotorsión", con el objetivo de proporcionar reformulaciones equivalentes de estas conjeturas en términos de equivalencias trianguladas entre categorías derivadas.

Metodología
El autor emplea una combinación de álgebra homológica, teoría de categorías de modelos y la teoría de pares de cotorsión. La metodología avanza a través de varios pasos clave:

1. Construcción de Pares de Cotorsión en Categorías de Complejos: Basándose en el trabajo de Gillespie, el artículo construye cuatro pares de cotorsión herediteros y completos específicos en la categoría de complejos $\text{Com}(K)$ asociados con un par de cotorsión $(A, B)$ en una categoría de Grothendieck. Estos pares se relacionan con complejos Becker-coacíclicos y Becker-contraacíclicos, permitiendo que la categoría coderivada $D^{bco}(A)$ y la categoría contraderivada $D^{bctr}(B)$ se identifiquen con la categoría de homotopía del núcleo $A \cap B$.
2. Pares de Cotorsión Anidados y Adjunción: El artículo analiza pares de cotorsión "anidados" $(A_1, B_1) \le (A_2, B_2)$ (donde $A_1 \subset A_2$ y $B_1 \supset B_2$). Demuestra que las inclusiones de las categorías exactas inducen funtores triangulados entre las correspondientes categorías coderivadas y contraderivadas. Crucialmente, demuestra que estos funtores forman un par adjunto, inducido por una adjunción de Quillen entre las estructuras de modelo abelianas subyacentes en $\text{Com}(K)$.
3. Definición de Pares de Tipo Plano y de Tipo Muy Plano: El autor introduce las nociones de pares de cotorsión de "tipo muy plano" (donde la clase izquierda consiste en objetos con dimensión proyectiva finita) y de "tipo plano". Un par de cotorsión $(Flat, Cot)$ es de tipo plano si se sitúa por encima de un par de tipo muy plano $(VF, CA)$ y satisface condiciones específicas que aseguran que los complejos acíclicos, Becker-coacíclicos y Becker-contraacíclicos coincidan dentro de las subcategorías relevantes.
4. Estructuras de Recollement: Para un par de cotorsión "sándwich" $(F, C)$ situado entre un par de tipo muy plano y un par de tipo plano, el artículo construye un recollement de categorías trianguladas que involucra las categorías derivadas, coderivadas y contraderivadas de los tres pares.

Contribuciones Clave y Resultados

• Equivalencia de Categorías Coderivadas y Contraderivadas: Para un par de cotorsión heredítero completo generado por un conjunto en una categoría de Grothendieck, el artículo establece una equivalencia triangulada natural:
  $$D^{bco}(A) \simeq \text{Hot}(A \cap B) \simeq D^{bctr}(B)$$
  Este resultado unifica la categoría coderivada de la clase izquierda con la categoría contraderivada de la clase derecha a través de su intersección.

• Funtores Adjuntos para Pares Anidados: El artículo demuestra que para pares de cotorsión anidados, el funtor inducido por la inclusión $D^{bco}(A_1) \to D^{bco}(A_2)$ es adjunto a la izquierda de $D^{bctr}(B_2) \to D^{bctr}(B_1)$. Se demuestra que esta adjunción surge de la adjunción de Quillen identidad entre las estructuras de modelo asociadas a los pares anidados.

• Caracterización de Pares de Tipo Plano: El artículo proporciona una lista exhaustiva de condiciones equivalentes para que un par de cotorsión $(F, C)$, situado entre un par de tipo muy plano y un par de tipo plano, sea en sí mismo de "tipo plano". Estas condiciones incluyen:

  • Equivalencias trianguladas entre las categorías derivadas del par intermedio y los pares límites.
  • La preservación de la Becker-coacíclicidad y la contraacíclicidad bajo inclusiones.
  • La validez simultánea de dos propiedades de periodicidad: (a) los cociclos de complejos acíclicos en $F$ con cociclos planos pertenecen a $F$, y (b) los cociclos de complejos acíclicos en $C$ pertenecen a $C$.

• Las Conjeturas de Flaprojective y de Cotorsión Relativa: El artículo formula dos conjeturas específicas:

  1. Conjetura Flaprojective: Para un homomorfismo de anillos $R \to A$, si un complejo de módulos $A/R$-flaproyectivos tiene cociclos planos, entonces los cociclos son $A/R$-flaproyectivos.
  2. Conjetura de Cotorsión Relativa: Si $A$ es un módulo proyectivo sobre $R$, entonces en cualquier complejo acíclico de módulos $A/R$-de cotorsión, los cociclos son también $A/R$-de cotorsión.
     El artículo demuestra que estas conjeturas son equivalentes a la afirmación de que los pares de cotorsión asociados son de "tipo plano". Además, demuestra que la Conjetura Flaprojective se cumple si todos los módulos planos sobre $R$ tienen dimensiones proyectivas finitas (por ejemplo, para anillos noetherianos de dimensión de Krull finita).

• Aplicaciones a Esquemas y Corings: La teoría se aplica a la categoría de haces cuasicoherentes sobre esquemas cuasicompactos y semiseparados (involucrando haces muy planos y contraajustados) y a las categorías de comodulos sobre corings, mostrando que las equivalencias establecidas y las propiedades de periodicidad se mantienen en estos contextos geométricos y algebraicos.

Significado y Reivindicaciones
El artículo afirma proporcionar un marco unificado para comprender las categorías derivadas de segundo tipo en el contexto de los pares de cotorsión. Al vincular las propiedades estructurales de estas categorías (específicamente la coincidencia de los complejos acíclicos y Becker-acíclicos) con los teoremas de periodicidad, el trabajo ofrece una nueva perspectiva sobre los resultados clásicos.

La importancia radica en:

1. Generalización: Extender los teoremas de periodicidad desde entornos absolutos (módulos sobre un único anillo) a entornos relativos (homomorfismos de anillos, esquemas, corings).
2. Reformulaciones de Equivalencia: Proporcionar un conjunto de condiciones equivalentes (que involucran categorías derivadas, estructuras de modelo y periodicidad) para la validez de estas conjeturas. Esto permite a los investigadores abordar las conjeturas desde diferentes ángulos (por ejemplo, mediante equivalencias trianguladas en lugar de cálculos homológicos directos).
3. Conexión con la Estructura de Modelo: Conectar explícitamente las equivalencias triangulares abstractas con las adunciones de Quillen entre estructuras de modelo abelianas, fundamentando así los resultados de las categorías derivadas en la teoría de categorías de modelos.

El autor señala modestamente que, aunque la Conjetura Flaprojective se demuestra bajo condiciones de finitud específicas sobre $R$, el caso general sigue abierto. Del mismo modo, la Conjetura de Cotorsión Relativa se presenta como una formulación cuya validez es equivalente a la propiedad de "tipo plano" del par de cotorsión asociado, sin que se proporcione una prueba general en el texto. El artículo sirve como una base teórica y un conjunto de reformulaciones equivalentes más que como una solución definitiva a todas las cuestiones de periodicidad abiertas.