Semiprojectivity of the moduli of principal $G$-bundles with $λ$-connections

Resumo Técnico: Semiprojetividade de Espaços de Módulos de Fibrados Principais G com λ-Conexões

1. Problema e Contexto

O artigo aborda a estrutura geométrica e topológica dos espaços de módulos de certos objetos algébricos definidos sobre uma superfície de Riemann compacta e conexa $X$ de gênero $g \geq 2$. Os objetos de estudo são:

• Fibrados de Higgs ($G$-Higgs bundles): Pares $(E_G, \phi)$, onde $E_G$ é um fibrado principal holomorfo e $\phi$ é um campo de Higgs.
• Conexões $\lambda$ ($\lambda$-connections): Generalizações de conexões holomorfas que interpolam entre conexões de Higgs e conexões holomorfas padrão.
• Espaço de Módulos de Hodge ($M_{Hod}(G)$): Um espaço que unifica os fibrados de Higgs (no ponto 0) e as conexões holomorfas (no ponto 1) através de uma família parametrizada por $\lambda \in \mathbb{C}$.

O problema central é determinar se esses espaços de módulos (especificamente $M_{Higgs}(G)$ e $M_{Hod}(G)$) possuem a propriedade de semiprojetividade. Embora esses espaços sejam variedades quasi-projetivas, eles não são necessariamente suaves (possuem singularidades), o que torna a aplicação direta de teoremas clássicos de geometria algébrica desafiadora. A semiprojetividade é uma propriedade crucial que permite a decomposição do espaço em células atratoras sob uma ação de grupo, revelando sua estrutura topológica e motivica.

2. Metodologia

Os autores utilizam uma abordagem baseada na teoria de invariantes, geometria algébrica e a ação de um grupo multiplicativo $\mathbb{C}^*$:

• Definição de Semiprojetividade: Uma variedade quasi-projetiva $V$ com ação de $\mathbb{C}^*$ é semiprojetiva se:
  1. Para todo $v \in V$, o limite $\lim_{t \to 0} (t \cdot v)$ existe em $V$.
  2. O subespaço fixo $V^{\mathbb{C}^*}$ é próprio (compacto) em $V$.
• Ação de Escala: Os autores consideram a ação natural de $\mathbb{C}^*$ nos espaços de módulos:
  • Em $M_{Higgs}(G)$: $t \cdot (E_G, \phi) = (E_G, t\phi)$.
  • Em $M_{Hod}(G)$: $t \cdot (E_G, \lambda, \nabla) = (E_G, t\lambda, t\nabla)$.
• Mapa de Hitchin: Utilizam o mapa de Hitchin $h: M_{Higgs}(G) \to H$, que mapeia um fibrado de Higgs para polinômios invariantes no espaço base $H$. A chave da prova é demonstrar que este mapa é equivariante sob a ação de $\mathbb{C}^*$.
• Critério de Valutação e Propriedade de Propriedade: Para provar a existência dos limites, os autores exploram a propriedade de que o mapa de Hitchin é próprio (proper). Eles mostram que, como o limite da imagem no espaço base $H$ existe (tendendo a 0), e o mapa é próprio, o limite no espaço total $M_{Higgs}(G)$ também deve existir.
• Análise de Pontos Fixos: Investigam a estrutura dos pontos fixos sob a ação de $\mathbb{C}^*$, demonstrando que eles estão contidos na fibra sobre a origem do mapa de Hitchin ($h^{-1}(0)$), que é um conjunto próprio.

3. Principais Contribuições e Resultados

A. Semiprojetividade dos Espaços de Módulos

• Teorema 2.4: O espaço de módulos de fibrados de Higgs semiestáveis, $M_{Higgs}(G)$, é uma variedade semiprojetiva.
  • Prova: Demonstram que o limite $\lim_{t \to 0} (E_G, t\phi)$ existe (usando a propriedade de próprio do mapa de Hitchin) e que o locus de pontos fixos é próprio.
• Teorema 2.7: O espaço de módulos de Hodge principal, $M_{Hod}(G)$, é uma variedade semiprojetiva sobre $\mathbb{C}$.
  • Prova: Estendem a lógica anterior para o espaço unificado, mostrando que o limite de uma $\lambda$-conexão sob a ação de escala existe e reside na fibra $\pi^{-1}(0)$ (que é o espaço de Higgs).

B. Decomposição de Bia lynicki–Birula (B-B)
No caso onde o espaço de módulos é suave (por exemplo, quando $G=GL_n(\mathbb{C})$ e o máximo divisor comum entre o posto e o grau é 1), a semiprojetividade permite aplicar o teorema de Bia lynicki–Birula:

• O espaço de módulos admite uma decomposição em conjuntos atratores ($S_i$) indexados pelas componentes conexas do locus de pontos fixos ($F_i$).
• Cada conjunto atrator $S_i$ é uma subvariedade localmente fechada e suave, e a projeção $\pi_i: S_i \to F_i$ é um fibrado vetorial algébrico.
• A dimensão do fibrado é determinada pelo peso positivo na decomposição do espaço tangente nos pontos fixos.

C. Consequências Cohomológicas e Motivicas
Os autores derivam consequências profundas da estrutura de decomposição B-B:

1. Cohomologia com Suporte Compacto:

   • A cohomologia com suporte compacto de $M_{Higgs}(G)$ decompõe-se aditivamente como uma soma direta das cohomologias das componentes fixas, com deslocamento de grau:
     $$H^k_c(M_{Higgs}(G), \mathbb{C}) \cong \bigoplus_{i \in I} H^{k-2n_i}_c(F_i, \mathbb{C})$$
   • Isso implica que a topologia global do espaço é completamente determinada pela geometria do locus fixo e pelas dimensões das células atratoras.

2. Anel de Grothendieck de Variedades (Motivos):

   • No anel de Grothendieck $K(Var_{\mathbb{C}})$, a classe do espaço de módulos pode ser expressa como uma soma finita de potências do motivo de Lefschetz ($\mathbb{L} = [\mathbb{A}^1]$) multiplicadas pelas classes das componentes fixas:
     $$[M_{Higgs}(G)] = \sum_{i \in I} \mathbb{L}^{n_i} [F_i]$$
   • Isso mostra que o "motivo" do espaço de módulos é inteiramente expresso em termos de seu locus fixo.

4. Significado e Impacto

• Generalização: O trabalho generaliza resultados conhecidos para grupos reductivos gerais $G$ e tipos topológicos fixos $d \in \pi_1(G)$, indo além dos casos clássicos de $GL_n$ com grau e posto coprimos.
• Estrutura Geométrica: Estabelece que a semiprojetividade não é apenas uma propriedade formal, mas uma estrutura geométrica governante que controla tanto a topologia quanto o motivo do espaço de módulos.
• Ferramenta Analítica: A decomposição B-B fornece uma ferramenta poderosa para calcular invariantes topológicos (como números de Betti) e motivicos de espaços de módulos complexos, reduzindo o problema ao estudo de subvariedades fixas (que são frequentemente mais simples de analisar, muitas vezes relacionadas a fibrados de Higgs nilpotentes ou conexões com singularidades).
• Conexão com a Correspondência de Hodge Não-Abeliana: Ao tratar o espaço de Hodge e suas fibras, o artigo reforça a compreensão da relação entre fibrados de Higgs e conexões holomorfas sob a ótica da geometria algébrica moderna.

Em suma, o artigo prova que os espaços de módulos de fibrados de Higgs e conexões $\lambda$ possuem uma estrutura geométrica robusta (semiprojetividade) que permite uma análise detalhada de sua topologia e teoria de motivos através da ação de $\mathbb{C}^*$ e da decomposição de Bia lynicki–Birula.