Proxy smallness meets $t$-structures

Resumen Técnico: La Pequeñez de Proxy se Encuentra con las Estructuras-t

1. Problema y Motivación
El artículo aborda las limitaciones de la "pequeñez de proxy", un concepto introducido por Dwyer, Greenlees e Iyengar [DGI06a, DGI06b] como un debilitamiento de la compacidad en categorías trianguladas. Si bien la pequeñañez de proxy caracteriza con éxito las singularidades de intersección completa local (LCI) en el contexto local (p. ej., [Pol19]) y ha sido refinada mediante acciones tensoriales para caracterizar esquemas LCI globalmente ([BILP22]), falla en comportarse bien bajo la globalización cuando se observa a través de la lente de las estructuras-$t$. Específicamente, los análogos globales ingenuos de la pequeñañez de proxy no capturan las propiedades geométricas correctas al transitar de contextos locales a globales.

Los autores tienen como objetivo introducir un refinamiento natural de la pequeñañez de proxy que integre estructuras-$t$ y acciones tensoriales. El objetivo central es desarrollar una teoría de "pequeñez de proxy para estructuras-$t$" (específicamente, pequeñañez de proxy-$t$ y pequeñañez de proxy-$t$-$\otimes$) para proporcionar nuevas caracterizaciones de esquemas LCI y clasificar subcategorías específicas (preaisles) dentro de la categoría derivada acotada de haces coherentes, $D^b_{\text{coh}}(X)$.

2. Metodología y Marco
La teoría se desarrolla dentro del contexto de categorías trianguladas tensoriales rígidas y compactamente generadas, centrándose específicamente en $D_{\text{qc}}(X)$ para un esquema noetheriano $X$. La metodología se basa en tres pilares técnicos principales:

• Acciones Tensoriales y Preaisles: Los autores utilizan la acción de la categoría de complejos perfectos, $\text{Perf}(X)$, sobre $D_{\text{qc}}(X)$ y categorías relacionadas (como la categoría homotópica de inyectivos $K(\text{Inj}(X))$). Definen $\otimes$-preaisles (subcategorías cerradas bajo desplazamientos positivos, extensiones, sumandos directos y tensorización con $\text{Perf}_{\leq 0}(X)$).
• Recolecciones: Una herramienta crucial es la recollección de Krause que relaciona $D_{\text{qc}}(X)$, $K(\text{Inj}(X))$ y la categoría de singularidades $D_{\text{sg}}(X)$. Los autores utilizan este marco para "pegar" estructuras-$t$ y analizar cómo propiedades como la pequeñañez de proxy se comportan a través de estas categorías.
• Generación Pseudo-coherente: El artículo extiende resultados del caso afín a esquemas noetherianos arbitrarios estudiando los aisles generados por complejos pseudo-coherentes. Un resultado técnico clave (Teorema 3.5) establece que los $\otimes$-aisles generados por complejos pseudo-coherentes son compactamente generados, generalizando [ATJLS10].

3. Definiciones y Contribuciones Clave

• Pequeñez de Proxy-$t$: Un objeto $P$ se define como de pequeñañez de proxy-$t$ si el preaisle cocompleto generado por $P$, denotado $\langle P \rangle^{(-\infty, 0]}$, es compactamente generado y sus objetos compactos residen dentro del preaisle generado por los objetos compactos de $P$. Esto restringe el proceso de "construcción" a suspensiones positivas y extensiones, a diferencia de la pequeñañez de proxy clásica que permite operaciones trianguladas arbitrarias.
• Pequeñez de Proxy-$t$-$\otimes$: Esto extiende el concepto a la presencia de una acción tensorial. Un objeto es de pequeñañez de proxy-$t$-$\otimes$ si el $\otimes$-preaisle generado por él satisface la condición de pequeñañez de proxy-$t$.
• Caracterización Estructural (Teorema 4.7): Los autores caracterizan los objetos de pequeñañez de proxy-$t$ mediante recollecciones. Un objeto $P$ es de pequeñañez de proxy-$t$ si y solo si:
  1. El preaisle $\langle P \rangle^{(-\infty, 0]}$ es compactamente generado.
  2. Un endofunctor específico que involucra el Hom derivado y el producto tensorial preserva coproductos pequeños.
  3. La estructura-$t$ estándar del álgebra dg-endomorfismos de $P$ se pega a lo largo de la recollección relevante.
• Distinción de la Pequeñez de Proxy Clásica: El artículo demuestra que la pequeñañez de proxy-$t$ es una condición estrictamente más fuerte. El Ejemplo 4.11 construye un objeto en $D^b_{\text{coh}}(R)$ (donde $R$ es un anillo artiniano local específico) que es de pequeñañez de proxy pero no de pequeñañez de proxy-$t$. Esto se basa en contraejemplos teóricos de módulos a conjeturas de Eisenbud y Auslander encontrados en [JŞ04] y [GP90].

4. Resultados Principales

• Caracterización de Esquemas LCI (Proposición 1.2): El artículo proporciona una nueva caracterización de esquemas de intersección completa local. Para un esquema noetheriano $X$, son equivalentes:

  1. $X$ es localmente una intersección completa.
  2. Todo objeto de $D^b_{\text{coh}}(X)$ es de pequeñañez de proxy-$\otimes$.
  3. Todo objeto de $D^b_{\text{coh}}(X)$ es de pequeñañez de proxy-$t$-$\otimes$.
     La novedad reside en la condición (3), que ofrece un refinamiento estructural-$t$ de las caracterizaciones existentes. La prueba utiliza una propiedad de local a global establecida mediante el Lema 6.8, mostrando que la pertenencia a un aisle compactamente generado en $K(\text{Inj}(X))$ es una condición local en los estribos.

• Clasificación de Preaisles (Teorema 1.1 y Teorema 5.4): Los autores establecen una aplicación inyectiva $\Theta$ desde la colección de subcategorías $\otimes$-suspendidas de $D^b_{\text{coh}}(X)$ (generadas por objetos de pequeñañez de proxy-$t$-$\otimes$) hacia el producto cartesiano de:

  • Subcategorías $\star$-suspendidas de la categoría de singularidades $D_{\text{sg}}(X)$.
  • Filtros de Thomason en $X$.
    La aplicación viene dada por $A \mapsto (\langle \pi(A) \rangle^{(-\infty, 0]}, \phi_A)$, donde $\pi$ es la localización de Verdier y $\phi_A$ es el filtro de Thomason asociado con el aisle generado en $D_{\text{qc}}(X)$.

• Clasificaciones Explícitas en Casos Específicos:

  • Singularidades Hipersuperficiales (Teorema 1.3): Si $X$ tiene solo singularidades hipersuperficiales, $\Theta$ se convierte en una biyección entre subcategorías $\otimes$-suspendidas de $D^b_{\text{coh}}(X)$ y pares $(W, \phi)$, donde $W$ es un subconjunto cerrado por especialización del lugar singular y $\phi$ es un filtro de Thomason que satisface una condición de contención específica.
  • Ceros de Secciones (Teorema 1.5): Para esquemas $X$ que surgen como ceros de secciones de haces vectoriales sobre esquemas regulares (satisfaciendo propiedades de resolución), la clasificación se refina para involucrar el lugar singular de un esquema hipersuperficial relacionado $Y$. Este resultado proporciona una generalización no afín de la clasificación de Takahashi [Tak25] para subcategorías suspendidas que contienen el haz estructural.

5. Significado y Afirmaciones
El artículo afirma proporcionar un "refinamiento natural" de la pequeñañez de proxy que es sensible a la estructura-$t$. Su significado es doble:

1. Caracterización Geométrica: Ofrece un nuevo criterio estructural-$t$ para identificar esquemas de intersección completa local, actualizando resultados anteriores para manejar casos no separados y proporcionando un principio de local a global más robusto.
2. Teoría de Clasificación: Produce una clasificación topológica de $\otimes$-preaisles en $D^b_{\text{coh}}(X)$ para clases específicas de esquemas (hipersuperficies y ceros de secciones). Esta clasificación conecta la geometría del esquema (a través de filtros de Thomason) y sus singularidades (a través de la categoría de singularidades) con la estructura de su categoría derivada.

Los autores enfatizan que su enfoque es independiente de los métodos utilizados en el trabajo reciente de Takahashi [Tak25], ofreciendo una prueba alternativa y una generalización a contextos no afines. Además, la construcción de contraejemplos (Ejemplo 4.11) resalta las sutiles diferencias entre las nociones clásicas y estructurales-$t$ de pequeñañez, aprovechando resultados profundos en álgebra conmutativa sobre el comportamiento de módulos sobre anillos no LCI.