Unifying Koszul dualities via point-set models

1. Il Problema

Il lavoro affronta una lacuna fondamentale nella teoria dell'omologia differenziale e dell'algebra omotopica: la mancanza di un confronto diretto e rigoroso tra le costruzioni classiche di dualità di Koszul (a livello di catene, o "point-set") e le loro controparti moderne nella teoria delle $\infty$-categorie.

In particolare, il paper si concentra sull'aggiunzione bar-cobar (bar-cocobo), un pilastro dell'algebra omotopica che collega algebre e coalgebre.

• Il contesto classico: L'aggiunzione bar-cobar tradizionale (Cartan, Eilenberg, Moore) opera tra algebre dg (differenziali graduate) e coalgebre dg conilpotenti. Tuttavia, questa costruzione presenta limitazioni tecniche, come la necessità di condizioni di conilpotenza e il fatto che il funtore cobar classico non preservi sempre le quasi-isomorfie.
• Il contesto $\infty$-categorico: Recentemente, autori come Lurie, Francis-Gaitsgory e Heuts hanno sviluppato versioni $\infty$-categoriche di questa dualità. Tuttavia, esiste una discrepanza:
  1. I funtori bar/cobar di Lurie hanno una "mano" opposta rispetto a quelli classici (Lurie usa un bar sinistro, quello classico è destro).
  2. Non c'è compatibilità diretta: le costruzioni a livello di catene non sembrano presentare fedelmente le strutture $\infty$-categoriche, specialmente per quanto riguarda le coalgebre non conilpotenti e le strutture con poteri divisi.
  3. Manca una descrizione esplicita a livello di catene (point-set) per le aggiunte $\infty$-categoriche di Lurie e Heuts.

L'obiettivo è colmare questo divario, fornendo modelli point-set che presentino correttamente le dualità $\infty$-categoriche e spiegando esattamente come le costruzioni classiche si relazionano a quelle moderne.

2. Metodologia

Gli autori adottano un approccio ibrido che combina:

• Modelli Point-Set (dg): Utilizzano la teoria delle algebre e coalgebre differenziali graduate su un campo $k$, lavorando con operad e cooperad dg.
• Teoria delle $\infty$-categorie: Utilizzano il formalismo delle sequenze simmetriche arricchite in $D(k)$ (la categoria derivata di $k$) per definire algebre e coalgebre $\infty$-categoriche.
• Struttura di Modelli: Costruiscono strutture di modello di Quillen su categorie di algebre e coalgebre, permettendo di trasferire le proprietà omotopiche e di definire funtori derivati.

La metodologia chiave consiste nella costruzione di un quadrato commutativo di aggiunte (chiamato "inclusion-restriction square") che intreccia:

1. L'aggiunzione bar-cobar classica (operadica).
2. La sua versione "completa" (dualizzata), che coinvolge algebre assolute (algebre su un cooperad, dove le somme infinite sono ben definite) e coalgebre non necessariamente conilpotenti.

3. Contributi Chiave e Risultati Principali

A. Il Quadrato di Inclusione-Ristrazione (Inclusion-Restriction Square)

Il risultato centrale è la costruzione di un diagramma commutativo di aggiunte di Quillen che collega quattro categorie:

• Algebre dg ($P$-alg)
• Coalgebre dg conilpotenti ($B\pi$-coalg)
• Algebre dg assolute/completate ($P^*$-alg$^{comp}$)
• Coalgebre dg non conilpotenti ($\Omega P^*$-coalg)

Questo quadrato unifica due versioni della dualità di Koszul:

1. L'aggiunzione classica $B \dashv \Omega$ (tra algebre e coalgebre conilpotenti).
2. L'aggiunzione completa $bB \dashv b\Omega$ (tra coalgebre non conilpotenti e algebre assolute).

I funtori verticali sono:

• Inc (Inclusione): Include le coalgebre conilpotenti in quelle generali.
• Sub (Sottocategoria massima): Prende la massima sottocategoria conilpotente di una coalgebra generale.
• Res (Ristrazione): Ristretta le strutture delle algebre assolute (somme infinite) a somme finite, ottenendo algebre classiche.
• cAbs (Completamento assoluto): Il funtore aggiunto sinistro che completa un'algebra classica in un'algebra assoluta.

B. Presentazione Point-Set delle Aggiunte $\infty$-categoriche

Gli autori dimostrano che l'aggiunzione $\infty$-categorica tra algebre e le loro duali di Koszul (come definita da Lurie e Heuts) può essere presentata esplicitamente come la composizione di funtori di Quillen derivati all'interno del quadrato sopra descritto.

• Il funtore bar $\infty$-categorico è presentato come la composizione: Inclusione $\circ$ Bar Classico.
• Il funtore cobar $\infty$-categorico è presentato come la composizione: Ristrazione $\circ$ Cobar Completo.

Questo risolve il problema della "mano opposta": la differenza tra l'aggiunzione classica e quella $\infty$-categorica è spiegata dal fatto che il funtore cobar classico non preserva le quasi-isomorfie, mentre il suo completato ($b\Omega$) sì. L'aggiunzione $\infty$-categorica è essenzialmente l'aggiunzione tra il completamento derivato e la massima sottocategoria conilpotente derivata.

C. Unità e Counità Derivate

Il paper fornisce una descrizione precisa dell'unità e della counità dell'aggiunzione $\infty$-categorica:

• L'unità è il funtore di completamento derivato.
• La counità è il funtore derivato di estrazione della massima sottocategoria conilpotente.
  Ciò implica che l'aggiunzione è un'equivalenza di $\infty$-categorie se e solo se si restringe agli oggetti omoticamente completi (algebre) e omoticamente co-completi (coalgebre).

D. Dualità dell'aggiunta bar-cobar potenziata (Enhanced)

Il paper introduce una versione duale dell'aggiunta "enhanced" di Francis-Gaitsgory. Mentre l'aggiunta classica di Francis-Gaitsgory collega algebre a coalgebre conilpotenti su un cooperad bar, gli autori costruiscono un'aggiunta duale che collega coalgebre su un operad ad algebre su un cooperad duale (algebre assolute).
Dimostrano che questa nuova costruzione ammette modelli point-set e che, in combinazione con il quadrato di inclusione-ristrazione, permette di unificare le diverse nozioni di dualità di Koszul presenti in letteratura.

E. Controesempi e Limiti

Gli autori forniscono controesempi significativi che mostrano come certe aspettative intuitive siano false:

• L'aggiunzione tra coalgebre conilpotenti point-set e coalgebre $\infty$-categoriche non è in generale un'equivalenza (mancanza di rettificazione).
• Esistono operad che non hanno "buone completazioni" (es. l'operad che codifica le algebre $L_\infty$ su spazi vettoriali infiniti), il che impedisce l'equivalenza tra algebre omotopicamente complete e algebre assolute.

4. Significato e Impatto

Questo lavoro è fondamentale per l'algebra omotopica moderna per diversi motivi:

1. Unificazione: Fornisce il primo quadro unificato che collega esplicitamente le costruzioni classiche di Cartan-Eilenberg-Moore con le teorie $\infty$-categoriche di Lurie, Francis-Gaitsgory e Heuts.
2. Modelli Espliciti: Offre modelli point-set concreti (a livello di catene) per costruzioni che erano finora definite solo in termini astratti di $\infty$-categorie, rendendo i calcoli e le verifiche più accessibili.
3. Chiarezza Concettuale: Spiega perché le costruzioni classiche falliscono nel presentare le strutture $\infty$-categoriche (mancanza di completezza, problemi di conilpotenza) e come correggerle tramite completamento e restrizione.
4. Generalizzazione: I risultati si applicano non solo al caso associativo ($E_1$), ma a qualsiasi operad ridotto $P$, generalizzando i risultati di Lurie e Ayala-Francis per le algebre $E_n$.
5. Risoluzione di Congetture: Conferma e generalizza risultati parziali precedenti (come quelli di Heuts) e fornisce controesempi che chiariscono i limiti della rettificazione delle coalgebre conilpotenti.

In sintesi, il paper dimostra che la dualità di Koszul $\infty$-categorica non è una nuova entità misteriosa, ma emerge naturalmente dalla teoria classica una volta che si applicano correttamente i funtori di completamento e si lavora all'interno di un quadro di modelli di Quillen appropriato.