Tensor triangular geometry -- Notes for an Oberwolfach Seminar

Sintesi Tecnica: Note di Geometria Tensoriale Triangolare per un Seminario di Oberwolfach

Problema e Ambito
Il lavoro affronta la classificazione degli ideali tensoriali spessi e localizzanti all'interno di categorie triangolate che sorgono nella teoria delle rappresentazioni modulari, in particolare quelle associate a gruppi finiti. Il problema centrale è stabilire una "stratificazione" di queste categorie tramite uno spazio topologico appropriato, riducendo così la classificazione globale delle sottocategorie a un problema locale. L'autore, Henning Krause, sviluppa un quadro unificato per la teoria del supporto applicabile a due contesti principali: categorie triangolate equipaggiate con una struttura monoidale (tensoriale) e quelle che ammettono un'azione da parte di un anello gradato-commutativo. L'obiettivo finale è classificare queste sottocategorie calcolandone il supporto, con un focus specifico sulle categorie derivate delle rappresentazioni modulari di gruppi finiti.

Metodologia
La metodologia si basa sull'interazione tra teoria dei reticoli, coomologia locale e la geometria degli spettri di ideali primi. L'approccio è strutturato come segue:

1. Reticolo delle Sottocategorie Spesse: L'autore stabilisce innanzitutto la struttura reticolare delle sottocategorie spesse. Un concetto chiave introdotto è la "commutatività" tra coppie di sottocategorie spesse, definita tramite la fattorizzazione dei morfismi o l'isomorfismo dei funtori di localizzazione ($\Gamma_U \Gamma_V \cong \Gamma_{U \cap V}$). Si dimostra che le sottocategorie centrali (quelle che commutano con tutte le altre) formano un sottoreticolo distributivo e, sotto certe condizioni, un telaio (frame).
2. Supporto tramite Azioni Centrali: Il lavoro introduce il supporto coomologico per gli oggetti in una categoria triangolata $\mathcal{T}$ su cui agisce un anello gradato-commutativo $R$. Il supporto è definito come l'insieme degli ideali primi $\mathfrak{p} \in \text{Spec } R$ in cui la localizzazione $x_{\mathfrak{p}}$ è non nulla. L'autore utilizza oggetti di Koszul ($x//r$) per costruire sottocategorie spesse centrali $T_{V(\mathfrak{a})}$ associate a ideali $\mathfrak{a} \subseteq R$.
3. Coomologia Locale e Categorie Fibrate: Per le categorie triangolate generate compattamente, la teoria è estesa utilizzando funtori di coomologia locale $\Gamma_Y$ supportati su sottoinsiemi localmente chiusi $Y$ di uno spazio $X$. Si dice che la categoria è "fibrata" su $X$ se esiste un morfismo di reticoli dai sottoinsiemi aperti di $X$ alle sottocategorie spesse degli oggetti compatti. Ciò permette di definire un supporto per oggetti arbitrari tramite la non nullità dei funtori di coomologia locale $\Gamma_{\mathfrak{p}}(x)$.
4. Stratificazione: Una categoria è definita "stratificata" se soddisfa un principio locale-globale (ogni sottocategoria localizzante è la somma delle sue componenti locali) e una condizione di minimalità (non esistono sottocategorie localizzanti proprie non nulle nelle componenti locali). Sotto stratificazione, la mappa dalle sottocategorie localizzanti ai sottoinsiemi dello spettro diventa un isomorfismo di reticoli.
5. Confronto dei Supporti: Il lavoro confronta il supporto coomologico (tramite azione dell'anello) con il supporto tensoriale triangolare (tramite lo spettro di Balmer). Viene costruita una mappa di confronto $\rho_T: \text{Spc } \mathcal{T}^c \to \text{Spec } R$ e vengono stabilite le condizioni sotto le quali questa mappa è un omeomorfismo, collegando le due teorie del supporto.

Contributi e Risultati Chiave

• Teoria Generale di Stratificazione: Il lavoro fornisce un criterio generale (Proposizione 4.15, 4.18) affinché una categoria triangolata tensoriale rigidamente generata compattamente sia stratificata. Dimostra che la stratificazione è equivalente al fatto che la mappa di supporto induca un isomorfismo di reticoli tra gli ideali tensoriali localizzanti e i sottoinsiemi dello spettro.
• Algebre Differenziali Graded (DG): La teoria è applicata alle algebre DG. Il Teorema 5.1 stabilisce che se $A$ è un'algebra DG formale con coomologia noetheriana $H^*(A)$, allora $D(A)$ è stratificata tramite l'azione canonica di $H^*(A)$.
• Gruppi Abeliani Elementari $p$-gruppi: Utilizzando una versione DG della corrispondenza di Bernstein–Gelfand–Gelfand (BGG), il lavoro classifica gli ideali tensoriali spessi per l'algebra di gruppo di un gruppo abeliano elementare $p$-gruppo. Dimostra che il supporto coomologico induce un isomorfismo di reticoli tra gli ideali tensoriali spessi e i sottoinsiemi di Thomason dello spettro dell'anello di coomologia (Teorema 5.9).
• Gruppi Finiti (Ideali Spessi): Riducendo il problema ai sottogruppi abeliani elementari tramite la stratificazione di Quillen della coomologia di gruppo, il lavoro classifica gli ideali tensoriali spessi nella categoria derivata limitata dei moduli finitamente generati per un gruppo finito arbitrario $G$ (Teorema 5.14). La classificazione è data dal supporto coomologico su $H^*(G, k)$.
• Gruppi Finiti (Ideali Localizzanti): I risultati sono estesi alla categoria generata compattamente $K(\text{Inj } kG)$ (la categoria omotopica dei complessi di moduli iniettivi). Il Teorema 6.17 stabilisce che $K(\text{Inj } kG)$ è stratificata tramite l'azione di $H^*(G, k)$, fornendo una classificazione completa degli ideali tensoriali localizzanti tramite i sottoinsiemi di $\text{Spec } H^*(G, k)$.
• Categorie di Moduli Stabili: Di conseguenza, si dimostra che la categoria di moduli stabile $\text{StMod } kG$ è stratificata tramite lo spettro proiettivo $\text{Proj } H^*(G, k)$ (Osservazione 6.18).

Significato e Affermazioni
Il lavoro afferma di fornire un quadro completo per comprendere la struttura delle categorie triangolate nella teoria delle rappresentazioni modulari. Il suo significato primario risiede nella "categorificazione" della stratificazione di Quillen della coomologia di gruppo. Stabilendo che la categoria derivata delle rappresentazioni modulari è stratificata, il lavoro dimostra che la classificazione degli ideali tensoriali spessi e localizzanti è interamente determinata dall'anello di coomologia del gruppo.

L'autore nota che queste note non sono esaustive ma sono concepite per essere autonome, sviluppando i concetti necessari (come il reticolo delle sottocategorie spesse, le azioni centrali e la coomologia locale) specificamente per facilitare le applicazioni nella teoria delle rappresentazioni modulari. Il lavoro si fonda su risultati fondamentali di Quillen, Benson, Carlson, Rickard, Neeman e Balmer, sintetizzandoli in una teoria coerente di supporto e stratificazione. I risultati confermano che per i gruppi finiti, lo "spettro" che governa la geometria tensoriale triangolare è precisamente lo spettro dell'anello di coomologia di gruppo.