Classification and nonexistence for $t$-structures on derived categories of schemes

Sintesi Tecnica: Classificazione e Non Esistenza per t-Strutture sulle Categorie Derivate di Schemi

Enunciato del Problema
Il lavoro affronta la classificazione delle t-strutture tensoriali sulle categorie derivate di fasci coerenti ($D^b_{\text{coh}}(X)$) e complessi perfetti ($\text{Perf}(X)$) su schemi noetheriani, in particolare quelle con supporto prescritto in un sottoinsieme chiuso $Z$. Mentre la classificazione delle t-strutture tensoriali a generazione compatta sulla categoria derivata illimitata di fasci quasi-coerenti ($D_{\text{qc}}(X)$) è ben compresa tramite filtrazioni di Thomason (stabilite in lavori come [ATJLS10], [DS23], [Lan25]), il problema di determinare quando queste strutture si restringono a sottocategorie di complessi coerenti o perfetti rimane sottile.

Una motivazione centrale è la congettura di Antieau–Gepner–Heller, che postula che $\text{Perf}(X)$ ammetta una t-struttura limitata se e solo se $X$ è regolare. Ciò è stato recentemente risolto da Neeman [Nee24] nel caso generale e da Smith [Smi22] nel caso affine. Questo lavoro mira a estendere questi risultati a sottoinsiemi chiusi arbitrari $Z$ e a fornire una caratterizzazione topologica di quando le t-strutture su $D_{\text{qc}}(X)$ si restringono a $D^b_{\text{coh}, Z}(X)$ e $\text{Perf}_Z(X)$.

Metodologia
Gli autori adottano una strategia "dal locale al globale", sfruttando il fatto che molte proprietà delle t-strutture sugli schemi possono essere rilevate localmente su aperti affini o sugli anelli locali. Gli strumenti tecnici fondamentali includono:

1. Filtrazioni di Thomason: La classificazione si basa sulla corrispondenza biunivoca tra t-strutture tensoriali a generazione compatta su $D_{\text{qc}}(X)$ e filtrazioni di Thomason (sequenze di sottoinsiemi chiusi per specializzazione).
2. Condizione di Cousin Debole Relativa: Gli autori introducono e utilizzano una condizione di "Cousin debole relativa" per le filtrazioni di Thomason su un sottoinsieme chiuso $Z$. Ciò generalizza la classica condizione di Cousin debole da [ATJLS10] al contesto relativo.
3. Restrizione e Localizzazione: Il lavoro stabilisce che la restrizione di una t-struttura a un sottoinsieme chiuso $Z$ (o a un sottopensieme aperto) corrisponde alla restrizione della filtrazione di Thomason associata. I Lemma 3.5, 3.6 e 3.17 dimostrano che i funtori di troncamento commutano con la restrizione ad aperti affini e ad anelli locali, permettendo di ridurre questioni globali a condizioni algebriche locali.
4. Teoria del Supporto e Regolarità: I risultati di non esistenza si basano sull'analisi del comportamento dei complessi di Koszul e della coomologia locale. Nello specifico, gli autori utilizzano la dimensione dei supporti e le proprietà degli anelli locali (regolari vs non regolari) per derivare contraddizioni quando si assume che le t-strutture si restringano a complessi perfetti in contesti non regolari.

Contributi e Risultati Chiave

• Classificazione sui Fasci Coerenti con Supporto (Teorema 1.2 & Proposizione 1.1):
  Per uno schema $X$ quasi-compatto, CM-eccellente, di dimensione di Krull finita e per un sottoinsieme chiuso $Z$, il lavoro stabilisce una corrispondenza biunivoca tra:

  • t-strutture tensoriali (o $\otimes$-assi) su $D^b_{\text{coh}, Z}(X)$.
  • Filtrazioni di Thomason su $X$ che sono "deboli Cousin su $Z$".

  Una filtrazione $\phi$ è debole Cousin su $Z$ se, per ogni generalizzazione diretta $p \leadsto q$ in $Z$, $q \in \phi(n)$ implica $p \in \phi(n-1)$. Questo risultato generalizza i risultati di classificazione affine [ATJLS10, Tak23] al contesto globale e fornisce un criterio topologico per l'esistenza di tali restrizioni.

• Non Esistenza e Rilevazione della Regolarità (Teorema 1.3):
  Il lavoro dimostra che un sottoinsieme chiuso non vuoto $Z$ di uno schema noetheriano $X$ è contenuto nel luogo regolare di $X$ se e solo se esiste una filtrazione di Thomason non costante su $X$ la cui t-struttura associata su $D_{\text{qc}}(X)$ si restringe a $\text{Perf}_Z(X)$.

  • Se $Z$ contiene un punto singolare, nessuna t-struttura non costante può restringersi a $\text{Perf}_Z(X)$.
  • Ciò recupera il teorema di Neeman [Nee24] nel caso affine ($Z=X$) e estende il risultato di Smith [Smi22] a dimensioni di Krull arbitrarie.
  • La prova utilizza tecniche di algebra locale (in particolare proprietà della coomologia locale e dei complessi di Koszul) piuttosto che i metodi delle categorie triangolate approssimabili usati da Neeman.

• Classificazione sui Complessi Perfetti con Supporto (Corollario 1.4):
  Combinando i risultati precedenti, gli autori classificano le t-strutture su $\text{Perf}_Z(X)$. Una filtrazione di Thomason $\phi$ produce una t-struttura che si restringe a $\text{Perf}_Z(X)$ se e solo se, per ogni componente connessa $Z_t$ di $Z$:

  • Se $Z_t$ è nel luogo regolare, $\phi \cap Z_t$ soddisfa la condizione di Cousin debole.
  • Se $Z_t$ non è nel luogo regolare, $\phi \cap Z_t$ deve essere costante.

Significato e Affermazioni
Il lavoro afferma di stabilire principi robusti dal locale al globale per le t-strutture tensoriali, colmando il divario tra il caso affine ben compreso e il contesto globale degli schemi. Caratterizzando la restrizione delle t-strutture a fasci coerenti e complessi perfetti tramite condizioni topologiche sulle filtrazioni di Thomason, il lavoro fornisce una classificazione completa per queste sottocategorie sotto l'ipotesi CM-eccellente.

Inoltre, i risultati di non esistenza offrono una nuova prospettiva sulla relazione tra algebra omologica e regolarità geometrica. Gli autori notano che i loro metodi forniscono una prova alternativa per il caso affine della congettura di Antieau–Gepner–Heller e la estendono a dimensioni di Krull infinite, applicandosi a esempi specifici di domini integrali noetheriani non regolari costruiti da Hochster [Hoc73]. I risultati hanno anche ramificazioni per la classificazione delle t-strutture derivanti da funzioni di perversità, offrendo una conclusione efficace a tale problema di classificazione su $D^b_{\text{coh}}(X)$.