Faithful perversities

1. Enunciato del Problema e Contesto

L'articolo indaga la relazione tra la struttura algebrica delle categorie di fasci perversi e le proprietà topologiche degli spazi stratificati sottostanti.

• Contesto: I fasci perversi, introdotti da Beilinson, Bernstein e Deligne (BBD), costituiscono il cuore di una struttura $t$ limitata sulla categoria derivata costruttibile $D_c(X)$ di uno spazio stratificato $X$. Svolgono un ruolo cruciale nella topologia singolare, nella teoria delle rappresentazioni e nella teoria di Hodge.
• La Domanda Centrale: In quali condizioni la categoria dei fasci perversi, indicata con $p\text{Perv}(X)$, è un cuore fedele?
  • Un cuore $\mathcal{H} \subset \mathcal{D}$ è fedele se il funtore di realizzazione $D^b(\mathcal{H}) \to \mathcal{D}$ è un'equivalenza.
  • Significato: Se $p\text{Perv}(X)$ è fedele, l'informazione topologica contenuta nella categoria derivata $D_c(X)$ è pienamente accessibile attraverso l'algebra della categoria abeliana $p\text{Perv}(X)$ (specificamente, come moduli su un'algebra di dimensione finita). Ciò permette di calcolare invarianti topologici algebricamente e viceversa.
• Lacuna: Sebbene la fedeltà sia nota in casi specifici (ad esempio, complessi simpliciali, varietà complesse lisce con stratificazioni affini), mancava una caratterizzazione generale per gli spazi stratificati topologicamente e una comprensione sistematica della dimensione globale e dei calmi coomologici.

2. Metodologia

Gli autori impiegano una sintesi di algebra categoriale e topologia stratificata:

1. Quadro Categorico:

   • Utilizzano la teoria delle categorie di peso massimo e delle collezioni eccezionali.
   • Introducono la nozione di cuori fedeli seriali, definiti tramite una filtrazione spessa ammissibile in cui ogni passo è un cuore fedele.
   • Sfruttano il concetto di cuori incollati (recollement) e coppie duali di collezioni eccezionali (oggetti standard e costandard).
   • Si basano sull'equivalenza tra la categoria derivata costruttibile e la categoria derivata dei moduli su un'algebra di dimensione finita quando il cuore è fedele.

2. Strumenti Topologici:

   • Analizzano spazi stratificati topologicamente (nel senso di Goresky-MacPherson) con un numero finito di strati.
   • Utilizzano i link a coppie ($L_{S<T}$) tra gli strati per caratterizzare gli ostacoli topologici locali.
   • Applicano teoremi di annullamento dell'ipercoomologia e induzione sulla profondità della stratificazione.

3. Sintesi:

   • Gli autori traducono condizioni topologiche (annullamento della coomologia sui link) in condizioni categoriali (esattezza dei funtori, collezioni eccezionali) per caratterizzare la fedeltà.
   • Utilizzano risoluzioni proiettive del fascio costante per calcolare l'ipercoomologia, colmando il divario tra risoluzioni algebriche e invarianti topologici.

3. Contributi e Risultati Chiave

A. Caratterizzazione dei Cuori di Peso Massimo Fedeli (Teorema A)

L'articolo stabilisce un'equivalenza fondamentale per le categorie triangolate algebriche $\mathcal{D}$. Per un cuore $\mathcal{H} \subset \mathcal{D}$, le seguenti affermazioni sono equivalenti:

1. $\mathcal{H}$ è fedele e di peso massimo.
2. La sequenza di oggetti standard $(\Delta_0, \dots, \Delta_n)$ forma una collezione eccezionale piena, e la sequenza di oggetti costandard $(\nabla_n, \dots, \nabla_0)$ è la sua coppia duale sinistra.
3. $\mathcal{H}$ contiene una coppia duale di collezioni eccezionali piene.
4. $\mathcal{H}$ è fedele seriale e incollato lungo una collezione eccezionale.

Significato: Ciò fornisce un criterio puramente algebrico per la fedeltà nel contesto dei fasci perversi, collegandolo direttamente all'esistenza di specifiche collezioni eccezionali.

B. Caratterizzazione Topologica dei Fasci Perversi Fedeli (Teorema B)

Per uno spazio stratificato topologicamente $X$ con un numero finito di strati contrattili, la categoria $p\text{Perv}(X)$ è un cuore di peso massimo fedele se e solo se:

1. I funtori $i_{S*}$ e $i_{S!}$ (inclusione di uno strato) sono $t$-esatti.
2. Annullamento Cohomologico: Per ogni coppia di strati distinti $S \subset T$, il link a coppie $L_{S<T}$ soddisfa:
   $$H^{>p(S)-p(T)}(L_{S<T}) = 0 \quad \text{e} \quad H^{<p(S)-p(T)-1}_c(L_{S<T}) = 0$$
   dove $p$ è la funzione di perversità.

Significato: Ciò fornisce un test topologico concreto per la fedeltà. Generalizza risultati precedenti (ad esempio, di Polischuk e Beilinson-Ginzburg-Soergel) e chiarisce che la fedeltà dipende dall'annullamento di specifici gruppi di coomologia dei link tra gli strati.

C. Limiti sulla Dimensione Globale (Teorema C)

Gli autori dimostrano limiti sulla dimensione globale ($\text{gldim}$) della categoria dei fasci perversi:

• Limite Generale: Per ogni $E, F \in p\text{Perv}(X)$, $\text{Ext}^k_{D_c(X)}(E, F) = 0$ se $k < 0$ o $k > \dim(X)$.
• Caso Fedele: Se $p\text{Perv}(X)$ è fedele, allora $\text{gldim}(p\text{Perv}(X)) \leq \dim(X)$.
• Caso Fedele di Peso Massimo: Se $p\text{Perv}(X)$ è fedele e di peso massimo, allora $\text{gldim}(p\text{Perv}(X)) \leq 2 \cdot \text{depth}(X)$.

Significato: Ciò risolve la questione della finitezza della dimensione globale per le categorie perversi fedeli e fornisce limiti espliciti legati alla geometria dello spazio.

D. Calcolo dell'Ipercoomologia tramite Risoluzioni Proiettive (Teorema D)

Assumendo che $p\text{Perv}(X)$ sia fedele e che gli strati abbiano gruppi fondamentali finiti:

1. Ipercoomologia dalle Risoluzioni: L'ipercoomologia di un fascio perverso $E$ può essere calcolata come la coomologia del complesso $\text{Hom}(P_\bullet, E)$, dove $P_\bullet$ è una risoluzione proiettiva del fascio costante $k_X$.
2. Molteplicità come Numeri di Betti d'Intersezione: Se il fascio costante (spostato) è perverso, le molteplicità dei proiettivi indecomponibili nella sua risoluzione proiettiva minima corrispondono ai numeri di Betti d'intersezione (gruppi di coomologia d'intersezione).
3. Caso Simpliciale: Per un complesso simpliciale $X$, il fascio costante ammette una risoluzione proiettiva finita indicizzata dalla dimensione perversa dei simplessi. Ciò recupera la teoria dei fasci perversi cellulari (Goresky), fornendo un metodo combinatorio per calcolare l'ipercoomologia.

4. Significato e Impatto

1. Unificazione di Algebra e Topologia: L'articolo dimostra rigorosamente che, quando un cuore perverso è fedele, i complessi dati topologici di uno spazio stratificato sono codificati interamente nella teoria delle rappresentazioni di un'algebra di dimensione finita.
2. Potere Computazionale: I risultati forniscono un algoritmo pratico per calcolare l'ipercoomologia e la coomologia d'intersezione utilizzando risoluzioni proiettive, che sono spesso più facili da gestire algebricamente rispetto ai complessi topologici.
3. Generalizzazione: La caratterizzazione della fedeltà tramite la coomologia dei link a coppie estende risultati noti da contesti geometrici specifici (come le varietà algebriche complesse) agli spazi stratificati topologicamente generali.
4. Controesempi e Sfumature: Gli autori forniscono esempi che mostrano che non tutti i cuori incollati fedeli sono di peso massimo, e non tutti i cuori di peso massimo sono fedeli, chiarendo i confini precisi di questi concetti.
5. Fondamentale per il Lavoro Futuro: L'identificazione dei cuori perversi fedeli con cuori incollati fedeli seriali apre la porta all'applicazione di tecniche dalla teoria del tilting e dagli oggetti silting (tramite la corrispondenza König-Yang) allo studio dei fasci perversi su spazi stratificati.

In sintesi, Cipriani e Woolf forniscono una teoria strutturale completa per i fasci perversi fedeli, stabilendo criteri topologici precisi per la loro esistenza, delimitando la loro complessità omologica e offrendo nuovi metodi algebrici per il calcolo degli invarianti topologici.