On the Morrison-Kawamata dream space and its applications

Resumen Técnico: Sobre el Espacio de Sueño de Morrison-Kawamata y sus Aplicaciones

Planteamiento del Problema
El artículo aborda la necesidad de un marco axiomático unificado para caracterizar variedades algebraicas que satisfagan la conjetura del cono de Morrison-Kawamata (MK). Mientras que los espacios de sueño de Mori (MDS) proporcionan una teoría robusta para variedades de tipo Fano, y las variedades de tipo Calabi-Yau (CY) son centrales en el estudio de la conjetura del cono de MK, existe una brecha para las variedades que no son ni de tipo Fano ni estrictamente de tipo Calabi-Yau. Los autores pretenden desarrollar una teoría que axiomatice las propiedades de las variedades que satisfacen la conjetura del cono de MK, extendiendo así los resultados estructurales de los MDS (como la descomposición de cámaras y la acotación) a una clase más amplia de variedades, incluyendo variedades de tipo CY y otras con divisores canónicos no triviales.

Metodología
Los autores introducen el concepto de espacios de sueño de Morrison-Kawamata (MKD) y espacios fibrados MKD. La metodología se basa en:

1. Definición Axiomática: Definir los espacios MKD mediante cuatro condiciones: $\mathbb{Q}$-factorialidad, la existencia de modelos mínimos buenos para todos los divisores $\mathbb{R}$-Cartier efectivos, la existencia de un cono poliédrico racional $\Pi$ cuyo orto bajo el grupo de pseudo-automorfismos cubre el cono móvil, y la "factorialidad local de los modelos canónicos" para el cono efectivo.
2. Geometría Combinatoria: Utilizar la geometría de conos convexos en espacios de Néron-Severi, específicamente la estructura de los politopos de Shokurov y la descomposición de conos en cámaras donde el modelo mínimo permanece constante.
3. Programa de Modelos Mínimos (MMP): Establecer la terminación de los MMP con escalado para divisores efectivos dentro de la categoría de espacios fibrados MKD.
4. Deformación y Especialización: Emplear técnicas de extensión (spreading-out) y especialización para relacionar la geometría de la fibra genérica geométrica con las fibras sobre un subconjunto denso de Zariski en la base, utilizando condiciones de anulación cohomológica ($H^1 = H^2 = 0$) para controlar el comportamiento de los conos.
5. Acciones de Grupos: Analizar la acción de los grupos de pseudo-automorfismos ($\text{PsAut}$) y de grupos de automorfismos ($\text{Aut}$) sobre los conos móviles, nef y efectivos, y extender estos a los grupos de automorfismos genéricos ($\text{GAut}$) que actúan sobre los conos nef genéricos.

Contribuciones Clave y Resultados

• Definición y Equivalencia: El artículo define los espacios fibrados MKD y demuestra (Teorema 1.3) que, en el entorno absoluto, esta noción es equivalente a un conjunto de condiciones que asemejan a los MDS pero adaptadas para acciones biracionales (específicamente, la existencia de un dominio fundamental para el cono móvil bajo pseudo-automorfismos). Esto unifica los MDS y las variedades de tipo CY (bajo la conjetura del cono y la conjetura del buen modelo mínimo) en un solo marco.
• Estructuras de Cámaras:
  • Politopos de Shokurov: Los autores establecen que para cualquier cono generado por divisores efectivos donde existen buenos modelos mínimos, el cono se descompone en un número finito de cámaras poliédricas racionales donde el modelo mínimo débil es constante (Teorema 1.4).
  • Conos Nef y Efectivos: Demuestran que el cono nef de divisores efectivos ($\text{Nef}_e$) es un cono poliédrico racional y admite un dominio fundamental poliédrico racional bajo la acción del grupo de automorfismos (Teorema 1.5, Teorema 1.6).
• Estabilidad bajo MMP y Contracciones:
  • Se muestra que la clase de espacios fibrados MKD es cerrada bajo modificaciones $\mathbb{Q}$-factoriales pequeñas y contracciones biracionales (Teorema 1.7).
  • Se prueba que un $D$-MMP con escalado de un divisor ample termina con un buen modelo mínimo para cualquier divisor efectivo $D$ en un espacio fibrado MKD (Teorema 1.8).
• Invariancia de la Deformación:
  • El artículo establece la invariancia de deformación genérica de los conos nef, efectivo y móvil, así como la descomposición de cámaras de Mori, para los espacios fibrados MKD (Teorema 1.10). Esto se logra estratificando la base y utilizando las propiedades del cono nef genérico.
  • Los resultados muestran que el hecho de que la fibra genérica geométrica sea un espacio MKD implica que las fibras sobre un subconjunto de Zariski abierto son "casi" espacios MKD (Teorema 6.17), satisfaciendo las conjeturas de cono necesarias y las propiedades de factorialidad local.
• Acotación de Moduli:
  • Aplicando los resultados de invariancia de deformación, los autores demuestran un teorema de acotación (Teorema 1.11). Asumiendo la conjetura del cono MK y la conjetura del buen modelo mínimo para variedades de Calabi-Yau racionalmente conexas, muestran que tales variedades forman una familia acotada. Esto se logra construyendo una fibración donde cada una de estas variedades aparece como una fibra (o una contracción biracional de la misma).

Significación y Pretensiones
El artículo sostiene que los espacios MKD sirven como una generalización natural de las variedades de tipo Calabi-Yau en la geometría biracional, de forma análoga al papel que juegan los espacios de sueño de Mori para las variedades de tipo Fano. La significación radica en:

1. Unificación: Proporcionar un marco conceptual que extiende la "unión" de las teorías locales de MDS a variedades con divisores canónicos triviales y más allá.
2. Pruebas Conceptuales: Demostrar que las pruebas sobre estructuras de conos y acotación se vuelven más conceptuales cuando se ven a través del lente de los espacios MKD, en lugar de depender de teoremas de anulación específicos que pueden no cumplirse en el entorno general.
3. Acotación: Resolver el problema de la acotación de los espacios de moduli de variedades de Calabi-Yau racionalmente conexas bajo la suposición de la conjetura del cono MK, un resultado que depende crucialmente de la invariancia de deformación de los conos establecida para los espacios fibrados MKD.

Los autores señalan explícitamente que, aunque la teoría es robusta, ciertos fenómenos patológicos (como la falta de acotación de las longitudes de los rayos extremos en el caso general) requieren supuestos específicos como la factorialidad local de los modelos canónicos. El artículo no pretende resolver la conjetura del cono MK en sí, sino que axiomatiza las consecuencias de su validez para facilitar el estudio posterior de los moduli y la teoría de deformación.