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

1. Probleemstelling

Het artikel behandelt de geometrie van moduli ruimten van $\mu$-semistabele coherentie schoven op elliptische gereduceerde oppervlakken (ook bekend als $\mathbb{P}^1$-bundels over een glad projectieve kromme $C$).

• Context: Laat $\pi: X \to C$ een $\mathbb{P}^1$-bundel zijn over een kromme van genus $g$. Laat $C_0$ een minimale sectie zijn met zelfdoorsnede $(C_0^2) = -e$, en $f$ een vezel. De canonieke divisor is $K_X \equiv -2C_0 - (2-2g+e)f$.
• Vorig Werk: Walter [7] vestigde de onbreekbaarheid van deze moduli ruimten onder de strikte voorwaarde $((K_X + f) \cdot H) < 0$. Deze voorwaarde impliceert dat schoven "prioritair" zijn, waardoor het gebruik van specifieke deformatietheorieën mogelijk is.
• Het Gat: De auteur beoogt deze resultaten te generaliseren naar de bredere voorwaarde $(K_X \cdot H) < 0$.
  • Deze voorwaarde geldt voor elke ample divisor $H$ als $g=0$ of $g=1$.
  • Specifiek richt de auteur zich op de gevallen waar $g=1$ en $e=0$ of $e=-1$ (waar $-K_X$ nef is, maar niet noodzakelijk ample in de zin van Walter's oorspronkelijke voorwaarde).
• Kernvragen:
  1. Zijn de moduli ruimten $\mathcal{M}_H(e)^{\mu ss}$ onbreekbaar onder de zwakkere voorwaarde $(K_X \cdot H) < 0$?
  2. Wat zijn de noodzakelijke en voldoende voorwaarden voor het bestaan van dergelijke schoven (niet-leegte)?
  3. Wat zijn de eigenschappen van de algemene leden van deze moduli ruimten (bijvoorbeeld lokale vrijheid, stabiliteit op vezels)?

2. Methodologie

Yoshio maakt gebruik van een combinatie van stapeltheorie, deformatietheorie en wall-crossing analyse binnen de ample kegel.

• Moduli Stapels: In plaats van equivariante cohomologie van Quot-schema's te gebruiken (zoals in eerdere werken), maakt de auteur gebruik van moduli stapels van coherentie schoven ($M(e)$, $\mathcal{M}_H(e)^{\mu ss}$). Dit staat een directere behandeling van families en stabiliteitsvoorwaarden toe.
• Filtratie Stapels: De auteur introduceert de stapel van filtraties $FH(e_1, \dots, e_s)$ om de Harder-Narasimhan en Jordan-Hölder filtraties te analyseren. Dit is cruciaal voor dimensietelling en het vergelijken van componenten van moduli ruimten over verschillende polarisaties.
• Wall en Chamber Analyse:
  • De ample kegel $\text{Amp}(X)$ is verdeeld in kamers gescheiden door muren gedefinieerd door $W_F = \{H \mid ((\mu(E) - \mu(F)) \cdot H) = 0\}$.
  • De auteur analyseert hoe de moduli ruimte verandert naarmate de polarisatie $H$ over deze muren beweegt.
• Belangrijk Technisch Hulpmiddel: Verdwijning van $Ext^2$:
  • Een centraal lemma (Lemma 1.4) bewijst dat als $(K_X \cdot H) < 0$, dan voor elke twee $\mu$-semistabele schoven $E, F$ met dezelfde helling, $\text{Ext}^2(E, F) = 0$.
  • Deze verdwijning impliceert dat de moduli stapel glad is en maakt de toepassing van deformatietheorie mogelijk om onbreekbaarheid te bewijzen.
• Opblaas-Techniek: Om de onbreekbaarheid van de stabiele locus te bewijzen, gebruikt de auteur een resultaat van Nakashima dat moduli ruimten op $X$ relateert aan die op een opgeblazen oppervlak $\tilde{X}$, waarbij de theorema's van Beauville en Markman op oppervlakken met $(K_X \cdot H) < 0$ worden toegepast.

3. Belangrijkste Bijdragen en Resultaten

A. Onbreekbaarheid (Theorema 0.1 & Proposition 2.7)

Het artikel bewijst dat onder de voorwaarde $(K_X \cdot H) < 0$, de moduli stapel $\mathcal{M}_H(e)^{\mu ss}$ onbreekbaar is voor elke Chern-klasse $e = (r, \xi, \chi)$ die voldoet aan $0 \le (\xi \cdot f) < r$.

• Dit generaliseert Walter's resultaat door de vereiste dat $((K_X + f) \cdot H) < 0$ te verwijderen.
• Het bewijs berust op het aantonen dat de locus van strikt semistabele schoven een strikt lagere dimensie heeft dan de stabiele locus (Lemma 2.5), en dat de stabiele lokaal vrije locus open en dicht is.

B. Bestaansvoorwaarden (Theorema 0.1 & Proposition 2.9)

De auteur levert een precieze criterium voor de niet-leegte van de moduli ruimte:
$$\mathcal{M}_H(e)^{\mu ss} \neq \emptyset \iff r^2 \Delta(e) \ge r_1(r - r_1)(x - e/2)$$
waarbij:

• $H(x) = C_0 + xf$ de ample divisor is.
• $r_1 = (\xi \cdot f)$.
• $\Delta(e)$ de discriminant is zoals gedefinieerd in (1.2).
• Voor het specifieke geval van genus $g=1$ en $e=0, -1$, vereenvoudigt de voorwaarde tot $x \le \frac{e}{2} + \frac{r_2}{r_1 r_2} \Delta(e)$.

C. Eigenschappen van Algemene Leden (Theorema 0.1 (3))

Voor $r > 1$ is een algemeen lid $E$ van de moduli ruimte:

1. Een $\mu$-stabiele lokaal vrije schof.
2. Rigide op vezels: De restrictie $E|_{\pi^{-1}(t)}$ is een rigide vectorbundel voor een algemeen punt $t \in C$.
3. Deze rigiditeit impliceert $\text{Ext}^1(E|_{\pi^{-1}(t)}, E|_{\pi^{-1}(t)}) = 0$.

D. Corollarium voor Nef Anticanonieke Divisors (Corollarium 0.2)

In het specifieke geval waar $-K_X$ nef is ($e=0, -1$), is de moduli ruimte niet-leeg dan en slechts dan als:

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

4. Betekenis

• Generalisatie van Onbreekbaarheid: Het artikel slaagt erin de bekende onbreekbaarheidsresultaten voor moduli ruimten van schoven op gereduceerde oppervlakken uit te breiden van een restrictieve voorwaarde die de vezel $f$ betreft, naar de meer natuurlijke voorwaarde die de canonieke divisor $K_X$ betreft.
• Omgaan met Genus 1: Het behandelt specifiek het geval van elliptische gereduceerde oppervlakken ($g=1$) waar de geometrie subtieler is (bijvoorbeeld wanneer $e=0$ of $-1$), en levert bestaanscriteria die eerder onduidelijk waren.
• Structureel Inzicht: Door gebruik te maken van de stapel van filtraties en wall-crossing argumenten, verduidelijkt het artikel de relatie tussen de stabiliteit van schoven op het oppervlak en de stabiliteit van hun restricties tot vezels.
• Fundering voor Verdere Studie: De resultaten over de niet-leegte en onbreekbaarheid van deze moduli ruimten bieden een solide fundering voor het bestuderen van de geometrie van deze oppervlakken, met potentiële impact op het onderzoek naar Donaldson-invarianten of de classificatie van vectorbundels op elliptische oppervlakken.

Kortom, Yoshio's nota verfijnt het begrip van moduli ruimten op elliptische gereduceerde oppervlakken door hun onbreekbaarheid te bewijzen onder een bredere reeks geometrische voorwaarden en door precieze grenzen voor hun bestaan vast te stellen, gebruikmakend van een robuust kader van stapeltheorie en deformatieanalyse.