A Criterion for Phantomness of dg-categories

Resumen Técnico: Criterio de Fantasmalidad para Categorías DG

1. El Problema de Investigación

El artículo aborda una cuestión fundamental en la geometría algebraica no conmutativa: ¿Bajo qué condiciones la anulación de invariantes aditivos (como la K-teoría o la homología de Hochschild) caracteriza la "fantasmalidad" de una categoría DG?

• Contexto: Se estudian categorías DG lineales sobre un campo $k$, denotadas como $\mathcal{T}$, que admiten una realización geométrica (es decir, son subcategorías admisibles y completas de $\text{perf}^{\text{dg}}(X)$ para alguna variedad propia y suave $X$).
• Definiciones Clave:
  • Casi-fantasma (Quasi-phantom): $\mathcal{T}$ tal que $HH_*(\mathcal{T}/k) = 0$ y $K_0(\mathcal{T})$ es finito.
  • Fantasma universal: $\mathcal{T}$ tal que $K_0(\mathcal{T} \otimes Y) = 0$ para toda variedad propia y suave $Y$.
  • Casi-fantasma motivico (Motivic quasi-phantom): $\mathcal{T}$ tal que $K_0(\mathcal{T} \otimes Y)_{\mathbb{Q}} = 0$ para toda $Y$. Esto equivale a que el motivo no conmutativo racional de $\mathcal{T}$ sea cero.
• La Pregunta: ¿La anulación de invariantes específicos (K-teoría $l$-ádica localizada, homología de Hochschild o K-teoría topológica) implica que el motivo no conmutativo racional de $\mathcal{T}$ se anula? Sosna había planteado esta cuestión anteriormente.

2. Metodología

El autor emplea una combinación sofisticada de teoría de homotopía motivica, teoría de espectros no conmutativos y teoría de motivos de Chow.

• Construcción del Motivo $M(\mathcal{T})$:

  • Se define un functor $M: \text{SH}^{\text{nc}}(k)_{\mathbb{Q}} \to \text{DM}(k, \mathbb{Q})$ (categoría de motivos mixtos).
  • Para una categoría $\mathcal{T} \subset \text{perf}^{\text{dg}}(X)$, se construye un motivo $M(\mathcal{T}) \in \text{DM}(k, \mathbb{Q})$ utilizando la adjunción entre la categoría de espectros motivicos no conmutativos y la categoría de espectros motivicos conmutativos, a través del espectro de K-teoría algebraica racional $KGL_{\mathbb{Q}}$.
  • $M(\mathcal{T})$ se identifica como un sumando directo de una suma de twists de Tate del motivo de Chow de $X$.

• Realizaciones y Equivalencias de Funtores:

  • El núcleo de la prueba reside en demostrar que la realización $l$-ádica del motivo $M(\mathcal{T})$ recupera la K-teoría algebraica $K(1, l)$-localizada de $\mathcal{T}$.
  • Se construyen dos funtores simétricos monoidales, $F_1$ y $F_2$, desde la categoría de espectros motivicos $KGL_{\mathbb{Q}}$ hacia la categoría de módulos sobre $D(\mathbb{Q}_l[\beta^{\pm}])$.
    • $F_1$: Inducido por la realización $l$-ádica de motivos.
    • $F_2$: Inducido por la K-teoría $K(1, l)$-localizada de categorías DG.
  • Se demuestra que $F_1 \simeq F_2$ utilizando la descripción de Thomason de la K-teoría localizada y la convergencia de la sucesión espectral de descente étale.

• Uso de la Finitud de Kimura:

  • Se asume que el motivo de Chow de la variedad $X$ es Kimura-finito. Esta propiedad es crucial para aplicar resultados de nilpotencia de endomorfismos numéricamente triviales (Proposición 7.5 de Kimura).

3. Contribuciones y Resultados Principales

Teorema Principal (Teorema 1.2 y 3.3):
Sea $k$ un campo y $\mathcal{T}$ una categoría DG suave y propia con realización geométrica en una variedad $X$ cuyo motivo de Chow es Kimura-finito. Se establece que las siguientes condiciones implican que $\mathcal{T}$ es un casi-fantasma motivico (es decir, su motivo no conmutativo racional es cero):

1. Caso $l$-ádico: Si $LK_{(1,l)}K(\mathcal{T})_{\mathbb{Q}} = 0$ para un primo $l$ invertible en $k$.
2. Caso Característica 0: Si $HH_*(\mathcal{T}/k) = 0$ (homología de Hochschild nula).
3. Caso Topológico ($k=\mathbb{C}$): Si $K_{\text{top}}(\mathcal{T})_{\mathbb{Q}} = 0$ (K-teoría topológica racional nula).

Mecanismo de la Prueba:
La prueba muestra que si el invariante (ej. K-teoría $l$-ádica) se anula, entonces la realización $l$-ádica del motivo $M(\mathcal{T})$ es cero. Dado que $M(\mathcal{T})$ es un sumando de un motivo de Chow Kimura-finito, y la anulación de la realización implica que el endomorfismo proyectivo asociado es numéricamente trivial, la finitud de Kimura fuerza a este endomorfismo a ser nilpotente. En una categoría pseudo-abeliana, un objeto definido por un endomorfismo nilpotente es cero.

Invarianza por Deformación (Corolario 1.3 y Teorema 4.1):

• Se demuestra que la propiedad de admitir una categoría casi-fantasma motivica es invariante bajo deformación en familias suaves y propias $f: X \to S$.
• Si una fibra $X_0$ admite tal categoría, entonces todas las fibras en un entorno étalo de $0$ también lo admiten.
• Esto generaliza resultados previos de Böhmning et al. sobre superficies de Godeaux, extendiendo la estrategia a una clase más amplia de familias bajo la hipótesis de finitud de Kimura.

4. Significado e Impacto

• Respuesta Parcial a Sosna: El trabajo proporciona una respuesta afirmativa y robusta a la pregunta de Sosna, estableciendo un criterio efectivo para detectar la fantasmalidad motivica mediante invariantes computables (K-teoría, homología de Hochschild).
• Conexión entre Invariantes: Establece un puente profundo entre la teoría de motivos no conmutativos (abstracta) y realizaciones concretas (K-teoría $l$-ádica, topológica, homología de Hochschild), mostrando que la anulación de estos invariantes es suficiente para anular el motivo racional.
• Rol de la Finitud de Kimura: El resultado subraya la importancia de la conjetura de finitud de Kimura. Bajo esta hipótesis (que se cumple para superficies con género geométrico nulo, por ejemplo), la fantasmalidad se vuelve una propiedad local en familias, lo cual es una herramienta poderosa para la construcción y clasificación de categorías excepcionales en geometría algebraica.
• Aplicaciones: Estos resultados son relevantes para el programa de modelos mínimos y la simetría especular, donde las categorías fantasma aparecen naturalmente como componentes de descomposiciones de categorías derivadas de variedades con propiedades especiales.

En resumen, Matsumoto demuestra que, bajo la hipótesis de finitud de Kimura, la "fantasmalidad" (la invisibilidad del objeto en la teoría de motivos racionales) es detectable y verificable a través de la anulación de sus realizaciones cohomológicas estándar.