The holomorphic limit of Kahler manifolds

Technische Samenvatting: De Holomorfe Limiet van Kähler-variëteiten

Probleemstelling
Het artikel behandelt de stabiliteit van de Kähler-eigenschap onder holomorfe deformaties. Specifiek wordt een gladde familie $\pi: X \to \Delta$ van compacte complexe variëteiten over de eenheidsschijf $\Delta$ beschouwd, waarbij de vezels $X_t$ Kähler zijn voor alle $t \in \Delta^* = \Delta \setminus \{0\}$. De centrale vraag is of de centrale vezel $X_0$ de Kähler-eigenschap behoudt of breder gezien tot de Fujiki-klasse $\mathcal{C}$ behoort (de klasse van variëteiten die bimeromorf zijn met Kähler-variëteiten). Hoewel dit geldt voor oppervlakken (door Kodaira en Siu), laat Hironaka's tegenvoorbeeld zien dat dit in dimensie drie niet waar is. Het artikel onderzoekt de voorwaarden waaronder de limiet $X_0$ in de Fujiki-klasse $\mathcal{C}$ blijft of Moishezon is (bimeromorf met een projectieve variëteit).

Methodologie
De auteur maakt gebruik van een combinatie van complexe analytische meetkunde, cohomologische technieken en de theorie van stromen (currents). De methodologie verloopt via verschillende cruciale stadia:

1. Relatieve Kähler-morfismen en Cohomologie: Het artikel stelt een noodzakelijke en voldoende voorwaarde vast voor een gladde familie over een pseudoconvexe domein om een "Kähler-morfisme" te zijn (Definitie 3.1). Met behulp van de sheaf-cohomologie van pluriharmonische functies en de Leray-spectraalsequentie bewijst de auteur dat als de vezels Kähler zijn, de existentie van een globale cohomologieklasse $\alpha \in H^2(X, \mathbb{R})$ die restrictie aflegt tot een Kähler-klasse op elke vezel, equivalent is aan het feit dat het morfisme Kähler is (Propositie 3.2).
2. Openheid van Kähler-klassen: Door gebruik te maken van het werk van Demailly en Păun over Kähler-kegels en de theorie van variaties van Hodge-structuren, toont de auteur aan dat als de familie Kähler is in een punt $t_0 \in \Delta^*$, er een open dichte deelverzameling $U \subset \Delta^*$ bestaat waar de restrictie van een globale klasse $\alpha$ een Kähler-klasse blijft (Stelling 3.6). Dit berust op de properheid van relatieve Barlet-cyclusruimten en de invariantie van de Kähler-kegel onder parallel transport.
3. Stromen en Volume-analyse: Het kernanalytische instrument betreft de studie van pseudo-effectieve klassen en hun volumes. De auteur maakt gebruik van het niet-pluripolaire product van stromen en de regularisatietheorema's van Demailly en Boucksom. Een cruciale stap is het construeren van een sequentie van Kähler-vormen op de vezels $X_t$ ($t \in U$) die zwak convergeert naar een stroom $T$ op de centrale vezel $X_0$.
4. Volume-ongelijkheden: Door de absoluut continue parte van de limiterende stroom $T$ te analyseren en Fatou's lemma toe te passen samen met de continuïteit van de volumefunctie voor pseudo-effectieve klassen, leidt de auteur een ondergrens af voor het volume van de limietklasse.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.2 (Stelling 4.3): Het primaire resultaat stelt dat als $\pi: X \to \Delta$ een gladde familie is met Kähler-vezels voor $t \in \Delta^*$, en indien $\pi$ een Kähler-morfisme is op een bepaald punt $t_0 \in \Delta^*$, dan bestaat er een positieve $d$-gesloten $(1,1)$-stroom $T$ op de centrale vezel $X_0$ zodanig dat het volume $\text{vol}_n(\{T\}) > 0$ is.

  • Betekenis: Dit reduceert Conjectuur 1.1 (dat $X_0$ in de Fujiki-klasse $\mathcal{C}$ zit) tot de Boucksom-Demailly-Păun conjectuur, die stelt dat de existentie van een dergelijke stroom met positief volume impliceert dat de variëteit in de Fujiki-klasse $\mathcal{C}$ zit.

• Corollary 1.4: Onder de aanvullende aanname dat de centrale vezel $X_0$ een Hermitische metriek met eindig bovenvolume toelaat (een conditie die invariant is onder bimeromorfismen en voldaan wordt door variëteiten uit de Fujiki-klasse $\mathcal{C}$), bewijst het artikel dat $X_0$ inderdaad in de Fujiki-klasse $\mathcal{C}$ zit.

• Corollary 1.5 (Corollary 4.6): In het specifieke geval waar de vezels $X_t$ voor $t \in \Delta^*$ projectief zijn, bewijst het artikel dat $X_0$ Moishezon is zonder dat daarvoor aanvullende voorwaarden (zoals de deformatie-invariantie van Hodge-getallen) nodig zijn.

  • Mechanisme: Het bewijs construeert een globale lijnbundel $L$ op $X$ zodanig dat $L|_{X_t}$ ample is voor $t$ in een open dichte verzameling, en $L|_{X_0}$ groot (big) is. Dit wordt bereikt door integrale cohomologieklassen te liften via de exponentiële sequentie en gebruik te maken van de boven-semi-continuïteit van de dimensies van de cohomologie.

Betekenis en Claims
Het artikel claimt een nieuwe route te bieden naar de oplossing van Conjectuur 1.1. Door de existentie van een stroom met positief volume op de centrale vezel vast te stellen onder de milde voorwaarde dat de familie Kähler is in een nabijgelegen punt, overbrugt het werk de kloof tussen de deformatie van Kähler-metrieken en de structurele classificatie van de limiet-variëteit.

De auteur merkt op dat de eindigheid van het bovenvolume $\text{vol}_n(\omega)$ een open probleem is, maar aangezien er geen voorbeelden bekend zijn van variëteiten met een oneindig bovenvolume, biedt het hoofdtresultaat sterk bewijs voor de geldigheid van de conjectuur. Bovendien biedt het resultaat voor projectieve families (Corollary 1.5) een definitief antwoord op het Moishezon-limietprobleem zonder de hulpvoorwaarden die eerder door andere onderzoekers (bijv. Popovici, Barlet, Rao-Tsai) vereist waren.

De benadering rust op het synthetiseren van methoden uit eerdere werken (specifiek [23], [24], [14], en [6]) om globale cohomologische objecten te construeren en hun gedrag onder degeneratie te analyseren, in plaats van het introduceren van geheel nieuwe geometrische kaders. Het artikel blijft bescheiden in zijn reikwijdte en richt zich strikt op de holomorfe limiet van Kähler- en projectieve families over een schijf.