Higher rank bundles on Hopf surfaces

Resumo Técnico: Feixes de Posto Superior em Superfícies de Hopf

Enunciado do Problema
O artigo investiga a geometria e as propriedades de estabilidade de feixes vetoriais e feixes torção-livres de posto superior ($r \ge 2$) em superfícies de Hopf clássicas. Uma superfície de Hopf clássica $X$ é uma superfície complexa não-Kähler, homeomorfa a $S^1 \times S^3$, que admite uma fibração elíptica $\pi: X \to \mathbb{P}^1$. Os autores abordam vários problemas interconectados:

1. A relação entre filtrabilidade (a existência de uma filtração por subfeixes) e comportamento de salto (jumping behavior) (instabilidade da restrição do feixe às fibras da fibração elíptica).
2. A existência de feixes estáveis e irredutíveis com invariantes topológicos específicos, especificamente determinante trivial e segunda classe de Chern prescrita ($c_2$).
3. A estrutura dos espaços de módulos $M_{r,n}$ de feixes estáveis de posto $r$ com $c_2=n$, particularmente suas fronteiras e a natureza dos limites de famílias de feixes (feixes torção-livres).
4. A introdução e caracterização de feixes muito irredutíveis, definidos como feixes cujos potências simétricas $S_n(E)$ permanecem irredutíveis para todo $n > 0$.

Metodologia
Os autores empregam uma combinação de técnicas de geometria algébrica adaptadas ao ambiente não-Kähler das superfícies de Hopf:

• Estabilidade e Métricas: A estabilidade é definida via estabilidade de inclinação (slope stability) com relação a uma métrica de Gauduchon (uma forma $(1,1)$ que satisfaz $\partial\bar{\partial}\omega = 0$). O grau de um feixe é definido via integração contra esta métrica.
• Análise de Filtração: Os autores utilizam o conceito de feixes filtráveis, definidos por uma filtração $0 = E_0 \subset E_1 \subset \dots \subset E_r = E$ onde os quocientes são torção-livres. Eles analisam as classes de Chern desses feixes, observando que nas superfícies de Hopf a forma de interseção é trivial (a aplicação $H^2(X, \mathbb{Z}) \times H^2(X, \mathbb{Z}) \to \mathbb{Z}$ é zero), o que simplifica o cálculo de $c_2$ para extensões iteradas.
• Transformações Elementares: Para estudar a fronteira dos espaços de módulos, os autores realizam operações elementares em codimenssão 2. Partindo de um feixe estável $E \in M_{r,n}$ e uma sobrejeção $v: E \to \mathbb{C}_p$ (onde $\mathbb{C}_p$ é um feixe de suporte pontual em $p \in X$), eles constroem o núcleo $E'$. O $E'$ é um feixe torção-livre com $c_2(E') = c_2(E) + 1$.
• Teoria de Deformação: Os autores analisam os espaços locais de deformação desses feixes usando grupos Ext. Eles provam que para feixes estáveis, $\text{Ext}^2(E, E) = 0$, e estendem esta análise aos feixes torção-livres construídos para mostrar que eles pertencem ao fechamento do espaço de módulos de feixes com maior $c_2$.
• Gráfico de Feixes: Para feixes de posto 2, os autores utilizam o "gráfico" do feixe, um divisor em $\mathbb{P}^1 \times \mathbb{P}^1$ derivado da primeira imagem derivada do feixe torcido pelo feixe de linha universal de Poincaré, e eles utilizam a geometria deste gráfico (especificamente a presença de um componente correspondente a uma morfismo sobrejetivo $\mathbb{P}^1 \to \mathbb{P}^1$) para deduzir propriedades de irredutibilidade.

Contribuições Principais e Resultados

1. Filtrabilidade e Saltos:

   • Teorema 3.9: Os autores provam que qualquer feixe vetorial filtrável em uma superfície de Hopf clássica com $c_2 > 0$ deve possuir saltos (ou seja, existe uma fibra onde a restrição não é semiestável).
   • Teorema 3.19: Inversamente, eles provam a existência de feixes vetoriais estáveis e filtráveis de posto $r$ com determinante trivial e qualquer $c_2 = c > 0$ prescrito.

2. Feixes sem Saltos:

   • Teorema 4.12: Em um resultado contrastante, os autores provam a existência de feixes irredutíveis (e, portanto, estáveis) de posto $r$ com determinante trivial e $c_2 = 1$ que não possuem saltos (sua restrição a cada fibra é semiestável). Isso destaca um díctico entre feixes filtráveis e irredutíveis quanto ao comportamento de salto.

3. Fronteira dos Espaços de Módulos:

   • Teorema 5.6: O artigo estabelece que os feixes torção-livres obtidos via transformações elementares (núcleos de sobrejeções $E \to \mathbb{C}_p$) a partir de feixes estáveis $E \in M_{r,n}$ pertencem ao fechamento do espaço de módulos $M_{r,n+1}$.
   • Proposição 5.5: Eles mostram que, para um feixe simples $E$, os núcleos de sobrejeções para feixes de suporte pontual em um ponto $p$ formam uma família de dimensão $2r-1$ de feixes torção-livres não isomorfos entre si.
   • Interpretação: Estes resultados descrevem o fenômeno de "borbulhamento" (bubbling) no contexto algébrico-geométrico, onde uma sequência de feixes estáveis degenera em um feixe torção-livre com uma singularidade pontual.

4. Feixes Muito Irredutíveis:

   • Definição 6.1: Os autores introduzem feixes "muito irredutíveis", onde todas as suas potências simétricas $S_n(E)$ são irredutíveis.
   • Teorema 6.3: Eles demonstram que qualquer feixe de posto 2 cujo gráfico contém um componente correspondendo a um morfismo sobrejetivo $\mathbb{P}^1 \to \mathbb{P}^1$ é muito irredutível.
   • Teorema 6.4: Este resultado é generalizado para representações do grupo simétrico, mostrando que $S_\rho(E)$ é irredutível (ou zero) sob condições semelhantes.

Significado e Alegações
O artigo alega fornecer um quadro abrangente do panorama dos feixes de posto superior em superfícies de Hopf. Especificamente:

• Ele esclarece as restrições sobre feixes filtráveis, mostrando que eles estão intrinsecamente ligados a fenômenos de salto quando $c_2 > 0$.
• Demonstra que os espaços de módulos $M_{r,n}$ são ricos o suficiente para conter tanto feixes filtráveis (com saltos) quanto feixes muito irredutíveis (sem saltos).
• Fornece uma descrição algébrico-geométrica concreta da fronteira desses espaços de módulos, identificando feixes torção-livres específicos como limites de feixes estáveis. Isso conecta a geometria das superfícies de Hopf ao conceito de difereciabilidade geométrica de borbulhamento de instantons.
• A introdução de feixes "muito irredutíveis" oferece uma nova classe de feixes rígidos com fortes propriedades de estabilidade sob potências simétricas, estendendo trabalhos anteriores sobre irredutibilidade forte.

Os autores concluem que os módulos de feixes estáveis de posto superior em superfícies de Hopf são estruturas complexas contendo tipos diversos de feixes, variando de feixes facilmente decomponíveis (filtráveis) até feixes altamente rígidos e irredutíveis em todas as suas potências simétricas.