A Criterion for Phantomness of dg-categories

Resumo Técnico: Critério para Fantasmalidade de Categorias DG

1. Problema e Contexto

O artigo aborda uma questão fundamental na geometria algébrica não comutativa: o que caracteriza uma categoria DG (differential graded) "fantasma"?

• Definição de Fantasma: Uma categoria DG $T$ (admissível e própria) é frequentemente chamada de "quase-fantasma" se sua homologia de Hochschild $HH_*(T)$ e seu grupo $K_0(T)$ forem triviais (ou finitos). É um "fantasma universal" se $K_0(T \otimes Y) = 0$ para toda variedade própria suave $Y$.
• A Questão de Sosna: O autor busca responder a uma pergunta levantada por Sosna: A anulação de invariantes aditivos (como a teoria K-algébrica localizada, homologia de Hochschild ou teoria K topológica) é suficiente para garantir que a categoria seja um "fantasma motivico"?
• Objetivo: Estabelecer um critério rigoroso onde a anulação de certos invariantes numéricos ou cohomológicos implica que o "motivo não comutativo" da categoria é zero, caracterizando-a como um fantasma motivico.

2. Metodologia e Ferramentas

O autor utiliza uma combinação sofisticada de teoria de motivos, topologia algébrica motivica e teoria K-algébrica.

• Realização Motívica: O autor constrói um motivo não comutativo $M(T) \in DM(k, \mathbb{Q})$ (categoria de motivos mistos sobre um corpo $k$ com coeficientes racionais) para uma subcategoria admissível $T \subset \text{perf}^{dg}(X)$.
• Funtores de Realização: O núcleo da prova reside na construção de funtores que relacionam o motivo $M(T)$ com invariantes clássicos:
  1. Realização $l$-ádica: Recupera a teoria K algébrica localizada em $K(1, l)$.
  2. Realização de Betti: Recupera a teoria K topológica (para $k=\mathbb{C}$).
  3. Realização de de Rham: Recupera a homologia cíclica periódica.
• Estrutura da Prova:
  • Define funtores $F_1$ e $F_2$ de uma categoria de espectros motivicos ($SH_{KGL}$) para a categoria de módulos sobre um anel de coeficientes ($D(\mathbb{Q}_l[\beta^{\pm}])^{op}$).
  • Demonstra que $F_1$ (via realização $l$-ádica) e $F_2$ (via teoria K localizada) são equivalentes.
  • Utiliza a finitude de Kimura do motivo de Chow da variedade ambiente $X$ para provar que a anulação de um invariante específico implica a anulação do motivo inteiro $M(T)$.

3. Resultados Principais

Teorema 1.2 (Critério de Fantasmalidade):
Seja $k$ um corpo e $T$ uma categoria DG suave e própria que admite uma realização geométrica em uma variedade $X$ cujo motivo de Chow é Kimura-finito. Então:

1. Caso $l$-ádico: Se a teoria K localizada $LK_{(1,l)}K(T_k)_{\mathbb{Q}} = 0$, então $T$ é um quase-fantasma motivico (seu motivo não comutativo racional é zero).
2. Caso Característica Zero: Se a homologia de Hochschild $HH_*(T/k) = 0$, então $T$ é um quase-fantasma motivico.
3. Caso Complexo: Se a teoria K topológica racional $K_{top}(T)_{\mathbb{Q}} = 0$, então $T$ é um quase-fantasma motivico.

Corolário 1.3 (Invariância por Deformação):
O artigo estabelece que a propriedade de admitir uma categoria fantasma é invariante por deformação em famílias suaves e próprias.

• Se uma fibra $X_0$ de uma família admite um quase-fantasma motivico, então, sob certas condições (e assumindo a conjectura de Belmans–Okawa–Ricolfi), todas as fibras em uma vizinhança étale também admitem tais categorias.
• Isso generaliza resultados anteriores sobre superfícies de Godeaux, estendendo a estratégia para uma classe mais ampla de famílias via a hipótese de finitude de Kimura.

4. Contribuições Chave

1. Construção do Motivo $M(T)$: O autor define explicitamente um objeto em $DM(k, \mathbb{Q})$ associado a $T$ e prova que sua realização $l$-ádica (e outras) recupera exatamente os invariantes de K-teoria localizados. Isso conecta a teoria de motivos de Voevodsky/Cisinski-Deglise diretamente com a K-teoria de categorias DG.
2. Resolução Parcial da Questão de Sosna: O trabalho fornece uma resposta afirmativa (sob a hipótese de finitude de Kimura) à pergunta de Sosna, mostrando que a anulação de invariantes "numéricos" (como $K$-teoria ou homologia de Hochschild) é suficiente para anular o motivo não comutativo racional.
3. Uso da Finitude de Kimura: O artigo destaca o papel crucial da conjectura de finitude de Kimura (que afirma que todo motivo de Chow é Kimura-finito). A prova depende desta propriedade para garantir que a anulação de um invariante em uma "fatia" do motivo implique a anulação de todo o motivo (usando a nilpotência de endomorfismos numericamente triviais).
4. Generalização de Resultados de Deformação: O resultado de invariância por deformação (Corolário 1.3) é uma ferramenta poderosa para a construção e classificação de categorias fantasma em famílias de variedades.

5. Significado e Impacto

• Geometria Não Comutativa: O trabalho fornece ferramentas robustas para detectar "fantasmas" (categorias que parecem vazias para invariantes clássicos, mas podem ter estrutura não trivial). Isso é crucial para o programa de modelos mínimos e simetria espelho, onde categorias fantasma aparecem frequentemente.
• Conexão entre Áreas: O artigo une a teoria de motivos (geometria algébrica clássica), a teoria K-algébrica (topologia algébrica) e a teoria de categorias DG (geometria não comutativa), demonstrando que a anulação de invariantes em uma dessas áreas tem consequências profundas nas outras.
• Limitações e Futuro: A principal limitação é a dependência da finitude de Kimura. Como essa é uma conjectura (verdadeira para superfícies com gênero geométrico nulo, mas aberta em geral), o critério é condicional. No entanto, o trabalho estabelece o mecanismo teórico que funcionaria se a conjectura for provada para todas as variedades.

Em suma, Matsumoto demonstra que, no contexto de motivos Kimura-finitos, não há "fantasmas ocultos": se os invariantes aditivos racionais desaparecem, a categoria é, de fato, um fantasma motivico.