Rank-two weak Fano bundles on a four-dimensional quadric hypersurface $Q^4$

Resumen Técnico: Paquetes Fano Débiles de Rango Dos en una Hipersuperficie Cuádrica de Cuatro Dimensiones

Planteamiento del Problema
Este artículo aborda la clasificación de los paquetes (bundles) Fano débiles de rango 2 en una hipersuperficie cuádrica suave de cuatro dimensiones, denotada como $Q_4$. Un paquete vectorial $E$ sobre una variedad proyectiva suave $X$ se define como un paquete Fano débil si su proyectivización $\mathbb{P}(E)$ es una variedad Fano débil, lo que significa que el divisor anticanónico $-K_{\mathbb{P}(E)}$ es nef y grande (big).

Si bien la clasificación de los paquetes Fano de rango 2 (donde $-K_{\mathbb{P}(E)}$ es afín/ample) en hipersuperficies cuádricas de dimensión $n \geq 4$ fue completada por Ancona, Peternell y Wiśniewski [APW94], y el caso Fano débil para dimensiones $n \geq 5$ fue resuelto recientemente por el autor [Tak26], el caso específico de $Q_4$ permanecía abierto. La dificultad en dimensión 4 surge de la estructura del grupo de Chow $A_2(Q_4) \simeq \mathbb{Z}\alpha \oplus \mathbb{Z}\beta$, donde $\alpha$ y $\beta$ representan las clases de las dos familias distintas de planos en $Q_4$. A diferencia de las dimensiones superiores donde la segunda clase de Chern $c_2(E)$ posee un único componente, en $Q_4$ esta posee dos componentes independientes, $c_2(E) = a\alpha + b\beta$. Esto aumenta el número de casos numéricos a considerar y requiere argumentos geométricos más refinados para excluir paquetes inexistentes.

Metodología
El autor emplea una combinación de restricciones numéricas, teoremas de desaparición (vanishing theorems) y restricciones geométricas a planos y líneas en $Q_4$. La metodología procede de la siguiente manera:

1. Normalización y Límites Numéricos: El paquete $E$ se normaliza mediante el giro (twisting) con un paquete de líneas de tal manera que $c_1(E) \in \{0, -1\}$. Utilizando la condición de Fano débil, el autor establece que el divisor $\xi + \frac{4-c_1}{2}H$ en $\mathbb{P}(E)$ es nef y grande (donde $\xi$ es el divisor tautológico y $H$ es la clase de hiperplano extraída). Aplicando las desigualdades numéricas de [APW94] a este divisor, se obtienen límites superiores e inferiores para los componentes $a$ y $b$ de $c_2(E)$.
2. Reducción por Riemann-Roch: Se aplica el teorema de Riemann-Roch para reducir el conjunto infinito de posibles pares enteros $(a, b)$ a una lista finita de candidatos tanto para $c_1 = 0$ como para $c_1 = -1$.
3. Exclusión mediante Restricción y Desaparición: Los candidatos restantes se eliminan utilizando varias técnicas:
   • Criterios de Descomposición (Splitting): Utilizando criterios de [APW94] y [MP97] para determinar cuándo un paquete debe descomponerse en una suma directa de paquetes de líneas basándose en la existencia de secciones globales y el signo de las clases de Chern.
   • Restricción a Planos: Restringiendo el paquete a planos-$\alpha$ y planos-$\beta$ (isomorfos a $\mathbb{P}^2$). El autor utiliza la clasificación de Fritzsche [Fri83] de paquetes lineales-uniformes en cuádricas. Si la restricción a cada plano de una familia es uniforme, el paquete en $Q_4$ está restringido a ser un paquete descompuesto (split) o un paquete espinorial (spinor bundle).
   • Teoremas de Desaparición: Aplicando el teorema de desaparición de Schneider (tal como se recuerda en [LN18]) y resultados de tipo Kodaira para paquetes nef y grandes para derivar contradicciones para configuraciones específicas de clases de Chern.
   • Teoría de Intersección: Computando números de intersección en $\mathbb{P}(E)$ para mostrar que ciertos casos numéricos violarían la nefidad del divisor anticanónico.

Contribuciones Clave y Resultados
El resultado principal, Teorema 1.1, proporciona una clasificación completa de los paquetes Fano débiles de rango 2 en $Q_4$ hasta el giro por un paquete de líneas. El teorema establece que cualquier tal paquete $E$ cae en una de las siguientes tres categorías:

1. Paquetes Descompuestos (Split Bundles): $E$ es una suma directa de dos paquetes de líneas.
2. Paquetes Espinoriales (Spinor Bundles): $E$ es uno de los dos paquetes espinoriales en $Q_4$.
3. Paquetes Estables: $E$ es un paquete $H_{Q_4}$-estable con $c_1(E) = -H_{Q_4}$ y $c_2(E) = \alpha + \beta$. Estos corresponden a los paquetes construidos en [APW94, Ejemplo 2.2] mediante la construcción de Serre a partir de dos planos disjuntos.

El artículo elimina sistemáticamente todas las demás posibilidades numéricas derivadas en la Sección 3. Notablemente, el caso $c_1=0$ muestra que solo produce paquetes descompuestos (Corolario 5.8), mientras que el caso $c_1=-1$ produce paquetes descompuestos, los dos paquetes espinoriales y los paquetes estables específicos con $c_2=(1,1)$ (Corolario 6.10).

Significado
El artículo afirma completar la clasificación de los paquetes Fano débiles de rango 2 en hipersuperficies cuádricas suaves. Mientras que el caso Fano era conocido y el caso Fano débil para $n \geq 5$ fue resuelto recientemente, el caso de cuatro dimensiones presentó desafíos únicos debido al rango del segundo grupo de Chow. La significancia radica en resolver estos casos numéricos adicionales combinando argumentos de positividad estándar con la geometría específica de los planos en $Q_4$. El resultado confirma que, a pesar de la mayor complejidad de las restricciones numéricas en dimensión 4, la clasificación permanece estructuralmente similar a los casos de dimensiones superiores: los paquetes son o bien descompuestos, espinoriales, o los paquetes estables específicos previamente identificados en el contexto Fano. El trabajo extiende la comprensión de los paquetes Fano débiles en variedades Fano de número de Picard uno, complementando clasificaciones previas en espacios proyectivos y variedades de Del Pezzo de tres dimensiones.