Deformation theory of parabolic representation pairs

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria delle rappresentazioni non abeliane e della geometria algebrica, focalizzandosi sulle varietà di rappresentazione di un gruppo fondamentale $\Gamma$ di una superficie di Riemann punteggiata $X = \bar{X} \setminus D$ (dove $D$ è un insieme di punti marcati) in un gruppo algebrico complesso $G = GL(r, \mathbb{C})$.

Il problema centrale affrontato dagli autori è l'insufficienza delle varietà di rappresentazione paraboliche tradizionali (definite fissando le classi di coniugazione dei monodromi attorno ai punti singolari) per catturare la struttura geometrica completa quando le monodromie non sono generiche.
In particolare:

• La corrispondenza di Riemann-Hilbert classica può contrarre famiglie di sottovarietà compatte nello spazio di De Rham verso il luogo singolare della varietà dei caratteri se le monodromie hanno autovalori geometricamente multipli.
• Le varietà di caratteri paraboliche standard non distinguono tra rappresentazioni che hanno la stessa monodromia ma risiedono in sottogruppi parabolici diversi (intersezioni di coniugati di sottogruppi parabolici).
• La costruzione di spazi di moduli per queste rappresentazioni è ostacolata dal fatto che il gruppo di gauge che preserva le strutture paraboliche relative è spesso non riduttivo, rendendo inapplicabile la classica Teoria degli Invarianti Geometrici (GIT).

2. Metodologia

Gli autori introducono una nuova struttura, le coppie di rappresentazioni paraboliche (parabolic representation pairs), e sviluppano una teoria deformazionale completa basata su tre pilastri metodologici:

1. Introduzione delle Coppie di Rappresentazione Paraboliche (PRP):
   Invece di fissare solo le classi di coniugazione, gli autori considerano coppie $(\rho, P)$, dove $\rho: \Gamma \to G$ è una rappresentazione e $P$ è una terna di sottogruppi parabolici (uno per ogni punto di $D$) in cui le monodromie $\rho(\gamma_i)$ risiedono. Questo permette di "registrare" la struttura filtrata associata alle monodromie.

2. Corrispondenza di Riemann-Hilbert-Deligne (RHD) per Grupoidi:
   Viene stabilita una corrispondenza tra il gruppoide delle coppie di rappresentazioni paraboliche e il gruppoide dei fasci piatti logaritmici parabolici (parabolic logarithmic flat bundles).

   • Viene introdotta una nuova nozione di equivalenza (RHD-equivalenza) per identificare fasci piatti non isomorfi che danno origine allo stesso sistema locale filtrato, eliminando l'ambiguità legata alla scelta degli angoli di argomento degli autovalori nella estensione di Deligne.
   • Si dimostra che i germi analitici delle varietà di rappresentazione sono pro-rappresentati da funtori legati a questi gruppi di fasci piatti.

3. Teoria delle Deformazioni tramite DGLA e Formalità Mista:

   • Si descrivono gli spazi tangenti di Zariski e i coni quadratici tangenti per le varietà di coppie paraboliche e le varietà di rappresentazione relative.
   • Si associano Algebre di Lie Differenziali Graduati (DGLA) ai fasci piatti logaritmici parabolici.
   • Si introduce il concetto di formalità mista (mixed formality). Poiché la teoria di Hodge classica non è sufficiente nel caso quasi-proiettivo per garantire la formalità completa, gli autori sfruttano la teoria di Hodge $L^2$ per fasci armonici. Dimostrano che, sotto condizioni di stabilità (stabilità di Jordan), la DGLA che controlla le deformazioni è "mista formalmente": contiene un sottogruppo formale e il suo quoziente è quasi-isomorfo a una DGLA formale con bracket non banali.

4. Costruzione degli Spazi di Moduli tramite Teoria delle Rappresentazioni di Quiver:
   Per superare l'ostacolo della non riduttività del gruppo di gauge, gli autori traducono il problema delle coppie paraboliche in quello delle rappresentazioni di un quiver a forma di stella con anelli (star-shaped quiver with loops).

   • Viene costruita una mappa equivariante tra lo spazio delle rappresentazioni del quiver e la varietà di coppie paraboliche.
   • Si dimostra che la stabilità delle coppie paraboliche rispetto a un sistema di pesi coincide con la stabilità delle rappresentazioni del quiver.
   • Questo permette di applicare la GIT classica per i quiver (teorema di King) per costruire lo spazio di moduli.

3. Risultati Chiave

• Teorema 1.1 (Struttura Tangente): Calcolo esplicito dello spazio tangente di Zariski e del cono quadratico tangente per la varietà di coppie paraboliche $PRP(r, d)$ e per la varietà di rappresentazione relativa $R(\Gamma, G; P)$. Le dimensioni complesse sono determinate in funzione del genere $g$, del numero di punti $n$ e dei tipi parabolici.
• Teorema 1.2 (Corrispondenza RHD): Dimostrazione che il germe analitico della varietà di coppie paraboliche pro-rappresenta un funtore definito tramite isomorfismi di fasci piatti logaritmici parabolici (nel contesto di gruppi di automorfismi ridotti).
• Teorema 1.3 (Descrizione DGLA): Isomorfismo tra il funtore di deformazione delle coppie paraboliche e il funtore di deformazione associato alla DGLA globale $\Gamma(\bar{X}, A(E,F,\nabla))$ ottenuta dalla risoluzione aciclica del complesso di de Rham parabolico.
• Teorema 1.4 (Formalità Mista): Sotto ipotesi di stabilità di Jordan e residui semisemplici con autovalori reali, la DGLA che controlla le deformazioni è mista formalmente. Questo è un risultato fondamentale che estende i teoremi di Goldman-Millson a contesti non compatti e con strutture paraboliche.
• Teorema 1.5 (Teorema di tipo Kobayashi-Hitchin): Costruzione dello spazio di moduli delle coppie di rappresentazioni paraboliche pesate come quoziente GIT. Viene stabilito un teorema di corrispondenza tra stabilità polistabile e l'esistenza di una metrica Hermitiana "w-good" che soddisfa un sistema di equazioni di tipo Yang-Mills-Higgs generalizzato:
  $$\sum ([\rho(\alpha_j), \rho^*_h(\alpha_j)] + \dots) + \sum [\rho(\gamma_i), \rho^*_h(\gamma_i)] + \dots = \text{costante} \cdot \text{Id}$$
  Questo generalizza risultati precedenti di Totaro e Faltings.

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella teoria delle deformazioni e nella geometria non abeliana di Hodge per superfici punteggiate:

1. Risoluzione di Patologie Geometriche: Risolvendo il problema della perdita di gradi di libertà nelle corrispondenze di Riemann-Hilbert non generiche, le "coppie di rappresentazioni paraboliche" forniscono uno spazio di moduli più fine e corretto, dove la corrispondenza con i fasci piatti è meglio comportata.
2. Estensione della Teoria di Hodge: L'introduzione della "formalità mista" offre un nuovo strumento analitico per studiare le deformazioni in contesti dove la teoria di Hodge classica fallisce, collegando la stabilità algebrica alla struttura analitica delle DGLA.
3. Nuova Strategia per Spazi di Moduli: La traduzione del problema in termini di rappresentazioni di quiver permette di bypassare le difficoltà della GIT non riduttiva, fornendo una costruzione esplicita e robusta degli spazi di moduli per oggetti parabolici.
4. Generalizzazione del Teorema di Kobayashi-Hitchin: Il teorema principale (1.5) stabilisce un ponte solido tra la stabilità algebrica (definita tramite pesi e sottorappresentazioni) e l'esistenza di metriche Hermitiane speciali, generalizzando risultati fondamentali della teoria di gauge su curve compatte al caso parabolico.

In sintesi, il paper unifica tecniche di teoria delle rappresentazioni, geometria algebrica (GIT, quiver) e analisi complessa (DGLA, teoria di Hodge $L^2$) per fornire una teoria deformazionale completa e una costruzione di spazi di moduli per le rappresentazioni paraboliche, risolvendo limitazioni note della letteratura precedente.