On the Morrison-Kawamata dream space and its applications

Technische Samenvatting: Over de Morrison-Kawamata Dream Space en de Toepassingen Daarvan

Probleemstelling
Het artikel behandelt de noodzaak voor een verenigd axiomatisch kader om algebraïsche variëteiten te karakteriseren die voldoen aan de Morrison-Kawamata (MK) kegelconjectuur. Terwijl Mori dream spaces (MDS) een robuuste theorie bieden voor variëteiten van Fano-type, en Calabi-Yau (CY) type variëteiten centraal staan in de studie van de MK-kegelconjectuur, bestaat er een kloof voor variëteiten die noch van Fano-type, noch strikt van Calabi-Yau-type zijn. De auteurs beogen een theorie te ontwikkelen die de eigenschappen axiomatiseert van variëteiten die voldoen aan de MK-kegelconjectuur, waarmee zij de structurele resultaten van MDS (zoals kamerdecompositie en begrensdheid) uitbreiden naar een bredere klasse variëteiten, inclusief CY-type variëteiten en andere met niet-triviale canonieke divisoren.

Methodologie
De auteurs introduceren het concept van Morrison-Kawamata Dream (MKD) ruimtes en MKD vezelruimtes. De methodologie steunt op:

1. Axiomatische Definitie: Het definiëren van MKD-ruimtes via vier condities: $Q$-factorialiteit, het bestaan van goede minimale modellen voor alle effectieve $\mathbb{R}$-Cartier divisoren, het bestaan van een rationeel polyhedrale kegel $\Pi$ waarvan de baan onder de pseudo-automorfisme groep de verplaatsbare kegel (movable cone) bedekt, en de "lokale factorialiteit van canonieke modellen" voor de effectieve kegel.
2. Combinatorische Meetkunde: Het benutten van de meetkunde van convexe kegels in Néron-Severi ruimtes, specifiek de structuur van Shokurov-polytopen en de decompositie van kegels in kamers waar minimale modellen constant blijven.
3. Minimal Model Program (MMP): Het vaststellen van de terminatie van MMP's met schaling voor effectieve divisoren binnen de categorie van MKD vezelruimtes.
4. Deformatie en Specialisatie: Het toepassen van "spreading-out" en specialisatietechnieken om de meetkunde van de geometrische generieke vezel te relateren aan de vezels over een Zariski-dichte deelverzameling van de basis, waarbij cohomologische verdwijningscondities ($H^1 = H^2 = 0$) worden gebruikt om het gedrag van kegels te controleren.
5. Groepswerkingen: Het analyseren van de werking van pseudo-automorfisme groepen ($\text{PsAut}$) en automorfisme groepen ($\text{Aut}$) op verplaatsbare, nef en effectieve kegels, en het uitbreiden hiervan naar generieke automorfisme groepen ($\text{GAut}$) die werken op generieke nef-kegels.

Belangrijkste Bijdragen en Resultaten

• Definitie en Equivalentie: Het artikel definieert MKD vezelruimtes en bewijst (Theorem 1.3) dat dit begrip in de absolute setting equivalent is aan een reeks condities die lijken op MDS, maar aangepast voor birationale acties (specifiek het bestaan van een fundamenteel domein voor de verplaatsbare kegel onder pseudo-automorfismen). Dit verenigt MDS en CY-type variëteiten (onder de kegelconjectuur en de goede minimale model conjectuur) in één enkel kader.
• Kamerstructuren:
  • Shokurov Polytopen: De auteurs stellen vast dat voor elke kegel gegenereerd door effectieve divisoren waar goede minimale modellen bestaan, de kegel uiteenvalt in een eindig aantal rationeel polyhedrale kamers waar het zwakke minimale model constant is (Theorem 1.4).
  • Nef en Effectieve Kegels: Zij bewijzen dat de nef-kegel van effectieve divisoren ($\text{Nef}_e$) een rationeel polyhedrale kegel is en een rationeel polyhedraal fundamenteel domein toelaat onder de werking van de automorfisme groep (Theorem 1.5, Theorem 1.6).
• Stabiliteit onder MMP en Contracties:
  • De klasse van MKD vezelruimtes wordt getoond als gesloten onder kleine $Q$-factoriële modificaties en birationale contracties (Theorem 1.7).
  • Een $D$-MMP met schaling van een ample divisor wordt bewezen te termineren met een goed minimaal model voor elke effectieve divisor $D$ op een MKD vezelruimte (Theorem 1.8).
• Deformatie-invariantie:
  • Het artikel stelt de generieke deformatie-invariantie van de nef, effectieve en verplaatsbare kegels vast, evenals de Mori-kamerdecompositie, voor MKD vezelruimtes (Theorem 1.10). Dit wordt bereikt door de basis te stratificeren en de eigenschappen van de generieke nef-kegel te benutten.
  • De resultaten tonen aan dat het feit dat de geometrische generieke vezel een MKD-ruimte is, impliceert dat vezels over een Zariski-open deelverzameling "bijna" MKD-ruimtes zijn (Theorem 6.17), die voldoen aan de noodzakelijke kegelconjecturen en lokale factorialiteitseigenschappen.
• Begrensbaarheid van Moduli:
  • Door de deformatie-invariantie resultaten toe te passen, bewijzen de auteurs een begrensbaarheidstheorema (Theorem 1.11). Onder de aanname van de MK-kegelconjectuur en de goede minimale model conjectuur voor rationeel verbonden CY-variëteiten, tonen zij aan dat dergelijke variëteiten een begrensde familie vormen. Dit wordt bereikt door een fibratie te construeren waarin elke dergelijke variëteit verschijnt als een vezel (of een birationale contractie daarvan).

Betekenis en Claims
Het artikel claimt dat MKD-ruimtes een natuurlijke generalisatie zijn van Calabi-Yau type variëteiten in de birationale meetkunde, analoog aan de rol die Mori dream spaces spelen voor Fano-type variëteiten. De betekenis ligt in:

1. Unificatie: Het bieden van een conceptueel kader dat de "lijming" van lokale MDS-theorieën uitbreidt naar variëteiten met triviale canonieke divisoren en daarboven.
2. Conceptuele Bewijzen: Het aantonen dat bewijzen betreffende kegelstructuren en begrensbaarheid conceptueler worden wanneer ze worden bekeken door de lens van MKD-ruimtes, in plaats van te vertrouwen op specifieke verdwijningsstellingen die mogelijk niet gelden in de algemene setting.
3. Begrensbaarheid: Het oplossen van het begrensbaarheidsprobleem voor de moduli-ruimten van rationeel verbonden Calabi-Yau variëteiten onder de aanname van de MK-kegelconjectuur, een resultaat dat cruciaal steunt op de deformatie-invariantie van kegels die is vastgesteld voor MKD vezelruimtes.

De auteurs merken expliciet op dat hoewel de theorie robuust is, bepaalde pathologische verschijnselen (zoals het gebrek aan een begrensdheid van de lengtes van extremale stralen in het algemene geval) specifieke aannames zoals de lokale factorialiteit van canonieke modellen noodzakelijk maken. Het artikel claimt niet de MK-kegelconjectuur zelf op te lossen, maar axiomatiseert de consequenties van de geldigheid ervan om verdere studie van moduli en deformatietheorie te faciliteren.