On $(i)$-Curves in Blowups of $\mathbb{P}^r$

Dit artikel onderzoekt $(i)$-curven in opgeblazen projectieve ruimtes, bewijst dat het aantal van dergelijke curven eindig is dan en slechts dan als de ruimte een Mori Dream Space is, en introduceert een bilineaire vorm en een unieke Weyl-invariante klasse om de extremale stralen van de kegel van beweegbare curven te karakteriseren.

De kern

Stel je voor dat wiskunde een gigantisch, onontgonnen landschap is. In dit landschap zijn er speciale plekken die we "projectieve ruimtes" noemen. Nu, wiskundigen zijn dol op het maken van nieuwe landschappen door bestaande plekken te "blazen" (in het Engels: blow up). Dit klinkt als een storm, maar in de wiskunde betekent het simpelweg: je pakt een punt op je kaart en maakt er een klein, rond eilandje van. Je doet dit op verschillende plekken, en je vraagt je af: wat gebeurt er met de wegen en paden die er nu doorheen lopen?

Dit artikel, geschreven door Olivia Dumitrescu en Rick Miranda, gaat over precies dit soort "geblazen" landschappen. Ze kijken naar een specifiek type pad: de (i)-krommen.

Laten we dit uitleggen met een paar creatieve analogieën.

1. De drie soorten "magische paden"

De auteurs kijken naar drie soorten paden, afhankelijk van hoe ze zich gedragen in dit nieuwe landschap. Ze noemen ze (i)-krommen, waarbij i kan zijn -1, 0 of 1.

• De (1)-krommen (De "Vrije Zwervers"):
  Stel je voor dat je een pad hebt dat zo flexibel is dat het overal naartoe kan. Het kan zich uitrekken, verplaatsen en vormt een heel groot netwerk. Deze paden zijn als een drukke snelweg waar auto's (andere krommen) over kunnen rijden. Als er te veel van deze paden zijn, wordt het landschap onoverzichtelijk en "chaotisch".
• De (0)-krommen (De "Stabiele Bruggen"):
  Deze paden zijn iets stabieler. Ze bewegen nog steeds, maar ze vormen de randen van het landschap. Ze zijn als de fundamenten van een brug: ze dragen het gewicht en bepalen de vorm van de structuur.
• De (-1)-krommen (De "Rijpe Vruchten"):
  Dit zijn de beroemdste paden, bekend uit de geschiedenis van de wiskunde. Ze zijn als vruchten die klaar zijn om geplukt te worden. Ze zijn stijf, staan op één plek en kunnen niet bewegen zonder te breken. In de oude wiskunde (van de jaren '90) werden deze gebruikt om te tellen hoeveel "magische" vormen er in het heelal zitten.

2. Het grote mysterie: Is het landschap geordend of chaotisch?

De auteurs willen weten: Hoeveel van deze paden zijn er eigenlijk?

• Als er eindig veel zijn, is het landschap een "Mori Dream Space". Dit klinkt als een droomland, maar het betekent simpelweg: "Dit landschap is netjes, geordend en we kunnen alles perfect beschrijven." Het is als een goed georganiseerde bibliotheek waar je elk boek kunt vinden.
• Als er oneindig veel zijn, is het landschap een "nachtmerrie". Je kunt de paden niet meer tellen, en de structuur is te complex om volledig te begrijpen.

De grote ontdekking van dit papier:
De auteurs hebben ontdekt dat je kunt voorspellen of een landschap een "droom" of een "nachtmerrie" is, door simpelweg te kijken naar het aantal punten dat je hebt "geblazen" en de dimensie van het landschap.

• Als je te veel punten blaast (meer dan een bepaald aantal), krijg je oneindig veel (0)- en (1)-paden. Het landschap wordt chaotisch.
• Als je binnen de limieten blijft, heb je een geordend landschap met een eindig aantal paden.

3. De Wiskundige "Magische Spiegel" (De Weyl-groep)

Om dit te bewijzen, gebruiken de auteurs een krachtig gereedschap dat ze de Weyl-groep noemen.
Stel je voor dat je een spiegel hebt die het hele landschap kan spiegelen en draaien. Als je een pad in de spiegel kijkt, zie je een nieuw pad. Als je dit blijft doen, krijg je een hele familie van paden.

• In een "droomland" (Mori Dream Space) is deze spiegel beperkt. Je kunt maar een eindig aantal keer spiegelen voordat je weer op een pad uitkomt dat je al kent.
• In een "nachtmerrie" is de spiegel oneindig. Je blijft nieuwe paden genereren die er nooit eerder zijn geweest.

De auteurs hebben bewezen dat het aantal paden direct samenhangt met of de spiegel eindig of oneindig is.

4. Waarom is dit belangrijk?

Je vraagt je misschien af: "Wie geeft er om geblazen landschappen?"

• Voor de natuurkunde: Deze landschappen lijken op de vorm van het heelal in de snaartheorie. Het tellen van deze paden helpt fysici te begrijpen hoe het universum eruitziet.
• Voor de pure wiskunde: Het lost oude raadsels op. Een beroemde wiskundige uit de jaren '50, Nagata, gebruikte dit soort paden om een probleem op te lossen dat al 100 jaar oud was (Hilbert's 14e probleem). Hij toonde aan dat als je te veel punten blaast, de wiskundige regels (de "Cox-ring") niet meer te ordenen zijn.

Samenvatting in één zin

Dit papier is als een gids voor reizigers in een wiskundig landschap: het vertelt je precies hoeveel punten je mag "opblazen" voordat je het pad kwijtraakt in een oneindige wirwar, en het geeft je een magische spiegel (de Weyl-groep) om te zien of je in een geordend droomland of een chaotische nachtmerrie bent.

De auteurs hebben bewezen dat als je de regels volgt (bepaalde aantallen punten), je altijd een mooi, beheersbaar landschap krijgt waar je precies weet hoeveel "magische paden" er zijn. Als je de regels breekt, verdwijnt de orde en krijg je oneindig veel paden die je nooit kunt tellen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On (i)-Curves in Blowups of Pr" van Olivia Dumitrescu en Rick Miranda, geschreven in het Nederlands.

Titel: Over (i)-curves in opgeblazen projectieve ruimtes $P^r$

Auteurs: Olivia Dumitrescu en Rick Miranda
Publicatie: arXiv:2104.14141v4 [math.AG], 29 mei 2023

---

1. Het Probleem en Achtergrond

Het artikel onderzoekt de structuur en het aantal van specifieke krommen, genaamd (i)-curves, in de projectieve ruimte $P^r$ die is opgeblazen in $s$ algemene punten (aangeduid als $Y^r_s$). De parameter $i$ behoort tot de verzameling $\{-1, 0, 1\}$.

• Historische context: Het concept van $(-1)$-curves (gladde rationale krommen met een normaalbundel isomorf aan $\mathcal{O}(-1) \oplus \mathcal{O}(-1)$) is bekend uit de spiegel-symmetrie en de enumeratieve meetkunde (Kontsevich). In dimensie twee ($r=2$) bestudeerde Nagata deze krommen om tegenvoorbeelden te construeren voor Hilberts 14e probleem.
• Definitie: Een $(i)$-curve op een gladde variëteit $X$ van dimensie $r$ is een gladde, irreducibele rationale kromme waarvan de normaalbundel isomorf is aan $\mathcal{O}(i)^{\oplus (r-1)}$.
• Doel: De auteurs willen de verzameling van klassen van $(i)$-curves in de Chow-ring van $Y^r_s$ classificeren en numerieke criteria vinden om te bepalen wanneer het aantal van dergelijke krommen eindig is. Dit is direct gekoppeld aan de eigenschap of $Y^r_s$ een Mori Dream Space (MDS) is (waarvoor de Cox-ring eindig gegenereerd is).

2. Methodologie

De auteurs gebruiken een combinatie van algebraïsche meetkunde, de theorie van Cremona-transformaties en de theorie van Coxeter-groepen (Weyl-groepen).

• Chow-ring en Intersectie: Ze werken met de Chow-ring $A^*(Y^r_s)$, specifiek de divisor- en krommenclassen. Er wordt een bilineaire vorm $\langle -, - \rangle$ gedefinieerd op de ruimte van krommenclassen, analoog aan de Dolgachev-Mukai pairing op divisor-classen.
• Cremona-transformaties: De standaard Cremona-transformatie (gecentreerd op $r+1$ punten) induceert een actie op de Chow-ring. Deze actie wordt gebruikt om klassen van krommen te transformeren.
• Weyl-groep: De groep gegenereerd door Cremona-transformaties en permutaties van de $s$ punten vormt de Weyl-groep $W$. De auteurs analyseren de banen (orbits) van krommenclassen onder deze groep.
• Numerieke invarianten: Ze introduceren een unieke symmetrische, Weyl-invariante krommenclass $F$ (de "anticanonieke krommenclass"). Voor een krommenclass $c$ definiëren ze:
  • Een lineaire invariant: $\langle c, F \rangle$ (gerelateerd aan het snijpunt met $-K_Y$).
  • Een kwadratische invariant: $\langle c, c \rangle$.
    Een klasse $c$ wordt een numerieke $(i)$-klasse genoemd als $\langle c, F \rangle = 2 + i(r-1)$.

3. Belangrijkste Bijdragen en Resultaten

A. Karakterisering van Mori Dream Spaces

Het artikel bewijst een fundamentele equivalentie tussen de eindigheid van de Weyl-groep, de Mori Dream Space-eigenschap en het aantal $(i)$-curves:

• Stelling 1.2: De ruimte $Y^r_s$ is een Mori Dream Space dan en slechts dan als:
  1. De Weyl-groep eindig is.
  2. Er een eindig aantal $(0)$-curves (of $(0)$-Weyl-lijnen) bestaat.
  3. Er een eindig aantal $(1)$-curves (of $(1)$-Weyl-lijnen) bestaat.
  4. De kwadratische invariant $F^2 > 0$ (wat leidt tot specifieke grenzen voor $s$ in termen van $r$: bijv. $s \leq r+3$ voor $r \geq 5$).

B. Classificatie van $(i)$-curves in MDS

Voor Mori Dream Spaces (en in specifieke gevallen zoals $Y^5_9$) worden de $(i)$-curves volledig gekarakteriseerd door hun numerieke invarianten:

• Stelling 1.3: Voor $r \geq 3$ en $Y$ een MDS (of $Y^5_9$), zijn de volgende uitspraken equivalent voor een kromme $C$ met klasse $c$:
  1. $C$ is een $(-1)$-curve.
  2. $C$ is een $(-1)$-Weyl-lijn (een Cremona-afbeelding van een lijn door 2 punten).
  3. De invarianten voldoen aan: $\langle c, c \rangle = 3 - 2r$ en $\langle c, F \rangle = 3 - r$.
  4. De klasse $c$ is van de vorm $(1; 1^2)$ (lijn door 2 punten) of $(r; 1^{r+3})$ (rationale normale kromme door $r+3$ punten).
• Opmerking: In niet-MDS gevallen (bijv. $Y^3_8$) kunnen numerieke $(-1)$-klassen bestaan die geen $(-1)$-Weyl-lijnen zijn, of zelfs klassen van krommen met verschillende genus vertegenwoordigen.

C. Oneindigheid van Curves

• Als $s \geq r + 5$, dan zijn er oneindig veel $(-1)$-Weyl-lijnen (en dus $(-1)$-curves).
• Als $Y^r_s$ geen Mori Dream Space is, dan zijn er oneindig veel $(0)$- en $(1)$-Weyl-lijnen. Dit wordt bewezen door een recursief proces van Cremona-transformaties toe te passen dat de graad van de krommen onbegrensd doet toenemen.

D. Toepassingen op Kegels van Divisoren en Bewegende Curves

• Extremale Stralen: Voor $Y^r_{r+3}$ worden de extremale stralen van de kegel van bewegende curven (movable curves) geïdentificeerd als de $(0)$- en $(1)$-Weyl-lijnen.
• Effectieve Kegels: De auteurs gebruiken de theorie van bewegende curven om een nieuwe bewijsvoering te geven voor een resultaat van Mukai: Als $F^2 \leq 0$, dan is $Y^r_s$ geen Mori Dream Space.
• Base Locus: Ze onderzoeken de relatie tussen de basislocus van effectieve divisoren en de intersectie met Weyl-hypervlakken en -lijnen, en geven voorwaarden wanneer deze basislocus componenten bevat.

4. Significatie en Impact

• Verbinding tussen Meetkunde en Algebra: Het artikel legt een sterke brug tussen de meetkundige eigenschappen van rationale curven (via normaalbundels) en de algebraïsche structuur van de Cox-ring (via Weyl-groepen en bilineaire vormen).
• Numerieke Criteria: Het biedt een krachtig numeriek criterium (via de invarianten $\langle c, c \rangle$ en $\langle c, F \rangle$) om te bepalen of een krommenclass een echte $(i)$-curve is, mits de ruimte een Mori Dream Space is.
• Generalisatie: Het generaliseert bekende resultaten uit de vlakke meetkunde ($r=2$, Del Pezzo oppervlakken) naar hogere dimensies en verduidelijkt de rol van Cremona-transformaties in deze context.
• Nieuwe Techniek: Het introduceert de theorie van bewegende curven als een alternatieve methode om eigenschappen van Mori Dream Spaces te analyseren, wat een nieuwe invalshoek biedt voor het bestuderen van effectieve kegels en base loci.

Kortom, dit werk biedt een volledige algebraïsche en meetkundige beschrijving van de structuur van $(i)$-curves in opgeblazen projectieve ruimtes en koppelt het bestaan van oneindig veel van deze curven direct aan het falen van de Mori Dream Space-eigenschap.