The derived moduli of perverse sheaves

Sintesi Tecnica: Il Moduli Derivato dei Fogli Perversi

Enunciato del Problema
Il saggio affronta la costruzione di spazi moduli per fogli perversi su varietà algebriche complesse e varietà analitiche reali compatte. Mentre i classici varietà di carattere (che parametrizzano le rappresentazioni dei gruppi fondamentali) e le loro generalizzazioni stacky sono ben compresi, estendere queste costruzioni di moduli al dominio dei fogli costruttibili e perversi presenta sfide significative.

Gli approcci precedenti, come quelli di Gelfand, MacPherson e Vilonen [GMV96], si basano sulla rappresentazione dei fogli perversi come rappresentazioni di un particolare quiver con relazioni $Q(X, P)$. Questo metodo soffre di due limitazioni primarie:

1. Scarsa Funzorialità: Il quiver $Q(X, P)$ dipende da scelte ausiliarie (ad esempio, embedding proiettivi), rendendo difficile controllare la dipendenza dello spazio modulo rispetto alla varietà stratificata sottostante $(X, P)$ o variare la stratificazione stessa.
2. Assenza di una Struttura Derivata Canonica: I metodi standard per costruire i potenziamenti derivati degli spazi moduli (tramite il cuore di una $t$-struttura su una $\infty$-categoria stabile di tipo finito) falliscono qui. La categoria derivata delle rappresentazioni di $Q(X, P)$ non è generalmente di tipo finito (ad esempio, può avere dimensione omologica infinita) e, anche quando lo è, la struttura derivata risultante non corrisponde a quella geometricamente attesa, sensibile alla coomologia della stratificazione.

Metodologia
Gli autori impiegano una sintesi di alto livello tra teoria dell'omotopia stratificata e la teoria dei moduli di oggetti in $\infty$-categorie stabili.

1. La Teoria dell'Otomotopia Stratificata come Scatola Nera: Il saggio utilizza il framework degli spazi stratificati exodromici sviluppato in [HPT26]. Invece di fare affidamento sulle rappresentazioni di quiver, gli autori utilizzano la $\infty$-categoria dei percorsi di uscita (exit-paths) $\Pi_\infty(X, P)$. Per "buone" spazi stratificati (subanalitici o algebrici), la $\infty$-categoria degli ipersheaves ipercostruttibili è equivalente alla categoria dei funtori da $\Pi_\infty(X, P)$ alla categoria dei coefficienti.
2. Moduli di Oggetti: Seguendo Toën e Vaquié [TV07], gli autori costruiscono lo stack modulo degli oggetti per la grande $\infty$-categoria stabile di complessi costruttibili, $\text{Cons}_P(X; \text{Mod}_k)$. Un'intuizione tecnica chiave è che, sebbene questa categoria sia a priori molto grande, le proprietà di finitezza della categoria dei percorsi di uscita $\Pi_\infty(X, P)$ (provate in [HPT26]) garantiscono che la categoria dei complessi costruttibili con stalk perfetti sia di "tipo finito" nel senso richiesto per la rappresentabilità.
3. $t$-Struttura Perversa e Piattezza: Gli autori definiscono una $t$-struttura perversa sulla categoria dei ipersheaves costruttibili rispetto a una funzione di perversità $p: P \to \mathbb{Z}$. Essi stabiliscono che la condizione di essere "perverso" corrisponde a una condizione di piattezza rispetto all'anello base. Crucialmente, dimostrano che questa condizione di piattezza è una condizione aperta (Teorema 3.3.5), permettendo l'estrazione del modulo dei fogli perversi come un sottostack aperto del più grande modulo dei complessi costruttibili.

Contributi Chiave e Risultati

• Costruzione dello Stack Modulo Costruttibile: Il saggio costruisce uno stack derivato geometrico $\text{Cons}_P(X)$ che parametrizza complessi di fogli $P$-costruttibili con stalk perfette.

  • Teorema 3: Per uno spazio stratificato subanalitico o algebrico compatto $(X, P)$, $\text{Cons}_P(X)$ è uno stack derivato geometrico localmente di presentazione finita.
  • Teorema 4: Gli autori generalizzano questo punto permettendo alla stratificazione di variare, costruendo uno stack derivato $\text{Cons}(X)$ che parametrizza fogli costruttibili rispetto a una qualsiasi stratificazione subanalitica (o algebrica).

• Lo Stack di Carattere Perverso: Tagliando fuori il sottostack aperto delle famiglie piatte rispetto alla $t$-struttura perversa, gli autori ottengono il modulo dei fogli perversi.

  • Risultato Principale: Per ogni funzione di perversità $p$, esiste un sottostack 1-Artin aperto $\text{}_p\text{Perv}_P(X) \subset \text{Cons}_P(X)$.
  • Proprietà: Questo stack è localmente di presentazione finita e generalizza le usuali varietà di carattere. A differenza dell'approccio tramite quiver, questa costruzione è canonica e il suo complesso tangente è sensibile alla coomologia degli strati e dei loro link.

• Algebre di Coomologia di Hall (CoHA): Come dimostrazione dell'utilità della struttura derivata, gli autori costruiscono un'algebra di coomologia di Hall perversa.

  • Applicazione: Per una superficie di Riemann forata $X$ con punti marcati, l'omologia di Borel–Moore dello stack derivato dei fogli perversi ammette un prodotto naturale associativo (convoluzione di Hall). Questo risultato si basa sulla properezza dei relativi schemi Quot (stabilita in [Lam25]) e sulle specifiche proprietà dello stack derivato costruito in questo lavoro.

Significatività e Rivendicazioni
Il saggio rivendica di fornire un potenziamento derivato canonico e robusto per i moduli dei fogli perversi che supera i limiti degli approcci basati su quiver.

• Struttura Derivata Canonica: La struttura derivata è intrinseca alla geometria della stratificazione. Il complesso tangente in un punto riflette la coomologia degli strati e dei link, una caratteristica non catturata dalla categoria derivata delle rappresentazioni di quiver.
• Generalità: La costruzione elimina la necessità di assunzioni di proiettività e stratificazioni di Whitney, lavorando invece con spazi stratificati subanalitici e algebrici. Si applica inoltre ad arbitrarie funzioni di perversità, non solo alla perversità centrale.
• Fondamento per Lavori Futuri: Gli autori pongono questo lavoro come un passo fondamentale. Notano che l'esistenza di una struttura Poisson spostata (shifted) canonica su questi stack (recentemente mostrata da Christ–Lampetti [CL26]) e la costruzione di buoni spazi moduli (Lam [Lam25]) sono continuazioni dei risultati presentati qui. Il saggio afferma esplicitamente che la costruzione della CoHA è una "prima prova" della robustezza della struttura derivata.

Gli autori enfatizzano che il loro metodo si basa sui teoremi di finitezza delle $\infty$-categorie dei percorsi di uscita di [HPT26] piuttosto che sulla finitezza omologica di specifici quiver, permettendo di procedere in casi in cui la seconda sia sconosciuta o fallisca.