(Quasi-)affineness of perverse character varieties

Sintesi Tecnica: (Quasi-)Affinità delle Varietà di Carattere Perverse

Enunciato del Problema
Il lavoro affronta la natura geometrica delle varietà di carattere perverse, che fungono da spazi dei moduli per fasci perversi semisemplici su uno spazio stratificato $X$. Mentre le varietà di carattere classiche (che parametrizzano rappresentazioni semisemplici di un gruppo fondamentale) sono note per essere schemi affini, l'affinità delle loro generalizzazioni ai fasci perversi — in particolare gli "spazi dei moduli buoni" associati agli stack di carattere perverso — non era stata stabilita in modo puramente teorico sugli stack. Il problema centrale è determinare se questi spazi dei moduli siano quasi-affini, ovvero se possano essere immersi come sottoschemi aperti di schemi affini.

Metodologia
Gli autori adottano un approccio puramente teorico sugli stack, evitando costruzioni della Teoria dei Invarianti Geometrici (GIT). La loro metodologia si basa sui seguenti pilastri:

1. Spazi dei Moduli Buoni: Essi utilizzano la teoria degli spazi dei moduli buoni per stack algebrici (Alper, Halpern-Leistner, Heinloth). Uno spazio dei moduli buono $q: \mathcal{X} \to X$ è uno spazio algebrico che si comporta come un quoziente categorico, dove i punti di $X$ corrispondono alle classi di isomorfismo di oggetti polistabili in $\mathcal{X}$.
2. Criterio di Quasi-affinità: Essi dimostrano che uno spazio dei moduli buono $X$ è quasi-affine se e solo se il suo fascio strutturale $\mathcal{O}_X$ separa i punti polistabili (Corollario 2.1.6). Ciò riduce il problema geometrico a uno algebrico: costruire sufficienti sezioni globali del fascio strutturale per distinguere tra oggetti semisemplici non isomorfi.
3. Omoologia di Hochschild e Sezioni Globali: L'innovazione tecnica centrale è l'uso dell'omologia di Hochschild ($HH$) della categoria $\infty$-stabile dei fasci costruibili, indicata con $\text{Cons}_P(X; \text{Mod}_k)**. Seguendo il quadro di Toën-Vaquié e Antieau-Gepner, gli autori utilizzano il morfismo canonico:
   $$HOC: HH(\mathcal{C}) \to R\Gamma(\mathcal{M}_{\mathcal{C}}, \mathcal{O}_{\mathcal{M}_{\mathcal{C}}})$$
   dove $\mathcal{M}_{\mathcal{C}}$ è lo stack dei moduli degli oggetti in $\mathcal{C}$. Questa mappa permette di costruire sezioni globali del fascio strutturale dello stack dei moduli direttamente dall'omologia di Hochschild della categoria sottostante.
4. Recollement e Stratificazione: Per gestire la natura stratificata dello spazio $X$, gli autori utilizzano il formalismo del recollement per i fasci costruibili. Ciò permette loro di decomporre l'omologia di Hochschild della categoria globale in una somma diretta delle omologie di Hochschild dei sistemi locali sulle strati (Lemma 4.3.1).
5. Mappe di Traccia: Le sezioni globali costruite tramite $HOC$ sono descritte esplicitamente come tracce della monodromia. Per un ciclo $\gamma$ in uno strato, la sezione associata valuta un fascio perverso semisemplice $F$ sulla traccia della monodromia della restrizione di $F$ a tale strato (Corollario 4.3.2).

Contributi e Risultati Chiave

• Teorema Principale (Corollario 5.2.6): Gli autori dimostrano che le varietà di carattere perverse sono quasi-affini. Nello specifico, per uno spazio stratificato di Whitney complesso $X$ e una funzione di perversità $p$, il morfismo canonico
  $${}^p\text{Perv}_P(X) \to \text{Spec}(\Gamma({}^p\text{Perv}_P(X), \mathcal{O}_{{}^p\text{Perv}_P(X)}))$$
  è un'immersione aperta quasi-compatta. Qui, ${}^p\text{Perv}_P(X)$ denota lo spazio dei moduli buono (la varietà di carattere perversa).
• Separazione dei Punti (Teorema 5.2.5): Il lavoro dimostra che le sezioni globali derivate dall'omologia di Hochschild sono sufficienti a separare i punti nello stack dei moduli. Nello specifico, se due fasci perversi semisemplici non sono isomorfi, esiste una sezione globale (costruita a partire dalle tracce della monodromia sugli strati) che assume valori diversi su di essi.
• Contesto Derivato: I risultati sono stabiliti all'interno del quadro della geometria algebrica derivata. Gli autori notano che, grazie ai risultati di Lurie, le affermazioni derivate e non derivate sono equivalenti, ma lavorare nel contesto derivato fornisce un quadro naturale per costruire le sezioni necessarie.
• Generalizzazione ai Fasci Costruibili: Le tecniche sono estese al caso della "perversità banale" (struttura t standard), dimostrando che lo spazio dei moduli buono dei fasci costruibili con fibre piatte è anch'esso un'unione disgiunta di schemi quasi-affini (Corollario 5.2.7).

Significato e Affermazioni
Il lavoro afferma che il suo contributo principale è fornire un modo efficace e intrinseco per costruire sezioni globali del fascio strutturale delle varietà di carattere perverse senza fare affidamento sulla GIT.

• "Oltre la GIT": Gli autori sottolineano che le loro tecniche rientrano nella teoria dei moduli "Oltre la GIT" (riferendosi ad Alper-Halpern-Leistner), offrendo un approccio più intrinseco ai problemi dei moduli che non richiede un'azione di gruppo riduttivo o una linearizzazione specifica.
• Costruzione Esplicita: A differenza delle prove di esistenza astratte, il lavoro fornisce una descrizione concreta delle sezioni separanti: esse sono tracce della monodromia associate a cicli negli strati dello spazio sottostante.
• Ambito di Applicazione: I risultati si applicano a qualsiasi perversità per cui esiste la corrispondente varietà di carattere perversa, inclusa la perversità centrale (fondamentale per la teoria dei D-moduli e la corrispondenza di Riemann-Hilbert) e la perversità banale.

Il lavoro non propone nuove applicazioni sperimentali o direzioni future oltre il contesto matematico immediato di stabilire la quasi-affinità di questi spazi dei moduli. Si posiziona come un risultato fondazionale nella geometria dei fasci perversi, colmando il divario tra la descrizione teorica degli stack dei moduli e le loro proprietà affini.