Canonical Projectivization of Smooth Complete Toric Varieties

Resumen Técnico: Proyectivización Canónica de Variedades Tóricas Sucesivas y Completas

Enunciado del Problema
El artículo aborda una pregunta fundamental en la geometría tórica: dada una variedad tórica suave y completa $X_\Sigma$ (definida por un abanico suave y completo $\Sigma$ en un retículo $N \cong \mathbb{Z}^n$), ¿es posible construir una variedad tórica proyectiva y suave que la domine mediante un morfismo tórico propio y biracional? Si bien la existencia de tal variedad dominante es clásica (a través del Lema de Chow Tórico seguido de resolución de singularidades), el enfoque clásico típicamente pasa por variedades intermedias singulares. El desafío específico abordado aquí es si esta proyectivización puede lograrse enteramente mediante una secuencia de variedades intermedias suaves, donde cada morfismo es una explosión ordinaria a lo largo de un centro suave invariante bajo el toro. Esto se relaciona con el problema de la "factorización estelar suave" y distingue el trabajo del Teorema de Factorización Débil, el cual permite tanto explosiones como contracciones.

Metodología
El autor, Parsa Bakhtary, propone un algoritmo uniforme y constructivo que refina el abanico de entrada $\Sigma$ en un abanico proyectivo y suave $\hat{\Sigma}$ en tres etapas distintas. La construcción es canónica una vez que se fija una base ordenada del retículo $N$.

1. Construcción del Abanico de Disposición de Paredes:
   El primer paso construye un abanico de referencia $\mathcal{A}_\Sigma$, denominado "abanico de disposición de paredes". Para cada cono de codimensión uno $\tau \in \Sigma$, el autor extiende el hiperplano soporte a un hiperplano central en $N_\mathbb{R}$. La disposición de estos hiperplanos define un abanico completo $\mathcal{A}_\Sigma$.

   • Propiedad: $\mathcal{A}_\Sigma$ es un abanico completo y proyectivo que refina $\Sigma$. Sin embargo, $\mathcal{A}_\Sigma$ generalmente no es suave ni simplicial.

2. Algoritmo de Adaptación de Signos (La Etapa de Adaptación de Paredes):
   El objetivo es refinar $\Sigma$ en un abanico $\Gamma(\Sigma)$ que sea "subordinado" a $\mathcal{A}_\Sigma$ (es decir, $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$) manteniendo la suavidad.

   • Mecanismo: El algoritmo itera a través de las normales de pared $m_i$ que definen $\mathcal{A}_\Sigma$. Para una normal dada $m$, un cono bidimensional $\langle u, v \rangle$ se define como "$m$-malo" si los generadores se encuentran en lados opuestos del hiperplano $\ker(m)$ (es decir, $m(u) \cdot m(v) < 0$).
   • Operación: El algoritmo realiza una secuencia finita de subdivisiones estelares sobre conos bidimensionales $m$-malos. Específicamente, para un cono malo $\langle u, v \rangle$, inserta el rayo generado por $u+v$.
   • Terminación: Se utiliza una función de peso $w_m(\tau) = |m(u)| + |m(v)|$ para probar la terminación. Cada subdivisión reduce estrictamente el peso máximo de los conos malos o reduce su cantidad.
   • Resultado: Esta etapa produce un abanico suave $\Gamma(\Sigma)$ donde cada cono yace enteramente dentro de una sola cámara de la disposición de paredes (es decir, todos los generadores de rayo de cualquier cono se encuentran en el mismo semiespacio cerrado definido por cada normal de pared). Esto asegura que $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$. Crucialmente, cada paso es una explosión a lo largo de un centro invariante suave de codimensión dos.

3. Envoltura Baricéntrica (La Etapa de Proyectividad):
   Aunque $\Gamma(\Sigma)$ es suave y refina el abanico proyectivo $\mathcal{A}_\Sigma$, no es necesariamente proyectivo por sí mismo.

   • Operación: El autor aplica una subdivisión derivada baricéntrica, denotada $\text{Bar}(\Gamma(\Sigma))$. Esto implica insertar rayos correspondientes a los baricentros (sumas de generadores) de todos los conos de dimensión $k \geq 2$, procesados en orden decreciente de dimensión.
   • Resultado: Según el Lema 6.4, si un abanico suave $\Phi$ refina un abanico proyectivo $\Delta$, entonces la subdivisión baricéntrica $\text{Bar}(\Phi)$ es proyectiva. Este paso fuerza la proyectividad mientras preserva la suavidad.

Contribuciones y Resultados Clave

• Teorema 1.1 (Proyectivización Tórica Canónica): El artículo demuestra que para cualquier abanico suave y completo $\Sigma$ en $N_\mathbb{R}$ ($n \geq 2$), existe una secuencia finita canónica de explosiones tóricas:
  $$X_{\hat{\Sigma}} = X_r \to X_{r-1} \to \dots \to X_0 = X_\Sigma$$
  tal que:

  1. $X_{\hat{\Sigma}}$ es suave y proyectiva.
  2. Cada morfismo es la explosión de un centro invariante bajo el toro suave de codimensión $\geq 2$.
  3. La construcción es canónica relativa a una base ordenada fija del retículo.

• Uniformidad: La prueba es uniforme en todas las dimensiones $n$, evitando análisis de casos específicos por dimensión (a diferencia de algunos enfoques previos para trivariados no proyectivos).

• Especialización en Dimensión Tres: En dimensión tres, los objetos "malos" resueltos por la etapa de adaptación de paredes son curvas invariantes (correspondientes a conos 2-dimensionales), y la etapa baricéntrica resuelve curvas invariantes y puntos fijos bajo el toro (conos 3-dimensionales). Esto se alinea con la filosofía de la "curva mala" observada en trivariados de Moishezon no proyectivos.

• Estimaciones de Longitud: El artículo proporciona estimaciones para el número de explosiones requeridas. La longitud total se descompone en un costo de adaptación (relacionado con el número de rayos añadidos para satisfacer las condiciones de pared) y un costo baricéntrico (relacionado con el número de conos en el abanico adaptado). Para trivariados, se deriva una fórmula específica $L_{full} = 6f_1(\Gamma) - f_1(\Sigma) - 10$.

Significado y Afirmaciones
El artículo afirma proporcionar una solución constructiva al problema de proyectivización que mantiene la suavidad durante todo el proceso.

• Contraste con Métodos Clásicos: A diferencia del Lema de Chow Tórico clásico seguido de desingularización (que puede introducir abanicos intermedios singulares), este método asegura que cada variedad intermedia sea suave.
• Contraste con Factorización Débil: A diferencia del Teorema de Factorización Débil (Włodarczyk), que descompone aplicaciones birracionales en explosiones y contracciones, esta construcción logra el resultado utilizando solo explosiones.
• Contraste con Modificaciones Q-Factoriales: El enfoque difiere de marcos que utilizan flips, flops o modificaciones Q-factoriales (por ejemplo, Fujino–Sato), que a menudo resultan en variedades isomorfas en codimensión uno en lugar de una variedad dominante.
• Canonicidad: La construcción es determinista una vez que se elige una base del retículo, resolviendo las subvariedades "malas" (aquellas que cruzan paredes de proyectividad) en un orden sistemático.

El autor señala que la hipótesis de suavidad es esencial; si el abanico de entrada no es suave, la suma de generadores $u+v$ puede no ser primitiva, lo que impide la aplicación directa del algoritmo de adaptación de signos. El trabajo se presenta como una construcción directa y sin pesos para abanicos suaves, distinta de las versiones ponderadas de conjeturas de factorización.