Deformations of representations of fundamental groups of complex varieties

1. Il Problema di Ricerca

L'articolo si concentra sullo studio delle varietà di rappresentazione del gruppo fondamentale $\pi_1(X, x)$ di una varietà complessa liscia $X$ (o di una varietà quasi-Kähler) in un gruppo algebrico lineare $G$.
L'oggetto specifico di studio è il completamento formale dell'anello locale $\hat{\mathcal{O}}_\rho$ della varietà di rappresentazione in un punto $\rho$ (una rappresentazione data).
Il problema centrale è descrivere localmente la teoria delle deformazioni di $\rho$, ovvero capire la struttura algebrica di $\hat{\mathcal{O}}_\rho$ (presentazione con generatori e relazioni) quando $\rho$ deriva dalla monodromia di una variazione di struttura di Hodge mista (VMHS).

L'obiettivo è generalizzare e unificare due risultati fondamentali precedenti:

1. Goldman-Millson (1988): Per varietà compatte Kähler e rappresentazioni di monodromia di VHS polarizzabili, $\hat{\mathcal{O}}_\rho$ ammette una presentazione quadratica (relazioni di grado $\le 2$).
2. Kapovich-Millson (1998): Per rappresentazioni con immagine finita (anche su varietà non compatte), esiste una presentazione pesata-omogenea con generatori di peso 1, 2 e relazioni di peso 2, 3, 4.

La domanda aperta era: è possibile unificare questi risultati e descrivere la struttura di $\hat{\mathcal{O}}_\rho$ nel caso più generale di VMHS ammissibili con monodromia unipotente all'infinito, utilizzando la teoria delle strutture di Hodge miste?

2. Metodologia

L'autore combina la teoria delle deformazioni (tramite algebre di Lie differenziali graduate - DG Lie) con la teoria di Hodge mista avanzata. La metodologia si articola in due fasi principali:

A. Costruzione Geometrica (Sezioni 4-6)

L'approccio si basa sul fatto che la teoria delle deformazioni di $\rho$ è controllata dall'algebra di DG Lie $L$ delle forme differenziali $C^\infty$ a valori nel fascio locale $\text{ad}_\rho$ (il fibrato associato alla rappresentazione).
Per costruire una struttura di Hodge mista su $\hat{\mathcal{O}}_\rho$, è necessario che $L$ sia un diagramma di Hodge misto di algebre di Lie (Mixed Hodge Diagram of Lie Algebras).
L'autore costruisce tale struttura in tre casi geometrici distinti, utilizzando i functori di Thom-Whitney (introdotti da Navarro Aznar) per garantire che le risoluzioni siano functoriali e preservino le strutture algebriche (commutatività e bracket di Lie) a livello di catene, evitando i problemi di non commutatività delle risoluzioni di Godement standard.

1. VHS non degeneri su varietà compatte: Estensione del lavoro precedente, utilizzando la teoria di Deligne-Zucker.
2. VMHS degeneranti su curve: Utilizzo della teoria di Steenbrink-Zucker per le VMHS ammissibili, gestendo la filtrazione di monodromia e le estensioni canoniche.
3. Caso generale (Varietà di dimensione arbitraria): Utilizzo della teoria dei Moduli di Hodge Misti di Morihiko Saito. Questo permette di trattare VMHS ammissibili su varietà compatte con divisor a incroci normali, definendo una struttura di Hodge mista sulla coomologia con coefficienti locali.

Il risultato chiave di questa fase è la costruzione di un oggetto $L$ che è simultaneamente un DG Lie algebra e un complesso di Hodge misto (MHC), functoriale rispetto a $X$ e al punto base.

B. Analisi Algebrica e Teoria delle Deformazioni (Sezione 7)

Una volta stabilita la struttura di Hodge mista su $L$, l'autore analizza l'interazione tra le filtrazioni di peso e la teoria delle deformazioni.

• Si utilizza la teoria delle algebre $L_\infty$. Il teorema di Goldman-Millson afferma che la varietà di deformazione è isomorfa a quella dell'algebra di coomologia $H(L)$, ma nel caso non formale, $H(L)$ deve essere dotato di una struttura $L_\infty$ (operazioni multilineari $\ell_r$) ottenuta tramite "trasferimento di omotopia".
• Il punto cruciale: Le operazioni $\ell_r$ su $H(L)$ rispettano la filtrazione di peso. Poiché i pesi sono limitati in ogni grado di coomologia, molte operazioni $\ell_r$ ad alto ordine devono necessariamente annullarsi per incompatibilità di pesi.
• Si dimostra che se i pesi di $H^1(L)$ sono strettamente positivi, allora le equazioni che definiscono la varietà di deformazione sono pesate-omogenee.

3. Contributi Chiave e Risultati Principali

Teorema 1.1 (Struttura di Hodge Mista su $\hat{\mathcal{O}}_\rho$)

Sia $\rho$ la rappresentazione di monodromia di una VMHS ammissibile su una varietà complessa liscia $X$ (o quasi-Kähler) con monodromia unipotente all'infinito.

• Esiste una struttura di Hodge mista sull'anello formale $\hat{\mathcal{O}}_\rho$, functoriale rispetto a $X$ e al punto base.
• Questa struttura induce una presentazione pesata-omogenea di $\hat{\mathcal{O}}_\rho$ ottenuta scindendo la filtrazione di peso.

Teorema 1.3 e 1.4 (Presentazione Pesata-Omogenea)

Se i pesi di $H^1(L)$ sono strettamente positivi, allora $\hat{\mathcal{O}}_\rho$ ammette una presentazione:
$$\hat{\mathcal{O}}_\rho \simeq \mathbb{C}[[X_1, \dots, X_n]] / (P_1, \dots, P_r)$$
dove:

• I generatori $X_i$ hanno pesi derivanti dai pesi di $H^1(L)$.
• Le relazioni $P_j$ sono omogenee rispetto a questi pesi, con pesi limitati dai pesi di $H^2(L)$.

Generalizzazione dei Risultati Esistenti

L'articolo recupera e generalizza i teoremi di Goldman-Millson e Kapovich-Millson:

1. Caso Compatto (Goldman-Millson): Se $X$ è compatta e $\rho$ proviene da una VHS polarizzabile, $H^1(L)$ ha peso 1 e $H^2(L)$ peso 2. Le uniche operazioni non nulle sono $\ell_2$ (il bracket di Lie). Risultato: presentazione quadratica.
2. Caso Immagine Finita (Kapovich-Millson): Se $\rho$ ha immagine finita, $H^1(L)$ ha pesi 1, 2 e $H^2(L)$ pesi 2, 3, 4. Le operazioni non nulle sono $\ell_2, \ell_3, \ell_4$. Risultato: presentazione con generatori di peso 1,2 e relazioni di peso 2,3,4.
3. Nuovi Risultati: Per VMHS su curve o varietà con monodromia unipotente all'infinito, l'autore dimostra l'esistenza di equazioni pesate-omogenee, anche se il numero di relazioni potrebbe non essere finito (a differenza dei casi precedenti) senza ipotesi aggiuntive sulla monodromia.

4. Significato e Impatto

• Unificazione Teorica: Il lavoro unifica due teorie apparentemente distinte (quella delle varietà compatte e quella delle rappresentazioni finite) sotto un unico ombrello: la teoria delle strutture di Hodge miste e le algebre $L_\infty$.
• Strumento Computazionale: Fornisce un metodo sistematico per determinare la struttura delle relazioni nelle varietà di rappresentazione basandosi esclusivamente sui pesi della coomologia con coefficienti locali.
• Ottimizzazione delle Deformazioni: Mostra come la struttura di Hodge mista imponga vincoli forti sulla teoria delle deformazioni, forzando l'annullamento di molte obstruzioni di ordine superiore.
• Generalizzazione: Estende i risultati oltre le varietà compatte e oltre le rappresentazioni con immagine finita, trattando il caso più generale delle VMHS ammissibili, che sono fondamentali in geometria algebrica moderna (es. connesso alla congettura di Shafarevich, come notato nell'aggiornamento dell'autore).

In sintesi, Lefèvre dimostra che la "geometria" della varietà di rappresentazione (la sua presentazione algebrica) è governata direttamente dalla "geometria" della struttura di Hodge mista sottostante, offrendo un potente strumento per classificare i gruppi fondamentali delle varietà complesse.