The formal spectrum of a tensor-triangulated category

1. Il Problema e il Contesto

La geometria tensor-triangolare (tt-geometria) associa a una categoria tensor-triangolata essenzialmente piccola $\mathcal{K}$ uno spazio geometrico chiamato spettro di Balmer, denotato $\text{Spc}(\mathcal{K})$. Questo spettro è uno spazio spettrale la cui topologia è definita dai supporti degli oggetti di $\mathcal{K}$. Quando $\mathcal{K}$ è la categoria degli oggetti compatti della categoria derivata di uno schema $X$, lo spettro di Balmer recupera lo schema stesso (Teorema di ricostruzione di Balmer).

Tuttavia, in geometria algebrica classica, è spesso necessario studiare le completamenti formali di uno schema lungo un sottoinsieme chiuso $Y$. Questo processo isola il vicinato infinitesimale di $Y$, ricordando tutte le "spessiture" nilpotenti. Un analogo diretto nella tt-geometria è problematico per due motivi principali:

1. Le categorie localizzate (completate) in omotopia stabile spesso non sono generate rigidamente da oggetti compatti, rendendo difficile definire uno spettro di Balmer standard.
2. In contesti come l'omotopia stabile cromatica (es. la categoria $K(n)$-locale), gli oggetti compatti non contengono l'unità, quindi non formano una categoria tensor-triangolata nel senso stretto, e lo spettro degli oggetti dualizzabili può essere "troppo grande" o non riflettere la geometria locale attesa (es. ci si aspetterebbe un punto singolo per una "residua").

L'obiettivo del paper è costruire un analogo formale dello spettro di Balmer, chiamato spettro formale $\text{Spf}(\mathcal{K}, Y)$, per una coppia $(\mathcal{K}, Y)$ dove $\mathcal{K}$ è una categoria tensor-triangolata e $Y \subseteq \text{Spc}(\mathcal{K})$ è un sottoinsieme di Thomason.

2. Metodologia

Gli autori adottano un approccio basato sulle $\infty$-categorie stabili, lavorando con categorie "grandi" (presentabili) per gestire i completamenti, per poi restringersi agli oggetti compatti/dualizzabili.

• Definizione dello Spettro Formale:
  Per una categoria $\mathcal{K}$ e un sottoinsieme di Thomason $Y$, definiscono lo spazio topologico sottostante come $Y$ stesso (con la topologia di sottospazio). La struttura sheafica $\mathcal{O}_{\text{Spf}(\mathcal{K}, Y)}$ è costruita utilizzando la completazione (nel senso di Bousfield) della categoria associata "grande" $\mathcal{C} = \text{Ind}(\mathcal{K})$ rispetto a $Y$.
  Nello specifico, per un aperto di base $U(c)$, la sezione dello sheaf è data da:
  $$\pi_* \text{Hom}_{\mathcal{C}}(1, \widehat{(1[c^{-1}])}_Y)$$
  dove $\widehat{(-)}_Y$ è il funtore di completamento rispetto a $Y$ e $1[c^{-1}]$ è l'unità nella localizzazione.

• Teorema di Completamento (Teorema A):
  Il risultato fondamentale è che lo spettro formale calcolato direttamente dalla coppia $(\mathcal{K}, Y)$ è isomorfo allo spettro formale calcolato dagli oggetti dualizzabili della categoria completata $\widehat{\mathcal{C}}_Y$.
  $$\text{Spf}(\widehat{\mathcal{C}}_Y^d, \varphi^{-1}(Y)) \xrightarrow{\sim} \text{Spf}(\mathcal{K}, Y)$$
  Questo permette di calcolare oggetti geometrici complessi (lato destro) lavorando nella categoria completata più maneggevole concettualmente (lato sinistro).

• Località:
  Viene dimostrato che lo spettro formale soddisfa una proprietà di località rispetto agli aperti quasi-compatti, permettendo di "incollare" calcoli affini per ottenere risultati globali su schemi.

3. Contributi Chiave e Risultati Principali

A. Teorema di Hopkins-Neeman Formale (Teorema B)

Per un anello noetheriano commutativo $R$ e un ideale $I \subseteq R$, gli autori dimostrano che lo spettro formale della categoria derivata completa $D(R)$ lungo $V(I)$ è isomorfo allo schema formale classico $\text{Spf}(R^\wedge_I)$.
$$\text{Spf}(D(R)^c, V(I)) \cong \text{Spf}(R^\wedge_I)$$
Questo stabilisce che la costruzione è una vera generalizzazione della geometria algebrica classica.

B. Globalizzazione a Schemi (Teorema D)

Estendendo il risultato affine tramite il teorema di località, dimostrano che per uno schema noetheriano $X$ e un sottoinsieme chiuso $Z$, lo spettro formale della categoria degli oggetti perfetti $D_{qc}(X)^c$ lungo $Z$ è isomorfo al completamento formale dello schema $\widehat{X}_Z$:
$$\text{Spf}(D_{qc}(X)^c, Z) \cong \widehat{X}_Z$$
Questo è un analogo formale del teorema di ricostruzione di Thomason.

C. Omotopia Cromatica (Teorema E)

Applicano la teoria all'omotopia stabile cromatica. Considerano la categoria $E(n)$-locale e il suo completamento rispetto a un sottoinsieme di Thomason $Y_{h+1}$ (spetttri di tipo $\ge h+1$).

• Lo spettro formale risultante ha come spazio sottostante il sottoinsieme $Y_{h+1}$.
• Lo sheaf strutturale su aperti specifici è dato dai gruppi di omotopia di oggetti localizzati: $\pi_* L_{K(h+1) \vee \dots \vee K(k)} S^0$.
• Caso particolare: Quando $h = n-1$, il completamento corrisponde alla categoria $K(n)$-locale. Lo spettro formale degli oggetti dualizzabili in questa categoria è un singolo punto, risolvendo l'apparente paradosso menzionato nell'introduzione riguardo alla grandezza dello spettro degli oggetti dualizzabili non completati.

D. Esempi Aggiuntivi

• Omologia Equivariante: Analizzano la localizzazione di Bousfield della categoria stabile $G$-equivariante rispetto a $G_+$. Mostrano che, sebbene lo spazio sottostante sia omeomorfo allo spettro non equivariante, la struttura sheafica differisce (es. per $G=C_2, p=2$, le sezioni globali coinvolgono il completamento dell'anello di Burnside, non gli interi locali).
• Teoria delle Rappresentazioni Modulari: Per un gruppo finito $G$ e un campo $k$ di caratteristica $p$, il completamento lungo il punto chiuso corrispondente all'ideale massimale omogeneo dell'algebra di coomologia $H^*(G, k)$ produce uno spazio formale a un punto con anello delle sezioni globali $H^*(G, k)^\wedge_{\mathfrak{m}}$.

4. Significato e Impatto

Il lavoro di Heard e Nielsen è significativo per diversi motivi:

1. Unificazione Geometrica: Fornisce un quadro unificato che collega la geometria algebrica classica (schemi formali) alla geometria tensor-triangolare moderna, permettendo di trattare il completamento formale come un'operazione intrinseca alla categoria.
2. Gestione delle Categorie Non-Rigide: Risolve il problema tecnico di definire la geometria per categorie che non sono rigidamente generate da oggetti compatti (tipiche dei completamenti), utilizzando la struttura sheafica definita tramite la categoria "grande" e gli oggetti dualizzabili.
3. Strumento Computazionale: Il teorema di completamento (Teorema A) offre un metodo pratico per calcolare spettri formali complessi riducendoli a calcoli su categorie completate, che sono spesso più accessibili.
4. Nuova Prospettiva in Omotopia Cromatica: Offre una spiegazione geometrica precisa per il comportamento degli oggetti dualizzabili nelle categorie localizzate (come $K(n)$-locale), mostrando che la loro "geometria formale" è corretta e ben comportata (un punto), anche se la loro geometria "grezza" (spettro di Balmer standard) è più complessa.

In sintesi, il paper introduce un nuovo strumento fondamentale (lo spettro formale) che estende la potenza della tt-geometria a contesti di completamento e localizzazione, colmando il divario tra la teoria classica degli schemi formali e le moderne applicazioni in topologia algebrica e teoria delle rappresentazioni.