Unipotent morphisms

Sintesi Tecnica di "Morfismi Unipotenti"

Enunciato del Problema
Il lavoro affronta la sfida di costruire fasci vettoriali non banali su stack algebrici, schemi e spazi algebrici, in particolare in contesti in cui i metodi classici quasi-proiettivi falliscono. Una motivazione centrale è la "proprietà di risoluzione", che afferma che ogni fascio quasi-coerente su uno stack è un quoziente di una somma diretta di fasci vettoriali. Sebbene il Teorema di Gabber abbia stabilito questa proprietà per schemi quasi-compatti con fasci lineari ampi (specificamente per gerbi $\mathbb{G}_m$ a torsione), estendere questi risultati a contesti più generali — come gerbi con stabilizzatori additivi ($\mathbb{G}_a$) o stack di Deligne–Mumford in caratteristica positiva con inerzia "selvaggia" — è rimasto difficile. Gli autori mirano a sviluppare un quadro teorico per dimostrare la proprietà di risoluzione in questi contesti più ampi e non quasi-proiettivi.

Metodologia
L'innovazione metodologica fondamentale è l'introduzione e lo studio sistematico dei morfismi unipotenti di stack algebrici. Gli autori sfruttano l'abbondanza di coomologia negli ambienti unipotenti per costruire fasci vettoriali.

1. Filtrazioni e Strutture Graduati: Gli autori introducono il concetto di filtrazione su un fascio vettoriale (una filtrazione con pezzi graduati che sono fasci vettoriali). Definiscono filtrazioni graduate dove i pezzi graduati sono ottenuti per pullback dalla base, e filtrazioni banalmente graduate dove i pezzi graduati sono banali.
2. Discesa delle Filtrazioni: Uno strumento tecnico chiave è un risultato di discesa per le filtrazioni (Teorema 4.8). Utilizzando risultati di Schäppi riguardanti i moduli piatti e i limiti filtrati, gli autori dimostrano che, sotto condizioni specifiche (morfismi fedelmente piatti da basi affini), un fascio vettoriale che ammette una filtrazione banalmente graduata su un ricoprimento può essere disceso alla base, potenzialmente dopo aver preso una somma diretta.
3. Morfismi Unipotenti: Costruendo sulla discesa delle filtrazioni, gli autori definiscono un morfismo $f: \mathcal{X} \to S$ come unipotente (o $R$-unipotente) se ammette una filtrazione completa, $f$-graduita e $f$-(R-)fedele. Questa nozione generalizza la struttura dei quozienti $[Z/G]$ dove $G$ è un gruppo unipotente (specificamente sottogruppi delle matrici triangolari superiori $U_n$).
4. Principio Locale-Globale: La teoria stabilisce un principio locale-globale: se un morfismo è localmente unipotente su una base con struttura sufficiente (specificamente, la "proprietà di risoluzione per filtrazioni"), allora è globalmente unipotente.

Contributi e Risultati Chiave

• Definizione e Caratterizzazione dei Morfismi Unipotenti: Il lavoro definisce morfismi unipotenti, localmente unipotenti e geometricamente unipotenti. Fornisce una caratterizzazione (Teorema 5.4) che mostra come un morfismo $R$-unipotente sia equivalente a una fattorizzazione attraverso uno stack classificante di una sequenza di fasci lineari, $BU(\mathcal{L})$, tramite un morfismo quasi-affine. Ciò funge da arricchimento unipotente del Teorema di Totaro–Gross che collega gli stack quoziente alla proprietà di risoluzione.
• Teorema A (Analogo Additivo del Teorema di Gabber): Gli autori dimostrano che se $\mathcal{X}$ è uno stack algebrico quasi-compatto con diagonale affine e proprietà di risoluzione, e $\mathcal{G} \to \mathcal{X}$ è un $\mathbb{G}_a$-gerbe, allora $\mathcal{G}$ possiede la proprietà di risoluzione. Ciò contrasta con il caso moltiplicativo ($\mathbb{G}_m$), dove l'affermazione analoga rimane aperta in dimensioni superiori.
• Teorema B (Proprietà di Risoluzione per Stack DM Selvaggi): Il lavoro dimostra che gli stack di Deligne–Mumford lisci, separati e di tipo finito su un campo $k$, il cui spazio di moduli grezzo è quasi-proiettivo, soddisfano la proprietà di risoluzione. Ciò estende il risultato di Kresch–Vistoli al contesto "genericamente selvaggio" (dove i gruppi di inerzia potrebbero non essere linearmente riduttivi).
• Teorema C (Discesa delle Filtrazioni): Un risultato tecnico centrale che afferma che se $\mathcal{X}' \to \mathcal{X}$ è un morfismo fedelmente piatto da uno schema affine, e un fascio vettoriale sul prodotto fibrato ammette una filtrazione banalmente graduata, allora esiste un fascio vettoriale su $\mathcal{X}$ e una suriezione scissa dal suo pullback al fascio originale.
• Spazi di Moduli Fedeli: Gli autori collegano i morfismi unipotenti alla nozione di "spazi di moduli fedeli" (introdotti da Alper). Dimostrano che gli spazi di moduli fedeli con stabilizzatori affini hanno stabilizzatori unipotenti e sono genericamente gerbi per gruppi unipotenti.
• Questioni di Incollamento: Il lavoro affronta la Domanda 1.1 riguardante l'incollamento di schemi di gruppo con fibre geometriche unipotenti in $U_n$. Stabilisce che per schemi separati regolari o quelli con fasci lineari ampi, l'incollabilità locale piatta implica l'incollabilità locale di Zariski. Fornisce inoltre controesempi in caratteristica positiva dove l'unipotenze geometrica non implica l'unipotenze locale (ad esempio, schemi di gruppo non separati).

Significato e Affermazioni
Il lavoro afferma che l'introduzione dei morfismi unipotenti e della teoria di discesa associata per le filtrazioni fornisce un nuovo meccanismo potente per costruire fasci vettoriali su stack algebrici. Gli autori dichiarano che il loro principale contributo tecnico (Teorema C) è di interesse generale, rivelando un principio locale-globale in cui i morfismi localmente unipotenti su basi adatte diventano globalmente unipotenti.

Il significato risiede in:

1. Generalizzazione del Teorema di Gabber: Fornire un analogo additivo ($\mathbb{G}_a$) che vale in maggiore generalità rispetto al caso moltiplicativo.
2. Risoluzione di Casi Aperti: Dimostrare la proprietà di risoluzione per stack di Deligne–Mumford lisci con spazi grezzi quasi-proiettivi in caratteristica positiva, un caso precedentemente irrisolto per inerzia "selvaggia".
3. Questioni Fondamentali: Offrire nuove intuizioni sulla struttura degli schemi di gruppo su basi generali, in particolare riguardo alla relazione tra unipotenze geometrica e incollabilità locale in gruppi unipotenti.

Gli autori notano esplicitamente che, sebbene forniscano risultati positivi per basi regolari e caratteristiche specifiche, il comportamento dei gruppi unipotenti su basi generali rimane sottile, specialmente in caratteristica positiva dove esistono esempi non separati. Il lavoro è presentato come uno sviluppo di nuovi metodi piuttosto che una soluzione completa a tutte le domande riguardanti i fasci vettoriali sugli stack.