Proxy smallness meets $t$-structures

Sintesi Tecnica: La Piccolezza dei Proxy incontra le t-Strutture

1. Problema e Motivazione
Il lavoro affronta i limiti della "piccolezza dei proxy" (proxy smallness), un concetto introdotto da Dwyer, Greenlees e Iyengar [DGI06a, DGI06b] come indebolimento della compattezza nelle categorie triangolate. Sebbene la piccolezza dei proxy caratterizzi con successo le singolarità complete intersezioni locali (LCI) nell'ambito locale (ad es. [Pol19]) e sia stata raffinata tramite azioni tensoriali per caratterizzare globalmente gli schemi LCI ([BILP22]), essa non si comporta bene sotto la globalizzazione quando osservata attraverso la lente delle $t$-strutture. Nello specifico, gli analoghi globali ingenui della piccolezza dei proxy non catturano le proprietà geometriche corrette durante la transizione dagli ambiti locali a quelli globali.

Gli autori mirano a introdurre un raffinamento naturale della piccolezza dei proxy che integri le $t$-strutture e le azioni tensoriali. L'obiettivo centrale è sviluppare una teoria della "piccolezza dei proxy per le $t$-strutture" (nello specifico $t$-proxy smallness e $t$-$\otimes$-proxy smallness) per fornire nuove caratterizzazioni degli schemi LCI e classificare sottocategorie specifiche (preaisles) all'interno della categoria derivata limitata di fasci coerenti, $D^b_{\text{coh}}(X)$.

2. Metodologia e Quadro Teorico
La teoria è sviluppata nel contesto di categorie triangolate tensoriali rigidamente generate da oggetti compatti, concentrandosi specificamente su $D_{\text{qc}}(X)$ per uno schema noetheriano $X$. La metodologia si basa su tre pilastri tecnici principali:

• Azioni Tensoriali e Preaisles: Gli autori utilizzano l'azione della categoria dei complessi perfetti, $\text{Perf}(X)$, su $D_{\text{qc}}(X)$ e categorie correlate (come la categoria omotopica degli iniettivi $K(\text{Inj}(X))$). Definiscono i $\otimes$-preaisles (sottocategorie chiuse rispetto agli shift positivi, estensioni, sommandi diretti e tensorizzazione con $\text{Perf}_{\leq 0}(X)$).
• Ricollamenti (Recollements): Uno strumento cruciale è il ricollamento di Krause che mette in relazione $D_{\text{qc}}(X)$, $K(\text{Inj}(X))$ e la categoria delle singolarità $D_{\text{sg}}(X)$. Gli autori utilizzano questo quadro per "incollare" le $t$-strutture e analizzare come proprietà come la piccolezza dei proxy si comportino attraverso queste categorie.
• Generazione Pseudo-coerente: Il lavoro estende i risultati dal caso affine a schemi noetheriani arbitrari studiando gli aisles generati da complessi pseudo-coerenti. Un risultato tecnico chiave (Teorema 3.5) stabilisce che gli $\otimes$-aisles generati da complessi pseudo-coerenti sono generati da oggetti compatti, generalizzando [ATJLS10].

3. Definizioni Chiave e Contributi

• $t$-Proxy Smallness: Un oggetto $P$ è definito $t$-proxy small se il preaisle cocompleto generato da $P$, denotato $\langle P \rangle^{(-\infty, 0]}$, è generato da oggetti compatti e i suoi oggetti compatti giacciono all'interno del preaisle generato dagli oggetti compatti di $P$. Ciò restringe il processo di "costruzione" alle sospensioni positive e alle estensioni, a differenza della piccolezza dei proxy classica che permette operazioni triangolate arbitrarie.
• $t$-$\otimes$-Proxy Smallness: Questo estende il concetto alla presenza di un'azione tensoriale. Un oggetto è $t$-$\otimes$-proxy small se il $\otimes$-preaisle generato da esso soddisfa la condizione di $t$-proxy smallness.
• Caratterizzazione Strutturale (Teorema 4.7): Gli autori caratterizzano gli oggetti $t$-proxy small tramite ricollamenti. Un oggetto $P$ è $t$-proxy small se e solo se:
  1. Il preaisle $\langle P \rangle^{(-\infty, 0]}$ è generato da oggetti compatti.
  2. Un endofunctor specifico che coinvolge l'Hom derivato e il prodotto tensoriale preserva le coproduzioni piccole.
  3. La $t$-struttura standard dell'algebra dg-endomorfismi di $P$ si incolla lungo il ricollamento rilevante.
• Distinzione dalla Piccolezza dei Proxy Classica: Il lavoro dimostra che la $t$-proxy smallness è una condizione strettamente più forte. L'Esempio 4.11 costruisce un oggetto in $D^b_{\text{coh}}(R)$ (dove $R$ è un anello artiniano locale specifico) che è proxy small ma non $t$-proxy small. Ciò si basa su controesempi teorico-modulari alle congetture di Eisenbud e Auslander trovati in [JŞ04] e [GP90].

4. Risultati Principali

• Caratterizzazione degli Schemi LCI (Proposizione 1.2): Il lavoro fornisce una nuova caratterizzazione degli schemi complete intersezioni locali. Per uno schema noetheriano $X$, sono equivalenti:

  1. $X$ è localmente una complete intersezione.
  2. Ogni oggetto di $D^b_{\text{coh}}(X)$ è $\otimes$-proxy small.
  3. Ogni oggetto di $D^b_{\text{coh}}(X)$ è $t$-$\otimes$-proxy small.
     La novità risiede nella condizione (3), che offre un raffinamento $t$-strutturale delle caratterizzazioni esistenti. La prova utilizza una proprietà da locale a globale stabilita tramite il Lemma 6.8, mostrando che l'appartenenza a un aisle generato da oggetti compatti su $K(\text{Inj}(X))$ è una condizione locale sui fasci.

• Classificazione dei Preaisles (Teorema 1.1 e Teorema 5.4): Gli autori stabiliscono una mappa iniettiva $\Theta$ dalla collezione di sottocategorie $\otimes$-sospese di $D^b_{\text{coh}}(X)$ (generate da oggetti $t$-$\otimes$-proxy small) al prodotto cartesiano di:

  • Sottocategorie $\star$-sospese della categoria delle singolarità $D_{\text{sg}}(X)$.
  • Filtrazioni di Thomason su $X$.
    La mappa è data da $A \mapsto (\langle \pi(A) \rangle^{(-\infty, 0]}, \phi_A)$, dove $\pi$ è la localizzazione di Verdier e $\phi_A$ è la filtrazione di Thomason associata all'aisle generato in $D_{\text{qc}}(X)$.

• Classificazioni Esplicite in Casi Specifici:

  • Singolarità Iperficiali (Teorema 1.3): Se $X$ ha solo singolarità iperficiali, $\Theta$ diventa una biiezione tra le sottocategorie $\otimes$-sospese di $D^b_{\text{coh}}(X)$ e le coppie $(W, \phi)$, dove $W$ è un sottoinsieme chiuso per specializzazione del luogo singolare e $\phi$ è una filtrazione di Thomason che soddisfa una specifica condizione di contenimento.
  • Loci Zeros di Sezioni (Teorema 1.5): Per gli schemi $X$ che sorgono come luoghi zeros di sezioni di fibrati vettoriali su schemi regolari (soddisfacenti proprietà di risoluzione), la classificazione è raffinata per coinvolgere il luogo singolare di uno schema iperficialo correlato $Y$. Questo risultato fornisce una generalizzazione non affine della classificazione di Takahashi [Tak25] per le sottocategorie sospese che contengono il fascio strutturale.

5. Significato e Affermazioni
Il lavoro afferma di fornire un "raffinamento naturale" della piccolezza dei proxy che è sensibile alla $t$-struttura. Il suo significato è duplice:

1. Caratterizzazione Geometrica: Offre un nuovo criterio $t$-strutturale per identificare gli schemi complete intersezioni locali, aggiornando i risultati precedenti per gestire casi non separati e fornendo un principio da locale a globale più robusto.
2. Teoria della Classificazione: Produce una classificazione topologica dei $\otimes$-preaisles su $D^b_{\text{coh}}(X)$ per classi specifiche di schemi (iperficiali e luoghi zeros). Questa classificazione collega la geometria dello schema (tramite filtrazioni di Thomason) e le sue singolarità (tramite la categoria delle singolarità) alla struttura della sua categoria derivata.

Gli autori sottolineano che il loro approccio è indipendente dai metodi utilizzati nel lavoro recente di Takahashi [Tak25], offrendo una prova alternativa e una generalizzazione agli ambiti non affini. Inoltre, la costruzione di controesempi (Esempio 4.11) evidenzia le sottili differenze tra le nozioni classiche e quelle $t$-strutturali di piccolezza, sfruttando risultati profondi dell'algebra commutativa riguardanti il comportamento dei moduli su anelli non-LCI.