Remarks on diagonal dimension for algebraic stacks

Sintesi Tecnica: Osservazioni sulla Dimensione Diagonale per Stack Algebrici

Enunciato del Problema
Il lavoro affronta la complessità della categoria derivata limitata dei complessi coerenti, indicata con $D^b_{\text{coh}}(X)$, per uno stack algebrico noetheriano $X$. Una sfida centrale in questo campo è determinare l'esistenza di "generatori forti" (oggetti $G$ tali che $D^b_{\text{coh}}(X) = \langle G \rangle_{n+1}$ per qualche $n$ finito) e stabilire limiti superiori espliciti e calcolabili per la dimensione di Rouquier (il più piccolo $n$ del genere). Mentre queste questioni sono ben comprese per gli schemi, rimangono sottili per gli stack algebrici, dove i limiti efficaci sono scarsi e le costruzioni esplicite sono rare. Gli autori mirano a rifinire la comprensione di questa complessità utilizzando la nozione di dimensione diagonale.

Metodologia
Gli autori impiegano il quadro delle categorie triangolate e della geometria algebrica derivata, concentrandosi specificamente sulla dimensione diagonale di un morfismo $f: Y \to X$. Definita come il più piccolo intero $n$ tale che il pushforward del fascio strutturale della diagonale, $R\Delta_* \mathcal{O}_Y$, appartenga alla sottocategoria generata dai prodotti tensoriali esterni di oggetti provenienti da $D^b_{\text{coh}}(Y)$, questo invariante funge da proxy trattabile per la dimensione di Rouquier.

La metodologia comprende:

1. Riduzione a Singoli Generatori: Dimostrare che la dimensione diagonale può essere calcolata utilizzando un singolo oggetto $G$ anziché una coppia, semplificando la condizione di generazione.
2. Analisi delle Successioni Spettrali: Utilizzare successioni spettrali che relazionano la coomologia locale e i gruppi Ext per limitare la dimensione coomologica degli stack algebrici regolari.
3. Cambiamento di Base e Formule di Proiezione: Sfruttare le proprietà dei morfismi concentrati, lisci e propri per trasferire le proprietà di generazione tra prodotti fibrati e i loro fattori.
4. Risoluzione delle Singolarità: Applicare risultati sulle risoluzioni delle singolarità e sugli spazi di moduli buoni per relazionare la dimensione diagonale delle varietà singolari a quella dei ricoprimenti lisci.

Contributi e Risultati Chiave

• Limiti Superiori Espliciti per Morfismi Lisci (Teorema 1.2):
  Gli autori stabiliscono un limite superiore esplicito e calcolabile per la dimensione diagonale di un morfismo $f: Y \to \text{Spec}(R)$ concentrato, separato, liscio, finitamente presentato e quasi-DM, dove $R$ è uno schema affine regolare. Se $U \to Y$ è un morfismo liscio e suriettivo da uno schema, il limite è dato da:
  $$\dim_\Delta(f) \leq (\dim R + 1)(2 \max\{\dim U, \text{cd}(Y)\} + 1) - 1$$
  Questo risultato generalizza i limiti noti per varietà lisce, spazi algebrici e stack di Deligne–Mumford a un contesto più ampio, inclusi stack su DVR e quelli con stabilizzatori affini.

• Generatori per Prodotti Fibrati (Proposizione 1.3):
  Il lavoro identifica generatori forti per la categoria derivata di un prodotto fibrato $Y_1 \times_S Y_2$ in termini di generatori per i fattori $Y_1$ e $Y_2$. Nello specifico, se $G_i$ sono generatori classici per $D^b_{\text{coh}}(Y_i)$, allora il prodotto tensoriale esterno dei loro pullback genera $D^b_{\text{coh}}(Y_1 \times_S Y_2)$. Questo risultato riprende un teorema di Elagin–Lunts–Schnürer per varietà su campi perfetti, ma lo estende agli stack algebrici senza richiedere separazione o dimensione di Krull finita sulla base, e, crucialmente, fornisce una dimostrazione che evita metodi dg.

• Confronto delle Dimensione Diagonali (Teorema 1.4):
  Viene dimostrato un teorema di confronto per morfismi $f_i: Y_i \to S$ per i quali esiste un morfismo $S$-lineare $f: Y_2 \to Y_1$ tale che l'unità $\mathcal{O}_{Y_1} \to Rf_* \mathcal{O}_{Y_2}$ sia un isomorfismo. Sotto queste condizioni, $\dim_\Delta(f_1) \leq \dim_\Delta(f_2)$. Ciò consente il trasferimento di limiti dimensionali da uno spazio "migliore" a uno "peggiore".

• Limiti per Varietà con Singolarità Lievi (Corollario 1.5):
  Applicando il teorema di confronto, gli autori mostrano che per uno schema intero separato $X$ su un campo $k$:

  • Se $X$ ha singolarità razionali (caratteristica zero), $\dim_\Delta(f) \leq 2 \dim X$.
  • Se $X$ ha singolarità linearmente riduttive (caratteristica arbitraria), $\dim_\Delta(f) \leq 2 \dim X$.
    Questi risultati forniscono un nuovo limite generale per varietà con singolarità lievi, estendendosi oltre il caso torico dove la dimensione diagonale è spesso nota essere uguale alla dimensione di Krull.

Significato e Affermazioni
Il lavoro afferma di fornire uno strumento raffinato (la dimensione diagonale) per stimare la dimensione di Rouquier degli stack algebrici, un problema per il quale i limiti espliciti sono tipicamente sfuggenti. Stabilendo limiti superiori calcolabili per morfismi lisci e dimostrando come questi limiti si comportino sotto prodotti fibrati e morfismi con pushforward del fascio strutturale isomorfo, il lavoro colma il divario tra il caso ben compreso degli schemi e il caso più complesso degli stack.

Gli autori evidenziano che i loro risultati si applicano con una generalità maggiore rispetto alla letteratura precedente, coprendo stack su basi di caratteristica mista e quelli con condizioni specifiche sugli stabilizzatori. Inoltre, l'identificazione di generatori per prodotti fibrati offre un'insight strutturale sulle categorie derivate di prodotti fibrati stacky senza fare affidamento su tecniche differenziali graduate (dg). Infine, il limite di $2 \dim X$ per varietà con singolarità razionali o linearmente riduttive rappresenta un passo significativo nella comprensione della complessità delle categorie derivate in presenza di singolarità, in particolare in caratteristica positiva.