Localizing subcategories for algebraic stacks

Sintesi Tecnica: Localizzazione delle Sottocategorie per Stack Algebrici

Enunciato del Problema
La classificazione delle sottocategorie localizzanti nelle categorie derivate è un problema centrale nella teoria delle categorie triangolate. Mentre Neeman ha stabilito una biiezione tra le sottocategorie localizzanti della categoria derivata di un anello noetheriano e i sottoinsiemi del suo spettro [Nee92], e ciò è stato esteso agli schemi noetheriani da Alonso Tarrío, Jeremías López e Souto Salorio [ATJLSS04], la situazione per gli stack algebrici è più complessa.

Nel contesto degli stack algebrici, la categoria derivata dei complessi con coomologia quasi coerente, indicata con $D_{qc}(X)$, non è necessariamente generata da oggetti compatti [HNR19]. Di conseguenza, la classificazione delle sottocategorie $\otimes$-localizzanti (quelle chiuse rispetto all'azione del prodotto tensore) in termini di sottoinsiemi dello spazio topologico sottostante $|X|$ rimane aperta in questa generalità. Risultati precedenti, come quelli di Stevenson [Ste13] e il recente lavoro di Alonso Tarrío, Jeremías López e Souto Salorio [AJL24], si basano su specifiche proprietà di generazione o assunzioni di compattezza che non si applicano universalmente a tutti gli stack algebrici. La sfida specifica affrontata qui è se la classificazione delle sottocategorie $\otimes$-localizzanti si estenda agli stack algebrici senza assumere a priori che $D_{qc}(X)$ sia generata da oggetti compatti.

Metodologia
Il saggio impiega un principio di discesa basato sulla nozione di discedibilità introdotta da Balmer e Mathew [Bal16, Mat16]. La strategia centrale consiste nel ridurre il problema per gli stack algebrici al caso degli schemi tramite presentazioni lisce.

1. Generazione per Punti: Il saggio introduce il concetto di stack "generato per punti" (Definizione 1.1). Uno stack algebrico quasi compatto e quasi separato $X$ è detto generato per punti se $D_{qc}(X)$ è generata dalle immagini dirette dei fasci di struttura degli spettri di campi, ovvero oggetti della forma $R(ts)_* \mathcal{O}_{\text{Spec}(k)}$, dove $ts: \text{Spec}(k) \to X$ rappresenta un punto in $|X|$.
2. Discesa Liscia: L'osservazione tecnica principale è che la generazione per punti soddisfa una forma di discesa liscia. Gli autori dimostrano che se uno stack algebrico $X$ ammette una presentazione liscia da uno schema generato per punti, allora lo stesso $X$ è generato per punti.
3. Strumenti Tecnici:
   • Lemma 3.1: Stabilisce che l'immagine inversa di una sottocategoria localizzante sotto un funtore esatto che preserva i piccoli coprodotti è localizzante.
   • Lemma 3.2: Dimostra che la sottocategoria $\otimes$-localizzante generata dalle immagini dirette dei campi residui per un insieme di punti $S \subseteq |X|$ coincide con la standard sottocategoria localizzante generata dagli stessi oggetti, ed è indipendente dalla scelta dei rappresentanti per i punti.
   • Lemma 3.3 & 3.4: Utilizzano le proprietà dei generatori compatti negli schemi per relazionare i prodotti tensore e le sottocategorie localizzanti.
   • Lemma 3.5: Il passaggio cruciale che mostra come, per uno stack concentrato $X$ con una presentazione liscia da uno schema affine generato per punti, ogni sottocategoria $\otimes$-localizzante sia generata dalle immagini dirette dei campi residui corrispondenti a un sottoinsieme di $|X|$.
   • Proposizione 3.8: Stabilisce che uno schema quasi compatto e quasi separato è generato per punti se e solo se ammette una copertura aperta affine da schemi affini generati per punti.

Contributi Chiave e Risultati
Il saggio stabilisce i seguenti risultati principali:

• Teorema 1.2: Sia $X$ uno stack algebrico concentrato affine-puntato. Se esiste una presentazione liscia di $X$ da uno schema generato per punti, allora $X$ è generato per punti.
• Corollario 1.3: Sotto le ipotesi del Teorema 1.2, esiste una biiezione tra l'insieme delle sottocategorie $\otimes$-localizzanti di $D_{qc}(X)$ e i sottoinsiemi dello spazio topologico sottostante $|X|$.
  • La mappa $\phi$ invia una sottocategoria $\mathcal{T}$ all'insieme dei punti $p \in |X|$ rappresentati da $t: \text{Spec}(k) \to X$ tali che $Rt_* \mathcal{O}_{\text{Spec}(k)} \in \mathcal{T}$.
  • La mappa inversa $\theta$ invia un sottoinsieme $S \subseteq |X|$ alla sottocategoria localizzante generata da $\{R(ts)_* \mathcal{O}_{\text{Spec}(k)}\}_{s \in S}$.

Questi risultati dimostrano che, per una vasta classe di stack algebrici (inclusi quelli con stabilizzatori affini e inerzia finitamente presentata, o stack equicaratteristici), le sottocategorie $\otimes$-localizzanti sono interamente determinate dalla topologia dello stack e sono generate dalle immagini dirette dei fasci di struttura degli spettri di campi.

Significato e Ambito
Il saggio sostiene di recuperare la classificazione delle sottocategorie $\otimes$-localizzanti per schemi (e stack) noetheriani attraverso un metodo diverso rispetto ai lavori precedenti, specificamente utilizzando la discedibilità e le presentazioni lisce piuttosto che fare affidamento direttamente sulla classificazione delle sottocategorie localizzanti per schemi affini [AJL24].

Gli autori notano che le loro dimostrazioni non imitano direttamente il caso degli schemi, ma riducono invece il problema al caso degli schemi utilizzando le proprietà delle presentazioni lisce. I risultati si applicano agli stack di Deligne–Mumford finitamente presentati su un campo e a qualsiasi spazio algebrico noetheriano.

Il saggio evidenzia anche limitazioni e controesempi:

• Patologia 1.7: Citando Balchin–Omar Gómez–Stevenson [BOS26], il saggio nota che la generazione per punti fallisce per l'anello di polinomi con infinite variabili. Di conseguenza, il Teorema 1.2 implica che la generazione per punti fallisce per le presentazioni lisce di tali schemi, fornendo nuovi esempi in cui la classificazione fallisce anche per gli schemi.
• Osservazione 1.5: Il saggio distingue tra i campi residui omologici derivanti dallo spettro di Balmer e gli oggetti specifici $R(ts)_* \mathcal{O}_{\text{Spec}(k)}$ utilizzati in questa classificazione, notando che essi non devono necessariamente coincidere.

In sintesi, il lavoro estende la classificazione delle sottocategorie $\otimes$-localizzanti a una classe più ampia di stack algebrici stabilendo un principio di discesa per la proprietà di "generazione per punti", collegando così la struttura categoriale di $D_{qc}(X)$ direttamente alla topologia sottostante $|X|$ senza richiedere la generazione da oggetti compatti.