On the superadditivity of anticanonical Iitaka dimension

Aquí presento un resumen técnico detallado del artículo "On the Superadditivity of Anticanonical Iitaka Dimension" (Sobre la Superaditividad de la Dimensión de Iitaka Anticanónica) de Marta Benozzo, Iacopo Brivio y Chi-Kang Chang.

1. El Problema y el Contexto

El artículo aborda una cuestión fundamental en la geometría algebraica: la relación entre la dimensión de Iitaka de un divisor en una variedad total y la de sus fibras en una fibration.

• Antecedentes: La conjetura clásica de Iitaka ($C_{n,m}$) establece una desigualdad de superaditividad para el divisor canónico $K_X$: $\kappa(X, K_X) \geq \kappa(X_y, K_{X_y}) + \kappa(Y, K_Y)$. Esta conjetura es un pilar del Programa de Modelos Mínimos (MMP) y se ha demostrado en muchas clases importantes en característica cero.
• El caso anticanónico: Recientemente, se ha estudiado la desigualdad inversa para el divisor anticanónico $-K_X$. En característica cero, se sabe que bajo ciertas condiciones (cuando el lugar base estable no domina la base), se cumple:
  $$\kappa(X, -K_X) \leq \kappa(X_y, -K_{X_y}) + \kappa(Y, -K_Y)$$
• El desafío en característica positiva: En característica $p > 0$, la teoría falla frecuentemente debido a la falta de suavidad genérica (las fibras generales pueden no ser normales o pueden ser no reducidas). Además, la fórmula del haz canónico de Ambro, crucial para la demostración en característica cero, no tiene una versión directa en característica positiva.

Objetivo del artículo: Establecer una versión de la desigualdad de superaditividad para el divisor anticanónico en fibraciones sobre cuerpos de característica positiva, identificando las condiciones necesarias sobre la singularidad de las fibras para que la desigualdad se mantenga.

2. Metodología y Herramientas Técnicas

Los autores combinan técnicas del Programa de Modelos Mínimos con la teoría de singularidades $F$ (asociadas al morfismo de Frobenius) en característica positiva.

• Singularidades $F$ y Ideales de Test: En lugar de usar haces ideales multiplicadores (típicos en característica cero), utilizan ideales de test ($\tau$) y subespacios de secciones "estables bajo Frobenius" ($S^0, P^0, Q^0$).
  • Definen $Q^0_y(X, B; M)$ como un subespacio de secciones globales en la fibra general que capturan las singularidades $F$ del sistema lineal anticanónico.
• Fórmula del Haz Canónico en Característica Positiva: Utilizan resultados de Das y Schwede ([DS17]) que proporcionan una fórmula del haz canónico para fibraciones Calabi-Yau que son globalmente $F$-split. Esto permite descomponer $K_X$ en términos de la base y la fibra, análogo al caso de característica cero.
• Cambio de Base Inseparable y Teoría de Folaciones: Para manejar el problema de que las fibras generales no sean normales en característica positiva, los autores emplean un cambio de base mediante potencias del morfismo de Frobenius.
  • Utilizan la correspondencia entre morfismos puramente inseparables de altura uno y foliaciones.
  • Realizan una normalización y reducción de la base cambiada para obtener una nueva fibration donde las fibras generales son al menos normales, permitiendo aplicar la teoría estándar.
• Teorema de Inyectividad: Demuestran un teorema de inyectividad para el mapa de restricción de secciones globales, bajo la hipótesis de que el ideal de test asintótico (o su análogo $Q^0$) es trivial.

3. Contribuciones Clave y Resultados Principales

El trabajo presenta dos teoremas principales, uno para característica cero (una generalización de resultados previos) y otro para característica positiva.

A. Teorema en Característica Cero (Teorema 1.4 / Teorema 3.1)

Demuestran que para una fibration $f: X \to Y$ de variedades proyectivas suaves complejas, si el ideal multiplicador asintótico $I(X_y, 0; \|\!-K_X\|_y)$ es trivial (es decir, no hay singularidades "malas" en la fibra general respecto al sistema lineal), entonces:
$$\kappa(X, -K_X) \leq \kappa(X_y, -K_{X_y}) + \kappa(Y, -K_Y)$$
Además, si $\kappa(Y, -K_Y) = 0$ y el lugar base no domina la base, se cumple la igualdad.

B. Teorema en Característica Positiva (Teorema 1.3 / Teorema 7.2)

Este es el resultado central del artículo. Establece la desigualdad para fibraciones sobre un cuerpo algebraicamente cerrado de característica $p > 0$ bajo las siguientes condiciones:

1. La fibra general es normal.
2. Existe un entero $m$ no divisible por $p$ tal que el lugar base estable de $-mK_X$ no domina la base $Y$.
3. Condición de Singularidad $F$: El subespacio $Q^0_y(X, 0) = k(y)$. Esta condición asegura que la fibra general tiene "buenas" singularidades $F$ (esencialmente, que es globalmente $F$-split o tiene un complemento $F$).

Bajo estas hipótesis, se cumple:
$$\kappa(X, -K_X) \leq \kappa(X_y, -K_{X_y}) + \kappa(Y, -K_Y)$$
Y nuevamente, si $\kappa(Y, -K_Y) = 0$, se tiene la igualdad.

C. Estrategia de Prueba

La demostración sigue una estructura de cuatro pasos, adaptada de trabajos previos en característica cero pero con modificaciones críticas para $p>0$:

1. Descenso de Q-efectividad: Usando la fórmula del haz canónico (versión de Das-Schwede) y la condición $Q^0_y = k(y)$, se demuestra que la anticanonicidad desciende a la base.
2. Descenso Preciso: Mediante argumentos de perturbación, se muestra que la efectividad se mantiene para pequeños $\epsilon$.
3. Teorema de Inyectividad: Se prueba que el mapa de restricción de secciones es inyectivo cuando $\kappa(Y, -K_Y)=0$, lo que implica la desigualdad de dimensión de Iitaka.
4. Reducción a Base Calabi-Yau: Se utiliza la fibration de Iitaka de $-K_Y$ para reducir el problema a un caso donde la base tiene dimensión de Iitaka cero, aplicando la inyectividad en la fibra de esta nueva fibration.

Para superar la falta de suavidad en el cambio de base, los autores introducen un diagrama con cambio de base por Frobenius y normalización, utilizando la teoría de foliaciones para controlar cómo se transforma el divisor canónico bajo estas operaciones.

4. Discusión y Conjeturas (Sección 8)

El artículo cierra con una comparación profunda entre las condiciones en característica cero y positiva:

• Conjetura 8.2: Los autores proponen que si la condición de singularidad en característica cero (ideal multiplicador trivial) se cumple, entonces para infinitas primos $p$, la condición análoga en característica positiva ($Q^0_y = k(y)$) también se cumple.
• Conexión con Log Fano y Log Calabi-Yau: Relacionan la condición $Q^0_y = k(y)$ con la noción de "K-globally F-regular" (KGFR), una propiedad que interpola entre ser globalmente $F$-regular y globalmente $F$-split.
• Evidencia: Proporcionan ejemplos (como la familia de Legendre) donde estas conjeturas se verifican, sugiriendo que el comportamiento "bueno" de las singularidades en característica cero se preserva en una densidad de primos en característica positiva.

5. Significado e Impacto

• Avance en Geometría en Característica Positiva: El trabajo es una de las primeras demostraciones robustas de desigualdades de superaditividad para divisores anticanónicos en característica positiva, un área donde los resultados son escasos debido a las patologías de Frobenius.
• Puente entre Características: Establece un puente teórico sólido entre la teoría de haces ideales multiplicadores (char 0) y la teoría de ideales de test/singularidades $F$ (char $p$), sugiriendo que las condiciones de "buen comportamiento" son análogas.
• Herramientas Nuevas: La introducción y uso de $Q^0$ como medida global de singularidades $F$ en fibraciones, junto con la técnica de cambio de base inseparable combinada con foliaciones, ofrece nuevas herramientas metodológicas para futuros trabajos en MMP en característica positiva.
• Validación de Conjeturas: El resultado valida la intuición de que, si una variedad tiene "buenas" propiedades aritméticas (como ser globalmente $F$-split), se comporta de manera similar a su contraparte en característica cero en lo referente a la dimensión de Iitaka.

En resumen, el artículo demuestra que la superaditividad de la dimensión de Iitaka anticanónica es un fenómeno que trasciende la característica del cuerpo base, siempre que se impongan condiciones adecuadas sobre la regularidad de las fibras (medida mediante ideales multiplicadores en char 0 y singularidades $F$ en char $p$).