Quot spaces in tilted hearts and Hall algebra modules

Sintesi Tecnica: Spazi Quot in cuori inclinati e moduli di algebre di Hall

Enunciato del Problema
Il saggio affronta la costruzione di un'azione categorica bilaterale dell'algebra di Hall associata alla categoria dei fasci semistabili di pendenza $\beta$ fissata su una curva proiettiva complessa liscia $X$. Sebbene le Algebre di Hall Coomologiche (CoHA) siano ben comprese come algebre associative che agiscono sulla coomologia degli stack di moduli, la costruzione di un "doppio" (un'azione simultanea sia a sinistra che a destra) che rispetti la struttura algebrica rappresenta una sfida significativa. La proprietà geometrica richiesta per codificare tale azione è un "modello di Hecke" (Hecke pattern), in cui gli oggetti stabili rimangono stabili sotto estensioni di altri oggetti. Tali modelli sono rari negli scenari geometrici generali. La difficoltà specifica risiede nel fatto che la categoria dei fasci semistabili su una curva ha dimensione omologica 1 ma non è finitaria, complicando gli approcci algebrici standard per i doppi.

Metodologia
L'autore impiega una strategia radicata nella geometria algebrica derivata e nella teoria delle condizioni di stabilità di Bridgeland, seguendo la filosofia stabilita nei lavori di Diaconescu, Porta e Sala [8]. La metodologia procede attraverso diverse fasi chiave:

1. Costruzione dell'Algebra di Hall Categorica: Il saggio utilizza il linguaggio degli stack derivati e degli spazi 2-Segal per costruire l'algebra di Hall categorificata (CatHA) per la categoria $\text{Coh}^{ss}_\beta(X)$. Ciò comporta la definizione di uno stack derivato simpliciale di estensioni e l'applicazione di una costruzione di Waldhausen per dotare la $\infty$-categoria stabile dei fasci coerenti sullo stack di una struttura monoidale $E_1$.
2. Inclinazione (Tilting) e Coppie di Torsione: Per definire lo spazio modulo, l'autore introduce una famiglia di cuori inclinati $\mathcal{A}_\beta \subset D^b(\text{Coh}(X))$. Questo viene ottenuto inclinando la t-struttura standard rispetto a una coppia di torsione $(\mathcal{F}_\beta, \mathcal{T}_\beta)$ definita dalla pendenza $\beta$. Il cuore $\mathcal{A}_\beta$ permette la definizione di "spazi Quot" all'interno di una categoria abeliana non standard.
3. Confronto tra Spazi Moduli: Un componente tecnico cruciale è l'identificazione dello stack derivato di $V$-coppie $\beta$-stabili (definite tramite sequenze fibrate nel cuore inclinato) con altri spazi moduli. Nello specifico, il saggio stabilisce che, per un legame $L$ di pendenza minore di $\beta$, lo spazio Quot $\text{Quot}_\beta(X, L[1])$ nel cuore inclinato coincide con la troncatura classica dello stack derivato delle coppie stabili ed è un sottoschéma aperto dello spazio moduli delle coppie semistabili di Bradlow.
4. Costruzione del Modello di Hecke: L'azione è indotta da stack di corrispondenza che parametrizzano le estensioni.
   • Azione a Sinistra: Costruita tramite uno stack di estensioni dove una coppia stabile viene estesa da un fascio semistabile nella categoria traslata $\text{Coh}^{ss}_\beta(X)[1]$. L'associatività si basa sulla proprietà che, se il quoziente di una coppia è stabile e il termine di estensione è semistabile, la coppia risultante è stabile.
   • Azione a Destra: Costruita tramite uno stack di "coppie duali" (sequenze fibrate ruotate). L'autore definisce un modello di Hecke duale dove l'estensione avviene nella direzione opposta, richiedendo la stabilità della coppia duale risultante.
5. Verifica Geometrica: La validità delle operazioni di pull-push che definiscono l'azione dipende dalla dimostrazione che specifici morfismi nei diagrammi di corrispondenza siano propri e di tipo lci (locally complete intersection) derivato. Queste dimostrazioni si basano pesantemente sulle proprietà dei cuori inclinati, in particolare l'apertura della piattezza e il comportamento delle coppie di torsione sotto estensioni.

Contributi Chiave e Risultati

• Teorema 1 (Risultato Principale): Il saggio dimostra che la pro-$\infty$-categoria $\text{Coh}^b(\text{Quot}_\beta(X, L[1]))$ possiede la struttura di un modulo categorico sia sinistro che destro sopra la CatHA dei fasci semistabili di pendenza $\beta$. Di conseguenza, la K-teoria $G_0$ e l'omologia di Borel-Moore $H^{BM}_*$ di questi spazi Quot ereditano strutture di modulo sinistro e destro sopra le corrispondenti algebre di Hall.
• Identificazione degli Spazi Moduli: Il saggio connette rigorosamente tre distinti problemi di moduli su curve:
  1. Spazi Quot nel cuore inclinato $\mathcal{A}_\beta$.
  2. $V$-coppie $\beta$-stabili (nel senso di [8]).
  3. Coppie di Bradlow semistabili (derivanti dalle equazioni di vortex).
     Nello specifico, mostra che $\text{Quot}_\beta(X, L[1])$ è un sottoschéma aperto dello spazio moduli coarse delle coppie semistabili di Bradlow.
• Azione Bilaterale tramite Tilting: La costruzione dimostra che lavorare in diverse t-strutture (il cuore standard per le proprietà geometriche dell'azione a destra e il cuore inclinato per le condizioni di stabilità dell'azione a sinistra) è essenziale per stabilire le necessarie proprietà di properness e lci per le mappe di corrispondenza.
• Dinamiche dell'Azione Sinistra vs Destra: Il saggio chiarisce il comportamento topologico delle azioni: gli operatori dall'azione a sinistra diminuiscono il tipo topologico (classe di Chern) degli oggetti, mentre gli operatori dall'azione a destra lo aumentano.

Significato e Rivendicazioni
Il saggio sostiene di fornire una costruzione sistematica di un'azione categorica bilaterale per le algebre di Hall associate ai fasci semistabili su curve, un contesto in cui la categoria non è finitaria. Stabilendo la connessione tra gli spazi Quot nei cuori inclinati, le coppie stabili e le coppie di Bradlow, l'autore crea il necessario quadro geometrico (modelli di Hecke) per definire queste azioni.

La significatività risiede nel:

1. Estendere la Costruzione del Doppio: Offre una realizzazione geometrica del "doppio" di un'algebra di Hall in un contesto che coinvolge curve e categorie non finitarie, completando i risultati esistenti per superfici e quiver.
2. Unificare gli Spazi Moduli: Colma esplicitamente il divario tra la geometria algebrica degli schemi Quot nei cuori inclinati e l'analisi geometrica delle coppie di Bradlow, mostrando che descrivono gli stessi oggetti geometrici sottostanti sotto specifiche condizioni di stabilità.
3. Quadro Categorico: Il lavoro opera al livello delle categorie derivate e delle $\infty$-categorie, fornendo un'azione "categorificata" raffinata che eleva le classiche azioni coomologiche.

L'autore osserva che, sebbene la costruzione sia robusta per $\beta$ razionale (dove il cuore inclinato è noeteriano), la properness degli spazi Quot per $\beta$ irrazionale rimane un punto tecnico aperto, sebbene l'azione categorica sia definita tramite pro-categorie per gestire i casi generali. Il saggio non pretende di calcolare esplicitamente l'algebra doppia risultante, ma si concentra sull'esistenza e sulle proprietà strutturali dell'azione modulo.