A Criterion for Phantomness of dg-categories

1. Il Problema di Ricerca

Il lavoro si inserisce nel contesto della geometria algebrica non commutativa, focalizzandosi sullo studio delle categorie fantasma (phantom categories). Una categoria dg (differenziale graduata) $T$ su un campo $k$ è definita "quasi-fantasma" se la sua omologia di Hochschild è nulla ($HH^*(T/k)=0$) e il suo gruppo di Grothendieck $K_0(T)$ è finito. È definita "fantasma universale" se $K_0(T \otimes Y) = 0$ per ogni varietà propria e liscia $Y$.

Il problema centrale affrontato dall'autore è determinare se la vanishing (annullamento) di certi invarianti additivi (come la K-teoria algebrica localizzata, l'omologia di Hochschild o la K-teoria topologica) sia sufficiente a caratterizzare l'essere una categoria fantasma, in particolare nel contesto razionale (con coefficienti in $\mathbb{Q}$).
In particolare, l'autore risponde parzialmente a una domanda sollevata da Sosna: se l'annullamento di invarianti specifici implica che la "motiva non commutativa razionale" della categoria sia nulla (definizione di motivic quasi-phantom).

2. Metodologia e Strumenti Teorici

L'approccio di Matsumoto combina la teoria dei motivi, la teoria dell'omotopia motivica e la K-teoria algebrica. I punti chiave della metodologia sono:

• Realizzazione Geometrica: Si considera una categoria dg $T$ che ammette una realizzazione geometrica, ovvero è una sottocategoria piena ammissibile di $\text{perf}^{\text{dg}}(X)$ per una varietà propria e liscia $X$ su $k$.
• Costruzione di un Motivo Non Commutativo: L'autore costruisce un nuovo invariante, il motivo non commutativo $M(T) \in \text{DM}(k, \mathbb{Q})$ (categoria dei motivi misti di Voevodsky/Cisinski-Deglise). Questo viene ottenuto tramite una catena di funtori che collega le categorie dg allo spettro della K-teoria algebrica razionale ($KGL_{\mathbb{Q}}$) e successivamente ai motivi classici.
• Fattorizzazione attraverso Spettri: Viene utilizzata l'immersione fedele di Robalo $LK_{GL_{\mathbb{Q}}}: \text{SH}(k)_{KGL_{\mathbb{Q}}} \hookrightarrow \text{SH}^{\text{nc}}(k)_{\mathbb{Q}}$ e il suo aggiunto destro per definire $M(T)$.
• Realizzazioni Coomologiche: Il cuore della dimostrazione risiede nel mostrare che la realizzazione di $M(T)$ in diverse teorie coomologiche (l-adica, Betti, de Rham) recupera esattamente gli invarianti algebrici e topologici della categoria $T$.
• Finitudine di Kimura: Un'ipotesi cruciale è che il motivo di Chow della varietà $X$ sia Kimura-finito. Questa proprietà (congettura di Kimura-O'Sullivan) implica che ogni endomorfismo numericamente nullo è nilpotente, permettendo di collegare l'annullamento numerico all'annullamento effettivo nel motivo.

3. Risultati Principali

A. Teorema di Riconoscimento degli Invarianti (Teorema 2.1 e 2.7)

L'autore dimostra che il motivo $M(T)$ agisce come un "ponte" universale. In particolare:

• Realizzazione l-adica: La realizzazione l-adica di $M(T)$ recupera la K-teoria algebrica localizzata in $K(1, l)$:
  $$H^i(R_l(M(T))) \simeq \pi_i LK_{(1,l)}K(T)$$
• Realizzazione di Betti e de Rham: Analogamente, per $k=\mathbb{C}$ o in caratteristica zero, le realizzazioni di Betti e de Rham di $M(T)$ recuperano rispettivamente la K-teoria topologica ($K_{\text{top}}$) e l'omologia ciclica periodica ($HP$).

B. Criterio di Phantomness (Teorema 1.2 e 3.3)

Sotto l'ipotesi che il motivo di Chow di $X$ sia Kimura-finito, l'autore stabilisce il criterio principale:
Se uno dei seguenti invarianti razionali si annulla, allora $T$ è un motivic quasi-phantom (cioè il suo motivo non commutativo razionale è nullo, e di conseguenza $K_0(T \otimes Y)_{\mathbb{Q}} = 0$ per ogni $Y$):

1. K-teoria l-adica localizzata: $LK_{(1,l)}K(T_k)_{\mathbb{Q}} = 0$ (per un primo $l$ invertibile in $k$).
2. Omologia di Hochschild: $HH^*(T/k) = 0$ (in caratteristica zero).
3. K-teoria topologica: $K_{\text{top}}(T)_{\mathbb{Q}} = 0$ (per $k=\mathbb{C}$).

Questo risultato conferma che, nel contesto Kimura-finito, la vanishing degli invarianti additivi è una condizione sufficiente per la phantomness motivica.

C. Invarianza per Deformazione (Corollario 1.3 e 4.2)

L'autore dimostra che la proprietà di ammettere una categoria fantasma è invariante per deformazione in famiglie lisce e proprie.

• Se una fibra $X_0$ di una famiglia $f: X \to S$ ammette una categoria fantasma motivica $T_0$ e soddisfa una condizione di non-vanishing (o sotto la congettura di Belmans-Okawa-Ricolfi), allora esiste un intorno étale di $0$ in $S$ tale che tutte le fibre ammettono una categoria fantasma motivica.
• Questo generalizza risultati precedenti su superfici di Godeaux, estendendo la strategia di combinazione tra la congettura di Bloch e l'invarianza del gruppo di Grothendieck a una classe più ampia di famiglie grazie all'ipotesi di Kimura-finitudine.

4. Significato e Contributi Chiave

1. Collegamento tra Motivi e Invarianti: Il lavoro fornisce una costruzione esplicita di un motivo non commutativo $M(T)$ che "sincronizza" diverse teorie di coomologia (l-adica, Betti, de Rham) con gli invarianti K-teorici e di omologia della categoria.
2. Risposta alla Domanda di Sosna: Fornisce una risposta parziale ma significativa alla domanda di Sosna, dimostrando che l'annullamento di invarianti specifici implica la vanishing del motivo non commutativo razionale, sotto ipotesi geometriche ragionevoli (Kimura-finitudine).
3. Strumento per la Classificazione: Il criterio stabilito offre un metodo pratico per verificare se una categoria dg è "fantasma" senza dover calcolare $K_0(T \otimes Y)$ per tutte le varietà $Y$, bastando controllare l'annullamento di un singolo invariante (es. $HH^*$ o $K_{\text{top}}$).
4. Stabilità nelle Famiglie: Il risultato sull'invarianza per deformazione è fondamentale per lo studio delle famiglie di varietà e delle loro categorie derivate, suggerendo che le proprietà "fantasma" non sono fenomeni isolati ma si propagano in famiglie lisce, a condizione che la geometria di base (motivo di Chow) rimanga ben comportata (Kimura-finita).

In sintesi, il paper di Matsumoto stabilisce un ponte rigoroso tra la teoria dei motivi classici e la geometria non commutativa, fornendo criteri efficaci per l'identificazione delle categorie fantasma attraverso l'analisi degli invarianti additivi.