On the birational geometry of $\mathbf{Q}$-Fano threefolds of large Fano index, I

Resumen Técnico: Sobre la geometría biracional de las variedades $\mathbb{Q}$-Fano de tres dimensiones con gran índice Fano, I

Planteamiento del problema
Este artículo investiga el problema de la racionalidad para las variedades $\mathbb{Q}$-Fano de tres dimensiones, específicamente aquellas con un gran índice Fano $q_Q(X) \ge 2$. Una variedad $\mathbb{Q}$-Fano de tres dimensiones $X$ se define como una variedad proyectiva con singularidades terminales $\mathbb{Q}$-factoriales, $\text{Pic}(X) \simeq \mathbb{Z}$, y un divisor anticanónico $-K_X$ amplio. El índice Fano $q_Q(X)$ es el entero máximo $q$ tal que $-K_X \sim_{\mathbb{Q}} q A_X$ para un divisor de Weil $A_X$. Si bien la clasificación de estas variedades está acotada, una clasificación completa sigue siendo un problema abierto. La pregunta central abordada es determinar qué condiciones sobre el índice y la dimensión de los sistemas lineales del divisor fundamental garantizan que $X$ sea racional. Trabajos previos establecieron que $X$ es racional si $q_Q(X) \ge 8$, pero existen contraejemplos para índices 2, 3, 5 y 7.

Metodología
El autor emplea el programa de Sarkisov, un método sistemático para analizar los mapas biracionales entre espacios fibrados de Mori. La técnica central consiste en construir un "enlace de Sarkisov" partiendo de una $\mathbb{Q}$-Fano de tres dimensiones no racional $X$:

1. Explosión extrema (Extremal Blowup): Dado un sistema lineal $M \sim_{\mathbb{Q}} n A_X$ (donde $n < q_Q(X)$), el autor considera el umbral canónico $c = \text{ct}(X, M)$. Se realiza una explosión extrema $f: \tilde{X} \to X$, centrada en un centro canónico del par $(X, cM)$.
2. Programa de Modelos Mínimos Logarítmicos (LMMP): Se ejecuta un log MMP en $\tilde{X}$ con respecto a $K_{\tilde{X}} + c\tilde{M}$. Esto produce un mapa biracional $\chi$ y una contracción $\bar{f}: \bar{X} \to \hat{X}$.
3. Análisis del objetivo (Target): Se analiza la variedad resultante $\hat{X}$. Si $\hat{X}$ es un punto, $\bar{f}$ es una fibración (fibración de haces de cónicas o fibración de superficies de del Pezzo). Si $\hat{X}$ es una variedad de tres dimensiones, el mapa es biracional.
4. Restricciones numéricas: El autor utiliza la relación $k\hat{q} = q s_k + (q\beta_k - k\alpha)e$ (derivada de las fórmulas de la discrepancia y de la retroimagen) para restringir los posibles invariantes de $\hat{X}$. Aquí, $\hat{q}$ es el índice de $\hat{X}$, $s_k$ se relaciona con la dimensión de los sistemas lineales, y $\alpha, \beta_k$ son coeficientes de la discrepancia.
5. Búsqueda computacional y clasificación: El artículo depende fuertemente de la clasificación de los invariantes numéricos de las $\mathbb{Q}$-Fano de tres dimensiones (haciendo referencia a la lista en [B+]). El autor realiza búsquedas computacionales para identificar casos específicos donde el enlace de Sarkisov no fuerza inmediatamente la racionalidad, y luego analiza estos candidatos numéricos específicos utilizando teoremas sobre la torsión en el grupo de clases de divisores y la geometría de las superficies de del Pezzo.

Contribuciones clave y resultados
El resultado principal es un conjunto de condiciones suficientes para la racionalidad de las $\mathbb{Q}$-Fano de tres dimensiones con $q_Q(X) \ge 2$.

Teorema 1.2: Sea $X$ una $\mathbb{Q}$-Fano de tres dimensiones con $q_Q(X) \ge 2$. $X$ es racional si cualquiera de las siguientes condiciones se cumple:

• (i) $p_1(X) \ge 4$;
• (ii) $q_Q(X) \ge 3$ y $p_1(X) \ge 3$;
• (iii) $q_Q(X) \ge 4$ y $p_1(X) \ge 2$;
• (iv) $q_Q(X) \ge 5$, $p_2(X) \ge 2$, y $X$ no es de un tipo excepcional específico (Proposición 7.4, caso #41422);
• (v) $q_Q(X) \ge 6$ y $p_3(X) \ge 2$.

Aquí, $p_n(X) = \max \{ h^0(X, \mathcal{O}_X(D)) \mid D \sim_{\mathbb{Q}} n A_X \}$.

Hallazgos específicos por índice:

• Índice $\ge 5$: Si $p_1(X) \ge 2$, $X$ es racional (Proposición 6.2). Si $q_Q(X) \ge 6$ y $p_2(X) \ge 2$, $X$ es racional (Proposición 7.1).
• Índice 4: Si $p_1(X) \ge 2$, $X$ es racional (Proposición 6.3).
• Índice 3: Si $p_1(X) \ge 3$, $X$ es racional. Si $p_1(X) = 2$ y $X$ no es racional, $X$ es uniráional y posee una estructura de haz de cónicas. El artículo identifica cuatro candidatos numéricos específicos para los casos no racionales (Proposición 6.4), señalando que la existencia de algunos es desconocida y la racionalidad de otros es un problema abierto.
• Índice 2: Si $p_1(X) \ge 4$, $X$ es racional. Si $p_1(X) \ge 3$, $X$ es biracional a un haz de cónicas. Si $p_1(X) \ge 2$, $X$ no es sólido (es biracional a un espacio fibrado de Mori estricto).

Torsión en el grupo de clases:
El artículo proporciona un análisis detallado de los casos donde el grupo de clases de divisores de Weil $\text{Cl}(X)$ tiene torsión no trivial. Establece que para índices grandes ($q_Q \ge 5$), la torsión implica estructuras de cociente específicas ($X \simeq X'/\mu_N$) que son frecuentemente racionales. Para los índices 3 y 4, el artículo clasifica los casos donde $q_W(X) \neq q_Q(X)$ y muestra que, bajo ciertas condiciones ($p_1 \ge 2$), estos son también cocientes racionales de hipersuperficies.

Significación
El artículo hace avanzar la comprensión de la geometría biracional de las $\mathbb{Q}$-Fano de tres dimensiones al reducir significativamente el umbral para la racionalidad garantizada basado en la dimensión de los sistemas lineales. Refina la frontera entre variedades racionales y no racionales, particularmente para los índices 2, 3 y 4. El trabajo identifica tipos numéricos "excepcionales" específicos que permanecen como candidatos potenciales para la no racionalidad, delimitando así el alcance de futuros esfuerzos de clasificación. La metodología demuestra la efectividad de combinar el programa de Sarkisov con una clasificación numérica exhaustiva para resolver cuestiones biracionales. El artículo reconoce explícitamente que, si bien resuelve muchos casos, la racionalidad de familias específicas (por ejemplo, ciertos casos de índice 3 y el caso específico de índice 5 #41422) sigue siendo una cuestión abierta, lo cual es consistente con la no racionalidad de miembros muy generales en algunas familias (por ejemplo, [Oka19]).