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

Riepilogo Tecnico: Connessioni di Lie Algebroidi, Moduli di Oggetti Principali L-Aggiunti e Motivi

Enunciato del Problema
Il lavoro affronta la costruzione sistematica e l'analisi geometrica degli spazi di moduli per fibrati principali $G$-dotati di connessioni integrabili e campi di Higgs, generalizzati nel contesto degli algebroidi di Lie. Sebbene la teoria dei fibrati di Higgs classici (aggiunti al fibrato cotangente) e delle connessioni integrabili (aggiunte al fibrato tangente) sia ben consolidata grazie al lavoro di Simpson, Beilinson e altri, la generalizzazione ad algebroidi di Lie arbitrari $L$ rimane meno esplorata, in particolare per i fibrati principali.

Le sfide specifiche affrontate includono:

1. Classificazione: Caratterizzare quali algebroidi di Lie ammettono una struttura compatibile con le connessioni di fibrati principali (nello specifico, algebroidi di Lie algebrici transitivi integrabili).
2. Costruzione dei Moduli: Costruire spazi di moduli per fibrati principali $G$-aggiunti a $L$ con connessioni integrabili ($L$-connessioni) e fibrati principali $G$-di Higgs aggiunti a $L$ di tipo semiarmonico.
3. Geometria Globale: Stabilire la semiproiettività di questi spazi di moduli, una proprietà cruciale per studiarne la topologia e la degenerazione.
4. Invarianti Motivi: Calcolare le classi delle loci lisce di questi spazi di moduli nell'anello di Grothendieck delle varietà, stabilendo così una "corrispondenza di Hodge non abeliana motivica" in questo contesto generalizzato.

Metodologia
Gli autori impiegano una combinazione di formalismo tannakiano, Teoria Geometrica degli Invarianti (GIT) e tecniche di integrazione motivica.

• Quadro Tannakiano: Il lavoro estende la descrizione tannakiana dei fibrati principali di Simpson. Dimostrando che le categorie dei fibrati vettoriali con $L$-connessioni integrabili e dei fibrati di Higgs aggiunti a $L$ di tipo semiarmonico sono categorie tannakiane neutre (purché $L$ sia transitivo), gli autori caratterizzano i fibrati principali $G$-con queste strutture come $G$-torsori all'interno di queste categorie. Ciò permette di ridurre il problema dei fibrati principali al caso dei fibrati vettoriali.
• Caratterizzazione degli Algebroidi di Lie: Gli autori utilizzano la corrispondenza tra algebroidi di Lie e algebre $D$ (tramite il lavoro di Tortella) e la teoria dei grupoidi di Lie per caratterizzare gli algebroidi di Lie algebrici transitivi integrabili.
• Costruzione dei Moduli: Utilizzando l'equivalenza tannakiana, gli autori costruiscono spazi di moduli tramite la GIT di Mumford. Definiscono spazi di rappresentazione incorniciati per i fibrati principali e prendono buoni quozienti per il gruppo riduttivo $G$. Ciò comporta l'adattamento del formalismo di Simpson dei $\Lambda$-moduli al contesto aggiunto a $L$.
• Analisi della Semiproiettività: Per dimostrare la semiproiettività, gli autori analizzano l'azione di $\mathbb{G}_m$ sugli spazi di moduli. Utilizzano la mappa di Hitchin e la decomposizione di Białynicki–Birula, mostrando che i limiti delle orbite esistono e che i luoghi dei punti fissi sono proiettivi.
• Calcoli Motivi: Sfruttando la semiproiettività e la liscietà degli spazi di moduli, gli autori applicano risultati dall'anello di Grothendieck delle varietà (in particolare riguardo all'oggetto di Lefschetz $\mathbb{L}$ e ai polinomi $E$) per derivare uguaglianze tra le classi motiviche degli spazi di moduli di de Rham, Dolbeault e Hodge.

Contributi e Risultati Chiave

1. Caratterizzazione degli Algebroidi di Lie Transitivi Integrabili:
   Il lavoro dimostra che un algebroide di Lie algebrico $A$ su una varietà proiettiva liscia irriducibile $X$ è algebricamente integrabile se e solo se è isomorfo all'algebroide di Atiyah di un fibrato principale $G$-per un certo gruppo algebrico $G$ (Teorema 1.1.1). Ciò generalizza un risultato noto per le varietà differenziabili alla categoria algebrica.

2. Descrizione Tannakiana degli Oggetti Principali:
   Gli autori stabiliscono che la categoria dei fibrati vettoriali con $L$-connessioni integrabili e la categoria dei fibrati di Higgs aggiunti a $L$ di tipo semiarmonico sono categorie tannakiane neutre (Proposizioni 1.1.2, 3.0.4, 3.0.7). Di conseguenza, forniscono un'equivalenza tra:

   • Fibrati principali $G$-con $L$-connessioni integrabili e $G$-torsori nella categoria delle $L$-connessioni.
   • Fibrati principali $G$-di Higgs aggiunti a $L$ e $G$-torsori nella categoria dei fibrati di Higgs $L$-aggiunti (Teorema 1.1.3, Lemmi 3.0.6, 3.0.8).

3. Costruzione degli Spazi di Moduli:
   Utilizzando il quadro tannakiano e la GIT, il lavoro costruisce:

   • Lo spazio di moduli $M_{DR}^L(X, G)$ dei fibrati principali $G$-con $L$-connessioni integrabili.
   • Lo spazio di moduli $M_{Dol}^L(X, G)$ dei fibrati principali $G$-di Higgs aggiunti a $L$ di tipo armonico.
   • Lo spazio di moduli $L$-Hodge $M_{Hod}^L(X, G)$, che interpola tra gli spazi di moduli di de Rham e Dolbeault su $\mathbb{A}^1$ (Teoremi 1.1.4, 1.1.5, 4.1.6, 4.2.5, 4.3.1). Tutti sono mostrati essere varietà quasi-proiettive.

4. Semiproiettività:
   Un risultato centrale è la dimostrazione che $M_{Dol}^L(X, G)$ e $M_{Hod}^L(X, G)$ sono varietà semiproiettive (Teoremi 1.1.6, 5.1.4, 5.2.4). Ciò è ottenuto dimostrando l'esistenza di limiti per le orbite $\mathbb{G}_m$ e la proiettività dei luoghi dei punti fissi, estendendo risultati precedenti per i fibrati vettoriali al contesto dei fibrati principali.

5. Corrispondenza di Hodge Non Abeliana Motivica:
   Per le loci lisce di questi spazi di moduli (denotate con un cappuccio, ad esempio $\widehat{M}$), il lavoro stabilisce uguaglianze nell'anello di Grothendieck completato delle varietà $\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)]$
     Queste uguaglianze implicano identità corrispondenti per i polinomi $E$ e isomorfismi di strutture di Hodge miste (Teorema 1.1.7, 6.0.6).

Significato e Affermazioni
Il lavoro afferma di fornire un quadro sistematico di teoria dei moduli che unifica lo studio dei fibrati principali con connessioni integrabili e dei fibrati di Higgs nel contesto degli algebroidi di Lie. Estendendo il formalismo tannakiano a questo contesto, gli autori generalizzano con successo la costruzione degli spazi di moduli dai fibrati vettoriali ai fibrati principali.

Il significato del lavoro risiede in:

• Generalizzazione: Andare oltre il caso classico del fibrato tangente verso algebroidi di Lie transitivi arbitrari, includendo così connessioni logaritmiche e altre strutture aggiunte.
• Controllo Geometrico: Dimostrare la semiproiettività, essenziale per comprendere la topologia e la degenerazione di questi spazi di moduli, una proprietà precedentemente stabilita per i fibrati vettoriali ma che richiedeva nuovi argomenti per i fibrati principali.
• Intuizione Motivica: Stabilire una corrispondenza di Hodge non abeliana motivica per i fibrati principali su algebroidi di Lie, mostrando che le classi motiviche degli spazi di moduli di de Rham e Dolbeault coincidono sulle loro loci lisce.

Gli autori notano che la loro costruzione dipende attualmente dal fatto che $L$ sia un algebroide di Lie transitivo. Identificano la costruzione di spazi di moduli per algebroidi di Lie arbitrari (non transitivi) come una questione aperta per lavori futuri, in particolare per i casi di rango uno e rango due.