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

1. Il Problema e il Contesto

Il paper si inserisce nello studio dell'algebra omologica delle coalgebre su un campo $k$. Il problema centrale riguarda il confronto tra le categorie di:

• Comoduli ($C\text{--Comod}$): oggetti naturali associati a una coalgebra $C$.
• Contramoduli ($C\text{--Contra}$): una categoria duale, meno familiare ma fondamentale, introdotta da Eilenberg e Moore e sviluppata ulteriormente da Positselski.
• Moduli sull'algebra duale ($C^*\text{--Mod}$): dove $C^*$ è l'algebra duale di $C$.

Esistono due funtori naturali:

1. $\Upsilon: C\text{--Comod} \to C^*\text{--Mod}$ (funtore di inclusione). È noto che questo funtore è esatto e fedelmente pieno (fully faithful) a livello di categorie abeliane. Tuttavia, la sua immagine essenziale non è sempre chiusa per estensioni.
2. $\Theta: C\text{--Contra} \to C^*\text{--Mod}$ (funtore di dimenticanza). Questo funtore non è generalmente fedelmente pieno.

La domanda cruciale è: quando questi funtori inducono equivalenze o inclusioni fedelmente piene a livello di categorie derivate? In particolare, quando le mappe indotte sugli spazi Ext, $\text{Ext}^i_C(L, M) \to \text{Ext}^i_{C^*}(L, M)$, sono isomorfismi?

Il lavoro si concentra su coalgebre conilpotenti (chiamate "irriducibili puntate" in letteratura precedente).

2. Metodologia

L'autore utilizza un approccio basato sull'algebra omologica classica e sulla teoria delle categorie derivate, con un'attenzione specifica alle risoluzioni minime e alle proprietà di finitezza.

• Risoluzioni Minime: Vengono costruite risoluzioni iniettive minime per i comoduli e risoluzioni proiettive minime per i contramoduli, sfruttando la struttura conilpotente della coalgebra $C$.
• Filtri e Dualità: Si analizzano le filtrazioni naturali sui comoduli e sui contramoduli indotte dalla coalgebra. Viene sfruttata la dualità tra comoduli e contramoduli, in particolare attraverso il funtore di dualità vettoriale $N \mapsto N^*$.
• Confronto degli spazi Ext: Il cuore della dimostrazione consiste nel calcolare gli spazi $\text{Ext}^i_C(k, k)$ (dove $k$ è il campo visto come comodulo/contramodulo banale) e confrontarli con $\text{Ext}^i_{C^*}(k, k)$.
• Condizioni di Finitezza: L'analisi si basa sulla dimensione finita degli spazi vettoriali $\text{Ext}^n_C(k, k)$.
• Categorie Derivate: Si utilizzano risultati sulla fedeltà piena dei funtori indotti tra categorie derivate limitate (superiori/inferiori) basandosi sull'esistenza di oggetti sufficientemente proiettivi/iniettivi e sull'annullamento dei funtori derivati superiori degli adjunti.

3. Contributi Chiave e Risultati Principali

Definizione di "Weakly Finitely Koszul"

L'autore introduce una nuova classe di coalgebre. Una coalgebra conilpotente $C$ è detta weakly finitely Koszul se lo spazio vettoriale $\text{Ext}^n_C(k, k)$ è di dimensione finita per ogni $n \ge 0$.

Teorema di Equivalenza (Teorema 1.1)

Il risultato principale stabilisce l'equivalenza di cinque condizioni per una coalgebra conilpotente $C$ e un intero $n \ge 1$:

1. Il funtore di inclusione $\Upsilon$ induce un isomorfismo $\text{Ext}^i_C(L, M) \cong \text{Ext}^i_{C^*}(L, M)$ per tutti i comoduli $L, M$ e $1 \le i \le n$.
2. La stessa proprietà vale per i comoduli a destra.
3. Il funtore di dimenticanza $\Theta$ induce un isomorfismo $\text{Ext}^i_{C}(P, Q) \cong \text{Ext}^i_{C^*}(P, Q)$ per tutti i contramoduli $P$ e contramoduli separati $Q$ (e per $i \le n-2$ per tutti i $Q$) e $0 \le i \le n-1$.
4. Lo spazio vettoriale $\text{Ext}^i_C(k, k)$ è di dimensione finita per tutti $1 \le i \le n$.
5. La stessa condizione di finitezza vale per i contramoduli.

Nota cruciale: C'è uno "shift" coomologico tra comoduli e contramoduli. Se la prima dimensione infinita si verifica in grado $n$, allora per i comoduli la mappa è iniettiva ma non suriettiva in grado $n$, mentre per i contramoduli la mappa non è iniettiva in grado $n$ (ma è suriettiva), e non è suriettiva in grado $n-1$.

Teorema sulla Fedeltà Piena nelle Categorie Derivate (Teorema 1.2)

Sotto le condizioni equivalenti sopra (in particolare, se $C$ è weakly finitely Koszul), si ottiene che:

• Il funtore triangolare indotto $\Upsilon^+: D^+(C\text{--Comod}) \to D^+(C^*\text{--Mod})$ è fedelmente pieno.
• Il funtore triangolare indotto $\Theta^-: D^-(C\text{--Contra}) \to D^-(C^*\text{--Mod})$ è fedelmente pieno.

Questo risolve il problema per le categorie derivate limitate (inferiormente per i comoduli, superiormente per i contramoduli).

Risultati Specifici su Classi di Coalgebre

• Coalgebre Artiniane e Co-Noetheriane: Qualsiasi coalgebra conilpotente che sia co-Noetheriana (o Artiniana) è weakly finitely Koszul.
• Coalgebre Cocommutative: Tutte le coalgebre conilpotenti cocommutative finitamente cogenerate sono weakly finitely Koszul. In questo caso, l'algebra duale $C^*$ è un anello locale noetheriano completo.
• Estensione alle Categorie Derivate Illimitate: Per le coalgebre conilpotenti cocommutative finitamente cogenerate, l'autore dimostra (usando risultati di [25]) che anche i funtori tra le categorie derivate illimitate $D(C\text{--Comod}) \to D(C^*\text{--Mod})$ e $D(C\text{--Contra}) \to D(C^*\text{--Mod})$ sono fedelmente pieni. Questo è un risultato forte, poiché in generale le categorie derivate illimitate comportano problemi di convergenza che non si presentano nelle versioni limitate.

4. Significato e Implicazioni

1. Unificazione di Comoduli e Contramoduli: Il lavoro fornisce un quadro unificato che collega le proprietà omologiche dei comoduli e dei contramoduli attraverso la dimensione finita degli spazi Ext. Mostra che la "buona" omologia (finitezza) è una proprietà simmetrica che garantisce il buon comportamento di entrambi i funtori di inclusione/dimenticanza.
2. Generalizzazione della Teoria Koszul: Il termine "weakly finitely Koszul" generalizza la nozione classica di algebra Koszul. Mentre per le algebre Koszul gli spazi Ext sono finiti e generati in grado 1, qui si richiede solo la finitezza dimensionale, permettendo di trattare coalgebre non graduate o con relazioni di grado superiore.
3. Strumenti per la Dualità: Il paper chiarisce la relazione tra la categoria dei comoduli, quella dei contramoduli e quella dei moduli sull'algebra duale, fornendo criteri precisi per quando queste categorie possono essere studiate indistintamente a livello derivato.
4. Applicazioni alla Teoria delle Rappresentazioni: I risultati sono rilevanti per lo studio delle rappresentazioni di gruppi algebrici, algebre di Hopf e strutture quantistiche, dove le coalgebre conilpotenti appaiono naturalmente (ad esempio, come coalgebre di coalgebra di un gruppo).
5. Risoluzione di Questioni Aperte: Conferma la fedeltà piena per le categorie derivate illimitate nel caso cocommutativo, un caso che era stato trattato in letteratura precedente ma che qui viene inserito in un contesto più generale e sistematico.

In sintesi, il paper stabilisce che la finitezza dimensionale degli spazi Ext è la condizione necessaria e sufficiente affinché l'inclusione dei comoduli e la dimenticanza dei contramoduli preservino la struttura omologica completa (a livello di categorie derivate limitate) rispetto all'algebra duale.