Locally rigid implies globally rigid in Kahler geometry

1. Problemstellung und Kontext

Das Papier behandelt eine fundamentale Frage der komplexen Geometrie hinsichtlich der Starrheit kompakter Kähler-Mannigfaltigkeiten unter Deformation.

• Definitionen:
  • Lokal starr: Eine Mannigfaltigkeit $X$ ist lokal starr, wenn jede glatte Familie $\pi: \mathcal{X} \to B$, die $X$ als Faser enthält, in der Nähe dieser Faser lokal trivial ist (d. h., alle benachbarten Fasern sind zu $X$ isomorph).
  • Global starr: Eine Mannigfaltigkeit $X$ ist global starr, wenn jede zu $X$ deformationsäquivalente Mannigfaltigkeit $X'$ tatsächlich zu $X$ isomorph ist.
  • Deformationsäquivalenz: Zwei Mannigfaltigkeiten sind deformationsäquivalent, wenn sie durch eine endliche Folge direkter Deformationen (glatte Familien über einer Scheibe) verbunden werden können.
• Die Kernfrage: Impliziert lokale Starrheit globale Starrheit für kompakte, nicht-unirule Kähler-Mannigfaltigkeiten?
  • Es ist bekannt, dass infinitesimale Starrheit ($H^1(X, T_X)=0$) lokale Starrheit impliziert (Kodaira-Spencer-Kuranishi-Theorie).
  • Für minimale allgemeine Flächen impliziert lokale Starrheit globale Starrheit (bewiesen von Autoren in [1]).
  • Frage 1.1: Wenn $X$ eine kompakte, nicht-unirule Kähler-Mannigfaltigkeit ist und lokal starr ist, ist sie dann global starr?

2. Methodik

Der Autor verwendet eine Kombination aus Variation von Hodge-Strukturen (VHS), Barlet-Zykelräumen und Modulitheorie, um die Lücke zwischen lokalen und globalen Eigenschaften zu schließen.

A. Konstruktion einer polarisierten Familie

Die zentrale technische Herausforderung besteht darin, einen lokalen Isomorphismus auf die gesamte Familie zu erweitern. Der Autor konstruiert eine spezifische Kohomologieklasse, um die Familie zu „polarisieren".

1. Lokale Trivialität: Gegeben eine Familie $\pi: \mathcal{X} \to \Delta$, deren Fasern Kähler sind und in der Nähe von $t_1$ lokal trivial sind, verwendet der Autor den Diffeomorphismus $T: \mathcal{X} \cong X_{t_1} \times \Delta$, um Kohomologieklassen zu transportieren.
2. Hodge-Filtration: Unter Verwendung der Tatsache, dass die Familie in der Nähe von $t_1$ lokal trivial ist, verschwindet die Kodaira-Spencer-Abbildung lokal. Durch die Eigenschaften der Periodenabbildung (holomorphe Abbildung in eine Grassmann-Mannigfaltigkeit) wird gezeigt, dass die Hodge-Filtration $F^p$ über die gesamte Scheibe $\Delta$ konstant ist.
3. Konstruktion einer globalen Klasse (Lemma 3.1): Der Autor konstruiert eine globale reelle Kohomologieklasse $\alpha \in H^2(\mathcal{X}, \mathbb{R})$, sodass ihre Einschränkung $\alpha_t$ für alle $t$ in $H^{1,1}(X_t, \mathbb{C})$ liegt.
4. Konstruktion einer Kähler-Morphismus (Lemma 3.2 & 3.3): Unter Verwendung des Demailly-Păun-Theorems und Argumente der Garbenkohomologie hebt der Autor $\alpha$ zu einem Schnitt $\Theta$ einer Quotientengarbe an, was die Konstruktion einer relativen Kähler-Form ermöglicht. Dies etabliert, dass die Familie ein Kähler-Morphismus ist (speziell eine Familie polarisierter Kähler-Mannigfaltigkeiten) über einer dichten offenen Menge.

B. Argumentation des Modulraums

Der Beweis stützt sich stark auf die Eigenschaften des groben Modulraums $\mathcal{M}$ polarisierter, nicht-uniruler Kähler-Mannigfaltigkeiten.

• Hausdorff-Eigenschaft: Der Modulraum $\mathcal{M}$ für polarisierte, nicht-unirule Kähler-Mannigfaltigkeiten ist bekanntermaßen ein separierter (Hausdorffscher) komplexer Raum.
• Analytische Fortsetzung: Die Familie induziert eine holomorphe Abbildung $f: W \to \mathcal{M}$ von einer dichten offenen Teilmenge $W \subset \Delta$.
• Konstanz: Da die Familie in der Nähe von $t_1$ lokal trivial ist, ist die Abbildung $f$ in einer Umgebung konstant. Da $\mathcal{M}$ Hausdorffsch ist und die Abbildung holomorph ist, muss die Abbildung, wenn das Bild auf einer offenen Menge ein Punkt ist, auf der zusammenhängenden Komponente (oder dem gesamten Definitionsbereich, falls dieser irreduzibel/verbunden ist) konstant sein.

C. Umgang mit der Bedingung „Nicht-unirule"

Die Bedingung, dass die Faser $X_{t_1}$ nicht-unirule ist, ist entscheidend.

• Unirule Mannigfaltigkeiten (die von rationalen Kurven überdeckt werden) haben oft nicht-separierte Modulräume oder erlauben „Springphänomene" bei Deformationen.
• Für nicht-unirule Mannigfaltigkeiten ist der Modulraum wohlverhalten (separiert). Der Autor zitiert [8, Proposition 11], um sicherzustellen, dass, wenn die zentrale Faser nicht-unirule ist, benachbarte Fasern ebenfalls nicht-unirule bleiben, was die globale Wohldefiniertheit der Abbildung in den Modulraum ermöglicht.

3. Schlüsselergebnisse und Theoreme

Satz 1.3 (Hauptsatz):
Sei $\pi: \mathcal{X} \to \Delta$ eine eigentliche glatte Abbildung mit Kähler-Fasern. Wenn die Familie an einem Punkt $t_1$ lokal trivial ist (d. h. $X_t \cong X_{t_1}$ für $t$ nahe $t_1$) und die Faser $X_{t_1}$ eine nicht-unirule Kähler-Mannigfaltigkeit ist, dann sind alle Fasern isomorph ($X_t \cong X_{t_1}$ für alle $t \in \Delta$).

Korollar 1.4:
Eine kompakte, nicht-unirule Kähler-Mannigfaltigkeit ist global starr, wenn sie lokal starr ist.

• Beweislogik: Wenn $X$ lokal starr ist, kann jede deformationsäquivalente Mannigfaltigkeit $X'$ über eine Kette von Familien verbunden werden. Die Anwendung von Satz 1.3 auf jede Familie in der Kette beweist, dass jede Zwischenfaser zum vorherigen Glied isomorph ist, also gilt $X \cong X'$.

Korollar 1.5:
Spezifisch für Flächen: Eine kompakte, nicht-unirule Kähler-Fläche ist global starr, wenn sie lokal starr ist.

Korollar 1.7 (Globale Nicht-Deformierbarkeit):
Wenn eine glatte Familie kompakter Kähler-Mannigfaltigkeiten Fasern $X_t \cong S$ für alle $t \in \Delta^* = \Delta \setminus \{0\}$ hat und $S$ eine nicht-unirule Kähler-Mannigfaltigkeit ist, dann ist auch die zentrale Faser $X_0$ biholomorph zu $S$.

• Dies löst das Problem der „globalen Nicht-Deformierbarkeit" für nicht-unirule Mannigfaltigkeiten unter Kähler-Morphismen.

4. Bedeutung und Beitrag

1. Lösung einer Vermutung: Das Papier beantwortet Frage 1.1 positiv und stellt fest, dass für die breite Klasse der nicht-uniruler Kähler-Mannigfaltigkeiten lokale Starrheit ausreicht, um globale Starrheit zu garantieren. Dies erweitert frühere Ergebnisse, die nur für minimale allgemeine Flächen bekannt waren.
2. Anwendung des Modulraums: Die Arbeit demonstriert die Kraft der Hausdorff-Eigenschaft des Modulraums polarisierter, nicht-uniruler Mannigfaltigkeiten bei der Lösung von Deformationsproblemen. Sie nutzt effektiv die Separiertheit des Modulraums, um ein „Springen" von Isomorphieklassen in einer Familie zu verhindern.
3. Technische Innovation: Die Konstruktion einer globalen Klasse $\alpha$, die auf einer dichten offenen Menge eine Kähler-Klasse bleibt (und sich über die nicht-unirule Bedingung auf die gesamte Familie erstreckt), ist eine anspruchsvolle Anwendung des Demailly-Păun-Theorems und der Barlet-Zykelräume.
4. Implikationen für die globale Nicht-Deformierbarkeit: Die Ergebnisse liefern starke bejahende Antworten auf das Problem der globalen Nicht-Deformierbarkeit für nicht-unirule Mannigfaltigkeiten und ergänzen bestehende Ergebnisse für projektive Räume und rationale homogene Räume (die oft unirule sind oder spezifische Strukturen aufweisen).

Zusammenfassung

Mu-Lin Li beweist, dass im Bereich der Kähler-Geometrie, wenn eine kompakte, nicht-unirule Mannigfaltigkeit lokal nicht deformiert werden kann, sie überhaupt nicht global deformiert werden kann. Der Beweis stützt sich auf die Konstruktion einer globalen Polarisation für die Familie und die Nutzung der separierten Natur des entsprechenden Modulraums, um zu zeigen, dass eine lokal konstante Deformationsabbildung global konstant sein muss.