Remarks on diagonal dimension for algebraic stacks

Resumen Técnico: Observaciones sobre la Dimensión Diagonal para Pilas Algebraicas

Enunciado del Problema
El artículo aborda la complejidad de la categoría derivada acotada de complejos coherentes, denotada $D^b_{\text{coh}}(X)$, para una pila algebraica noetheriana $X$. Un desafío central en este campo es determinar la existencia de "generadores fuertes" (objetos $G$ tales que $D^b_{\text{coh}}(X) = \langle G \rangle_{n+1}$ para algún $n$ finito) y establecer cotas superiores explícitas y computables para la dimensión de Rouquier (el menor $n$ tal). Si bien estas cuestiones están bien comprendidas para esquemas, siguen siendo sutiles para pilas algebraicas, donde las cotas efectivas son escasas y las construcciones explícitas son raras. Los autores pretenden refinar la comprensión de esta complejidad mediante el uso de la noción de dimensión diagonal.

Metodología
Los autores emplean el marco de las categorías trianguladas y la geometría algebraica derivada, centrándose específicamente en la dimensión diagonal de un morfismo $f: Y \to X$. Definida como el menor entero $n$ tal que el empuje directo de la gavilla estructural de la diagonal, $R\Delta_* \mathcal{O}_Y$, pertenece a la subcategoría generada por productos tensoriales externos de objetos de $D^b_{\text{coh}}(Y)$, este invariante sirve como un sustituto manejable para la dimensión de Rouquier.

La metodología implica:

1. Reducción a Generadores Únicos: Demostrar que la dimensión diagonal puede calcularse utilizando un solo objeto $G$ en lugar de un par, simplificando la condición de generación.
2. Análisis de Sucesiones Espectrales: Utilizar sucesiones espectrales que relacionan la cohomología local y los grupos Ext para acotar la dimensión cohomológica de pilas algebraicas regulares.
3. Fórmulas de Cambio de Base y Proyección: Aprovechar las propiedades de los morfismos concentrados, suaves y propios para transferir propiedades de generación entre productos fibrados y sus factores.
4. Resolución de Singularidades: Aplicar resultados sobre resoluciones de singularidades y buenos espacios de módulos para relacionar la dimensión diagonal de variedades singulares con la de recubrimientos suaves.

Contribuciones y Resultados Clave

• Cotas Superiores Explícitas para Morfismos Suaves (Teorema 1.2):
  Los autores establecen una cota superior explícita y computable para la dimensión diagonal de un morfismo $f: Y \to \text{Spec}(R)$ concentrado, separado, suave, de presentación finita y cuasi-DM, donde $R$ es un esquema afín regular. Si $U \to Y$ es un morfismo suave y sobreyectivo desde un esquema, la cota viene dada por:
  $$\dim_\Delta(f) \leq (\dim R + 1)(2 \max\{\dim U, \text{cd}(Y)\} + 1) - 1$$
  Este resultado generaliza las cotas conocidas para variedades suaves, espacios algebraicos y pilas de Deligne–Mumford a un contexto más amplio, incluyendo pilas sobre DVR y aquellas con estabilizadores afines.

• Generadores para Productos Fibrados (Proposición 1.3):
  El artículo identifica generadores fuertes para la categoría derivada de un producto fibrado $Y_1 \times_S Y_2$ en términos de generadores para los factores $Y_1$ y $Y_2$. Específicamente, si $G_i$ son generadores clásicos para $D^b_{\text{coh}}(Y_i)$, entonces el producto tensorial externo de sus recíprocos genera $D^b_{\text{coh}}(Y_1 \times_S Y_2)$. Este resultado recupera un teorema de Elagin–Lunts–Schnürer para variedades sobre cuerpos perfectos, pero lo extiende a pilas algebraicas sin requerir separación ni dimensión de Krull finita en la base, y crucialmente, proporciona una demostración que evita los métodos dg.

• Comparación de Dimensiones Diagonales (Teorema 1.4):
  Se demuestra un teorema de comparación para morfismos $f_i: Y_i \to S$ donde existe un morfismo $S$-morfismo $f: Y_2 \to Y_1$ tal que la unidad $\mathcal{O}_{Y_1} \to Rf_* \mathcal{O}_{Y_2}$ es un isomorfismo. Bajo estas condiciones, $\dim_\Delta(f_1) \leq \dim_\Delta(f_2)$. Esto permite transferir cotas de dimensión de un espacio "mejor" a uno "peor".

• Cotas para Variedades con Singularidades Leves (Corolario 1.5):
  Aplicando el teorema de comparación, los autores muestran que para un esquema integral separado $X$ sobre un cuerpo $k$:

  • Si $X$ tiene singularidades racionales (característica cero), $\dim_\Delta(f) \leq 2 \dim X$.
  • Si $X$ tiene singularidades linealmente reductivas (característica arbitraria), $\dim_\Delta(f) \leq 2 \dim X$.
    Estos resultados proporcionan una nueva cota general para variedades con singularidades leves, extendiéndose más allá del caso torico donde la dimensión diagonal se sabe a menudo que es igual a la dimensión de Krull.

Significado y Afirmaciones
El artículo afirma proporcionar una herramienta refinada (dimensión diagonal) para estimar la dimensión de Rouquier de pilas algebraicas, un problema donde las cotas explícitas suelen ser esquivas. Al establecer cotas superiores computables para morfismos suaves y demostrar cómo se comportan estas cotas bajo productos fibrados y morfismos con empujes directos de gavillas estructurales isomorfos, el trabajo cierra la brecha entre el caso bien comprendido de los esquemas y el caso más complejo de las pilas.

Los autores destacan que sus resultados se aplican con mayor generalidad que la literatura anterior, abarcando pilas sobre bases de característica mixta y aquellas con condiciones específicas de estabilizador. Además, la identificación de generadores para productos fibrados ofrece una visión estructural sobre las categorías derivadas de productos fibrados de tipo pila sin depender de técnicas diferenciales graduadas (dg). Finalmente, la cota de $2 \dim X$ para variedades con singularidades racionales o linealmente reductivas representa un paso significativo en la comprensión de la complejidad de las categorías derivadas en presencia de singularidades, particularmente en característica positiva.