Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors

Resumen Técnico: Homología de la Inclusión de Comódulos y el Functor de Olvido de Contramódulos

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en la teoría de coalgebras y álgebras duales sobre un cuerpo $k$. Dada una coalgebra $C$, su espacio dual $C^*$ es naturalmente un álgebra asociativa. Existen dos funtores naturales clave que relacionan las categorías de módulos sobre $C^*$ con las estructuras sobre $C$:

1. El funtor de inclusión de comódulos ($\Upsilon$): $C\text{--Comod} \to C^*\text{--Mod}$. Es conocido que este funtor es exacto y plenamente fiel a nivel de categorías abelianas. Sin embargo, su imagen esencial no siempre es cerrada bajo extensiones en la categoría de módulos $C^*$.
2. El funtor de olvido de contramódulos ($\Theta$): $C\text{--Contra} \to C^*\text{--Mod}$. A diferencia de $\Upsilon$, este funtor no es plenamente fiel en general.

El problema central es determinar bajo qué condiciones estos funtores inducen equivalencias plenamente fieles a nivel de categorías derivadas (es decir, cuando preservan completamente la estructura homológica, incluyendo los grupos Ext). Específicamente, el autor investiga cuándo las aplicaciones inducidas en los espacios Ext:
$$\text{Ext}^i_C(L, M) \to \text{Ext}^i_{C^*}(L, M)$$
son isomorfismos para todos los objetos $L, M$ y para un rango de grados $i$.

El trabajo se centra en coalgebras conilpotentes (también llamadas "irreducibles puntuadas"), asumiendo que la coalgebra es conilpotente para poder utilizar resoluciones mínimas y filtraciones naturales.

2. Metodología

Positselski emplea una combinación de técnicas de álgebra homológica, teoría de categorías y análisis de estructuras filtradas:

• Resoluciones Mínimas: Se utiliza la existencia de resoluciones inyectivas mínimas para comódulos y resoluciones proyectivas mínimas para contramódulos sobre coalgebras conilpotentes. Estas resoluciones se construyen iterativamente utilizando el "lema de Nakayama" para coalgebras.
• Filtraciones: Se introducen filtraciones naturales (crecientes para comódulos, decrecientes para contramódulos) basadas en la conilpotencia. Esto permite descomponer objetos complejos en extensiones de objetos triviales (el cuerpo $k$).
• Dualidad y Contramódulos: Se explota la relación profunda entre comódulos y contramódulos. Se demuestra que la dimensión de los espacios $\text{Ext}^n_C(k, k)$ (calculados en la categoría de comódulos) controla el comportamiento de los funtores hacia la categoría de módulos sobre el álgebra dual.
• Análisis de Dimensión Cardinal: Para casos donde los espacios Ext son infinitos, el autor realiza un análisis fino de las cardinalidades de dimensión de los espacios duales y dobles duales para demostrar la no sobreyectividad o no inyectividad de los mapas inducidos.
• Categorías Derivadas: Se aplican resultados sobre funtores adjuntos (el funtor de inclusión tiene un adjunto derecho, el de olvido tiene un adjunto izquierdo) para extender los resultados de equivalencia de categorías abelianas a categorías derivadas acotadas y no acotadas.

3. Contribuciones Clave

A. Definición de "Koszul Débilmente Finito"
El autor introduce el término coalgebra Koszul débilmente finita para describir una coalgebra conilpotente $C$ tal que el espacio vectorial $\text{Ext}^n_C(k, k)$ es de dimensión finita para todo $n \geq 0$. Esta condición se presenta como el criterio unificador para la fidelidad homológica.

B. Equivalencia de Condiciones (Teorema 1.1)
Se demuestra que las siguientes cinco condiciones son equivalentes para una coalgebra conilpotente $C$ y un entero $n \geq 1$:

1. El funtor de inclusión $\Upsilon$ induce isomorfismos en $\text{Ext}^i$ para $1 \leq i \leq n$ en la categoría de comódulos.
2. El funtor de inclusión para comódulos derechos induce isomorfismos análogos.
3. El funtor de olvido $\Theta$ induce isomorfismos en $\text{Ext}^i$ para $0 \leq i \leq n-1$ (con restricciones de separación para $Q$).
4. El espacio $\text{Ext}^i_C(k, k)$ es de dimensión finita para todo $1 \leq i \leq n$.
5. El espacio $\text{Ext}^i_{C}(k, k)$ (en contramódulos) es de dimensión finita.

C. Desplazamiento Cohomológico y Asimetría
Un hallazgo crucial es el desplazamiento cohomológico en el comportamiento de los funtores:

• Si $\text{Ext}^n_C(k, k)$ es infinito, el mapa inducido por $\Upsilon$ en grado $n$ es inyectivo pero no sobreyectivo (la imagen es una subespacio propio, y la dimensión de $\text{Ext}^n_{C^*}$ es la del doble dual).
• Simétricamente, para el funtor $\Theta$, el mapa en grado $n-1$ es inyectivo pero no sobreyectivo, y en grado $n$ deja de ser inyectivo. Esto revela una asimetría fundamental entre la teoría de comódulos y contramódulos cuando la finitud falla.

D. Fidelidad en Categorías Derivadas (Teorema 1.2)
Se establece que las condiciones anteriores son equivalentes a que los funtores inducidos entre las categorías derivadas sean plenamente fieles:

• $\Upsilon$ induce un funtor plenamente fiel en la categoría derivada acotada inferiormente $D^+(C\text{--Comod}) \to D^+(C^*\text{--Mod})$.
• $\Theta$ induce un funtor plenamente fiel en la categoría derivada acotada superiormente $D^-(C\text{--Contra}) \to D^-(C^*\text{--Mod})$.

E. Casos Especiales: Coalgebras Cocomutativas
El artículo demuestra que todas las coalgebras conilpotentes cocomutativas finitamente cogeneradas son "Koszul débilmente finitas". Esto se debe a que su álgebra dual $C^*$ es un anillo local de series de potencias formales (completo y noetheriano), lo que garantiza la finitud de los grupos Ext y la equivalencia de categorías derivadas no acotadas en este contexto específico.

4. Resultados Principales

1. Teorema de Fidelidad: La inclusión de comódulos y el olvido de contramódulos preservan la estructura homológica completa (en rangos acotados) si y solo si la coalgebra tiene "homología Koszul finita" (grupos Ext finitos).
2. Contraejemplo General: Si la coalgebra no es finitamente cogenerada (o los Ext son infinitos), la imagen esencial de $\Upsilon$ no es cerrada bajo extensiones en $C^*\text{--Mod}$, y $\Theta$ pierde la propiedad de ser plenamente fiel.
3. Relación con Anillos Noetherianos: Para coalgebras cocomutativas finitamente cogeneradas, la categoría de comódulos es equivalente a la categoría de módulos $I$-torsionales sobre el anillo local $C^*$, y la categoría de contramódulos es equivalente a la categoría de módulos $I$-contramódulos. En este caso, la equivalencia se extiende a las categorías derivadas no acotadas.
4. Propiedades de Noetherianidad Co: Se demuestra que las coalgebras conilpotentes que son "co-Noetherianas" o "cocoherentes" son automáticamente Koszul débilmente finitas.

5. Significado e Impacto

Este trabajo es fundamental para la teoría de coalgebras y álgebras no conmutativas por varias razones:

• Unificación Conceptual: Proporciona un marco unificado para entender cuándo la teoría de módulos sobre el álgebra dual $C^*$ refleja fielmente la teoría de comódulos/contramódulos sobre $C$.
• Clarificación de la Dualidad: Resuelve ambigüedades sobre la relación entre comódulos y contramódulos, mostrando que la "finitud" de los grupos Ext es la barrera crítica para la equivalencia homológica.
• Aplicaciones en Geometría Algebraica y Física: Las coalgebras conilpotentes aparecen naturalmente en la teoría de deformaciones, en la cohomología de álgebras de Lie y en la teoría de campos cuánticos (álgebras de Hopf). La noción de "Koszul débilmente finito" ofrece un criterio práctico para determinar cuándo se pueden utilizar herramientas de álgebra homológica estándar (sobre $C^*$) para estudiar estructuras más complejas definidas por $C$.
• Avance en Categorías Derivadas: El resultado sobre la fidelidad plena en categorías derivadas (especialmente para el caso cocomutativo) conecta la teoría de coalgebras con la teoría de anillos locales completos, validando el uso de la dualidad de Koszul en contextos no acotados bajo ciertas condiciones de finitud.

En resumen, Positselski establece que la finitud de los grupos de cohomología $\text{Ext}^*_C(k, k)$ es la condición necesaria y suficiente para que la "dualidad" entre la coalgebra y su álgebra dual sea homológicamente perfecta, definiendo así una nueva clase de coalgebras ("Koszul débilmente finitas") que generaliza el concepto clásico de álgebras Koszul.