On the meagerness of the set of irregular bundles on Hopf surfaces

1. Enunciato del Problema e Motivazione

Il lavoro affronta la struttura dello spazio dei moduli dei fasci vettoriali stabili sulle superfici di Hopf, che sono superfici complesse non-Kähler diffeomorfe a $S^3 \times S^1$. Nello specifico, gli autori investigano le proprietà dei fasci irregolari all'interno di questi spazi dei moduli.

• Contesto: La ricerca è motivata da questioni aperte riguardanti gli spazi dei moduli degli istantoni su $S^3 \times S^1$, come descritto da Edward Witten. Un obiettivo specifico è risolvere la questione della connessità dello spazio dei moduli degli istantoni $SU(2)$.
• La Domanda Centrale: In geometria algebrica (superfici proiettive), i fasci stabili spesso mostrano un "buon" comportamento (ad esempio, essere filtrabili). Tuttavia, su superfici non-Kähler come le superfici di Hopf, il comportamento è meno compreso. Gli autori mirano a determinare se i fasci "irregolari" (quelli con salti o specifiche degenerazioni strutturali) costituiscano una porzione significativa dello spazio dei moduli o se siano trascurabili.
• Definizioni:
  • Superficie di Hopf ($X$): Una superficie di Hopf classica fibrata ellitticamente su $\mathbb{P}^1$ con fibre isomorfe a una curva ellittica $T$.
  • Spazio dei Moduli ($M_{r,c}$): Lo spazio dei fasci vettoriali stabili di rango $r$ con seconda classe di Chern $c > 0$ e determinante banale.
  • Salto: Un fascio $E$ ha un salto se la sua restrizione a una fibra $T_x$ non è semistabile.
  • Fascio Irregolare: Un fascio $E$ è irregolare se la sua restrizione a qualche fibra $T_x$ è un fascio irregolare sulla curva ellittica (definito come avente fattori indecomponibili non distinti a due a due in $\text{Pic}(T)$).
  • Insieme Magro: Un insieme è magro se è un'unione numerabile di sottoinsiemi privi di punti interni. In topologia, un insieme magro è "piccolo" (il suo complemento è denso).

2. Metodologia e Approccio Tecnico

Gli autori impiegano una combinazione di teoria delle deformazioni, analisi coomologica e classificazione dei fasci vettoriali su curve ellittiche.

A. Contrasto con il Caso Algebrico

Il lavoro inizia evidenziando perché gli argomenti algebrici standard falliscono in questo contesto non-Kähler:

1. Filtrabilità: Su superfici proiettive, i fasci sono spesso filtrabili (estensioni di fasci di linea). Su superfici di Hopf, i fasci filtrabili devono avere salti. Di conseguenza, l'insieme aperto denso dei fasci stabili senza salti è composto interamente da fasci non filtrabili.
2. Componenti Instabili: In varietà di tipo generale, gli spazi dei moduli possono avere grandi componenti costituite esclusivamente da fasci instabili. Gli autori investigano se simili componenti "grandi" di fasci irregolari esistano sulle superfici di Hopf e dimostrano che non esistono.

B. Analisi Cohomologica (Lemma 3)

Il motore tecnico centrale della dimostrazione è il Lemma 3, che analizza lo spazio degli endomorfismi dei fasci vettoriali su una curva ellittica $T$.

• Premessa: Sia $F$ un fascio semistabile di rango $r \ge 2$ su $T$ con $\det(F) \cong \mathcal{O}_T$.
• Risultato:
  • Se $F$ è regolare (fattori indecomponibili distinti), $\dim H^0(T, \text{End}(F)) = r$.
  • Se $F$ è irregolare (fattori ripetuti nella decomposizione), $\dim H^0(T, \text{End}(F)) \ge r + 2$.
• Significato: Questo salto nella dimensione dello spazio degli endomorfismi (da $r$ a almeno $r+2$) implica che i fasci irregolari hanno un grado più alto di simmetria (automorfismi), il che corrisponde geometricamente a un luogo "più sottile" nello spazio dei moduli.

C. Teoria delle Deformazioni e Suriettività (Teorema 4)

Gli autori utilizzano la successione esatta di fasci per relazionare lo spazio delle deformazioni del fascio sulla superficie con lo spazio delle deformazioni sulla fibra:
$$0 \to \text{End}(E)(-T_x) \to \text{End}(E) \to \text{End}(F) \to 0$$

• Suriettività: Analizzando i gruppi di coomologia (in particolare $H^1$), mostrano che la mappa di restrizione $\rho: H^1(X, \text{End}(E)) \to H^1(T_x, \text{End}(F))$ è suriettiva.
• Argomento della Codimensione: Poiché lo spazio dei fasci irregolari sulla fibra $T_x$ ha una codimensione più alta (a causa dell'aumentata dimensione di $H^0(\text{End}(F))$), e la mappa $\rho$ è suriettiva, il luogo dei fasci $E$ nello spazio dei moduli $M_{r,c}$ che si restringono a fasci irregolari su $T_x$ deve avere codimensione almeno 2 nello spazio dei moduli.
• Magrezza: Poiché la base della fibrazione è $\mathbb{P}^1$ (dimensione 1), l'unione di questi luoghi su tutti gli $x$ rimane magra (un'unione numerabile di insiemi di codimensione $\ge 2$).

3. Contributi Chiave e Risultati

Teorema Principale

Teorema 4: Sia $U$ una componente connessa dello spazio dei moduli $M_{r,c}$. L'insieme di tutti i fasci $E \in U$ che non sono regolari (cioè quelli con salti o quelli che sono irregolari sulle fibre) è magro in $U$.

• Implicazione: L'insieme dei fasci regolari è denso in ogni sottoinsieme aperto dello spazio dei moduli. I fasci regolari sono il caso "generico".

Corollario: Connessità degli Spazi dei Moduli

Corollario 5: Per rango $r=2$, la varietà complessa $M_{2,c}$ è connessa.

• Logica della Dimostrazione:
  1. Per il Teorema Principale, è sufficiente dimostrare la connessità dell'insieme dei fasci regolari.
  2. I fasci regolari corrispondono a curve spettrali $C_E$ che sono curve lisce e connesse di genere $2n-1$.
  3. L'insieme dei grafi associati a questi fasci forma un sottoinsieme aperto di Zariski irriducibile.
  4. Le fibre della mappa dai fasci alle curve spettrali sono Jacobiane di queste curve lisce, che sono connesse.
  5. Pertanto, l'intero spazio dei moduli è connesso.

4. Significato e Impatto

1. Risoluzione della Domanda di Witten: Il lavoro fornisce una risposta affermativa alla domanda posta da Edward Witten riguardante la connessità dello spazio dei moduli degli istantoni $SU(2)$ su $S^3 \times S^1$.
2. Geometria Non-Kähler: Stabilisce che, nonostante la mancanza di metriche Kähler e il fallimento delle proprietà algebriche standard (come la filtrabilità), gli spazi dei moduli dei fasci stabili sulle superfici di Hopf possiedono ancora una struttura "generica" dominata dai fasci regolari.
3. Novità Tecnica: Il lavoro dimostra che un comportamento "cattivo" (irregolarità) in contesti non-Kähler non porta necessariamente a grandi componenti sconnesse dello spazio dei moduli, contrariamente a quanto potrebbe essere atteso da analogie con varietà di tipo generale.
4. Definizioni Fondamentali: Definisce e distingue rigorosamente tra "salti" e "irregolarità" nel contesto delle superfici di Hopf, chiarificando il panorama geometrico per future ricerche nella teoria di gauge non-Kähler.

In sintesi, il lavoro dimostra che i fasci irregolari sono topologicamente trascurabili (magri) all'interno degli spazi dei moduli delle superfici di Hopf, stabilendo così la densità dei fasci regolari e confermando la connessità dello spazio dei moduli di rango 2.