On the dual positive cones and the algebraicity of a compact Kähler manifold

In dit artikel bewijzen de auteurs dat als de duale Kahlerkegel van een compacte Kahler-multipliciteit een rationeel punt als inwendig punt bevat, de Albanese-variëteit projectief is, wat leidt tot een oplossing van het Oguiso-Peternell-probleem voor Ricci-vlakke Kahler-multipliciteiten en verdere resultaten voor drie-voudige variëteiten.

De kern

Titel: De zoektocht naar de perfecte vorm: Hoe wiskundigen bewijzen dat bepaalde complexe ruimtes eigenlijk gewoon "projectief" zijn

Stel je voor dat je een enorme, ingewikkelde 3D-ruimte hebt. In de wiskunde noemen we dit een Kähler-variëteit. Het is een soort abstracte wereld die heel glad en mooi is, maar die niet per se de regels volgt van de gewone meetkunde die we op school leren (zoals vlakken en lijnen die perfect rechte hoeken maken).

De grote vraag in dit artikel is: Is deze abstracte ruimte eigenlijk wel een "echte" meetkundige vorm?

Wiskundigen noemen een ruimte die voldoet aan de strenge regels van de gewone meetkunde een projectieve variëteit. Het is als het verschil tussen een droomlandschap (dat er mooi uitziet, maar niet echt bestaat) en een echt gebouw dat je kunt bouwen met bakstenen.

Het grote mysterie: De "Dubbele Kodaira"-probleem

In de jaren '50 bewees de wiskundige Kodaira een prachtige regel: Als je in een abstracte ruimte een speciaal soort "energie" (een rationele klasse) kunt vinden die overal positief is, dan is die ruimte een echt projectief gebouw.

Maar wat als je die energie niet in de ruimte zelf zoekt, maar in de spiegelbeeld?
Stel je voor dat je niet naar de muren van de kamer kijkt, maar naar de schaduwen die de muren werpen op de vloer. Als die schaduwen een specifiek patroon vormen, betekent dat dan ook dat de kamer een echt gebouw is?

Dit is het probleem waar de auteurs van dit artikel (Hsueh-Yung Lin) zich mee bezighouden. Ze kijken naar het dual Kähler-kegel: een wiskundig hulpmiddel dat de "schaduwen" of de "tegengestelde krachten" in de ruimte beschrijft.

De hoofdpunten in begrijpelijke taal

1. De "Albanese" machine (De bus die iedereen meeneemt)
Elke complexe ruimte heeft een soort "bus" die je kunt nemen om de ruimte te verkennen. Deze heet de Albanese-variëteit. Als je in deze ruimte een positief punt in de "schaduw-kegel" vindt (de dubbele Kodaira-voorwaarde), dan bewijst de auteur dat deze bus een projectieve route heeft.

• Analogie: Stel je voor dat je in een droomstad loopt. Als je een bepaalde kaart (de positieve klasse) in je hand hebt, dan blijkt dat de openbaar vervoerslijn (de Albanese-bus) die door de stad rijdt, eigenlijk een heel normaal, reëel spoorwegnetwerk is. Als de hele stad precies zo'n buslijn volgt, is de hele stad ook echt.

2. De "Vlakke" ruimtes (Ricci-vlak)
Er is een speciale groep ruimtes die "Ricci-vlak" zijn. Dit zijn ruimtes die geen kromming hebben, alsof ze perfect plat zijn (zoals een oneindig vlak, maar dan in de complexe wereld).

• Het resultaat: De auteur bewijst dat als zo'n platte ruimte een positief punt in de schaduw-kegel heeft, het altijd een projectief gebouw is. Er is geen twijfel mogelijk. Het is alsof je zegt: "Als een perfect plat stuk land een bepaalde kaart heeft, dan is het geen droom, maar een echt stuk grond dat je kunt opmeten."

3. De 3D-ruimtes (De drie-dimensionale puzzel)
De moeilijkste puzzel is in drie dimensies (drie-variëteiten). Hier zijn er een paar uitzonderingen (de "simpele niet-Kummer" ruimtes), maar de auteur denkt dat die eigenlijk niet bestaan.

• De ontdekking: Voor bijna alle 3D-ruimtes geldt: als je die positieve "schaduw" vindt, dan is de ruimte projectief.
• De uitzondering: Er is een klein, raar geval waarbij de ruimte misschien een "elliptische bundel" is (denk aan een bundel van cirkels die over een oppervlak lopen). De auteur laat zien dat als je een bepaalde vraag over "1-cycli" (dunne lijntjes in de ruimte) kunt beantwoorden, dan is zelfs dat geval projectief.

Hoe bewijzen ze dit? (De creatieve analogieën)

De auteur gebruikt verschillende slimme trucs om dit te bewijzen:

• De "Blaasbalg"-methode (Blow-ups): Soms is een ruimte te ingewikkeld om direct te bekijken. De wiskundige "blaast" de ruimte op op een paar plekken (zoals een ballon die je opblaast) om hem gladder te maken. Hij bewijst dat als de "schaduw" in de oorspronkelijke ruimte goed is, hij ook goed blijft in de opgeblazen versie.
• De "Spiegel"-methode: Hij kijkt naar de ruimte en zijn spiegelbeeld. Als het spiegelbeeld een bepaalde structuur heeft, dan moet de originele ruimte ook die structuur hebben.
• De "Verbinding"-theorie: Hij kijkt of je met een reeks lijntjes van elk punt in de ruimte naar elk ander punt kunt gaan. Als dat kan (de ruimte is "algebraïsch verbonden"), dan is het een echt projectief gebouw. Dit is een idee van de wiskundige Campana.

Waarom is dit belangrijk?

Dit artikel is een belangrijke stap in het begrijpen van de grens tussen "droomwerelden" (complexe Kähler-ruimtes) en "reële werelden" (projectieve variëteiten).

Stel je voor dat wiskundigen een grote schatkist hebben vol met vreemde, abstracte vormen. Dit artikel helpt hen te zeggen: "Kijk, als je deze specifieke kaart (de positieve klasse in de dual kegel) vindt, dan hoef je niet meer te twijfelen. Dit is geen droom, dit is een echt, bouwbaar object."

Het lost een oud raadsel op (het Oguiso-Peternell-probleem) en geeft wiskundigen een krachtig nieuw gereedschap om te bepalen of een complexe ruimte "echt" is of niet. Voor de meeste gevallen in drie dimensies is het antwoord nu: Ja, het is echt.

Kort samengevat:
De auteur laat zien dat als je in de "spiegel" van een complexe ruimte een positief teken vindt, die ruimte eigenlijk gewoon een perfect, meetbaar object is. Het is alsof je een spookhuis binnenloopt, een kaart vindt die zegt "er is hier licht", en dan plotseling realiseert dat het huis helemaal niet spookachtig is, maar gewoon een normaal, stevig gebouw.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the dual positive cones and the algebraicity of compact Kähler manifolds" van Hsueh-Yung Lin, geschreven in het Nederlands.

Titel: Over de duale positieve kegels en de algebraïsche aard van compacte Kähler-mannigvuldigheden

Auteur: Hsueh-Yung Lin
Publicatie: Épijournal de Géométrie Algébrique (2024), speciaal nummer ter ere van Claire Voisin.

---

1. Probleemstelling en Achtergrond

Het artikel richt zich op een fundamenteel vraagstuk in de complexe meetkunde: onder welke voorwaarden is een compacte Kähler-mannigvuldigheid $X$ projectief (d.w.z. algebraïsch)?

• De Kodaira-inbeddingstelling: Stelt dat als de Kähler-kegel $K(X)$ een rationele cohomologieklass bevat, $X$ projectief is.
• Het duale probleem (Oguiso–Peternell-probleem): Wat gebeurt er als we de duale Kähler-kegel $K(X)^\vee$ bekijken? Deze kegel bestaat uit klassen in $H^{n-1,n-1}(X, \mathbb{R})$ die positief zijn op de Kähler-kegel.
  • Vraag 1.1 (Oguiso–Peternell): Als het inwendige van de duale Kähler-kegel, $\text{Int}(K(X)^\vee)$, een element uit $H^{2n-2}(X, \mathbb{Q})$ bevat (een rationele Hodge-klass van bidimension $(1,1)$), hoe "algebraïsch" is $X$? Is $X$ projectief, of heeft het een hoge algebraïsche dimensie $a(X)$?
  • Vraag 1.2: Een variant waarbij de duale kegel van de pseudo-effectieve kegel ($\text{Psef}(X)^\vee$) wordt gebruikt.

Het artikel onderzoekt of de aanwezigheid van zo'n rationele duale klass voldoende is om projectiviteit te garanderen, of ten minste om de algebraïsche dimensie te beperken.

2. Methodologie

De auteur hanteert een combinatie van geavanceerde technieken uit de complexe meetkunde, Hodge-theorie en de theorie van fibraties:

• Bimeromorfische invariantie: Het gebruik van het feit dat de aanwezigheid van rationele klassen in de duale kegels invariant is onder bimeromorfische modificaties (blow-ups). Dit stelt de auteur in staat om te werken met specifieke bimeromorfische modellen van de mannigvuldigheden.
• Classificatie van drie-voudige Kähler-mannigvuldigheden: Gebruikmakend van resultaten van Fujiki en Ueno, worden compacte Kähler-drie-voudigen met lage algebraïsche dimensie ($a(X) \leq 1$) geclassificeerd in specifieke bimeromorfische types (bijv. quotiënten van tori, fibraties over krommen).
• Deligne-cohomologie en Jacobiaanse fibraties: Voor torus-fibraties wordt de theorie van Deligne-cohomologie gebruikt om de aanwezigheid van secties (multi-sections) te analyseren. Dit is cruciaal om te bepalen of een fibratie algebraïsch is.
• Fourier-transformatie op complexe tori: Een kernmethode voor het bewijs van projectiviteit van complexe tori die voldoen aan de duale voorwaarde. De auteur gebruikt de Pontryagin-product en de Fourier-transformatie om een verband te leggen tussen Hodge-klassen en lijnbundels.
• Campana's criterium: Het gebruik van het criterium dat een mannigvuldigheid Moishezon (en dus projectief als Kähler) is als en slechts als deze "algebraïsch verbonden" is (elk algemeen paar punten kan verbonden worden door een keten van krommen).
• Analyse van elliptische fibraties: Voor het geval $a(X)=2$ wordt de structuur van elliptische fibraties over projectieve oppervlakken geanalyseerd, waarbij gebruik wordt gemaakt van singulariteiten-theorie en de interactie tussen duale kegels en de basis van de fibratie.

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert de volgende hoofdbijdragen:

A. Projectiviteit van de Albanese-torus (Stelling 1.4)

Als een compacte Kähler-mannigvuldigheid $X$ voldoet aan de "duale Kodaira-conditie (K)" (d.w.z. $\text{Int}(K(X)^\vee)$ bevat een rationele klass), dan is de Albanese-torus van $X$ projectief.

• Gevolg: Als $X$ maximale Albanese-dimensie heeft, is $X$ zelf projectief.

B. Ricci-vlakke mannigvuldigheden (Stelling 1.6)

Voor compacte Kähler-mannigvuldigheden met $c_1(X) = 0$ (waaronder hyper-Kähler-mannigvuldigheden en complexe tori):

• Als de duale Kodaira-conditie (K) geldt, dan is $X$ projectief.
• Dit beantwoordt het Oguiso–Peternell-probleem volledig voor deze klasse van manifolds.

C. Het geval van drie-voudigen (Theorema 1.7 en 1.8)

Voor gladde compacte Kähler-drie-voudigen (met de uitzondering van "simple non-Kummer" drie-voudigen, waarvan vermoed wordt dat ze niet bestaan):

• Stelling 1.8: Als $X$ voldoet aan de duale Kodaira-conditie (K), dan is de algebraïsche dimensie $a(X) \geq 2$.
• Stelling 1.7: Als $X$ voldoet aan de sterkere duale Kodaira-conditie (P) (gebaseerd op de pseudo-effectieve kegel), dan is $X$ projectief.

D. Relatie met 1-cycli (Vraag 1.10 en Corollarium 1.11)

De auteur formuleert een belangrijke vraag over de restrictie van Hodge-klassen tot subvariëteiten (Question 1.10): Als een Hodge-klass $\alpha$ verdwijnt op het complement van een oppervlak $Y$, komt $\alpha$ dan voort uit een Hodge-klass op een desingularisatie van $Y$?

• Resultaat: Als deze vraag bevestigend wordt beantwoord, dan zijn alle compacte Kähler-drie-voudigen die voldoen aan de Oguiso–Peternell-condities (Problemen 1.1 en 1.3) projectief.

4. Significatie en Impact

• Bevestiging van conjecturen: Het werk biedt sterke bewijzen en partial answers voor het langdurige Oguiso–Peternell-probleem, dat al sinds 2000 bestaat. Het bevestigt dat de aanwezigheid van een rationele duale klass een zeer sterke beperking oplegt aan de geometrie van de mannigvuldigheid.
• Verbinding tussen analyse en algebra: De resultaten tonen aan dat analytische voorwaarden (de aanwezigheid van een punt in het inwendige van een duale kegel) leiden tot sterke algebraïsche gevolgen (projectiviteit).
• Technische doorbraken: De methode om de projectiviteit van de Albanese-torus te bewijzen via de analyse van complexe tori en hun duale kegels is een nieuwe en krachtige aanpak.
• Toekomstige richting: Het artikel identificeert de vraag over 1-cycli (Question 1.10) als de sleutel tot het volledig oplossen van het probleem voor drie-voudigen. Dit biedt een duidelijke weg voor toekomstig onderzoek.

Samenvattend bewijst Lin dat voor een breed scala aan compacte Kähler-mannigvuldigheden (inclusief Ricci-vlakke en drie-voudigen met hoge algebraïsche dimensie), de aanwezigheid van een rationele Hodge-klass in de duale positieve kegel een voldoende voorwaarde is voor projectiviteit, of ten minste garandeert dat de mannigvuldigheid "voldoende algebraïsch" is.