Meromorphic Group Actions and the Support Theorem for Lagrangian Fibrations

Riassunto Tecnico: Azioni di Gruppi Meromorfi e il Teorema del Supporto per le Fibrati Lagrangiane

Enunciato del Problema
Il saggio affronta la struttura geometrica e coomologica delle fibrati lagrangiane $f: X \to B$ su spazi complessi simpletici ologomorfi. Mentre il teorema di Liouville–Arnold descrive la dinamica di tali sistemi sopra il locus regolare (dove le fibre sono tori compatti), il comportamento sopra le fibre singolari e l'intero spazio base $B$ rimane complesso. Nello specifico, gli autori indagano se sia possibile costruire una famiglia di gruppi Lie commutativi che agiscano fedelmente sullo spazio totale $X$ su tutto lo spazio base $B$, incluse le fibre singolari, e come tale azione di gruppo governi la topologia della fibrata.

Un obiettivo centrale è dimostrare un "Teorema del Supporto" per il Teorema della Decomposizione del complesso di immagine diretta $Rf_* \mathbb{R}_X[\dim X]$ (o $Rf_* IC_X$ nel caso singolare). Questo teorema mette in relazione i possibili supporti (varietà irriducibili $Z \subseteq B$) che compaiono nella decomposizione con la geometria delle fibre della famiglia di gruppi, specificamente i loro quozienti per massimi tori compatti.

Metodologia
Gli autori impiegano una sintesi di geometria analitica complessa, teoria di Hodge e teoria delle algebre di Hopf. La metodologia procede in tre fasi principali:

1. Costruzione di Azioni di Gruppo Meromorfe:

   • Partendo dal teorema di Liouville–Arnold, gli autori integrano i campi vettoriali hamiltoniani verticali per definire un'azione ologomorfa del fibrato cotangente $T^*B$ sul locus regolare.
   • Essi estendono tale costruzione all'intero spazio $X$ utilizzando lo spazio di Douady relativo di $X \times_B X$. Analizzando la componente irriducibile che contiene l'immagine del morfismo di classificazione, costruiscono una famiglia di gruppi meromorfi $G \to B$ (nel senso di Fujiki).
   • Un traguardo tecnico fondamentale è dimostrare che questa costruzione produce una famiglia regolare di gruppi Lie commutativi che agiscono meromorficamente su $X$, anche quando $X$ è singolare o non compatto, a condizione che $X$ sia Kähler e $B$ sia una varietà complessa. Ciò rimuove la dipendenza da precedenti assunzioni algebriche o condizioni sul locus critico.

2. Libertà Coomologica tramite Moduli di Hopf:

   • Gli autori stabiliscono un "Teorema di Libertà" per la coomologia delle fibre. Essi utilizzano la struttura dei gruppi meromorfi, che ammettono una decomposizione $1 \to L \to G \to T \to 1$ (dove $L$ è algebrico lineare e $T$ è un toro compatto).
   • Utilizzando la teoria di Hodge mista, dimostrano che la coomologia $H^*(X_b)$ di una fibra è un comodulo libero sulla algebra di Hopf $H^*(T_b)$.
   • Crucialmente, adattano la costruzione di scomposizione di Deligne per il teorema della decomposizione per mostrare che la filtrazione perversa sulla coomologia delle fibre è compatibile con la struttura di comodulo. Ciò consente di trattare la coomologia del complesso di immagine diretta come un modulo libero sulla coomologia del massimo quoziente torico compatto.

3. Dimostrazione del Teorema del Supporto:

   • Combinando la libertà dei moduli coomologici con la condizione di $\delta$-regolarità (un limite superiore sulla dimensione della parte lineare del gruppo sopra la base), gli autori vincolano i possibili supporti nel Teorema della Decomposizione.
   • Dimostrano che, se $Z \subseteq B$ è un supporto, la sua codimenssione è determinata dalla dimensione del massimo quoziente per toro compatto $T_b$ del gruppo fibra sopra un punto generico di $Z$.

Contributi Chiave e Risultati

• Teorema A (Esistenza dell'Azione di Gruppo): Per una fibrata lagrangiana $f: X \to B$ con $X$ Kähler (possibilmente singolare) e $B$ regolare, esiste una famiglia regolare $G \to B$ di gruppi Lie commutativi che agiscono fedelmente e meromorficamente su $X$. Questo generalizza i risultati precedenti che richiedevano contesti algebrici o condizioni specifiche sul locus critico.
• Teorema B (Teorema della Libertà): La coomologia singolare $H^*(X_b, \mathbb{R})$ di una fibra è un modulo libero sull'algebra coomologica $H^*(T_b, \mathbb{R})$, dove $T_b$ è il massimo quoziente per toro compatto della componente dell'identità del gruppo. Questo risultato è valido per complessi costruttibili sotto l'azione del gruppo, inclusa la intersezione complessa $IC_X$ per $X$ singolare.
• Teorema C (Teorema del Supporto): Se $Z \subseteq B$ è un supporto nel Teorema della Decomposizione per $Rf_* IC_X$, allora $\dim Z = \dim T_b$ per un $b \in Z$ generico. Inoltre, la somma diretta di fasci perversi semplici supportati su $Z$ è costruita a partire dalla coomologia dei quozienti torici compatti e da un sistema locale con monodromia finita.
• Generalizzazione a Spazi Singolari: I risultati sono estesi a spazi simpletici ologomorfi singolari (nel senso di Beauville) utilizzando la geometria Poisson e risoluzioni funzionali delle singolarità, dimostrando che le proprietà di equidimensionalità e piattezza necessarie per la prova valgono anche in questo contesto più ampio.

Significato e Rivendicazioni
Il saggio sostiene di fornire una descrizione completa e intrinseca dei supporti nel Teorema della Decomposizione per le fibrati lagrangiane, unificando i contesti algebrico e Kähler.

• Eliminazione delle Condizioni: Gli autori sottolineano che la loro costruzione dell'azione di gruppo elimina la necessità della "condizione (1)" (suriettività del locus non critico) utilizzata nei lavori precedenti, e non richiede che la fibrata sia algebrica.
• Compatibilità con la Teoria di Hodge: L'uso di coefficienti reali è motivato dalla necessità che la struttura di modulo sia canonica e compatibile con le strutture di Hodge miste. Gli autori osservano che, sebbene i risultati valgano su $\mathbb{Q}$, la struttura di modulo non è canonica in tale contesto.
• Interpretazione Geometrica: Il Teorema del Supporto fornisce una caratterizzazione geometrica della decomposizione: la "dimensione" dei supporti è direttamente governata dalla "dimensione" dei quozienti per tori compatti della famiglia di gruppi in azione. Ciò collega la topologia del complesso di immagine diretta direttamente alla geometria dell'azione di gruppo costruita tramite il meccanismo di Liouville–Arnold.
• Applicabilità: Il quadro teorico si applica sia a fibrati lagrangiani regolari che singolari, inclusi quelli derivanti dai sistemi di Hitchin e dagli spazi di moduli, offrendo uno strumento robusto per analizzare la topologia di tali spazi senza dipendere da specifici modelli algebrici.

Gli autori pongono il loro lavoro come un passo significativo nella comprensione della struttura globale dei sistemi integrabili in geometria complessa, colmando il divario tra la visione locale di Liouville–Arnold e il comportamento globale singolare della fibrata.