Recent progress on the Minimal Model Program for foliations

Aquí presento un resumen técnico detallado del artículo "Recent Progress on the Minimal Model Program for Foliations" (Progreso reciente en el Programa de Modelo Mínimo para Folaciones), escrito por Paolo Cascini y Calum Spicer.

1. Planteamiento del Problema

El artículo aborda la extensión del Programa de Modelo Mínimo (MMP, por sus siglas en inglés) al contexto de las foliaciones en variedades complejas. En la geometría biracional clásica, el MMP busca clasificar variedades mediante la simplificación de su estructura mediante contracciones y "flips" (volteos), guiado por el comportamiento del divisor canónico $K_X$.

El problema central en las foliaciones es adaptar este programa al divisor canónico de la foliación, denotado como $K_{\mathcal{F}}$. A diferencia de las variedades, las foliaciones introducen fenómenos nuevos y obstáculos significativos:

• Resolución de singularidades: A diferencia de las variedades, no es posible resolver las singularidades de una foliación a una foliación suave mediante una secuencia de blow-ups (explosiones). De hecho, explotar puede crear nuevas singularidades. El objetivo correcto es la reducción de singularidades a una clase distinguida (como singularidades canónicas).
• Falta de teoremas generales: El Teorema del Punto Base Libre (Base Point Free Theorem), crucial en el MMP clásico, no está disponible en la misma generalidad para foliaciones. Esto dificulta la construcción de flips en dimensiones tres y superiores.
• Preguntas fundamentales:
  1. ¿Existe una curva racional $\Sigma$ con $K_{\mathcal{F}} \cdot \Sigma < 0$ si existe alguna curva $C$ con $K_{\mathcal{F}} \cdot C < 0$? (Análogo al "Bend and Break").
  2. ¿Existe un modelo mínimo donde $K_{\mathcal{F}}$ sea nef (numéricamente efectivo) bajo la hipótesis de que $K_{\mathcal{F}}$ es pseudo-efectivo?

2. Metodología y Herramientas Técnicas

Los autores utilizan una combinación de técnicas de geometría biracional clásica y herramientas específicas de la teoría de foliaciones:

• Singularidades de Foliaciones: Se definen y analizan las nociones de singularidades terminales, canónicas y log canónicas para pares $(X, \mathcal{F})$. Se introduce el concepto de discrepancia $a(E, \mathcal{F}, \Delta)$ para valuations divisoriales.
• Fórmula de Adjunción para Foliaciones: Esta es la herramienta central. Para una subvariedad $D$ de codimensión uno, se establece una fórmula que relaciona el divisor canónico de la variedad con el de la foliación restringida:
  $$(K_{\mathcal{F}} + \epsilon(D)D)|_D \sim K_{\mathcal{F}_D} + \text{Diff}_D(\mathcal{F})$$
  Donde $\epsilon(D) = 0$ si $D$ es invariante por la foliación y $1$ en caso contrario, y $\text{Diff}_D(\mathcal{F})$ es un término de corrección efectivo (el "diferente"). Esta fórmula permite traducir negatividad numérica en restricciones concretas sobre subvariedades.
• Descomposición de Jordan y Campos Vectoriales: Para foliaciones de rango uno, se utiliza la descomposición de Jordan de los campos vectoriales singulares para caracterizar las singularidades log canónicas (un campo es log canónico si y solo si su parte lineal no es nilpotente).
• Separatrices y Estabilidad: En dimensión tres, se utiliza la existencia de separatrices (divisores invariantes formales) para singularidades canónicas. Esto permite "prolongar" curvas invariantes a divisores, facilitando la construcción de flips.
• Integrales Primeras Meromorfas: En la construcción de flips, se demuestra la existencia de integrales primeras meromorfas locales bajo ciertas condiciones, lo que permite reducir el problema de foliaciones a problemas de pares log canónicos estándar.

3. Contribuciones Clave y Resultados

El artículo sintetiza avances recientes, organizados por dimensión:

A. Singularidades y Adjunción (Secciones 3 y 4)

• Se establece una caracterización precisa de las singularidades log canónicas para campos vectoriales de rango uno: son aquellas cuya parte semisimple tiene autovalores enteros no negativos (tras escalar).
• Se demuestra que para foliaciones de rango uno en variedades normales, las singularidades canónicas implican que la foliación es no dicrítica (todas las divisoras excepcionales en una modificación son invariantes).
• Se generaliza la fórmula de adjunción, mostrando cómo el "diferente" controla la interacción entre las singularidades de la foliación y la geometría de los divisores.

B. MMP para Superficies (Sección 5)

• Se recupera y simplifica el programa de McQuillan para superficies.
• Teorema 5.4: Si $K_{\mathcal{F}}$ es pseudo-efectivo, existe una contracción biracional hacia un modelo donde $K_{\mathcal{F}}$ es nef. Si no es pseudo-efectivo, la foliación es biracional a una fibration en curvas racionales.
• Estructura de Modelos Mínimos: Para foliaciones de tipo general ($K_{\mathcal{F}}$ grande), se describe la estructura del modelo mínimo. Se identifica la aparición de hojas Gorenstein elípticas (e.g.l.), que son configuraciones de curvas racionales con ciertas propiedades de singularidad.
• No Finitud de Generación: Un resultado crucial es que el anillo de secciones $R(X, K_{\mathcal{F}})$ no es necesariamente finitamente generado en presencia de hojas Gorenstein elípticas, a diferencia del caso de variedades clásicas (donde el teorema de BCHM garantiza la finitud).

C. MMP en Dimensiones Superiores y Existencia de Flips (Sección 6)

• Existencia de Flips en 3D: El artículo presenta una prueba de la existencia de flips para foliaciones de rango uno y de corango uno en tresfoldes (variedades de dimensión 3).
• Método de Construcción: Dado que el Teorema del Punto Base Libre falla, los autores construyen el flip de la siguiente manera:
  1. Identifican que la curva de contracción $C$ es invariante y terminal excepto en un punto.
  2. Demuestran que existe un divisor invariante $G \geq 0$ tal que $(X, G)$ es log canónico y $C$ es un centro log canónico.
  3. Utilizan la existencia de una integral primera meromorfa local (derivada de la estructura de singularidades simples) para construir este divisor.
  4. El flip de $K_{\mathcal{F}}$ se reduce entonces a construir un flip estándar para el par $(X, G)$, cuya existencia está garantizada por la teoría clásica de MMP.
• Se discute la importancia de las separatrices para foliaciones de corango uno, demostrando que las singularidades canónicas en 3D son no dicríticas, lo que garantiza la existencia de estas separatrices.

4. Significado e Impacto

Este trabajo es fundamental por varias razones:

1. Unificación del Marco Teórico: Proporciona un marco coherente para aplicar el MMP a foliaciones, estableciendo analogías claras con la teoría de variedades (como la adjunción) y señalando dónde las analogías fallan (como la no finitud de generación).
2. Resolución de Obstáculos en Dimensión 3: La demostración de la existencia de flips en tresfoldes es un hito técnico. Abre la puerta a la ejecución completa del MMP en dimensión 3 para foliaciones, un paso necesario para atacar dimensiones superiores.
3. Nuevos Fenómenos Geométricos: La identificación de las "hojas Gorenstein elípticas" y la demostración de que el anillo canónico de una foliación puede no ser finitamente generado revela una riqueza geométrica intrínseca a las foliaciones que no tiene análogo en la teoría de variedades clásicas.
4. Herramientas para Futuras Investigaciones: La introducción y uso sistemático de la adjunción para foliaciones y la caracterización de singularidades no dicríticas proporcionan herramientas esenciales para futuros trabajos en la clasificación de foliaciones y la geometría biracional de sistemas dinámicos algebraicos.

En resumen, Cascini y Spicer demuestran que, bajo suposiciones adecuadas de singularidad, $K_{\mathcal{F}}$ se comporta de manera sorprendentemente similar al divisor canónico de una variedad, permitiendo un programa de modelo mínimo robusto, aunque con matices y obstáculos únicos que enriquecen la teoría.