Preservation of stability under the Fourier-Mukai transform whose kernel is the Poincare line bundle

Sintesi Tecnica: Preservazione della Stabilità sotto la Trasformata di Fourier-Mukai

Enunciato del Problema
Il saggio affronta il comportamento della stabilità di Gieseker per fasci coerenti su una superficie abeliana $X$ sotto la trasformata di Fourier-Mukai $\Phi_{P^\vee}: D(X) \to D(\hat{X})$, dove il nucleo è il duale del fibrato di linea di Poincaré $P$. Sebbene la trasformata di Fourier-Mukai induca un equivalenza di categorie derivate, essa non preserva generalmente la stabilità dei fasci. Lavori precedenti (specificamente [16]) hanno stabilito la preservazione della stabilità per superfici abeliane con numero di Picard $\rho(X)=1$. Questo saggio estende l'indagine al caso generale in cui il numero di Picard $\rho(X) \geq 1$, con l'obiettivo di identificare le condizioni sotto le quali la trasformata di un generico fascio stabile rimane stabile (possibilmente dopo uno shift o una dualizzazione) rispetto a un opportuno divisore ampio sulla superficie duale $\hat{X}$.

Un focus secondario è la proprietà di Brill-Noether debole, la quale asserisce l'esistenza di un fascio in uno spazio di moduli con al massimo un gruppo di coomologia non nullo. L'autore nota che questa proprietà fallisce in generale quando lo stack dei moduli è riducibile e la polarizzazione è vicina al bordo del cono ampio. Il saggio cerca di stabilire le condizioni in cui tale proprietà sussiste per un divisore ampio fissato.

Metodologia
Lo strumento primario impiegato è la teoria delle condizioni di stabilità di Bridgeland sulla categoria derivata $D(X)$. L'autore analizza il comportamento di "wall-crossing" (attraversamento di pareti) delle condizioni di stabilità nello spazio $\text{Stab}(X)$.

1. Condizioni di Stabilità Geometriche: Lo studio si concentra sulla retta $L = \{(0, tH) \mid t > 0\}$ nello spazio dei parametri di stabilità, corrispondente alle condizioni di stabilità geometriche $\sigma_{(0, tH)}$.
2. Pareti di Totale Semi-stabilità: L'autore investiga le "pareti di totale semi-stabilità", definite come pareti dove gli spazi dei moduli degli oggetti stabili su ciascun lato sono disgiunti. Queste pareti corrispondono a decomposizioni del vettore di Mukai $v$ in vettori isotropi.
3. Analisi del Wall-Crossing: Tracciando il comportamento di un oggetto stabile generico $E$ al variare del parametro $t$ lungo la retta $L$, il saggio determina quando $E$ transita da essere un fascio privo di torsione a un complesso con coomologia in grado $-1$ (o viceversa).
4. Compatibilità di Fourier-Mukai: Il saggio utilizza la nota isometria del reticolo di Mukai indotta da $\Phi$ e specifici lemmi (ad esempio, il Lemma 1.2) riguardanti il modo in cui $\Phi$ agisce sui fasci semi-stabili con vettori di Mukai isotropi. L'argomento centrale consiste nel dimostrare che per un generico fascio stabile $E$, la sua trasformata $\Phi(E)$ (o $\Phi(E)[1]$) rimane un fascio coerente ed è stabile rispetto a una specifica polarizzazione $L'$ su $\hat{X}$.

Contributi Chiave e Risultati

1. Teorema Principale sulla Preservazione della Stabilità (Teorema 0.1 / Teorema 3.12)
Il saggio stabilisce le condizioni sotto le quali la trasformata di Fourier-Mukai preserva la stabilità per un generico fascio $E$ nello stack dei moduli $M_L(v)$, dove $v=(r, \xi, a)$ è un vettore di Mukai con $r>0$ e $(\xi \cdot H) > 0$. Sia $\ell = \langle v^2 \rangle / 2$.

• Caso $a > 0$: Se $X$ non è un prodotto di curve ellittiche o $\xi$ non è primitivo, esistono divisori ampi $L$ e $L'$ tali che $\Phi(E)^\vee$ sia $L'$-stabile per un generico $E \in M_L(v)$.
• Caso $a \leq 0$: Escludendo casi eccezionali specifici riguardanti curve ellittiche (ad esempio, $v = (\ell, kC, -1)$), esistono divisori ampi $L$ e $L'$ tali che $\Phi(E)[1]$ sia $L'$-stabile per un generico $E \in M_L(v)$.

2. Proprietà di Brill-Noether Debole (Proposizione 0.2 / Proposizione 3.16)
L'autore dimostra che per ogni vettore di Mukai $v=(r, \xi, a)$ con $r>0$, $(\xi \cdot H) > 0$, e $\langle v^2 \rangle \geq 0$, esiste un divisore ampio $L$ tale che la proprietà di Brill-Noether debole sia soddisfatta. Nello specifico, esiste un fascio $E \in M_L(v)$ che ha al massimo un gruppo di coomologia non nullo. Questo risultato deriva direttamente dai risultati sulla preservazione della stabilità, che assicurano che la trasformata finisca nel cuore della categoria derivata (ovvero, è un fascio) per un oggetto generico.

3. Irriducibilità e Indipendenza dalla Polarizzazione (Corollario 0.3)
Sotto l'assunto che lo stack dei moduli $M(v)$ sia irriducibile (il che avviene se $v$ è primitivo e certe condizioni numeriche sono soddisfatte, ad esempio $\langle v^2 \rangle \geq 2r, 2a$), il saggio mostra che la preservazione della stabilità avviene rispetto alla polarizzazione naturalmente associata $\hat{H}$ sulla superficie duale, senza necessità di regolare la polarizzazione su $X$.

4. Caso Specifico: Divisori Ampi della Forma $dH$ (Teorema 0.4 / Teorema 3.24)
Quando il vettore di Mukai è della forma $v=(r, dH, a)$:

• Se $d \geq 0$, la proprietà di Brill-Noether debole è soddisfatta.
• Se $d < 0$, la proprietà è soddisfatta a meno che $v$ non assuma una specifica forma eccezionale legata a interi negativi e curve ellittiche.
  Questa sezione fornisce anche una caratterizzazione di quando esiste un fascio $aCM$ (arithmetically Cohen-Macaulay) per un dato vettore di Mukai (Corollario 3.25).

Significato e Rivendicazioni
Il saggio rivendica di generalizzare i risultati precedenti sulla preservazione della stabilità dal caso del numero di Picard 1 a superfici abeliane arbitrarie. Utilizzando la stabilità di Bridgeland e analizzando il wall-crossing lungo una specifica retta nel manifoldo della stabilità, l'autore fornisce un metodo costruttivo per trovare polarizzazioni che preservano la stabilità sotto la trasformata di Fourier-Mukai.

L'autore afferma esplicitamente che questi risultati risolvono la proprietà di Brill-Noether debole per divisori ampi fissati, contrastando con le scoperte precedenti (ad esempio in [6]) dove la proprietà fallisce per certi moduli riducibili o polarizzazioni vicine al bordo del cono ampio. Il lavoro affina la comprensione della geometria degli spazi dei moduli di fasci su superfici abeliane e del loro comportamento sotto equivalenze derivate.

Limitazioni ed Eccezioni
Il saggio nota con cura i casi eccezionali in cui i teoremi generali non si applicano, riguardanti principalmente:

• Prodotti di curve ellittiche.
• Vettori primitivi $\xi$ in configurazioni specifiche.
• Vettori di Mukai della forma $(\ell, kC, -1)$ o $(1, kC, -\ell)$ dove $C$ è una curva ellittica e $k \geq \ell + 1$.
  In questi casi eccezionali, la trasformata spesso risulta in un fascio coerente con torsione piuttosto che in un fibrato stabile, o la struttura dello spazio dei moduli impedisce la standard preservazione della stabilità.