The number of smooth varieties in an MMP on a 3-fold of Fano type

Resumen Técnico: El Número de Variedades Suaves en un MMP sobre una 3-Variedad de Tipo Fano

Planteamiento del Problema
El Programa del Modelo Mínimo (MMP) para tresobriedades produce frecuentemente variedades singulares, a diferencia del caso de las superficies donde los resultados suelen permanecer suaves. Esto requiere el estudio de singularidades tales como terminales, de tipo Kawamata log terminal (klt) y de tipo log canónico. Surge una pregunta natural sobre la frecuencia de las variedades suaves generadas durante la ejecución de un MMP en una tresobriedad de tipo Fano. Específicamente, este artículo investiga cuántas variedades suaves pueden aparecer en un $D$-MMP (donde $D$ es un divisor Weil $\mathbb{Q}$-Cartier móvil) en una tresobriedad $X$ de tipo Fano. Trabajos previos como [Ben85] establecieron que si $D = -K_X$, ninguna variedad suave distinta de $X$ misma aparece en un $-K_X$-MMP. Este artículo generaliza el problema a un divisor móvil arbitrario $D$.

Metodología
La demostración del teorema principal sigue una estructura de cuatro pasos, adaptándose estrechamente al argumento encontrado en [Kim24, Teorema 1.4]. La metodología se basa en la interacción entre los invariantes cohomológicos y las propiedades geométricas de los flips dentro del MMP.

1. Configuración y Reducción a Flips: El autor establece primero que, para un divisor móvil $D$ en una variedad proyectiva normal, cualquier $D$-MMP consiste exclusivamente en flips (Lema 2.4). Esto se debe a que las contracciones divisoriales contradirían la movilidad de la transformada estricta de $D$. La demostración procede analizando una secuencia de flips $X_0 \dashrightarrow X_1 \dashrightarrow \dots \dashrightarrow X_n$. Se demuestra que si la variedad inicial $X$ es de tipo Fano, todas las variedades subsecuentes $X_i$ en la secuencia del MMP siguen siendo de tipo Fano.

2. Monotonicidad Cohomológica: El núcleo del argumento consiste en definir una secuencia de enteros $d_i = h^1(X_i, \mathcal{O}_{X_i}(2mD_i))$, donde $D_i$ es la transformada estricta de $D$ en $X_i$. Utilizando secuencias espectrales de Leray, resoluciones de flips y teoremas de vanishing (específicamente el Lema 2.8 y el teorema de vanishing de Kawamata-Viehweg relativo), el autor demuestra que esta secuencia es no creciente: $d_{i-1} \geq d_i$.

3. Condición de Decrecimiento Estricto: El artículo establece un vínculo crítico entre la suavidad (o la propiedad de Cartier) del divisor y la secuencia cohomológica. Se demuestra que si $d_{i-1} = d_i$, entonces $mD_i$ no puede ser Cartier. Este paso utiliza las propiedades de la contracción de flip $\phi_i$, el vanishing de las imágenes directas superiores y un argumento de contradicción involucrando curvas racionales contraídas por el flip. Específicamente, si $mD_{i-1}$ fuera Cartier, se podría construir una curva racional $C$ donde la restricción del fibrado de línea conduciría a un grupo de cohomología que se sabe es no nulo para fibrados anti-amplios sobre $\mathbb{P}^1$.

4. Acotación del Conteo: Al combinar la monotonicidad ($d_{i-1} \geq d_i$) con la condición de decrecimiento estricto (si $mD_i$ es Cartier, entonces $d_{i-1} > d_i$), el autor acota el número de índices $i$ para los cuales $mD_i$ es Cartier. Dado que la secuencia $d_i$ consiste en enteros no negativos y comienza en $h^1(X, 2mD)$, el número de decrecimientos estrictos no puede exceder el valor inicial.

Contribuciones Clave y Resultados

• Teorema 1.1: Para una tresobriedad $X$ de tipo Fano y un divisor Weil $\mathbb{Q}$-Cartier móvil $D$, el número de variedades $X_i$ en un $D$-MMP donde $mD_i$ es Cartier está acotado por $1 + h^1(X, \mathcal{O}_X(2mD))$.
• Corolario 1.2: Una consecuencia directa del Teorema 1.1 es que el número de variedades suaves en tal MMP está acotado por $1 + h^1(X, \mathcal{O}_X(2D))$. Esto se debe a que en una variedad suave, todo divisor Weil es Cartier.
• Corolario 1.3 (Converso Parcial de Kodaira Vanishing): El artículo demuestra un converso parcial al teorema de vanishing de Kodaira para divisores móviles en tresobriedades de tipo Fano. Establece que si $X$ es de tipo Fano, $D$ es un divisor Weil $\mathbb{Q}$-Cartier móvil, y $H^1(X, \mathcal{O}_X(mD)) = 0$ para cualquier $m$ suficientemente divisible, entonces $D$ es nef. La demostración utiliza el hecho de que si $D$ no fuera nef, un $D$-MMP terminaría de una manera no trivial, contradiciendo la hipótesis de vanishing vía el Teorema 1.1.

Significado y Reivindicaciones

El artículo afirma proporcionar una cota cuantitativa sobre la ocurrencia de variedades suaves en el MMP para tresobriedades de tipo Fano, extendiendo los resultados conocidos para el caso anticanónico a divisores móviles generales. La significancia reside en conectar la propiedad geométrica de la suavidad (o la propiedad de Cartier de los divisores) con el invariante cohomológico $h^1(X, 2D)$.

Además, el artículo presenta el Corolario 1.3 como un converso parcial al teorema de vanishing de Kodaira. Mientras que el teorema de vanishing de Kodaira estándar establece que los divisores nef en variedades de tipo Fano tienen vanishing de cohomología superior, este resultado sugiere que para divisores móviles, el vanishing de $H^1$ es suficiente para garantizar la nefidad. El autor señala que la suposición de movilidad es esencial, proporcionando un contraejemplo (Observación 3.1) que involucra una explosión (blow-up) de $\mathbb{P}^3$ donde un divisor no nef satisface la condición de vanishing cohomológico pero falla en ser móvil.

El trabajo se apoya en técnicas establecidas del MMP, incluyendo el Lema de Negatividad, la resolución de singularidades y los teoremas de vanishing, sintetizándolas para abordar la pregunta específica de la frecuencia de suavidad en los MMPs de tresobriedades.