Non-abelian Hodge theory for non-proper varieties and the linear Shafarevich conjecture

1. Il Problema e il Contesto

La teoria di Hodge non abeliana, sviluppata originariamente da Simpson per varietà proiettive lisce, stabilisce una corrispondenza profonda tra tre strutture geometriche associate a una varietà $X$:

1. Lo stack di Betti ($M_B$): sistemi locali (rappresentazioni del gruppo fondamentale).
2. Lo stack di De Rham ($M_{dR}$): fasci vettoriali piatti algebrici.
3. Lo stack di Dolbeault ($M_{Dol}$): fasci di Higgs semistabili.

Il problema centrale affrontato da Bakker è l'estensione di questa teoria al caso di varietà algebriche non proprie (ad esempio, varietà quasi-proiettive o aperte). In questo contesto "misto", le strutture classiche falliscono o diventano mal definite a causa della presenza di singolarità al bordo e della mancanza di compattezza.
L'obiettivo specifico è:

• Sviluppare una teoria di Hodge non abeliana robusta per varietà non proprie.
• Costruire morfismi di Shafarevich algebrici per insiemi arbitrari di sistemi locali.
• Provare la congettura di Shafarevich lineare per varietà algebriche non proprie, affermando che se il gruppo fondamentale ammette una rappresentazione lineare quasi-fedele, il rivestimento universale è uno spazio di Stein (o olomorficamente convesso).

2. Metodologia e Strumenti Teorici

L'autore utilizza un approccio che combina geometria analitica, teoria dei gruppi e aritmetica, basandosi su lavori recenti di Simpson, Mochizuki, Sabbah e altri. I pilastri metodologici sono:

A. Teoria Armonica in Contesti "Misti"

• Caso Archimedeo: Estensione della teoria delle metriche armoniche (pluriarmoniche) per sistemi locali semisemplici su varietà non proprie. Si utilizzano mappe armoniche verso spazi NPC (non-positivamente curvati) o edifici di Bruhat-Tits.
• Caso Non-Archimedeo: Introduzione di norme ultrametriche pluriarmoniche per sistemi locali su campi locali non archimedei ($K$). Questo permette di studiare la struttura integrale dei sistemi locali.
• Corrispondenza di Simpson-Mochizuki: Estensione della corrispondenza tra fasci piatti e fasci di Higgs (con strutture paraboliche) al caso non proprio, garantendo l'esistenza di metriche armoniche "tame" (mansuete) per sistemi con monodromia locale quasi-unipotente.

B. Geometria dello Spazio di Deligne-Hitchin

• Costruzione dello spazio di Deligne-Hitchin ($M_{DH}$) come spazio analitico complesso che interpola tra lo stack di De Rham e quello di Dolbeault.
• Introduzione di strutture di twistor miste (Mixed Twistor Structures) e variazioni di tali strutture. Questo permette di trattare le deformazioni dei sistemi locali in modo funtoriale, anche in presenza di singolarità.
• Dimostrazione che le deformazioni universali dei sistemi locali semisemplici sono supportate da variazioni di strutture di twistor miste, permettendo di "sollevare" la teoria di deformazione alla categoria delle variazioni di Hodge miste.

C. Densità e Strutture Assolute

• Uso del teorema di densità di Zariski per i sistemi locali con monodromia quasi-unipotente all'interno di sottostack definiti su $\mathbb{Q}$.
• Definizione di sottostack di Hodge (Hodge substacks): sottovarietà dello stack di Betti che sono "tangent" alla struttura di twistor e invarianti sotto l'azione di $\mathbb{R}_{>0}$. Questo permette di collegare proprietà algebriche a proprietà analitiche.

D. Foliazioni di Katzarkov-Zuo

• Utilizzo delle norme armoniche non archimedee per costruire foliazioni algebriche (foliazioni di Katzarkov-Zuo) che distinguono le sottovarietà lungo le quali un sistema locale ammette una struttura intera.

3. Contributi Chiave e Risultati Principali

1. Estensione della Teoria di Hodge Non Abeliana

Il paper fornisce un quadro completo per la teoria di Hodge non abeliana su varietà non proprie, dimostrando che:

• Esiste una corrispondenza biunivoca (e omeomorfa nella topologia euclidea) tra i moduli di fasci piatti con residui nilpotenti e i moduli di fasci di Higgs con residui nilpotenti, tramite metriche armoniche tame.
• L'azione di $\mathbb{R}_{>0}$ (e la sua estensione a $\mathbb{C}^*$) sui sistemi locali è ben definita e continua, anche nel caso non proprio.
• I punti fissi di questa azione corrispondono a variazioni di strutture di Hodge complesse (C-VHS).

2. Costruzione del Morfismo di Shafarevich Algebrico

Il risultato più significativo è la costruzione di un morfismo algebrico canonico per qualsiasi insieme limitato di sistemi locali:

• Teorema 5.3: Per ogni varietà algebrica normale connessa $X$ e ogni insieme $\Sigma$ di sistemi locali di rango limitato, esiste un unico morfismo di Shafarevich algebrico $sh_\Sigma: X \to Sh_\Sigma(X)$.
• Questo morfismo è proprio se e solo se $\Sigma$ è "non estendibile" (non si estende a una compattificazione parziale), e quasifinito se e solo se $\Sigma$ è "grande" (ha monodromia infinita su ogni sottovarietà).
• La costruzione si basa sulla combinazione di mappe di periodo (dalle variazioni di Hodge) e riduzioni di Katzarkov-Zuo (dalle strutture non archimedee), unificate tramite la teoria delle strutture di twistor.

3. Conferma della Congettura di Shafarevich Lineare

• Teorema 5.4: Se $X$ ammette un insieme grande e non estendibile di sistemi locali di rango limitato (condizione soddisfatta se il gruppo fondamentale ammette una rappresentazione lineare quasi-fedele), allora il rivestimento universale $\tilde{X}$ è uno spazio di Stein.
• Questo generalizza risultati precedenti (che valevano solo per varietà proiettive o casi specifici) a tutte le varietà algebriche complesse.

4. Integrazione Algebrica delle Foliazioni

• Teorema 5.5: Viene dimostrato che la foliazione di Katzarkov-Zuo associata a un insieme di punti $\bar{\mathbb{Q}}$ è algebricamente integrabile anche nel caso non proprio. Questo è cruciale per garantire che le funzioni di exhaustion costruite siano ben definite e abbiano le proprietà di convessità richieste.

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento fondamentale nella geometria algebrica e nella teoria dei gruppi fondamentali:

1. Unificazione: Colma il divario tra la teoria di Hodge per varietà compatte e non compatte, fornendo un quadro coerente che gestisce le singolarità al bordo attraverso strutture paraboliche e di twistor.
2. Risoluzione di una Congettura Aperta: Risolve la congettura di Shafarevich lineare per la classe più generale di varietà algebriche, confermando che la presenza di una rappresentazione lineare fedele impone forti restrizioni geometriche sulla topologia della varietà (il rivestimento universale è Stein).
3. Nuovi Strumenti: Introduce l'uso sistematico della teoria armonica non archimedea e delle strutture di twistor miste come strumenti per studiare la geometria delle varietà non proprie, offrendo un nuovo paradigma per problemi di rigidità e convessità olomorfa.
4. Algebricità: Dimostra che oggetti apparentemente analitici (come i morfismi di Shafarevich definiti tramite period map e metriche armoniche) sono in realtà morfismi algebrici, un risultato non banale ottenuto tramite tecniche di GAGA o-minimale.

In sintesi, il paper di Bakker non solo estende la teoria di Hodge non abeliana al caso non proprio, ma utilizza questa estensione per risolvere problemi fondamentali sulla struttura dei rivestimenti universali delle varietà algebriche, dimostrando che la loro geometria è strettamente vincolata dalle loro rappresentazioni lineari.