Kawamata-Miyaoka-type inequality for $\mathbb Q$-Fano varieties with canonical singularities II: Terminal $\mathbb Q$-Fano threefolds

El artículo demuestra una desigualdad óptima de tipo Kawamata-Miyaoka para variedades $\mathbb Q$-Fano tridimensionales terminales con índice de Fano mayor o igual a 3, y establece como aplicación que cualquier variedad de este tipo satisface la desigualdad $c_1(X)^3 < 3c_2(X)c_1(X)$.

Lo esencial

Imagina que el universo de las matemáticas es un inmenso jardín lleno de formas geométricas. En este jardín, hay unas estructuras especiales llamadas variedades Fano. Piensa en ellas como "islas de belleza" o "cristales perfectos" que tienen una propiedad muy especial: su curvatura es positiva en todas direcciones, como la superficie de una pelota, pero pueden tener algunos "bordes" o esquinas un poco irregulares (llamadas singularidades).

Los matemáticos, como los jardineros, quieren clasificar todas las formas posibles que pueden tomar estos cristales. Pero hay un problema: ¡hay demasiadas! Y algunas formas parecen posibles en los cálculos, pero en la realidad geométrica no existen. Es como si tuvieras un catálogo de coches que incluye un modelo con tres ruedas y un motor de cohete; suena divertido en papel, pero no puede rodar por la carretera.

El Gran Problema: La Regla de Oro

En este artículo, los autores (Haidong Liu y Jie Liu) se centran en un tipo específico de estos cristales: los Q-Fano tridimensionales. Son como esferas o cubos deformados en 3D que tienen ciertas "cicatrices" (singularidades terminales), pero que siguen siendo muy ordenados.

Para saber si una de estas formas es real o solo un fantasma matemático, los expertos usan una "regla de oro" llamada desigualdad de Kawamata-Miyaoka.

La analogía del presupuesto:
Imagina que cada cristal tiene un "presupuesto" de energía.

• Un lado de la ecuación ($c_1^3$) representa la fuerza total o la "gravedad" del objeto.
• El otro lado ($c_2 \cdot c_1$) representa la estabilidad o la resistencia de su estructura.

La regla dice: "La fuerza total nunca puede ser demasiado grande en comparación con la estabilidad". Si la fuerza es demasiado alta, el cristal se desmorona o, en términos matemáticos, no puede existir.

Antes de este trabajo, los matemáticos tenían una regla de seguridad un poco "holgada". Decían: "La fuerza no puede superar el triple de la estabilidad". Era como decir: "No puedes cargar más de 300 kg en un coche que pesa 100 kg".

La Gran Innovación: Un Filtro Más Estricto

Lo que hacen Liu y Liu en este artículo es afinar esa regla. Descubren que la realidad es mucho más estricta que la regla anterior.

• La nueva regla: Demuestran que la fuerza no puede superar 2.95 veces la estabilidad (aproximadamente).
• El resultado: Al poner este filtro más fino, ¡descubren que 13,559 formas que aparecían en las listas de "posibles cristales" (en una base de datos famosa llamada Grdb) en realidad son imposibles! Son como coches que no pueden rodar.

Es como si un inspector de tráfico revisara una lista de 100.000 coches teóricos y dijera: "Espera, según las nuevas leyes de física, 13.000 de estos modelos no pueden existir porque sus motores son demasiado potentes para sus chasis".

¿Cómo lo hicieron? (La Aventura de la Exploración)

Para probar esto, los autores no solo miraron los números; tuvieron que "viajar" a través de estas formas geométricas usando dos herramientas mágicas:

1. La Lupa de las Hojas (Foliaciones):
   Imagina que el cristal tiene un patrón de venas o hojas invisibles que crecen en su interior. Los autores usaron una teoría llamada "foliaciones" para ver si estas venas podían crecer de forma lógica. En un caso específico (cuando el "índice Fano" es 5), demostraron que si la forma fuera real, las venas tendrían que cruzarse de una manera imposible, como si dos ríos fluyeran en direcciones opuestas y chocaran en un punto sin poder mezclarse. ¡Imposible! Por lo tanto, esa forma no existe.

2. El Puente Mágico (Enlace de Sarkisov):
   Para los casos más difíciles (como cuando el índice es 4 o 8), usaron una técnica llamada "Enlace de Sarkisov". Imagina que tienes una pieza de Lego compleja. En lugar de analizarla estática, la desmontas pieza por pieza, la transformas en otra forma, la analizas de nuevo y luego intentas volver a montarla.

   • Si al intentar reconstruirla descubres que falta una pieza o que las piezas no encajan, entonces la forma original nunca pudo existir.
   • Los autores hicieron esto con formas muy raras (como la que tiene "cicatrices" de tipos 3, 5 y 11) y demostraron que, al intentar "desmontarlas y reconstruirlas", la estructura colapsaba.

El Hallazgo Específico: El Caso del Índice 8

El artículo tiene un capítulo final muy interesante sobre un caso muy concreto (índice 8). Había una forma teórica con un patrón de "cicatrices" muy específico: {3, 5, 11}.
Los autores demostraron que esta combinación es un fantasma. Es como si alguien dijera: "He diseñado un edificio con cimientos de madera, paredes de hielo y un techo de plomo". Matemáticamente se puede escribir, pero en la realidad, el edificio se cae al instante.

En Resumen

Este trabajo es como una limpieza masiva de un catálogo de sueños.

• Antes: Teníamos una lista enorme de formas geométricas "posibles".
• Ahora: Gracias a una regla más precisa y a técnicas de exploración muy inteligentes, hemos eliminado miles de formas que nunca existieron.
• El mensaje: La geometría es más estricta y ordenada de lo que pensábamos. No todo lo que se puede imaginar en un papel puede existir en el universo matemático.

Los autores nos han dado un mapa más limpio y preciso, eliminando los "caminos falsos" y ayudando a los futuros exploradores a centrarse solo en las formas que realmente pueden construirse.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Kawamata–Miyaoka-type inequality for Q-Fano varieties with canonical singularities II: Terminal Q-Fano threefolds" de Haidong Liu y Jie Liu, publicado en el Épijournal de Géométrie Algébrique (2025).

1. Planteamiento del Problema

El trabajo se centra en la clasificación y las propiedades numéricas de las variedades Fano terminales $\mathbb{Q}$-factoriales de dimensión tres (tresfolds). Específicamente, los autores buscan establecer una desigualdad óptima de tipo Kawamata-Miyaoka que relacione los clases de Chern de primer y segundo orden ($c_1$ y $c_2$) para estas variedades.

El problema principal es determinar el límite superior exacto del cociente $b_X = \frac{c_1(X)^3}{c_2(X)c_1(X)}$ para variedades con índice de Fano $q_{\mathbb{Q}}(X) \geq 3$.

• En trabajos anteriores ([LL25]), se había demostrado que $c_1(X)^3 \leq \frac{25}{8} c_2(X)c_1(X)$.
• La conjetura de K. Suzuki ([Suz24]) proponía que la desigualdad estricta $c_1(X)^3 < 3 c_2(X)c_1(X)$ debería ser cierta para todas las variedades terminales.
• El objetivo de este artículo es refinar la cota para casos con índices altos y demostrar la conjetura de Suzuki en su totalidad, eliminando casos numéricos "fantasma" que aparecen en bases de datos pero que no tienen realización geométrica.

2. Metodología

Los autores emplean una combinación de técnicas avanzadas de geometría biracional y análisis numérico:

1. Fórmula de Riemann-Roch Orbifold: Utilizan la fórmula de Reid ([Rei87]) para calcular los invariantes numéricos ($c_1^3$, $c_2 c_1$, dimensión de sistemas lineales) basándose en el "cesta" (basket) de puntos singulares $B_X$ de la variedad.
2. Análisis de Índices de Fano: Distinguen entre el índice de Weil ($q_W$) y el índice $\mathbb{Q}$-Cartier ($q_{\mathbb{Q}}$). Para $q_{\mathbb{Q}} \geq 5$, demuestran que $q_W = q_{\mathbb{Q}}$, lo que simplifica el análisis de la torsión en el grupo de clases de divisores $\text{Cl}(X)$.
3. Teoría de Folaciones (para $q=5$): Para el caso $q_{\mathbb{Q}}(X)=5$, utilizan la teoría de folaciones algebraicamente integrables. Analizan el subfaisco desestabilizador máximo del haz tangente $T_X$. Si la variedad violara la desigualdad deseada, el haz tangente no sería semi-estable, lo que llevaría a una contradicción mediante la desigualdad de Bogomolov-Gieseker.
4. Enlaces de Sarkisov (para $q=4$ y $q=8$): Para los casos más difíciles ($q=4$ y $q=8$), siguen el enfoque desarrollado por Yu. Prokhorov. Construyen un enlace de Sarkisov asociado a un sistema lineal móvil $M = |kA|$.
   • Realizan una explosión crepante $f: \tilde{X} \to X$.
   • Analizan la contracción extremal $\hat{f}: \hat{X} \to Z$ (tipo I o II).
   • Utilizan relaciones de invariancia (Lemas 4.2 y 4.3) para conectar los invariantes de $X$ con los de la variedad objetivo $\hat{X}$.
   • Demuestran que los casos numéricos candidatos llevan a contradicciones geométricas (ej. dimensiones de sistemas lineales incompatibles, existencia de divisores primos donde no deberían haberlos, o torsión no trivial donde se requiere que sea libre).

3. Contribuciones Clave y Resultados Principales

A. Desigualdad Óptima para $q_{\mathbb{Q}} \geq 3$

El resultado central es el Teorema 1.2, que establece una cota más estricta para variedades con índice alto:
Si $X$ es una variedad Fano terminal $\mathbb{Q}$-factorial con $q_{\mathbb{Q}}(X) \geq 3$, entonces:
$$c_1(X)^3 \leq \frac{121}{41} c_2(X)c_1(X)$$
La igualdad se cumple si y solo si $X$ es isomorfa a la variedad ponderada $\mathbb{P}(1,2,3,5)$.

B. Confirmación de la Conjetura de Suzuki

Como aplicación inmediata, combinando el Teorema 1.2 con resultados previos para índices bajos, los autores prueban el Teorema 1.3:
Para cualquier variedad Fano terminal $\mathbb{Q}$-factorial de dimensión tres $X$:
$$c_1(X)^3 < 3 c_2(X)c_1(X)$$
Esto confirma la conjetura de Suzuki y mejora significativamente las cotas conocidas anteriormente.

C. Eliminación de Tipos Numéricos Falsos

El artículo realiza un trabajo exhaustivo de "limpieza" en la base de datos Graded Ring Database (Grdb):

• Caso $q=5$: Se descarta el tipo numérico con cesta $R_X = \{3, 7^2\}$ (que daba $b_X = 25/8$) mediante la teoría de folaciones, demostrando que no puede realizarse geométricamente.
• Caso $q=4$: Se descarta el tipo numérico con cesta $R_X = \{7, 13\}$ (que daba $b_X = 3$) mediante enlaces de Sarkisov.
• Caso $q=8$: Se demuestra el Teorema 1.4, eliminando la posibilidad de que una variedad con $q_{\mathbb{Q}}=8$ tenga la cesta de índices locales $R_X = \{3, 5, 11\}$ (caso №22 en la Tabla 2).

En total, se demuestra que 13,559 tipos numéricos listados en la base de datos Grdb no corresponden a variedades Fano terminales reales.

4. Significado e Impacto

1. Optimalidad de la Cota: La desigualdad $\frac{121}{41}$ es óptima, ya que es alcanzada por una variedad existente ($\mathbb{P}(1,2,3,5)$). Esto cierra la brecha entre las cotas teóricas y los ejemplos conocidos.
2. Validación de Bases de Datos: El trabajo proporciona una validación rigurosa de la base de datos de variedades Fano, eliminando miles de entradas que, aunque numéricamente consistentes con la fórmula de Riemann-Roch, son geométricamente imposibles. Esto es crucial para la clasificación completa de variedades Fano.
3. Herramientas Metodológicas: La combinación de teoría de folaciones (para índices altos) y enlaces de Sarkisov (para índices medios) demuestra la potencia de integrar técnicas de análisis de estabilidad de haces con geometría biracional para resolver problemas de existencia.
4. Limitaciones: Los autores aclaran que la desigualdad estricta $c_1^3 < 3 c_2 c_1$ no se generaliza a variedades con singularidades canónicas (no terminales), citando el contraejemplo $\mathbb{P}(1,3,7,11)$.

En resumen, este artículo representa un avance fundamental en la comprensión de la estructura numérica y geométrica de las variedades Fano terminales de dimensión tres, resolviendo conjeturas abiertas y refinando la clasificación de estos objetos matemáticos.