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

1. Problemstellung und Motivation

Der Artikel befasst sich mit der Struktur des Modulraums stabiler Vektorbündel auf Hopf-Flächen, die nicht-kählerische komplexe Flächen sind, die diffeomorph zu $S^3 \times S^1$ sind. Insbesondere untersuchen die Autoren die Eigenschaften irregulärer Bündel innerhalb dieser Modulräume.

• Kontext: Die Forschung wird durch offene Fragen bezüglich der Modulräume von Instantonen auf $S^3 \times S^1$, wie sie von Edward Witten beschrieben wurden, motiviert. Ein spezifisches Ziel ist die Klärung der Frage nach der Zusammenhängendheit des Modulraums von $SU(2)$-Instantonen.
• Die Kernfrage: In der algebraischen Geometrie (projektive Flächen) zeigen stabile Bündel oft ein „gutes" Verhalten (z. B. Filtrierbarkeit). Auf nicht-kählerischen Flächen wie Hopf-Flächen ist das Verhalten jedoch weniger verstanden. Die Autoren wollen bestimmen, ob „irreguläre" Bündel (jene mit Sprüngen oder spezifischen strukturellen Entartungen) einen signifikanten Anteil des Modulraums ausmachen oder ob sie vernachlässigbar sind.
• Definitionen:
  • Hopf-Fläche ($X$): Eine klassische Hopf-Fläche, die elliptisch über $\mathbb{P}^1$ gefasert ist, mit Fasern, die isomorph zu einer elliptischen Kurve $T$ sind.
  • Modulraum ($M_{r,c}$): Der Raum der stabilen Vektorbündel vom Rang $r$ mit zweiter Chern-Klasse $c > 0$ und trivialem Determinantenbündel.
  • Sprung: Ein Bündel $E$ hat einen Sprung, wenn seine Einschränkung auf eine Faser $T_x$ nicht semistabil ist.
  • Irreguläres Bündel: Ein Bündel $E$ ist irregulär, wenn seine Einschränkung auf eine Faser $T_x$ ein irreguläres Bündel auf der elliptischen Kurve ist (definiert als das Vorhandensein von unzerlegbaren Faktoren, die in $\text{Pic}(T)$ nicht paarweise verschieden sind).
  • Magerer Menge: Eine Menge ist mager, wenn sie eine abzählbare Vereinigung nirgends dichter Teilmengen ist. In der Topologie ist eine magere Menge „klein" (ihr Komplement ist dicht).

2. Methodik und technischer Ansatz

Die Autoren verwenden eine Kombination aus Deformationstheorie, kohomologischer Analyse und der Klassifikation von Vektorbündeln auf elliptischen Kurven.

A. Kontrast zum algebraischen Fall

Der Artikel beginnt damit hervorzuheben, warum Standardargumente der algebraischen Geometrie in diesem nicht-kählerischen Setting versagen:

1. Filtrierbarkeit: Auf projektiven Flächen sind Bündel oft filtrierbar (Erweiterungen von Linienbündeln). Auf Hopf-Flächen müssen filtrierbare Bündel notwendigerweise Sprünge aufweisen. Folglich besteht die dichte offene Menge der stabilen Bündel ohne Sprünge vollständig aus nicht-filtrierbaren Bündeln.
2. Instabile Komponenten: Bei Varietäten vom allgemeinen Typ können Modulräume große Komponenten enthalten, die ausschließlich aus instabilen Bündeln bestehen. Die Autoren untersuchen, ob ähnliche „große" Komponenten irregulärer Bündel auf Hopf-Flächen existieren, und beweisen, dass dies nicht der Fall ist.

B. Kohomologische Analyse (Lemma 3)

Der technische Kern der Beweise ist Lemma 3, das den Endomorphismenraum von Vektorbündeln auf einer elliptischen Kurve $T$ analysiert.

• Prämisse: Sei $F$ ein semistabiles Bündel vom Rang $r \ge 2$ auf $T$ mit $\det(F) \cong \mathcal{O}_T$.
• Ergebnis:
  • Wenn $F$ regulär ist (unzerlegbare Faktoren sind verschieden), gilt $\dim H^0(T, \text{End}(F)) = r$.
  • Wenn $F$ irregulär ist (wiederholte Faktoren in der Zerlegung), gilt $\dim H^0(T, \text{End}(F)) \ge r + 2$.
• Bedeutung: Dieser Sprung in der Dimension des Endomorphismenraums (von $r$ auf mindestens $r+2$) impliziert, dass irreguläre Bündel einen höheren Symmetriegehalt (Automorphismen) aufweisen, was geometrisch einem „dünneren" Ort im Modulraum entspricht.

C. Deformationstheorie und Surjektivität (Satz 4)

Die Autoren verwenden die exakte Sequenz von Garben, um den Deformationsraum des Bündels auf der Fläche mit dem Deformationsraum auf der Faser zu verknüpfen:
$$0 \to \text{End}(E)(-T_x) \to \text{End}(E) \to \text{End}(F) \to 0$$

• Surjektivität: Durch Analyse der Kohomologiegruppen (insbesondere $H^1$) zeigen sie, dass die Restriktionsabbildung $\rho: H^1(X, \text{End}(E)) \to H^1(T_x, \text{End}(F))$ surjektiv ist.
• Kodimension-Argument: Da der Raum der irregulären Bündel auf der Faser $T_x$ eine höhere Kodimension aufweist (aufgrund der erhöhten Dimension von $H^0(\text{End}(F))$) und die Abbildung $\rho$ surjektiv ist, muss der Ort der Bündel $E$ im Modulraum $M_{r,c}$, die auf $T_x$ auf irreguläre Bündel einschränken, eine Kodimension von mindestens 2 im Modulraum haben.
• Magerkeit: Da die Basis der Faserung $\mathbb{P}^1$ ist (Dimension 1), bleibt die Vereinigung dieser Orte über alle $x$ hinweg mager (eine abzählbare Vereinigung von Mengen der Kodimension $\ge 2$).

3. Hauptbeiträge und Ergebnisse

Hauptsatz

Satz 4: Sei $U$ eine zusammenhängende Komponente des Modulraums $M_{r,c}$. Die Menge aller Bündel $E \in U$, die nicht regulär sind (d. h. solche mit Sprüngen oder solche, die auf Fasern irregulär sind), ist in $U$ mager.

• Implikation: Die Menge der regulären Bündel ist in jeder offenen Teilmenge des Modulraums dicht. Reguläre Bündel stellen den „generischen" Fall dar.

Korollar: Zusammenhängendheit von Modulräumen

Korollar 5: Für Rang $r=2$ ist die komplexe Mannigfaltigkeit $M_{2,c}$ zusammenhängend.

• Beweislogik:
  1. Nach dem Hauptsatz genügt es, die Zusammenhängendheit der Menge der regulären Bündel zu beweisen.
  2. Reguläre Bündel entsprechen spektralen Kurven $C_E$, die glatte, zusammenhängende Kurven vom Geschlecht $2n-1$ sind.
  3. Die Menge der Graphen, die diesen Bündeln zugeordnet sind, bildet eine irreduzible Zariski-offene Teilmenge.
  4. Die Fasern der Abbildung von Bündeln zu spektralen Kurven sind Jacobische dieser glatten Kurven, die zusammenhängend sind.
  5. Daher ist der gesamte Modulraum zusammenhängend.

4. Bedeutung und Auswirkung

1. Klärung von Wittens Frage: Der Artikel liefert eine bejahende Antwort auf die von Edward Witten gestellte Frage bezüglich der Zusammenhängendheit des Modulraums von $SU(2)$-Instantonen auf $S^3 \times S^1$.
2. Nicht-kählerische Geometrie: Es wird etabliert, dass trotz des Fehlens von Kähler-Metriken und des Versagens standardmäßiger algebraischer Eigenschaften (wie der Filtrierbarkeit) die Modulräume stabiler Bündel auf Hopf-Flächen dennoch eine „generische" Struktur besitzen, die von regulären Bündeln dominiert wird.
3. Technische Neuheit: Der Artikel zeigt, dass „schlechtes" Verhalten (Irregularität) in nicht-kählerischen Settings nicht notwendigerweise zu großen, unzusammenhängenden Komponenten des Modulraums führt, im Gegensatz zu dem, was man aufgrund von Analogien mit Varietäten vom allgemeinen Typ erwarten könnte.
4. Fundamentale Definitionen: Er definiert und unterscheidet rigoros zwischen „Sprüngen" und „Irregularität" im Kontext von Hopf-Flächen und klärt die geometrische Landschaft für zukünftige Forschung in der nicht-kählerischen Eichtheorie.

Zusammenfassend beweist der Artikel, dass irreguläre Bündel innerhalb der Modulräume von Hopf-Flächen topologisch vernachlässigbar (mager) sind, wodurch die Dichte regulärer Bündel etabliert und die Zusammenhängendheit des Modulraums vom Rang 2 bestätigt wird.