Perfect generation for regular algebraic stacks

Resumen Técnico: Generación Perfecta para Pilas Algebraicas Regulares

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la geometría algebraica derivada: la generación de la categoría derivada de complejos con cohomología cuasi-coherente, denotada como $D_{qc}(X)$, para pilas algebraicas.

• Contexto conocido: Para esquemas cuasi-compactos y cuasi-separados, se sabe clásicamente que $D_{qc}(X)$ está generada por un solo objeto compacto (un complejo perfecto).
• La dificultad en pilas: En el caso de pilas algebraicas, la situación es más compleja. Los objetos perfectos no necesariamente son compactos en $D_{qc}(X)$. Aunque trabajos previos (Hall-Rydh, Toën, etc.) han establecido la generación compacta para ciertas clases de pilas (como pilas de Deligne-Mumford o pilas con diagonal cuasi-finita separada), la cuestión de si existe una generación por un solo objeto perfecto (que no necesariamente sea compacto) para pilas regulares generales permanecía abierta.
• Objetivo específico: Determinar si, para una pila algebraica regular Noetheriana con diagonal cuasi-finita, la categoría $D_{qc}(X)$ es generada por un único complejo perfecto.

2. Metodología y Herramientas Clave

El autor emplea una combinación sofisticada de técnicas de teoría de categorías trianguladas y geometría algebraica de pilas:

• Técnicas de Recollement (Recollement): Se utiliza la estructura de recollement para categorías trianguladas. Esto permite "pegar" generadores a lo largo de inmersiones abiertas y cerradas. Si se tienen generadores para una parte abierta y para el complemento cerrado, se pueden combinar para obtener un generador para el todo.
• Presentaciones de Pilas (Hall-Rydh): Se aprovechan los resultados de Hall y Rydh sobre la existencia de secuencias de descomposición monomórfica para recubrimientos de Nisnevich en pilas con estabilizadores finitos. Esto permite un argumento inductivo basado en la longitud de estas secuencias.
• Dualidad y Propiedades de Soporte: Se utiliza la dualidad finita y el análisis de los soportes de los complejos perfectos. Un ingrediente crucial es la condición de que la pila sea regular, lo que implica que los objetos perfectos coinciden con los complejos de cohomología acotada ($Perf(X) \cong D^b_{coh}(X)$).
• Condición de Thomason: Se analiza la condición $\beta$-Thomason, que garantiza la existencia de complejos perfectos con soporte dado en subconjuntos cerrados con complemento cuasi-compacto.

3. Contribuciones Principales y Resultados

Teorema Principal (Teorema 1.1):
Sea $X$ una pila algebraica regular, Noetheriana, cuasi-compacta y cuasi-separada con diagonal cuasi-finita. Entonces, existe un complejo perfecto $P \in Perf(X)$ que genera $D_{qc}(X)$.

• Nota técnica: La generación se entiende en el sentido de categorías trianguladas: para cualquier objeto no nulo $E \in D_{qc}(X)$, existe un entero $n$ tal que $Hom(P[n], E) \neq 0$.
• Innovación: Este resultado no asume que la diagonal sea separada ni que la pila sea "concentrada" (una condición técnica que asegura que los objetos compactos sean perfectos). Además, el objeto generador $P$ no se requiere que sea compacto, lo cual representa un caso genuinamente nuevo, incluso para pilas de Deligne-Mumford en característica arbitraria.

Corolario 1.2 (Generación Compacta):
Si $X$ es una pila algebraica regular concentrada con diagonal cuasi-finita, entonces $D_{qc}(X)$ está generada compactamente por un solo objeto.

• Esto mejora resultados anteriores (como [Hal22]) al eliminar la restricción de dimensión de Krull finita y asegurar la generación por un solo objeto.

Lemas y Propiedades Auxiliares:

• Lema 4.1 y Proposición 4.3: Establecen cómo la generación y la condición de Thomason se comportan bajo morfismos finitos, planos y sobreyectivos, así como bajo morfismos cuasi-affines inyectivos.
• Uso de Recollement (Proposición 3.7): Se demuestra que si un subcategoría genera la parte abierta y otra genera la parte cerrada en un esquema de recollement, su suma directa genera la categoría total.

4. Esquema de la Demostración

La prueba del Teorema 1.1 sigue una estructura inductiva:

1. Descomposición: Se utiliza un recubrimiento de Nisnevich $f: Y \to X$ que admite una "secuencia de descomposición monomórfica" de longitud finita ($X_0 \subset X_1 \subset \dots \subset X_n = X$).
2. Base Inductiva: Se demuestra que en los estratos locales (diferencias entre $X_c$ y $X_{c-1}$), la categoría derivada con soporte en el estrato cerrado está generada por un único objeto perfecto, aprovechando la regularidad de la pila y la existencia de morfismos finitos desde esquemas cuasi-affines.
3. Paso Inductivo: Usando el recollement asociado a la inclusión abierta $X_{c-1} \hookrightarrow X_c$, se combinan el generador del estrato cerrado (obtenido en el paso anterior) y el generador de la parte abierta (hipótesis inductiva) para construir un generador para $X_c$.
4. Conclusión: Al finalizar la inducción en $n$, se obtiene un generador único para toda la pila $X$.

5. Significado e Impacto

• Generalización: El trabajo extiende la teoría de generación por un solo objeto desde esquemas y pilas muy restringidas (separadas, de dimensión finita) a una clase mucho más amplia de pilas regulares, incluyendo aquellas con estabilizadores no triviales y en cualquier característica.
• Nuevos Casos: Proporciona resultados de generación para pilas que no son necesariamente "concentradas", abriendo la puerta a estudiar propiedades homológicas en contextos más generales donde la compacidad de los objetos perfectos falla.
• Herramientas Nuevas: La demostración destaca la utilidad de las técnicas de recollement y las presentaciones de Hall-Rydh en el estudio de categorías derivadas de pilas, ofreciendo un marco metodológico que puede ser aplicado a otros problemas de generación en geometría algebraica.
• Aplicaciones: El resultado es fundamental para la teoría de representabilidad de funtores, la K-teoría algebraica y el estudio de la dualidad en pilas algebraicas, donde la existencia de un generador compacto o perfecto es a menudo un requisito previo para aplicar teoremas de representación.

En resumen, Pat Lank demuestra que la regularidad de una pila algebraica es una condición suficientemente fuerte para garantizar la existencia de un "generador perfecto" único en su categoría derivada, resolviendo una cuestión abierta y refinando nuestra comprensión de la estructura homológica de las pilas algebraicas modernas.