On a conjecture of Fujino and Sato

Resumen Técnico: Sobre una Conjetura de Fujino y Sato

1. Planteamiento del Problema

El artículo aborda problemas fundamentales en la geometría biracional de variedades toricas completas, específicamente la relación entre variedades no proyectivas y sus modelos proyectivos. Se centra en dos resultados clave de un trabajo reciente de Fujino y Sato ([2]):

• Teorema 1.1: Toda variedad torica completa es biracionalmente isomorfa (en codimensión 1) a una variedad torica proyectiva y $\mathbb{Q}$-factorial.
• Conjetura 1.2: Toda variedad torica completa y $\mathbb{Q}$-factorial puede conectarse con una variedad proyectiva mediante una secuencia finita de flips, flops y anti-flips.

Fujino y Sato habían demostrado esta conjetura para tresvariedades suaves con número de Picard $\leq 5$. El objetivo de Rossi es proporcionar una demostración conceptual más corta y general, eliminando las restricciones de dimensión y número de Picard, y extendiendo el resultado más allá del caso puramente torico.

2. Metodología y Marco Teórico

Rossi utiliza un enfoque unificado basado en la teoría de Anillos de Cox y Espacios de Sueño de Mori (Mori Dream Spaces - MDS), combinado con la teoría de Abanicos Secundarios (Secondary Fan) o descomposición de Gelfand-Kapranov-Zelevinsky (GKZ).

• Espacios de Sueño de Mori Débiles (wMDS): Se trabaja con variedades $\mathbb{Q}$-factoriales completas donde el anillo de Cox es finitamente generado. Las variedades toricas completas y $\mathbb{Q}$-factoriales son ejemplos naturales de wMDS.
• El Abanico Secundario (GKZ): El cono móvil (moving cone) de una variedad admite una descomposición en celdas (cámaras) definida por el abanico secundario.
  • Cada cámara de dimensión completa en este abanico corresponde al cono nef de un modelo biracional proyectivo.
  • Las paredes entre cámaras corresponden a operaciones de modificación pequeña $\mathbb{Q}$-factorial (flips, flops).
• Cruzamiento de Paredes (Wall-Crossing): La transición entre un modelo no proyectivo y uno proyectivo se interpreta como cruzar paredes en el abanico secundario para llegar a una cámara nef completa.

3. Contribuciones Clave

A. Demostración Conceptual de los Resultados de Fujino-Sato
Rossi demuestra que los resultados de Fujino y Sato son consecuencias directas de la teoría general de Hu y Keel (sobre MDS) y su extensión a casos no proyectivos (Arzhantsev et al.).

• Lógica: Dado que toda variedad torica completa y $\mathbb{Q}$-factorial es un wMDS, y que el cono móvil de un wMDS contiene al menos una cámara de dimensión completa (que corresponde a un MDS proyectivo), existe necesariamente una modificación pequeña $\mathbb{Q}$-factorial que conecta la variedad original con un modelo proyectivo.
• Simplificación: Evita construcciones combinatorias complejas específicas de la dimensión, utilizando la estructura de cámaras del abanico secundario como una "herramienta de navegación" universal.

B. Extensión a Variedades No Toricas (wMDS)
El autor generaliza el fenómeno más allá de las variedades toricas.

• Teorema Principal (Teorema 3.1): Si $X$ es un wMDS completo, $\mathbb{Q}$-factorial y no proyectivo, entonces existe un divisor Cartier $D$ y un $D$-flip $f: X \dashrightarrow X'$ tal que $X'$ es un MDS (y por tanto, proyectivo).
• Mecanismo: Si $X$ no es proyectiva, su cono nef $Nef(X)$ no es una cámara de dimensión completa en el abanico secundario, sino una cara de una cámara mayor $\gamma$. Al elegir un divisor $D$ en el interior relativo de la diferencia entre la cámara $\gamma$ y $Nef(X)$, se induce un flip que lleva a $X'$.

4. Resultados Técnicos y Ejemplos

• Demostración del Teorema 1.1: Se construye una resolución $\mathbb{Q}$-factorial pequeña $X'$ de una variedad torica $X$ mediante subdivisiones simpliciales del abanico. Dado que $X'$ es un wMDS, la teoría garantiza la existencia de un modelo proyectivo $X''$ conectado por flips.
• Ejemplo 3.2 (Visualización):
  • Se considera una variedad torica no $\mathbb{Q}$-factorial definida por un prisma en $\mathbb{R}^3$.
  • Se analizan 8 resoluciones $\mathbb{Q}$-factoriales pequeñas ($X_1, \dots, X_8$).
  • Se calcula la matriz de pesos (dual de Gale) $Q$ y se identifica el cono efectivo y el cono móvil.
  • Se muestra que las resoluciones $X_1, \dots, X_6$ corresponden a cámaras de dimensión completa en el abanico secundario (son proyectivas), mientras que $X_7$ y $X_8$ corresponden a caras no completas (no proyectivas).
  • Se demuestra explícitamente cómo un divisor $D$ (cuya clase está en el interior relativo de la cámara proyectiva pero fuera del cono nef de la variedad no proyectiva) induce un flip que conecta la variedad no proyectiva con una proyectiva.

5. Significado e Impacto

1. Unificación Conceptual: El trabajo establece que la geometría biracional de variedades toricas y de espacios de sueño de Mori débiles sigue la misma lógica fundamental: la estructura de cámaras del abanico secundario. La combinatoria torica es un caso particular de esta estructura más general.
2. Generalidad: Elimina las restricciones de dimensión y número de Picard que limitaban las pruebas anteriores de Fujino y Sato, ofreciendo una prueba válida para cualquier dimensión.
3. Herramienta de Navegación: Presenta el abanico secundario no solo como una herramienta de clasificación, sino como un mecanismo activo para navegar entre modelos biracionales mediante el cruzamiento de paredes.
4. Simplificación: Reduce demostraciones técnicas largas a argumentos conceptuales basados en la teoría de anillos de Cox, haciendo que los resultados sean más accesibles y aplicables a contextos más amplios en geometría algebraica.

En conclusión, Rossi demuestra que la conjetura de Fujino-Sato y sus generalizaciones son propiedades intrínsecas de la estructura de los espacios de sueño de Mori, donde la existencia de un modelo proyectivo está garantizada por la presencia de cámaras nef completas en el cono móvil, accesibles mediante flips controlados por la descomposición de GKZ.