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

Technische Samenvatting: Behoud van Stabiliteit onder de Fourier-Mukai Transformatie

Probleemstelling
Het artikel behandelt het gedrag van Gieseker-stabiliteit voor coherente schubben op een abeliaanse oppervlakte $X$ onder de Fourier-Mukai transformatie $\Phi_{P^\vee}: D(X) \to D(\hat{X})$, waarbij de kernel de duale Poincaré-lijnbundel $P$ is. Hoewel de Fourier-Mukai transformatie een equivalentie van afgeleide categorieën induceert, behoudt deze niet algemeen de stabiliteit van schubben. Voorgaand werk (specifiek [16]) heeft stabiliteitsbehoud vastgesteld voor abeliaanse oppervlakten met Picard-getal $\rho(X)=1$. Dit artikel breidt het onderzoek uit naar het algemene geval waar het Picard-getal $\rho(X) \geq 1$, met als doel te identificeren onder welke voorwaarden de transformatie van een algemene stabiele schub stabiel blijft (mogelijk na een verschuiving of dualisering) met betrekking tot een geschikte ample divisor op de duale oppervlakte $\hat{X}$.

Een secundair focuspunt is de zwakke Brill-Noether eigenschap, die stelt dat er een schub bestaat in een moduli-ruimte met maximaal één niet-nulletige cohomologiegroep. De auteur merkt op dat deze eigenschap in het algemeen faalt wanneer de moduli-stack reducibel is en de polarisatie nabij de grens van de ample kegel ligt. Het artikel streeft ernaar om voorwaarden vast te stellen waarbij deze eigenschap geldt voor een vaste ample divisor.

Methodologie
Het primaire instrument dat wordt gebruikt, is de theorie van Bridgeland-stabiliteitstoestanden op de afgeleide categorie $D(X)$. De auteur analyseert het "wall-crossing" gedrag van stabiliteitstoestanden binnen de ruimte $\text{Stab}(X)$.

1. Geometrische Stabiliteitstoestanden: De studie richt zich op de lijn $L = \{(0, tH) \mid t > 0\}$ in de ruimte van stabiliteitsparameters, die overeenkomt met geometrische stabiliteitstoestanden $\sigma_{(0, tH)}$.
2. Totaal Semi-stabiele Wanden: De auteur onderzoekt "totaal semi-stabiele wanden", gedefinieerd als wanden waar de moduli-ruimten van stabiele objecten aan beide zijden disjunct zijn. Deze wanden komen overeen met decomposities van de Mukai-vector $v$ in isotrope vectoren.
3. Wall-Crossing Analyse: Door het gedrag van een algemeen stabiel object $E$ te volgen terwijl de parameter $t$ varieert langs de lijn $L$, bepaalt het artikel wanneer $E$ overgaat van een torsievrije schub naar een complex met cohomologie in graad $-1$ (of vice versa).
4. Fourier-Mukai Compatibiliteit: Het artikel maakt gebruik van de bekende isometrie van de Mukai-lattice geïnduceerd door $\Phi$ en specifieke lemma's (bijv. Lemma 1.2) over hoe $\Phi$ werkt op semi-stabiele schubben met isotrope Mukai-vectoren. Het kernargument behelst het aantonen dat voor een algemene stabiele schub $E$, de transformatie $\Phi(E)$ (of $\Phi(E)[1]$) een coherente schub blijft en stabiel is met betrekking tot een specifieke polarisatie $L'$ op $\hat{X}$.

Belangrijkste Bijdragen en Resultaten

1. Hoofdtheorema over Stabiliteitsbehoud (Theorem 0.1 / Theorem 3.12)
Het artikel stelt voorwaarden vast waaronder de Fourier-Mukai transformatie de stabiliteit behoudt voor een algemene schub $E$ in de moduli-stack $M_L(v)$, waarbij $v=(r, \xi, a)$ een Mukai-vector is met $r>0$ en $(\xi \cdot H) > 0$. Laat $\ell = \langle v^2 \rangle / 2$.

• Geval $a > 0$: Als $X$ geen product is van elliptische krommen of $\xi$ niet primitief is, bestaan er ample divisors $L$ en $L'$ zodanig dat $\Phi(E)^\vee$ $L'$-stabiel is voor een algemene $E \in M_L(v)$.
• Geval $a \leq 0$: Met uitzondering van specifieke exceptionele gevallen betreffende elliptische krommen (bijv. $v = (\ell, kC, -1)$), bestaan er ample divisors $L$ en $L'$ zodanig dat $\Phi(E)[1]$ $L'$-stabiel is voor een algemene $E \in M_L(v)$.

2. Zwakke Brill-Noether Eigenschap (Proposition 0.2 / Proposition 3.16)
De auteur bewijst dat voor elke Mukai-vector $v=(r, \xi, a)$ met $r>0$, $(\xi \cdot H) > 0$, en $\langle v^2 \rangle \geq 0$, er een ample divisor $L$ bestaat zodanig dat de zwakke Brill-Noether eigenschap geldt voor $M_L(v)$. Specifiek bestaat er een schub $E \in M_L(v)$ die maximaal één niet-nulletige cohomologiegroep heeft. Dit resultaat is rechtstreeks afgeleid van de resultaten over stabiliteitsbehoud, die garanderen dat de transformatie in het hart van de afgeleide categorie terechtkomt (d.w.z. een schub is) voor een algemeen object.

3. Irreducibiliteit en Polarisatie-onafhankelijkheid (Corollary 0.3)
Onder de aanname dat de moduli-stack $M(v)$ irreducibel is (wat geldt als $v$ primitief is en bepaalde numerieke voorwaarden worden vervuld, bijv. $\langle v^2 \rangle \geq 2r, 2a$), toont het artikel aan dat de stabiliteitsbehoud geldt met betrekking tot de natuurlijk geassocieerde polarisatie $\hat{H}$ op de duale oppervlakte, zonder dat de polarisatie op $X$ aangepast hoeft te worden.

4. Specifiek Geval: Ample Divisors van de Vorm $dH$ (Theorem 0.4 / Theorem 3.24)
Wanneer de Mukai-vector van de vorm $v=(r, dH, a)$ is:

• Als $d \geq 0$, geldt de zwakke Brill-Noether eigenschap.
• Als $d < 0$, geldt de eigenschap tenzij $v$ een specifieke exceptionele vorm aanneemt gerelateerd aan negatieve gehele getallen en elliptische krommen.
  Dit gedeelte biedt ook een karakterisering van wanneer een $aCM$ (arithmetisch Cohen-Macaulay) schub bestaat voor een gegeven Mukai-vector (Corollary 3.25).

Betekenis en Claims
Het artikel claimt eerdere resultaten over het behoud van stabiliteit van het geval met Picard-getal 1 te generaliseren naar willekeurige abeliaanse oppervlakten. Door gebruik te maken van Bridgeland-stabiliteit en het analyseren van wall-crossing langs een specifieke lijn in de stabiliteitsmanifold, biedt de auteur een constructieve methode om polarisaties te vinden die stabiliteit behouden onder de Fourier-Mukai transformatie.

De auteur stelt expliciet dat deze resultaten de zwakke Brill-Noether eigenschap oplossen voor vaste ample divisors, in contrast met eerdere bevindingen (bijv. in [6]) waar de eigenschap faalt voor bepaalde reducibele moduli-ruimten of polarisaties nabij de grens van de ample kegel. Het werk verfijnt het begrip van de geometrie van moduli-ruimten van schubben op abeliaanse oppervlakten en hun gedrag onder afgeleide equivalenties.

Beperkingen en Uitzonderingen
Het artikel vermeldt zorgvuldig de exceptionele gevallen waarin de algemene stellingen niet van toepassing zijn, primair betrokken bij:

• Producten van elliptische krommen.
• Primitieve vectoren $\xi$ in specifieke configuraties.
• Mukai-vectoren van de vorm $(\ell, kC, -1)$ of $(1, kC, -\ell)$ waarbij $C$ een elliptische kromme is en $k \geq \ell + 1$.
  In deze exceptionele gevallen resulteert de transformatie vaak in een coherente schub met torsie in plaats van een stabiele vectorbundel, of verhindert de structuur van de moduli-ruimte de standaard stabiliteitsbehoud.