A Criterion for Phantomness of dg-categories

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie algébrique non commutative et étudie la notion de catégorie fantôme (phantom category). Une catégorie dg (différentielle graduée) $T$ est dite "fantôme" si ses invariants additifs standards (comme la K-théorie ou l'homologie de Hochschild) s'annulent, bien que la catégorie elle-même ne soit pas nécessairement nulle.

Le problème central abordé par l'auteur est le suivant : L'annulation de certains invariants additifs (rationnels) caractérise-t-elle l'annulation du motif non commutatif rationnel d'une catégorie dg lisse et propre admettant une réalisation géométrique ?

Plus précisément, l'auteur s'intéresse aux catégories $T \subset \text{perf}^{\text{dg}}(X)$, où $X$ est une variété lisse et propre sur un corps $k$. Il cherche à établir des critères suffisants pour qu'une telle catégorie soit un "quasi-fantôme motivique" (c'est-à-dire que son motif non commutatif rationnel est nul), en se basant sur l'annulation de :

• La K-théorie algébrique localisée en $K(1, l)$ (pour un nombre premier $l$).
• L'homologie de Hochschild (en caractéristique 0).
• La K-théorie topologique (sur $\mathbb{C}$).

Cette question répond partiellement à une interrogation soulevée par Sosna [Sos20].

2. Méthodologie

La stratégie de Matsumoto repose sur une approche homotopique motivique sophistiquée, combinant la théorie des motifs de Voevodsky, la K-théorie algébrique et la théorie des spectres stables non commutatifs.

A. Construction du Motif Commutatif $M(T)$

L'auteur construit un objet central : un motif commutatif $M(T) \in \text{DM}(k, \mathbb{Q})$ associé à la catégorie dg $T$.

• Il utilise l'embedding pleinement fidèle de Robalo $LK_{GL_{\mathbb{Q}}}: \text{SH}(k)_{KGL_{\mathbb{Q}}} \hookrightarrow \text{SH}^{\text{nc}}(k)_{\mathbb{Q}}$ reliant les spectres motiviques commutatifs aux spectres non commutatifs.
• Le motif $M(T)$ est défini comme l'image de l'objet universel $U(T)$ de la catégorie non commutative via un foncteur de "commutativisation" :
  $$M(T) = H^{-1} \circ I \circ MK_{GL_{\mathbb{Q}}}(U(T))$$
  où $H^{-1}$ est un foncteur de troncature et $I$ un foncteur d'oubli.

B. Réalisations et Équivalence de Foncteurs

Le cœur technique de la preuve réside dans la comparaison de deux foncteurs symétriques monoidaux $F_1$ et $F_2$ définis sur la catégorie des spectres motiviques commutatifs $\text{SH}(k)_{KGL_{\mathbb{Q}}}$ :

1. $F_1$ (Réalisation Motif $\to$ K-théorie) : Construit via la réalisation $l$-adique $R_l$ et la structure de $KGL_{\mathbb{Q}}$.
2. $F_2$ (Réalisation K-théorie) : Construit directement à partir de la K-théorie algébrique localisée $LK_{(1,l)}K(-)$.

L'auteur démontre que $F_1 \simeq F_2$. Cette équivalence est prouvée en montrant qu'elles coïncident sur les générateurs compacts (les motifs de variétés lisses $M(X)$) en utilisant la suite spectrale de descente étale de Thomason pour la K-théorie localisée en $K(1,l)$.

C. Utilisation de la Finitude de Kimura

Une hypothèse cruciale est que la variété $X$ possède un motif de Chow Kimura-fini. Cette propriété implique que tout endomorphisme numériquement trivial du motif est nilpotent. Cette propriété est utilisée pour passer de l'annulation des réalisations (invariants) à l'annulation du motif lui-même.

3. Résultats Principaux

Théorème 1.2 (Critère de Fantômatisme)

Soit $k$ un corps, $T$ une catégorie dg lisse et propre admettant une réalisation géométrique dans $\text{perf}^{\text{dg}}(X)$, avec $X$ ayant un motif de Chow Kimura-fini. Alors :

1. Cas $l$-adique : Si $LK_{(1,l)}K(T_k)_{\mathbb{Q}} = 0$ (pour un nombre premier $l$ inversible dans $k$), alors $T$ est un quasi-fantôme motivique (son motif non commutatif rationnel est nul).
2. Cas caractéristique 0 : Si l'homologie de Hochschild $HH_*(T/k) = 0$, alors $T$ est un quasi-fantôme motivique.
3. Cas complexe : Si $k=\mathbb{C}$ et que la K-théorie topologique rationnelle $K_{\text{top}}(T)_{\mathbb{Q}} = 0$, alors $T$ est un quasi-fantôme motivique.

Lien avec les réalisations : Le théorème 2.1 établit que la réalisation $l$-adique du motif $M(T)$ recouvre la K-théorie localisée :
$$H^i(R_l(M(T))) \simeq \pi_i LK_{(1,l)}K(T)$$
Des résultats analogues sont obtenus pour les réalisations de Betti (K-théorie topologique) et de de Rham (homologie cyclique périodique).

Corollaire 1.3 : Invariance par Déformation

L'article établit une propriété d'invariance par déformation pour les catégories fantômes dans les familles lisses et propres.

• Si une fibre $X_0$ d'une famille $f: X \to S$ admet un quasi-fantôme motivique $T_0$ et que $LK_{(1,l)}K(T_0) \neq 0$ (condition de non-annulation technique), alors il existe un voisinage étale de $0$ où toutes les fibres admettent un quasi-fantôme motivique.
• Sous la conjecture de Belmans–Okawa–Ricolfi, la condition de non-annulation devient superflue.
• Ce résultat généralise les travaux de Böhmning et al. sur les surfaces de Godeaux en remplaçant la conjecture de Bloch par l'hypothèse de finitude de Kimura.

4. Contributions Clés

1. Construction d'un Motif Commutatif pour les Catégories Dg : L'auteur fournit une méthode systématique pour associer un objet dans la catégorie des motifs mixtes $\text{DM}(k, \mathbb{Q})$ à une sous-catégorie admissible de $\text{perf}^{\text{dg}}(X)$.
2. Équivalence de Réalisations : La preuve que la K-théorie localisée en $K(1,l)$ (et ses analogues topologiques/de Rham) est entièrement déterminée par le motif commutatif associé, via l'équivalence des foncteurs $F_1$ et $F_2$.
3. Critère de Nullité : L'établissement d'un critère rigoureux reliant l'annulation d'invariants additifs "classiques" (K-théorie, HH) à l'annulation du motif non commutatif, sous l'hypothèse de finitude de Kimura.
4. Réponse à Sosna : Fournir une réponse partielle positive à la question de Sosna sur la caractérisation des catégories fantômes par l'annulation des invariants.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Géométrie Non Commutative : Il renforce le pont entre la géométrie non commutative (catégories dg) et la géométrie algébrique classique (théorie des motifs), montrant que les propriétés "fantômes" peuvent être détectées via des outils motiviques classiques.
• Programme de Modèle Minimal et Symétrie Miroir : Les catégories fantômes sont liées à des phénomènes de symétrie miroir et à la classification des variétés. Ce critère offre un nouvel outil pour détecter et classifier ces objets dans des familles.
• Technique de Finitude de Kimura : L'article démontre la puissance de l'hypothèse de finitude de Kimura (qui est une conjecture majeure, vraie pour les surfaces avec genre géométrique nul) pour résoudre des problèmes de nullité dans les motifs, en évitant des hypothèses plus fortes ou des calculs directs complexes.
• Invariance par Déformation : Le résultat sur l'invariance par déformation est crucial pour l'étude des familles de variétés, permettant de propager l'existence de structures "fantômes" d'une fibre à l'ensemble de la famille.

En résumé, Matsumoto établit que pour une large classe de variétés (motifs Kimura-finis), l'annulation des invariants additifs rationnels équivaut à l'annulation du motif non commutatif, transformant ainsi un problème d'annulation de K-théorie en un problème de théorie des motifs plus maniable.