Co-Higgs bundles of Schwarzenberger type and the determinant morphism

Resumo Técnico: Feixes de Co-Higgs do Tipo Schwarzenberger e o Morfismo Determinante

1. O Problema e o Contexto

O artigo aborda um problema fundamental na geometria algébrica e na teoria de sistemas integráveis: a descrição explícita da imagem do morfismo de Hitchin para feixes de Higgs torcidos em variedades de dimensão superior.

• Contexto: Em curvas algébricas complexas ($dim(X)=1$), o morfismo de Hitchin é sobrejetivo e suas fibras genéricas são variedades abelianas. No entanto, para variedades de dimensão superior ($dim(X) \ge 2$), o morfismo de Hitchin não é sobrejetivo.
• A Conjectura: A imagem conjecturada é um subesquema fechado não linear $B^\heartsuit$ dentro da base de Hitchin $B$. Embora existam conjecturas para casos específicos (como fibrados vetoriais em superfícies ou grupos de Lie clássicos), não há descrições explícitas para feixes de Higgs torcidos onde o feixe torcedor não é um fibrado de linha.
• Objetivo Específico: O autor foca em feixes de Co-Higgs (um caso particular de feixes de Higgs torcidos onde o feixe torcedor é o fibrado tangente $T\mathbb{P}^2$) modelados em fibrados de Schwarzenberger de posto 2 sobre o plano projetivo complexo $\mathbb{P}^2$. O objetivo é identificar a imagem do morfismo determinante restrito a esses feixes, especialmente para os casos de posto 2 e traço nulo.

2. Metodologia

A abordagem combina teoria de feixes, geometria algébrica e análise de deformações infinitesimais:

1. Definição dos Objetos:

   • Considera-se $\mathbb{P}^2$ com um fibrado de linha ample fixo $H = \mathcal{O}_{\mathbb{P}^2}(1)$.
   • Utiliza-se a sequência de fibrados vetoriais holomórficos de posto 2, $\{V_k^\rho\}_{k=1}^\infty$, conhecidos como fibrados de Schwarzenberger. Estes são obtidos via uma aplicação de recobrimento $f_\rho: \mathbb{P}^1 \times \mathbb{P}^1 \to \mathbb{P}^2$ ramificada sobre uma cônica não singular $\rho = 0$.
   • Estuda-se o espaço de módulos $M_{\mathbb{P}^2}(V_k^\rho, T\mathbb{P}^2)$ de feixes de Co-Higgs semiestáveis de Gieseker, com traço nulo.

2. Análise do Campo de Higgs ($\phi$):

   • Para $k \neq 3$, os campos de Higgs estáveis e sem traço modelados em $V_k^\rho$ são caracterizados como produtos tensoriais da forma $\phi = \phi_0 \otimes C$, onde $\phi_0$ é uma seção de um espaço de endomorfismos e $C$ é uma seção do fibrado tangente torcido $T\mathbb{P}^2(-1)$.
   • O caso $k=3$ é excluído da análise porque admite feixes estáveis que não seguem essa estrutura de produto tensorial simples.

3. Cálculo do Determinante:

   • O morfismo determinante é definido como $\det(\phi) = \det(\phi_0) \otimes \text{Sym}^2(C)$.
   • O autor utiliza sequências exatas (como a sequência de Euler para $T\mathbb{P}^2$) e propriedades de estabilidade de Gieseker para determinar as seções globais possíveis para $\det(\phi)$.
   • A análise é dividida por casos baseados no índice $k$ do fibrado de Schwarzenberger ($k=0, 1, 2$ e $k>3$).

3. Contribuições e Resultados Principais

O artigo fornece uma descrição explícita da imagem do morfismo determinante para cada caso de $k$ (exceto $k=3$), estabelecendo bijeções com espaços quocientes conhecidos.

• Caso $k=0$ ($V_0^\rho \cong \mathcal{O} \oplus \mathcal{O}(-1)$):

  • A imagem é bijetiva com o espaço quociente $(H^0(\mathcal{O}(2))^\times \times H^0(T\mathbb{P}^2(-1))^\times) / \mathbb{C}^\times$ (com uma ação específica de escala) unido ao ponto zero.
  • Dimensão: A dimensão da imagem é estritamente menor que a dimensão do espaço alvo $H^0(\text{Sym}^2(T\mathbb{P}^2))$ (9 vs 27). O morfismo não é sobrejetivo.

• Caso $k=1$ ($V_1^\rho \cong \mathcal{O} \oplus \mathcal{O}$):

  • A imagem é mais complexa, envolvendo a união do espaço quociente acima com o espaço de seções $H^0(T\mathbb{P}^2)$, identificando certas seções onde o determinante se degenera em um quadrado perfeito ($\text{Sym}^2(A)$).
  • Dimensão: A dimensão máxima é 9, ainda muito menor que 27. O morfismo não é sobrejetivo.

• Caso $k=2$ ($V_2^\rho \cong T\mathbb{P}^2$):

  • A imagem é novamente bijetiva com o espaço quociente similar ao caso $k=0$, unido ao zero.
  • O morfismo restrito de determinantes para a parte $\phi_0$ é sobrejetivo para $H^0(\mathcal{O}(2))$, mas a estrutura global do determinante ainda falha em cobrir todo o espaço de seções simétricas do fibrado tangente.
  • Dimensão: Não sobrejetivo (dimensão da imagem < 27).

• Caso $k > 3$:

  • A imagem torna-se extremamente restrita. O determinante é da forma $\lambda \rho \otimes \text{Sym}^2(C)$, onde $\rho$ é a cônica fixa que define o fibrado.
  • A imagem é bijetiva com o espaço $H^0(T\mathbb{P}^2(-1)) / \{\pm 1\}$.
  • Dimensão: A dimensão é no máximo 3, muito inferior a 27. O morfismo não é sobrejetivo.

4. Significado e Implicações

• Validação de Conjecturas: O trabalho fornece uma verificação explícita e construtiva da conjectura de que a imagem do morfismo de Hitchin em dimensões superiores é um subesquema fechado não linear e não sobrejetivo.
• Estrutura da Imagem: Ao identificar a imagem como um espaço quociente específico (e não todo o espaço de seções), o artigo revela a rigidez geométrica imposta pelos fibrados de Schwarzenberger. A imagem depende criticamente da geometria da cônica $\rho$ e da estrutura do fibrado subjacente.
• Exclusão do Caso $k=3$: A exclusão do caso $k=3$ destaca uma anomalia na teoria, onde a estrutura dos feixes estáveis muda qualitativamente, sugerindo que a classificação de feixes de Co-Higgs pode ter comportamentos distintos em índices específicos.
• Ferramentas para Moduli: A caracterização das imagens permite a construção de espaços de módulos mais precisos e o cálculo de dimensões de deformações infinitesimais para estes objetos geométricos.

Em resumo, o artigo de Banerjee resolve o problema de descrever a imagem do morfismo determinante para uma classe importante de feixes de Co-Higgs, demonstrando que, ao contrário do caso de curvas, a imagem é um subespaço estrito e altamente estruturado, fornecendo um contraexemplo explícito e detalhado à sobrejetividade em dimensões superiores.