Lie algebroid Connections, Moduli of $\mathcal{L}$--twisted Principal Objects and motives

Resumo Técnico: Conexões de Algebroides de Lie, Módulos de Objetos Principais L-Torcidos e Motivos

Declaração do Problema
O artigo aborda a construção sistemática e a análise geométrica de espaços de módulos para fibrados principais $G$-equipped com conexões integráveis e campos de Higgs, generalizados para o contexto de algebroides de Lie. Embora a teoria dos fibrados de Higgs clássicos (torcidos pelo fibrado cotangente) e das conexões integráveis (torcidas pelo fibrado tangente) esteja bem estabelecida através do trabalho de Simpson, Beilinson e outros, a generalização para algebroides de Lie arbitrários $L$ permanece menos explorada, particularmente para fibrados principais.

Os desafios específicos abordados incluem:

1. Classificação: Caracterizar quais algebroides de Lie admitem uma estrutura compatível com conexões de fibrados principais (especificamente, algebroides de Lie algébricos transitivos integráveis).
2. Construção de Módulos: Construir espaços de módulos para fibrados principais $G$-torcidos por $L$ com conexões integráveis ($L$-conexões) e fibrados principais $G$-Higgs torcidos por $L$ do tipo semiharmonic.
3. Geometria Global: Estabelecer a semiprojetividade desses espaços de módulos, uma propriedade crucial para estudar sua topologia e degeneração.
4. Invariantes Motívicos: Calcular as classes das loci suaves desses espaços de módulos no anel de Grothendieck das variedades, estabelecendo assim uma "correspondência de Hodge não abeliana motivica" neste contexto generalizado.

Metodologia
Os autores empregam uma combinação de formalismo Tannakiano, Teoria Geométrica de Invariantes (GIT) e técnicas de integração motivica.

• Quadro Tannakiano: O artigo estende a descrição Tannakiana de fibrados principais de Simpson. Ao provar que as categorias de fibrados vetoriais com conexões $L$ integráveis e fibrados de Higgs torcidos por $L$ do tipo semiharmonic são categorias Tannakianas neutras (desde que $L$ seja transitivo), os autores caracterizam fibrados principais $G$ com essas estruturas como $G$-torsos nessas categorias. Isso permite a redução do problema do fibrado principal ao caso do fibrado vetorial.
• Caracterização de Algebroides de Lie: Os autores utilizam a correspondência entre algebroides de Lie e álgebras $D$ (através do trabalho de Tortella) e a teoria de grupoides de Lie para caracterizar algebroides de Lie algébricos transitivos integráveis.
• Construção de Módulos: Usando a equivalência Tannakiana, os autores constroem espaços de módulos via GIT de Mumford. Eles definem espaços de representação emoldurados para fibrados principais e tomam bons quocientes pelo grupo redutivo $G$. Isso envolve adaptar o formalismo de Simpson de $\Lambda$-módulos para o contexto torcido por $L$.
• Análise de Semiprojetividade: Para provar a semiprojetividade, os autores analisam a ação de $\mathbb{G}_m$ nos espaços de módulos. Eles utilizam o mapa de Hitchin e a decomposição de Białynicki–Birula, mostrando que os limites de órbitas existem e que os lugares de pontos fixos são projetivos.
• Cálculos Motívicos: Aproveitando a semiprojetividade e a suavidade dos espaços de módulos, os autores aplicam resultados do anel de Grothendieck das variedades (especificamente regarding o objeto de Lefschetz $\mathbb{L}$ e polinômios $E$) para derivar igualdades entre as classes motivicas dos espaços de módulos de de Rham, Dolbeault e Hodge.

Principais Contribuições e Resultados

1. Caracterização de Algebroides de Lie Transitivos Integráveis:
   O artigo prova que um algebroides de Lie algébrico $A$ em uma variedade projetiva irreduzível suave $X$ é algébricamente integrável se e somente se for isomorfo ao algebroides de Atiyah de um fibrado principal $G$ para algum grupo algébrico $G$ (Teorema 1.1.1). Isso generaliza um resultado conhecido para variedades suaves para a categoria algébrica.

2. Descrição Tannakiana de Objetos Principais:
   Os autores estabelecem que a categoria de fibrados vetoriais com conexões $L$ integráveis e a categoria de fibrados de Higgs torcidos por $L$ do tipo semiharmonic são categorias Tannakianas neutras (Proposições 1.1.2, 3.0.4, 3.0.7). Consequentemente, eles fornecem uma equivalência entre:

   • Fibrados principais $G$ com conexões $L$ integráveis e $G$-torsos na categoria de conexões $L$.
   • Fibrados principais $G$-Higgs torcidos por $L$ e $G$-torsos na categoria de fibrados de Higgs $L$ (Teorema 1.1.3, Lemmas 3.0.6, 3.0.8).

3. Construção de Espaços de Módulos:
   Usando o quadro Tannakiano e a GIT, o artigo constrói:

   • O espaço de módulos $M_{DR}^L(X, G)$ de fibrados principais $G$ com conexões $L$ integráveis.
   • O espaço de módulos $M_{Dol}^L(X, G)$ de fibrados principais $G$-Higgs torcidos por $L$ do tipo harmônico.
   • O espaço de módulos $L$-Hodge $M_{Hod}^L(X, G)$, que interpola entre os espaços de módulos de de Rham e Dolbeault sobre $\mathbb{A}^1$ (Teoremas 1.1.4, 1.1.5, 4.1.6, 4.2.5, 4.3.1). Todos são mostrados como variedades quasi-projetivas.

4. Semiprojetividade:
   Um resultado central é a prova de que $M_{Dol}^L(X, G)$ e $M_{Hod}^L(X, G)$ são variedades semiprojetivas (Teoremas 1.1.6, 5.1.4, 5.2.4). Isso é alcançado demonstrando a existência de limites para órbitas de $\mathbb{G}_m$ e a projetividade dos lugares de pontos fixos, estendendo resultados anteriores para fibrados vetoriais para o contexto de fibrados principais.

5. Correspondência de Hodge Não Abeliana Motivica:
   Para as loci suaves desses espaços de módulos (denotadas com um acento circunflexo, por exemplo, $\widehat{M}$), o artigo estabelece igualdades no anel de Grothendieck completado das variedades $\hat{K}(\text{Var}_{\mathbb{C}})$:

   • $[\widehat{M}_{DR}^L(X, G)] = [\widehat{M}_{Dol}^L(X, G)]$
   • $[\widehat{M}_{Hod}^L(X, G)] = \mathbb{L} [\widehat{M}_{Dol}^L(X, G)]$
     Essas igualdades implicam identidades correspondentes para polinômios $E$ e isomorfismos de estruturas de Hodge mistas (Teorema 1.1.7, 6.0.6).

Significado e Alegações
O artigo alega fornecer um quadro sistemático baseado em módulos que unifica o estudo de fibrados principais com conexões integráveis e fibrados de Higgs no contexto de algebroides de Lie. Ao estender o formalismo Tannakiano para este contexto, os autores generalizam com sucesso a construção de espaços de módulos de fibrados vetoriais para fibrados principais.

O significado do trabalho reside em:

• Generalização: Ir além do caso clássico do fibrado tangente para algebroides de Lie transitivos arbitrários, abrangendo assim conexões logarítmicas e outras estruturas torcidas.
• Controle Geométrico: Provar a semiprojetividade, que é essencial para entender a topologia e a degeneração desses espaços de módulos, uma propriedade que foi previamente estabelecida para fibrados vetoriais, mas que exigiu novos argumentos para fibrados principais.
• Insight Motívico: Estabelecer uma correspondência de Hodge não abeliana motivica para fibrados principais sobre algebroides de Lie, mostrando que as classes motivicas dos espaços de módulos de de Rham e Dolbeault coincidem em suas loci suaves.

Os autores observam que sua construção atualmente depende de $L$ ser um algebroides de Lie transitivo. Eles identificam a construção de espaços de módulos para algebroides de Lie arbitrários (não transitivos) como uma questão em aberto para trabalhos futuros, particularmente para os casos de posto um e posto dois.