The limits of Kahler manifolds under holomorphic deformations

Technische Samenvatting: De Grenzen van Kähler-mannigvuldigheden onder Holomorfe Deformaties

Probleemstelling
Het artikel behandelt een langdurig probleem in de complexe meetkunde betreffende de stabiliteit van de Kähler-eigenschap onder holomorfe deformaties. Specifiek onderzoekt het Vermoeden 1.1: Gegeven een gladde familie van compacte complexe variëteiten $f: X \to \Delta$ (waarbij $\Delta$ de eenheidsschijf is) zodanig dat alle vezels $X_t$ voor $t \neq 0$ Kähler zijn, is de centrale vezel $X_0$ dan noodzakelijkerwijs Kähler?

Hoewel het vermoeden bekend is als waar voor complexe oppervlakken ($\dim X_t = 2$) via classificatietheorie en resultaten van Siu, blijft het geval voor dimensies $\dim X_t \geq 3$ grotendeels open. Eerdere werken van Hironaka toonden aan dat de limiet van Kähler-mannigvuldigheden in dimensie drie niet noodzakelijkerwijs Kähler is. Latere resultaten van Popovici, Barlet en Rao-Tsai stelden voorwaarden vast waaronder de limiet Moisezon is of Kähler blijft onder specifieke beperkingen op Hodge-getallen of metrieken. Echter, algemene resultaten voor limieten van Kähler-mannigvuldigheden in hogere dimensies zonder projectiviteit aan te nemen, zijn schaars.

Methodologie
De auteurs stellen de Kähler-natuur van de centrale vezel $X_0$ vast door cohomologische invariantie, de constructie van positieve stromen en specifieke metriekcondities te combineren. De methodologie verloopt in drie hoofdfasen:

1. Cohomologische Analyse en Bundelconstructie:
   De auteurs analyseren het gedrag van Bott–Chern-cohomologie ($H^{p,q}_{BC}$) en Dolbeault-cohomologie ($H^{p,q}_{\partial}$) binnen de familie. Zij maken gebruik van de bovenste semi-continuïteit van deze dimensies (Propositie 3.3) en de resultaten van Kodaira en Spencer betreffende de gladheid van cohomologiebundels wanneer dimensies constant zijn (Propositie 3.4).
   Een kritieke stap bestaat erin vast te stellen dat als de centrale vezel voldoet aan de gelijkheid $h^2(X_0) = 2h^{0,2}_{\partial}(X_0) + h^{1,1}_{BC}(X_0)$, de bundel van $(1,1)$-klassen $\cup H^{1,1}_{BC}(X_t, \mathbb{C})$ een gladde deelbundel vormt van de tweede cohomologiebundel. Dit maakt de definitie van een Gauss–Manin-verbinding beperkt tot deze deelbundels mogelijk.

2. Constructie van een Positieve Stroom (Lemma 3.11):
   Door de properheid van de Barlet-cykelruimte (Propositie 3.8, 3.9) en de invariantie van de Kähler-kegel onder parallel transport (Stelling 3.10, Demailly–Păun) te benutten, construeren de auteurs een gesloten positieve $(1,1)$-stroom $T$ op de centrale vezel $X_0$.
   Door de bovengenoemde cohomologische gelijkheid aan te nemen, vervoeren zij een Kähler-klasse parallel van een naburige vezel $X_t$ ($t \neq 0$) langs een pad naar $X_0$. De limiet van de corresponderende gladde vormen levert een stroom $T$ op. Cruciaal bewijzen zij dat het absoluut continue deel van deze stroom, $T_{ac}$, voldoet aan $\int_{X_0} T_{ac}^n > 0$.

3. Toepassing van Metrische Criteria (Stelling 2.2):
   Het artikel hanteert een criterium van Tosatti (Stelling 2.2, [23]) waarin staat dat een compacte complexe variëteit $X$ uitgerust met een metriek $\omega$ die voldoet aan $\partial\bar{\partial}\omega = 0$ en $\partial\omega \wedge \bar{\partial}\omega = 0$, Kähler is als er een gesloten positieve stroom $T$ bestaat met $\int_X T_{ac}^n > 0$.
   De auteurs verifiëren dat onder de aanname dat $X_0$ een dergelijke metriek toelaat en dat de relevante cohomologische dimensies constant zijn (specifiek $h^{0,2}_{\partial}(X_0) = h^{0,2}_{\partial}(X_t)$), de geconstrueerde stroom voldoet aan de volumevoorwaarde.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.2: Het hoofdresultaat bewijst dat als $f: X \to \Delta$ een gladde familie is van compacte complexe variëteiten met Kähler-vezels voor $t \neq 0$, en de centrale vezel $X_0$ voldoet aan:

  1. $X_0$ een metriek $\omega$ toelaat zodanig dat $\partial\bar{\partial}\omega = 0$ en $\partial\omega \wedge \bar{\partial}\omega = 0$;
  2. $h^{0,2}_{\partial}(X_0) = h^{0,2}_{\partial}(X_t)$ voor $t \neq 0$;
     Dan is $X_0$ een Kähler-mannigvuldigheid.
     Het artikel merkt op dat metrieken die voldoen aan de differentiaalvoorwaarden in (1) niet-triviaal zijn; hoewel veel niet-Kähler-mannigvuldigheden dergelijke metrieken toelaten (bijvoorbeeld bepaalde nilvariëteiten), biedt de stelling een voldoende voorwaarde om de limiet Kähler te laten zijn.

• Corollarium 1.3: De auteurs leveren een alternatief bewijs dat de limiet van Kähler-oppervlakken Kähler is. In tegenstelling tot eerdere bewijzen die leunen op de classificatie van oppervlakken, maakt dit bewijs gebruik van de degeneratie van de Frölicher-spectrale rij bij $E_1$ voor oppervlakken en de algemene machinerie ontwikkeld voor hogere dimensies.

• Cohomologische Invariantie: Het artikel stelt vast dat onder de aanname van constante $h^{0,2}_{\partial}$ en het bestaan van de speciale metriek op $X_0$, de gelijkheid $h^2(X_0) = 2h^{0,2}_{\partial}(X_0) + h^{1,1}_{BC}(X_0)$ geldt (Propositie 3.14). Deze gelijkheid is de noodzakelijke voorwaarde om de gladheid van de $(1,1)$-cohomologiebundel te garanderen, waardoor het paralleltransportargument mogelijk wordt.

Betekenis en Aanspraken
Het artikel claimt het Kähler-limietprobleem op te lossen voor een specifieke maar significante klasse van deformaties in dimensies $n \geq 3$. De auteurs stellen dat voorafgaand aan dit werk zeer weinig resultaten bekend waren voor limieten van Kähler-mannigvuldigheden in hogere dimensies zonder projectiviteit aan te nemen.

De betekenis ligt in:

1. Brug slaan tussen Metriek en Topologie: Het resultaat verbindt het bestaan van een specifieke "balanced-achtige" metriek op de centrale vezel met de topologische stabiliteit van cohomologiedimensies om de Kähler-eigenschap te garanderen.
2. Onafhankelijkheid van Classificatie: Door een bewijs voor Corollarium 1.3 te leveren dat niet leunt op de classificatie van oppervlakken, demonstreren de auteurs de robuustheid van hun cohomologische en stroomgebaseerde aanpak, wat suggereert dat dit een levensvatbare weg is voor problemen in hogere dimensies.
3. Verfijning van het Vermoeden: Het werk verduidelijkt dat hoewel het algemene vermoeden open blijft, de Kähler-eigenschap behouden blijft als de centrale vezel een metriek bezit met specifieke differentiaal-eigenschappen en de Hodge-getallen $h^{0,2}_{\partial}$ constant blijven gedurende de deformatie.

De auteurs behouden een bescheiden toon, erkennen dat de voorwaarden op de metriek en cohomologie "lichte aannames" zijn maar noodzakelijk zijn om het resultaat vast te stellen, en zij claimen niet het vermoeden opgelost te hebben voor alle compacte complexe variëteiten zonder deze specifieke beperkingen.