A no-go theorem for special Ulrich bundles, with a complement on primary Burniat surfaces

Resumen Técnico: Un Teorema de No-Go para Fibrados Ulrich Especiales, con un Complemento sobre Superficies de Burniat Primarias

Planteamiento del Problema
El artículo investiga la existencia de fibrados Ulrich de rango dos en superficies proyectivas suaves $X$ con género geométrico $p_g = 0$. Específicamente, aborda el caso "especial" donde la clase de Chern primera satisface $c_1(E) = 3H + K_X$ en $\text{Pic}(X)$, en lugar de ser meramente numérica. Una cuestión central en la literatura es si la construcción estándar de Cayley–Bacharach (una extensión de la forma $0 \to \mathcal{O}_X(H+K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$) puede producir tales fibrados cuando la polarización $H$ es especial (es decir, $h^1(\mathcal{O}_X(H)) \neq 0$). Mientras que la no-especialidad ($h^1=0$) es una hipótesis estándar en los teoremas de existencia (por ejemplo, Casnati [Ca17], Beauville [Be16b]), este artículo se pregunta si esta es una condición necesaria para esta construcción específica o simplemente una condición conveniente.

Metodología
Los autores emplean una combinación de análisis cohomológico, teoría de extensiones y la geometría de clases de superficies específicas:

1. Criterios de Extensión: El artículo utiliza la correspondencia de Serre–Griffiths–Harris, que vincula la existencia de una extensión localmente libre con la propiedad de Cayley–Bacharach (CB) de un subesquema de dimensión 0 $Z$ con respecto a un sistema lineal.
2. Tensión Cohomológica: El argumento central consiste en analizar la tensión entre la propiedad CB (que requiere que $Z$ imponga condiciones dependientes para asegurar la localidad libre) y la condición de nulidad de Ulrich $h^0(E(-H)) = 0$ (que requiere que $Z$ imponga condiciones independientes).
3. Mecanismos Genéricos vs. Especiales: Los autores contrastan el mecanismo "genérico" de Li–Qin [LQ94], que depende de 0-ciclos genéricos y requiere la no-especialidad, con el mecanismo de "puntos sobre una curva" de [An94], que sitúa a $Z$ sobre una curva irreducible. Demuestran que incluso este último falla para el núcleo adjunto cuando $H$ es especial.
4. Análisis de Superficies de Burniat: Para los resultados positivos, realizan computaciones explícitas en superficies de Burniat primarias (superficies mínimas de tipo general con $p_g=q=0$ y $K_X^2=6$). Utilizan la estructura de recubrimiento bidoble $\pi: X \to Y$ (donde $Y$ es una superficie de del Pezzo de grado 6) para reducir los cálculos de cohomología a la superficie racional $Y$, empleando la descomposición de haces de eigenvalores y la teoría de redes.

Contribuciones Clave y Resultados

1. El Teorema de No-Go (Teorema 1.3)
El principal resultado negativo establece que para una superficie con $p_g=0$ y un divisor amplio $H$ con $h^1(\mathcal{O}_X(H)) \neq 0$ (y $\chi(\mathcal{O}_X(H)) \ge q$), ningún fibrado vectorial de rango dos $E$ con $c_1(E) = 3H + K_X$ y la $c_2(E)$ correcta puede surgir de la extensión del núcleo adjunto:
$$0 \to \mathcal{O}_X(H + K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$$
satisfaciendo $h^0(E(-H)) = 0$.

• Mecanismo: La prueba muestra que la condición de Ulrich fuerza la longitud de $Z$ a ser $\ell(Z) = \chi(\mathcal{O}_X(H)) + \chi(\mathcal{O}_X)$. La nulidad $h^0(E(-H))=0$ implica que $h^0(\mathcal{O}_X(H) \otimes \mathcal{I}_Z) \le q$. Sin embargo, la propiedad CB (requerida para la localidad libre) implica que $Z$ impone condiciones dependientes, lo que conduce a una contradicción a menos que $h^1(\mathcal{O}_X(H)) = 0$.
• Significancia: Esto demuestra que la no-especialidad es una hipótesis necesaria para la construcción natural del núcleo adjunto, no solo una suposición conveniente. Descarta la posibilidad de que mecanismos de "posición especial" (como colocar puntos en curvas) puedan eludir el requisito de no-especialidad para este tipo específico de fibrado.

2. Existencia en Superficies de Burniat Primarias (Teorema 1.5)
Los autores aplican sus resultados a las superficies de Burniat primarias.

• No-Especialidad Global: Demuestran que todo divisor amplio y sin puntos base en una superficie de Burniat primaria es no-especial ($h^1(\mathcal{O}_X(H)) = 0$). Esto se deriva de un límite de grado: un divisor amplio sin puntos base debe tener un número de intersección $\ge 2$ con las seis curvas de ramificación elípticas de la superficie. Dado que $K_X$ tiene intersección 1 con estas curvas, $H - K_X$ es amplio, y el teorema de nulidad de Kodaira es aplicable.
• Consecuencias: Por consiguiente, toda polarización en una superficie de Burniat primaria admite un fibrado Ulrich especial de rango dos $\mu_H$-estable. Además, estas superficies son "estrictamente Ulrich salvajes" (strictly Ulrich wild) con respecto a cada polarización, al poseer fibrados Ulrich simples de cada rango par $r \ge 2$ en familias de dimensión arbitrariamente grande.

3. Clasificación de Clases Amplias Especiales
Aunque ninguna polarización (divisor muy amplio) es especial en estas superficies, los autores clasifican las "clases amplias especiales" (amplias pero no sin puntos base).

• Muestran que todas las clases amplias especiales yacen en tres rayos numéricos específicos que pasan por $K_X$.
• Computan la cohomología a lo largo de estos rayos, mostrando que las clases $H_u = K_X + \pi^*\mathcal{O}_Y(u(e_0 - e_1))$ son especiales para $u \ge 2$.
• Crucialmente, prueban que ninguna clase en estos rayos carece de puntos base, lo que explica por qué no contradicen la no-especialidad de las polarizaciones.

4. Núcleos Retorcidos y Obstrucciones
El artículo investiga si los núcleos "retorcidos" (por ejemplo, $0 \to \mathcal{O}_X(H+K_X-\epsilon) \to E \to \mathcal{O}_X(2H+\epsilon) \otimes \mathcal{I}_Z \to 0$) pueden rescatar la construcción para las polarizaciones especiales.

• En las superficies de Burniat primarias, analizan una variante retorcida específica que involucra curvas de ramificación.
• Demuestran que, incluso con el retorcimiento, la construcción falla para las clases especiales identificadas. El "presupuesto" de cohomología (la dimensión del objetivo del mapa de conexión) es insuficiente para absorber la especialidad de la polarización manteniendo las condiciones de nulidad requeridas.

5. Rango Superior y Salvajismo
Basándose en la existencia de fibrados de rango dos, los autores utilizan el criterio de Faenzi–Pons-Llopis para construir familias de fibrados Ulrich simples de rangos pares superiores. Establecen que las superficies de Burniat primarias son estrictamente Ulrich salvajes, mejorando resultados previos al proporcionar conteos de dimensión explícitos y la propiedad de simplicidad (en lugar de solo la indecomponibilidad).

Significancia y Reivindicaciones
El artículo reclama dos contribuciones principales:

1. Un Resultado Negativo: Clarifica las limitaciones de la construcción de Cayley–Bacharach, probando que la no-especialidad de la polarización es un requisito intrínseco para la forma del núcleo adjunto, y no un artefacto de la técnica de prueba. Esto resuelve un vacío en la literatura donde la necesidad de esta hipótesis no había sido registrada explícitamente.
2. Un Resultado Positivo en Superficies de Burniat: Proporciona una imagen completa de los fibrados Ulrich en las superficies de Burniat primarias. Confirma que, a pesar de la complejidad de la superficie, la geometría fuerza a todas las polarizaciones a ser no-especiales, garantizando así la existencia de fibrados Ulrich especiales estables para cada polarización. Esto contrasta con el trabajo reciente de Cho [Cho26], que estableció la no-especialidad para clases específicas (como $3K_X$) pero no formuló el resultado global para todas las polarizaciones o las consecuencias de la naturaleza estrictamente salvaje.

Los autores señalan que sus resultados sobre las superficies de Burniat se solapan con el trabajo de Cho respecto al límite de grado en curvas elípticas, pero su derivación es independiente y conduce a conclusiones globales más fuertes. También destacan que, aunque sus métodos elementales (Cayley–Bacharach) fallan para ciertos casos especiales (como la superficie quíntica en $\mathbb{P}^3$), los fibrados probablemente existen, lo que sugiere que la obstrucción es posicional más que numérica.