On the effective generation of direct images of pluricanonical bundles in mixed characteristic

Resumen Técnico: Sobre la Generación Efectiva de Imágenes Directas de Hazes Pluricanónicos en Característica Mixta

Enunciado del Problema
El artículo aborda el problema de establecer resultados efectivos de generación global para imágenes directas de haces pluricanónicos en característica mixta. Específicamente, busca un análogo en característica mixta de dos resultados principales:

1. Característica Cero: El teorema de Popa y Schnell [PS14], que demuestra que para un morfismo sobreyectivo $f: X \to Y$ entre variedades proyectivas no singulares sobre $\mathbb{C}$, la imagen directa $f_* \omega_X^{\otimes m} \otimes L^{\otimes l}$ está generada globalmente para $l \geq m(\dim Y + 1)$, donde $L$ es un haz de líneas amplio en $Y$.
2. Característica Positiva: El teorema de Ejiri [Eji24], que establece un resultado similar bajo la suposición de que $m$ es suficientemente grande y el divisor canónico es relativamente amplio, señalando que el límite de característica cero falla en característica positiva sin hipótesis adicionales (por ejemplo, debido a contraejemplos de Moret-Bailly).

El desafío central en característica mixta es la falta de un morfismo de Frobenius directo y la complejidad de las singularidades, lo que requiere la adaptación de técnicas del álgebra conmutativa y la teoría de ideales de prueba.

Metodología
El autor emplea un marco basado en ideales $+$-de prueba y clausuras integrales absolutas, desarrollado recientemente por Hacon, Lamarche y Schwede [HLS24] y Bhatt et al. [BMP+23]. La metodología implica:

1. Imágenes Directas $+$-Estables Relativas: El artículo generaliza la definición del ideal $+$-de prueba $\tau_+(\mathcal{O}_X, \Delta)$ al contexto relativo. Define un subsheaf $B^0 f_*(\tau_+(\omega_X, \Delta) \otimes M) \subset f_*(\omega_X \otimes M)$, denominado imagen directa $+$-estable. Esto sirve como un análogo en característica mixta de la imagen directa $S^0$ estable bajo Frobenius utilizada en característica positiva.
2. Teoremas de Anulación: Las pruebas dependen en gran medida del teorema de anulación de Bhatt [BMP+23] para la cohomología en la clausura integral absoluta $X^+$, que reemplaza el papel del teorema de anulación de Kodaira en característica cero y el de Serre en característica positiva.
3. Truco del Producto Fibra: Para establecer resultados de positividad débil, el autor utiliza el truco del producto fibra de Viehweg, construyendo productos fibra $X^{(l)} = X \times_Y \cdots \times_Y X$ y analizando el comportamiento de los haces pluricanónicos bajo estas construcciones.
4. Condiciones de Singularidades: Los resultados imponen condiciones específicas sobre las singularidades de la variedad fuente $X$. En característica mixta, estas condiciones involucran BCM-regularidad (regularidad de Big Cohen-Macaulay) para puntos de característica de residuo $p$ y condiciones Kawamata Log Terminal (KLT) para puntos de característica de residuo 0.

Contribuciones y Resultados Clave

• Teorema A (Teorema Principal): Este es el resultado primario, que proporciona un teorema efectivo de generación global para imágenes directas de haces pluricanónicos en característica mixta.

  • Configuración: Sea $f: X \to Y$ una sobreyección entre esquemas proyectivos planos integrales sobre un DVR completo $(R, \mathfrak{m}_R)$ de característica mixta $(0, p)$. Sea $\Delta$ un divisor $\mathbb{Q}$-efectivo tal que $K_X + \Delta$ es $\mathbb{Q}$-Cartier.
  • Hipótesis: La restricción $(K_X + \Delta)|_U$ es $f|_U$-amplia, y el par satisface condiciones específicas de singularidades (BCM-regularidad en char $p$, KLT en char 0) sobre un conjunto abierto $U \subset X$.
  • Conclusión: Para múltiplos suficientemente grandes $m$ del índice de $K_X + \Delta$, y para $l \geq m(n+1)$ (donde $n = \dim Y_{\mathfrak{m}_R}$), el haz $f_* \mathcal{O}_X(m(K_X + \Delta)) \otimes L^{\otimes l}$ está generado globalmente sobre $V = f(U)$.
  • Significado: Esto unifica y extiende los resultados de Popa-Schnell y Ejiri al contexto de característica mixta.

• Teorema C (Lema Clave): Un teorema de generación global para la imagen directa $+$-estable $B^0 f_*(\tau_+(\omega_X, B) \otimes M)$. Este resultado generaliza [HLS24, Teorema B] al contexto relativo y es el motor técnico que impulsa el Teorema A. Establece que si $-B$ es semi-amplio y grande sobre un conjunto abierto, la imagen directa $+$-estable torcida está generada globalmente.

• Teorema B (Positividad Débil): Como aplicación, el artículo establece una afirmación de positividad débil para el haz canónico relativo. Bajo suposiciones de suavidad y condiciones leves de singularidades, se demuestra que $K_{X/Y} + \Delta$ es débilmente positivo sobre $U$. Este es un análogo en característica mixta del teorema de positividad débil de Viehweg.

• Corolarios sobre Generación Global:

  • El artículo deduce que $f_* \mathcal{O}_X(m(K_{X/Y} + \Delta)) \otimes \omega_Y \otimes L^{\otimes (n+1)}$ está generado globalmente, análogo al teorema de Fujino en característica cero y al de Ejiri en característica positiva.
  • Proporciona condiciones bajo las cuales $f_* \omega_X \otimes L^{\otimes l}$ está generado globalmente para $m=1$, dependiendo de que las singularidades de $X$ satisfagan condiciones específicas (por ejemplo, singularidades de suma finita o BCM-regularidad).

• Positividad de Divisores Anticanónicos: El artículo demuestra que la descendencia suave de la positividad del divisor anticanónico se cumple en característica mixta (Proposición 6.8). Específicamente, si $-K_X - f^*N$ es nef (o amplio), entonces $-K_Y - N$ también es nef (o amplio).

Significado y Afirmaciones
El artículo afirma proporcionar los primeros resultados efectivos de generación global para imágenes directas de haces pluricanónicos en característica mixta, llenando un vacío entre las teorías de característica cero y característica positiva.

• Demuestra que la maquinaria de ideales $+$-de prueba y clausuras integrales absolutas es lo suficientemente robusta para manejar contextos relativos y aritmética de característica mixta.
• Los resultados se presentan como análogos en característica mixta de teoremas establecidos por Popa, Schnell, Ejiri y Fujino, en lugar de fenómenos completamente nuevos, aunque las condiciones sobre las singularidades (BCM-regularidad) son específicas del contexto de característica mixta.
• El autor señala que, si bien el resultado de positividad débil (Teorema B) es más débil que la positividad débil completa del propio haz de imagen directa, es suficiente para muchas aplicaciones, incluida la prueba de la generación global de la imagen directa torcida y la descendencia de la positividad anticanónica.

El artículo no afirma resolver la conjetura general de libertad de Fujita en característica mixta, sino que se centra en el caso específico de imágenes directas de haces pluricanónicos, recurriendo a desarrollos recientes en álgebra conmutativa (específicamente el trabajo de Bhatt, Ma, Schwede y otros) para superar la falta de teoremas de anulación disponibles en característica cero.