Semiorthogonal decompositions for stacks

Sintesi Tecnica: Decomposizioni Semiortogonali per Stack

Enunciato del Problema
Il lavoro affronta la costruzione di decomposizioni semiortogonali (SOD) sistematiche per le categorie derivate di fasci coerenti, $\text{Coh}(X)$, su stack algebrici derivati quasi-lisci $X$ su $\mathbb{C}$. Sebbene le SOD per stack quoziente lineari e specifici spazi di moduli (come quelli per le rappresentazioni di quiver o i fasci vettoriali su curve) siano state stabilite in lavori precedenti di Ballard–Favero–Katzarkov, Halpern-Leistner, Špenko–Van den Bergh e Pădurariu–Toda, tali costruzioni spesso si basavano su strutture lineari specifiche o richiedevano condizioni di stabilità restrittive. La sfida consiste nel generalizzare queste decomposizioni a una vasta classe di stack non lineari e quasi-lisci che sorgono nella teoria di Donaldson–Thomas (DT) intrinseca, inclusi gli stack di moduli di $G$-fasci, fasci di Higgs, connessioni e sistemi locali per gruppi riduttivi generali $G$ (non limitati al tipo $A$).

Metodologia
Gli autori impiegano il quadro della teoria di Donaldson–Thomas intrinseca (sviluppata in [17–19]) per definire una struttura combinatoria chiamata reticolo dei componenti, denotato $\text{CL}_\mathbb{Q}(X)$. Questo reticolo codifica i co-caratteri e i gruppi di Weyl dei gruppi di automorfismi dei punti in $X$.

La metodologia procede attraverso i seguenti passaggi:

1. Reticolo dei Componenti e Punti Graduati: La decomposizione è indicizzata dal reticolo dei componenti razionalizzato $|\text{CL}_\mathbb{Q}(X)| = \pi_0 \text{Map}(\ast/\mathbb{G}_m, X)$. Ogni elemento $\lambda$ corrisponde a uno stack di punti graduati $X_\lambda$ e a uno stack di punti filtrati $X^+_\lambda$.
2. Induzione di Hall: Gli autori utilizzano il functore di induzione di Hall $\star_\lambda: \text{Coh}(X_\lambda) \to \text{Coh}(X)$, definito tramite la corrispondenza $X_\lambda \xleftarrow{\text{gr}_\lambda} X^+_\lambda \xrightarrow{\text{ev}_\lambda} X$. Questo funtore generalizza il funtore di induzione parabolica.
3. Sottocategorie Finestra: Per ogni $\lambda$, viene definita una "sottocategoria finestra" $W_{X_\lambda}(\delta_\lambda) \subset \text{Coh}(X_\lambda)$. Queste sono sottocategorie piene determinate da condizioni di peso rispetto all'azione di $\mathbb{G}_m$ su $X_\lambda$, centrate da una funzione lineare $\delta: \text{CL}_\mathbb{Q}(X) \to \mathbb{Q}$ e da una norma quadratica $q$ sul reticolo.
4. Argomento Locale-Globale:
   • Caso Lineare: La decomposizione è stabilita inizialmente per stack quoziente lineari $V/G$ dove $V$ è una rappresentazione quasi-simmetrica (Teorema 2.1.6).
   • Caso Liscio: Utilizzando il fatto che gli stack lisci con buoni spazi di moduli sono localmente modellati su quozienti lineari in topologia étale, il risultato è globalizzato tramite argomenti di discesa (Teorema 3.2.3).
   • Caso Quasi-Liscio: Per stack quasi-lisci (che sono modelli locali per stack simplettici spostati di $(-1)$), gli autori utilizzano la dualità di Koszul per relazionare $\text{Coh}(X)$ a categorie di fattorizzazioni di matrici $\text{MF}(Y, f)$ su stack lisci. La decomposizione per le fattorizzazioni di matrici (Teorema 3.5.4) viene quindi trasferita all'ambiente quasi-liscio (Teorema 4.1.3).
5. Supporti Singolari: La costruzione è raffinata per includere sottocategorie di oggetti con supporto singolare contenuto in un sottoinsieme chiuso saturo $Z \subset |T^*[-1]X|$ (Teorema 4.3.3).

Contributi e Risultati Chiave
Il lavoro fornisce una costruzione unificata di SOD per un'ampia gamma di stack di moduli. I risultati principali sono:

• Decomposizione Generale (Teorema 4.1.3): Per uno stack derivato qca, quasi-simmetrico e quasi-liscio $X$ con un buono spazio di moduli, esiste una SOD:
  $$\text{Coh}(X) = \left\langle \star_\lambda W_{X_\lambda}(\delta_\lambda) \mid \lambda \in |\text{CL}_\mathbb{Q}(X)| \right\rangle$$
  I summandi sono indicizzati dal reticolo dei componenti, ordinati dalla norma $q$ di $\lambda$. I funtori $\star_\lambda$ sono pienamente fedeli, e le immagini sono ammissibili e $\text{Perf}(X)$-lineari.

• Decomposizione del Supporto Singolare (Teorema 4.3.3): Esiste una decomposizione parallela per $\text{Coh}_Z(X)$, la sottocategoria dei fasci coerenti con supporto singolare in un sottoinsieme saturo $Z$. Questo è particolarmente rilevante per il cono nilpotente.

• Fattorizzazioni di Matrici (Teorema 3.5.4): Viene costruita una SOD per la categoria delle fattorizzazioni di matrici $\text{MF}(X, f)$ su uno stack liscio, che funge da modello locale per le categorie critiche nella teoria DT.

• Applicazioni Concrete: La teoria è applicata per ottenere SOD esplicite per:

  • Stack di moduli di $G$-fasci semistabili ($\text{Bun}^{ss}_G$), fasci di Higgs $G$-semistabili ($\text{Higgs}^{ss}_G$) e connessioni $G$-semistabili ($\text{Conn}_G$) su curve.
  • Stack di moduli di sistemi locali $G$-semistabili ($\text{Loc}_G$) su varietà di dimensione 2.
  • Stack di moduli di rappresentazioni semistabili di quiver e algebre preproiettive.
  • Stack di moduli di fasci coerenti semistabili su superfici.

In questi esempi, i summandi sono indicizzati da sottogruppi di Levi $L \subset G$ e parametri di peso specifici, generalizzando risultati precedenti che erano spesso limitati a $GL(n)$ o richiedevano condizioni di ordinamento complesse.

Significato e Affermazioni
Il lavoro afferma di fornire una costruzione sistematica e generale che rimuove le restrizioni precedenti sul tipo di gruppo riduttivo (consentendo gruppi non di tipo $A$) e sulla natura dello stack (passando da categorie lineari a stack DT intrinseci).

• Semplificazione dell'Ordinamento: Gli autori notano che il loro approccio produce una descrizione molto più semplice dell'ordinamento dei summandi rispetto ai lavori precedenti (ad es. [64; 68; 71]). L'ordine è determinato dalla norma $q$ degli elementi del reticolo, mentre i metodi precedenti richiedevano spesso raffinamenti di stabilità intricati o disuguaglianze complicate.
• Teoria Categorical DT: Le decomposizioni sono presentate come analoghi categoriali dell'integrità coomologica. I summandi, indicati come categorie quasi-BPS, sono destinati a categorificare gli invarianti BPS. Il lavoro nota che, sebbene gli invarianti additivi (come l'omologia ciclica periodica) non recuperino direttamente la decomposizione dell'integrità coomologica, la struttura di queste categorie è attesa fondamentale per comprendere la teoria DT categorica e le strutture BPS.
• Langlands Geometrico: Le decomposizioni per stack come $\text{Conn}_G$ e $\text{Loc}_G$ sono collegate al programma di Langlands geometrico. Gli autori formulano una versione raffinata della congettura di Langlands geometrica di Dolbeault e una congettura analoga per l'ambiente di de Rham (Congettura 4.4.9), suggerendo che le sottocategorie finestra corrispondono a specifiche categorie microlocali di $\mathcal{D}$-moduli sotto l'equivalenza di Langlands.
• Limitazioni: Gli autori affermano modestamente di non dimostrare l'equivalenza di queste decomposizioni categoriali con la decomposizione della coomologia BPS tramite invarianti additivi, né di caratterizzare pienamente la struttura delle categorie quasi-BPS (ad esempio, se siano risoluzioni non commutative). Questi sono identificati come direzioni per lavori futuri.

In sintesi, il lavoro stabilisce un robusto quadro combinatorio per la decomposizione delle categorie derivate di fasci coerenti su stack quasi-lisci, unificando vari risultati noti ed estendendoli a un contesto geometrico più ampio centrale per la geometria enumerativa moderna e la teoria delle rappresentazioni.