Perfect generation for regular algebraic stacks

Sintesi Tecnica: Generazione Perfetta per Stack Algebrici Regolari

1. Il Problema e il Contesto

Il lavoro si colloca nello studio delle categorie derivate di complessi con coomologia quasi-coerente, denotate come $D_{qc}(X)$, su uno stack algebrico $X$.

• Stato dell'arte: È noto che per schemi quasi-compatti e quasi-separati, la categoria $D_{qc}(X)$ è generata singolarmente da un oggetto compatto (un teorema classico di Bondal-Van den Bergh). Tuttavia, per gli stack algebrici, la situazione è più complessa: i complessi perfetti non sono necessariamente oggetti compatti.
• La questione aperta: Mentre lavori precedenti (Hall-Rydh, Halpern-Leistner) hanno stabilito la generazione compatta per classi specifiche di stack (es. stack di Deligne-Mumford con certi vincoli di separazione o dimensione di Krull finita), non era chiaro se fosse possibile ottenere una generazione singolare da un singolo oggetto perfetto (che non deve necessariamente essere compatto) per una classe più ampia di stack regolari, senza assumere condizioni di separazione forte o finitezza della dimensione di Krull.
• Obiettivo: Dimostrare che $D_{qc}(X)$ è generato da un singolo complesso perfetto per stack algebrici regolari, Noetheriani, quasi-compatti, quasi-separati, con diagonale quasi-finita.

2. Metodologia e Strumenti Chiave

L'autore impiega una strategia che combina tecniche di presentazione degli stack, induzione topologica e strumenti di teoria delle categorie triangolate. I pilastri metodologici sono:

• Presentazioni di Hall-Rydh: Si utilizzano le presentazioni per stack algebrici con stabilizzatori finiti (da [HR18]). Questo permette di costruire una sequenza di scissione monomorfica (monomorphic splitting sequence) per un rivestimento di Nisnevich, decomponendo lo stack in strati più semplici.
• Recollement (Ricollamento): Un contributo metodologico significativo è l'uso sistematico delle strutture di recollement per le categorie triangolate. Il recollement permette di "incollare" generatori definiti su un aperto $U$ e sul suo complementare chiuso $Z$ per ottenere un generatore globale su $X$.
  • Si utilizza la proposizione 3.1 per stabilire l'esistenza di un recollement tra $D_{qc}(U)$, $D_{qc}(X)$ e $D_{qc, Z}(X)$.
  • Si applicano le lemmi 3.5 e 3.7 per dimostrare che se si hanno generatori su $U$ e su $Z$, è possibile costruire un generatore per $X$.
• Dualità e Morfismi Finiti: Si sfruttano le proprietà di dualità per morfismi finiti (Lemma 4.1) e la condizione di Thomason ($\beta$-Thomason condition) per trasferire la proprietà di generazione da uno stack di copertura a quello base.
• Induzione sulla Lunghezza della Sequenza: La prova principale procede per induzione sulla lunghezza della sequenza di scissione monomorfica. Si riduce il problema alla generazione su sottostack localmente chiusi, dove la regolarità dello stack gioca un ruolo cruciale.

3. Risultati Principali

Teorema 1.1 (Risultato Principale):
Sia $X$ uno stack algebrico regolare, Noetheriano, quasi-compatto e quasi-separato con diagonale quasi-finita. Allora esiste un complesso perfetto $P \in \text{Perf}(X)$ tale che $P$ genera $D_{qc}(X)$.

• Note: Non si assume che la diagonale sia separata né che $X$ sia "concentrato" (una condizione che garantisce l'uguaglianza tra oggetti compatti e complessi perfetti). Questo risultato copre nuovi casi, inclusi stack di Deligne-Mumford in caratteristica arbitraria sotto ipotesi di regolarità.

Corollario 1.2 (Generazione Compatta Singola):
Se $X$ è uno stack algebrico regolare, concentrato, con diagonale quasi-finita, allora $D_{qc}(X)$ è generato singolarmente da un oggetto compatto.

• Questo risultato migliora il teorema 2.1 di [Hal22], rimuovendo l'ipotesi di dimensione di Krull finita e garantendo la generazione da un singolo oggetto.

Proposizioni e Lemma Tecnici:

• Proposizione 4.3: Estende la condizione di Thomason a morfismi finiti, piatti e suriettivi tra stack Noetheriani.
• Lemma 4.4: Estende la condizione di Thomason a monomorfismi quasi-affini iniettivi.
• Corollario 4.7: Per uno stack regolare, la categoria $D_{qc, Z}(X)$ (complessi con supporto in un chiuso $Z$) è generata da un singolo complesso perfetto. Questo sfrutta il fatto che per stack regolari, i complessi perfetti coincidono con la categoria derivata dei fasci coerenti a coomologia limitata ($D^b_{coh}$).

4. Significato e Implicazioni

• Generalizzazione: Il lavoro estende notevolmente i risultati noti sulla generazione compatta, rimuovendo vincoli tecnici come la separazione della diagonale e la finitezza della dimensione di Krull, purché si mantenga l'ipotesi di regolarità.
• Nuovi Casi di Studio: Il teorema si applica a situazioni precedentemente non trattate, come stack di Deligne-Mumford su campi o anelli di valutazione discreta (DVR) in qualsiasi caratteristica, anche quando gli stabilizzatori non sono ridotti o la geometria è più complessa.
• Struttura della Categoria Derivata: La dimostrazione che $D_{qc}(X)$ è generata da un singolo oggetto perfetto (anche se non compatto in assenza di concentrazione) fornisce informazioni fondamentali sulla struttura della categoria derivata, suggerendo che essa è "piccola" in senso generativo.
• Indipendenza della Tecnica: L'uso delle tecniche di recollement per incollare generatori è presentato come un risultato di interesse indipendente, offrendo un modello per future indagini su categorie derivate di spazi geometrici più generali.
• Limiti Aperti: L'autore nota (Remark 4.5) che, sebbene la prova dimostri la generazione da un singolo oggetto perfetto, non è ancora chiaro se tale oggetto possa sempre essere scelto come compatto nel caso generale (senza l'ipotesi di concentrazione), lasciando aperta una domanda di ricerca futura.

In conclusione, il paper di Lank rappresenta un passo avanti significativo nella comprensione della teoria delle categorie derivate sugli stack algebrici, fornendo strumenti robusti per la generazione e collegando proprietà topologiche (come le sequenze di scissione) a proprietà algebriche della categoria dei complessi.