Locally rigid implies globally rigid in Kahler geometry

1. Probleemstelling en Context

Het artikel behandelt een fundamentele vraag in de complexe meetkunde met betrekking tot de rigiditeit van compacte Kähler-maandvariëteiten onder vervorming.

• Definities:
  • Lokaal Rigid: Een variëteit $X$ is lokaal rigid als elke gladde familie $\pi: \mathcal{X} \to B$ die $X$ bevat als vezel, lokaal triviaal is nabij die vezel (d.w.z. alle naburige vezels zijn isomorf met $X$).
  • Globaal Rigid: Een variëteit $X$ is globaal rigid als elke variëteit $X'$ die vervormingsequivalent is met $X$, feitelijk isomorf is met $X$.
  • Vervormingsequivalentie: Twee variëteiten zijn vervormingsequivalent als ze verbonden kunnen worden door een eindige reeks directe vervormingen (gladde families over een schijf).
• De Kernvraag: Impliceert lokale rigiditeit globale rigiditeit voor compacte niet-unireguleerde Kähler-variëteiten?
  • Het is bekend dat infinitesimale rigiditeit ($H^1(X, T_X)=0$) lokale rigiditeit impliceert (Kodaira-Spencer-Kuranishi-theorie).
  • Voor minimale algemene oppervlakten impliceert lokale rigiditeit globale rigiditeit (bewezen door auteurs in [1]).
  • Vraag 1.1: Als $X$ een compacte niet-unireguleerde Kähler-variëteit is en lokaal rigid is, is hij dan globaal rigid?

2. Methodologie

De auteur hanteert een combinatie van Variatie van Hodge-structuren (VHS), Barlet-cykelruimten en Moduli-theorie om de kloof tussen lokale en globale eigenschappen te overbruggen.

A. Constructie van een Gepolariseerde Familie

De centrale technische uitdaging is het uitbreiden van een lokale isomorfisme naar de gehele familie. De auteur construeert een specifieke cohomologieklassie om de familie te "polariseren".

1. Lokale Trivialiteit: Gegeven een familie $\pi: \mathcal{X} \to \Delta$ waarbij de vezels Kähler zijn en lokaal triviaal nabij $t_1$, gebruikt de auteur de diffeomorfisme $T: \mathcal{X} \cong X_{t_1} \times \Delta$ om cohomologieklassen te vervoeren.
2. Hodge-filtratie: Met gebruik van het feit dat de familie lokaal triviaal is nabij $t_1$, verdwijnt de Kodaira-Spencer-afbeelding lokaal. Door de eigenschappen van de periodenafbeelding (holomorfe afbeelding naar een Grassmanniaan) wordt aangetoond dat de Hodge-filtratie $F^p$ constant is over de gehele schijf $\Delta$.
3. Constructie van een Globale Klasse (Lemma 3.1): De auteur construeert een globale reële cohomologieklassie $\alpha \in H^2(\mathcal{X}, \mathbb{R})$ zodanig dat zijn restrictie $\alpha_t$ ligt in $H^{1,1}(X_t, \mathbb{C})$ voor alle $t$.
4. Constructie van een Kähler-morfisme (Lemma 3.2 & 3.3): Met gebruik van de stelling van Demailly-Păun en argumenten uit de schuifcohomologie, tilt de auteur $\alpha$ op tot een sectie $\Theta$ van een quotiëntschuif, wat de constructie van een relatieve Kähler-vorm mogelijk maakt. Dit stelt vast dat de familie een Kähler-morfisme is (specifiek, een familie van gepolariseerde Kähler-variëteiten) over een dichte open verzameling.

B. Argumentatie via de Moduli-ruimte

Het bewijs steunt zwaar op de eigenschappen van de grove moduli-ruimte $\mathcal{M}$ van gepolariseerde niet-unireguleerde Kähler-variëteiten.

• Hausdorff-eigenschap: De moduli-ruimte $\mathcal{M}$ voor gepolariseerde niet-unireguleerde Kähler-variëteiten is bekend als een gescheiden (Hausdorff) complexe ruimte.
• Analytische Continuatie: De familie induceert een holomorfe afbeelding $f: W \to \mathcal{M}$ vanuit een dichte open deelverzameling $W \subset \Delta$.
• Constantie: Aangezien de familie lokaal triviaal is nabij $t_1$, is de afbeelding $f$ constant op een omgeving. Omdat $\mathcal{M}$ Hausdorff is en de afbeelding holomorf is, moet de afbeelding constant zijn op de samenhangende component (of het gehele domein als het domein irreducibel/samenhangend is) als het beeld een punt is op een open verzameling.

C. Omgaan met de Voorwaarde "Niet-Unireguleerd"

De voorwaarde dat de vezel $X_{t_1}$ niet-unireguleerd is, is cruciaal.

• Unireguleerde variëteiten (die bedekt worden door rationale krommen) hebben vaak niet-gescheiden moduli-ruimten of staan "springende" fenomenen toe in vervormingen.
• Voor niet-unireguleerde variëteiten is de moduli-ruimte goed gedragen (gescheiden). De auteur citeert [8, Proposition 11] om te garanderen dat als de centrale vezel niet-unireguleerd is, naburige vezels dat ook blijven, waardoor de afbeelding naar de moduli-ruimte globaal goed gedefinieerd is.

3. Belangrijkste Resultaten en Stellingen

Stelling 1.3 (Hoofdstelling):
Laat $\pi: \mathcal{X} \to \Delta$ een proper gladde morfisme zijn met Kähler-vezels. Als de familie lokaal triviaal is in een punt $t_1$ (d.w.z. $X_t \cong X_{t_1}$ voor $t$ nabij $t_1$) en de vezel $X_{t_1}$ een niet-unireguleerde Kähler-variëteit is, dan zijn alle vezels isomorf ($X_t \cong X_{t_1}$ voor alle $t \in \Delta$).

Corollarium 1.4:
Een compacte niet-unireguleerde Kähler-variëteit is globaal rigid als hij lokaal rigid is.

• Bewijslogica: Als $X$ lokaal rigid is, kan elke vervormingsequivalente variëteit $X'$ verbonden worden via een keten van families. Toepassing van Stelling 1.3 op elke familie in de keten bewijst dat elke tussenvormige vezel isomorf is met de vorige, dus $X \cong X'$.

Corollarium 1.5:
Specifiek voor oppervlakten: Een compacte niet-unireguleerde Kähler-oppervlak is globaal rigid als hij lokaal rigid is.

Corollarium 1.7 (Globale Niet-vervormbaarheid):
Als een gladde familie van compacte Kähler-variëteiten vezels $X_t \cong S$ heeft voor alle $t \in \Delta^* = \Delta \setminus \{0\}$, en $S$ een niet-unireguleerde Kähler-variëteit is, dan is de centrale vezel $X_0$ ook biholomorf met $S$.

• Dit lost het probleem van "globale niet-vervormbaarheid" op voor niet-unireguleerde variëteiten onder Kähler-morfismen.

4. Betekenis en Bijdrage

1. Oplossing van een Vermoeden: Het artikel beantwoordt Vraag 1.1 positief, en stelt vast dat voor de brede klasse van niet-unireguleerde Kähler-variëteiten lokale rigiditeit voldoende is om globale rigiditeit te garanderen. Dit breidt eerdere resultaten uit die alleen bekend waren voor minimale algemene oppervlakten.
2. Toepassing van Moduli-ruimte: Het werk demonstreert de kracht van de Hausdorff-eigenschap van de moduli-ruimte van gepolariseerde niet-unireguleerde variëteiten bij het oplossen van vervormingsproblemen. Het gebruikt effectief de scheiding van de moduli-ruimte om "springen" van isomorfieklassen in een familie te voorkomen.
3. Technische Innovatie: De constructie van een globale klasse $\alpha$ die een Kähler-klasse blijft op een dichte open verzameling (en zich uitstrekt naar de gehele familie via de niet-unireguleerde voorwaarde) is een verfijnde toepassing van de stelling van Demailly-Păun en Barlet-cykelruimten.
4. Implicaties voor Globale Niet-vervormbaarheid: De resultaten bieden sterke bevestigende antwoorden op het probleem van globale niet-vervormbaarheid voor niet-unireguleerde variëteiten, en vullen bestaande resultaten voor projectieve ruimten en rationale homogene ruimten aan (die vaak unireguleerd zijn of specifieke structuren hebben).

Samenvatting

Mu-Lin Li bewijst dat in het domein van de Kähler-geometrie, als een compacte niet-unireguleerde variëteit lokaal niet vervormbaar is, hij ook globaal helemaal niet vervormbaar is. Het bewijs rust op het construeren van een globale polarisatie voor de familie en het benutten van het gescheiden karakter van de corresponderende moduli-ruimte om aan te tonen dat een lokaal constante vervormingsafbeelding globaal constant moet zijn.