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

Resumo Técnico: Homological Full-and-Faithfulness of Comodule Inclusion and Contramodule Forgetful Functors

Autor: Leonid Positselski
Área: Álgebra Homológica, Teoria de Coalgebras, Módulos e Contramódulos.

1. O Problema e o Contexto

O artigo investiga as propriedades homológicas das functors naturais que relacionam categorias de comódulos e contramódulos sobre uma coalgebra $C$ com a categoria de módulos sobre sua álgebra dual $C^*$.

Seja $C$ uma coalgebra sobre um corpo $k$. A álgebra dual $C^*$ é naturalmente uma álgebra associativa. Existem dois funtores principais de interesse:

1. Inclusão de Comódulos ($\Upsilon$): $\Upsilon: C\text{--Comod} \to C^*\text{--Mod}$. Este funtor é conhecido por ser exato e plenamente fiel (full-and-faithful) no nível abeliano. No entanto, a questão central é se ele induz um funtor plenamente fiel nas categorias derivadas (limitadas ou não).
2. Esquecimento de Contramódulos ($\Theta$): $\Theta: C\text{--Contra} \to C^*\text{--Mod}$. Este funtor esquece a estrutura de contramódulo, tratando o objeto apenas como um módulo sobre $C^*$. Diferentemente de $\Upsilon$, $\Theta$ não é geralmente plenamente fiel.

O problema central é determinar sob quais condições esses funtores induzem equivalências ou mergulhos plenamente fiéis nas categorias derivadas, e como essas condições se relacionam com a dimensão dos espaços de cohomologia $\text{Ext}^n_C(k, k)$.

2. Metodologia e Estrutura Teórica

O autor trabalha sob a hipótese de que $C$ é uma coalgebra conilpotente (também chamada de "ponta irredutível" na literatura clássica). A metodologia envolve:

• Resoluções Mínimas: Construção de resoluções injetivas mínimas para comódulos e resoluções projetivas mínimas para contramódulos, utilizando a filtragem natural induzida pela coaugmentação $\gamma: k \to C$.
• Comparação de Ext: Análise detalhada dos mapas induzidos entre os espaços $\text{Ext}^n_C(L, M)$ e $\text{Ext}^n_{C^*}(\Phi(L), \Phi(M))$, onde $\Phi$ é $\Upsilon$ ou $\Theta$.
• Dualidade e Contramódulos: Uso da dualidade entre comódulos e contramódulos, explorando a relação entre $\text{Ext}_C(k, k)$ e $\text{Ext}_{C^*}(k, k)$. O autor demonstra que a dimensão finita de $\text{Ext}^n_C(k, k)$ é a chave para a fidelidade plena dos funtores derivados.
• Técnicas de Filtragem: Utilização de filtragens decrescentes em contramódulos e crescentes em comódulos para reduzir problemas globais a casos de módulos triviais (espaços vetoriais com estrutura trivial).
• Álgebra Comutativa Local: No caso de coalgebras cocomutativas, o autor utiliza a estrutura de anéis locais de Noether completos para conectar a teoria de coalgebras com a teoria de módulos sobre anéis de séries formais.

3. Definição Chave: Coalgebras "Weakly Finitely Koszul"

O artigo introduz uma nova terminologia para classificar coalgebras comilpotentes:
Uma coalgebra conilpotente $C$ é chamada de "weakly finitely Koszul" (fracamente finitamente Koszul) se o espaço vetorial $\text{Ext}^n_C(k, k)$ for de dimensão finita para todo $n \ge 0$.

Esta condição é mais fraca do que a condição de ser uma coalgebra Koszul clássica (que exige que a álgebra de Ext seja gerada em grau 1), mas é suficiente para garantir as propriedades homológicas desejadas.

4. Resultados Principais

Teorema 1.1 (Equivalência de Condições):
Para uma coalgebra conilpotente $C$ e um inteiro $n \ge 1$, as seguintes condições são equivalentes:

1. O funtor de inclusão $\Upsilon$ induz isomorfismos em $\text{Ext}^i_C(L, M) \to \text{Ext}^i_{C^*}(L, M)$ para todos os comódulos $L, M$ e $1 \le i \le n$.
2. O funtor de esquecimento $\Theta$ induz isomorfismos em $\text{Ext}^i_C(P, Q) \to \text{Ext}^i_{C^*}(P, Q)$ para todos os contramódulos $P$ e contramódulos separados $Q$ (e para $P, Q$ arbitrários em graus menores), no intervalo $0 \le i \le n-1$.
3. O espaço vetorial $\text{Ext}^i_C(k, k)$ é de dimensão finita para todo $1 \le i \le n$.

Teorema 1.2 (Plena Fidelidade nas Categorias Derivadas):
O autor prova que as oito condições listadas abaixo são equivalentes para uma coalgebra conilpotente $C$:

• O funtor derivado limitado inferiormente $\Upsilon^+: D^+(C\text{--Comod}) \to D^+(C^*\text{--Mod})$ é plenamente fiel.
• O funtor derivado limitado superiormente $\Theta^-: D^-(C\text{--Contra}) \to D^-(C^*\text{--Mod})$ é plenamente fiel.
• $\text{Ext}^n_C(k, k)$ é de dimensão finita para todo $n \ge 0$ (ou seja, $C$ é "weakly finitely Koszul").

Observação sobre o Deslocamento de Dimensão:
Um dos resultados mais sutis é o "deslocamento" na dimensão cohomológica. Se $\text{Ext}^n_C(k, k)$ é infinito, o mapa induzido por $\Upsilon$ em grau $n$ é injetivo, mas não sobrejetivo (o espaço em $C^*$ é o duplo dual do espaço em $C$). Por outro lado, para contramódulos, o mapa em grau $n$ deixa de ser injetivo, e em grau $n-1$ deixa de ser sobrejetivo.

Caso Cocomutativo:
Para coalgebras conilpotentes cocomutativas que são finitamente cogeneradas, o autor demonstra que elas são automaticamente "weakly finitely Koszul". Nesse caso, a álgebra dual $C^*$ é um anel local de Noether completo. O artigo prova que, neste cenário específico, os funtores derivados não limitados (unbounded) $\Upsilon^\emptyset$ e $\Theta^\emptyset$ também são plenamente fiéis, estendendo resultados anteriores que eram válidos apenas para categorias limitadas.

5. Contribuições e Significado

1. Unificação de Comódulos e Contramódulos: O trabalho estabelece uma ponte rigorosa entre o comportamento homológico de comódulos e contramódulos, mostrando que a condição de dimensão finita de $\text{Ext}^n_C(k, k)$ é o critério unificador para a plena fidelidade de ambos os funtores derivados.
2. Generalização de Resultados Clássicos: O artigo generaliza resultados conhecidos sobre coalgebras finitamente cogeneradas e álgebras Koszul, introduzindo a classe mais ampla de "weakly finitely Koszul".
3. Resolução de Questões Abertas: O autor esclarece a relação entre a fidelidade plena nas categorias derivadas limitadas e não limitadas, provando que, para coalgebras cocomutativas finitamente cogeneradas, a plena fidelidade se estende às categorias derivadas não limitadas, algo que não era garantido no caso geral não-comutativo.
4. Ferramentas para Álgebra Homológica: O artigo fornece lemas técnicos robustos (no Apêndice) sobre o cálculo de Ext e Tor usando resoluções que são apenas "inicialmente" projetivas/injetivas, ferramentas que são úteis além do escopo específico deste artigo.

Conclusão:
O artigo de Positselski é uma contribuição fundamental para a teoria de coalgebras e contramódulos. Ele demonstra que a finitude da dimensão dos espaços de cohomologia $\text{Ext}^n_C(k, k)$ é a propriedade chave que garante que a passagem da categoria de comódulos/contramódulos para a categoria de módulos sobre a álgebra dual preserve a estrutura homológica em nível derivado. Isso tem implicações profundas para a compreensão da dualidade de Koszul generalizada e para a teoria de representações de álgebras e coalgebras.