Infinitesimal automorphisms and obstruction theory on the moduli of $L$-valued $G$-Higgs bundles

Resumo Técnico: Automorfismos Infinitesimais e Teoria de Obstrução no Moduli de Fibrados G-Higgs com Valores em L

Enunciado do Problema
O artigo aborda as propriedades geométricas e de teoria de deformação dos fibrados principais G-Higgs com valores em $L$ sobre uma variedade Kähler compacta $X$, onde $G$ é um grupo algébrico linear redutivo e $L$ é um fibrado vetorial holomorfo em $X$. Embora a teoria dos fibrados Higgs com valores em $\Omega^1_X$ (fibrados Higgs padrão) esteja bem estabelecida, particularmente no que tange à estabilidade, automorfismos infinitesimais e espaços de moduli, a generalização para fibrados vetoriais arbitrários $L$ exige a extensão de resultados estruturais-chave. Especificamente, os autores visam:

1. Calcular o espaço de automorfismos infinitesimais para fibrados G-Higgs com valores em $L$ estáveis.
2. Estabelecer a estabilidade do fibrado adjunto associado a um fibrado G-Higgs estável.
3. Determinar a natureza teórica de pilhas (stack-theoretic) do espaço de moduli de fibrados G-Higgs com valores em $L$ estáveis.
4. Construir uma teoria de obstrução perfeita simétrica para o caso em que $X$ é uma superfície projetiva suave e $L = K_X$ (o fibrado canônico), lançando as bases para a definição de invariantes de Vafa-Witten para grupos redutivos gerais.

Metodologia
Os autores empregam uma combinação de técnicas de geometria diferencial (correspondência de Kobayashi-Hitchin) e métodos de geometria algébrica (condições de estabilidade, filtrações de Harder-Narasimhan e teoria de obstrução).

• Correspondência Generalizada de Kobayashi-Hitchin: A análise baseia-se na correspondência entre estabilidade e a existência de métricas hermitianas que satisfazem a equação de vórtice de quiver. Para um fibrado G-Higgs com valores em $L$ $(E_G, \phi)$, os autores utilizam resultados de Álvarez-Cónsul e García-Prada [2] relativos a fibrados de quiver torcidos. Eles estabelecem que um fibrado estável admite uma única métrica hermitiana admissível $h$ satisfazendo a equação:
  $$i\Lambda_\omega F^{1,1}_E + [\phi, \phi^*_h] = \tau \text{id}_E$$
  onde $E = \text{ad}(E_G)$ é o fibrado adjunto, $F^{1,1}_E$ é a curvatura da conexão de Chern e $\tau$ é uma constante determinada pelo grau.

• Técnica de Bochner para Automorfismos: Para calcular os automorfismos infinitesimais, os autores adaptam a fórmula de Bochner utilizada no caso $\Omega^1_X$ (Biswas [7]). Ao considerar uma seção holomorfa $s$ do fibrado de endomorfismos que comuta com o campo de Higgs ($[s, \phi]=0$), eles derivam uma desigualdade diferencial envolvendo o Laplaciano $\Delta_d$. Usando a equação de Yang-Mills-Higgs e a identidade de Jacobi, eles mostram que $|s|^2$ é uma função sub-harmônica. Em uma variedade compacta, isso implica que $s$ é paralela, levando a restrições no grupo de automorfismos.

• Estabilidade de Fibrados Adjuntos: Os autores estendem os resultados de Biswas [4] para o contexto com valores em $L$. Eles provam que se $(E_G, \phi)$ é estável, então o fibrado Higgs adjunto associado $(\text{ad}(E_G), \phi)$ é poliestável. Isso envolve analisar a filtração de Harder-Narasimhan do fibrado adjunto e utilizar a forma de Killing (para $G$ semissimples) para relacionar subobjetos desestabilizadores do fibrado adjunto de volta a reduções parabólicas do fibrado principal.

• Construção da Teoria de Obstrução: Para a pilha de moduli de fibrados estáveis, os autores constroem uma teoria de deformação-obstrução. Eles utilizam o complexo universal sobre o espaço de moduli e aplicam a dualidade de Serre. A simetria da teoria de obstrução é derivada da autodualidade do complexo sob a condição $L=K_X$ e do desaparecimento do grupo de automorfismos infinitesimais para $G$ semissimples.

Principais Contribuições e Resultados

1. Cálculo de Automorfismos Infinitesimais:
   O resultado primário (Teorema 3.4) afirma que, para um fibrado principal G-Higgs com valores em $L$ estável $(E_G, \phi)$ sobre uma variedade Kähler compacta, o grupo de automorfismos infinitesimais $A(E)$ é isomorfo ao centro da álgebra de Lie, $\mathfrak{z}(\mathfrak{g})$.

   • Significado: Isso estende o resultado conhecido para fibrados com valores em $\Omega^1_X$ para $L$ arbitrário. Crucialmente, se $G$ é semissimples, $\mathfrak{z}(\mathfrak{g}) = 0$, implicando que o grupo de automorfismos é discreto.

2. Poliestabilidade do Fibrado Adjunto:
   O Teorema 4.8 estabelece que se $(E_G, \phi)$ é estável, então $(\text{ad}(E_G), \phi)$ é poliestável. Isso depende do fato de que qualquer subobjeto desestabilizador do fibrado adjunto induziria uma redução parabólica do fibrado principal, contradizendo a estabilidade de $(E_G, \phi)$.

3. Pilha de Moduli como uma Pilha de Deligne-Mumford:
   A Proposição 5.4 prova que, para um grupo semissimples $G$, a pilha de moduli de fibrados G-Higgs com valores em $L$ estáveis, denotada $\text{Higgs}^s_L(X)$, é uma pilha de Deligne-Mumford (DM).

   • Raciocínio: Uma pilha é DM se seus estabilizadores forem finitos e reduzidos. O desaparecimento dos automorfismos infinitesimais ($\mathfrak{z}(\mathfrak{g})=0$) para $G$ semissimples garante que os grupos estabilizadores são discretos. A condição de estabilidade é mostrada como uma condição aberta (Proposição 5.1), garantindo a existência do lugar estável como uma subpilha aberta.

4. Teoria de Obstrução Perfeita Simétrica:
   O Teorema 5.5 constrói uma teoria de obstrução perfeita simétrica para a pilha de moduli $\text{Higgs}^s_{K_X}(X)$ quando $X$ é uma superfície projetiva suave e $G$ é semissimples.

   • Mecanismo: A teoria de obstrução é dada por um morfismo $\phi_H: T_{\text{Higgs}} \to E_H$. A simetria surge do isomorfismo $E_H \cong (E_H)^\vee[-1]$ na categoria derivada, uma consequência da dualidade de Serre e da escolha específica $L=K_X$. O desaparecimento de $H^{-1}(E_H)$ (automorfismos infinitesimais) e $H^2(E_H)$ (dual dos automorfismos) garante que o complexo é perfeito e suportado nos graus $[0, 1]$.

Significado e Alegações
O artigo alega fornecer uma estrutura fundamental para o estudo de invariantes de Vafa-Witten para grupos redutivos gerais $G$.

• Fundação para Invariantes: Os autores afirmam explicitamente que a construção de uma teoria de obstrução perfeita simétrica no lugar estável é um pré-requisito para a definição de invariantes de Vafa-Witten via a classe fundamental virtual equivariante.
• Generalização: O trabalho generaliza resultados anteriores restritos a fibrados com valores em $\Omega^1_X$ e grupos específicos (como grupos simpléticos ou ortogonais) para grupos redutivos arbitrários e fibrados de torção $L$ arbitrários.
• Trabalho Futuro: Os autores observam que esses resultados destinam-se a ser generalizados para feixes G-Higgs estáveis no sentido de Gieseker. Eles antecipam que, para uma segunda classe de Chern mínima, o espaço de moduli resultante possuirá um lugar fixo compacto sob $\mathbb{C}^*$ (via escalonamento do campo de Higgs), permitindo a definição de invariantes de Vafa-Witten para $G$ de maneira análoga aos casos simplético e ortogonal estudados em [18].

O artigo não alega calcular invariantes específicos ou fornecer dados experimentais; em vez disso, estabelece a infraestrutura geométrica e teórica de pilhas necessária (rigidez infinitesimal, estrutura DM e teoria de obstrução) para definir e calcular tais invariantes em trabalhos futuros.