Classifying additive smooth Fano toric varieties

Resumen Técnico: Clasificación de Variedades Toric Fano Suaves Aditivas

Planteamiento del Problema
El artículo aborda la clasificación de las variedades toric Fano suaves aditivas y únicamente aditivas sobre un cuerpo algebraicamente cerrado $K$ de característica cero. Una variedad algebraica irreducible $X$ de dimensión $n$ se denomina aditiva si admite una acción regular del grupo aditivo $(K^n, +)$ con una órbita abierta. Es únicamente aditiva si esta acción es única hasta isomorfismo. Huang y Montero determinaron previamente estas variedades para dimensiones $n \le 3$; este trabajo extiende la clasificación a dimensiones hasta $n=6$. Los autores buscan determinar computacionalmente la existencia y la unicidad para todas las variedades toric Fano suaves en estas dimensiones y proporcionar una clasificación estructural detallada para $n \le 4$.

Metodología
Los autores se basan en la correspondencia entre las acciones aditivas en una variedad toric $X_\Sigma$ y las propiedades combinatorias de su fan asociado $\Sigma$, específicamente las raíces de Demazure.

1. Marco Teórico:

   • La existencia de una acción aditiva es equivalente a la existencia de una colección completa de raíces de Demazure (Teorema 2.4).
   • La unicidad está determinada por la condición de que, para una base específica de la red $N$, el conjunto de raíces de Demazure asociadas a cada rayo de la base contenga exactamente un elemento (Teorema 2.9).
   • Los autores utilizan los Corolarios 2.11 y 2.12, que reducen el espacio de búsqueda vinculando la aditividad con la existencia de un cono máximo $\sigma \in \Sigma$ cuyos rayos extremales forman una base $B$ de la red $N$, tal que todos los demás rayos en $\Sigma$ se encuentran en el octante negativo de $B$.
   • Para variedades con número de Picard $\rho(X)=2$, los autores demuestran un resultado general (Proposición 3.2) que establece que todas estas variedades toric completas suaves son aditivas, siendo la unicidad válida solo para $\mathbb{P}^1 \times \mathbb{P}^1$.

2. Implementación Computacional:

   • Los autores introducen el paquete AdditiveToricVarieties para Macaulay2.
   • El paquete incluye métodos para calcular raíces de Demazure (demazureRoots), verificar la aditividad y la unicidad (additiveActions), y listar las variedades clasificadas (listAdditiveSmoothFanoToricVarieties, listUniquelyAdditiveSmoothFanoToricVarieties).
   • El paquete aprovecha una base de datos preprocesada de variedades toric Fano suaves (hasta dimensión 6) derivada de la Base de Datos de Anillos Graduados (GRDB) y las clasificaciones algorítmicas de Øbro.
   • El enfoque computacional consiste en verificar la condición del octante negativo para los conos máximos y verificar la cardinalidad de los conjuntos de raíces de Demazure para cada rayo.

Contribuciones Clave y Resultados

• Nuevos Datos de Clasificación:

  • Dimensión 2: Se analiza todas las 5 clases de isomorfismo de superficies toric Fano suaves. 1 es no aditiva, 2 son aditivas pero no únicamente aditivas, y 2 son únicamente aditivas.
  • Dimensión 3: De las 18 clases, 4 son no aditivas, 12 son aditivas (no únicas) y 2 son únicamente aditivas. Esto confirma y extiende los resultados geométricos previos de Huang y Montero.
  • Dimensión 4: De las 124 clases, 45 son no aditivas, 75 son aditivas (no únicas) y 4 son únicamente aditivas.
  • Dimensiones 5 y 6: Los autores proporcionan conteos por primera vez.
    • 5-variedades: 866 clases totales; 396 no aditivas, 466 aditivas (no únicas), 4 únicamente aditivas.
    • 6-variedades: 7,622 clases totales; 4,194 no aditivas, 3,420 aditivas (no únicas), 8 únicamente aditivas.

• Caracterización Estructural:

  • Los autores demuestran que toda variedad toric completa suave con número de Picard $\rho(X)=2$ es aditiva (Proposición 3.2).
  • Caracterizan las variedades únicamente aditivas en dimensiones $\le 6$ (Teorema 5.11). Una variedad toric Fano suave $X$ de dimensión $n \le 6$ es únicamente aditiva si y solo si es isomórfica a:
    1. Un producto de rectas proyectivas $(\mathbb{P}^1)^n$.
    2. Una explosión (blow-up) de $(\mathbb{P}^1)^n$ (para $n$ par) en un punto invariante por el toro.
    3. En dimensión 6, una variedad específica correspondiente al politopo con ID 5816 en la GRDB.
  • Esto implica que las variedades únicamente aditivas se construyen a partir de productos de $\mathbb{P}^1$ y explosiones específicas, excluyendo los politopos de del Pezzo (que nunca son aditivos) y los politopos pseudo-del Pezzo (que son únicamente aditivos).

• Herramienta de Software:

  • El paquete AdditiveToricVarieties se lanza como una herramienta funcional para la comunidad de geometría algebraica, permitiendo la verificación automatizada de la aditividad y la generación de listas de clasificación para variedades toric Fano suaves hasta dimensión 6.

Significado y Reivindicaciones
El artículo afirma proporcionar la primera clasificación computacional completa de variedades toric Fano suaves aditivas y únicamente aditivas para dimensiones hasta 6. Los autores señalan que, si bien los resultados existenciales para $n \le 3$ se obtuvieron previamente mediante técnicas geométricas, los resultados de mayor dimensión ($n \ge 4$) y los resultados de unicidad para $n=3$ son nuevos.

El trabajo destaca la viabilidad de utilizar la geometría algebraica computacional para resolver problemas de clasificación en dimensiones superiores, particularmente para variedades Fano suaves, donde el número de clases de isomorfismo crece significativamente más lento que el de las variedades Fano Gorenstein generales. Los autores sugieren modestamente que la enumeración de las variedades únicamente aditivas es "muy simple" hasta $n=6$ y proponen que caracterizar estas clases para un $n$ arbitrario y enumerar las variedades toric completas aditivas generales son direcciones naturales para investigaciones futuras. También mencionan una conexión con la conjetura de Ewald respecto al embebido de politopos Fano suaves, aunque observan que no todas las variedades aditivas satisfacen las condiciones de la conjetura computacionalmente.