Higher rank bundles on Hopf surfaces

Resumen Técnico: Paquetes de Rango Superior en Superficies de Hopf

Planteamiento del Problema
El artículo investiga la geometría y las propiedades de estabilidad de los haces vectoriales y los haces sin torsión (torsion-free sheaves) de rango superior ($r \ge 2$) en superficies de Hopf clásicas. Una superficie de Hopf clásica $X$ es una superficie compleja no Kähler, homeomorfa a $S^1 \times S^3$, que admite una fibración elíptica $\pi: X \to \mathbb{P}^1$. Los autores abordan varios problemas interconectados:

1. La relación entre la filtrabilidad (la existencia de una filtración por subpaquetes) y el comportamiento de salto (jumping behavior: la inestabilidad de la restricción del paquete a las fibras de la fibración elíptica).
2. La existencia de paquetes estables e irreducibles con invariantes topológicos específicos, concretamente determinante trivial y una segunda clase de Chern ($c_2$) prescrita.
3. La estructura de los espacios de módulos $M_{r,n}$ de paquetes estables de rango $r$ con $c_2=n$, particularmente sus fronteras y la naturaleza de los límites de las familias de paquetes (haces sin torsión).
4. La introducción y caracterización de los paquetes muy irreducibles, definidos como paquetes cuyas potencias simétricas $S_n(E)$ permanecen irreducibles para todo $n > 0$.

Metodología
Los autores emplean una combinación de técnicas de geometría algebraica adaptadas al entorno no Kähler de las superficies de Hopf:

• Estabilidad y Métricas: La estabilidad se define mediante la estabilidad de pendiente con respecto a una métrica de Gauduchon (una forma $(1,1)$ que satisface $\partial\bar{\partial}\omega = 0$). El grado de un paquete se define mediante la integración contra esta métrica.
• Análisis de Filtración: Los autores utilizan el concepto de haces filtrables, definidos por una filtración $0 = E_0 \subset E_1 \subset \dots \subset E_r = E$ donde los cocientes son sin torsión. Analizan las clases de Chern de estos haces, observando que en las superficies de Hopf la forma de intersección es trivial (el producto $H^2(X, \mathbb{Z}) \times H^2(X, \mathbb{Z}) \to \mathbb{Z}$ es cero), lo que simplifica el cálculo de $c_2$ para extensiones iteradas.
• Transformaciones Elementales: Para estudiar la frontera de los espacios de módulos, los autores realizan operaciones elementales en codimensión 2. Partiendo de un paquete estable $E \in M_{r,n}$ y una suryección $v: E \to \mathbb{C}_p$ (donde $\mathbb{C}_p$ es un haz de Dirac en un punto $p \in X$), construyen el núcleo $E'$. Este $E'$ es un haz sin torsión con $c_2(E') = c_2(E) + 1$.
• Teoría de Deformaciones: Los autores analizan los espacios de deformación locales de estos haces utilizando grupos Ext. Demuestran que para paquetes estables, $\text{Ext}^2(E, E) = 0$, y extienden este análisis a los haces sin torsión construidos para mostrar que se encuentran en el cierre del espacio de módulos con una $c_2$ mayor.
• Gráfica de los Paquetes: Para los paquetes de rango 2, los autores utilizan la "gráfica" del paquete, un divisor en $\mathbb{P}^1 \times \mathbb{P}^1$ derivado de la primera imagen derivada del paquete multiplicado por el paquete de línea de Poincaré universal. La geometría de esta gráfica (específicamente la presencia de un componente correspondiente a una morfismo suprayectivo $\mathbb{P}^1 \to \mathbb{P}^1$) se utiliza para deducir propiedades de irreducibilidad.

Contribuciones Clave y Resultados

1. Filtrabilidad y Saltos:

   • Teorema 3.9: Los autores demuestran que cualquier paquete vectorial filtrable en una superficie de Hopf clásica con $c_2 > 0$ debe poseer saltos (es decir, existe una fibra donde la restricción no es semiestable).
   • Teorema 3.19: Inversamente, demuestran la existencia de paquetes estables y filtrables de rango $r$ con determinante trivial y cualquier $c_2 = c > 0$ prescrita.

2. Paquetes sin Saltos:

   • Teorema 4.12: En un resultado contrastante, los autores demuestran la existencia de paquetes irreducibles (y, por tanto, estables) de rango $r$ con determinante trivial y $c_2 = 1$ que no tienen saltos (su restricción a cada fibra es semiestable). Esto resalta un díctico entre los paquetes filtrables e irreducibles respecto al comportamiento de salto.

3. Frontera de los Espacios de Módulos:

   • Teorema 5.6: El artículo establece que los haces sin torsión obtenidos mediante transformaciones elementales (núcleos de suryecciones $E \to \mathbb{C}_p$) de paquetes estables $E \in M_{r,n}$ se encuentran en el cierre del espacio de módulos $M_{r,n+1}$.
   • Proposición 5.5: Demuestran que para un paquete simple $E$, los núcleos de las suryecciones a haces de Dirac en un punto $p$ forman una familia de dimensión $2r-1$ de haces sin torsión no isomorfos entre sí.
   • Interpretación: Estos resultados describen el fenómeno de "burbujeo" (bubbling) en el contexto algebraico-geométrico, donde una secuencia de paquetes estables degenera en un haz sin torsión con una singularidad puntual.

4. Paquetes Muy Irreducibles:

   • Definición 6.1: Los autores introducen los paquetes "muy irreducibles", donde todas sus potencias simétricas $S_n(E)$ son irreducibles.
   • Teorema 6.3: Demuestran que cualquier paquete de rango 2 cuya gráfica contiene un componente correspondiente a un morfismo suprayectivo $\mathbb{P}^1 \to \mathbb{P}^1$ es muy irreducible.
   • Teorema 6.4: Este resultado se generaliza a las representaciones del grupo simétrico, mostrando que $S_\rho(E)$ es irreducible (o cero) bajo condiciones similares.

Significado y Reivindicaciones
El artículo afirma proporcionar una imagen completa del panorama de los paquetes de rango superior en las superficies de Hopf. Específicamente:

• Clarifica las restricciones sobre los paquetes filtrables, mostrando que están intrínsecamente ligados a los fenómenos de salto cuando $c_2 > 0$.
• Demuestra que los espacios de módulos $M_{r,n}$ son lo suficientemente ricos como para contener tanto paquetes filtrables (con saltos) como paquetes muy irreducibles (sin saltos).
• Proporciona una descripción algebraico-geométrica concreta de la frontera de estos espacios de módulos, identificando haces sin torsión específicos como límites de paquetes estables. Esto conecta la geometría de las superficies de Hopf con el concepto de la geometría diferencial de las burbujas de instantones (instanton bubbling).
• La introducción de los paquetes "muy irreducibles" ofrece una nueva clase de paquetes rígidos con fuertes propiedades de estabilidad bajo potencias simétricas, extendiendo el trabajo previo sobre la fuerte irreducibilidad.

Los autores concluyen que los módulos de paquetes estables de rango superior en las superficies de Hopf son estructuras complejas que contienen tipos diversos de paquetes, que van desde aquellos fácilmente descomponibles (filtrables) hasta aquellos altamente rígidos e irreducibles en todas sus potencias simétricas.