On the meagerness of the set of irregular bundles on Hopf surfaces

1. Probleemstelling en Motivatie

Het artikel behandelt de structuur van de moduli-ruimte van stabiele vectorbundels op Hopf-oppervlakken, die niet-Kähler complexe oppervlakken zijn die diffeomorf zijn aan $S^3 \times S^1$. Specifiek onderzoeken de auteurs de eigenschappen van irreguliere bundels binnen deze moduli-ruimten.

• Context: Het onderzoek wordt gemotiveerd door open vragen betreffende de moduli-ruimten van instantons op $S^3 \times S^1$, zoals beschreven door Edward Witten. Een specifiek doel is het oplossen van de vraag naar de connectiviteit van de moduli-ruimte van $SU(2)$-instantons.
• De Kernvraag: In de algebraïsche meetkunde (projectieve oppervlakken) vertonen stabiele bundels vaak "goed" gedrag (bijvoorbeeld dat ze filtrabel zijn). Echter, op niet-Kähler oppervlakken zoals Hopf-oppervlakken is het gedrag minder begrepen. De auteurs willen bepalen of "irreguliere" bundels (die sprongen vertonen of specifieke structurele degeneraties hebben) een significant deel van de moduli-ruimte vormen of dat ze verwaarloosbaar zijn.
• Definities:
  • Hopf-oppervlak ($X$): Een klassiek Hopf-oppervlak dat elliptisch gefibreerd is over $\mathbb{P}^1$ met vezels isomorf aan een elliptische kromme $T$.
  • Moduli-ruimte ($M_{r,c}$): De ruimte van stabiele vectorbundels van rang $r$ met tweede Chern-klasse $c > 0$ en triviale determinant.
  • Sprong: Een bundel $E$ heeft een sprong als zijn restrictie tot een vezel $T_x$ niet semistabiel is.
  • Irreguliere bundel: Een bundel $E$ is irregulier als zijn restrictie tot een zekere vezel $T_x$ een irreguliere bundel is op de elliptische kromme (gedefinieerd als het hebben van onontbindbare factoren die niet paarsgewijs verschillend zijn in $\text{Pic}(T)$).
  • Magere verzameling: Een verzameling is mager als het een aftelbare unie is van nergens dichte deelverzamelingen. In de topologie is een magere verzameling "klein" (haar complement is dicht).

2. Methodologie en Technische Aanpak

De auteurs maken gebruik van een combinatie van vervormingstheorie, cohomologische analyse en de classificatie van vectorbundels op elliptische krommen.

A. Contrast met het Algebraïsche Geval

Het artikel begint met het benadrukken waarom standaard algebraïsche argumenten falen in deze niet-Kähler setting:

1. Filtrabiliteit: Op projectieve oppervlakken zijn bundels vaak filtrabel (extensies van lijnbundels). Op Hopf-oppervlakken moeten filtrabele bundels sprongen hebben. Bijgevolg bestaat de dichte open verzameling van stabiele bundels zonder sprongen volledig uit niet-filtrabele bundels.
2. Instabiele Componenten: In variëteiten van algemeen type kunnen moduli-ruimten grote componenten hebben die uitsluitend bestaan uit instabiele bundels. De auteurs onderzoeken of vergelijkbare "grote" componenten van irreguliere bundels bestaan op Hopf-oppervlakken en bewijzen dat dit niet het geval is.

B. Cohomologische Analyse (Lemma 3)

De kern technische motor van het bewijs is Lemma 3, dat de endomorfismenruimte van vectorbundels op een elliptische kromme $T$ analyseert.

• Premisse: Laat $F$ een semistabiele bundel van rang $r \ge 2$ zijn op $T$ met $\det(F) \cong \mathcal{O}_T$.
• Resultaat:
  • Als $F$ regulier is (onontbindbare factoren zijn distinct), dan is $\dim H^0(T, \text{End}(F)) = r$.
  • Als $F$ irregulier is (herhaalde factoren in de decompositie), dan is $\dim H^0(T, \text{End}(F)) \ge r + 2$.
• Betekenis: Deze sprong in de dimensie van de endomorfismenruimte (van $r$ naar ten minste $r+2$) impliceert dat irreguliere bundels een hoger mate van symmetrie hebben (automorfismen), wat geometrisch overeenkomt met een "dunnere" locatie in de moduli-ruimte.

C. Vervormingstheorie en Surjectiviteit (Stelling 4)

De auteurs gebruiken de exacte rij van schoven om de vervormingsruimte van de bundel op het oppervlak te relateren aan de vervormingsruimte op de vezel:
$$0 \to \text{End}(E)(-T_x) \to \text{End}(E) \to \text{End}(F) \to 0$$

• Surjectiviteit: Door de cohomologiegroepen te analyseren (specifiek $H^1$), tonen ze aan dat de restrictieafbeelding $\rho: H^1(X, \text{End}(E)) \to H^1(T_x, \text{End}(F))$ surjectief is.
• Codimensie-argument: Aangezien de ruimte van irreguliere bundels op de vezel $T_x$ een hogere codimensie heeft (door de verhoogde dimensie van $H^0(\text{End}(F))$), en de afbeelding $\rho$ surjectief is, moet de locatie van bundels $E$ in de moduli-ruimte $M_{r,c}$ die restricties zijn tot irreguliere bundels op $T_x$, een codimensie van ten minste 2 hebben in de moduli-ruimte.
• Magereheid: Aangezien de basis van de fibratie $\mathbb{P}^1$ is (dimensie 1), blijft de unie van deze locaties over alle $x$ mager (een aftelbare unie van verzamelingen met codimensie $\ge 2$).

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling

Stelling 4: Laat $U$ een samenhangende component zijn van de moduli-ruimte $M_{r,c}$. De verzameling van alle bundels $E \in U$ die niet regulier zijn (d.w.z. die sprongen hebben of die irregulier zijn op vezels) is mager in $U$.

• Implicatie: De verzameling van reguliere bundels is dicht in elke open deelverzameling van de moduli-ruimte. Reguliere bundels zijn het "generieke" geval.

Corollarium: Connectiviteit van Moduli-ruimten

Corollarium 5: Voor rang $r=2$ is de complexe variëteit $M_{2,c}$ samenhangend.

• Bewijslogica:
  1. Volgens de Hoofdstelling volstaat het om de connectiviteit van de verzameling van reguliere bundels te bewijzen.
  2. Reguliere bundels corresponderen met spectrale krommen $C_E$ die gladde, samenhangende krommen zijn van genus $2n-1$.
  3. De verzameling van grafieken geassocieerd met deze bundels vormt een irreducibele Zariski-open deelverzameling.
  4. De vezels van de afbeelding van bundels naar spectrale krommen zijn Jacobiaanse van deze gladde krommen, die samenhangend zijn.
  5. Bijgevolg is de gehele moduli-ruimte samenhangend.

4. Betekenis en Impact

1. Oplossing van Witten's Vraag: Het artikel geeft een bevestigend antwoord op de vraag van Edward Witten betreffende de connectiviteit van de moduli-ruimte van $SU(2)$-instantons op $S^3 \times S^1$.
2. Niet-Kähler Meetkunde: Het stelt vast dat ondanks het ontbreken van Kähler-metrieken en het falen van standaard algebraïsche eigenschappen (zoals filtrabiliteit), de moduli-ruimten van stabiele bundels op Hopf-oppervlakken nog steeds een "generieke" structuur bezitten die wordt gedomineerd door reguliere bundels.
3. Technische Nieuwheid: Het artikel demonstreert dat "slecht" gedrag (irregulierheid) in niet-Kähler settings niet noodzakelijk leidt tot grote, ongescheiden componenten van de moduli-ruimte, in tegenstelling tot wat men zou verwachten op basis van analogieën met variëteiten van algemeen type.
4. Fundamentele Definities: Het definieert en onderscheidt strikt tussen "sprongen" en "irregulierheid" in de context van Hopf-oppervlakken, en verduidelijkt het geometrische landschap voor toekomstig onderzoek in niet-Kähler gauge-theorie.

Samenvattend bewijst het artikel dat irreguliere bundels topologisch verwaarloosbaar (mager) zijn binnen de moduli-ruimten van Hopf-oppervlakken, waardoor de dichtheid van reguliere bundels wordt vastgesteld en de connectiviteit van de moduli-ruimte van rang 2 wordt bevestigd.