Indecomposable extensions of perverse sheaves over a closed stratum

Sintesi Tecnica: Estensioni Indecomponibili di Fasci Perversi su uno Strato Chiuso

Enunciato del Problema
Il saggio affronta la classificazione dei fasci perversi indecomponibili su uno spazio topologicamente stratificato $X$. Sebbene la categoria dei fasci perversi, $p\text{Perv}(X)$, sia nota per essere Krull–Schmidt (decomponibile in somme dirette finite di oggetti indecomponibili) sotto certe condizioni, una classificazione strutturale generale di questi oggetti indecomponibili rimane difficile. Nello specifico, il problema risiede nel comprendere come i fasci perversi definiti sul complemento aperto $U = X \setminus S$ di uno strato chiuso $S$ possano essere estesi all'intero spazio $X$. Il lavoro precedente di MacPherson e Vilonen [MV86] ha fornito un quadro per tali estensioni sotto ipotesi omotopiche restrittive ($\pi_1(S) = \pi_2(S) = 0$) e per una specifica perversità (la perversità centrale). L'obiettivo di questo lavoro è generalizzare tale teoria delle estensioni a perversità arbitrarie e a spazi stratificati più generali, sostituendo i vincoli omotopici con vincoli categorici.

Metodologia
L'autore sviluppa un quadro categorico per le estensioni di un dato fascio perverso $F \in p\text{Perv}(U)$ su uno strato chiuso $S \subset X$. La metodologia si basa sui seguenti componenti strutturali:

1. Assunzioni Categoriche: Il saggio sostituisce le assunzioni omotopiche di [MV86] con l'assunzione che la categoria dei sistemi locali sullo strato chiuso $S$, indicata con $\text{Loc}(S)$, sia semisimpliciale. Questa condizione è soddisfatta, ad esempio, quando $S$ ha un gruppo fondamentale finito e la caratteristica del campo dei coefficienti non divide l'ordine del gruppo.
2. Functori di Proiezione: Due functor additivi, $P_!$ e $P_*$, sono definiti su $p\text{Perv}(X)$ come le immagini dei morfismi naturali $p\jmath_! p\jmath^* \to \text{id}$ e $\text{id} \to p\jmath_* p\jmath^*$, rispettivamente. Questi functor isolano la "parte" di un fascio perverso supportata sul complemento $U$.
3. Estensioni $S$-piccole: L'autore introduce la nozione di estensione $S$-piccola, definita come un oggetto $E \in p\text{Perv}(X)$ nel nucleo del functor di restrizione intermedia $p\iota_{!*}$. Queste sono caratterizzate come estensioni che non possiedono sommandi diretti supportati su $S$.
4. Coppie di Estensione: Viene introdotta una nuova categoria ausiliaria, $\text{EP}(X \setminus S)$. I suoi oggetti sono coppie $(A, B)$ di fasci perversi su $X$ che estendono $F$, dove $A$ non ha un quoziente supportato su $S$ e $B$ non ha un sottogruppo supportato su $S$, soggette a una condizione di annullamento su un prodotto specifico di classi di estensione nella categoria derivata.

Contributi Chiave e Risultati

• Equivalenza di Categorie (Teorema A & B): Il risultato primario stabilisce una biiezione, e successivamente un'equivalenza di categorie additive, tra la categoria delle estensioni $S$-piccole di $F$ (denotata $\text{SES}(F)$) e la categoria delle coppie di estensione rispetto a $F$ (denotata $\text{EP}(X \setminus S)$).

  • La corrispondenza è data dall'assegnazione $E \mapsto (P_!E, P_*E)$.
  • La costruzione inversa utilizza l'assioma ottaedrico nella categoria derivata costruttibile per costruire un'estensione da una coppia $(A, B)$, facendo affidamento sull'annullamento di una specifica classe $\text{Ext}^2$ derivata dal prodotto di due classi $\text{Ext}^1$.
  • Questa equivalenza sussiste sotto la sola assunzione che $\text{Loc}(S)$ sia semisimpliciale, eliminando la necessità di $\pi_2(S)=0$ o di specifiche scelte di perversità.

• Functor di Estensione Massima (Definizione 3.18): Il saggio definisce un functor di estensione massima generalizzato, $p\Xi$, che mappa un fascio perverso $F$ su $U$ a una specifica estensione $S$-piccola su $X$. Questo generalizza l'estensione massima di Beilinson (originariamente definita per varietà algebriche con perversità centrale) a arbitrari spazi topologicamente stratificati e perversità, a patto che $\text{Loc}(S)$ sia semisimpliciale.

• Classificazione degli Indecomponibili (Teorema C): Il saggio fornisce una classificazione strutturale di tutti i fasci perversi indecomponibili su $X$. Ogni oggetto indecomponibile è:

  1. Un'estensione per zero di un sistema locale indecomponibile sullo strato chiuso $S$; oppure
  2. Un'estensione $S$-piccola derivante da una coppia di estensione $(A, B)$ dove il morfismo canonico $A \to B$ è indecomponibile (non può essere scritto come somma diretta di morfismi).

Significato e Rivendicazioni
Il saggio sostiene di estendere la descrizione di MacPherson–Vilonen dei fasci perversi a un contesto strettamente più generale. Spostando l'attenzione dai vincoli topologici sullo strato (annullamento di $\pi_1$ e $\pi_2$) alla proprietà algebrica della semisimplicità dei sistemi locali, il quadro si applica a una classe più ampia di spazi stratificati e perversità arbitrarie.

Il lavoro offre un "risultato di riduzione" per il problema della classificazione: esso riduce lo studio degli indecomponibili perversi su $X$ allo studio di:

1. Sistemi locali indecomponibili sugli strati.
2. Coppie di estensione di fasci perversi sul complemento, soggetti a una condizione di non-scissione sul loro morfismo canonico.

L'autore osserva che, sebbene i risultati generalizzino la costruzione di Beilinson e il teorema di MacPherson–Vilonen, il quadro non assume che $p\text{Perv}(X)$ sia equivalente a una categoria di moduli su un'algebra a dimensione finita, né richiede che la proprietà di Krull–Schmidt valga globalmente, basandosi solo sulla semisimplicità dei sistemi locali sullo specifico strato chiuso $S$. Il saggio conclude con esempi (inclusi $\mathbb{CP}^1$, $S^1$, e $\mathbb{CP}^2$) che illustrano come la classificazione funzioni in specifici scenari a due strati, inclusi casi in cui l'estensione massima non è unica o in cui le condizioni standard per le coppie di estensione falliscono.