Dualizable abelian fibrations

Titolo: Fibrati Abeliani Dualizzabili

Autori: Davesh Maulik, Junliang Shen, Qizheng Yin

1. Il Problema e il Contesto

Il lavoro si inserisce nel contesto della geometria algebrica complessa, focalizzandosi sullo studio della teorema di decomposizione per fibrati abeliani e sulle strutture indotte sulla coomologia e sui motivi di Chow.

• Sfondo: Un fibrato abeliano è una mappa propria e suriettiva $f: M \to B$ tra varietà non singolari, con fibre equidimensionali e fibra generica che è una varietà abeliana. Il teorema di decomposizione di Beilinson-Bernstein-Deligne-Gabber (BBDG) afferma che il pushforward derivato $Rf_* \mathbb{Q}_M$ si decompone in una somma diretta di fasci perversi semisemplici.
• Il Problema: Determinare i "supporti" (sottovarietà $Z \subset B$) e i sistemi locali associati a questa decomposizione è generalmente difficile. Ngˆo ha risolto questo problema per una classe specifica di fibrati ("$\delta$-regular weak abelian fibrations") utilizzando un'azione di un gruppo commutativo, applicandolo poi al Lemma Fondamentale del Programma di Langlands.
• La Limitazione: Tuttavia, per fibrati abeliani con fibre singolari (come le Jacobiane compattificate o i sistemi di Hitchin), la struttura classica delle varietà abeliane (es. la decomposizione di Beauville, la moltiplicazione per $N$, la dualità perfetta) spesso fallisce o non è ben definita. In particolare, la decomposizione motivica e la filtrazione perverta (perverse filtration) potrebbero non ammettere una struttura moltiplicativa rispetto al prodotto cup.
• Obiettivo: Gli autori mirano a definire una classe più ampia di fibrati, chiamati fibrati abeliani dualizzabili, che ammettono una struttura di dualità (un fibrato duale $f^\vee: M^\vee \to B$ e un fascio di Poincaré generalizzato) sufficiente a ripristinare le strutture algebriche e motiviche desiderate, anche in presenza di singolarità.

2. Metodologia

La metodologia si basa sull'estensione delle proprietà delle varietà abeliane (schemi abeliani) ai fibrati abeliani con fibre singolari, utilizzando la teoria dei trasformi di Fourier-Mukai e la teoria dei motivi di Chow.

• Analogia con gli Schemi Abeliani: Per uno schema abeliano $A \to B$, esiste un fibrato duale $A^\vee$ e un fascio di Poincaré $\mathcal{P}$ che induce un'equivalenza di Fourier-Mukai. Questo permette di decomporre la coomologia e i motivi in modo canonico (Decomposizione di Beauville) e di mostrare che la filtrazione di Leray è moltiplicativa.

• Definizione Assiomatica: Gli autori introducono la definizione di "fibrato abeliano dualizzabile" attraverso un insieme di assiomi che generalizzano le proprietà degli schemi abeliani:

  • Assioma A (Esistenza del Duale): Esiste un fibrato duale $f^\vee: M^\vee \to B$ che è duale su un aperto denso.
  • Assioma B (Supporto Pieno): La decomposizione di $Rf_* \mathbb{Q}_M$ e $Rf^\vee_* \mathbb{Q}_{M^\vee}$ ha supporto pieno su $B$ (nessun supporto su sottovarietà proprie).
  • Assioma C (Estensione del Fascio di Poincaré): Il fascio di Poincaré normalizzato sull'aperto regolare si estende a un oggetto $\mathcal{P} \in D^b\text{Coh}(M^\vee \times_B M)$ che induce un'equivalenza di Fourier-Mukai con un inverso $\mathcal{P}^{-1}$.
  • Assioma C+ (Estensione "Bene Comportata"): Gli oggetti derivati legati alla composizione $\mathcal{P}^{-1} \circ \mathcal{P}^{\otimes N}$ hanno supporto in codimensione $g$ per infiniti $N$, generalizzando la proprietà di moltiplicazione per $N$.
  • Assioma D (Estensione della Convoluzione): Esiste un kernel di convoluzione che generalizza la struttura di gruppo, permettendo di definire un prodotto di convoluzione sulla coomologia del duale.

• Strumenti Chiave:

  • Trasformi di Fourier-Mukai indotti da $\mathcal{P}$.
  • Teorema di decomposizione di BBDG.
  • Filtrazione perverta (Perverse filtration) e filtrazione di Leray.
  • Teoria dei motivi di Chow relativi.
  • Tecniche di cicli vicini/vanishing (nearby/vanishing cycles) per collegare casi singolari a casi regolari.

3. Contributi Chiave e Risultati

Il paper stabilisce un quadro teorico robusto che collega la dualità alla struttura algebrica della coomologia e dei motivi.

A. Teorema di Decomposizione Motivica e Moltiplicatività

Il risultato principale è il Teorema 3.2, che afferma che per ogni fibrato abeliano dualizzabile $f: M \to B$:

1. Decomposizione Motivica: Esiste una decomposizione canonica del motivo di Chow relativo $h(M) = \bigoplus h_i(M)$. Questo conferma la congettura di Corti-Hanamura per questa classe di fibrati.
2. Moltiplicatività della Filtrazione Perverta: La filtrazione perverta $P_\bullet H^*(M, \mathbb{Q})$ è moltiplicativa rispetto al prodotto cup:
   $$\cup: P_i H^*(M) \times P_j H^*(M) \to P_{i+j} H^*(M).$$
3. Isomorfismo di Algebra: Esiste un isomorfismo di oggetti algebrici tra la coomologia di $M$ (con prodotto cup) e la coomologia del duale $M^\vee$ (con prodotto di convoluzione), che generalizza il teorema di Fourier per le varietà abeliane.

B. Applicazioni Specifiche

Gli autori dimostrano che questa teoria risolve problemi aperti in diverse aree:

• Jacobiane Compattificate: Per le Jacobiane compattificate di curve integrali localmente piane, la filtrazione perverta è moltiplicativa (Teorema 3.6), generalizzando risultati precedenti di Oblomkov-Yun.
• Sistemi di Hitchin Parabolici: Viene dimostrato che i sistemi di Hitchin parabolici sono fibrati abeliani dualizzabili. Questo permette di provare la congettura $P=W$ (che lega la filtrazione perverta alla filtrazione di peso) per questi sistemi, estendendo i risultati noti per il caso classico.
• Anelli di Cohomologia Intrinseci: Viene dimostrato che l'anello di coomologia graduato associato alla filtrazione perverta delle Jacobiane compattificate universali è indipendente dalla scelta della condizione di stabilità non degenere (Teorema 3.9). Questo risolve un problema sulla dipendenza dalla compattificazione, mostrando che la struttura graduata è un invariante intrinseco.
• Relazione P=C: Viene provata la congettura $P=C$ (la posizione di una classe tautologica nella filtrazione perverta è determinata dal suo grado di Chern) per spazi di moduli di fasci su superfici di Del Pezzo e per i sistemi di Hitchin parabolici.

C. Generalizzazioni e Varianti

Il framework è flessibile e si applica anche a:

• Torsori: Fibrati dove le fibre regolari sono torsori sotto uno schema abeliano (non necessariamente gruppi).
• Supporto Non Pieno: L'Assioma B può essere rilassato se si possono verificare le proprietà di troncamento perverta con altri metodi (es. cicli vicini).
• Fibrati Lagrangiani: Viene discussa la connessione con le fibrazioni lagrangiane su varietà simplettiche irriducibili, dove si ipotizza che la decomposizione motivica moltiplicativa esista e che le classi di Chern soddisfino proprietà specifiche (Congettura 3.11).

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella comprensione della topologia e della geometria algebrica dei fibrati abeliani singolari.

• Unificazione: Fornisce un quadro unificato che estende le potenti tecniche delle varietà abeliane (dualità, trasformi di Fourier) a contesti molto più generali e singolari, come le Jacobiane compattificate e i sistemi di Hitchin.
• Strumento Potente per Congetture: La struttura di "dualizzabilità" si rivela essere la chiave per dimostrare congetture profonde come $P=W$ e $P=C$, che collegano la geometria algebrica alla teoria delle rappresentazioni e alla fisica matematica.
• Struttura Algebrica Intrinseca: Dimostra che, nonostante la complessità delle singolarità, la struttura algebrica fondamentale (l'anello di coomologia graduato) rimane stabile e ben definita, offrendo nuovi invarianti per lo studio degli spazi di moduli.
• Impatto sulla Teoria dei Motivi: Conferma la congettura di decomposizione motivica per una vasta classe di varietà, fornendo proiettori espliciti costruiti tramite trasformi di Fourier generalizzati.

In sintesi, il paper stabilisce che la presenza di una struttura di dualità "dualizzabile" è una condizione sufficiente e potente per garantire che i fibrati abeliani singolari ereditino le ricche strutture algebriche e motiviche tipiche delle varietà abeliane lisce.