Stability and Fourier-Mukai transforms on an eliptic surface

1. Enunciato del Problema

L'articolo affronta lo studio degli spazi dei moduli dei fasci stabili su superfici ellittiche $\pi: X \to C$. Sebbene lavori fondamentali di Friedman, Bridgeland e Yoshioka abbiano stabilito la geometria birazionale di questi spazi dei moduli (in particolare per rango 2 e nei casi in cui rango e grado sono coprimi), una condizione di stabilità completa per il caso generale, in cui rango e grado relativo non sono relativamente primi, rimaneva da esplorare pienamente.

Nello specifico, l'autore mira a:

1. Definire una nuova condizione di stabilità, la $(f, G, H)$-semistabilità, adattata alle fibrazioni ellittiche che generalizza la stabilità di Gieseker.
2. Investigare il comportamento di questa stabilità sotto le trasformate relative di Fourier-Mukai (equivalenze di categorie derivate indotte dagli spazi dei moduli dei fasci stabili sulle fibre).
3. Analizzare i fenomeni di attraversamento delle pareti (cambiamenti negli spazi dei moduli al variare dei parametri di stabilità) e determinare come gli invarianti topologici (come i numeri di Hodge virtuali) si comportano attraverso queste pareti.
4. Stabilire la relazione tra questa nuova stabilità e i quadri esistenti, come la stabilità di Bridgeland e la stabilità dei fasci di dimensione 1.

2. Metodologia

L'autore impiega una combinazione di tecniche di categorie derivate, teoria dei reticoli di Mukai e teoria geometrica degli invarianti (GIT).

• Reticolo di Mukai e Vettori: L'articolo utilizza la parte algebrica dell'anello di coomologia $H^*(X, \mathbb{Q})_{alg}$ equipaggiata con il prodotto scalare di Mukai $\langle \cdot, \cdot \rangle$. Il vettore di Mukai $v(E)$ è definito per codificare il carattere di Chern e la caratteristica di Eulero.
• Definizione di $(f, G, H)$-semistabilità:
  • La stabilità dipende da una fibra $f$, un fascio di torsione $G$ (con rango $>0$) e una polarizzazione $H$.
  • È definita tramite una condizione di pendenza che coinvolge l'intersezione con la fibra $f$ e una caratteristica di Eulero "attorcigliata" $\chi(G, \cdot)$.
  • Crucialmente, la definizione gestisce oggetti che possono essere fasci coerenti o duali derivati di fasci coerenti, permettendo fasci di fibra con torsione.
• Struttura di Pareti e Camere: Lo spazio dei parametri per la stabilità è identificato come un sottoinsieme di $\mathbb{R} \times NS(X)_\mathbb{R}$. L'autore definisce le pareti (luoghi in cui la stabilità cambia) e le camere (componenti connesse in cui la stabilità è costante).
• Trasformate Relative di Fourier-Mukai: Lo studio si concentra sulle trasformate $\Phi_{X \to X'}$ dove $X'$ è uno spazio dei moduli di fasci stabili supportati sulle fibre di $\pi$. Il nucleo è la famiglia universale $P$. L'autore analizza come queste trasformate agiscono sui vettori di Mukai e sulle condizioni di stabilità.
• Disuguaglianze di Bogomolov: Uno strumento tecnico chiave è la dimostrazione di una disuguaglianza di tipo Bogomolov per oggetti semistabili per garantire la limitatezza e la finitezza dei dati di attraversamento delle pareti.

3. Contributi e Risultati Chiave

A. Definizione di $(f, G, H)$-semistabilità

L'autore introduce una condizione di stabilità che generalizza la stabilità di Gieseker.

• Teorema 0.1: Se $E$ è $(f, G, H)$-semistabile e il rango della sua trasformata di Fourier-Mukai è non nullo, allora la trasformata $\Phi(E)$ è $(f', G', H')$-semistabile (a meno di un shift). Ciò stabilisce che la condizione di stabilità si comporta bene sotto trasformate relative di Fourier-Mukai.
• Proposizione 3.19: L'autore dimostra che per $n$ sufficientemente grande, la $(f, G, H)$-semistabilità rispetto a $H + nf$ coincide con la semistabilità di Gieseker standard. Pertanto, la nuova condizione è una vera generalizzazione.

B. Attraversamento delle Pareti e Invarianti Topologici

L'articolo investiga come gli spazi dei moduli cambiano quando il parametro di stabilità attraversa una parete.

• Proposizione 0.3: Sotto la condizione $(K_X \cdot H) \leq 0$ (che include le superfici ellittiche razionali e le superfici rigate ellittiche), il numero di Hodge virtuale (e il polinomio di Hodge virtuale) dello stack dei moduli dei fasci semistabili è indipendente dalla scelta della camera.
• Corollario: Ciò implica che le trasformate relative di Fourier-Mukai preservano i polinomi di Hodge virtuali degli spazi dei moduli dei fasci semistabili di Gieseker.

C. Relazione con i Fasci di Dimensione 1

Un risultato significativo collega la stabilità dei fasci di rango superiore ai fasci di dimensione 1.

• Teorema 0.4: Se il vettore di Mukai $v$ soddisfa $\langle v, v(P|_{X \times \{x'\}}) \rangle = 0$, allora la $(f, G, H)$-semistabilità per $E$ è equivalente alla semistabilità attorcigliata da $(-G')$ di un fascio di dimensione 1 $F$ sotto la trasformata di Fourier-Mukai. Ciò riduce i complessi problemi di attraversamento delle pareti per i fasci di rango superiore allo studio dei fasci di dimensione 1.

D. Geometria Birazionale e Isomorfismi dei Moduli

• Corollario 5.15: Per un parametro di stabilità generale, esiste una trasformata di Fourier-Mukai relativa che induce un isomorfismo tra lo stack dei moduli dei fasci $(f, G, H)$-semistabili e lo stack dei moduli dei fasci semistabili di Gieseker sulla superficie target. Se il vettore di Mukai è primitivo, questo spazio dei moduli consiste di fibrati vettoriali $\mu$-stabili.
• Teorema 5.16: Per $m$ sufficientemente grande, la trasformata $\Phi(E(mH))$ preserva la semistabilità di Gieseker.

E. Esempi e Strutture di Pareti Esplicite

L'articolo fornisce calcoli espliciti per superfici specifiche:

• Superfici Ellittiche Razionali: L'autore classifica le pareti totalmente semistabili e descrive le mappe birazionali (flop di Mukai) tra le camere.
• Superfici K3 e Abelian Ellittiche: L'articolo analizza la decomposizione in camere per vettori di Mukai specifici (ad esempio, $v = 2 + f - \varrho_X$). Dimostra come le azioni di gruppo (generate da trasformate di Fourier-Mukai e prodotti tensoriali) agiscano sullo spazio dei parametri, creando sequenze infinite di automorfismi birazionali.
• Caso Non Coprimo: L'articolo gestisce esplicitamente i casi in cui $\gcd(\text{rango}, \text{grado}) > 1$, mostrando che il comportamento di attraversamento delle pareti può essere ridotto allo studio dei fasci di dimensione 1 o dei fasci attorcigliati, sebbene esistano ostacoli se sono presenti fibre multiple.

4. Significato

Questo articolo apporta diversi contributi critici al campo della geometria algebrica e allo studio degli spazi dei moduli:

1. Unificazione della Stabilità: Fornisce un quadro unificato che abbraccia la stabilità di Gieseker e la stabilità di Bridgeland nel contesto delle superfici ellittiche, affrontando specificamente il caso difficile in cui rango e grado non sono coprimi.
2. Invarianza degli Invarianti: Dimostrando che i numeri di Hodge virtuali sono indipendenti dalla camera (sotto specifiche condizioni di curvatura), conferma che la "contabilità" degli oggetti stabili è un invariante topologico della superficie e del vettore di Mukai, indipendentemente dalla specifica condizione di stabilità scelta.
3. Strumento per la Geometria Birazionale: I risultati offrono un metodo potente per costruire mappe birazionali tra spazi dei moduli di ranghi diversi o di tipi topologici diversi tramite trasformate di Fourier-Mukai. Ciò è essenziale per comprendere la struttura globale dello spazio dei moduli dei fasci sulle superfici ellittiche.
4. Riduzione a Casi Semplici: L'equivalenza tra la stabilità dei fasci di rango superiore e quella dei fasci di dimensione 1 (Teorema 0.4) semplifica l'analisi dell'attraversamento delle pareti, permettendo ai ricercatori di sfruttare i risultati esistenti sui fasci di dimensione 1.

In sintesi, Yoshioka estende la potente macchina delle trasformate di Fourier-Mukai a una classe più ampia di condizioni di stabilità, fornendo una solida base teorica per analizzare la geometria birazionale e gli invarianti topologici degli spazi dei moduli sulle superfici ellittiche.