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

1. Formulação do Problema e Motivação

O artigo aborda a estrutura do espaço de módulos de fibrados vetoriais estáveis em superfícies de Hopf, que são superfícies complexas não-quele difeomorfas a $S^3 \times S^1$. Especificamente, os autores investigam as propriedades de fibrados irregulares dentro desses espaços de módulos.

• Contexto: A pesquisa é motivada por questões em aberto sobre os espaços de módulos de instantons em $S^3 \times S^1$, conforme descrito por Edward Witten. Um objetivo específico é resolver a questão da conectividade do espaço de módulos de instantons $SU(2)$.
• A Questão Central: Na geometria algébrica (superfícies projetivas), fibrados estáveis frequentemente exibem um comportamento "bom" (por exemplo, serem filtráveis). No entanto, em superfícies não-quele como as superfícies de Hopf, o comportamento é menos compreendido. Os autores visam determinar se os fibrados "irregulares" (aqueles com saltos ou degenerações estruturais específicas) formam uma parte significativa do espaço de módulos ou se são negligenciáveis.
• Definições:
  • Superfície de Hopf ($X$): Uma superfície de Hopf clássica fibrada elipticamente sobre $\mathbb{P}^1$ com fibras isomórficas a uma curva elíptica $T$.
  • Espaço de Módulos ($M_{r,c}$): O espaço de fibrados vetoriais estáveis de posto $r$ com segunda classe de Chern $c > 0$ e determinante trivial.
  • Salto: Um fibrado $E$ tem um salto se sua restrição a uma fibra $T_x$ não é semiestável.
  • Fibrado Irregular: Um fibrado $E$ é irregular se sua restrição a alguma fibra $T_x$ é um fibrado irregular na curva elíptica (definido como tendo fatores indecomponíveis que não são distintos dois a dois em $\text{Pic}(T)$).
  • Conjunto Magro: Um conjunto é magro se é uma união enumerável de subconjuntos sem interior. Em topologia, um conjunto magro é "pequeno" (seu complemento é denso).

2. Metodologia e Abordagem Técnica

Os autores empregam uma combinação de teoria das deformações, análise cohomológica e classificação de fibrados vetoriais em curvas elípticas.

A. Contraste com o Caso Algébrico

O artigo começa destacando por que argumentos algébricos padrão falham neste cenário não-quele:

1. Filtrabilidade: Em superfícies projetivas, os fibrados são frequentemente filtráveis (extensões de fibrados de linha). Em superfícies de Hopf, fibrados filtráveis devem ter saltos. Consequentemente, o conjunto aberto denso de fibrados estáveis sem saltos consiste inteiramente de fibrados não-filtráveis.
2. Componentes Instáveis: Em variedades de tipo geral, os espaços de módulos podem ter grandes componentes consistindo exclusivamente de fibrados instáveis. Os autores investigam se componentes "grandes" semelhantes de fibrados irregulares existem em superfícies de Hopf e provam que não.

B. Análise Cohomológica (Lema 3)

O motor técnico central da prova é o Lema 3, que analisa o espaço de endomorfismos de fibrados vetoriais em uma curva elíptica $T$.

• Premissa: Seja $F$ um fibrado semiestável de posto $r \ge 2$ em $T$ com $\det(F) \cong \mathcal{O}_T$.
• Resultado:
  • Se $F$ é regular (fatores indecomponíveis são distintos), $\dim H^0(T, \text{End}(F)) = r$.
  • Se $F$ é irregular (fatores repetidos na decomposição), $\dim H^0(T, \text{End}(F)) \ge r + 2$.
• Significado: Este salto na dimensão do espaço de endomorfismos (de $r$ para pelo menos $r+2$) implica que fibrados irregulares possuem um grau mais alto de simetria (automorfismos), o que geometricamente corresponde a um lugar "mais fino" no espaço de módulos.

C. Teoria das Deformações e Sobrejetividade (Teorema 4)

Os autores utilizam a sequência exata de feixes para relacionar o espaço de deformação do fibrado na superfície com o espaço de deformação na fibra:
$$0 \to \text{End}(E)(-T_x) \to \text{End}(E) \to \text{End}(F) \to 0$$

• Sobrejetividade: Ao analisar os grupos de cohomologia (especificamente $H^1$), eles mostram que o mapa de restrição $\rho: H^1(X, \text{End}(E)) \to H^1(T_x, \text{End}(F))$ é sobrejetivo.
• Argumento de Codimensão: Como o espaço de fibrados irregulares na fibra $T_x$ possui uma codimensão maior (devido ao aumento da dimensão de $H^0(\text{End}(F))$), e o mapa $\rho$ é sobrejetivo, o lugar dos fibrados $E$ no espaço de módulos $M_{r,c}$ que se restringem a fibrados irregulares em $T_x$ deve ter codimensão pelo menos 2 no espaço de módulos.
• Magreza: Como a base da fibração é $\mathbb{P}^1$ (dimensão 1), a união desses lugares sobre todos os $x$ permanece magra (uma união enumerável de conjuntos de codimensão $\ge 2$).

3. Contribuições e Resultados Principais

Teorema Principal

Teorema 4: Seja $U$ uma componente conexa do espaço de módulos $M_{r,c}$. O conjunto de todos os fibrados $E \in U$ que não são regulares (ou seja, aqueles com saltos ou aqueles que são irregulares nas fibras) é magro em $U$.

• Implicação: O conjunto de fibrados regulares é denso em todo subconjunto aberto do espaço de módulos. Fibrados regulares são o caso "genérico".

Corolário: Conectividade dos Espaços de Módulos

Corolário 5: Para posto $r=2$, a variedade complexa $M_{2,c}$ é conexa.

• Lógica da Prova:
  1. Pelo Teorema Principal, basta provar a conectividade do conjunto de fibrados regulares.
  2. Fibrados regulares correspondem a curvas espectrais $C_E$ que são curvas suaves e conexas de gênero $2n-1$.
  3. O conjunto de gráficos associados a esses fibrados forma um subconjunto aberto de Zariski irredutível.
  4. As fibras do mapa de fibrados para curvas espectrais são jacobianas dessas curvas suaves, que são conexas.
  5. Portanto, todo o espaço de módulos é conexo.

4. Significado e Impacto

1. Resolução da Questão de Witten: O artigo fornece uma resposta afirmativa à questão proposta por Edward Witten sobre a conectividade do espaço de módulos de instantons $SU(2)$ em $S^3 \times S^1$.
2. Geometria Não-Quela: Estabelece que, apesar da falta de métricas de Kähler e da falha de propriedades algébricas padrão (como filtrabilidade), os espaços de módulos de fibrados estáveis em superfícies de Hopf ainda possuem uma estrutura "genérica" dominada por fibrados regulares.
3. Novidade Técnica: O artigo demonstra que o comportamento "ruim" (irregularidade) em cenários não-quele não leva necessariamente a grandes componentes desconectados do espaço de módulos, contrariando o que poderia ser esperado de analogias com variedades de tipo geral.
4. Definições Fundamentais: Define e distingue rigorosamente entre "saltos" e "irregularidade" no contexto de superfícies de Hopf, esclarecendo a paisagem geométrica para futuras pesquisas em teoria de calibre não-quele.

Em resumo, o artigo prova que fibrados irregulares são topologicamente negligenciáveis (magros) dentro dos espaços de módulos de superfícies de Hopf, estabelecendo assim a densidade de fibrados regulares e confirmando a conectividade do espaço de módulos de posto 2.