A note on the moduli of stable sheaves on elliptic ruled surfaces

1. Enunciato del Problema

L'articolo affronta la geometria degli spazi di moduli dei fasci coerenti $\mu$-semistabili su superfici rigate ellittiche (note anche come fibrati $\mathbb{P}^1$ su una curva proiettiva liscia $C$).

• Contesto: Sia $\pi: X \to C$ un fibrato $\mathbb{P}^1$ su una curva di genere $g$. Sia $C_0$ una sezione minimale con auto-intersezione $(C_0^2) = -e$, e $f$ una fibra. Il divisore canonico è $K_X \equiv -2C_0 - (2-2g+e)f$.
• Lavori Precedenti: Walter [7] ha stabilito l'irriducibilità di questi spazi di moduli sotto la condizione rigorosa $((K_X + f) \cdot H) < 0$. Questa condizione implica che i fasci sono "prioritari", permettendo l'uso di specifiche teorie delle deformazioni.
• Il Vuoto: L'autore mira a generalizzare questi risultati alla condizione più ampia $(K_X \cdot H) < 0$.
  • Questa condizione vale per qualsiasi divisore ampio $H$ se $g=0$ o $g=1$.
  • Nello specifico, l'autore si concentra sui casi in cui $g=1$ ed $e=0$ o $e=-1$ (dove $-K_X$ è nef ma non necessariamente ampio nel senso della condizione originale di Walter).
• Domande Chiave:
  1. Gli spazi di moduli $\mathcal{M}_H(e)^{\mu ss}$ sono irriducibili sotto la condizione più debole $(K_X \cdot H) < 0$?
  2. Quali sono le condizioni necessarie e sufficienti per l'esistenza di tali fasci (non-emptiness)?
  3. Quali sono le proprietà degli elementi generali di questi spazi di moduli (es. libertà locale, stabilità sulle fibre)?

2. Metodologia

Yoshio impiega una combinazione di teoria degli stack, teoria delle deformazioni e analisi dell'attraversamento dei muri all'interno del cono ampio.

• Stack di Moduli: Invece di utilizzare la coomologia equivariante degli schemi Quot (come nei lavori precedenti), l'autore utilizza gli stack di moduli dei fasci coerenti ($M(e)$, $\mathcal{M}_H(e)^{\mu ss}$). Questo permette una gestione più diretta delle famiglie e delle condizioni di stabilità.
• Stack di Filtrazioni: L'autore introduce lo stack delle filtrazioni $FH(e_1, \dots, e_s)$ per analizzare le filtrazioni di Harder-Narasimhan e Jordan-Hölder. Questo è cruciale per il conteggio delle dimensioni e per il confronto delle componenti degli spazi di moduli attraverso diverse polarizzazioni.
• Analisi dei Muri e delle Camere:
  • Il cono ampio $\text{Amp}(X)$ è diviso in camere separate da muri definiti da $W_F = \{H \mid ((\mu(E) - \mu(F)) \cdot H) = 0\}$.
  • L'autore analizza come lo spazio di moduli cambia quando la polarizzazione $H$ si sposta attraverso questi muri.
• Strumento Tecnico Chiave: Annullamento di $Ext^2$:
  • Un lemma centrale (Lemma 1.4) dimostra che se $(K_X \cdot H) < 0$, allora per qualsiasi coppia di fasci $\mu$-semistabili $E, F$ con la stessa pendenza, $\text{Ext}^2(E, F) = 0$.
  • Questo annullamento implica che lo stack di moduli è liscio e permette l'applicazione della teoria delle deformazioni per dimostrare l'irriducibilità.
• Tecnica del Blow-up: Per dimostrare l'irriducibilità del luogo stabile, l'autore utilizza un risultato di Nakashima che collega gli spazi di moduli su $X$ a quelli su un blow-up $\tilde{X}$, applicando i teoremi di Beauville e Markman su superfici con $(K_X \cdot H) < 0$.

3. Contributi e Risultati Chiave

A. Irriducibilità (Teorema 0.1 & Proposizione 2.7)

L'articolo dimostra che sotto la condizione $(K_X \cdot H) < 0$, lo stack di moduli $\mathcal{M}_H(e)^{\mu ss}$ è irriducibile per qualsiasi carattere di Chern $e = (r, \xi, \chi)$ che soddisfi $0 \le (\xi \cdot f) < r$.

• Questo generalizza il risultato di Walter rimuovendo il requisito che $((K_X + f) \cdot H) < 0$.
• La dimostrazione si basa sul mostrare che il luogo dei fasci strettamente semistabili ha dimensione strettamente inferiore rispetto al luogo stabile (Lemma 2.5), e che il luogo stabile e localmente libero è aperto e denso.

B. Condizioni di Esistenza (Teorema 0.1 & Proposizione 2.9)

L'autore fornisce un criterio preciso per la non-emptiness dello spazio di moduli:
$$\mathcal{M}_H(e)^{\mu ss} \neq \emptyset \iff r^2 \Delta(e) \ge r_1(r - r_1)(x - e/2)$$
dove:

• $H(x) = C_0 + xf$ è il divisore ampio.
• $r_1 = (\xi \cdot f)$.
• $\Delta(e)$ è il discriminante definito in (1.2).
• Per il caso specifico di genere $g=1$ ed $e=0, -1$, la condizione si semplifica in $x \le \frac{e}{2} + \frac{r_2}{r_1 r_2} \Delta(e)$.

C. Proprietà degli Elementi Generali (Teorema 0.1 (3))

Per $r > 1$, un elemento generale $E$ dello spazio di moduli è:

1. Un fascio localmente libero $\mu$-stabile.
2. Rigido sulle fibre: La restrizione $E|_{\pi^{-1}(t)}$ è un fibrato vettoriale rigido per un punto generale $t \in C$.
3. Questa rigidità implica $\text{Ext}^1(E|_{\pi^{-1}(t)}, E|_{\pi^{-1}(t)}) = 0$.

D. Corollario per Divisori Anticanonici Nef (Corollario 0.2)

Nel caso specifico in cui $-K_X$ è nef ($e=0, -1$), lo spazio di moduli è non vuoto se e solo se:

• $\Delta(e) > 0$, OPPURE
• $r \mid (\xi \cdot f)$ e $\Delta(e) = 0$.

4. Significato

• Generalizzazione dell'Irriducibilità: L'articolo estende con successo i risultati noti di irriducibilità per gli spazi di moduli di fasci su superfici rigate da una condizione restrittiva che coinvolge la fibra $f$ alla condizione più naturale che coinvolge il divisore canonico $K_X$.
• Gestione del Genere 1: Affronta specificamente il caso delle superfici rigate ellittiche ($g=1$) dove la geometria è più sottile (ad esempio, quando $e=0$ o $-1$), fornendo criteri di esistenza che precedentemente non erano chiari.
• Intuizione Strutturale: Utilizzando lo stack delle filtrazioni e argomenti di attraversamento dei muri, l'articolo chiarisce la relazione tra la stabilità dei fasci sulla superficie e la stabilità delle loro restrizioni alle fibre.
• Fondamento per Ulteriori Studi: I risultati sulla non-emptiness e sull'irriducibilità di questi spazi di moduli forniscono una solida base per lo studio della geometria di queste superfici, potenzialmente influenzando lo studio degli invarianti di Donaldson o la classificazione dei fibrati vettoriali su superfici ellittiche.

In sintesi, la nota di Yoshio affina la comprensione degli spazi di moduli su superfici rigate ellittiche dimostrando la loro irriducibilità sotto un insieme più ampio di condizioni geometriche e stabilendo limiti precisi per la loro esistenza, utilizzando un quadro robusto di teoria degli stack e analisi delle deformazioni.