Higher rank bundles on Hopf surfaces

Sintesi Tecnica: Fasci di Rango Superiore su Superfici di Hopf

Enunciato del Problema
Il saggio investiga la geometria e le proprietà di stabilità dei fasci vettoriali e dei fasci privi di torsione (torsion-free sheaves) di rango superiore ($r \ge 2$) su superfici di Hopf classiche. Una superficie di Hopf classica $X$ è una superficie complessa non-Kähler, diffeomorfa a $S^1 \times S^3$, che ammette una fibrazione ellittica $\pi: X \to \mathbb{P}^1$. Gli autori affrontano diversi problemi interconnessi:

1. La relazione tra filtrabilità (l'esistenza di una filtrazione per sotto-fasci) e comportamento di salto (jumping behavior, ovvero l'instabilità del fascio nella sua restrizione alle fibre della fibrazione ellittica).
2. L'esistenza di fasci stabili e irriducibili con invarianti topologici specifici, nello specifico determinante banale e una seconda classe di Chern ($c_2$) prescritta.
3. La struttura degli spazi dei moduli $M_{r,n}$ dei fasci stabili di rango $r$ con $c_2=n$, in particolare i loro confini e la natura dei limiti di famiglie di fasci (fasci privi di torsione).
4. L'introduzione e la caratterizzazione dei fasci molto irriducibili, definiti come fasci i cui potenze simmetriche $S_n(E)$ rimangono irriducibili per ogni $n > 0$.

Metodologia
Gli autori impiegano una combinazione di tecniche di geometria algebrica adattate al contesto non-Kähler delle superfici di Hopf:

• Stabilità e Metriche: La stabilità è definita tramite stabilità di pendenza (slope stability) rispetto a una metrica di Gauduchon (una forma $(1,1)$ che soddisfa $\partial\bar{\partial}\omega = 0$). Il grado di un fascio è definito tramite integrazione rispetto a questa metrica.
• Analisi delle Filtrazioni: Gli autori utilizzano il concetto di fasci filtrabili, definiti da una filtrazione $0 = E_0 \subset E_1 \subset \dots \subset E_r = E$ dove i quozienti sono privi di torsione. Analizzano le classi di Chern di questi fasci, notando che sulle superfici di Hopf la forma di intersezione è banale ($H^2(X, \mathbb{Z}) \times H^2(X, \mathbb{Z}) \to \mathbb{Z}$ è zero), il che semplifica il calcolo di $c_2$ per estensioni iterate.
• Trasformazioni Elementari: Per studiare il confine degli spazi dei moduli, gli autori eseguono operazioni elementari in codimensione 2. Partendo da un fascio stabile $E \in M_{r,n}$ e una suriezione $v: E \to \mathbb{C}_p$ (dove $\mathbb{C}_p$ è un fascio di Dirac/skyscraper in $p \in X$), costruiscono il nucleo $E'$. Questo $E'$ è un fascio privo di torsione con $c_2(E') = c_2(E) + 1$.
• Teoria delle Deformazioni: Gli autori analizzano gli spazi di deformazione locale di questi fasci utilizzando i gruppi $\text{Ext}$. Dimostrano che per i fasci stabili, $\text{Ext}^2(E, E) = 0$, ed estendono questa analisi ai fasci privi di torsione costruiti per mostrare che essi giacciono nella chiusura dello spazio dei moduli di fasci con $c_2$ maggiore.
• Grafico dei Fasci: Per i fasci di rango 2, gli autori utilizzano il "grafico" del fascio, un divisore in $\mathbb{P}^1 \times \mathbb{P}^1$ derivato dalla prima immagine derivata del fascio ritagliato dal legame universale di Poincaré. La geometria del loro grafico (specificamente la presenza di una componente corrispondente a un morfismo suriettivo $\mathbb{P}^1 \to \mathbb{P}^1$) è utilizzata per dedurre le proprietà di irriducibilità.

Contributi Chiave e Risultati

1. Filtrabilità e Salti:

   • Teorema 3.9: Gli autori dimostrano che ogni fascio vettoriale filtrabile su una superficie di Hopf classica con $c_2 > 0$ deve possedere dei salti (ovvero esiste una fibra in cui la restrizione non è semistabile).
   • Teorema 3.19: Al contrario, dimostrano l'esistenza di fasci vettoriali filtrabili stabili con determinante banale e qualsiasi $c_2 = c > 0$ prescritta.

2. Fasci senza Salti:

   • Teorema 4.12: In un risultato contrastante, gli autori dimostrano l'esistenza di fasci irriducibili (e quindi stabili) di rango $r$ con determinante banale e $c_2 = 1$ che non presentano salti (la loro restrizione su ogni fibra è semistabile). Ciò evidenzia una dicotomia tra i fasci filtrabili e quelli irriducibili riguardo al comportamento di salto.

3. Confine degli Spazi dei Moduli:

   • Teorema 5.6: Il saggio stabilisce che i fasci privi di torsione ottenuti tramite trasformazioni elementari (nuclei di suriezioni $E \to \mathbb{C}_p$) da fasci stabili $E \in M_{r,n}$ giacciono nella chiusura dello spazio dei moduli $M_{r,n+1}$.
   • Proposizione 5.5: Dimostrano che per un fascio semplice $E$, i nuclei delle suriezioni verso i fasci di Dirac in un punto $p$ formano una famiglia di dimensione $2r-1$ di fasci privi di torsione pairwise non isomorfi.
   • Interpretazione: Questi risultati descrivono il fenomeno del "bubbling" nel contesto algebro-geometrico, dove una sequenza di fasci stabili degenera in un fascio privo di torsione con una singolarità puntuale.

4. Fasci Molto Irriducibili:

   • Definizione 6.1: Gli autori introducono i fasci "molto irriducibili", dove tutte le potenze simmetriche $S_n(E)$ sono irriducibili.
   • Teorema 6.3: Dimostrano che qualsiasi fascio di rango 2 il cui grafico contiene una componente corrispondente a un morfismo suriettivo $\mathbb{P}^1 \to \mathbb{P}^1$ è molto irriducibile.
   • Teorema 6.4: Questo risultato è generalizzato alle rappresentazioni del gruppo simmetrico, mostrando che $S_\rho(E)$ è irriducibile (o nulla) sotto condizioni simili.

Significato e Rivendicazioni
Il saggio sostiene di fornire un quadro completo del panorama dei fasci di rango superiore sulle superfici di Hopf. Nello specifico:

• Chiarisce i vincoli sui fasci filtrabili, mostrando che sono intrinsecamente legati ai fenomeni di salto quando $c_2 > 0$.
• Dimostra che gli spazi dei moduli $M_{r,n}$ sono abbastanza ricchi da contenere sia fasci filtrabili (con salti) sia fasci molto irriducibili (senza salti).
• Fornisce una descrizione algebro-geometrica concreta del confine di questi spazi dei moduli, identificando specifici fasci privi di torsione come limiti di fasci stabili. Ciò connette la geometria delle superfici di Hopf al concetto differenziale-geometrico di instanton bubbling.
• L'introduzione dei fasci "molto irriducibili" offre una nuova classe di fasci rigidi con forti proprietà di stabilità sotto le potenze simmetriche, estendendo il lavoro precedente sulla forte irriducibilità.

Gli autori concludono che i moduli dei fasci stabili di rango superiore sulle superfici di Hopf sono strutture complesse che contengono tipi diversificati di fasci, che spaziano da quelli facilmente decomponibili (filtrabili) a quelli altamente rigidi e irriducibili in tutte le potenze simmetriche.