A canonicity criterion for toric varieties and the classification of canonical 4-simplices

1. Planteamiento del Problema

El artículo aborda dos problemas centrales en la geometría algebraica y la teoría de variedades tóricas:

1. Criterio de Canonicidad: Existe una necesidad de caracterizar cuándo una variedad tórica es "canónica" o "terminal" (tipos de singularidades importantes en la clasificación de variedades de Fano y en la correspondencia de espejo) basándose en datos combinatorios y algebraicos locales, específicamente a través de las acciones de sus grupos de clase locales.
2. Clasificación de Espacios Ponderados Falsos: Se busca una clasificación completa de los "espacios ponderados falsos" (fake weighted projective spaces o fwps) en dimensión cuatro que sean canónicos o terminales. Estos espacios son variedades tóricas proyectivas con número de Picard uno, generalizaciones de los espacios proyectivos ponderados.

El autor destaca que, aunque existen clasificaciones para casos reflexivos o en dimensiones inferiores (como la clasificación de 225 casos canónicos en dimensión 3 por Kasprzyk), la clasificación en dimensión 4 para el caso canónico general era un desafío computacional y teórico pendiente.

2. Metodología

El autor desarrolla un enfoque basado en la construcción de cociente de Cox y el criterio de Reid–Shepherd-Barron–Tai para singularidades de cociente.

• Construcción de Cox y Grupos Locales:

  • Se considera una variedad tórica $X$ como un cociente $X = \hat{X}/H$, donde $\hat{X} \subseteq \mathbb{C}^r$ es una subvariedad tórica abierta y $H$ es un cuasi-toro que actúa diagonalmente.
  • Para cada punto fijo torico $x_i \in X$, se identifica un subgrupo finito $H_i \subseteq H$ cuyo grupo de caracteres es isomorfo al grupo de clase local $\text{Cl}(X, x_i)$.
  • Se analizan las acciones de los elementos $h \in H_i$ sobre el espacio afín local.

• Criterio de Edad (Age):

  • Se utiliza el concepto de "edad" (age) de un elemento $h \in \text{GL}(n, \mathbb{C})$. Si los autovalores de $h$ son $e^{2\pi i \alpha_j}$ con $0 \le \alpha_j < 1$, la edad se define como $\text{age}(h) = \sum \alpha_j$.
  • Teorema Principal (2.7): Una variedad tórica $X$ es canónica si y solo si $\text{age}(h) \ge 1$ para todo $h \neq 1$ en los grupos de estabilizador locales $H_i$. Es terminal si $\text{age}(h) > 1$.

• Algoritmo de Clasificación (Sección 3):

  • Se especializa el criterio para fwps (número de Picard 1). Se definen matrices de generadores $P$ y matrices de grado $Q$.
  • Se introduce el concepto de vector de torsión $\mu$ y minimalidad por filas para reducir el espacio de búsqueda de matrices de grado equivalentes.
  • Se propone el Algoritmo 3.10, que clasifica los fwps canónicos/terminales iterativamente:
    1. Comienza con vectores de peso canónicos (usando cotas de Sylvester).
    2. Adiciona filas de torsión iterativamente.
    3. En cada paso, verifica las condiciones de canonicidad/terminalidad (basadas en sumas de residuos enteros derivados de la edad) y la minimalidad.
    4. Filtra matrices no equivalentes mediante un método de criba (sieve method).

• Análisis de Interiores de Fine (Sección 4):

  • Para los poliedros canónicos resultantes, se calcula el Interior de Fine $F(\Delta)$, un subpoliedro racional definido por desigualdades lineales.
  • Se analiza la dimensión de $F(\Delta)$ para determinar la dimensión de Kodaira de la variedad modelo canónica asociada y se calcula el número de Euler "stringy" para los casos Calabi-Yau (dimensión 0).

3. Contribuciones Clave

1. Nuevo Criterio de Canonicidad: Se establece un criterio necesario y suficiente para la canonicidad y terminalidad de variedades tóricas simpliciales basado puramente en la acción del grupo de clase local y la edad de sus elementos (Teorema 1.1 y 2.7).
2. Algoritmo de Clasificación Eficiente: Se desarrolla un algoritmo computacional (Algoritmo 3.10) capaz de manejar la complejidad combinatoria de los espacios ponderados falsos en dimensiones superiores, superando las limitaciones de métodos anteriores.
3. Clasificación Completa en Dimensión 4: Se logra la primera clasificación completa de los espacios ponderados falsos canónicos en dimensión cuatro.
4. Análisis de Interiores de Fine: Se realiza un cálculo exhaustivo de los interiores de Fine para todos los 710,450 simplices canónicos encontrados, proporcionando datos sobre la distribución de dimensiones y los invariantes birracionales asociados.

4. Resultados Principales

• Cantidad de Objetos Clasificados:

  • El algoritmo reproduce correctamente los resultados conocidos en dimensión 3 (225 casos canónicos) y dimensión 4 para el caso terminal (35,947 casos).
  • Resultado Nuevo (Teorema 1.2): Existen exactamente 710,450 espacios ponderados falsos canónicos de dimensión cuatro (hasta isomorfismo).
  • El algoritmo se ejecutó en aproximadamente 12 minutos en una computadora de gama media con 16 hilos.

• Distribución de Interiores de Fine (Dimensión 4):
  De los 710,450 simplices canónicos, la distribución de la dimensión de su Interior de Fine $F(\Delta)$ es:

  • Dimensión 0: 387,310 simplices (Casos Calabi-Yau).
  • Dimensión 1: 112,672 simplices.
  • Dimensión 2: 95,713 simplices.
  • Dimensión 3: 70,130 simplices.
  • Dimensión 4: 44,625 simplices.
  • Observación: A diferencia de la dimensión 3, donde la dimensión 0 es abrumadoramente dominante, en dimensión 4 todas las dimensiones aparecen con frecuencias significativas.

• Números de Euler Stringy:

  • Para los 387,310 casos con interior de Fine de dimensión 0 (modelos Calabi-Yau), se calcularon los números de Euler stringy.
  • Se encontraron 94,233 valores distintos, de los cuales solo 852 son enteros.

• Invariancia Birationales:

  • Se demuestra que el interior de Fine determina invariantes birracionales. Por ejemplo, para los 46 interiores de Fine unidimensionales encontrados, se calculan las plurigeneras $P_m$ y se concluye que simplices con interiores de Fine distintos no son birracionalmente equivalentes.

5. Significado e Impacto

• Avance en la Teoría de Singularidades: El trabajo proporciona una herramienta teórica robusta (el criterio de edad vía grupos de clase local) que simplifica la verificación de propiedades de singularidades en variedades tóricas, conectando la geometría algebraica con la teoría de grupos finitos.
• Base de Datos para la Simetría de Espejo: Los 710,450 simplices canónicos y sus datos asociados (interiores de Fine, números de Euler) constituyen un recurso valioso para la investigación en simetría de espejo, ya que estos poliedros son candidatos a poliedros de Newton para hipersuperficies Calabi-Yau.
• Escalabilidad Computacional: La demostración de que es posible clasificar exhaustivamente objetos geométricos complejos en dimensión 4 en un tiempo razonable abre la puerta a futuras clasificaciones en dimensiones superiores o para otras clases de variedades tóricas.
• Comprensión de Modelos Canónicos: El análisis de los interiores de Fine revela una riqueza estructural en dimensión 4 que no estaba presente en dimensiones inferiores, mostrando una mayor diversidad en los tipos de modelos canónicos y sus propiedades birracionales (como la dimensión de Kodaira).

En resumen, el artículo combina teoría profunda sobre singularidades tóricas con una implementación computacional eficiente para resolver un problema de clasificación abierto, proporcionando un conjunto de datos masivo y detallado que servirá como referencia fundamental en geometría algebraica y física teórica.