Recent progress on the Minimal Model Program for foliations

Technische Samenvatting: Vooruitgang in het Minimale Modelprogramma voor Bladeringen

Auteur(s): Paolo Cascini en Calum Spicer
Onderwerp: Birationale meetkunde van bladeringen (foliations) op complexe variëteiten, met een focus op het Minimal Model Program (MMP).

1. Het Probleem en de Context

Bladeringen (foliations) zijn fundamentele objecten in de algebraïsche meetkunde die voortkomen uit fibraties, algebraïsche groepswerkingen en differentiaalvormen. Het centrale doel van dit artikel is het toepassen van de techniek van het Minimal Model Program (MMP) op paren $(X, \mathcal{F})$, waarbij $X$ een normale variëteit is en $\mathcal{F}$ een bladering van rang $r$.

In het klassieke MMP voor variëteiten wordt de meetkunde gecontroleerd door de canonieke divisor $K_X$. Voor bladeringen wordt de analoge rol gespeeld door de canonieke divisor van de bladering, $K_{\mathcal{F}}$, gedefinieerd via het canonieke bundel $\omega_{\mathcal{F}} = (\wedge^r T_{\mathcal{F}})^*$.

De auteurs stellen twee centrale vragen:

1. Bend and Break: Als er een kromme $C$ bestaat met $K_{\mathcal{F}} \cdot C < 0$, bestaat er dan een rationale kromme $\Sigma$ met $K_{\mathcal{F}} \cdot \Sigma < 0$ die "georiënteerd" is ten opzichte van de bladering (bijv. raak aan $\mathcal{F}$)?
2. Existentie van Minimale Modellen: Als $K_{\mathcal{F}}$ pseudo-effectief is, bestaat er dan een birationale afbeelding naar een model $X'$ waarvoor $K_{\mathcal{F}'}$ nef is?

Uitdagingen:

• In tegenstelling tot het klassieke geval, kunnen singulariteiten van bladeringen niet altijd worden opgelost tot een gladde bladering door opeenvolgende opblazingen; opblazingen kunnen nieuwe singulariteiten creëren.
• De "Base Point Free"-stelling is niet algemeen beschikbaar voor bladeringen, wat de constructie van flips (in dimensie 3 en hoger) bemoeilijkt.
• Er zijn nieuwe fenomenen die specifiek zijn voor bladeringen, zoals de noodzaak van extra structuren (separatrices, meromorfische eerste integralen) om flips te construeren.

2. Methodologie en Technische Hulpmiddelen

De auteurs bouwen een kader op dat de klassieke MMP-technieken aanpast aan de context van bladeringen. De kernmethodologie omvat:

• Definitie van Singulariteiten: Het introduceren van termen als terminal, canonisch en log canoniek voor bladeringen, gebaseerd op de discrepantie $a(E, \mathcal{F}, \Delta)$ bij birationale modificaties.
• Adjunctie (Adjunction): Een cruciaal instrument. Voor een divisor $D$ op $X$ wordt een beperkte bladering $\mathcal{F}_D$ gedefinieerd op de normalisatie van $D$, samen met een correctieterm, het different ($\text{Diff}_D(\mathcal{F})$). De formule luidt:
  $$(K_{\mathcal{F}} + \epsilon(D)D)|_D \sim K_{\mathcal{F}_D} + \text{Diff}_D(\mathcal{F})$$
  Hierbij is $\epsilon(D) = 0$ als $D$ invariant is onder $\mathcal{F}$, en $1$ anders. Deze formule vertaalt numerieke negativiteit op $X$ naar concrete restricties op $D$.
• Jordan-decompositie: Voor rang-1 bladeringen wordt gebruik gemaakt van de Jordan-decompositie van vectorvelden (semisimpel + nilpotent) om log-canonieke singulariteiten te karakteriseren. Een vectorveld is log canoniek dan en slechts dan als zijn lineaire deel niet-nilpotent is.
• Separatrices en Non-dicriticaliteit: In dimensie 3 is het bestaan van separatrices (invariante divisors) voor canonieke singulariteiten essentieel om flips te construeren. De auteurs tonen aan dat rang-1 bladeringen met canonieke singulariteiten "non-dicritical" zijn.

3. Belangrijkste Bijdragen en Resultaten

A. Singulariteiten en Adjunctie (Secties 3 & 4)

• De auteurs geven een precieze definitie van singulariteiten voor bladeringen en tonen aan dat voor rang-1 bladeringen de voorwaarde voor log-canonieke singulariteiten equivalent is aan het hebben van een niet-nilpotent lineair deel.
• Ze ontwikkelen de adjunctie-theorie voor bladeringen. Een belangrijk resultaat is dat als $(X, \mathcal{F})$ log canoniek is en $D$ niet-invariant is, dan is het paar $(\mathcal{F}_D, \text{Diff}_D(\mathcal{F}))$ ook log canoniek.
• Ze tonen aan dat voor rang-1 bladeringen met canonieke singulariteiten, elke uitzonderlijke divisor bij een birationale modificatie invariant is (non-dicritical).

B. MMP voor Oppervlakken (Sectie 5)

• Het artikel herleidt het MMP voor bladeringen op oppervlakken tot een gevolg van het klassieke MMP voor oppervlakken en de nieuwe adjunctie-resultaten.
• Stelling 5.4: Voor een projectief oppervlak $X$ met een rang-1 bladering $\mathcal{F}$ met canonieke singulariteiten, bestaat er een birationale contractie naar een model waar $K_{\mathcal{F}}$ nef is, tenzij $\mathcal{F}$ birationaal equivalent is aan een fibratie in rationale krommen.
• Structuur van Minimale Modellen: Voor bladeringen van algemeen type ($K_{\mathcal{F}}$ groot) wordt de structuur van het eindmodel beschreven. Het bevat componenten die bestaan uit ketens van rationale krommen en specifieke configuraties genaamd elliptische Gorenstein-bladeren (e.g.l.).
• Niet-eindige generatie: Een opmerkelijk resultaat is dat de ring $R(X, K_{\mathcal{F}})$ niet altijd eindig gegenereerd is (in tegenstelling tot het geval van variëteiten). Dit hangt samen met het bestaan van elliptische Gorenstein-bladeren.

C. MMP in Hogere Dimensies en Flips (Sectie 6)

• De grootste doorbraak in hogere dimensies (specifiek dimensie 3) is de existentie van flips voor rang-1 en co-rang-1 bladeringen.
• Constructie van Flips: Omdat de Base Point Free-stelling niet geldt, gebruiken de auteurs een ad-hoc methode:
  1. Ze tonen aan dat de contractie van een $K_{\mathcal{F}}$-negatieve straal leidt tot een verzameling rationale krommen die invariant zijn.
  2. Met behulp van de Reeb-stabiliteitstheorema en de analyse van de formele omgeving, bewijzen ze dat er een meromorfische eerste integraal bestaat in de buurt van de contractie.
  3. Deze integraal stelt hen in staat een $F$-invariante divisor $G$ te construeren zodat de kromme een log-canoniek centrum is van $(X, G)$.
  4. De flip voor $\mathcal{F}$ wordt dan gereduceerd tot een flip voor het paar $(X, G)$, waarvoor de klassieke MMP-resultaten gelden.
• Stelling 6.4: De $K_{\mathcal{F}}$-flip bestaat voor rang-1 bladeringen op projectieve $Q$-factoriële klt-drievariëteiten met eenvoudige singulariteiten.

4. Betekenis en Toekomstperspectief

Deze survey markeert een mijlpaal in de birationale meetkunde van bladeringen:

• Unificatie: Het toont aan dat de MMP-techniek voor bladeringen, ondanks de nieuwe singulariteiten, sterk parallel loopt met het klassieke MMP voor variëteiten, mits de juiste definitie van singulariteiten wordt gehanteerd.
• Dimensie 3: De bewijzen voor de existentie van flips in dimensie 3 zijn een fundamenteel resultaat dat de weg vrijmaakt voor een volledig MMP in hogere dimensies.
• Open Vragen: Het artikel identificeert belangrijke open problemen, zoals:
  • De definitie van "non-dicritical" singulariteiten voor bladeringen van willekeurige rang.
  • Of de locus van log-canonieke singulariteiten altijd Zariski-open is.
  • De structuur van minimale modellen en de eindige generatie van de canonieke ring in dimensie 3 en hoger.

Concluderend bieden Cascini en Spicer een robuust raamwerk dat de birationale classificatie van bladeringen mogelijk maakt, waarbij ze de brug slaan tussen de theorie van differentiaalvergelijkingen en de moderne algebraïsche meetkunde.