On the meagerness of the set of irregular bundles on Hopf surfaces

Aquí se presenta un resumen técnico detallado del artículo "Sobre la escasez del conjunto de haces irregulares en superficies de Hopf" de Edoardo Ballico y Elizabeth Gasparim.

1. Planteamiento del Problema y Motivación

El artículo aborda la estructura del espacio de móduli de haces vectoriales estables en superficies de Hopf, que son superficies complejas no kählerianas difeomorfas a $S^3 \times S^1$. Específicamente, los autores investigan las propiedades de los haces irregulares dentro de estos espacios de móduli.

• Contexto: La investigación está motivada por preguntas abiertas sobre los espacios de móduli de instantones en $S^3 \times S^1$, tal como los describió Edward Witten. Un objetivo específico es resolver la cuestión de la conexión del espacio de móduli de instantones $SU(2)$.
• La Pregunta Central: En geometría algebraica (superficies proyectivas), los haces estables a menudo exhiben un comportamiento "bueno" (por ejemplo, ser filtrables). Sin embargo, en superficies no kählerianas como las superficies de Hopf, el comportamiento está menos comprendido. Los autores buscan determinar si los haces "irregulares" (aquellos con saltos o degeneraciones estructurales específicas) forman una parte significativa del espacio de móduli o si son despreciables.
• Definiciones:
  • Superficie de Hopf ($X$): Una superficie de Hopf clásica fibrada elípticamente sobre $\mathbb{P}^1$ con fibras isomorfas a una curva elíptica $T$.
  • Espacio de Móduli ($M_{r,c}$): El espacio de haces vectoriales estables de rango $r$ con segunda clase de Chern $c > 0$ y determinante trivial.
  • Salto: Un haz $E$ tiene un salto si su restricción a una fibra $T_x$ no es semiestable.
  • Haz Irregular: Un haz $E$ es irregular si su restricción a alguna fibra $T_x$ es un haz irregular en la curva elíptica (definido como tener factores indecomponibles que no son distintos dos a dos en $\text{Pic}(T)$).
  • Conjunto Magro: Un conjunto es magro si es una unión numerable de subconjuntos sin puntos interiores. En topología, un conjunto magro es "pequeño" (su complemento es denso).

2. Metodología y Enfoque Técnico

Los autores emplean una combinación de teoría de deformaciones, análisis cohomológico y la clasificación de haces vectoriales en curvas elípticas.

A. Contraste con el Caso Algebraico

El artículo comienza destacando por qué los argumentos algebraicos estándar fallan en este contexto no kähleriano:

1. Filtrabilidad: En superficies proyectivas, los haces suelen ser filtrables (extensiones de haces de líneas). En las superficies de Hopf, los haces filtrables deben tener saltos. En consecuencia, el conjunto abierto denso de haces estables sin saltos consiste enteramente en haces no filtrables.
2. Componentes Inestables: En variedades de tipo general, los espacios de móduli pueden tener componentes grandes compuestos únicamente por haces inestables. Los autores investigan si existen componentes "grandes" similares de haces irregulares en las superficies de Hopf y demuestran que no existen.

B. Análisis Cohomológico (Lema 3)

El motor técnico central de la prueba es el Lema 3, que analiza el espacio de endomorfismos de haces vectoriales en una curva elíptica $T$.

• Premisa: Sea $F$ un haz semiestable de rango $r \ge 2$ en $T$ con $\det(F) \cong \mathcal{O}_T$.
• Resultado:
  • Si $F$ es regular (factores indecomponibles distintos), $\dim H^0(T, \text{End}(F)) = r$.
  • Si $F$ es irregular (factores repetidos en la descomposición), $\dim H^0(T, \text{End}(F)) \ge r + 2$.
• Significado: Este salto en la dimensión del espacio de endomorfismos (de $r$ a al menos $r+2$) implica que los haces irregulares tienen un mayor grado de simetría (automorfismos), lo que geométricamente corresponde a un lugar "más delgado" en el espacio de móduli.

C. Teoría de Deformaciones y Sobreyectividad (Teorema 4)

Los autores utilizan la sucesión exacta de haces para relacionar el espacio de deformaciones del haz en la superficie con el espacio de deformaciones en la fibra:
$$0 \to \text{End}(E)(-T_x) \to \text{End}(E) \to \text{End}(F) \to 0$$

• Sobreyectividad: Al analizar los grupos de cohomología (específicamente $H^1$), muestran que la aplicación de restricción $\rho: H^1(X, \text{End}(E)) \to H^1(T_x, \text{End}(F))$ es sobreyectiva.
• Argumento de Codimensión: Dado que el espacio de haces irregulares en la fibra $T_x$ tiene una codimensión mayor (debido al aumento de la dimensión de $H^0(\text{End}(F))$), y dado que la aplicación $\rho$ es sobreyectiva, el lugar de los haces $E$ en el espacio de móduli $M_{r,c}$ que se restringen a haces irregulares en $T_x$ debe tener codimensión al menos 2 en el espacio de móduli.
• Escasez: Dado que la base de la fibración es $\mathbb{P}^1$ (dimensión 1), la unión de estos lugares sobre todo $x$ permanece magra (una unión numerable de conjuntos de codimensión $\ge 2$).

3. Contribuciones y Resultados Clave

Teorema Principal

Teorema 4: Sea $U$ una componente conexa del espacio de móduli $M_{r,c}$. El conjunto de todos los haces $E \in U$ que no son regulares (es decir, aquellos con saltos o aquellos que son irregulares en las fibras) es magro en $U$.

• Implicación: El conjunto de haces regulares es denso en cada subconjunto abierto del espacio de móduli. Los haces regulares son el caso "genérico".

Corolario: Conexión de los Espacios de Móduli

Corolario 5: Para rango $r=2$, la variedad compleja $M_{2,c}$ es conexa.

• Lógica de la Prueba:
  1. Por el Teorema Principal, basta con probar la conexión del conjunto de haces regulares.
  2. Los haces regulares corresponden a curvas espectrales $C_E$ que son curvas suaves y conexas de género $2n-1$.
  3. El conjunto de gráficos asociados a estos haces forma un subconjunto abierto de Zariski irreducible.
  4. Las fibras de la aplicación desde haces hasta curvas espectrales son jacobianas de estas curvas suaves, las cuales son conexas.
  5. Por lo tanto, todo el espacio de móduli es conexo.

4. Significado e Impacto

1. Resolución de la Pregunta de Witten: El artículo proporciona una respuesta afirmativa a la pregunta planteada por Edward Witten sobre la conexión del espacio de móduli de instantones $SU(2)$ en $S^3 \times S^1$.
2. Geometría No Kähleriana: Establece que, a pesar de la falta de métricas kählerianas y del fracaso de propiedades algebraicas estándar (como la filtrabilidad), los espacios de móduli de haces estables en superficies de Hopf aún poseen una estructura "genérica" dominada por haces regulares.
3. Novedad Técnica: El artículo demuestra que el comportamiento "malo" (irregularidad) en contextos no kählerianos no conduce necesariamente a componentes grandes y desconectados del espacio de móduli, contrariamente a lo que podría esperarse de analogías con variedades de tipo general.
4. Definiciones Fundamentales: Define y distingue rigurosamente entre "saltos" e "irregularidad" en el contexto de las superficies de Hopf, aclarando el paisaje geométrico para futuras investigaciones en teoría de gauge no kähleriana.

En resumen, el artículo demuestra que los haces irregulares son topológicamente despreciables (magros) dentro de los espacios de móduli de superficies de Hopf, estableciendo así la densidad de los haces regulares y confirmando la conexión del espacio de móduli de rango 2.