Sintesi Tecnica: Lo Spettro delle Categorie $\infty$ Stabili con Azioni

Enunciato del Problema

Lo studio degli spettri associati a categorie triangolate o $\infty$-stabili funge da ponte tra le strutture categoriali astratte e la geometria sottostante. Esistono due framework primari:

1. Lo Spettro Tensor Triangolare di Balmer: Introdotto da Balmer [Bal05], associa uno spazio anellato localmente $\text{Spec}^\otimes(\mathcal{T})$ a una categoria triangolata tensoriale $\mathcal{T}$, classificando gli ideali tensoriali spessi. Esso recupera con successo spazi geometrici (ad es. schemi) dai complessi perfetti. Tuttavia, richiede una struttura di prodotto tensoriale globale.
2. Lo Spettro Triangolare di Matsui: Proposto da Matsui [Mat21] e ulteriormente sviluppato da Hirano, Ouchi e altri [HO22, HO24, HKO24, Ito23, IM24], questo generalizza il concetto di spazi geometrici a categorie triangolari prive di una struttura tensoriale, classificando le sottocategorie spesse.

Rimane un vuoto nel voler unificare questi approcci ed estenderli a contesti in cui una categoria $\mathcal{D}$ possiede un'azione di un'altra categoria $\mathcal{S}$ (un modulo $\mathcal{S}$), ma manca di un prodotto tensoriale globale su $\mathcal{D}$ stesso. Il saggio affronta la necessità di un invariante unificato che classifichi i sotto-moduli $\mathcal{S}$-spessi di una categoria $\infty$-stabile $\mathcal{D}$ dotata di un'azione di una categoria $\infty$-stabile $\mathcal{S}$, recuperando al contempo l'intuizione geometrica classica in vari contesti non tensoriali o relativi.

Metodologia

L'autore costruisce un nuovo invariante chiamato spettro relativo di Matsui, denotato con $\text{Spec}(\mathcal{D}, \mathcal{S}, \mathcal{B})$, per un dato $(\mathcal{D}, \mathcal{S}, \mathcal{B})$ composto da oggetti algebrici $\mathcal{B}, \mathcal{S} \in \text{Cat}^{\text{perf}}_\infty$, un omoformismo $\phi: \mathcal{B} \to \mathcal{S}$, e un modulo a sinistra $\mathcal{S}$ dato da $\mathcal{D} \in \text{Cat}^{\text{perf}}_\infty$.

Costruzione:

1. Primi e Topologia: Lo spazio topologico sottostante è definito tramite i primi di $\mathcal{S}$. Una sottocategoria spessa $\mathcal{S}$-sottomodulo $P \subset \mathcal{D}$ è un primo di $\mathcal{S}$ se l'intersezione di qualsiasi famiglia di $\mathcal{S}$-sottomoduli che contengono strettamente $P$ contiene anch'essa strettamente $P$. Lo spazio $\text{Spc}(\mathcal{D}, \mathcal{S})$ è l'insieme di tali primi dotato di una topologia generata dai supporti $\text{Supp}(W) = \{P \mid W \not\subset P\}$.
2. Fascio di Struttura: Il fascio di struttura $\mathcal{O}$ è costruito utilizzando le trasformazioni naturali delle funzioni identità sulle categorie localizzate, specificamente $\mathcal{O}(U) = \text{Nat}^0_{\mathcal{B}}(\text{Id}_{\mathcal{D}_U}, \text{Id}_{\mathcal{D}_U})$, dove $\mathcal{D}_U$ è la localizzazione di $\mathcal{D}$ nell'insieme aperto $U$.
3. Universalità: Lo spettro è caratterizzato come il dato di supporto universale. Un dato di supporto è uno spazio topologico $T_0$ dotato di una mappa da oggetti di $\mathcal{D}$ a sottoinsiemi chiusi che soddisfi invarianza per shift, compatibilità con l'azione, additività per somma diretta, esattezza e distinguibilità. Lo spettro relativo di Matsui è mostrato essere l'oggetto iniziale nella categoria di tali dati di supporto.

Strumenti Tecnici Chiave:

• Commutatività delle Localizzazioni: Il saggio utilizza le condizioni sotto le quali le localizzazioni di categorie $\infty$-stabili commutano (Lemma 5.1, Lemma 5.4), il che è cruciale per stabilire le proprietà di discesa e le decomposizioni fibra per fibra.
• Ammissibilità e Smashing: L'autore introduce condizioni (ammissibili, smashing, rigide) sul dato $(\mathcal{D}, \mathcal{S})$ per garantire l'esistenza di un morfismo naturale verso lo spettro della base $\text{Spec}(\mathcal{S}, \mathcal{S})$ e per garantire che lo spettro si comporti bene sotto base change e localizzazione.

Contributi Chiave e Risultati

1. Unificazione e Generalizzazione

Lo spettro relativo di Matsui generalizza sia le costruzioni di Balmer che quelle di Matsui:

• Se $\mathcal{D} = \mathcal{S} = \mathcal{T}$ (una categoria triangolata tensoriale rigida), $\text{Spec}(\mathcal{D}, \mathcal{S})$ recupera lo spettro di Balmer $\text{Spec}^\otimes(\mathcal{T})$.
• Se $\mathcal{S} = \text{Perf}(Z)$ o $\text{Sp}^\omega$ (spettri finiti), recupera lo spettro di Matsui $\text{Spec}_\triangle(\mathcal{D})$.
• Fornisce un framework unificato per classificare i sottomoduli $\mathcal{S}$-spessi, estendendo la geometria tensoriale triangolare a contesti privi di un prodotto tensoriale globale.

2. Proprietà Fondamentali

• Classificazione dei Sottomoduli: Esiste una biiezione tra i sottomoduli $\mathcal{S}$-spessi di $\mathcal{D}$ e i sottoinsiemi chiusi per specializzazione di $\text{Spc}(\mathcal{D}, \mathcal{S})$ (Teorema 4.3). Ogni $\mathcal{S}$-sottomodulo è un'intersezione di primi $\mathcal{S}$-sottomoduli.
• Morfismo alla Base: Per dati ammissibili, esiste un morfismo canonico $\text{Spec}(\mathcal{D}, \mathcal{S}) \to \text{Spec}(\mathcal{S}, \mathcal{S})$. Ciò consente un'analisi fibra per fibra dello spettro.
• Discesa e Base Change: Lo spettro soddisfa proprietà di discesa (Lemma 7.2) e si comporta bene sotto base change (Teorema 6.7), incluse le immersioni quando la base è localmente generata dall'immagine di una sotto-algebra.

3. Applicazioni Geometriche

Il saggio dimostra che lo spettro relativo di Matsui recupera spazi geometrici classici da dati categoriali in diversi contesti:

• Schemi: Per un morfismo piatto $X \to Y$ con $Y$ regolare, lo spettro di $\text{Perf}(X)$ come modulo $\text{Perf}(Y)$ è uno spazio anellato localmente sopra $Y$, dato fibra per fibra dallo spettro di Matsui di $\text{Perf}(X_y)$. Schemi derivatamente equivalenti relativi appaiono come sottoschemi aperti.
• Categorie Derivate Twisted: Per le categorie derivate twisted $\text{Perf}(X, \mu)$, lo spettro è canonicamente isomorfo allo schema base $X$.
• Schemi di Severi–Brauer: Per uno schema di Severi–Brauer $Y \to X$, lo spettro codifica $Y$ insieme ad ulteriori copie dello schema base $X$, riflettendo le decomposizioni semi-ortogonali. In dimensione relativa uno, lo spettro è esplicitamente descritto come $Y \sqcup (\coprod_{\mathbb{Z}} X)$.
• Singolarità:
  • Per la categoria delle singolarità $\text{Sing}(X)$, se $X$ è localmente un ipersuperficie, lo spettro recupera il locus singolare di $X$.
  • Per $\text{Coh}(X)$, la fibra sopra un punto $x$ si relaziona con il codimensione dell'embedding dell'anello locale $\mathcal{O}_{X,x}$. Lo spettro classifica i sottomoduli di $\text{Coh}(X)$ tramite sottoinsiemi chiusi per specializzazione di uno spazio legato al locus singolare.
• Fattorizzazioni Matriziali: Per le categorie di fattorizzazione derivata $\text{DMF}(X, L, W)$, lo spettro recupera il locus singolare relativo $\text{Sing}(X_0/X)$, estendendo i risultati di Hirano [Hir19].
• Algebre di Koszul: Lo spettro classifica le sottocategorie spesse su algebre di Koszul di anelli regolari, generalizzando i risultati di Liu e Pollitz [LP25].

Significato

Il saggio sostiene che lo spettro relativo di Matsui estende la portata della geometria tensoriale triangolare a contesti in cui un prodotto tensoriale globale è assente o in cui la categoria è definita rispetto a una base. Preservando l'intuizione geometrica attraverso la classificazione delle sottocategorie, esso permette di recuperare i loci geometrici classici sottostanti (come schemi, loci singolari e strutture twisted) da dati puramente categoriali.

La costruzione fornisce un framework unificato che sussume le precedenti teorie spettrali (Balmer e Matsui) e offre uno strumento robusto per analizzare la geometria delle categorie $\infty$-stabili dotate di azioni. I risultati stabiliscono che anche in contesti relativi complessi (ad es. categorie twisted, fattorizzazioni matriciali e categorie di singolarità), la struttura categoriale conserva informazioni sufficienti per ricostruire i rilevanti loci geometrici e classificare i loro sottomoduli.