Symplectic leaves of meromorphic Hitchin systems

Sintesi Tecnica: Foglie Simpletiche di Sistemi di Hitch Meromorfi

Enunciato del Problema
Il saggio affronta la struttura geometrica dello spazio di moduli dei bundle di Higgs meromorfi stabili, denotato con $\text{Higgss}(C, D)$, dove $C$ è una curva proiettiva liscia e $D$ è un divisore efficace ridotto. Sebbene questo spazio possieda una struttura di Poisson ologomorfa (stabilita da Bottacin e Markman), esso manca di una struttura simpletica ologomorfa globale. Un problema fondamentale nella geometria di Poisson è l'identificazione e la comprensione delle sue foglie semplicitiche.

Nel contesto dei bundle di Higgs meromorfi, il residuo del campo di Higgs nei punti marcati $D$ fornisce il modello locale. Gli autori investigano i lotti $\text{Higgs}_{\mathcal{O},s}(C, D)$ definiti fissando il residuo del campo di Higgs affinché risieda in un prodotto specifico di orbite avjuntate $\mathcal{O} = \prod \mathcal{O}_i$. Le questioni centrali sono:

1. Questi lotti $\text{Higgs}_{\mathcal{O},s}(C, D)$ sono effettivamente foglie semplicitiche della varietà di Poisson ambiente?
2. La mappa di Hitch, quando ristretta a queste foglie, può essere parzialmente compattificata per formare un sistema completamente integrabile algebricamente (ACIS), in particolare quando le orbite non sono di rango massimo (portando a curve spettrali singolari) o quando le foglie non sono chiuse?

Metodologia
Gli autori impiegano una combinazione di teoria della deformazione, geometria algebrica e corrispondenza spettrale per risolvere queste questioni.

1. Analisi Infinitesimale: Gli autori utilizzano la teoria della deformazione dei bundle di Higgs meromorfi con condizioni di residuo fissate. Costruiscono il complesso tangente $C^\bullet_{\mathcal{O},E}$ e il suo Serre duale per identificare esplicitamente lo spazio tangente di $\text{Higgs}_{\mathcal{O},s}(C, D)$ con la distribuzione caratteristica della struttura di Poisson di Bottacin–Markman. Ciò conferma che il lotto è tangente alla struttura di Poisson.
2. Risoluzione Parabolica: Per affrontare le singolarità derivanti dalle chiusure delle orbite e dalla mancanza di properità della mappa di Hitch ristretta, gli autori introducono i bundle di Higgs $\vec{\xi}$-parabolici. Questi sono triple $(E, E^\bullet_D, \Phi)$ dove il campo di Higgs $\Phi$ ha residui in $\mathcal{O}$, ma il bundle $E$ è dotato di una struttura a flag $E^\bullet_D$ nei punti marcati compatibile con gli autovalori del residuo $\vec{\xi}$.
3. Corrispondenza Spettrale: Basandosi sul lavoro precedente ([LL24], [LL25]), gli autori utilizzano una corrispondenza spettrale per i bundle di Higgs $\vec{\xi}$-parabolici. Questa relaziona lo spazio dei moduli a uno spazio di moduli di fogli unidimensionali puri su una superficie specifica $Z_{\vec{\xi}}$ (costruita tramite iterazioni di blow-up di una superficie ruolata). Questa corrispondenza permette loro di descrivere le fibre della mappa di Hitch come jacobiani compattificati di curve spettrali.
4. Morfismo di Dimenticanza: Uno strumento tecnico chiave è la costruzione di una mappa di dimenticanza $F: \text{Higgs}^{\vec{\xi}\text{-par}}_{\vec{\alpha}}(C, D, \vec{m}, \vec{\alpha}) \to \text{Higgs}_{\mathcal{O},ss}(C, D)$, che scarta le flag paraboliche. Gli autori analizzano le condizioni di stabilità (utilizzando pesi parabolici $\vec{\alpha}$ sufficientemente piccoli) per garantire che questa mappa sia ben definita, proiettiva e un isomorfismo sul locus stabile.

Contributi Chiave e Risultati

• Identificazione delle Foglie Simpletiche:
  Il saggio dimostra che, per un prodotto di classi di coniugazione $\mathcal{O}$ soddisfacente la condizione di traccia, il lotto $\text{Higgs}_{\mathcal{O},s}(C, D)$ è una foglia semplicetica irriducibile di $\text{Higgss}(C, D)$. La sua chiusura nello spazio dei moduli è $\text{Higgs}_{\mathcal{O},s}(C, D)$ (Teorema 1.3, Teorema 3.12, Teorema 3.13). Ciò risolve il problema della connessione e conferma la natura semplicetica di questi strati.

• Compattificazione Parziale in ACIS:
  Gli autori dimostrano che lo spazio dei moduli dei bundle di Higgs $\vec{\xi}$-parabolici, $\text{Higgs}^{\vec{\xi}\text{-par}}(C, D, \vec{m}, \vec{\alpha})$, fornisce una compattificazione parziale della mappa di Hitch ristretta.

  • La mappa di Hitch ristretta $h^{(\vec{m})}_{\vec{\xi}}: \text{Higgs}^{\vec{\xi}\text{-par}} \to \mathcal{B}^{(\vec{m})}_{\vec{\xi}}$ è mostrata essere una fibrazione lagrangiana, propria e piatta, con fibre generiche che sono varietà abeliane (Teorema 1.7, Teorema 5.4).
  • Ciò stabilisce che il sistema ristretto è un sistema completamente integrabile algebricamente, anche quando le curve spettrali sottostanti sono singolari o quando la foglia originale non è chiusa.

• Risoluzione Simpletica:
  La mappa di dimenticanza $F$ è mostrata essere una risoluzione semplicetica della normalizzazione della chiusura $\text{Higgs}_{\mathcal{O},ss}(C, D)$ (Teorema 1.9, Teorema 5.11). Nello specifico, la normalizzazione della chiusura del lotto meromorfo possiede singolarità semplicitiche e lo spazio dei moduli liscio dei bundle di Higgs $\vec{\xi}$-parabolici risolve queste singolarità preservando la struttura semplicetica.

• Connessione degli Spazi di Moduli di Betti:
  Tramite la corrispondenza non-abeliana tame di Simpson, i risultati di connessione per il lato Dolbeault (bundle di Higgs parabolici) vengono trasferiti al lato Betti.

  • Il saggio dimostra che lo spazio di moduli stabile di sistemi locali filtrati con diagrammi di residuo prescritti è connesso (Teorema 1.10, Teorema 6.6).
  • Un'applicazione significativa riguarda le varietà di carattere $\chi(C^\circ, \mathcal{C})$ con classi di monodromia locale prescritte $\mathcal{C}$. Sotto l'assunzione che gli autovalori delle matrici di monodromia condividano un argomento comune (una condizione che garantisce la compatibilità con i residui scalari graduati), il locus irriducibile $\chi(C^\circ, \mathcal{C})^{\text{irr}}$ è mostrato essere connesso ogni volta che è non vuoto (Teorema 1.11, Teorema 6.7). Questo estende i precedenti risultati di connessione a classi di monodromia non generiche.

Significatività
Il saggio rivendica la sua significatività fornendo un quadro geometrico completo delle foglie semplicetiche dei sistemi di Hitch meromorfi, che erano precedentemente compresi principalmente nel caso di rango massimo (foglia chiusa). Introducendo i bundle di Higgs $\vec{\xi}$-parabolici, gli autori:

1. Risolvono le singolarità delle chiusure delle orbite nello spazio dei moduli dei bundle di Higgs meromorfi.
2. Estendono la teoria dei sistemi completamente integrabili algebricamente a arbitrarie foglie semplicetiche di rango, affrontando il "progetto Lax" per i casi di rango non massimo.
3. Stabiliscono nuovi risultati di connessione per le varietà di carattere con monodromia locale non generica, colmando il divario tra i lati Dolbeault e Betti della teoria di Hodge non abeliana per strati singolari.

Il lavoro si basa sui contributi indipendenti di Bottacin e Markman riguardo alla struttura di Poisson e si basa sui risultati precedenti degli autori sulla corrispondenza spettrale per i bundle di Higgs parabolici. Non propone nuove applicazioni sperimentali ma approfondisce la comprensione teorica degli spazi dei moduli dei bundle di Higgs e la loro relazione con la teoria delle rappresentazioni.