On the canonical bundle formula in positive characteristic

Resumen Técnico: Sobre la Fórmula del Haz Canónico en Característica Positiva

Planteamiento del Problema
La clasificación de variedades algebraicas depende en gran medida del Programa de Modelos Mínimos (MMP) y del estudio de las propiedades de positividad del divisor canónico. Una herramienta central en este contexto es la fórmula del haz canónico, que relaciona el divisor canónico de una fibración $f: X \to Z$ con los divisores canónicos de la base y de las fibras, descomponiendo la relación en una parte discriminante (que mide las singularidades) y una parte de móduli (que mide la variación en los móduli).

Si bien esta fórmula está bien establecida en característica 0 (por ejemplo, mediante variaciones de estructuras de Hodge o el Teorema del Cono para foliaciones), su validez en característica positiva $p > 0$ ha sido obstaculizada por varios factores:

1. Fallo de la Suavidad Genérica: En característica positiva, la fibra genérica geométrica de una fibración puede ser singular incluso si el espacio total es suave, lo que impide la definición directa de una parte discriminante.
2. Ramificación Salvaje: La presencia de fibras "salvajes" (donde las multiplicidades son divisibles por $p$) complica la relación entre el divisor canónico del espacio total y la foliación inducida por la fibración.
3. Fallo del Teorema del Cono para Foliaciones: La demostración estándar de la positividad de la parte de móduli en característica 0 se basa en el Teorema del Cono para foliaciones algebraicamente integrables, un resultado conocido por fallar en característica positiva.
4. Falta de Reducción Semiestable: La construcción de modelos "buenos" (que satisfacen la Propiedad $(*)$) utilizada en característica 0 a menudo depende de teoremas de reducción semiestable que no se cumplen con la misma generalidad en característica positiva.

Este artículo aborda estos problemas estableciendo una fórmula del haz canónico para fibraciones sobre una curva en característica positiva, demostrando específicamente la nefidad de la parte de móduli bajo supuestos específicos.

Metodología
El autor adapta la estrategia introducida por Acosta, Cascini, Svaldi y Spicer (ACSS21) para característica 0, modificándola para superar los obstáculos específicos de la característica positiva. La metodología procede a través de los siguientes pasos clave:

1. Reducción a la Propiedad $(*)$: La estrategia de demostración implica primero establecer el resultado para una clase específica de fibraciones que satisfacen la "Propiedad $(*)$", donde la parte de móduli coincide con el divisor canónico de la foliación inducida (salvo términos de corrección). El caso general se reduce luego a esta clase mediante modificaciones birracionales.
2. Manejo de Fibras Genéricas No Normales: En característica positiva, la fibra genérica geométrica puede no ser normal. Para resolver esto, el autor emplea un cambio de base de Frobenius. Al considerar el diagrama que involucra la $e$-ésima potencia del morfismo de Frobenius ($F^e$), las singularidades de la fibra genérica geométrica se "levantan" al espacio total $X^{(e)}$. Esto permite la aplicación de técnicas de adjunción y MMP en un modelo donde las fibras son normales.
3. Foliaciones y Aplicaciones Puramente Inseparables: El artículo explota la correspondencia entre foliaciones y morfismos puramente inseparables en característica positiva. Dado que la diferencial del morfismo de Frobenius se anula, los mapas puramente inseparables definen foliaciones. El autor deriva una fórmula que relaciona el divisor canónico del cambio de base de Frobenius $X^{(e)}$ con la parte de móduli de la fibración original, teniendo en cuenta los términos de ramificación salvaje ($W(f)$).
4. Doblar y Romper para el Divisor de Móduli: Dado que el Teorema del Cono para foliaciones falla en característica positiva, el autor no puede construir directamente curvas racionales tangentes a la foliación. En su lugar, la demostración utiliza el teorema de Doblar y Romper aplicado a la variedad $X^{(e)}$ obtenida tras el cambio de base de Frobenius. Al relacionar el divisor canónico de $X^{(e)}$ con la parte de móduli, el autor construye curvas racionales verticales que demuestran la negatividad de la parte de móduli si esta no fuera nef, lo que conduce a una contradicción.
5. Inducción sobre la Dimensión: La demostración del teorema principal procede por inducción sobre la dimensión de $X$. Esto requiere realizar adjunción sobre centros log-canónicos de la fibra genérica geométrica. Para asegurar que estos centros existan y se comporten bien, el autor construye "modificaciones $(*)$-geométricas" que extraen divisores con discrepancia $-1$ sobre estos centros, utilizando resoluciones logarítmicas y el MMP dlt.

Contribuciones y Resultados Clave

• La Fórmula del Haz Canónico (Teorema 7.9): Asumiendo el MMP logarítmico, la inversión de la adjunción y la existencia de resoluciones logarítmicas en dimensiones hasta $n$, el artículo demuestra que para una fibración $f: X \to Z$ desde una variedad proyectiva normal de dimensión $n$ hacia una curva normal $Z$ sobre un cuerpo perfecto de característica $p > 2$, si $(X, B)$ es un par dlt con fibras generales log-canónicas y $K_X + B$ es $f$-nef, entonces existe un modelo birracional $(Y, C)$ que satisface la Propiedad $(*)$ tal que la parte de móduli $M_Y$ es nef.
• Positividad en el Caso K-Trivial (Teorema 7.10): Como corolario, el artículo demuestra que si $K_X + B \sim_{\mathbb{Q}} f^*L$ (el caso K-trivial), la parte de móduli $M_Z = L - (K_Z + B_Z)$ es nef.
• Resultado Incondicional en Dimensión 3 (Corolario 7.11): Para variedades tridimensionales sobre un cuerpo algebraicamente cerrado de característica $p > 5$, se sabe que se cumplen los supuestos del MMP logarítmico, la inversión de la adjunción y las resoluciones logarítmicas. En consecuencia, la fórmula del haz canónico y la nefidad de la parte de móduli se cumplen incondicionalmente para pares dlt con fibras generales log-canónicas.
• Fórmulas para Ramificación Salvaje: El artículo proporciona fórmulas explícitas (Teorema 3.6, Teorema 3.25) para el divisor canónico de la foliación inducida por una fibración en característica positiva, introduciendo un término de corrección $W(f)$ soportado en componentes salvajes. Además, relaciona el divisor canónico del cambio de base de Frobenius $X^{(e)}$ con la parte de móduli (Corolario 5.4).

Significado y Afirmaciones
El artículo afirma extender la fórmula del haz canónico a la característica positiva, un contexto donde las técnicas anteriores (teoría de Hodge, Teoremas del Cono estándar) eran inaplicables. El significado radica en:

1. Superar el Fallo de la Suavidad Genérica: Mediante el uso de cambios de base de Frobenius, el autor elude el problema de las fibras genéricas no normales, un obstáculo mayor en la geometría biracional en característica positiva.
2. Eludir el Teorema del Cono: El uso del teorema de Doblar y Romper sobre el cambio de base de Frobenius proporciona una alternativa viable al Teorema del Cono para foliaciones, el cual se sabe que falla en característica positiva.
3. Completar el Panorama en Dimensión 3: Los resultados proporcionan una fórmula del haz canónico completa e incondicional para variedades tridimensionales en característica $p > 5$, llenando una brecha en la teoría de clasificación de variedades en característica positiva.

El autor señala explícitamente que los resultados dependen de la existencia de resoluciones logarítmicas y de la validez del MMP en las dimensiones relevantes, lo cual se conoce actualmente solo para dimensiones $\le 3$ (y parcialmente para dimensión 4 con coeficientes estándar). El artículo no afirma resolver el problema para todas las dimensiones o todas las características sin estos supuestos, ni propone nuevas aplicaciones experimentales, sino que establece la base teórica necesaria para argumentos inductivos en la clasificación de variedades en característica positiva.