Vector bundles on bielliptic surfaces: Ulrich bundles and degree of irrationality

Resumen Técnico: Paquetes Vectoriales en Superficies Bielípticas: Paquetes Ulrich y Grado de Irracionalidad

Planteamiento del Problema
Este artículo aborda dos problemas distintos pero interconectados relativos a la geometría de las superficies bielípticas $S$:

1. Clasificación de Paquetes Ulrich: Determinar los caracteres de Chern (específicamente, los vectores de Mukai) de los paquetes Ulrich en superficies bielípticas. Si bien la existencia de paquetes Ulrich de rango 2 en superficies de dimensión de Kodaira cero está establecida, una clasificación completa de sus caracteres de Chern dependiendo del tipo topológico de la superficie sigue siendo un problema abierto.
2. Grado de Irracionalidad: Calcular el grado de irracionalidad, $\text{irr}(S)$, definido como el grado mínimo de un mapa racional genéricamente finito de $S$ a $\mathbb{P}^2$. El trabajo previo de Yoshihara [31] calculó este invariante para todos los tipos de superficies bielípticas excepto para el Tipo 6.

Metodología
El autor emplea una combinación de la teoría de espacios de módulos, técnicas de categorías derivadas y geometría algebraica clásica.

• Propiedad de Brill-Noether Débil: Una herramienta central es la investigación de la propiedad de Brill-Noether débil para los espacios de módulos de haces $M_H(v)$. Un espacio de módulos satisface esta propiedad si un haz general en él tiene como máximo un grupo de coherencia no nulo. El artículo establece esta propiedad para los haces de línea en superficies bielípticas, distinguiendo entre los casos donde el subgrupo de torsión $H^2(S, \mathbb{Z})_{\text{tor}}$ es no trivial (Tipos 1, 2, 3, 5) y donde es trivial (Tipos 4, 6, 7).
• Espacios de Módulos y Vectores Isotrópicos: El estudio de los paquetes Ulrich se reduce al análisis de los espacios de módulos de haces estables con vectores de Mukai isotrópicos. El autor aprovecha los resultados de existencia recientes de Nuer [25] respecto a la no vacuidad de estos espacios de módulos para polarizaciones genéricas.
• Cubrimientos Canónicos y Cubrimientos Étale: El análisis utiliza frecuentemente la cubierta canónica $\tilde{X}$ (una superficie abeliana) y cubrimientos étale intermedios para elevar los problemas desde $S$ hacia un entorno donde la geometría se comprende mejor (por ejemplo, utilizando propiedades de haces semi-homogéneos en variedades abelianas).
• Grado de Irracionalidad vía Paquetes Estables: Para calcular $\text{irr}(S)$, el artículo adapta un método desarrollado por Moretti [21] para superficies K3. Esto implica la construcción de un "par bueno" $(E, V)$, donde $E$ es un paquete vectorial estable de rango 2 y $V \subset H^0(S, E)$ genera $E$ en codimensión 2. El grado del mapa racional inducido $\phi_V: S \dashrightarrow \mathbb{P}^2$ se calcula utilizando la fórmula $\deg(\phi_V) = c_2(E) - \deg(\bigcap Z(s))$.

Contribuciones Clave y Resultados

1. Clasificación de Paquetes Ulrich (Teorema 1.3)
El artículo proporciona una clasificación completa de los vectores de Mukai de los paquetes Ulrich en superficies bielípticas polarizadas por un divisor ample genérico $H$ de clase numérica $aA_0 + bB_0$ (con $b \ge \lambda_S$). La clasificación depende estrictamente del tipo topológico de $S$:

• Tipos 1, 2, 3, 5: Estas superficies poseen paquetes Ulrich para todos los rangos $r \ge 1$ con vectores de Mukai $v_{\text{Ulrich}}(r, k) = (r, ka_0 + (3r-k)bB_0, 2rab)$ para todos los enteros $r \le k \le 2r$. Esto incluye la existencia de paquetes de línea Ulrich.
• Tipos 4, 6, 7: Estas superficies poseen paquetes Ulrich de cada rango $r \ge 2$, pero no poseen paquetes de línea Ulrich. Además, no todos los vectores de Mukai teóricos $v_{\text{Ulrich}}(r, k)$ corresponden a paquetes Ulrich reales; surgen obstrucciones específicas debido a la anulación del subgrupo de torsión $H^2(S, \mathbb{Z})_{\text{tor}}$. Por ejemplo, las superficies de Tipo 4 carecen de paquetes Ulrich con vector de Mukai $v_{\text{Ulrich}}(3, 3)$, y las de Tipo 6 carecen de aquellos con $v_{\text{Ulrich}}(2, 2)$.

2. Grado de Irracionalidad (Teorema 1.5)
El artículo demuestra que para todas las superficies bielípticas $S$, el grado de irracionalidad satisface $\text{irr}(S) \le 3$.

• Este resultado completa el trabajo de Yoshihara [31], resolviendo específicamente el caso previamente abierto del Tipo 6.
• La prueba construye un paquete estable de rango 2 específico $E$ con vector de Mukai $(2, D, 3)$ donde $D$ tiene clase numérica $3A_0 + 2B_0$. Al demostrar que $E$ es globalmente generado en codimensión 2, el autor establece un mapa racional genéricamente finito de grado a lo sumo 3.
• La estrategia confirma que la cota $\text{irr}(S) \le 3$ se mantiene uniformemente a través de las siete familias de superficies bielípticas.

Significancia y Reivindicaciones
El artículo afirma proporcionar la primera clasificación completa de los paquetes Ulrich en superficies bielípticas, destacando cómo los invariantes topológicos (específicamente la torsión en la segunda cohomología) dictan la existencia de dichos paquetes. Demuestra que la propiedad de Brill-Noether débil para los haces de línea es un determinante crítico en la existencia de paquetes de línea Ulrich.

Respecto al grado de irracionalidad, el artículo afirma resolver la cuestión para las superficies bielípticas proporcionando un tratamiento uniforme que adapta el método de Moretti para superficies K3. El resultado $\text{irr}(S) \le 3$ se presenta como una cota superior definitiva para esta clase de superficies, llenando el vacío dejado por la literatura previa. El trabajo se apoya en la interacción entre la geometría de la cubierta canónica y las condiciones de estabilidad de los haces en la superficie base, ofreciendo una aplicación concreta de la teoría de espacios de módulos a los invariantes biracionales.